Stratified Universality

Download original file

This is the original TeX manuscript source. Use the paper’s PDF for typeset equations.

Read the typeset paper

1 \begingroup
2 \setlength{\tabcolsep}{3pt}
3 \begin{longtable}{@{}L{0.18\textwidth}L{0.22\textwidth}L{0.25\textwidth}L{0.29\textwidth}@{}}
4 \caption{Edition-control ledger. Full hashes are retained so later strengthened editions can supersede specific rows without losing provenance.}\label{tab:edition-ledger}\\
5 \toprule
6 Source family & Selected file & SHA-256 & Decision\\
7 \midrule
8 \endfirsthead
9 \toprule
10 Source family & Selected file & SHA-256 & Decision\\
11 \midrule
12 \endhead
13 \midrule
14 \multicolumn{4}{r}{\small Continued on next page}\\
15 \endfoot
16 \bottomrule
17 \endlastfoot
18 Paper I canonical symbolic core & \nolinkurl{PSC_I_Symbolic_Core.tex} & \texttt{\seqsplit{39c869f3bd16cbef102fe68dcad51125ab4511077cc45de6d91562c0748fa95c}} & Primary theorem-ID and proof-status spine. Use the Expanded Clarified Edition for exposition, but preserve these stable labels/RecordIDs.\\[3pt]
19 Paper I expanded clarified edition & \nolinkurl{PSC_Paper_I_Expanded_Clarified_Edition.tex} & \texttt{\seqsplit{e91239446e2e149bbf571c5bbc7e71a76a6f9a351d68963963cfe87f5fbf3c0f}} & Co-primary expository edition, not a replacement for the canonical symbolic RecordID spine.\\[3pt]
20 Resolution Theory final journal manuscript & \nolinkurl{Resolution_Theory_Final_Journal_Manuscript.tex} & \texttt{\seqsplit{3c0f37a5132c04d0715b0b85a88e34020ffdfc299bf6dd79b7fb4c4bdb32ecec}} & Primary integrated source for finite resolved systems, corner representation/recognition, countable completion, and nonlinear operadic structure.\\[3pt]
21 Paper III strengthened Annals edition & \nolinkurl{PSC_Paper_III_Strengthened_Annals_Edition.tex} & \texttt{\seqsplit{20452d11443835ca9c0e0484250c01fa51e0456574c7f7c7f5549fbd0f934c89}} & Supersedes older Paper III status language on the relative universal obstruction: coker(D), naturality, quotient projectors, relative exact sequence, and mapping cones are theorem-level. The choice-free cross-problem assignment of D remains open.\\[3pt]
22 Core-Transfer Addendum 04 & \nolinkurl{Affine_Mahler_Packets_and_Periodic_Test_Sets.tex} & \texttt{\seqsplit{d864bebe02eac16037f17dc677dee9078fbc02a093c7b491b31d2b0208bb91e1}} & Strongest source for maximal directed cores and the exact finite Mahler/polyphase atlas, composite rank law, sharp channel minimum, and stabilization.\\[3pt]
23 Resolution Theory Galois expanded manuscript & \nolinkurl{Resolution_Theory_Galois_Expanded_Journal_Manuscript.tex} & \texttt{\seqsplit{f3c89f23db5f6e1ee8da7c396c0b30d8274154b8d1fca25d18415ec5dfe54480}} & Primary source for Galois projector strata and classical descent/reconstruction inputs.\\[3pt]
24 Sequence local/polyphase extension & \nolinkurl{Projector_Seed_Calculus_for_Integer_Sequences_Local_Polyphase_Extension.tex} & \texttt{\seqsplit{e310e5fbec56954e4490615acdeecb04122bad9bd9243e79d84a08174039038a}} & Primary source for the broad sequence grammar, pairwise bridges, persistent C-finite complete packet invariant, and local/polyphase exact transfers.\\[3pt]
25 Functional-Mahler/Cartier report 0.3 & \nolinkurl{Komorebi_Custom_GF_Cartier_Padic_Research_Report_0.3.pdf} & \texttt{\seqsplit{4480786c49abcb60fb39e07acf0e250c9a3af68c38ac7b4801f34bdaefd5a936}} & Primary source for the rational functional-Mahler \(\to\) Cartier \(\to\) automaton direction and finite-mask Cartier/carry identification.\\[3pt]
26 Nonlinear transfer operad specialized manuscript & \nolinkurl{Nonlinear_Transfer_Operad.tex} & \texttt{\seqsplit{051970594d8b34c2ec5af67e20e063963b7c8684b75a439f62ed2c5f0e70d3a8}} & Specialized secondary source. Resolution Theory Final is the integrated primary source for overlapping operadic results.\\[3pt]
27 Abstraction as a Resolved Practice & \nolinkurl{Abstraction_as_a_Resolved_Practice(1).tex} & \texttt{\seqsplit{78bad0bd370fec069f61b5b616dbc5898277229429213a227772a2df4f96861d}} & Conceptual source for representation groupoids, broader directed categories, and atlas language; not the theorem source for heterogeneous effective descent.\\[3pt]
28 Projector Calculus final current & \nolinkurl{Projector_Calculus_Final_Current.tex} & \texttt{\seqsplit{cc313296416b08ccbe73d893e1744ae840b6419fc5b6676805ef722ab0401b39}} & Selected exact source for descent--limit interchange and cofinal resolution equivalence.\\[3pt]
29 Master migration ledger & \nolinkurl{Master_Theorem_Migration_Ledger.csv} & \texttt{\seqsplit{dceabf345ac09e507a754a928ca716ed2f797ca9aff8d777e104b49ab73dbdd1}} & Historical dependency/migration evidence only; it does not override a strengthened theorem edition.\\[3pt]
30 Paper III migration/expansion map & \nolinkurl{MIGRATION_AND_EXPANSION_MAP(1).md} & \texttt{\seqsplit{5f42dc03e5989b8883ce934752c3885ce58ae923b900a02943c86c93e4ca2242}} & Authoritative supersession note for the strengthened Paper III rewrite.\\[3pt]
31 Remaining open questions after two resolutions & \nolinkurl{Remaining_Open_Questions_and_Conjectures_After_Two_Resolutions.pdf} & \texttt{\seqsplit{13e41d43b9bbeaf0d4e5ed6dd223f6adfaf46c63ebc51987a118d9ec40843c90}} & Historical open-question snapshot. Every ``open'' entry must be checked against later strengthened editions before reuse.\\[3pt]
32 Universal Lane Transport Theorem, finite profiled form & \nolinkurl{block15_section.tex} & \texttt{\seqsplit{c1ae8aa2472eda9df467bbbf20b3c861f1261333364af06ffaf1cd455b5ab026}} & Selected controlling source for FND-16 and the finite lane-transport theorem family.\\[3pt]
33 Holonomy-Twisted Universal Lane Transport and Orbit Descent & \nolinkurl{block16_section_final.tex} & \texttt{\seqsplit{2b086cc6d806c3cf25b443a6ecefa871adba282d913deffaafabcadad2c0258a}} & Selected controlling source for FND-17 and the finite nontrivial-address-holonomy extension. Final publication copy includes explicit 6 October 2026 local amendments; inherited source retained.\\[3pt]
34 Part IV semantic quotient calculus & \nolinkurl{block17_semantic_quotients_final.tex} & \texttt{\seqsplit{ef408f87352057761b6bf55742f848612f585632691f71488d510393749b0735}} & Primary source for behavioral cores, task congruences, semantic diamonds, residuals, and task-change exactness. Final publication copy includes the explicit 6 October 2026 coinduction proof clarification; inherited source retained.\\[3pt]
35 Part IV carrier and observer calculus & \nolinkurl{block18_carrier_observer_change_final.tex} & \texttt{\seqsplit{6babbf13d884e5bdf86174ce89729ccf69feb694cf84e03c0f52c32038775157}} & Primary source for carrier factorization, joint completion, bridge loss, observer base change, and provenance. Final publication copy includes explicit 6 October 2026 local amendments; inherited source retained.\\[3pt]
36 Part IV admissibility and lifting calculus & \nolinkurl{block19_admissibility_lifting_final.tex} & \texttt{\seqsplit{038f352d1e9a82984963af0e90a14b104b8f17f7b2e8e4df2c8da627bc089799}} & Primary source for optimized defect, completion/gap/escape, geometry-class separation, and enrichment lifting. Final publication copy includes explicit 6 October 2026 local amendments; inherited source retained.\\[3pt]
37 Part IV exact symbolic validation & \nolinkurl{results/block17_semantic_extension_validation.json} & \texttt{\seqsplit{218123b49533a702126e8eea6f2e5f5172d4e9802902c6acb2460d39c0d334d1}} & Finite exact implementation audit retained separately from universal proofs.\\[3pt]
38 \end{longtable}
39 \endgroup

Back to source controls

Back to Stratified Universality