docs(board): DISCOVERY-MAP and EPIPHANIES frozen; new entries go to Linear

.claude/AGENTS.md

@@ -113,7 +113,9 @@ segment under an existing prefix.
 
 ## EPIPHANIES log
 
-Append-only findings log at `.claude/board/EPIPHANIES.md`. Conventions:
+Findings log at `.claude/board/EPIPHANIES.md`, frozen 2026-11-06 as the
+historical record. New findings go to Linear `P-EXO-16` (title
+`EPIPHANY: E-<NAME>-<n> — <claim>`). Conventions for the existing file:
 
 - **Newest at top.** Always.
 - **Each entry**: `## YYYY-MM-DD — short headline` + `**Status:**` line

.claude/VISION.md

@@ -196,7 +196,8 @@ When in doubt: read principle 1 again.
 - `docs/ARCHITECTURE.md` — the longer architectural writeup
 - `.claude/PLAN.md` — meticulous sprint-by-sprint roadmap
 - `.claude/AGENTS.md` — extension rules + producer/consumer contract
-- `.claude/board/EPIPHANIES.md` — append-only findings log
+- `.claude/board/EPIPHANIES.md` — findings log, frozen 2026-11-06; new
+  findings go to Linear `P-EXO-16`
 - `vocab/ogar.ttl` — the canonical Turtle/RDF vocabulary
 - `vocab/ogar.surql` — the SurrealQL DDL projection
 - `crates/ogar-vocab/` — the canonical Rust IR types

.claude/agents/doctrine-keeper.md

@@ -19,6 +19,9 @@ leaves the canon saying two things at once. Your job is to find every mirror.
 3. Check for divergence: does the same token carry different grades or claims at
    different sites? Does a cross-ref point at a doc/section that does not exist on
    this branch (a cross-PR dependency)?
+4. `DISCOVERY-MAP.md` is frozen as of 2026-11-06. Discoveries filed since then live
+   in Linear project `P-EXO-15` (titles `DISCOVERY: D-<NAME> — <claim>`); check
+   there too, or the audit is incomplete.
 
 ## Output contract
 - A table: `file:line` → grade → claim → cross-refs, for every occurrence.

.claude/agents/runtime-archaeologist.md

@@ -12,7 +12,8 @@ the verdict with `file:line`.
 ## Method
 1. Read the local repository — `docs/` (especially `DISCOVERY-MAP.md` §4.1 runtime
    receipts, `ARCHITECTURAL-DECISIONS-*.md`, `THE-FIREWALL.md`, `SUBSTRATE-ENDGAME.md`)
-   and `crates/`.
+   and `crates/`. `DISCOVERY-MAP.md` is frozen as of 2026-11-06; discoveries since
+   then live in Linear project `P-EXO-15` and must be checked there too.
 2. Use the `Grep` and `Glob` **tools** (never Bash `grep`/`sed`/`tail`/`head`) to
    locate the symbol / receipt that would ground the claim.
 3. If the relevant runtime lives in a repo **not** checked out locally (e.g.

.claude/board/EPIPHANIES.md

@@ -4,6 +4,12 @@
 > `**Status:**` line (FINDING / CONJECTURE / FRAMING / SUPERSEDED /
 > RULING). Only the Status line is mutable — body and date are immutable.
 > Corrections append as new dated entries citing the original.
+>
+> **FROZEN 2026-11-06.** This file is now the historical record. Shared
+> append-only ledgers conflicted in every concurrent session, so new
+> epiphanies are filed in Linear project **OGAR · Epiphanies** (`P-EXO-16`),
+> titled `EPIPHANY: E-<NAME>-<n> — <claim>`. Existing entries stay here
+> unchanged and are cited by id.
 
 ---
 

.claude/board/LATEST_STATE.md

@@ -6,7 +6,9 @@
 > classid domain is minted, or queued work lands/changes. It does **not**
 > replace `docs/DISCOVERY-MAP.md` (the graded discovery ledger — *what was
 > found*) or `docs/INTEGRATION-MAP.md` (the composition map — *how it
-> composes*); those stay the deep, append-only record. This file is the
+> composes*); those stay the deep record. As of 2026-11-06 DISCOVERY-MAP is
+> frozen (historical record, still citable by id) and new discovery entries
+> go to Linear `P-EXO-15`. This file is the
 > five-second version: the crate inventory, the classid domain map, and
 > what is actively queued. When in doubt about a claim here, the two docs
 > above (or the source under `crates/`) are the authority — this is an

CLAUDE.md

@@ -192,8 +192,9 @@ alignment costs. Until measured: 3×4 stands.
 
 ## Doc family (read in this order)
 
