Plectis
This page

Component · spec & evidence

Public Reveal Walkthrough

Binds the first-time reader tour to evidence so each count leads to a source.

Contract

Does This checks the short guided tour Microcosm advertises for a first-time reader and binds it to real public evidence: the declared route through patterns, work, events, and evidence must still point to result records, and the exported reveal bundle must carry digest-verified copies of the public source bodies that back the walkthrough. The card remains bounded, but each impressive-looking count leads to a source-body witness instead of stopping at marketing copy.

Scope limit It authorizes only bounded public reveal runtime behavior and a digest-verified public body-import witness; it excludes launch, hosted deployment, public sharing, recipient work, external model access, secret export, non-public data equivalence, Lean/Lake execution, whole-system correctness, or general product authority.

Run

Command
PYTHONPATH=src python3 -m microcosm_core.organs.public_reveal_walkthrough run --input fixtures/first_wave/public_reveal_walkthrough/input --out receipts/first_wave/public_reveal_walkthrough

Evidence

ClassBounded runtime computationevidence 4/5Real runtime resultRuns real tools

getting-startedinteresting-partsevaluation

Source

Source Design note · Source

Map Show on the map

Paper module

Paper module Public Reveal Walkthrough

The public reveal walkthrough validates a ten-minute cold-reader path through commands, routes, evidence refs, source-open body imports, negative cases, and scope limits without claiming launch-scope decision or whole-system equivalence.