A proportionate Codex proof workflow using independent Semctx and AssertLedger providers.
Prepare proportionate checks for a committed code change and associate AssertLedger evidence with its exact scope. Use for a nontrivial change or a named regression in an onboarded repository; skip prose and mechanical edits with a known cause.
