Reference
Field guide
A generated middle layer over Microcosm: components, rules, ideas, and paper modules as one scannable roster. It shows the whole field at once, and every row opens into its card without losing the map.
A row is one public appearance of an object; some objects appear in more than one section.
pass: 357needs review: 62failing: 0
content-graph.json. Count semantics are explicit: object count is distinct public objects; roster rows include the richer paper-module projection.
Nothing matches that filter.
Components by area (78)
Bounded public components grouped by source family.
Entry & orientation (2)
Verifies the first-run guided path so every step names a real command, doc, and evidence.
Links Navigation Hologram Route Plane Agent Route Observability Runtime Pattern Binding Contract+5Binds the first-time reader tour to evidence so each count leads to a source.
Links launch Public Wording Gate Mechanistic Interpretability Circuit Attribution Replay Audio Level RMS Port+1Architecture & navigation (10)
Checks a real pattern catalog for digest, cross-reference, and dependency-cycle integrity.
Links Navigation Hologram Route Plane Agent Route Observability Runtime Cold Reader Route Map+3Verifies each landed task filed exactly one learning record naming what it changed.
Checks that example standards files declare their purpose, rule, records, and what they do not claim.
Links Doctrine Fact Claim AuditAudits a folder's navigation so browse rows never pose as the source of truth.
Links Cold Reader Route Map Agent Route Observability Runtime Routing Anti Patterns Registry+8Confirms every accepted part still ties to a written rule, a run command, and a saved proof.
Verifies each lesson changed a named owner page with evidence before the loop closes.
Links Pattern Assimilation StepChecks the catalog of named thinking-moves so each is fully described and backed by evidence.
Indexes the navigation mistakes agents repeat and guards the public list.
Links Navigation Hologram Route Plane Agent Route Observability Runtime Cold Reader Route MapChecks that public fact rows state the right count and point at live, anchored code.
Links Engine Room Demo Self Ignorance Coverage LedgerCompares expected against built entities to report known coverage gaps.
Formal math & proof (18)
Sorts proof-pipeline checks into accepted or rejected without inflating a pass.
Links Formal Math Verifier Trace Repair Loop Formal Evidence Cell Anchor Resolver Formal Math Lean Proof Witness+3Reads declared math setups and lists which proof tactics may be attempted versus blocked.
Links Formal Math Lean Proof Witness Source Projection Import Protocol Proof / Control / Runtime Import Bundle+3Runs the real Lean toolchain to confirm the math library is absent, then gates proof tasks.
Links Verifier Lab Kernel Tactic Portfolio Availability Probe Undeclared Library Prior Symbol Classifier+1Picks a first-guess proof strategy from a problem's tags and flags any it cannot map.
Maps which Lean proof tactics a recorded run marked usable before any code relies on one.
Links Corpus Readiness Mathlib Absence Gate Formal Math Verifier Trace Repair Loop Target Shape Tactic Routing Gate+2Records an allow-or-reject decision and reason for each proof tactic before any proof runs.
Links Formal Math Verifier Trace Repair Loop Formal Evidence Cell Anchor Resolver Proof Diagnostic Evidence Spine+2Lists a fixed catalog of public Lean building blocks and confirms none hides proof text or test answers.
Links Formal Math Verifier Trace Repair Loop Verifier Lab Kernel Mathematical Strategy Atlas Hypothesis Scorer+1Shows which lemmas a plain search surfaces per query, and never leaks proof text or answer keys.
Links Formal Math Lean Proof Witness Formal Math Verifier Trace Repair Loop Lean Std Premise Index+3Replays how a proof lab turns verifier failures into fixes, with no promotion without a fresh re-run.
Links Formal Evidence Cell Anchor Resolver Proof Diagnostic Evidence Spine Verifier Lab Kernel+2Resolves each proof-flavored math claim to named evidence and flags ones that overreach or lack backing.
Links Formal Math Verifier Trace Repair Loop Proof Diagnostic Evidence Spine Target Shape Tactic Routing GateDetects when a checked Lean proof cites a library result outside its approved set.
Links Corpus Readiness Mathlib Absence Gate Tactic Portfolio Availability Probe Provider Context Recipe Budget PolicyScores how much proof support a premise search found, problem by problem.
Links Mathematical Strategy Atlas Hypothesis Scorer Verifier Lab KernelCompiles a tiny Lean example with the real prover and records whether it built, leaking no proof text.
Links Formal Math Premise Retrieval Formal Math Readiness Gate Proof Diagnostic Evidence Spine+2Folds nine proof checks into one report labeling each line by which source actually backs it.
Links Corpus Readiness Mathlib Absence Gate Lean Std Premise Index Formal Math Premise Retrieval+7Runs Lean on small bounded proof attempts in a temp copy and records what passed or failed.
Links Certificate Kernel Execution Lab Engine Room DemoRuns the Lean verifier over a small public proof project and reports which rows it accepted.
Checks fourteen proof, control, and runtime parts as one unit that rejects every overclaim.
Checks a synthetic change-authorization record for its proof-and-approval chain, bound to a real commit.
Links launch Public Wording Gate Proof / Control / Runtime Import Bundle Policy Engines BundleAgent reliability & safety (17)
Validates a synthetic benchmark-integrity record and flags the contamination cases it declares.
Links Research Replication Rubric Artifact Replay Cold Evaluation Honesty BundleRuns a copied route-quality simulator and checks its all-B scorecard against the original code.
Runs the real validator code over public examples so its safety checks stay inspectable.
Links Cold Evaluation Honesty Bundle launch Public Wording GateReplays honest and deceptive agent runs and flags any verdict missing its declared backing evidence.
Links Agent Sabotage Scheming Monitor ReplayAudits a hidden-goal catch claim for the steps, suspicion scores, and counterfactual it needs.
Replays a memory edit-and-delete to show stale facts get flagged before they sway an answer.
Links Sleeper Memory Poisoning Quarantine ReplayReplays a recorded memory-tamper case, checking its declared quarantine, block, and delete steps line up.
Audits a recorded tool-use log to confirm each action was scoped, approved, undoable, and fenced.
Links Agent Sandbox Policy Escape Replay Sleeper Memory Poisoning Quarantine ReplayChecks that each step reward in a recorded run cites a declared verifier-feedback row, not a trick.
Maps sandboxed agent actions to show each was approved or blocked before running, then rolled back.
Links Sleeper Memory Poisoning Quarantine ReplayReplays an agent run to show untrusted text was gated before any sensitive action, leaking no secret.
Checks a fixed-bug evidence chain and re-runs three small real security checks; no real attack material.
Recomputes an agent run's route-compliance score and anti-pattern flags with real trace-analytics code.
Links Navigation Hologram Route Plane Cold Reader Route Map Routing Anti Patterns Registry+12Runs the real context harness to measure assembled byte sizes and check each bundle fits its budget.
Links Bounded Autonomy Campaign Packet Tool Server Pressure InventoryRuns real git and pytest on a sample repo so wrap-up claims state only what the evidence proves.
Drafts proposed work from coverage gaps and proves it cannot repair or rewrite the code itself.
Runs eight trace, graph, and market engines on test rows without fetching live markets.
Research & science (8)
Audits whether a paper-replication claim carries the full evidence trail.
Links Materials Chemistry Closed Loop Lab Safety Replay Mechanistic Interpretability Circuit Attribution Replay Prediction Oracle Reconciliation+2Replays six what-if robotics scenes to show what a spatial prediction claim is built from.
Replays a self-driving lab loop as records, with safety gates and no real chemicals, robot, or lab.
Links Spatial World Model Counterfactual Simulation ReplayRecords which model features drove an answer, each tied to checkable evidence.
Replays a forecast against the discipline a careful predictor would have to defend.
Links Market Dashboard Read-Model Bundle Prediction Market Board Bundle Structural Theses Finance BundleReplays synthetic forecast tests through copied finance stats, recording p-values with no advice.
Links Prediction Market Board Bundle Prediction Oracle ReconciliationRuns a copied market-dashboard reader to catch broken links, stale feeds, and trading overclaims.
Links Unsurfaced Source Primitives BundleReplays imported quant market math on test rows, with duplicate retention and seven refusals.
Links Structural Theses Finance BundleImport & drift control (19)
Gates private-to-public imports, accepting only files with matching fingerprints and sources.
Links Formal Math Readiness Gate Agent Route Observability Runtime Mission Transaction Work Spine+20Pinpoints where a projected world-model copy drifted from its real source, with repair routes.
Links Materials Chemistry Closed Loop Lab Safety Replay Mechanistic Interpretability Circuit Attribution Replay Prediction Oracle Reconciliation+4Exposes eleven real but under-surfaced parts and rejects non-public-state and overclaim cases.
Replays eight authority and systems checks, rejecting provider, proof, and launch overclaims.
Runs fifteen trace, code-map, and scheduling engines on test data, blocking truth overclaims.
Links Policy Engines Bundle Tools-Tail Primitives Bundle Backend & Governance Engines BundleReplays subject-index and truth-diff logic on copied code, rejecting reasoning overclaims.
Links Tools-Tail Primitives BundleReplays the recording console's Swift logic without launching the app or capturing audio.
Links Audio Level RMS Port Unsurfaced Source Primitives BundleExercises four copied helper tools over fixed inputs without touching live systems or data.
Maps three policy engines over test data without model calls or live campaign execution.
Computes the audio loudness math on test arrays without opening a microphone or capturing input.
Runs a copied finance-thesis model through dated test cases with no live market data or advice.
Links Prediction Market Board BundleRuns proof, runtime, security, and routing demos through bounded public examples with stated limits.
Links Compliance Pipeline Bundle Validator Checker BundleExercises thirteen copied backend and governance engines over fixed public test cases.
Links Governance & Compiler Mechanisms BundleChecks thirteen copied governance and compiler routines against the code they were copied from.
Verifies twelve copied engine routines and computes each failure probe from inputs, not echoes.
Links Source Projection Import Protocol Compliance Pipeline Bundle Navigation Hologram Route Plane+1Flags detached helper processes and launch pressure from synthetic rows, not live hosts.
Confirms six copied compliance source files carry their functions; runs one helper on sample text.
Links Source Projection Import Protocol Saturation Engines Bundle Navigation Hologram Route Plane+1Compares four copied router and landing routines against current code to surface stale copies.
Links Governance & Compiler Mechanisms BundleFlags affirmative open-source and deployment-posture wording while allowing safe boundary notes.
Work & continuity (4)
Runs the real work-ledger engine on a sanitised snapshot to re-derive each change's verdict.
Links Bounded Autonomy Campaign Packet Concurrency Mission Control Source Projection Import Protocol+6Audits recorded work-claims so each cites files, validates before commit, and proves HEAD moved.
Links Agent Completion Faithfulness Audit Source Projection Import ProtocolReplays a paused job to prove the rules for safely resuming it hold and reject duplicate resumes.
Links Agent Memory Temporal Conflict Replay Concurrency Mission ControlRuns copied claim-coordination code so duplicate, stale, and conflicting claims get blocked.
Links Mission Transaction Work Spine Live Source Drift BundleDoctrine reference (248)
Principles, axioms, concepts, mechanisms, and paper modules from the public rule lattice.
Principles (20)
Do not trust a fixture label, declared verdict, route status, count, or public copy line as proof.
Links grounded by Derivation before assertion governs validates public benchmark integrity replay governs validates completion evidence claims+5The scope limit is the strongest thing the named checker, validator, registry, or witness route actually computes.
Links grounded by Derivation before assertion grounded by Fail-closed monotone lattice governs validates public benchmark integrity replay+5Prefer a small verifier, parser, harness, compiler route, registry contract, or kernel over broad narrative confidence.
Links grounded by Kernelized verification governs validates public bounded autonomy campaign packet governs validates synthetic bridge continuity+5Authority comes from dereferenced proof, policy, result record, rollback evidence, and current world state.
Links grounded by Authority by derivation, not possession governs validates public mcp tool authority replay governs validates synthetic governed mutation authorization+5A reusable result record, command result, source import, or work-landing attempt must carry its content basis.
Links grounded by Content-addressed determinism governs validates public cold eval honesty bundle governs validates public governance compilers bundle+5Missing evidence, policy files, source digests, secret scans, negative cases, or result record self-scans block or demote.
Links grounded by Fail-closed monotone lattice governs validates public cold eval honesty bundle governs validates public governance compilers bundle+5Coverage reports name declared domains and materialized gaps.
Links grounded by Open-world epistemics governs validates public doctrine fact claim audit governs validates public self ignorance coverage ledger+3When preconditions fail, return a reasoned refusal.
Links grounded by Typed partiality and refusal governs validates public bounded autonomy campaign packet governs validates synthetic bridge continuity+5Every shard crossing from source source, fixture, result record, public copy, provider shape, or private-system adjacency must carry a prov…
Links grounded by Provenance propagation and non-interference governs validates public cold eval honesty bundle governs validates public governance compilers bundle+5Writes, launch steps, claim launch, source imports, and rollback-shaped operations need ordered transaction evidence.
Links grounded by Compensable transactional effects governs validates public concurrency mission control governs validates public work landing replay contract+3Counts, "current" states, live route totals, CI floors, body-import floors, and readiness signals must cite how they can be re-derived.
Links grounded by Temporal validity and freshness contracts governs validates public doctrine fact claim audit governs validates public self ignorance coverage ledger+3A doctrine surface earns authority through grammar, required fields, result record obligations, scope boundaries, and validator coverage.
Links grounded by Executable grammar before doctrine authority governs validates synthetic bridge continuity governs validates public operator contract+5Microcosm artifacts about Microcosm do not get exemptions.
Links grounded by Reflexive accountability / no privileged meta-layer governs validates public launch claim language gate governs validates public doctrine grammar bundle+5Content basis says which bytes or rows were used; provenance says where they may flow and how strongly they may be claimed.
Links grounded by Content-addressed determinism grounded by Provenance propagation and non-interference governs validates public work landing replay contract+5Generated docs, markdown summaries, route cards, and paper modules may expose a source truth, but they cannot upgrade it.
Links grounded by Content-addressed determinism grounded by Fail-closed monotone lattice grounded by Executable grammar before doctrine authority+5Mutation authority is not merely who can touch a file.
Links grounded by Authority by derivation, not possession grounded by Compensable transactional effects governs validates public concurrency mission control+5Before adding or removing a lattice edge in a repeated registry, anchor the mutation to the unique source row, target id, and builder route…
Links grounded by Content-addressed determinism grounded by Compensable transactional effects grounded by Executable grammar before doctrine authority+5A staged law, standard, component, or projection is not active authority until its owner boundary, source row, generated parity, validation…
Links grounded by Authority by derivation, not possession grounded by Compensable transactional effects grounded by Executable grammar before doctrine authority+5A residual is a typed pressure route, not an edge.
Links grounded by Fail-closed monotone lattice grounded by Open-world epistemics grounded by Executable grammar before doctrine authority+5A doctrine record is not fully active by projection alone.
Links grounded by Executable grammar before doctrine authority grounded by Reflexive accountability / no privileged meta-layer governs validates public launch claim language gate+5Axioms (12)
For any claim phi over basis B, admissibility requires a derivation certificate c and checker K such that K(B,c,phi)=accept; strength(phi)…
Links grounds Recompute, do not echo grounds Lower claim strength to checker strength guarded by Fixture-label echo+4Trusted claims are decided by a small checker K over certificates c; producers emit c and K decides.
Links grounds Concentrate trust in small checkers guarded by Producer trust guarded by Mechanism theater+2auth(subject,effect)=F(deref(tokens_presented),policy,proof_refs,world_state); ambient identity is insufficient.
Links grounds Possession is not permission grounds Bind authority to transaction scope grounds Require fan-in before activation+3a=f(B) and id(a)=H(B); equal B permits reuse; drift(B) forces recompute; missing(B)=bottom.
Links grounds Cache by content, not by name grounds Carry basis and provenance together grounds Keep projections below source authority+5status(composite)=meet(status(parts)); no evidence defaults to blocked; later stages may lower but not raise authority without new derivati…
Links grounds Lower claim strength to checker strength grounds Status fails closed grounds Keep projections below source authority+5not_proven(P) does not imply proven(not P); coverage is closed-world only inside declared finite domains.
Links grounds Track known unknowns without claiming the unknown is mapped grounds Classify residual pressure before wiring guarded by Unknown-unknown exhaustiveness+2Partial computation g is totalized as Result: Ok(y) under Pre(x), otherwise Refusal(reason,evidence).
Links grounds Refuse inadmissible computations with typed reasons guarded by Inadmissible number emission witnessed by Finance Forecast Evaluation Spine+1Data labels propagate along flows; untrusted labels reach privileged sinks only through declared transforms satisfying sink policy.
Links grounds Preserve provenance across every boundary grounds Carry basis and provenance together guarded by Public/private membrane breach+4Effect e requires a compensator or declared irreversible boundary; multi-step effects land as saga with CAS and single-writer constraints.
Links grounds Do not land effects without compensation grounds Bind authority to transaction scope grounds Anchor graph mutations to unique source rows+5Claims over live state are cached reads valid only under <value,as_of,basis,rederive> invalidation contracts.
Links grounds Bind volatile facts to refresh routes guarded by Cache-across-drift guarded by Frozen live fact+1authority(d) implies d in L(G), result record obligations, and scope boundary are present; prose alone is projection.
Links grounds Make doctrine executable before authoritative grounds Keep projections below source authority grounds Anchor graph mutations to unique source rows+5For every Microcosm artifact a, any claim phi carried by a must satisfy the same admissibility relation as external claims.
Links grounds Apply the same floor to meta artifacts grounds Require fan-in before activation grounds Bind result records before record authority+5Anti-principles (17)
Echoing a fixture verdict, registry label, markdown claim, or model answer instead of recomputing it from lower-level evidence.
Links guards Derivation before assertion guards Reflexive accountability / no privileged meta-layer negates failure of Recompute, do not echo+4Trusting a producer, persona, route, account secret, or prior success instead of a checker, proof, policy, or dereferenced capability.
Links guards Kernelized verification guards Authority by derivation, not possession negates failure of Concentrate trust in small checkers+3Treating counts, handles, passing validators, or evidence classes as product maturity, launch-scope decision, or whole-system correctness.
Links guards Fail-closed monotone lattice guards Reflexive accountability / no privileged meta-layer negates failure of Lower claim strength to checker strength+5Caching by name, path, route, display label, or producer while basis content has drifted.
Links guards Content-addressed determinism guards Temporal validity and freshness contracts negates failure of Cache by content, not by name+4Treating missing evidence as evidence of absence outside a declared closed domain.
Links guards Open-world epistemics negates failure of Track known unknowns without claiming the unknown is mapped negates failure of Classify residual pressure before wiringEmitting inadmissible numbers or conclusions instead of typed refusal.
Links guards Typed partiality and refusal negates failure of Refuse inadmissible computations with typed reasonsLetting untrusted, private, provider, prompt, account secret, or raw-voice material reach a privileged or public sink without provenance an…
Links guards Provenance propagation and non-interference negates failure of Preserve provenance across every boundary negates failure of Carry basis and provenance togetherPerforming irreversible mutation without a compensator, rollback result record, CAS/world-version guard, or explicit irreversible boundary.
Links guards Compensable transactional effects negates failure of Do not land effects without compensation negates failure of Bind authority to transaction scope+2Freezing live facts in prose without `as_of`, basis, and rederive contract.
Links guards Temporal validity and freshness contracts negates failure of Bind volatile facts to refresh routesGranting executable authority to prose doctrine without grammar and result record obligations.
Links guards Executable grammar before doctrine authority negates failure of Make doctrine executable before authoritative negates failure of Keep projections below source authority+4Exempting Microcosm's own result records, docs, releases, generated projections, or validators from Microcosm's evidence gates.
Links guards Reflexive accountability / no privileged meta-layer negates failure of Apply the same floor to meta artifacts negates failure of Require fan-in before activation+1Using synthetic fixtures as substitutes for available system.
Links guards Derivation before assertion guards Content-addressed determinism guards Provenance propagation and non-interference+5Treating generated result records as hand-authored source.
Links guards Content-addressed determinism guards Executable grammar before doctrine authority negates failure of Cache by content, not by name+5Letting public docs imply a hosted service, external service access, source-file mutation, financial or trading decisions, deployment postu…
Links guards Fail-closed monotone lattice guards Provenance propagation and non-interference guards Reflexive accountability / no privileged meta-layer+5Using field vocabulary such as proof, verifier, information flow, world model, or benchmark integrity when the public mechanism only valida…
Links guards Derivation before assertion guards Kernelized verification guards Reflexive accountability / no privileged meta-layer+5Displaying a declared, inferred, or generated downstream target as an observed runtime effect without evidence of the effect relation.
Links guards Provenance propagation and non-interference guards Reflexive accountability / no privileged meta-layer negates failure of Preserve provenance across every boundary+4Letting a markdown page, generated card, atlas row, or compact result record summary override the executable contract it summarizes.
Links guards Content-addressed determinism guards Executable grammar before doctrine authority negates failure of Cache by content, not by name+5Concepts (11)
safety and reliability claims remain bounded to named public fixtures, validators, and result record rows instead of global agent capabilit…
Links implements or refines Lower claim strength to checker strength implements or refines Concentrate trust in small checkers implements or refines Status fails closed+5navigation and doctrine surfaces become walkable through source-bound contracts while generated views stay below source authority
Links implements or refines Recompute, do not echo implements or refines Preserve provenance across every boundary implements or refines Make doctrine executable before authoritative+5entry evidence shows what a reader can inspect, not that the whole system is ready or correct
Links implements or refines Lower claim strength to checker strength implements or refines Track known unknowns without claiming the unknown is mapped implements or refines Make doctrine executable before authoritative+5invalid standards are blocked by negative cases such as missing teleology, missing result record expectations, or prose-only authority
Links implements or refines Refuse inadmissible computations with typed reasons implements or refines Make doctrine executable before authoritative implements or refines Keep projections below source authority+4runtime first-screen output emits CONCEPTS and MECHANISMS before standards-tree search is required
Links implements or refines Make doctrine executable before authoritative implements or refines Keep projections below source authority instantiated by validates public first run route map+2proof-related artifacts expose bounded witness status without claiming theorem completeness or provider proof authority
Links implements or refines Lower claim strength to checker strength implements or refines Concentrate trust in small checkers implements or refines Refuse inadmissible computations with typed reasons+5imported material remains tied to source anchors and drift result records instead of becoming ambient doctrine authority
Links implements or refines Recompute, do not echo implements or refines Preserve provenance across every boundary implements or refines Bind volatile facts to refresh routes+5research claims remain scoped to public replay evidence and known gaps instead of becoming external scientific truth claims
Links implements or refines Lower claim strength to checker strength implements or refines Track known unknowns without claiming the unknown is mapped implements or refines Preserve provenance across every boundary+5accepted_organ_count and covered_organ_ids are validated without becoming launch-scope decision
Links implements or refines Track known unknowns without claiming the unknown is mapped implements or refines Apply the same floor to meta artifacts implements or refines Keep projections below source authority+4status_counts distinguish refined_existing_surface, workitem_captured, and nothing_to_refine
Links implements or refines Refuse inadmissible computations with typed reasons implements or refines Apply the same floor to meta artifacts implements or refines Bind authority to transaction scope+4work progress claims stay tied to owned paths, result records, and transaction scope rather than chat status or generated projections
Links implements or refines Status fails closed implements or refines Preserve provenance across every boundary implements or refines Do not land effects without compensation+5Mechanisms (95)
The agent benchmark integrity anti-gaming replay component validates public benchmark-claim boundaries by checking locked evaluator policy…
Links grounded in src/microcosm core/components/agent benchmark integrity anti gaming replay py runs in Agent Benchmark Integrity Anti Gaming Replay grounds agent reliability and safety validators as bounded public scope limits+2The agent completion faithfulness audit component validates public completion evidence claims by checking fixture commit objects and HEAD w…
Links grounded in src/microcosm core/components/agent completion faithfulness audit py runs in Agent Completion Faithfulness Audit grounds agent reliability and safety validators as bounded public scope limitsThe agent memory temporal-conflict replay component validates public memory projection mechanics by checking ADD/UPDATE/DELETE/NOOP decisio…
Links grounded in src/microcosm core/components/agent memory temporal conflict replay py runs in Agent Memory Temporal Conflict Replay grounds agent reliability and safety validators as bounded public scope limits+1The agent monitor redteam falsification replay component validates public monitor-verdict evidence shape by checking trajectory rosters, su…
Links grounded in src/microcosm core/components/agent monitor redteam falsification replay py runs in Agent Monitor Redteam Falsification Replay grounds agent reliability and safety validators as bounded public scope limits+1The agent route observability runtime validates public route-feedback and observability fixture bundles by checking actor-axis authority bo…
Links grounded in src/microcosm core/components/agent route observability runtime py runs in Agent Route Observability Runtime grounds agent reliability and safety validators as bounded public scope limits+5The agent sabotage scheming-monitor replay validates a public synthetic sabotage-monitor bundle through task episodes, action traces, monit…
Links grounded in src/microcosm core/components/agent sabotage scheming monitor replay py runs in Agent Sabotage Scheming Monitor Replay grounds agent reliability and safety validators as bounded public scope limitsThe agent sandbox policy escape replay component validates public sandbox-policy projection mechanics by checking action requests, pre-exec…
Links grounded in src/microcosm core/components/agent sandbox policy escape replay py runs in Agent Sandbox Policy Escape Replay grounds agent reliability and safety validators as bounded public scope limits+1The agentic vulnerability discovery patch-proof replay component validates public vulnerability-claim boundaries by checking projection pro…
Links grounded in src/microcosm core/components/agentic vulnerability discovery patch proof replay py runs in Agentic Vulnerability Discovery Patch Proof Replay grounds agent reliability and safety validators as bounded public scope limitsThe Set 4 proof, authority, and runtime bundle validates copied public proof-control, formal-math, Codex runtime, completion, bitemporal, t…
Links grounded in src/microcosm core/components/batch4 proof authority runtime py runs in Proof / Control / Runtime Import Bundle grounds formal math and proof witnesses as bounded public proof-adjacent result recordsThe Set 5 authority systems bundle validates copied public source authority/control bodies through deterministic fixture and exported-bundl…
Links grounded in src/microcosm core/components/batch5 authority systems bundle py runs in Authority Systems Source Bundle grounds source import and projection drift controls as provenance-preserving boundariesThe Set 6 unsurfaced primitives bundle validates copied public source-primitive bodies through deterministic fixture and exported-bundle ex…
Links grounded in src/microcosm core/components/batch6 unsurfaced primitives bundle py runs in Unsurfaced Source Primitives Bundle grounds source import and projection drift controls as provenance-preserving boundariesThe Set 7 Demo Take Console bundle validates copied public Swift source bodies through deterministic SwiftPM build-witness, recording-state…
Links grounded in src/microcosm core/components/batch7 demo take console bundle py runs in Demo Take Console Source Bundle grounds source import and projection drift controls as provenance-preserving boundaries+2The Set 7 source engines bundle validates copied public source-body behavior through deterministic fixture and exported-bundle exercises, s…
Links grounded in src/microcosm core/components/batch7 source engines bundle py runs in Trace, Code-Map & Scheduling Engines Bundle grounds source import and projection drift controls as provenance-preserving boundaries+3The Set 7 Oracle sibling bundle validates copied public Oracle source bodies through deterministic subject-index, subject-snapshot, truth-d…
Links grounded in src/microcosm core/components/batch7 oracle sibling bundle py runs in Oracle Sibling Source Bundle grounds source import and projection drift controls as provenance-preserving boundaries+1The Set 7 secondary runtime bundle validates copied public runtime, graph, cartography, stockgrid, and Polymarket source-body behavior thro…
Links grounded in src/microcosm core/components/batch7 secondary runtime bundle py runs in Secondary Runtime Source Bundle grounds source import and projection drift controls as provenance-preserving boundariesThe Set 8 audio level RMS port validates a source-faithful public projection of AudioLevelMonitor normalized-level RMS behavior by running…
Links grounded in src/microcosm core/components/batch8 audio level rms port py runs in Audio Level RMS Port grounds source import and projection drift controls as provenance-preserving boundariesThe Set 8 compliance pipeline bundle validates a bounded public compliance/pipeline import by exercising the compliance adapter registry, b…
Links grounded in src/microcosm core/components/batch8 compliance pipeline bundle py runs in Compliance Pipeline Bundle grounds source import and projection drift controls as provenance-preserving boundaries+2The Set 8 policy engines bundle validates copied public policy-engine bodies by exercising lab contract audit, market fusion readiness, cam…
Links grounded in src/microcosm core/components/batch8 policy engines bundle py runs in Policy Engines Bundle grounds source import and projection drift controls as provenance-preserving boundariesThe Set 8 structural theses bundle validates a copied public structural-theses finance body by running synthetic winner, loser, and control…
Links grounded in src/microcosm core/components/batch8 structural theses bundle py runs in Structural Theses Finance Bundle grounds source import and projection drift controls as provenance-preserving boundaries+1The Set 8 tools-tail primitives bundle validates four copied public tools-tail source modules by exercising observer set diffs, JSON patch…
Links grounded in src/microcosm core/components/batch8 tools tail primitives bundle py runs in Tools-Tail Primitives Bundle grounds source import and projection drift controls as provenance-preserving boundariesThe Set 8 validator checker bundle validates an exact copied public validators.py body by exercising policy/status judging, private-boundar…
Links grounded in src/microcosm core/components/batch8 validator checker bundle py runs in Validator Checker Bundle grounds agent reliability and safety validators as bounded public scope limits+2The Set 9 source engines bundle validates copied public source-body behavior through deterministic fixture and exported-bundle exercises, s…
Links grounded in src/microcosm core/components/batch9 source engines bundle py runs in Backend & Governance Engines Bundle grounds source import and projection drift controls as provenance-preserving boundaries+1The Set 10 cold-eval honesty bundle validates copied public source-body behavior through deterministic fixture and exported-bundle exercise…
Links grounded in src/microcosm core/components/batch10 cold eval honesty bundle py runs in Cold Evaluation Honesty Bundle grounds agent reliability and safety validators as bounded public scope limitsThe Set 10 governance compilers bundle validates copied public source-body behavior through deterministic fixture and exported-bundle exerc…
Links grounded in src/microcosm core/components/batch10 governance compilers bundle py runs in Governance & Compiler Mechanisms Bundle grounds source import and projection drift controls as provenance-preserving boundariesThe Set 10 live-source drift bundle validates copied public source-body behavior through deterministic fixture and exported-bundle exercise…
Links grounded in src/microcosm core/components/batch10 live source drift bundle py runs in Live Source Drift Bundle grounds source import and projection drift controls as provenance-preserving boundaries+1The Set 11 saturation engines bundle validates copied public source-body behavior through deterministic fixture and exported-bundle exercis…
Links grounded in src/microcosm core/components/batch11 saturation engines bundle py runs in Saturation Engines Bundle grounds source import and projection drift controls as provenance-preserving boundaries+2The Set 12 market dashboard read-model bundle validates copied public read-model helpers over synthetic fixtures through market-dashboard i…
Links grounded in src/microcosm core/components/batch12 market dashboard read model bundle py runs in Market Dashboard Read-Model Bundle grounds research and science replay validators as reproducibility scope limits+1The Set 12 prediction market board bundle validates copied public prediction-board and quant-mart diagnostics over synthetic fixtures throu…
Links grounded in src/microcosm core/components/batch12 prediction market board bundle py runs in Prediction Market Board Bundle grounds research and science replay validators as reproducibility scope limits+1The Set 12 launch-claim language gate component validates launch-claim fixture generation, claim-language blocking, assert-clear exits, sou…
Links grounded in src/microcosm core/components/batch12 launch claim language gate py runs in launch Public Wording Gate grounds source import and projection drift controls as provenance-preserving boundariesThe belief-state process reward replay component validates public belief summaries, verifier-feedback observations, process and outcome rew…
Links grounded in src/microcosm core/components/belief state process reward replay py runs in Belief State Process Reward Replay grounds agent reliability and safety validators as bounded public scope limitsThe bounded-autonomy campaign packet component validates campaign policy, failed-campaign digest handling, source-write refusal, source-mod…
Links grounded in src/microcosm core/components/bounded autonomy campaign packet py runs in Bounded Autonomy Campaign Packet grounds agent reliability and safety validators as bounded public scope limitsThe bridge phase continuity runtime validates public synthetic observe/apply bridge continuity by checking disk-first continuation packets…
Links grounded in src/microcosm core/components/bridge phase continuity runtime py runs in Bridge Phase Continuity Runtime grounds work landing and continuity controls as transaction-scoped coordination evidence+3The certificate kernel execution lab component validates public proof-adjacent execution boundaries by checking a Lean/Lake certificate-ker…
Links grounded in src/microcosm core/components/certificate kernel execution lab py runs in Certificate Kernel Execution Lab grounds formal math and proof witnesses as bounded public proof-adjacent result recordsThe cognitive operator registry component validates public reusable-cognition system by checking operator-shape fields, active-operator dog…
Links grounded in src/microcosm core/components/cognitive operator registry py runs in Cognitive Operator Registry grounds architecture and navigation route contracts as executable doctrine boundariesThe cold-clone probe validates source-root public bootstrap mechanics by importing the package from src, running the secret-exclusion scan…
Links grounded in src/microcosm core/cold clone probe py runs in Pattern Binding Contract grounds architecture and navigation route contracts as executable doctrine boundaries+1The cold-reader route-map component validates public first-run route projections by checking route-row command refs, public docs refs, rout…
Links grounded in src/microcosm core/components/cold reader route map py runs in Cold Reader Route Map grounds entry and reveal routes as bounded cold-reader readiness evidence+5The concurrency mission-control component validates copied public mission-control builder and bridge artifacts through fixture failure clas…
Links grounded in src/microcosm core/components/concurrency mission control py runs in Concurrency Mission Control grounds work landing and continuity controls as transaction-scoped coordination evidence+1The corpus readiness Mathlib absence gate component validates public formal-math corpus readiness boundaries by checking copied PROVER smok…
Links grounded in src/microcosm core/components/corpus readiness mathlib absence gate py runs in Corpus Readiness Mathlib Absence Gate grounds formal math and proof witnesses as bounded public proof-adjacent result records+4The corpus readiness Mathlib absence gate validates recorded corpus and toolchain readiness accounting, Mathlib absence boundaries, consume…
Links grounded in src/microcosm core/components/corpus readiness mathlib absence gate py runs in Corpus Readiness Mathlib Absence Gate grounds formal math and proof witnesses as bounded public proof-adjacent result records+1The doctrine fact-claim audit component validates fact assertions, numeric claim bindings, DAG references, code-locus anchors, source-modul…
Links grounded in src/microcosm core/components/doctrine fact claim audit py runs in Doctrine Fact Claim Audit grounds architecture and navigation route contracts as executable doctrine boundaries+3The durable agent work-landing replay component validates public work-landing replay rows by checking owned-path claim evidence, owner-nati…
Links grounded in src/microcosm core/components/durable agent work landing replay py runs in Durable Agent Work Landing Replay grounds work landing and continuity controls as transaction-scoped coordination evidence+3The Engine Room reference knowledge router mechanism validates explainable tiered routing over sanitized reference catalog fixtures by scor…
Links grounded in src/microcosm core/engine room/reference knowledge router py runs in Engine Room Demo grounds architecture and navigation route contracts as executable doctrine boundaries+2The Engine Room command-run singleflight mechanism validates content-addressed subprocess run keys, fcntl-backed leader/follower collapse…
Links grounded in src/microcosm core/engine room/command run singleflight py runs in Engine Room Demo grounds source import and projection drift controls as provenance-preserving boundaries+1The Engine Room demo component validates the staged public Engine Room composition over bounded fixtures, controller audits, missing-target…
Links grounded in src/microcosm core/components/engine room demo py grounded in src/microcosm core/engine room/demo py runs in Engine Room Demo+5The Engine Room derived fact provider engine mechanism validates registry-backed fact resolution over public fixture roots by resolving JSO…
Links grounded in src/microcosm core/engine room/derived fact provider engine py runs in Engine Room Demo grounds source import and projection drift controls as provenance-preserving boundaries+1The Engine Room egress self-compliance gate mechanism validates phrase-membership policy over public agent-output fixtures by detecting per…
Links grounded in src/microcosm core/engine room/egress self compliance gate py runs in Engine Room Demo grounds source import and projection drift controls as provenance-preserving boundaries+2The Engine Room generated projection drift gate validates owner-routed generated artifact freshness over public fixtures by selecting proje…
Links grounded in src/microcosm core/engine room/generated projection drift gate py runs in Engine Room Demo grounds source import and projection drift controls as provenance-preserving boundaries+2The Engine Room Lean proof-search lab mechanism validates bounded public proof-search fixtures by running tiny Lean statements through symb…
Links grounded in src/microcosm core/engine room/lean proof search lab py runs in Engine Room Demo grounds formal math and proof witnesses as bounded public proof-adjacent result records+2The Engine Room navigation fitness benchmark mechanism validates public route-packet benchmark fixtures by checking expected stable-id reca…
Links grounded in src/microcosm core/engine room/navigation fitness benchmark py runs in Engine Room Demo grounds architecture and navigation route contracts as executable doctrine boundaries+2The Engine Room public projection leak gate validates rendered public projection roots by scanning file content, path names, symlink target…
Links grounded in src/microcosm core/engine room/public projection leak gate py runs in Engine Room Demo grounds source import and projection drift controls as provenance-preserving boundaries+2The executable doctrine grammar component validates public standards and paper-module grammar fixtures by checking required standard fields…
Links grounded in src/microcosm core/components/executable doctrine grammar py runs in Executable Doctrine Grammar grounds standard as schema contract with explicit scope limit+3The finance forecast evaluation spine validates copied public finance-evaluation helpers over synthetic market-shaped fixtures through Dieb…
Links grounded in src/microcosm core/components/finance forecast evaluation spine py runs in Finance Forecast Evaluation Spine grounds research and science replay validators as reproducibility scope limits+2The first-screen composition root validates the public one-screen entry card by checking reader-route ids, shared first commands, behavior-…
Links grounded in src/microcosm core/first screen composition py grounded in scripts/first screen composition card py runs in Public Reveal Walkthrough+3The formal evidence cell anchor resolver validates proof-language evidence boundaries by resolving public paper claims to evidence-cell ids…
Links grounded in src/microcosm core/components/formal evidence cell anchor resolver py runs in Formal Evidence Cell Anchor Resolver grounds formal math and proof witnesses as bounded public proof-adjacent result records+2The formal evidence cell anchor resolver validates claim-to-evidence-cell resolution, public source anchors, permitted claim strength, copi…
Links grounded in src/microcosm core/components/formal evidence cell anchor resolver py runs in Formal Evidence Cell Anchor Resolver grounds formal math and proof witnesses as bounded public proof-adjacent result records+1The formal math Lean proof witness component validates a bounded public Lean/Lake witness by copying a declared toy Lake project into a tem…
Links grounded in src/microcosm core/components/formal math lean proof witness py runs in Formal Math Lean Proof Witness grounds formal math and proof witnesses as bounded public proof-adjacent result records+5The formal math Lean proof witness validates a bounded public toy Lean/Lake witness by checking tool availability, temporary-workspace buil…
Links grounded in src/microcosm core/components/formal math lean proof witness py runs in Formal Math Lean Proof Witness grounds formal math and proof witnesses as bounded public proof-adjacent result records+5The formal math premise retrieval component validates public retrieval metadata, premise-index references, strategy cases, retrieval querie…
Links grounded in src/microcosm core/components/formal math premise retrieval py runs in Formal Math Premise Retrieval grounds formal math and proof witnesses as bounded public proof-adjacent result records+1The formal math premise retrieval component validates a formal-math retrieval slice by checking copied Lean/Std premise descriptors, retrie…
Links grounded in src/microcosm core/components/formal math premise retrieval py runs in Formal Math Premise Retrieval grounds formal math and proof witnesses as bounded public proof-adjacent result records+5The formal math readiness gate component validates public formal-math readiness evidence by checking declared corpus and Mathlib readiness…
Links grounded in src/microcosm core/components/formal math readiness gate py runs in Formal Math Readiness Gate grounds formal math and proof witnesses as bounded public proof-adjacent result records+5The formal math readiness gate validates declared readiness metadata, tactic availability references, premise-index boundaries, target-shap…
Links grounded in src/microcosm core/components/formal math readiness gate py runs in Formal Math Readiness Gate grounds formal math and proof witnesses as bounded public proof-adjacent result records+1The formal math verifier-trace repair loop component validates public proof-lab repair evidence by checking copied Ring2 run refs and diges…
Links grounded in src/microcosm core/components/formal math verifier trace repair loop py runs in Formal Math Verifier Trace Repair Loop grounds formal math and proof witnesses as bounded public proof-adjacent result records+5The indirect prompt-injection information-flow policy replay component validates public source-trust rows, taint-flow edges, policy verdict…
Links grounded in src/microcosm core/components/indirect prompt injection information flow policy replay py runs in Indirect Prompt Injection Information Flow Policy Replay grounds agent reliability and safety validators as bounded public scope limitsThe Lean/Std premise index component validates a copied Lean/Std premise descriptor catalog and Ring2 premise-retrieval source body bundle…
Links grounded in src/microcosm core/components/lean std premise index py runs in Lean Std Premise Index grounds formal math and proof witnesses as bounded public proof-adjacent result records+4The Lean Std premise index validates premise metadata, Lean/Init source refs, copied public source manifests, forbidden proof/oracle fields…
Links grounded in src/microcosm core/components/lean std premise index py runs in Lean Std Premise Index grounds formal math and proof witnesses as bounded public proof-adjacent result records+1The source projection import protocol component validates fixture and exported projection bundles by checking source refs, public target re…
Links grounded in src/microcosm core/components/source projection import protocol py runs in Source Projection Import Protocol grounds source import and projection drift controls as provenance-preserving boundaries+5The materials chemistry closed-loop lab-safety replay component validates public lab-safety claim boundaries by checking candidate material…
Links grounded in src/microcosm core/components/materials chemistry closed loop lab safety replay py runs in Materials Chemistry Closed Loop Lab Safety Replay grounds research and science replay validators as reproducibility scope limits+1The mathematical strategy atlas hypothesis scorer validates pre-oracle strategy selection, feature-overlap routing, source-artifact consist…
Links grounded in src/microcosm core/components/mathematical strategy atlas hypothesis scorer py runs in Mathematical Strategy Atlas Hypothesis Scorer grounds formal math and proof witnesses as bounded public proof-adjacent result recordsThe MCP tool authority replay component validates public tool manifest scope, call metadata, approval token refs, side-effect ledger refs…
Links grounded in src/microcosm core/components/mcp tool authority replay py runs in MCP Tool Authority Replay grounds agent reliability and safety validators as bounded public scope limits+2The mechanistic interpretability circuit-attribution replay component validates public toy-transformer attribution rows, machine-readable g…
Links grounded in src/microcosm core/components/mechanistic interpretability circuit attribution replay py runs in Mechanistic Interpretability Circuit Attribution Replay grounds research and science replay validators as reproducibility scope limitsThe Microcosm axiom system support-cover evaluator projects public axiom support cases, support frontiers, anti-axiom rejection mappings, p…
Links grounded in src/microcosm core/validators/axiom support cover py runs in microcosm axiom system grounds standard as schema contract with explicit scope limit+1The mission transaction work-spine component validates public work-landing and completion metadata by checking fixed Work item, claim, depe…
Links grounded in src/microcosm core/components/mission transaction work spine py runs in Mission Transaction Work Spine grounds work landing and continuity controls as transaction-scoped coordination evidence+5The navigation hologram route-plane component validates public route-plane fixture rows and exported bundle inputs by checking route projec…
Links grounded in src/microcosm core/components/navigation hologram route plane py runs in Navigation Hologram Route Plane grounds architecture and navigation route contracts as executable doctrine boundaries+5The pattern-assimilation step component validates refinement, nothing-to-refine, stewardship, re-entry, source-module manifest, negative-ca…
Links grounded in src/microcosm core/validators/sign-off py runs in Pattern Assimilation Step grounds architecture and navigation route contracts as executable doctrine boundariesThe pattern-binding contract component validates public pattern rows, source bundles, reference bundles, authority handles, exported system…
Links grounded in src/microcosm core/components/pattern binding contract py grounded in src/microcosm core/source tools/pattern route readiness py runs in Pattern Binding Contract+5The prediction oracle reconciliation component validates synthetic prediction packets through CP1 fork preservation, CP2 target-universe ch…
Links grounded in src/microcosm core/components/prediction oracle reconciliation py runs in Prediction Oracle Reconciliation grounds research and science replay validators as reproducibility scope limits+3The proof-derived governed-mutation authorization component validates public synthetic mutation-authority proposals by checking proof-cell…
Links grounded in src/microcosm core/components/proof derived governed mutation authorization py runs in Proof Derived Governed Mutation Authorization grounds formal math and proof witnesses as bounded public proof-adjacent result records+3The proof diagnostic evidence spine component validates proof-adjacent public evidence by checking Ring2 diagnostic result record refs, cop…
Links grounded in src/microcosm core/components/proof diagnostic evidence spine py runs in Proof Diagnostic Evidence Spine grounds formal math and proof witnesses as bounded public proof-adjacent result records+3The provider context recipe budget policy validates byte-bounded context recipe projection, ordered section fill, omitted-section manifests…
Links grounded in src/microcosm core/components/provider context recipe budget policy py runs in Provider Context Recipe Budget Policy grounds agent reliability and safety validators as bounded public scope limits+2The public reveal walkthrough component validates public entry material by checking reveal-step density, runnable command refs, evidence re…
Links grounded in src/microcosm core/components/public reveal walkthrough py runs in Public Reveal Walkthrough grounds entry and reveal routes as bounded cold-reader readiness evidence+4The research replication rubric-artifact replay component validates public research-replication claim boundaries by checking contribution d…
Links grounded in src/microcosm core/components/research replication rubric artifact replay py runs in Research Replication Rubric Artifact Replay grounds research and science replay validators as reproducibility scope limits+5The Ring2 premise retrieval precision/recall harness validates copied retrieval rankings, needed-premise attribution labels, aggregate hit…
Links grounded in src/microcosm core/components/ring2 premise retrieval precision recall harness py runs in Ring2 Premise Retrieval Precision Recall Harness grounds formal math and proof witnesses as bounded public proof-adjacent result records+2The routing anti-patterns registry component validates public routing anti-pattern rows, source-module digest anchors, private-leak rejecti…
Links grounded in src/microcosm core/components/routing anti patterns registry py runs in Routing Anti Patterns Registry grounds architecture and navigation route contracts as executable doctrine boundaries+2The self-ignorance coverage ledger component validates known Kind Atlas coverage-debt fixtures through declared gap rows, missing-category…
Links grounded in src/microcosm core/components/self ignorance coverage ledger py runs in Self Ignorance Coverage Ledger grounds architecture and navigation route contracts as executable doctrine boundariesThe sleeper memory poisoning quarantine replay component validates metadata-only public memory-security policy projections, poisoned-source…
Links grounded in src/microcosm core/components/sleeper memory poisoning quarantine replay py runs in Sleeper Memory Poisoning Quarantine Replay grounds agent reliability and safety validators as bounded public scope limitsThe spatial world-model counterfactual simulation replay component validates synthetic scene-state transitions, counterfactual replay rows…
Links grounded in src/microcosm core/components/spatial world model counterfactual simulation replay py runs in Spatial World Model Counterfactual Simulation Replay grounds research and science replay validators as reproducibility scope limitsThe standards meta diagnostics component validates public projection-only diagnostics over accepted-component standards inventory, runtime…
Links grounded in src/microcosm core/components/standards meta diagnostics py runs in Standards Meta Diagnostics grounds component-standard-runtime-result record coverage as projection-only evidence+2The tactic portfolio availability probe validates recorded tactic compile-status rows, captured probe source digests, unavailable-tactic ro…
Links grounded in src/microcosm core/components/tactic portfolio availability probe py runs in Tactic Portfolio Availability Probe grounds formal math and proof witnesses as bounded public proof-adjacent result records+5The target-shape tactic routing gate validates pre-execution tactic allow/reject decisions against target shape, recorded tactic availabili…
Links grounded in src/microcosm core/components/target shape tactic routing gate py runs in Target Shape Tactic Routing Gate grounds formal math and proof witnesses as bounded public proof-adjacent result records+3The tool-server pressure inventory component validates public helper-process pressure fixtures through synthetic process rows, active-owner…
Links grounded in src/microcosm core/components/tool server pressure inventory py runs in Tool Server Pressure Inventory grounds source import and projection drift controls as provenance-preserving boundariesThe undeclared library prior symbol classifier validates symbol-boundary observations against allowed premise ids, classifier policy, sourc…
Links grounded in src/microcosm core/components/undeclared library prior symbol classifier py runs in Undeclared Library Prior Symbol Classifier grounds formal math and proof witnesses as bounded public proof-adjacent result records+1The verifier lab execution spine validates bounded public Lean transition rows by running the local checker on a temporary fixture, preserv…
Links grounded in src/microcosm core/components/verifier lab execution spine py runs in Verifier Lab Execution Spine grounds formal math and proof witnesses as bounded public proof-adjacent result records+2The verifier lab kernel composes public formal-math component result records into one leak-proof aggregate result record, preserving verifi…
Links grounded in src/microcosm core/components/verifier lab kernel py runs in Verifier Lab Kernel grounds formal math and proof witnesses as bounded public proof-adjacent result records+1The voice-to-doctrine self-improvement loop component validates lesson propagation through projection protocol, policy, owner-surface check…
Links grounded in src/microcosm core/components/voice to doctrine self improvement loop py runs in Voice To Doctrine Self Improvement Loop grounds local pressure rows as typed candidates for owner-surface refinement+2The world-model projection drift control room component validates public metadata-only projection-drift rows and copied world-model/view-qu…
Links grounded in src/microcosm core/components/world model projection drift control room py runs in World Model Projection Drift Control Room grounds source import and projection drift controls as provenance-preserving boundaries+5Paper modules (93)
The public verifier-lab composition root folds bounded formal-math component result records into one leak-proof result record while separating verifier-backed, oracle-compared, provider-suggested, retrieval-miss, CP2, Evolve, and contract-rejected rows.
The public navigation route-plane fixture validates bounded route projections, source-coupling gates, entry floors, affordance passports, and copied navigation source-module digests without treating browse rows as authority.
The public route-observability fixture validates synthetic route feedback, route leases, hook-shadow advisory rows, anti-pattern debt, copied source trace manifests, and metadata-only result records without claiming live session authority.
The agent benchmark integrity anti-gaming replay validates copied public source pattern provenance bodies and metadata-only benchmark replay rows before any score-like language is allowed.
The research replication rubric-artifact replay validates source-backed public replication bundles before any paper-replication language is allowed.
The agentic vulnerability discovery patch-proof replay validates metadata-only synthetic vulnerability evidence chains before any found-and-fixed security language is allowed.
The materials chemistry lab-safety replay validates metadata-only simulator-only closed-loop rows before any materials-lab or discovery language is allowed.
The certificate kernel execution lab validates bounded public Lean/Lake certificate-kernel rows before any proof-adjacent claim is allowed.
The corpus readiness Mathlib absence gate validates copied corpus/toolchain readiness bodies before any Mathlib-dependent proof or retrieval claim is allowed.
The public pattern-binding component validates pattern rows, source bundles, authority handles, exported system bundles, and route-readiness selector overlays while keeping mined rows component-first and fixture-bound.
The public bridge-continuity fixture validates disk-first continuation packets, heartbeat/resource-pressure boundaries, resume-once semantics, worker-skip dedupe, tracked result record-write gates, and non-public-state exclusion without live bridge transport.
The public cognitive-operator registry fixture validates operator-shape rows, active-operator dogfood result records, anti-sprawl decisions, copied source registry/standard/tool bodies, and scope limits without becoming operator source authority.
The public completion-faithfulness fixture checks commit, ledger-cap, and pytest-span claims with real git/pytest subprocess witnesses while refusing unchecked pass overclaims.
The public cold-reader route-map fixture validates first-run command order, docs refs, result record refs, scope limits, copied cold-entry source-module digests, and non-public-state exclusion without becoming route registry control.
The public proof-diagnostic evidence spine fixture validates Ring2 diagnostic result record refs, copied runtime artifact digests, provider/proof-body exclusions, stale-coupling visibility, and scope limits without becoming formal proof authority.
The public proof-derived governed-mutation fixture validates synthetic mutation proposals through proof cells, visible pre-execution policy verdicts, logged side effects, rollback result records, cold replay, negative cases, and copied source internal control bodies without granting live mutation authority.
The public durable work-landing replay fixture validates recorded agent landing rows, copied source internal control source bodies, validation-before-commit ordering, HEAD-advance evidence, blocker capture, and work log completion without performing live Git work.
The public work-landing control spine validates copied work-landing internal control source bodies without authorizing live Git, ledger, claim-launch, private-index, public sharing, or launch operations.
The public executable-doctrine grammar fixture validates public standard rows, paper-module sections, negative cases, copied executable-grammar and standards/type-plane source-module bodies, and metadata-only result records without claiming doctrine completeness.
The public source-projection import protocol validates classified source-to-Microcosm projection cells, per-slice source-module manifests, digest relations, omission result records, intake statuses, and scope limits without claiming source or launch-scope decision.
The public mission-transaction fixture validates work-landing, claim, dependency, scoped-commit, checkpoint-lane, result record-drain, completion, and copied control source-module contracts without mutating live ledgers or git.
The public formal-math readiness gate validates declared corpus, tactic, premise, routing, provider-budget, source-module manifest, copied PROVER probe body, and negative-case boundaries without claiming Lean/Lake or proof authority.
The public Lean proof witness runs local Lean/Lake over a tiny synthetic project, validates copied public source-module digests and negative cases, and emits redacted result records without claiming general proof authority.
The public verifier-trace repair fixture validates copied Ring2 failure taxonomy, graph-update, oracle-repair contrast rows, source-module digests, negative cases, and one deterministic toy rerun without claiming proof authority.
The formal evidence cell anchor resolver binds proof-language paper claims to public evidence cells, source anchors, machine-anchor metadata, copied source modules, and negative-case result records without claiming formal-result correctness.
Formal math premise retrieval validates copied public Lean/Std premise metadata, query scoring, context budgets, strategy gates, body-floor provenance, and leakage negative cases without claiming proof authority.
The Lean/Std premise index validates a copied public Lean/Std descriptor catalog plus Ring2 premise-retrieval source bodies without claiming proof, Mathlib, Lean/Lake, provider, launch, or theorem-correctness authority.
The world-model projection drift control room validates public metadata-only projection-drift rows and copied source-module bodies without treating projections as source authority or repair authority.
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 private-system equivalence.
Terminal public coverage diagnostic: verifies every accepted component stays mapped to a standard, runtime contract, result record, and scope limit.
Forecast-evaluation component: Diebold-Mariano / Hansen-SPA / stationary-bootstrap stats over synthetic fixtures with typed refusal discipline; no market authority.
Composition component: verifies the 14 staged Engine Room jewel targets and their owned bundle surfaces through the public fixture chain; composition contract only.
Synthetic replay fixture for an agent-memory honesty contract: models scoped-preference episodes and checks temporal-conflict handling; no live memory product.
Synthetic regression drilldown for a monitor/redteam honesty contract; checks falsification handling, negative cases, non-public-state scan, scope limits.
Drilldown regression contract for synthetic sabotage/scheming monitor claims: replays task episodes, action traces, monitor scores, counterfactual/cold replay.
Validator-backed public refactor of source agent_execution_trace for sandbox/security: metadata-only trace spans, pre-exec policy verdicts, side-effect diffs
Public projection of a belief-state process-reward claim contract, backed by the agent-execution trace refactor and copied source bodies.
Synthetic replay fixture for a persistent-memory security contract: quarantine of poisoned memory, audit refs, rerun result records, negative cases, authority
Validator-backed claim: a source-faithful trace refactor separated trusted instructions from untrusted web/tool/browser text before any privileged action.
Synthetic MCP-like replay fixture for a tool-authority claim contract: replay result records, negative cases, scope limits; no live MCP/provider/account secret
Environment-scoped tactic availability rows gate downstream tactic routing without becoming proof, benchmark, or launch-scope decision.
Pre-execution tactic routing admits or rejects tactics from target shape and probe evidence without proving the target.
After-the-fact premise retrieval metrics separate retrieval misses from proof failures without becoming theorem authority.
Pre-oracle strategy hypotheses make the first proof-search move inspectable without claiming proof or provider authority.
Bounded public verifier execution result records witness command execution without upgrading output into theorem authority.
Bounded autonomy campaign packets propose guarded agent work without authorizing source-file changes or unsupervised repair.
Validator-backed public replay for synthetic computer-use action traces under the route-observability runtime.
Concurrency Mission Control validates metadata-only coordination result records without becoming a live scheduler or production concurrency proof.
Doctrine Fact Claim Audit rejects wrong fact counts and dead anchors without claiming comprehension or route completeness.
Self-Ignorance Coverage Ledger counts known coverage debt while refusing unknown-unknown or absence-proof claims.
Tool Server Pressure Inventory validates public pressure-inventory fixtures without reading or mutating live host process state.
Mechanistic interpretability replay validates public circuit-attribution result record contracts without live model access or private activation export.
Spatial world-model replay validates synthetic counterfactual metadata without robot operation, simulator product claims, or real-world accuracy claims.
Prediction Oracle Reconciliation exercises synthetic forecast reconciliation gates without forecasting, trading, provider, or live-market authority.
Provider Context Recipe Budget validates context-budget projection mechanics without authorizing external model access or truth-side material.
Undeclared Library Prior Classifier scores extracted Lean symbol observations against an allowed premise set without running Lean or treating libraries as implicit allowlists.
Voice to Doctrine Self-Improvement Loop validates lesson propagation without exporting source notes or granting doctrine mutation authority.
Routing Anti-Patterns Registry validates public anti-pattern registry rows without becoming route source authority or mutating routes.
Set 8 Audio Level RMS Port validates deterministic RMS math parity over public synthetic samples without audio capture, microphone permission, or UI readiness authority.
Set 8 Compliance Pipeline Bundle validates copied compliance scanner and observe-pipeline mechanics without refreshing the full ledger or dispatching bridge/provider work.
Set 8 Policy Engines Bundle validates three deterministic public policy-engine exercises without running campaigns, providers, markets, or repository mutations.
Set 8 Structural Theses Bundle validates public synthetic thesis-family replay without financial decisions, live-market validation, external model access, or portfolio authority.
Set 8 Tools-Tail Primitives Bundle validates four public tools-tail primitive exercises without Oracle truth, external model access, live bridge work, or repository mutation authority.
Set 8 Validator Checker Bundle validates selected public checker groups without becoming launch-scope decision or a complete validator-suite proof.
Set 12 Market Dashboard Read-Model Bundle validates copied read-model helpers over public fixtures without market-level conclusions, external model access, or launch-scope decision.
Set 12 Prediction Market Board Bundle validates copied prediction-board and quant-mart diagnostics over public fixtures without market-level conclusions or provider authority.
Set 12 launch claim-Language Gate checks public claim language against result record-backed scope limits without approving launch or public sharing.
Set 10 Cold Eval Honesty Bundle runs cold-eval over public fixtures without benchmark, navigation-truth, or launch-scope decision.
Set 10 Live Source Drift Bundle validates copied current internal control source bodies without route, ledger-mutation, or launch-scope decision.
Set 7 Source Engines Bundle imports source engine bodies and exercises trace, graph, scheduling, source-index, patch, numeric, rank, and regression-selection invariants.
Set 9 Source Engines Bundle imports backend and governance source-engine bodies and exercises provenance, approval, AST, finance-news, mission graph, dependency, config, edge, WorkAtlas, host-pressure, doctrine-enrichment, worker-budget, and milestone-quality invariants.
Pattern Assimilation validates public completion-learning metadata, owner-routed refinement result records, typed nothing-to-refine decisions, and copied body-import manifests without promoting local lessons into global doctrine.
Set 10 Governance And Compilers Bundle imports governance, compiler, launch, finance, dependency, DAG, table, reference, and recent-change source bodies as public source-open evidence without granting live ledger, public sharing, launch, market, or source-file changes.
Set 11 Saturation Engines Bundle imports saturation, diagnostic, wayfinding, market-board, secret-scan, and demo-take source bodies as public source-open evidence without granting live runtime, launch, market, or navigation authority.
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.
Set 6 Unsurfaced Primitives Bundle imports provenance, operator-handoff, market, finance, provider-recovery, and demo-take source primitives as public source-open evidence without granting live operator memory, market, provider, media, public sharing, or launch-scope decision.
The Engine Room public projection leak gate validates rendered public projection roots for account secret-shaped strings, non-public paths shapes, symlink escapes, policy-exception handling, and optional gitleaks status while keeping findings hash-only.
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.
Set 7 Oracle Sibling Bundle imports Oracle sibling source bodies and exercises deterministic subject-index, snapshot, truth-diff, quartet-plan, and original pytest witness boundaries.
Set 7 Demo Take Console Bundle imports Swift capture-console source bodies and exercises SwiftPM build, recording-state, helper-bridge, recorder-store, hotkey/audio-meter, and transcribe-payload boundaries.
Public generated-projection drift fixture: owner-routed checks fingerprint declared sources and artifacts, reuse clean result records only under matching hashes, and fail planted-byte or missing-artifact cases.
Public command-run singleflight fixture: content-addressed subprocess keys collapse duplicate active runs and replay captured result records without claiming scheduler or daemon authority.
Staged Engine Room component: synthetic SQLite metabolism runtime exercise for queues, leases, blackboard projection, and reconciliation.
Staged Engine Room component: pre-dispatch bridge-campaign DAG validator for typed nodes, acyclicity, synthesis reachability, and provider fan-out ceilings.
Public Engine Room component: sanitized reference router for structured fields, note relevance, domain filters, and no-match boundaries.
Public Engine Room component: registry-backed derived fact provider over JSON pointers, glob counts, git-backed callables, and provider error rows.
Public Engine Room component: phrase-membership egress gate for permission ceremony, self-error capture binding, and command-displacement evidence.
Public Engine Room component: bounded Lean proof-search lab for tiny fixture statements, oracle-firewall negatives, ablation, and axiom-cleanliness checks.
Public Engine Room component: route-packet benchmark evaluator for stable-id recall, precision, forbidden first routes, latency, and debt candidates.
The cold-clone probe validates the first public source-root bootstrap path: src import, secret-exclusion scan, first-wave pattern-binding fixture replay, public result record refs, and ignored local result record emission.
The first-screen composition root validates the public one-screen entry card, reader branches, omission result records, evidence accounting frame, text projection, README order, and scope limit without becoming launch or hosted-publishing-scope decision.
Set 7 Secondary Runtime Bundle imports runtime, graph, cartography, stockgrid, and Polymarket bodies and exercises their fixture-bound boundaries.
The public Microcosm axiom system routes readers from axiom doctrine to the read-only support-cover evaluator, routing registry, standard, tests, and result records without claiming proof, launch, or source-file changes.
Paper module detail projection (93)
An alternate richer view of paper modules with component and rule-feed links.
Paper module detail (93)
The public verifier-lab composition root folds bounded formal-math component result records into one leak-proof result record while separating verifier-backed, oracle-compared, provider-suggested, retrieval-miss, CP2, Evolve, and contract-rejected rows.
Links Verifier Lab Kernel Verifier Lab Kernel composes public formal math result records+20The public navigation route-plane fixture validates bounded route projections, source-coupling gates, entry floors, affordance passports, and copied navigation source-module digests without treating browse rows as authority.
Links Navigation Hologram Route Plane Navigation Hologram Route Plane validates public route plane bundle+20The public route-observability fixture validates synthetic route feedback, route leases, hook-shadow advisory rows, anti-pattern debt, copied source trace manifests, and metadata-only result records without claiming live session authority.
Links Agent Route Observability Runtime Agent Route Observability Runtime validates public route feedback+9The agent benchmark integrity anti-gaming replay validates copied public source pattern provenance bodies and metadata-only benchmark replay rows before any score-like language is allowed.
Links Agent Benchmark Integrity Anti Gaming Replay Agent Benchmark Integrity Anti Gaming Replay validates public benchmark integrity replay+5The research replication rubric-artifact replay validates source-backed public replication bundles before any paper-replication language is allowed.
Links Research Replication Rubric Artifact Replay Research Replication Rubric Artifact Replay validates public research replication replay+12The agentic vulnerability discovery patch-proof replay validates metadata-only synthetic vulnerability evidence chains before any found-and-fixed security language is allowed.
Links Agentic Vulnerability Discovery Patch Proof Replay Agentic Vulnerability Discovery Patch Proof Replay validates public agentic vulnerability patch proof replay+5The materials chemistry lab-safety replay validates metadata-only simulator-only closed-loop rows before any materials-lab or discovery language is allowed.
Links Materials Chemistry Closed Loop Lab Safety Replay Materials Chemistry Closed Loop Lab Safety Replay validates public materials lab safety replay+14The certificate kernel execution lab validates bounded public Lean/Lake certificate-kernel rows before any proof-adjacent claim is allowed.
Links Certificate Kernel Execution Lab Certificate Kernel Execution Lab validates public certificate kernel execution+4The corpus readiness Mathlib absence gate validates copied corpus/toolchain readiness bodies before any Mathlib-dependent proof or retrieval claim is allowed.
Links Corpus Readiness Mathlib Absence Gate Corpus Readiness Mathlib Absence Gate validates public corpus readiness boundary+5The public pattern-binding component validates pattern rows, source bundles, authority handles, exported system bundles, and route-readiness selector overlays while keeping mined rows component-first and fixture-bound.
Links Pattern Binding Contract Pattern Binding Contract validates public pattern bindings+19The public bridge-continuity fixture validates disk-first continuation packets, heartbeat/resource-pressure boundaries, resume-once semantics, worker-skip dedupe, tracked result record-write gates, and non-public-state exclusion without live bridge transport.
Links Bridge Phase Continuity Runtime Bridge Phase Continuity Runtime validates synthetic bridge continuity+17The public cognitive-operator registry fixture validates operator-shape rows, active-operator dogfood result records, anti-sprawl decisions, copied source registry/standard/tool bodies, and scope limits without becoming operator source authority.
Links Cognitive Operator Registry Cognitive Operator Registry validates public operator contract+17The public completion-faithfulness fixture checks commit, ledger-cap, and pytest-span claims with real git/pytest subprocess witnesses while refusing unchecked pass overclaims.
Links Agent Completion Faithfulness Audit Agent Completion Faithfulness Audit validates completion evidence claims+5The public cold-reader route-map fixture validates first-run command order, docs refs, result record refs, scope limits, copied cold-entry source-module digests, and non-public-state exclusion without becoming route registry control.
Links Cold Reader Route Map Cold Reader Route Map validates public first run route map+19The public proof-diagnostic evidence spine fixture validates Ring2 diagnostic result record refs, copied runtime artifact digests, provider/proof-body exclusions, stale-coupling visibility, and scope limits without becoming formal proof authority.
Links Proof Diagnostic Evidence Spine Proof Diagnostic Evidence Spine validates ring2 diagnostic evidence membrane+14The public proof-derived governed-mutation fixture validates synthetic mutation proposals through proof cells, visible pre-execution policy verdicts, logged side effects, rollback result records, cold replay, negative cases, and copied source internal control bodies without granting live mutation authority.
Links Proof Derived Governed Mutation Authorization Proof Derived Governed Mutation Authorization validates synthetic governed mutation authorization+5The public durable work-landing replay fixture validates recorded agent landing rows, copied source internal control source bodies, validation-before-commit ordering, HEAD-advance evidence, blocker capture, and work log completion without performing live Git work.
Links Durable Agent Work Landing Replay Durable Agent Work Landing Replay validates public work landing replay contract+9The public work-landing control spine validates copied work-landing internal control source bodies without authorizing live Git, ledger, claim-launch, private-index, public sharing, or launch operations.
Links Source Projection Import Protocol Source Projection Import Protocol validates public source projection imports+12The public executable-doctrine grammar fixture validates public standard rows, paper-module sections, negative cases, copied executable-grammar and standards/type-plane source-module bodies, and metadata-only result records without claiming doctrine completeness.
Links Executable Doctrine Grammar Executable Doctrine Grammar validates public doctrine grammar bundle+9The public source-projection import protocol validates classified source-to-Microcosm projection cells, per-slice source-module manifests, digest relations, omission result records, intake statuses, and scope limits without claiming source or launch-scope decision.
Links Source Projection Import Protocol Source Projection Import Protocol validates public source projection imports+12The public mission-transaction fixture validates work-landing, claim, dependency, scoped-commit, checkpoint-lane, result record-drain, completion, and copied control source-module contracts without mutating live ledgers or git.
Links Mission Transaction Work Spine Mission Transaction Work Spine validates public mission transaction bundle+5The public formal-math readiness gate validates declared corpus, tactic, premise, routing, provider-budget, source-module manifest, copied PROVER probe body, and negative-case boundaries without claiming Lean/Lake or proof authority.
Links Formal Math Readiness Gate Formal Math Readiness Gate validates public formal math readiness bundle+12The public Lean proof witness runs local Lean/Lake over a tiny synthetic project, validates copied public source-module digests and negative cases, and emits redacted result records without claiming general proof authority.
Links Formal Math Lean Proof Witness Formal Math Lean Proof Witness validates public lean lake witness+5The public verifier-trace repair fixture validates copied Ring2 failure taxonomy, graph-update, oracle-repair contrast rows, source-module digests, negative cases, and one deterministic toy rerun without claiming proof authority.
Links Formal Math Verifier Trace Repair Loop Formal Math Verifier Trace Repair Loop validates public verifier trace repair bundle+14The formal evidence cell anchor resolver binds proof-language paper claims to public evidence cells, source anchors, machine-anchor metadata, copied source modules, and negative-case result records without claiming formal-result correctness.
Links Formal Evidence Cell Anchor Resolver Formal Evidence Cell Anchor Resolver validates public evidence cell anchor resolution+12Formal math premise retrieval validates copied public Lean/Std premise metadata, query scoring, context budgets, strategy gates, body-floor provenance, and leakage negative cases without claiming proof authority.
Links Formal Math Premise Retrieval Formal Math Premise Retrieval validates public premise retrieval slice+12The Lean/Std premise index validates a copied public Lean/Std descriptor catalog plus Ring2 premise-retrieval source bodies without claiming proof, Mathlib, Lean/Lake, provider, launch, or theorem-correctness authority.
Links Lean Std Premise Index Lean Std Premise Index validates public lean std premise catalog+12The world-model projection drift control room validates public metadata-only projection-drift rows and copied source-module bodies without treating projections as source authority or repair authority.
Links World Model Projection Drift Control Room World Model Projection Drift Control Room validates public projection drift control boundary+17The 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 private-system equivalence.
Links Public Reveal Walkthrough Public Reveal Walkthrough validates public reveal walkthrough+18Terminal public coverage diagnostic: verifies every accepted component stays mapped to a standard, runtime contract, result record, and scope limit.
Links Standards Meta Diagnostics Standards Meta Diagnostics validates public standards meta diagnostics+9Forecast-evaluation component: Diebold-Mariano / Hansen-SPA / stationary-bootstrap stats over synthetic fixtures with typed refusal discipline; no market authority.
Links Finance Forecast Evaluation Spine Finance Forecast Evaluation Spine validates public finance forecast evaluation spine+4Composition component: verifies the 14 staged Engine Room jewel targets and their owned bundle surfaces through the public fixture chain; composition contract only.
Links Engine Room Demo Engine Room Demo validates public engine room demo+34Synthetic replay fixture for an agent-memory honesty contract: models scoped-preference episodes and checks temporal-conflict handling; no live memory product.
Links Agent Memory Temporal Conflict Replay Agent Memory Temporal Conflict Replay validates public memory conflict replay+6Synthetic regression drilldown for a monitor/redteam honesty contract; checks falsification handling, negative cases, non-public-state scan, scope limits.
Links Agent Monitor Redteam Falsification Replay Agent Monitor Redteam Falsification Replay validates public monitor verdict result records+5Drilldown regression contract for synthetic sabotage/scheming monitor claims: replays task episodes, action traces, monitor scores, counterfactual/cold replay.
Links Agent Sabotage Scheming Monitor Replay Agent Sabotage Scheming Monitor Replay validates public sabotage scheming monitor replay+5Validator-backed public refactor of source agent_execution_trace for sandbox/security: metadata-only trace spans, pre-exec policy verdicts, side-effect diffs
Links Agent Sandbox Policy Escape Replay Agent Sandbox Policy Escape Replay validates public sandbox policy trace+6Public projection of a belief-state process-reward claim contract, backed by the agent-execution trace refactor and copied source bodies.
Links Belief State Process Reward Replay Belief State Process Reward Replay validates public belief state process reward replay+5Synthetic replay fixture for a persistent-memory security contract: quarantine of poisoned memory, audit refs, rerun result records, negative cases, authority
Links Sleeper Memory Poisoning Quarantine Replay Sleeper Memory Poisoning Quarantine Replay validates public sleeper memory poisoning quarantine replay+7Validator-backed claim: a source-faithful trace refactor separated trusted instructions from untrusted web/tool/browser text before any privileged action.
Links Indirect Prompt Injection Information Flow Policy Replay Indirect Prompt Injection Information Flow Policy Replay validates public indirect prompt injection information flow policy replay+5Synthetic MCP-like replay fixture for a tool-authority claim contract: replay result records, negative cases, scope limits; no live MCP/provider/account secret
Links MCP Tool Authority Replay MCP Tool Authority Replay validates public mcp tool authority replay+5Environment-scoped tactic availability rows gate downstream tactic routing without becoming proof, benchmark, or launch-scope decision.
Links Tactic Portfolio Availability Probe Tactic Portfolio Availability Probe validates public tactic availability projection+15Pre-execution tactic routing admits or rejects tactics from target shape and probe evidence without proving the target.
Links Target Shape Tactic Routing Gate Target Shape Tactic Routing Gate validates public tactic routing boundary+17After-the-fact premise retrieval metrics separate retrieval misses from proof failures without becoming theorem authority.
Links Ring2 Premise Retrieval Precision Recall Harness Ring2 Premise Retrieval Precision Recall Harness validates public premise retrieval attribution+15Pre-oracle strategy hypotheses make the first proof-search move inspectable without claiming proof or provider authority.
Links Mathematical Strategy Atlas Hypothesis Scorer Mathematical Strategy Atlas Hypothesis Scorer validates public strategy hypothesis projection+16Bounded public verifier execution result records witness command execution without upgrading output into theorem authority.
Links Verifier Lab Execution Spine Verifier Lab Execution Spine validates public verifier transition witness+16Bounded autonomy campaign packets propose guarded agent work without authorizing source-file changes or unsupervised repair.
Links Bounded Autonomy Campaign Packet Bounded Autonomy Campaign Packet validates public bounded autonomy campaign packet+17Validator-backed public replay for synthetic computer-use action traces under the route-observability runtime.
Links Agent Route Observability Runtime Agent Route Observability Runtime validates public route feedback+6Concurrency Mission Control validates metadata-only coordination result records without becoming a live scheduler or production concurrency proof.
Links Concurrency Mission Control Concurrency Mission Control validates public concurrency mission control+13Doctrine Fact Claim Audit rejects wrong fact counts and dead anchors without claiming comprehension or route completeness.
Links Doctrine Fact Claim Audit Doctrine Fact Claim Audit validates public doctrine fact claim audit+12Self-Ignorance Coverage Ledger counts known coverage debt while refusing unknown-unknown or absence-proof claims.
Links Self Ignorance Coverage Ledger Self Ignorance Coverage Ledger validates public self ignorance coverage ledger+12Tool Server Pressure Inventory validates public pressure-inventory fixtures without reading or mutating live host process state.
Links Tool Server Pressure Inventory Tool Server Pressure Inventory validates public tool server pressure inventory+12Mechanistic interpretability replay validates public circuit-attribution result record contracts without live model access or private activation export.
Links Mechanistic Interpretability Circuit Attribution Replay Mechanistic Interpretability Circuit Attribution Replay validates public mechanistic interpretability circuit attribution replay+12Spatial world-model replay validates synthetic counterfactual metadata without robot operation, simulator product claims, or real-world accuracy claims.
Links Spatial World Model Counterfactual Simulation Replay Spatial World Model Counterfactual Simulation Replay validates public spatial world model counterfactual simulation replay+17Prediction Oracle Reconciliation exercises synthetic forecast reconciliation gates without forecasting, trading, provider, or live-market authority.
Links Prediction Oracle Reconciliation Prediction Oracle Reconciliation validates public prediction oracle reconciliation+12Provider Context Recipe Budget validates context-budget projection mechanics without authorizing external model access or truth-side material.
Links Provider Context Recipe Budget Policy Provider Context Recipe Budget Policy validates public context budget boundary+16Undeclared Library Prior Classifier scores extracted Lean symbol observations against an allowed premise set without running Lean or treating libraries as implicit allowlists.
Links Undeclared Library Prior Symbol Classifier Undeclared Library Prior Symbol Classifier validates public symbol boundary+16Voice to Doctrine Self-Improvement Loop validates lesson propagation without exporting source notes or granting doctrine mutation authority.
Links Voice To Doctrine Self Improvement Loop Voice To Doctrine Self Improvement Loop validates public voice to doctrine self improvement loop+13Routing Anti-Patterns Registry validates public anti-pattern registry rows without becoming route source authority or mutating routes.
Links Routing Anti Patterns Registry Routing Anti Patterns Registry validates public routing anti patterns registry+19Set 8 Audio Level RMS Port validates deterministic RMS math parity over public synthetic samples without audio capture, microphone permission, or UI readiness authority.
Links Audio Level RMS Port Audio Level RMS Port validates public audio level rms port+16Set 8 Compliance Pipeline Bundle validates copied compliance scanner and observe-pipeline mechanics without refreshing the full ledger or dispatching bridge/provider work.
Links Compliance Pipeline Bundle Compliance Pipeline Bundle validates public compliance pipeline bundle+20Set 8 Policy Engines Bundle validates three deterministic public policy-engine exercises without running campaigns, providers, markets, or repository mutations.
Links Policy Engines Bundle Policy Engines Bundle validates public policy engines bundle+18Set 8 Structural Theses Bundle validates public synthetic thesis-family replay without financial decisions, live-market validation, external model access, or portfolio authority.
Links Structural Theses Finance Bundle Structural Theses Finance Bundle validates public structural theses bundle+17Set 8 Tools-Tail Primitives Bundle validates four public tools-tail primitive exercises without Oracle truth, external model access, live bridge work, or repository mutation authority.
Links Tools-Tail Primitives Bundle Tools-Tail Primitives Bundle validates public tools tail primitives bundle+17Set 8 Validator Checker Bundle validates selected public checker groups without becoming launch-scope decision or a complete validator-suite proof.
Links Validator Checker Bundle Validator Checker Bundle validates public validator checker bundle+19Set 12 Market Dashboard Read-Model Bundle validates copied read-model helpers over public fixtures without market-level conclusions, external model access, or launch-scope decision.
Links Market Dashboard Read-Model Bundle Market Dashboard Read-Model Bundle validates public market dashboard read model bundle+11Set 12 Prediction Market Board Bundle validates copied prediction-board and quant-mart diagnostics over public fixtures without market-level conclusions or provider authority.
Links Prediction Market Board Bundle Prediction Market Board Bundle validates public prediction market board bundle+12Set 12 launch claim-Language Gate checks public claim language against result record-backed scope limits without approving launch or public sharing.
Links launch Public Wording Gate launch Public Wording Gate validates public launch claim language gate+12Set 10 Cold Eval Honesty Bundle runs cold-eval over public fixtures without benchmark, navigation-truth, or launch-scope decision.
Links Cold Evaluation Honesty Bundle Cold Evaluation Honesty Bundle validates public cold eval honesty bundle+12Set 10 Live Source Drift Bundle validates copied current internal control source bodies without route, ledger-mutation, or launch-scope decision.
Links Live Source Drift Bundle Live Source Drift Bundle validates public live source drift bundle+12Set 7 Source Engines Bundle imports source engine bodies and exercises trace, graph, scheduling, source-index, patch, numeric, rank, and regression-selection invariants.
Links Trace, Code-Map & Scheduling Engines Bundle Trace, Code-Map & Scheduling Engines Bundle validates public source engines bundle+12Set 9 Source Engines Bundle imports backend and governance source-engine bodies and exercises provenance, approval, AST, finance-news, mission graph, dependency, config, edge, WorkAtlas, host-pressure, doctrine-enrichment, worker-budget, and milestone-quality invariants.
Links Backend & Governance Engines Bundle Backend & Governance Engines Bundle validates public source engines bundle+12Pattern Assimilation validates public completion-learning metadata, owner-routed refinement result records, typed nothing-to-refine decisions, and copied body-import manifests without promoting local lessons into global doctrine.
Links Pattern Assimilation Step Pattern Assimilation Step validates public pattern assimilation step+23Set 10 Governance And Compilers Bundle imports governance, compiler, launch, finance, dependency, DAG, table, reference, and recent-change source bodies as public source-open evidence without granting live ledger, public sharing, launch, market, or source-file changes.
Links Governance & Compiler Mechanisms Bundle Governance & Compiler Mechanisms Bundle validates public governance compilers bundle+12Set 11 Saturation Engines Bundle imports saturation, diagnostic, wayfinding, market-board, secret-scan, and demo-take source bodies as public source-open evidence without granting live runtime, launch, market, or navigation authority.
Links Saturation Engines Bundle Saturation Engines Bundle validates public saturation engines bundle+13Set 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.
Links Proof / Control / Runtime Import Bundle Proof / Control / Runtime Import Bundle validates public proof authority runtime bundle+14Set 6 Unsurfaced Primitives Bundle imports provenance, operator-handoff, market, finance, provider-recovery, and demo-take source primitives as public source-open evidence without granting live operator memory, market, provider, media, public sharing, or launch-scope decision.
Links Unsurfaced Source Primitives Bundle Unsurfaced Source Primitives Bundle validates public unsurfaced primitives bundle+13The Engine Room public projection leak gate validates rendered public projection roots for account secret-shaped strings, non-public paths shapes, symlink escapes, policy-exception handling, and optional gitleaks status while keeping findings hash-only.
Links validates public projection leak gate Recompute, do not echo Lower claim strength to checker strength+11Set 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.
Links Authority Systems Source Bundle Authority Systems Source Bundle validates public authority systems bundle+10Set 7 Oracle Sibling Bundle imports Oracle sibling source bodies and exercises deterministic subject-index, snapshot, truth-diff, quartet-plan, and original pytest witness boundaries.
Links validates public oracle sibling bundle Lower claim strength to checker strength Cache by content, not by name+8Set 7 Demo Take Console Bundle imports Swift capture-console source bodies and exercises SwiftPM build, recording-state, helper-bridge, recorder-store, hotkey/audio-meter, and transcribe-payload boundaries.
Links validates public demo take console bundle Lower claim strength to checker strength Cache by content, not by name+8Public generated-projection drift fixture: owner-routed checks fingerprint declared sources and artifacts, reuse clean result records only under matching hashes, and fail planted-byte or missing-artifact cases.
Links validates public generated projection drift gate Lower claim strength to checker strength Cache by content, not by name+8Public command-run singleflight fixture: content-addressed subprocess keys collapse duplicate active runs and replay captured result records without claiming scheduler or daemon authority.
Links validates public command run singleflight Recompute, do not echo Lower claim strength to checker strength+11Staged Engine Room component: synthetic SQLite metabolism runtime exercise for queues, leases, blackboard projection, and reconciliation.
Links validates public engine room demo Recompute, do not echo Lower claim strength to checker strength+10Staged Engine Room component: pre-dispatch bridge-campaign DAG validator for typed nodes, acyclicity, synthesis reachability, and provider fan-out ceilings.
Links validates public engine room demo Recompute, do not echo Lower claim strength to checker strength+10Public Engine Room component: sanitized reference router for structured fields, note relevance, domain filters, and no-match boundaries.
Links validates public reference knowledge router Recompute, do not echo Lower claim strength to checker strength+11Public Engine Room component: registry-backed derived fact provider over JSON pointers, glob counts, git-backed callables, and provider error rows.
Links validates public derived fact provider engine Recompute, do not echo Lower claim strength to checker strength+14Public Engine Room component: phrase-membership egress gate for permission ceremony, self-error capture binding, and command-displacement evidence.
Links validates public egress self compliance gate Recompute, do not echo Lower claim strength to checker strength+14Public Engine Room component: bounded Lean proof-search lab for tiny fixture statements, oracle-firewall negatives, ablation, and axiom-cleanliness checks.
Links validates public lean proof search lab Recompute, do not echo Lower claim strength to checker strength+15Public Engine Room component: route-packet benchmark evaluator for stable-id recall, precision, forbidden first routes, latency, and debt candidates.
Links validates public navigation fitness benchmark Recompute, do not echo Lower claim strength to checker strength+16The cold-clone probe validates the first public source-root bootstrap path: src import, secret-exclusion scan, first-wave pattern-binding fixture replay, public result record refs, and ignored local result record emission.
Links validates public source root bootstrap Recompute, do not echo Lower claim strength to checker strength+15The first-screen composition root validates the public one-screen entry card, reader branches, omission result records, evidence accounting frame, text projection, README order, and scope limit without becoming launch or hosted-publishing-scope decision.
Links validates public first screen composition root Recompute, do not echo Lower claim strength to checker strength+15Set 7 Secondary Runtime Bundle imports runtime, graph, cartography, stockgrid, and Polymarket bodies and exercises their fixture-bound boundaries.
Links Secondary Runtime Source Bundle Secondary Runtime Source Bundle validates public secondary runtime bundle+10The public Microcosm axiom system routes readers from axiom doctrine to the read-only support-cover evaluator, routing registry, standard, tests, and result records without claiming proof, launch, or source-file changes.
Links validates public axiom support boundary Recompute, do not echo Lower claim strength to checker strength+12