05 - O3 RunContext / Context Pins Proof

Gate

G4 - build RunContext from live results, store pins per-run only, no module-level PIN constants.

Implementation proof

LiveReadOnlyDiscoverer.constitution_lifecycle_survey(doc_prefix=...) returns a LiveConstitutionSurvey. pin_live_constitution_survey(ctx, survey) writes the facts into ctx.context_pins.

The adapter takes doc_prefix as a caller argument. The SQL uses parameterized placeholders passed to the injected selector; no runtime doc ID is hardcoded in production code.

Live RunContext pins output

{
  "live_doc_prefix": "ICX-CONST",
  "live_drift_class": "post_enactment_expected",
  "live_fn_iu_apply_edit_draft_md5": "42e96b6c9e81a2d0a28b30644d178a26",
  "live_fn_iu_enact_md5": "6ca9bc39e2d2be93dd8a71739fa80dc4",
  "live_governance_accessible": false,
  "live_icx_draft": 0,
  "live_icx_enacted": 60,
  "live_icx_total": 60,
  "live_lifecycle_log_review_decisions": 1,
  "live_lifecycle_log_rows": 60,
  "live_lifecycle_triggers_enabled": true,
  "live_uv_enacted": 60,
  "live_uv_enacted_at_nonnull": 60
}

Unit proof

Targeted O3 tests:

python3 -m unittest tests.test_orchestrator_o3_live_readonly -v
Ran 3 tests in 0.000s
OK

Coverage:

• read-only role status is classified.
• Constitution survey pins post-enactment state into RunContext.
• drift is detected when live counts do not match.

No hardcode proof

Production orchestrator code contains no connection path or secret. The only ICX-CONST and context_pack_readonly strings are in test fixture/evidence or live operator invocation, not in runtime module constants.

Result

G4 PASS. Context pins are live-derived per-run drift inputs, not runtime hardcodes.