A proportionate Codex proof workflow using independent Semctx and AssertLedger providers.
Trace repository impact, authored intent and fail-closed migration plans, then verify changes with proof-honest verdicts. Local-first and deterministic.
