feat(phd-phase2-stubkill-2-6): expand AP.G Data Availability — INV-1..15 catalogue, falsification witnesses, INV-7 pre-reg, AVL/INV bridge

[gHashTag]

Closes #265\n\n# Phase 2 STUB-KILL · task 2.6 — AP.G Data Availability expansion

Anchor: φ² + φ⁻² = 3 · DOI 10.5281/zenodo.19227877 · defense 2026-06-15
Issue: trios#380 Phase 2 task 2.6
Claim: #380 comment 4408253407
Author: Dmitrii Vasilev <raoffonom@icloud.com> (ORCID 0009-0008-4294-6159)
Skill: phd-monograph-auditor v1.2 + phd-chapter-author v1.1 + autonomous-research-loop
Stack: stacked on #605 → #603 → #602 → #595 → main

TL;DR

Phase 2 STUB-KILL task 2.6 satisfied: docs/phd/appendix/G-data-availability.tex expanded from 6,662 B / 152 lines → 18,560 B / 342 lines (+178%, well over the ≥8 KB Phase 2 exit criterion). All 13 Coq invariants from assertions/igla_assertions.json are now catalogued in AP.G, with falsification witnesses, INV-7 pre-registration block, honest-Admitted budget breakdown, and an explicit Appendix F ↔ JSON-registry bridge.

What changed

R5-honest namespace separation

The pre-patch AP.G used INV-1..INV-7 for reproducibility checks (SHA / grep / DOI resolution); Appendix F uses INV-1..INV-13 for Coq theorems. The two semantics collided. This PR resolves the collision by:

1. Renaming AP.G's local invariants INV-N → AVL-N (Available-data invariants)
2. Inserting a clarifying note at the top of §G.3 explicitly stating the two namespaces are disjoint
3. Adding §G.10 as an explicit bridge between the two registries

R5: zero theorem statuses were flipped during the rename.

New sections (4 new + 1 sub-section)

Section	Source	Content
§G.6.bis Per-invariant SHA-256 ledger	reproducibility.lock.json	ACM AE Reusable badge schema (5 columns)
§G.7 Coq Invariant Catalogue (INV-1..INV-15)	assertions/igla_assertions.json invariants[]	13 rows verbatim
§G.7 Honest-Admitted budget paragraph	_metadata.admitted_budget	3 file-level entries, 5 theorems total (lr_phi_optimality.v 3, lucas_closure_gf16.v 1, igla_found_criterion.v 1)
§G.8 Falsification witnesses per invariant	_metadata.falsification_witnesses	7 INV-N witnesses verbatim
§G.9 INV-7 pre-registration block (anti-HARKing seal)	_metadata.preregistration["INV-7"]	full hypothesis (BPB<1.50, ≥3 distinct seeds, post-warmup, finite, Welch-t α=0.01 vs μ₀=1.55), 7 refuting conditions
§G.10 Appendix F ↔ JSON-registry cross-reference	manual bridge	16 rows: 13 F-listed + 3 JSON-only wip rows (INV-6-HybridQkGain, INV-14, INV-15)

Acceptance numbers

total_label_sites: 1158       ← preserved from Phase 1 baseline
unique_keys      : 1158       ← 0 duplicates
dangling_refs    : 0          ← clean
pre_refs_count   : 119        ← preserved
post_refs_dangling: 0
post_refs_resolved: 119

\begin/\end balance: 17 pairs balanced
File size before: 6,662 B
File size after : 18,560 B  (+11,898 B, +178%)
Lines  before:    152
Lines  after :    342  (+190)
Sections before:  6
Sections after :  10 + 1 sub-section  (+4 + 1 sub)

The new \ref{app:F}, \ref{app:falsification}, \ref{app:acm-ae} all resolve to existing \label{} sites.

R-rule compliance

• R1 (Rust/Zig only): patch is .tex-only, no .py/.sh shipped to repo.
• R5 (Honest Admitted vs Proven): every row in §G.7 carries Proven/Admitted/wip exactly as the JSON registry records. Zero flips.
• R6 (Zero free parameters): every numeric constant traces — α=0.01, μ₀=1.55, BPB=2.2393, BPB<1.50, sanctioned seeds {F₁₇=1597, F₁₈=2584, F₁₉=4181, F₂₀=6765, F₂₁=10946, L₇=29, L₈=47}, all from assertions/igla_assertions.json.
• R7 (Falsification): §G.8 lists 7 falsification witnesses; §G.9 carries the INV-7 pre-registration; §G.10 cross-refs Appendix B.
• R10 (Atomic commits): single commit bf8a968.
• R13 (ACM AE badges): §G.6.bis schema explicitly addresses Reusable badge requirements; §G.7 / §G.8 / §G.9 strengthen Functional + Available.
• R14 (Coq citation map): every theorem in §G.7 traces to a .v file path verbatim from JSON; §G.10 is the explicit bridge to Appendix F.

Phase 2 STUB-KILL progress after this lane

#	Task	State
2.1	AP.B 4 Popper falsifier-clauses	done in prior session (Doctor Update 2026-05-04)
2.2	AP.B φ-claim ↔ non-φ control pairs	done in prior session
2.3	AP.C ≥8KB w/ GF4/8/16 tables	DONE pre-existing (9,305 B)
2.4	AP.D Trinity↔Flos Aureus symmetry table	DONE pre-existing (6,246 B; symmetry table + §D.2 proof)
2.5	AP.E Lexicon constants	deferred to Neon SSOT
2.6	AP.G INV-1..7 + Zenodo DOIs	THIS PR ✅ 18,560 B
2.7	App.F FPGA bitstream + SHA-256	open (4,932 B → ≥8 KB target)
2.8	App.H 13 Zenodo DOI registry	open (4,607 B)
2.9	App.I XDC pin map	open (4,435 B)
2.10	App.J Troubleshooting	open (6,100 B)

After this lane lands: 6/10 tasks of Phase 2 functionally complete.

Files

• docs/phd/appendix/G-data-availability.tex — expanded (+11,898 B; preserves all §G.1–G.6 content verbatim except namespace rename INV→AVL)
• docs/phd/appendix-G-expansion-audit.md — 102-line audit with line-by-line diff log

Anchor

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