Engine Room Demo

Runs proof, runtime, security, and routing demos through bounded public examples with stated limits.

Contract

Does This component turns the staged Engine Room bundles into one accepted public demo surface. It exercises the proof-search, runtime, integrity, security, navigation, orchestration, and reference-routing bundles through bounded public fixtures with explicit scope boundaries.

Scope limit It validates only the public Engine Room composition contract; it is not deployment posture, whole-system equivalence, frontier theorem proving, complete security proof, public sharing, or launch-scope decision.

Run

Quick probe

microcosm engine-room-demo run --input fixtures/first_wave/engine_room_demo/input --out /tmp/plectis-public-runs/engine_room_demo

Validator command

microcosm engine-room-demo run --input fixtures/first_wave/engine_room_demo/input --out receipts/first_wave/engine_room_demo --acceptance-out receipts/acceptance/first_wave/engine_room_demo_fixture_acceptance.json

Evidence

ClassContract validatorevidence 5/5Import validation

Links to Compliance Pipeline Bundle, Validator Checker Bundle

source intakeprovenancedrift-control

Source

Source Design note · Source

Map Show on the map

Index Open compact index card

Paper module

Paper module Engine Room Demo

Composition component: verifies the 14 staged Engine Room jewel targets and their owned bundle surfaces through the public fixture chain; composition contract only.

Read the full write-up

Back to Components index → Reference roster →