Table of Contents
The outer system boundary is four cooperating surfaces:
-
native proof path
-
live workspace path
-
durable cognition path
-
adapter/oracle diagnostics path
Context map
| Surface | Responsibility |
|---|---|
Proof path |
bundle planning, rendering, manifests, verification, extraction |
Live workspace |
MCP tools, scoped repository inspection, audit-backed mutation policy |
Durable cognition |
governed notes, backlinks, code links, cognition review |
Oracle diagnostics |
reference-oracle capability inspection, parity diagnostics, migration checks |
The adapter/oracle seam is intentionally outside the shipped proof path. It exists to compare, inspect, and diagnose, not to carry routine operator workflows.