Skip to content

chore(b-0139): decompose branch/worktree content inventory to B-0526 #3309

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
AceHack merged 4 commits into from
May 15, 2026
Merged

chore(b-0139): decompose branch/worktree content inventory to B-0526 #3309

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
eca5ad8
chore(b-0139): decompose branch/worktree inventory to B-0526
AceHack May 14, 2026
6e46b7d
fix(backlog): address 5 review findings on B-0526 decomposition row
AceHack May 15, 2026
ddd182f
fix(backlog): B-0526 add parent field, blank line MD032, B-0139 child…
AceHack May 15, 2026
f1f8c18
fix(b-0526): MD032 blank line before list + add B-0526 to B-0139 chil…
AceHack May 15, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions docs/BACKLOG.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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-0526](backlog/P1/B-0526-branch-worktree-content-inventory.md)** Branch/worktree content inventory — Pre-substrate Kenji-era

## P2 — research-grade

Expand Down
4 changes: 2 additions & 2 deletions ...cklog/P1/B-0139-pre-substrate-kenji-era-otto-work-inventory-aaron-2026-05-01.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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-0526]
---

# B-0139 — Pre-substrate Kenji-era inventory
Expand Down Expand Up @@ -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: F# src/Core/ artifact inventory, docs/research/ cross-reference audit, MEMORY.md backfill. Branch/worktree content inventory peeled off to B-0526.
Comment thread
AceHack marked this conversation as resolved.

## Verify-before-deferring note

Expand Down
38 changes: 38 additions & 0 deletions docs/backlog/P1/B-0526-branch-worktree-content-inventory.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,38 @@
---
id: B-0526
priority: P1
status: open
title: Branch/worktree content inventory — Pre-substrate Kenji-era
created: 2026-05-14
last_updated: 2026-05-14
depends_on: []
Comment thread
AceHack marked this conversation as resolved.
parent: B-0139
type: friction-reducer
decomposition: atomic
Comment thread
AceHack marked this conversation as resolved.
---

# B-0526 — Branch/worktree content inventory

**Priority:** P1 (lineage-continuity-substrate purpose).
**Filed:** 2026-05-14.
**Filed by:** Lior (decomposition of B-0139).
**Effort:** M (archaeology of old branches).

## What

Inventory pre-substrate / Kenji-era past-recovery git branches and worktrees. This is an atomic slice decomposed from B-0139.

Scope includes:
Comment thread
AceHack marked this conversation as resolved.

1. **Past-recovery git branches** that haven't been triaged or merged.
2. **Worktrees** still on disk that aren't referenced from substrate.
Comment thread
AceHack marked this conversation as resolved.
3. **Branch / PR metadata** for closed-but-substantive PRs from Kenji-era.

## Acceptance criteria

1. **Branch/worktree inventory** of past-recovery state, with classification per item: integrated-into-main / abandoned / re-do-needed / preserve-in-substrate / discard-with-rationale.

## Composes with

- **B-0139** (Parent blob row).
Comment on lines +23 to +37
- **#321** (Recovery lane — branch/worktree/stash inventory).
Loading