Theory->Engineering: consent in TCB (A3), semantic gate (A4/A5), Mahdavi compass (A7) + red-team#4

Open

Aliipou wants to merge 28 commits into

mainfrom

feat/theory-gaps

Commits on Jun 4, 2026

Add PHILOSOPHY/ trace layer re-coupling kernel to نظریه آزادی

alexanderthenth
authored and
Aliipou
committed
tests: cover settings, redteam scenarios, mcp_gate & langgraph adapters (0% -> ~100%)
alexanderthenth
committed
tests+config: cover errors/tracing/wire_validator (100%); add documented coverage exclusions
alexanderthenth
committed
tests: cover call_gate/registry/verifier paths; pragma unreachable defensive branches
alexanderthenth
committed
tests: cover persuasion boundary model + sovereignty metrics scoring
alexanderthenth
committed
tests: cover coercion analyzer patterns and risk levels
alexanderthenth
committed
tests: cover cli subcommands, key rotation, api error paths, detection edges
alexanderthenth
committed
tests: cover authority sources, override detector, exit guarantees, hardened verifier
alexanderthenth
committed
tests: cover consent algebra, consent registry, policy delegate branch
alexanderthenth
committed
tests: cover economy, sandbox, schema version, extensions facade, policy DSL, multi-agent; pragma unreachable branches
alexanderthenth
committed
tests: cover langchain/anthropic adapters, audit loader, claim covers, goal violations
alexanderthenth
committed

Commits on Jun 5, 2026

Commits on Jun 10, 2026

docs(philosophy): add AXIOM_MAP — proof-level book→code map (honest)

alexanderthenth
and
claude
committed

Commits on Jun 11, 2026