feat(phd-ch28): L28 ablations of INV-1..5 (Parts B+C+D, +1319 lines)

assertions/hive_honey.jsonl

@@ -25,3 +25,4 @@
 {"ts":"2026-04-25T17:46:00Z","lane":"apiary-sync","agent":"perplexity-computer-apiary-sync","sha":"ad1e4e2","inv":"meta","theorem":null,"status":"Proven","tests_added":0,"tests_total":null,"clippy":"n/a","admitted_burned":0,"bpb_delta":null,"lesson":"Synced hive_state.json to ground-truth on main: cycle 8->9, L13 priority_queue cleared, metrics 13/13 DONE / 0 OPEN. Closes watchdog 17:10Z misfire (false-positive release of L5/L13 from silent>4h heuristic without ground-truth read). Race substrate L1..L13 fully shipped; ledger gap remains (seed_results.jsonl has header line only).","links":{"issue":"https://github.com/gHashTag/trios/issues/143","watchdog_misfire":"https://github.com/gHashTag/trios/issues/143#issuecomment-4320145000"}}
 {"ts":"2026-04-25T17:58:00Z","lane":"phd-ch17","agent":"perplexity-computer-l17-spiral","sha":"457f49d","inv":"INV-3","theorem":"thm:17-floor-vertex (forced spiral vertex φ⁻⁶) + Trinity Anchor φ²+φ⁻²=3 (3 independent derivations)","status":"corroborated","tests_added":0,"admitted_burned":0,"bpb_delta":"runtime-guard / monograph chapter — N/A","lesson":"L17 Golden Spiral THEORY chapter: 3→1556 lines, 3 cites (1 new: coxeter1973regular), 11 theorem/lemma blocks, 4 honest \\admittedbox markers, 13 appendices (A–M) including icosahedral symmetry connection (App J), norm-augmented Lucas lattice (App K), continued fraction expansion + Hurwitz/Weyl (App L), extended worked examples deriving JEPA-T proxy floor / ASHA pruning ratio / lr window from spiral (App M). Central forcing thesis: φ⁻⁶=18−11φ is the unique Lucas-vertex compatible with dim-16 substrate (Theorem thm:17-floor-vertex), converting empirical floor into Lucas-ring corollary. R7 N/A (THEORY per #265 §2.2). Pre-existing trios-ui-ur00 E0308 attributed per coq-runtime-invariants v1.1 §5; L17 patch touched only docs/phd/ — zero NEW failures from 457f49d.","links":{"pr":"https://github.com/gHashTag/trios/pull/276","one_shot":"https://github.com/gHashTag/trios/issues/265","claim":"https://github.com/gHashTag/trios/issues/265#issuecomment-4320207800","done":"https://github.com/gHashTag/trios/issues/265#issuecomment-4320231335"}}
 {"ts":"2026-04-25T18:10:05Z","lane":"phd-ch23","agent":"perplexity-computer-l23-gf16-algebra","sha":"9a16192a25cae16093f210bfa026168c775e7c57","inv":"INV-3+INV-5","theorem":"Lucas Closure in Z[phi] (Proven) + GF16 Floor Saturation (Proven, e2e Admitted)","status":"Proven","tests_added":0,"admitted_burned":0,"bpb_delta":null,"lesson":"GF16 is the unique 16-bit lattice in Z[phi] that fully fills the codebook (322 codewords) and respects the Lucas closure phi^{2n}+phi^{-2n} in Z; floor at phi^-6 is forced by Minkowski covolume sqrt 5, not chosen.","links":{"pr":"pending","one_shot":"https://github.com/gHashTag/trios/issues/265","claim":"https://github.com/gHashTag/trios/issues/265#issuecomment-4320238316"}}
+{"ts":"2026-04-25T17:34:43Z","lane":"phd-ch28","agent":"perplexity-computer-l28-ablations","sha":"f44e99f0ee122df36dfe80877c119cc1fe3e5005","inv":"INV-1..INV-5","theorem":"l28_delta_value (Δ=φ^{-5/2}≈0.300) + l28_arms_independent","status":"partial-Proven","tests_added":0,"admitted_burned":0,"bpb_delta":"chapter-only — see per-arm BPB tables Sec. 28.5","lesson":"Pre-registered 5-arm Bonferroni-corrected ablation panel with α_arm=0.002; threshold Δ=φ^{-5/2} derived (not chosen for power); A_4 honestly fails primary test under canonical 9000-step budget — corroborated only under budget-stress, reported as conditional finding per R5; live cite discipline avoided LB-audit risk on PR #269.","links":{"pr":"https://github.com/gHashTag/trios/pull/273","one_shot":"https://github.com/gHashTag/trios/issues/265","claim":"https://github.com/gHashTag/trios/issues/265#issuecomment-4320160908"}}