From 6b4bdcba4ee400d9412fa09da204324abec61e40 Mon Sep 17 00:00:00 2001 From: Claude Date: Fri, 6 Nov 2026 15:33:43 +0000 Subject: [PATCH] docs(board): DISCOVERY-MAP and EPIPHANIES frozen; new entries go to Linear MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Shared append-only ledgers conflicted in every concurrent session. Both files stay as the historical record (no entry changed; every D-/E- id stays citable) and carry a freeze notice. New discoveries go to Linear OGAR · Discovery Map (P-EXO-15), new epiphanies to OGAR · Epiphanies (P-EXO-16), kept separate; decisions to P-EXO-14; agent coordination to the A2A board P-EXO-13. CLAUDE.md, AGENTS.md, VISION.md, INTEGRATION-MAP §10, INTEGRATION-TEST-PLAN, LATEST_STATE and the doctrine-keeper / runtime-archaeologist cards are redirected. Decision: Linear EXO-187. Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_01XAqKMM44PgMCtYoqx6XYnh --- .claude/AGENTS.md | 4 +++- .claude/VISION.md | 3 ++- .claude/agents/doctrine-keeper.md | 3 +++ .claude/agents/runtime-archaeologist.md | 3 ++- .claude/board/EPIPHANIES.md | 6 ++++++ .claude/board/LATEST_STATE.md | 4 +++- CLAUDE.md | 14 ++++++++++++-- docs/DISCOVERY-MAP.md | 15 +++++++++++++++ docs/INTEGRATION-MAP.md | 4 ++++ docs/INTEGRATION-TEST-PLAN.md | 8 ++++++-- 10 files changed, 56 insertions(+), 8 deletions(-) diff --git a/.claude/AGENTS.md b/.claude/AGENTS.md index 461187ae..9f3ed3e0 100644 --- a/.claude/AGENTS.md +++ b/.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-- — `). Conventions for the existing file: - **Newest at top.** Always. - **Each entry**: `## YYYY-MM-DD — short headline` + `**Status:**` line diff --git a/.claude/VISION.md b/.claude/VISION.md index 3637e7fd..b7c7acd1 100644 --- a/.claude/VISION.md +++ b/.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 diff --git a/.claude/agents/doctrine-keeper.md b/.claude/agents/doctrine-keeper.md index 50ec989e..4a39f152 100644 --- a/.claude/agents/doctrine-keeper.md +++ b/.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- — `); check + there too, or the audit is incomplete. ## Output contract - A table: `file:line` → grade → claim → cross-refs, for every occurrence. diff --git a/.claude/agents/runtime-archaeologist.md b/.claude/agents/runtime-archaeologist.md index 17834ebe..3c1b5b4a 100644 --- a/.claude/agents/runtime-archaeologist.md +++ b/.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. diff --git a/.claude/board/EPIPHANIES.md b/.claude/board/EPIPHANIES.md index 6a8b056f..a30ae7cd 100644 --- a/.claude/board/EPIPHANIES.md +++ b/.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-- — `. Existing entries stay here +> unchanged and are cited by id. --- diff --git a/.claude/board/LATEST_STATE.md b/.claude/board/LATEST_STATE.md index 994eebf1..d40f9eed 100644 --- a/.claude/board/LATEST_STATE.md +++ b/.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 diff --git a/CLAUDE.md b/CLAUDE.md index 735c20d8..261201e8 100644 --- a/CLAUDE.md +++ b/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. diff --git a/docs/DISCOVERY-MAP.md b/docs/DISCOVERY-MAP.md index ce98ae4f..496b4cfc 100644 --- a/docs/DISCOVERY-MAP.md +++ b/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- — `. 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- — `, 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 diff --git a/docs/INTEGRATION-MAP.md b/docs/INTEGRATION-MAP.md index 1843f8e2..4773f1c7 100644 --- a/docs/INTEGRATION-MAP.md +++ b/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. diff --git a/docs/INTEGRATION-TEST-PLAN.md b/docs/INTEGRATION-TEST-PLAN.md index f153156c..f86a0e15 100644 --- a/docs/INTEGRATION-TEST-PLAN.md +++ b/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).