Proof / Control / Runtime Import Bundle

Checks fourteen proof, control, and runtime parts as one unit that rejects every overclaim.

Contract

Does This bundle imports the Set-4 proof/control/runtime source modules and checks them as one inspectable unit. It surfaces the 14 mechanisms, the copied module manifest, the digest/anchor evidence, and the negative cases that reject proof, benchmark, launch, runtime, and non-public-state overclaims without exposing source bodies in result records.

Scope limit It validates only a public source-open bundle and bounded negative fixtures; it is not an Erdos #257 solution, not benchmark evidence, not public sharing or launch-scope decision, not live Codex/browser/runtime authority, and not whole-system equivalence.

Run

Quick probe

microcosm batch4-proof-authority-runtime run --input fixtures/first_wave/batch4_proof_authority_runtime/input --out /tmp/plectis-public-runs/batch4_proof_authority_runtime

Validator command

microcosm batch4-proof-authority-runtime run --input fixtures/first_wave/batch4_proof_authority_runtime/input --out receipts/first_wave/batch4_proof_authority_runtime --acceptance-out receipts/acceptance/first_wave/batch4_proof_authority_runtime_fixture_acceptance.json

Evidence

ClassVerified source importevidence 5/5Copied source body

formal-methodstheorem-provinglean

Source

Source Design note · Source

Map Show on the map

Index Open compact index card

Paper module

Paper module Set 4 Proof, Authority, and Runtime Bundle

Set 4 Proof, Authority, and Runtime Bundle imports proof-search, reasoning-authority, completion, Codex runtime, bitemporal, taskpolicy, and context-yield source bodies as public source-open evidence without claiming proof success, benchmark claims, live runtime control, or launch-scope decision.

Read the full write-up

Back to Components index → Reference roster →