Skip to content
Merged
Show file tree
Hide file tree
Changes from 2 commits
Commits
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
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
Original file line number Diff line number Diff line change
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
35 changes: 35 additions & 0 deletions docs/backlog/P1/B-0526-branch-worktree-content-inventory.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,35 @@
---
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.
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