-1. `docs/DISCOVERY-MAP.md` — the discovery ledger (D-* entries, graded
-   `[G]`/`[H]`/`[S]`, append-only).
+1. `docs/DISCOVERY-MAP.md` — the frozen record of D-* discoveries (graded
+   `[G]`/`[H]`/`[S]`) up to 2026-11-06. New discoveries go to Linear
+   `P-EXO-15`; the file stays citable by id.
 2. `docs/INTEGRATION-MAP.md` — layers, seams (each with its contract
    TYPE), the phase DAG, falsification gates F1–F14.
 3. `docs/INTEGRATION-TEST-PLAN.md` — the probe-first execution
@@ -314,3 +315,12 @@ alignment costs. Until measured: 3×4 stands.
   repo's `PreToolUse` guard.
 - **Append-only canon:** never delete a ledger entry; regrade in place;
   corrections cite their pass (savant / G-pass / canon-pass).
+
+> ⊘ SUPERSEDED 2026-11-06 (for new entries): the repo ledgers
+> (`docs/DISCOVERY-MAP.md`, `.claude/board/EPIPHANIES.md`) are frozen as the
+> historical record; the rule above still governs them and every D-… / E-…
+> id stays citable. New entries go to Linear: discoveries `P-EXO-15`,
+> epiphanies `P-EXO-16`, decisions/ADRs/rulings `P-EXO-14`. Agent
+> coordination (briefs, hand-backs, blockers) goes to the A2A board
+> `P-EXO-13`. Tiers: Opus plans and runs every cargo/git command, Sonnet
+> drafts from a complete brief, Haiku does read-only grindwork.

docs/DISCOVERY-MAP.md

@@ -1,5 +1,12 @@
 # Discovery Map — the shape‑preserving index
 
+> **FROZEN 2026-11-06.** This file is now the historical record. Shared
+> append-only ledgers conflicted in every concurrent session, so new
+> discoveries are filed in Linear project **OGAR · Discovery Map**
+> (`P-EXO-15`), one issue per discovery, titled
+> `DISCOVERY: D-<NAME> — <claim>`. Existing entries stay here unchanged and
+> are cited by id. Nothing is deleted, rewritten or migrated.
+
 > **Purpose.** A single append‑only index of every discovery, idea, and
 > decision in the substrate arc — each with its **grade**, **materialization
 > status**, **home**, and **dependencies** — so the *shape* (the connections
@@ -520,6 +527,14 @@ isolation. The map's job is to keep them visible.
    the audit log it documents (ADR‑008/013). If that feels recursive, it
    is — and that's the tell that the shape is intact.
 
+> ⊘ SUPERSEDED 2026-11-06 (for new entries only): rules 1–5 above still
+> govern the entries in this file. New discoveries follow the Linear rules
+> instead: one issue per discovery in `P-EXO-15`, title
+> `DISCOVERY: D-<NAME> — <claim>`, grade/status/home as labels or fields,
+> dependencies as Linear relations (blocked-by / related). A regrade is a
+> status or label change plus a comment citing the pass; the claim text is
+> never rewritten.
+
 ---
 
 ## 7. Cross‑references

docs/INTEGRATION-MAP.md

@@ -470,3 +470,7 @@ honestly — `[S]` stays `[S]` until a measurement; this map points, never
 re-derives; the map mirrors the substrate). Plus one of its own:
 **every seam row must name its contract TYPE** — a seam described only
 in prose is a seam that will fork.
+
+> ⊘ SUPERSEDED 2026-11-06: `DISCOVERY-MAP.md` is frozen; new discoveries
+> are filed in Linear `P-EXO-15`. Those five rules apply to the entries
+> already in that file; new entries follow the Linear rules noted in its §6.

docs/INTEGRATION-TEST-PLAN.md

@@ -48,7 +48,8 @@ all waves until fixed and never counts as an acceptable quorum
 casualty. Of the remaining six, ≥4 green → proceed. **General rule: a
 probe that is a PREREQUISITE of later bricks is a mandatory pass, never
 a quorum member.** J3 resolved either way. Any red is a *result* —
-recorded in DISCOVERY-MAP, grade moved, prose corrected (the D-EXCITON
+recorded in DISCOVERY-MAP (for entries filed in Linear `P-EXO-15`, on
+that discovery issue), grade moved, prose corrected (the D-EXCITON
 pattern: revert with reasons, keep the `[G]`-real legs).
 
 **First receipt already in (2026-06-10):** the HILBERT-L4 question was
@@ -110,7 +111,10 @@ route-by-prefix, X5/X6) → F14/X7 wide-model render after B.
    condition is met or its reds are *recorded as results*).
 2. **Every red is a ledger event** — grade moves in DISCOVERY-MAP the
    same day (the D-EXCITON revert is the template: keep `[G]`-real
-   legs, strike the dead analogy, name the survivor).
+   legs, strike the dead analogy, name the survivor). Since 2026-11-06
+   the grade move happens on the Linear discovery issue (`P-EXO-15`) for
+   entries filed there; entries already in the file are regraded in
+   place as before.
 3. **Thresholds are measured, never optimism** (PP-13 P0-2/P0-3:
    placeholder thresholds must not gate; relative tolerances for
    spectral claims).