…oard + critical-path map — spec v2.73.0 → v2.74.0 (#1087)

Session-end snapshot consolidating today's 10-PR cascade into a
single source-of-truth for next session.

The goal: ship two models to HF, both built end-to-end on the
in-tree Sovereign AI Stack.

Coverage scoreboard EOD 2026-04-27:
| Category    | DISCHARGED | PARTIAL | Total | %D  |
|-------------|-----------:|--------:|------:|----:|
| MODEL-1     |          5 |       5 |    10 | 50% |
| MODEL-2     |          3 |       9 |    12 | 25% |
| GPUTRAIN    |          7 |       0 |     7 |100% |
| Ship Gates  |          - |      12 |    12 |  0% |
| Falsifiers  |          - |       7 |     7 |  0% |
| Sum         |         15 |      33 |    48 | 31% |

Critical path — MODEL-1: PR E (replace helpers::f32_matmul with
Q4K-fused dispatch) discharges 5 PARTIALs at one fix site.
~150-300 LOC.

Critical path — MODEL-2: P1.1 (apr pull dataset extension) →
P1.4 (corpus pull) → P2 (100K-step training) discharges 9
PARTIALs.

10-PR session cascade (6 merged, 4 open + this):
- #1076-#1080: spec + contract foundation (MERGED)
- #1081: P3 PR A scaffold (MERGED)
- #1082-#1083: P3 PR B+C wiring (OPEN, stacked)
- #1084-#1085: §27/§28 binding criterion + root cause (OPEN)
- #1086: PR D forward-parity contract (OPEN)

Falsification chain (complete, root-reached):
§15.4 → §16 → §17 → §23 → §27 → §28 → PR D contract → PR E (next)
"forward path" → ... → "APR F32 vs GGUF Q4K matmul precision"
                            → "binding criterion as durable spec"
                            → "fix at mod_apr_transformer.rs:138-140"

Methodology preserved: zero eprintln!, zero route-arounds, apr
canonical, contract-first, lambda-labs pre-authorized, 5-whys
reaches root.

Next session: PR E first (5 ACs), then P1.1 + P1.4 + P2
(9 ACs).

Spec v2.73.0 → v2.74.0. No coverage flip at amendment — §29 is
a scoreboard, not a discharge.

Co-authored-by: Claude Opus 4.7 <noreply@anthropic.com>

…confirms §25 corpus-diversity hypothesis — v2.77 → v2.78 (#1094)

P1 corpus pipeline complete end-to-end. P2 MODEL-2 retrain on 565.6M-token
codeparrot Python+permissive corpus (7.6× the 4× CSN-Python baseline)
pushes val_loss from the 9.7507 plateau to 9.3837 — a 0.367-nat (4.7%)
improvement with the SAME training configuration.

§25 had concluded (after 80K-step LR-budget falsification on 4× CSN-Python):
  "There is no LR/step configuration that beats val_loss=9.75 on
   CSN-Python — only Stack v2 will move the needle."

§33 confirms this empirically. The corpus-diversity binding criterion of
§26.9 is satisfied.

## Pipeline (all stack-canonical, no muda)

| Phase | Outcome |
|-------|---------|
| P1.0 contract authored (PROPOSED → ACTIVE) | #1080 → #1089 |
| P1.1 apr pull dataset extension | #1089 MERGED |
| P1.4 codeparrot pull | 80 shards / 27 GB |
| P1.5a parquet → JSONL filter | 405,904 rows / 3.17 GB |
| P1.5b BPE encode-corpus | 57 shards / 565.6M tokens / 10h |
| P2 MODEL-2 retrain on RTX 4090 | EARLY_STOP at 51 ep / 47 min |

Total wall time from contract authoring to val_loss=9.3837: ~14 hours.

## Training curve highlights

- epoch 0: train=9.7567, val=10.0698 (init)
- epoch 10: train=9.4610, val=9.5657 (post-warmup)
- epoch 30: train=9.2x, val=9.42x
- epoch 44: val=9.3837 (BEST)
- epoch 50: train=9.2093, val=9.3889 (EARLY_STOP next)

Full per-epoch metadata in evidence/model-2-codeparrot-retrain-2026-04-28/all-epochs.json.

## Coverage impact

§33 is binding evidence for SHIP-021 (corpus diversity binding) — promotion
to DISCHARGED is deferred to a separate PR that updates the SHIP-021
contract atomically. Spec scoreboard unchanged (15+33) in this PR.

## Files

- evidence/model-2-codeparrot-retrain-2026-04-28/launch.log
- evidence/model-2-codeparrot-retrain-2026-04-28/all-epochs.json
- §33 spec section (8 subsections, ~80 lines)
- Header: v2.77.0 → v2.78.0

## Methodology landed

The §26.8 stack-tool-extension rule paid off concretely:
- 6h authoring cost (P1.0 contract + P1.1 impl) → permanent apr capability
- Every future dataset pull benefits
- §33's val_loss=9.3837 is downstream proof of the methodology

This commit represents the first cycle in §22→§33 where the spec amendment
has the same priority as the empirical result.

Co-authored-by: Claude Opus 4.7 <noreply@anthropic.com>