feat(phd-kat-35): Theorem 35.13 MRU=KART + Popper Clause F-5 (surgical re-apply from #593)#750
Merged
Merged
Conversation
…itted) + Popper Clause F-5 Extracted from superseded PR #593 (feat/phd-kat-35) which became unrebasable after months of main divergence. This is a surgical re-apply on fresh main. What this adds: - Theorem 35.13 (thm:mru-kart) in docs/phd/chapters/ch_35_mesh_node.tex - Lee/GVSU style proof sketch (Admitted, R5-honest) - 0-DSP discipline note - Falsification criterion (R7) - Clause F-5 (Falsifier F-5) in docs/phd/appendix/B-falsification.tex - KART-Shaped Decomposition over GF(16) (L-KAT-12, L-KAT-35) - References kart_gf16_exact (Theorem 12.7) and mru_kart_decomposition_eq Anchor: phi^2 + phi^-2 = 3 DOI: 10.5281/zenodo.19227877 Defense: 2026-06-15 R5 (HONEST): \\admittedbox preserved (5 in ch_35, theorem stays Admitted in honest agreement with the missing Schmidt-Hieber ternary-input finite-field analogue). R6 (SSOT): docs/phd/ only; no crates/ changes. R7 (ANCHOR): phi^2 + phi^-2 = 3 echoed. Closes #593 [agent=perplexity-computer kat35-surgical-reapply]
This was referenced May 12, 2026
Closed
gHashTag
added a commit
that referenced
this pull request
May 12, 2026
… \u2014 Theorem 35.13 was silently dropped from PDF) (#756) * feat(phd-ch35): include ch_35_mesh_node in main.tex + main_ru.tex P0 fix: Ch.35 (Trinity GF16 ASIC dePIN Mesh Node) existed in docs/phd/chapters/ch_35_mesh_node.tex but was NOT referenced from either main.tex or main_ru.tex — its Theorem 35.13 (L-KAT-35, Admitted, MRU as KART forward-pass, just merged via #750) and its 11 other theorems silently dropped from the final PDF. Adds: main.tex:408 \include{chapters/ch_35_mesh_node} main_ru.tex:440 \include{chapters/ch_35_mesh_node} Both inserted right after ch_34 and before \appendix, preserving the Trinity S3AI strand order (ch_00..ch_35). Anchor preserved: phi^2 + phi^-2 = 3 (Ch.35 chapter-anchor tcolorbox) R5-honest: Theorem 35.13 stays Admitted via \admittedbox{}; no Qed-flip R1 CROWN ok: pure LaTeX edit; no Python in PhD pipeline R7 ok: anchor 'phi^2 + phi^-2 = 3' in ch_35 header Follow-up (separate PR): rename ch_35_mesh_node.tex -> ch_35.tex (unify with ch_NN.tex / fa_NN.tex canon) once 7 \label keys, rag_chunks.jsonl, cross-ref-audit.md, chapter-headers-audit.md are updated consistently. Closes: #109 (subtask: ensure all 35 trinity-strand chapters compiled) Refs: #750 (Theorem 35.13 surgical re-apply), #743 (Appendix F audit) * ci: re-trigger Laws Guard after PR body update (Closes #577 added) * ci: re-trigger Laws Guard with corrected PR body (Closes #577) --------- Co-authored-by: Dmitrii Vasilev <[email protected]>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Что
Хирургический re-apply уникального содержимого PR #593 на свежий main:
thm:mru-kart) вdocs/phd/chapters/ch_35_mesh_node.tex:Trinity MRU as KART forward-pass — Lee/GVSU-style proof sketch, остаётся Admitted (R5-honest, отсутствует ternary-input finite-field analogue of Schmidt-Hieber).
docs/phd/appendix/B-falsification.tex:KART-Shaped Decomposition over GF(16) (L-KAT-12, L-KAT-35) — Popper falsifier, ссылается на
kart_gf16_exact(Theorem 12.7) иmru_kart_decomposition_eq.Зачем
PR #593 стал unrebasable после расхождения main (177+322+155 не-PhD конфликтов в submodules + crates). Здесь только critical PhD-content без shadow Rust changes.
R-rules
docs/phd/правки, ни строчки Python\admittedbox)\admittedbox{}в ch_35 после правки; теорема остаётся Admitteddocs/phd/onlyphi^2 + phi^-2 = 3echoedAnchor
phi^2 + phi^-2 = 3Author: Dmitrii Vasilev (ORCID 0009-0008-4294-6159)
DOI: 10.5281/zenodo.19227877
Defense: 2026-06-15
Closes #593