docs(phd): L-MATRIX-LEDGER G4 — matrix-ledger schema appendix block (trios#380)

[gHashTag]

Closes #542 · refs #380 #446 · refs trios-trainer-igla#106

Why · L-MATRIX-LEDGER G4 (trios#380)

Cross-repo follow-up PR for trios-trainer-igla#106. Adds a 37-LOC \subsection*{Matrix-ledger schema} block to docs/phd/appendix/L-pollen-channel.tex documenting the JSONL schema emitted by the new collect-ledger CI step, satisfying the queen verdict G4 acceptance gate (≤40 LOC budget · #380 comment 4403462995).

What · 1 file · +37 LOC · 0 deletions

• docs/phd/appendix/L-pollen-channel.tex: new subsection inserted before "Operator notes". Documents:
  • Pipeline shape — cell.json artefacts → matrix_ledger collect → JSONL → auto-PR (R1, no Python/shell).
  • Row schema — cell_id, format, algo, seed, seed_painted, hidden, step, bpb, initial_bpb, delta_bpb, loss_final, falsifier_2_hit, commit_sha, run_id, ts_unix, optional parse_error.
  • Forbidden seeds repaint — {42,43,44,45} → {47,89,144,123} via paint_seed (Lucas₈ / Fib₁₁ / Fib₁₂ / Lucas₁₀), traced to t27/proofs/forbidden_seeds.v::forbidden_seed_repaint.
  • Falsifier-2 clause — fires iff bpb > 1.85 OR loss_final ∉ ℝ_finite OR loss_final ≥ 10⁶, matching Appendix B Falsifier-2.
  • R4 trace pointer — full per-column trace lives in assertions/igla_assertions.json::matrix_ledger.column_trace (cross-repo).
  • Downstream unblocks — L-C6, L-C7, App.B Falsifier-2 closure-gate, conditional on Neon bpb_samples DDL (trios-railway#62).

Acceptance gates touched

Gate	Owner	Status
G1 collect-ledger CI step	trainer-igla#106	✅
G2 auto-PR opens	trainer-igla#106	✅
G3 first green ledger PR merged	trainer-igla#106	⏳ post-merge schedule
G4 appendix \section{matrix-ledger} ≤40 LOC	THIS PR	✅ 37 LOC
G5 R4 trace block	trainer-igla#106	✅
G6 R7 falsifier_2_hit boolean	trainer-igla#106	✅

Compliance

• R1 Rust-only — n/a (docs PR).
• R3 PR-only — yes; not pushed to main.
• R4 trace — every constant in the new section points at a Rust file or .v proof.
• R5 honest — schema text describes the sibling PR exactly; no claims beyond what matrix_ledger collect produces.
• R7 witness — falsifier-2 clause spelled out per cell; threshold 1.85 matches Appendix B.
• R10 atomic — single commit, single file, ≤40 LOC.
• English-only — yes.

Anchor

φ² + φ⁻² = 3 · DOI 10.5281/zenodo.19227877

Refs: trios#380 G4, trios-trainer-igla#106, t27/proofs/forbidden_seeds.v, App.B Falsifier-2.