Authority Systems Source Bundle

Replays eight authority and systems checks, rejecting provider, proof, and launch overclaims.

Contract

Does This bundle imports Set 5 public authority and systems source bodies as a bounded source-open replay. It checks post-execution result record validation, reasoning replay scope and lineage, proof-contract gating, process orphan classification, generated-state fixpoint settlement, trace-tape compaction, code blast radius, and doctrine graph compilation, with negative cases that prevent live provider, proof-success, process-signal, generated-state-mutation, source-file changes, public sharing, or launch overclaims.

Scope limit It validates only copied Set 5 authority-system source bodies and bounded deterministic exercises; it does not dispatch providers, prove Lean success, send live process signals, mutate generated state, change source files, authorize public sharing, include launch operations, or claim whole-system equivalence.

Run

Quick probe

PYTHONPATH=src python3 -m microcosm_core.organs.batch5_authority_systems_capsule run --input fixtures/first_wave/batch5_authority_systems_capsule/input --out /tmp/plectis-public-runs/batch5_authority_systems_capsule

Validator command

PYTHONPATH=src python3 -m microcosm_core.organs.batch5_authority_systems_capsule run --input fixtures/first_wave/batch5_authority_systems_capsule/input --out receipts/first_wave/batch5_authority_systems_capsule --acceptance-out receipts/acceptance/first_wave/batch5_authority_systems_capsule_fixture_acceptance.json

Evidence

ClassVerified source importevidence 5/5Copied source body

source intakeprovenanceauthority-boundary

Source

Source Design note · Source

Map Show on the map

Index Open compact index card

Paper module

Paper module Set 5 Authority and Systems Bundle

Set 5 Authority and Systems Bundle imports post-execution authority, replay, proof-repair, process, generated-state, trace, blast-radius, and doctrine-graph source bodies as public source-open evidence without claiming live authority or launch-scope decision.

Read the full write-up

Back to Components index → Reference roster →