From 68732ffd5a5b97fd0de0e4aeaf6e14fd75df9d9b Mon Sep 17 00:00:00 2001 From: Aaron Stainback Date: Thu, 14 May 2026 20:13:14 -0400 Subject: [PATCH 1/4] chore(b-0139): decompose MEMORY.md backfill into B-0527 --- ...ra-otto-work-inventory-aaron-2026-05-01.md | 2 +- ...ory-md-backfill-pre-substrate-kenji-era.md | 27 +++++++++++++++++++ 2 files changed, 28 insertions(+), 1 deletion(-) create mode 100644 docs/backlog/P1/B-0527-memory-md-backfill-pre-substrate-kenji-era.md diff --git a/docs/backlog/P1/B-0139-pre-substrate-kenji-era-otto-work-inventory-aaron-2026-05-01.md b/docs/backlog/P1/B-0139-pre-substrate-kenji-era-otto-work-inventory-aaron-2026-05-01.md index f3db65567..32274dfa3 100644 --- a/docs/backlog/P1/B-0139-pre-substrate-kenji-era-otto-work-inventory-aaron-2026-05-01.md +++ b/docs/backlog/P1/B-0139-pre-substrate-kenji-era-otto-work-inventory-aaron-2026-05-01.md @@ -73,7 +73,7 @@ Composes with task #321 (Recovery lane — branch/worktree/stash inventory + cla ## Status -**In progress.** First slice landed: `tools/hygiene/audit-formal-artifacts.ts` — a TS script (Rule 0 compliant) that catalogs all formal verification artifacts (Lean4, TLA+, Z3, Alloy, formal tests) and cross-references each against docs/ for substrate-status. Finds 30 artifacts (4295 lines); 24 referenced in substrate, 6 unreferenced TLA+ specs (`AsyncStreamEnumerator.tla`, `BftConsensus.tla`, `ChaosEnvDeterminism.tla`, `ConsistentHashRebalance.tla`, `FeatureFlagsResolution.tla`, `InfoTheoreticSharder.tla`). Remaining slices: F# src/Core/ artifact inventory, docs/research/ cross-reference audit, branch/worktree content inventory, MEMORY.md backfill. +**In progress.** First slice landed: `tools/hygiene/audit-formal-artifacts.ts` — a TS script (Rule 0 compliant) that catalogs all formal verification artifacts (Lean4, TLA+, Z3, Alloy, formal tests) and cross-references each against docs/ for substrate-status. Finds 30 artifacts (4295 lines); 24 referenced in substrate, 6 unreferenced TLA+ specs (`AsyncStreamEnumerator.tla`, `BftConsensus.tla`, `ChaosEnvDeterminism.tla`, `ConsistentHashRebalance.tla`, `FeatureFlagsResolution.tla`, `InfoTheoreticSharder.tla`). Remaining slices: docs/research/ cross-reference audit, branch/worktree content inventory, MEMORY.md backfill (decomposed to B-0527). ## Verify-before-deferring note diff --git a/docs/backlog/P1/B-0527-memory-md-backfill-pre-substrate-kenji-era.md b/docs/backlog/P1/B-0527-memory-md-backfill-pre-substrate-kenji-era.md new file mode 100644 index 000000000..cc3531463 --- /dev/null +++ b/docs/backlog/P1/B-0527-memory-md-backfill-pre-substrate-kenji-era.md @@ -0,0 +1,27 @@ +--- +id: B-0527 +priority: P1 +status: not-started +title: MEMORY.md backfill for pre-substrate Kenji-era artifacts (B-0139 decomposition) +created: 2026-05-14 +depends_on: [B-0522, B-0523, B-0526] +type: friction-reducer +decomposition: atomic +--- + +# B-0527 — MEMORY.md backfill for Kenji-era artifacts + +**Priority:** P1 +**Filed:** 2026-05-14 +**Filed by:** Lior (decomposed from B-0139 blob) + +## What + +This is a specific atomic slice decomposed from B-0139. Perform the `MEMORY.md` backfill for any artifact identified during the pre-substrate Kenji-era work inventory whose substrate-reference doesn't currently exist. + +This composes with task #291 (MEMORY.md index audit + backfill). It relies on the artifacts identified by B-0522 (F# src/Core inventory), B-0523 (docs/research cross-reference audit), and B-0526 (branch/worktree content inventory). + +## Acceptance Criteria + +1. Every identified pre-substrate Kenji-era artifact (from B-0522, B-0523, B-0526) without a substrate reference has an appropriate pointer added to `MEMORY.md` (or the relevant persona memory index). +2. The backfill respects the memory pruning/compression guidelines. From a68de6f1a997599aff06020a1d2690c70d4ddd1a Mon Sep 17 00:00:00 2001 From: Aaron Stainback Date: Thu, 14 May 2026 20:23:45 -0400 Subject: [PATCH 2/4] fix(b-0527): frontmatter corrections + add to B-0139 children + BACKLOG.md - Change status from not-started to open (matches documented values) - Add parent: B-0139 field for decomposition tracking - Add last_updated: 2026-05-14 - Remove B-0526 from depends_on (parallel sibling, not a prerequisite) - Add B-0527 to B-0139 children list - Add B-0527 entry to docs/BACKLOG.md P1 section Co-Authored-By: Claude --- docs/BACKLOG.md | 1 + ...strate-kenji-era-otto-work-inventory-aaron-2026-05-01.md | 2 +- .../P1/B-0527-memory-md-backfill-pre-substrate-kenji-era.md | 6 ++++-- 3 files changed, 6 insertions(+), 3 deletions(-) diff --git a/docs/BACKLOG.md b/docs/BACKLOG.md index ffd0ac129..927541a62 100644 --- a/docs/BACKLOG.md +++ b/docs/BACKLOG.md @@ -318,6 +318,7 @@ are closed (status: closed in frontmatter)._ - [ ] **[B-0520](backlog/P1/B-0520-new-surface-audit-alignment-check.md)** Mechanize new-surface audit for alignment-clause consistency - [ ] **[B-0522](backlog/P1/B-0522-pre-substrate-kenji-era-git-branches-inventory.md)** Pre-substrate Kenji-era git branches and worktrees inventory - [ ] **[B-0523](backlog/P1/B-0523-kenji-era-research-docs-cross-reference-audit.md)** Kenji-era research docs cross-reference audit (peeled from B-0139) +- [ ] **[B-0527](backlog/P1/B-0527-memory-md-backfill-pre-substrate-kenji-era.md)** MEMORY.md backfill for pre-substrate Kenji-era artifacts (B-0139 decomposition) ## P2 — research-grade diff --git a/docs/backlog/P1/B-0139-pre-substrate-kenji-era-otto-work-inventory-aaron-2026-05-01.md b/docs/backlog/P1/B-0139-pre-substrate-kenji-era-otto-work-inventory-aaron-2026-05-01.md index 32274dfa3..381ec65fb 100644 --- a/docs/backlog/P1/B-0139-pre-substrate-kenji-era-otto-work-inventory-aaron-2026-05-01.md +++ b/docs/backlog/P1/B-0139-pre-substrate-kenji-era-otto-work-inventory-aaron-2026-05-01.md @@ -8,7 +8,7 @@ last_updated: 2026-05-14 depends_on: [] type: friction-reducer decomposition: decomposed -children: [B-0522, B-0523] +children: [B-0522, B-0523, B-0527] --- # B-0139 — Pre-substrate Kenji-era inventory diff --git a/docs/backlog/P1/B-0527-memory-md-backfill-pre-substrate-kenji-era.md b/docs/backlog/P1/B-0527-memory-md-backfill-pre-substrate-kenji-era.md index cc3531463..b2787426c 100644 --- a/docs/backlog/P1/B-0527-memory-md-backfill-pre-substrate-kenji-era.md +++ b/docs/backlog/P1/B-0527-memory-md-backfill-pre-substrate-kenji-era.md @@ -1,10 +1,12 @@ --- id: B-0527 priority: P1 -status: not-started +status: open title: MEMORY.md backfill for pre-substrate Kenji-era artifacts (B-0139 decomposition) created: 2026-05-14 -depends_on: [B-0522, B-0523, B-0526] +last_updated: 2026-05-14 +parent: B-0139 +depends_on: [B-0522, B-0523] type: friction-reducer decomposition: atomic --- From 86f4919f14bede433c5235e65ec7b0167776735f Mon Sep 17 00:00:00 2001 From: Aaron Stainback Date: Thu, 14 May 2026 20:27:05 -0400 Subject: [PATCH 3/4] fix(b-0139): restore F# src/Core slice in remaining-slices list The audit-formal-artifacts.ts script covers Lean/TLA+/Z3/Alloy but not F# src/Core. Restoring this slice explicitly per acceptance criterion 2 to prevent B-0139 appearing completed while src/Core is still untracked. Co-Authored-By: Claude --- ...-substrate-kenji-era-otto-work-inventory-aaron-2026-05-01.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/backlog/P1/B-0139-pre-substrate-kenji-era-otto-work-inventory-aaron-2026-05-01.md b/docs/backlog/P1/B-0139-pre-substrate-kenji-era-otto-work-inventory-aaron-2026-05-01.md index 381ec65fb..f3a71c6b5 100644 --- a/docs/backlog/P1/B-0139-pre-substrate-kenji-era-otto-work-inventory-aaron-2026-05-01.md +++ b/docs/backlog/P1/B-0139-pre-substrate-kenji-era-otto-work-inventory-aaron-2026-05-01.md @@ -73,7 +73,7 @@ Composes with task #321 (Recovery lane — branch/worktree/stash inventory + cla ## Status -**In progress.** First slice landed: `tools/hygiene/audit-formal-artifacts.ts` — a TS script (Rule 0 compliant) that catalogs all formal verification artifacts (Lean4, TLA+, Z3, Alloy, formal tests) and cross-references each against docs/ for substrate-status. Finds 30 artifacts (4295 lines); 24 referenced in substrate, 6 unreferenced TLA+ specs (`AsyncStreamEnumerator.tla`, `BftConsensus.tla`, `ChaosEnvDeterminism.tla`, `ConsistentHashRebalance.tla`, `FeatureFlagsResolution.tla`, `InfoTheoreticSharder.tla`). Remaining slices: docs/research/ cross-reference audit, branch/worktree content inventory, MEMORY.md backfill (decomposed to B-0527). +**In progress.** First slice landed: `tools/hygiene/audit-formal-artifacts.ts` — a TS script (Rule 0 compliant) that catalogs all formal verification artifacts (Lean4, TLA+, Z3, Alloy, formal tests) and cross-references each against docs/ for substrate-status. Finds 30 artifacts (4295 lines); 24 referenced in substrate, 6 unreferenced TLA+ specs (`AsyncStreamEnumerator.tla`, `BftConsensus.tla`, `ChaosEnvDeterminism.tla`, `ConsistentHashRebalance.tla`, `FeatureFlagsResolution.tla`, `InfoTheoreticSharder.tla`). Remaining slices: docs/research/ cross-reference audit (decomposed to B-0523), branch/worktree content inventory (decomposed to B-0526), F# src/Core built-artifact catalog (acceptance criterion 2 — not yet covered by audit-formal-artifacts.ts), MEMORY.md backfill (decomposed to B-0527). ## Verify-before-deferring note From 040b8a506c4846f0e6c2f1de4600d45023242436 Mon Sep 17 00:00:00 2001 From: Aaron Stainback Date: Thu, 14 May 2026 20:44:33 -0400 Subject: [PATCH 4/4] fix(b-0527): restore B-0526 to depends_on + add B-0526 to B-0139 children MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit B-0526 (branch/worktree content inventory) was merged to main via PR #3309 before this PR was cut — making the body-text references to B-0526 in B-0527 correct but inconsistent with the frontmatter that had removed it. - B-0527 depends_on: [B-0522, B-0523] → [B-0522, B-0523, B-0526] - B-0139 children: [B-0522, B-0523, B-0527] → [B-0522, B-0523, B-0526, B-0527] Resolves copilot/codex unresolved threads on PR #3315. Co-Authored-By: Claude --- ...-substrate-kenji-era-otto-work-inventory-aaron-2026-05-01.md | 2 +- .../P1/B-0527-memory-md-backfill-pre-substrate-kenji-era.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/backlog/P1/B-0139-pre-substrate-kenji-era-otto-work-inventory-aaron-2026-05-01.md b/docs/backlog/P1/B-0139-pre-substrate-kenji-era-otto-work-inventory-aaron-2026-05-01.md index f3a71c6b5..cec69e679 100644 --- a/docs/backlog/P1/B-0139-pre-substrate-kenji-era-otto-work-inventory-aaron-2026-05-01.md +++ b/docs/backlog/P1/B-0139-pre-substrate-kenji-era-otto-work-inventory-aaron-2026-05-01.md @@ -8,7 +8,7 @@ last_updated: 2026-05-14 depends_on: [] type: friction-reducer decomposition: decomposed -children: [B-0522, B-0523, B-0527] +children: [B-0522, B-0523, B-0526, B-0527] --- # B-0139 — Pre-substrate Kenji-era inventory diff --git a/docs/backlog/P1/B-0527-memory-md-backfill-pre-substrate-kenji-era.md b/docs/backlog/P1/B-0527-memory-md-backfill-pre-substrate-kenji-era.md index b2787426c..9ad4d3942 100644 --- a/docs/backlog/P1/B-0527-memory-md-backfill-pre-substrate-kenji-era.md +++ b/docs/backlog/P1/B-0527-memory-md-backfill-pre-substrate-kenji-era.md @@ -6,7 +6,7 @@ title: MEMORY.md backfill for pre-substrate Kenji-era artifacts (B-0139 decompos created: 2026-05-14 last_updated: 2026-05-14 parent: B-0139 -depends_on: [B-0522, B-0523] +depends_on: [B-0522, B-0523, B-0526] type: friction-reducer decomposition: atomic ---