Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
37 commits
Select commit Hold shift + click to select a range
d435126
Round 41: OpenSpec coverage audit + backfill-program ADR
AceHack Apr 20, 2026
e51ec1b
Round 41: operator-algebra spec extension (cadence ship)
AceHack Apr 20, 2026
92d7db2
Round 41: close Viktor P0 findings on operator-algebra spec
AceHack Apr 20, 2026
56f34b5
Round 41: file Viktor P1 findings as Round 42 BACKLOG absorb
AceHack Apr 20, 2026
6e6e211
Round 41: ROUND-HISTORY entry — OpenSpec backfill founding + first ca…
AceHack Apr 20, 2026
36797ba
Round 41: memory-folder role-restructure — design plan + BACKLOG pointer
AceHack Apr 20, 2026
85fb352
Round 41: actualise Rounds 37-40 BP-WINDOW ledgers (PR #30 merged)
AceHack Apr 20, 2026
e461d9c
Round 41: Soraya tool-coverage audit on RecursiveSigned skeleton
AceHack Apr 20, 2026
15e9654
Round 41: capture Soraya's 4 tool-coverage prereqs on RecursiveSigned
AceHack Apr 20, 2026
6cbf574
Round 41: extend ROUND-HISTORY with arcs 5-7 (post-narrative commits)
AceHack Apr 20, 2026
085c0e3
Round 41: Aarav skill-tune-up ranking (catch-up from round-18 stale)
AceHack Apr 20, 2026
47d92d8
Round 41: ADR — claims-tester/complexity-reviewer hand-off contract
AceHack Apr 20, 2026
459b218
Round 41: extend ROUND-HISTORY with Arc 8 (router-coherence ADR)
AceHack Apr 20, 2026
d76a09b
Round 41: correct Prereq 1 sizing — no TLC CI job exists
AceHack Apr 20, 2026
098fa25
Round 41: BP-WINDOW ledger — 459b218 + d76a09b rows
AceHack Apr 20, 2026
2042a85
Round 41: file formal-analysis-gap-finder round-42 run — verifier-run…
AceHack Apr 20, 2026
7c4b01a
Round 41: BP-WINDOW ledger — 2042a85 row
AceHack Apr 20, 2026
fcfa3d9
Round 41: CONFLICT-RESOLUTION — Hiroshi ↔ Daisy hand-off row
AceHack Apr 20, 2026
47b82d7
Round 41: BP-WINDOW ledger — fcfa3d9 row
AceHack Apr 20, 2026
779d7ef
Round 41: file harsh-critic findings on ADR 47d92d8 as round-42 super…
AceHack Apr 20, 2026
531dc68
Round 41: BP-WINDOW ledger — 779d7ef row
AceHack Apr 20, 2026
160fcfa
Round 41: Arc 9 narrative — self-correction sweep
AceHack Apr 20, 2026
ec00be9
Round 41: BP-WINDOW ledger — 160fcfa row
AceHack Apr 20, 2026
09f0889
Round 41: v2 ADR — router-coherence supersedure closes 10 Kira findin…
AceHack Apr 20, 2026
4efe545
Round 41: v1 ADR — append Superseded-by header per GOVERNANCE §2
AceHack Apr 20, 2026
1e31d34
Round 41: Arc 10 narrative + BP-WINDOW rows for v2 supersedure
AceHack Apr 20, 2026
4537365
Round 41: close BACKLOG supersedure entry — discharged in-round by v2
AceHack Apr 20, 2026
913d054
Round 41: BP-WINDOW row for BACKLOG-close commit 4537365
AceHack Apr 20, 2026
d98ef2b
Round 41: grandfather O(·) claims inventory — honours v2 C-P0-1 withi…
AceHack Apr 20, 2026
7b581da
Round 41: Arc 11 narrative + BP-WINDOW row for grandfather inventory
AceHack Apr 20, 2026
46075d6
Round 41: DORA 2025 reports — reference substrate land in docs/
AceHack Apr 20, 2026
0111e3f
Round 41: Arc 12 narrative + BP-WINDOW row for DORA substrate
AceHack Apr 20, 2026
3525631
Round 41: markdownlint CI fix on PR #31
AceHack Apr 20, 2026
e75b8a8
Merge remote-tracking branch 'origin/main' into round-41-rebase
AceHack Apr 21, 2026
61412f5
Round 41: address 8 Copilot inline review findings on PR #31
AceHack Apr 21, 2026
269909a
Round 41: fix markdownlint MD024 — remove duplicate Round 41 block
AceHack Apr 21, 2026
124e741
Round 41: revert 324→365 (historically wrong); finish Copilot follow-ups
AceHack Apr 21, 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
6 changes: 4 additions & 2 deletions docs/CONFLICT-RESOLUTION.md
Original file line number Diff line number Diff line change
Expand Up @@ -201,8 +201,10 @@ sign-off.
(Complexity Theory Reviewer, on paper) and empirical
measurement (Claims Tester, at `n = 10³..10⁶`). Standing
resolution: the two-stage pipeline in
`docs/DECISIONS/2026-04-21-router-coherence-claims-vs-complexity.md`
— analytic-first on new claims; reverse trigger (Claims Tester
`docs/DECISIONS/2026-04-21-router-coherence-v2.md`
(v1 at `docs/DECISIONS/2026-04-21-router-coherence-claims-vs-complexity.md`
retained as historical record) —
analytic-first on new claims; reverse trigger (Claims Tester
first) on benchmark surprise. If the two disagree on a
reconciliation, the conflict escalates to this document's
deadlock clause (human maintainer decides).
Expand Down
8 changes: 5 additions & 3 deletions docs/ROUND-HISTORY.md
Original file line number Diff line number Diff line change
Expand Up @@ -693,9 +693,11 @@ for scheduling; (3) clock scopes and tick monotonicity; (4)
`Incrementalize(Q)` wrapper preserves the chain-rule identity
`Q^Δ = D ∘ Q ∘ I`; (5) representation invariants of the
reference `ZSet[K]` (O(n+m) group operations, zero-alloc
iteration, no zero-weight entries exposed). Spec now at
324 lines. F# profile at `openspec/specs/operator-algebra/
profiles/fsharp.md` pins the language-specific surface.
iteration, no zero-weight entries exposed). Spec size at
Arc 2 ship (`e51ec1b`) was 324 lines; subsequent Viktor
closure arcs in this same round grew it further. F# profile
at `openspec/specs/operator-algebra/profiles/fsharp.md` pins
the language-specific surface.

### Arc 3 — Viktor P0 close (`92d7db2`)

Expand Down
33 changes: 21 additions & 12 deletions docs/research/memory-role-restructure-plan-2026-04-21.md
Original file line number Diff line number Diff line change
Expand Up @@ -123,7 +123,7 @@ memory/persona/sova/ memory/alignment/sova/
memory/persona/tariq/ memory/algebra/tariq/
memory/persona/viktor/ memory/verification/viktor/

memory/persona/README.md memory/persona-README.md (or moved to memory/README-persona-roles.md)
memory/persona/README.md memory/persona-roles-README.md
memory/persona/best-practices-scratch.md memory/best-practices-scratch.md (promote to memory/ root; it is shared across roles by design)
```

Expand All @@ -133,10 +133,12 @@ memory/persona/best-practices-scratch.md memory/best-practices-scratch.md (pro

```bash
grep -rln "memory/persona/" --include="*.md" --include="*.json" \
--include="*.sh" --include="*.fs" --include="*.cs" . | \
grep -v "^./\\.git" | wc -l # → 114 files
--include="*.sh" --include="*.fs" --include="*.cs" \
--exclude-dir=.git --exclude-dir=references . | \
wc -l # → 114 files
grep -rc "memory/persona/" --include="*.md" --include="*.json" \
--include="*.sh" . | grep -v ":0$" | \
--include="*.sh" --exclude-dir=.git --exclude-dir=references . | \
grep -v ":0$" | \
awk -F: '{s+=$2} END {print s}' # → 700 refs
Comment on lines +135 to +142
Copy link

Copilot AI Apr 20, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The Phase 1 grep commands walk the whole repo (".") but don't exclude references/upstreams/**, which the repo explicitly warns against for recursive scans because it contains many full upstream clones. Add an exclude (e.g., --exclude-dir=references / --glob '!references/upstreams/**') to these and the other grep loops in this plan so the counts/runtime are meaningful.

Suggested change
grep -rln "memory/persona/" --include="*.md" --include="*.json" \
--include="*.sh" --include="*.fs" --include="*.cs" . | \
grep -v "^./\\.git" | wc -l # → 114 files
grep -rc "memory/persona/" --include="*.md" --include="*.json" \
--include="*.sh" . | grep -v ":0$" | \
awk -F: '{s+=$2} END {print s}' # → 700 refs
grep -rln "memory/persona/" --exclude-dir=.git --exclude-dir=references \
--include="*.md" --include="*.json" --include="*.sh" \
--include="*.fs" --include="*.cs" . | wc -l # → 114 files
grep -rc "memory/persona/" --exclude-dir=references \
--include="*.md" --include="*.json" --include="*.sh" . | \
grep -v ":0$" | awk -F: '{s+=$2} END {print s}' # → 700 refs

Copilot uses AI. Check for mistakes.
```

Expand Down Expand Up @@ -202,19 +204,26 @@ declare -A ROLES=(
for persona in "${!ROLES[@]}"; do
role="${ROLES[$persona]}"
grep -rl "memory/persona/$persona/" --include="*.md" \
--include="*.json" --include="*.sh" --include="*.jsonc" . | \
grep -v "^./\\.git" | \
--include="*.json" --include="*.sh" --include="*.jsonc" \
--exclude-dir=.git --exclude-dir=references . | \
grep -v "tools/alignment/out/" | \
xargs -r sed -i "" "s|memory/persona/$persona/|memory/$role/$persona/|g"
while IFS= read -r file; do
sed -i.bak "s|memory/persona/$persona/|memory/$role/$persona/|g" "$file" && rm -f "$file.bak"
done
done

# Clean up the flat-file references too
grep -rl "memory/persona/README\\.md" --include="*.md" . | \
xargs -r sed -i "" "s|memory/persona/README\\.md|memory/persona-roles-README.md|g"
grep -rl "memory/persona/README\\.md" --include="*.md" \
--exclude-dir=.git --exclude-dir=references . | \
while IFS= read -r file; do
sed -i.bak "s|memory/persona/README\\.md|memory/persona-roles-README.md|g" "$file" && rm -f "$file.bak"
done
grep -rl "memory/persona/best-practices-scratch\\.md" \
--include="*.md" --include="*.sh" . | \
xargs -r sed -i "" \
"s|memory/persona/best-practices-scratch\\.md|memory/best-practices-scratch.md|g"
--include="*.md" --include="*.sh" \
--exclude-dir=.git --exclude-dir=references . | \
while IFS= read -r file; do
sed -i.bak "s|memory/persona/best-practices-scratch\\.md|memory/best-practices-scratch.md|g" "$file" && rm -f "$file.bak"
done
```

### Phase 4 — verification passes (five checks)
Expand Down
10 changes: 4 additions & 6 deletions docs/research/openspec-coverage-audit-2026-04-21.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,8 +4,8 @@
**Round:** 41 opener
**Author:** Architect (Kenji) — dispatched inventory; spec-zealot
(Viktor) to review adversarially post-land.
**Triggering question:** Aaron 2026-04-20 — *"opensepcs, if I
deleted all the code right now how easy to recreate based on the
**Triggering question:** human maintainer, 2026-04-20 — *"opensepcs,
if I deleted all the code right now how easy to recreate based on the
openspecs"*.

## TL;DR
Expand Down Expand Up @@ -39,10 +39,8 @@ openspecs"*.

Source: `ls src/Core/*.fs`, `wc -l src/Core/*.fs`.

See `docs/research/openspec-coverage-audit-2026-04-21-inventory.md`
(follow-up) for the full 66-row table. Summary by band below;
the table and Band definitions are this document's load-bearing
artefact.
Summary by band below; the Band definitions in this document are
the load-bearing artefact.

## Part B — What the 4 existing capabilities cover today

Expand Down
3 changes: 1 addition & 2 deletions memory/persona/best-practices-scratch.md
Original file line number Diff line number Diff line change
Expand Up @@ -271,8 +271,7 @@ Codified meanwhile in `.github/copilot-instructions.md`
under "Conventions you must respect" so Copilot flags it on
every PR. Will re-evaluate for BP-17 promotion after round 44.

## 2026-04-19 -- candidate BP: uv-only Python package and tool
## management
## 2026-04-19 -- candidate BP: uv-only Python package and tool management

Aaron flagged pip / pipx / poetry / pyenv / conda / requirements.txt
(no lockfile) / virtualenv as smells on Zeta PRs. uv covers every
Expand Down
Loading