Human architecture, contracts, operations, and recorded evidence. Current interface guides and historical proof/qualification archives have different roles.
| File | Role |
|---|---|
| web-tools.md | Search setup, native source reading, rendering, permissions and limits. |
| README.md | Human guide and operating/background notes for this folder; AGENTS.md provides the local navigation map. |
| a3-app-protocol.md | Document: A3 application protocol guide. |
| b3-protocol-refinements.md | Document: B3 protocol refinement discharge. |
| benchmark-integrity-appendix.md | Document: Benchmark integrity appendix. |
| c0-durable-state.md | Document: C0 durable state. |
| c1-workspaces.md | Document: C1 Git, workspace, and patch boundary. |
| c2-process-sandbox.md | Document: C2 process and sandbox backplane. |
| c3-platform-security.md | Document: C3 platform security backends. |
| c4-tool-system.md | Document: C4 tool system. |
| c5-model-providers.md | Document: C5 model providers. |
| c6-context-memory.md | Document: C6 context and memory. |
| c7-trace-telemetry.md | Document: C7 trace and telemetry operations. |
| computer-automation.md | Document: Computer automation. |
| d0-agent-loop.md | Document: D0 agent loop. |
| d1-gate-engine.md | Document: D1 gate engine. |
| d2-review-engine.md | Document: D2 review engine. |
| d3-scheduler-collaboration.md | Document: D3 scheduler and collaboration. |
| daily-driving-limiters-audit.md | Document: Daily-driving limiter findings. |
| e0-actor-orchestrator.md | Document: E0 AcTor delivery orchestrator. |
| e1-harness-materialization.md | Document: E1 harness materialization. |
| e2-debugger.md | Document: E2 debugger. |
| e3-evaluation.md | Document: E3 evaluation. |
| f0-evolution.md | Document: F0 production harness evolution. |
| file-size-limit-repairs.md | Document: File, attachment, artifact, and workspace size limits. |
| formal-coverage-audit.md | Document: Production formal verification work record. |
| formal-coverage-checkpoint.md | Document: Formal verification stabilization checkpoint. |
| formal-coverage-inventory.json | Structured formal coverage inventory data with fields current_source_sha256, limits, packages, registers, schema. |
| formal-foundation.md | Document: Formal foundation. |
| formal-governance-ruleset.template.json | Structured formal governance ruleset.template data with fields name, target, enforcement, bypass_actors, conditions. |
| formal-method-mapping-fix.md | Document: Proof-scope method ownership repair. |
| formal-proof-impact-reconciliation.md | Document: Proof-impact reconciliation checkpoint and qualification procedure. |
| formal-scheduler-gap3.md | Document: GAP-03 scheduler production proofs. |
| foundation-toolchain.md | Document: Foundation toolchain policy. |
| g0-daemon.md | Document: G0 daemon and application composition. |
| g0-recovery-runbook.md | Document: G0 recovery runbook. |
| g0-shutdown-runbook.md | Document: G0 shutdown runbook. |
| g1-cli.md | Document: G1 Scriptable CLI. |
| g2-tui.md | Document: G2 Interactive TUI. |
| g3-extensions.md | Document: G3 Extensions and MCP. |
| g4-product-experience.md | Document: G4 product experience. |
| github-governance.md | Document: GitHub Gate A governance. |
| h0-security-qualification.md | Document: H0 security qualification. |
| h1-resilience-qualification.md | Document: H1 resilience qualification. |
| h2-platform-qualification.md | Document: H2 platform qualification and packaging. |
| h3-performance-qualification.md | Document: H3 performance qualification. |
| h4-release-policy.md | Document: H4 verified release policy. |
| h4-release-qualification.md | Document: H4 release qualification. |
| harness-improvements.md | Document: Harness improvement inbox. |
| local-working-memory.md | Document: Local working memory. |
| minimum-repair.md | Document: Minimum repair. |
| navigation-map.md | Navigation documentation scope, directory coverage, maintenance guidance, and complete waypoint index. |
| openai-codex-runtime-bridge-repair.md | Document: OpenAI Codex runtime bridge repair. |
| professional-harness-capability-audit.md | Document: Professional coding-harness capability audit. |
| provider-contracts.md | Document: Hosted provider contracts. |
| release-migration-recovery.md | Document: Release migration, backup, restore, and rollback. |
| rsi-native-operations.md | Document: Native candidate evaluation and evolution. |
| slash-command-qa-2026-09-08.md | Document: Interactive slash-command audit — 2026-09-08. |
| test-conformance-foundation.md | Document: Test and conformance foundation. |
| Folder | Role / next waypoint |
|---|---|
| formal-coverage-evidence/ | Historical formal/qualification evidence archive. Files record earlier runs and reviews; they are not a current testing mandate or proof of this checkout. |
| formal-scheduler-gap3/ | Historical scheduler design/analysis and retained GAP-03 evidence; use current scheduler source for executable behavior. |
| releases/ | Release-specific human notes; each version records changes and delivery context, rather than current runtime state. |
| testing/ | Real-interface campaign reports and reproducible defects. These document observed behavior and its limits; they are not runtime modules. |
Start with README.md, then follow implementation links before treating a design, contract, or operations note as current behavior. Keep historical evidence, proposed architecture, and live user guidance visibly distinct, and update cross-references when ownership moves.
Navigation: Parent waypoint · Repository map.
Keep this waypoint aligned when local files or child responsibilities change. Descriptions are orientation, not a substitute for reading the current implementation.