./ ├── BELNAP_BORN_RULE_QM.pdf ├── BanachMeasure_Resolution.md ├── BanachMeasure_Resolution.pdf ├── DONE_TODO.md ├── IG_QM_Proof.md ├── IMSCRIPTION_REF.png ├── Imscribing │ ├── AgentSelf.lean │ ├── Algebra.lean │ ├── Basic.lean │ ├── BootstrapSequence.lean │ ├── Classical │ │ ├── DescentTest.lean │ │ ├── HeckeLandau.lean │ │ ├── Solitary10.lean │ │ ├── Solitary10.lean.bak │ │ ├── Solitary10.lean.bak2 │ │ ├── Solitary10.lean.full │ │ ├── Solitary10_backup.lean │ │ ├── Solitary10_fix.lean │ │ ├── Solitary10_replacement.lean │ │ └── descent_7_5.lean │ ├── Consciousness.lean │ ├── Decomposition.lean │ ├── EulerInvariant.lean │ ├── GrammarBridge.lean │ ├── IGMorphism.lean │ ├── MetaYonedaCollapse.lean │ ├── Millennium -> ../Millennium │ ├── Paraconsistent │ │ ├── Belnap.lean │ │ ├── BelnapCategory.lean │ │ ├── BelnapLL.lean │ │ ├── BelnapTemporal.lean │ │ ├── ConsciousKernel.lean │ │ ├── CrystalScheduler.lean │ │ ├── DialetheicAlignment.lean │ │ ├── Init.lean │ │ ├── Kernel.lean │ │ ├── Main.lean │ │ ├── MultiAgentBelnap.lean │ │ ├── ParaconsistentShell.lean │ │ ├── ParaconsistentTopos.l │ │ ├── ParaconsistentTopos.lean │ │ ├── ParadoxFS.lean │ │ ├── Portal.lean │ │ ├── QCI_FrobeniusBias.lean │ │ ├── QCI_PvsNP_Bridge.lean │ │ ├── QCI_RH_Bridge.lean │ │ ├── QCI_SICPOVM_Bridge.lean │ │ ├── QCI_Sequences.lean │ │ ├── QCI_YM_Bridge.lean │ │ ├── QCI_nRegister.lean │ │ ├── QuantumClassicalInter │ │ ├── QuantumClassicalInterface.lean │ │ ├── SelfVerification.lean │ │ ├── SelfVerifyingWASM.lean │ │ ├── Shor │ │ │ ├── BelnapModExp.lean │ │ │ ├── BelnapNFiducial.lean │ │ │ ├── BelnapQFT.lean │ │ │ ├── BelnapWHMultilattice.lean │ │ │ ├── DialetheicOperator.lean │ │ │ ├── FullPipeline.lean │ │ │ ├── MZIMesh.lean │ │ │ ├── pycache │ │ │ │ └── belnap_shor_executor.cpython-312.pyc │ │ │ └── belnap_shor_executor.py │ │ ├── TupleCodec.lean │ │ └── paraconsistent_kernel_manuscript.tex │ ├── PrimitiveMismatch.lean │ ├── Primitives -> ../Primitives │ ├── ProofTheory.lean │ └── VesselContent.lean ├── MPP_ASSESSMENT.md ├── Manuscript_BanachResolution.md ├── Millenniu ├── Millennium │ ├── BSD.lean │ ├── BSD_Complete_Proof.lean │ ├── BSD_GateInhabitants.lean │ ├── BSD_MathBridge.lean │ ├── BSD_Proof.lean │ ├── BSD_Resolution.lean │ ├── BanachMeasure.lean │ ├── Beal.lean │ ├── CMPLX_IMGN.lean │ ├── CONTENTS_Full_Mathematics.md │ ├── CONTENTS_Full_Mathematics.tex │ ├── Collatz.lean │ ├── CompositionRules.lean │ ├── CrystalBoot.lean │ ├── Dixmier.lean │ ├── Dixmier_sections_67.lean │ ├── E8G2_Vessel.lean │ ├── E8G2_Vessel_Proofs.lean │ ├── FrobeniusStructure.lean │ ├── GapCompletion.lean │ ├── GeneralizedPipeline.lean │ ├── Goldbach.lean │ ├── Hodge.lean │ ├── Hodge_AlgebraicCycleConstruction.lean │ ├── Hodge_Descent.lean │ ├── Hodge_GateInhabitants.lean │ ├── Hodge_Grammar.lean │ ├── Hodge_KernelCrossing.lean │ ├── Hodge_Mathematical_Proof.lean │ ├── Hodge_Proof.lean │ ├── Hodge_RegulatorSurjectivity.lean │ ├── Hodge_ThresholdCrossing.lean │ ├── IGThresholdAnalysis.lean │ ├── ImaginaryNumbers.lean │ ├── LeeYang_Xi_Product_Construction.lean │ ├── Lefschetz11.lean │ ├── Lefschetz11_Grammar.lean │ ├── LonelyRunner.lean │ ├── Manuscript_ZFCt.lean │ ├── Master_Proof.lean │ ├── NS.lean │ ├── NS_CriticalBound.lean │ ├── NS_Mathematical_Proof.lean │ ├── NS_Proof.lean │ ├── NS_Resolution.lean │ ├── NS_Seige.lean │ ├── NS_Seige_Backup.lean │ ├── NS_ZFCt_Bridge.lean │ ├── OPN.lean │ ├── OPN_Constraint_Propagation.md │ ├── OPN_Proof.lean │ ├── OPN_PsiGraph.lean │ ├── OracleDelphi.lean │ ├── ParadoxBoot.lean │ ├── PerfectCuboid │ │ ├── Bootstrap.lean │ │ ├── FactorizationLemma.lean │ │ ├── SOLUTION.md │ │ └── StructuralProof.lean │ ├── PerfectCuboid.lean │ ├── Pkg.lean │ ├── PrimitiveBridge.lean │ ├── PrimitiveConventionalBridge.lean │ ├── PvsNP.lean │ ├── PvsNP_Certificates.lean │ ├── PvsNP_Proof.lean │ ├── PvsNP_Structural.lean │ ├── RH.lean │ ├── RH_GateInhabitants.lean │ ├── RH_LeeYang_Bridge.lean │ ├── RH_Mathematical_Proof.lean │ ├── RH_Proof.lean │ ├── RH_ZFCt_Bridge.lean │ ├── SIC_POVM_Stark.lean │ ├── SpiderMachine.lean │ ├── Suffering.lean │ ├── TetractysInit.lean │ ├── ThresholdFrobenius.lean │ ├── Thresholds.lean │ ├── TwinPrime.lean │ ├── UnifiedForcing.lean │ ├── UniverseRulesets.lean │ ├── WorldReligions.lean │ ├── YM.lean │ ├── YM_Closure.lean │ ├── YM_GateInhabitants.lean │ ├── YM_Mathematical_Proof.lean │ ├── YM_Proof.lean │ ├── YM_ZFCt_Bridge.lean │ ├── ZFC_FrobeniusExact.lean │ ├── ZFCt_Unified_Bridge.lean │ ├── Zosimos_Stilling.lean │ ├── chunked_test.lean │ ├── test_path.txt │ ├── test_write.lean │ └── truth.lean ├── Millennium_Manuscript.md ├── NICE.md ├── Primitives │ ├── BSD_2adic.lean │ ├── CLU.lean │ ├── Catalog.lean │ ├── Core.lean │ ├── Crystal.lean │ ├── Crystal.lean.bak │ ├── EML.lean │ ├── Imscription.lean │ ├── Lattice.lean │ ├── LinearOrder.lean │ ├── OPN_2adic.lean │ ├── OPN_2adic.lean.bak │ ├── OPN_2adic_clean.lean │ ├── OPN_2adic_fresh.lean │ ├── OPN_2adic_fresh_copy.lean │ ├── OPN_euler.lean │ ├── SacredVessel.lean │ ├── TierCrossing.lean │ ├── ZFCs.lean │ └── ZFCt.lean ├── README.md ├── ZFCtLean.txt ├── pycache │ └── pipeline_runner.cpython-312.pyc ├── commit.txt ├── compute_lattice.py ├── euler_complete.lean ├── euler_complete_fixed.lean ├── euler_proof_temp.lean ├── exOS.aux ├── exOS.log ├── exOS.out ├── exOS.pdf ├── fix2.py ├── fix3.py ├── fix_all_sorries.py ├── fix_coeff.py ├── fix_coeff2.py ├── fix_final.py ├── fix_opn.py ├── fix_opn10.py ├── fix_opn11.py ├── fix_opn2.py ├── fix_opn3.py ├── fix_opn4.py ├── fix_opn5.py ├── fix_opn6.py ├── fix_opn7.py ├── fix_opn8.py ├── fix_opn9.py ├── fix_restore.py ├── fix_script.py ├── fix_solitary10.py ├── fix_solitary10_complete.py ├── fix_sorries.py ├── fix_sorry.py ├── fix_sorry1.py ├── gen_fix.py ├── gen_lefschetz.py ├── gen_solitary10.py ├── gen_solitary10_p2.py ├── gen_solitary10_p2a.py ├── gen_solitary10_p2b.py ├── gen_solitary10_p3.py ├── gen_solitary10_v2.py ├── gourly.py ├── html │ └── IG_primitive_map_3d.html ├── lake-manifest.json ├── lakefile.toml ├── lakefile.toml.bak ├── lakefile.toml.bak2 ├── lakefile.toml.bak3 ├── lean-toolchain ├── main.py ├── manuscript_honest_gaps.md ├── manuscript_honest_gaps.pdf ├── markdown │ ├── 1MILANKH.md │ ├── BELNAP_BORN_RULE_QM.md │ ├── BSD_RESOLUTION.md │ ├── BSD_STRUCTURAL_DOCUMENTATION.md │ ├── GEMINI.md │ ├── INTEGRATION_REPORT.md │ ├── MATHZ.md │ ├── MERGE_AUDIT.md │ ├── MILLANKH_AND_ZFCt.md │ ├── MILLENNIUM_BARRIERS_PAPER.md │ ├── MILLENNIUM_BARRIERS_PAPER_LIFTED.md │ ├── MILLER_REVIEWS.md │ ├── NS_RESOLUTION.md │ ├── NS_RESOLUTION_FINAL.md │ ├── NS_STRUCTURAL_DOCUMENTation.md │ ├── PARACONSISTENT_LEAN_KERNEL.md │ ├── POLIGNAC_PROOFS.md │ ├── POLIGNAC_PROOFS_ZFC_t.md │ ├── PRIMITIVE_THEOREMS.md │ ├── PROOFLINE.md │ ├── PROOFLINE_L.md │ ├── RH_STRUCTURAL_DOCUMENTATION.md │ ├── STRUCTURAL_ANALYSIS.md │ ├── STRUCTURAL_REVIEW.md │ ├── TENSOR_PRIMER.md │ ├── THREE_LAYER_MANUSCRIPT.md │ ├── THREE_PLANE_DEMONSTRATION.md │ ├── TPC_primitive_proof.md │ ├── YM_STRUCTURAL_DOCUMENTATION.md │ ├── ZFC_ZFCt_Article.md │ ├── abc_conjecture_dual_proof.md │ ├── abc_conjecture_dual_proof_expanded.md │ ├── abc_conjecture_dual_proof_expanded_lifted.md │ ├── abc_proof_completed.md │ ├── papers │ │ └── stabilizing_operator_theory_response.md │ └── polignac_proof.md ├── ob3ect ├── patch_euler.py ├── patch_ns_lean.py ├── patch_rh_lean.py ├── patch_rh_ly.py ├── patch_rh_ly_2.py ├── pdf │ ├── BSD_RESOLUTION.pdf │ ├── BSD_STRUCTURAL_DOCUMENTATION.pdf │ ├── CLAY_MPP.pdf │ ├── LEAN_README.pdf │ ├── MILLANKH_AND_ZFCt.pdf │ ├── MILLENNIUM_BARRIERS_PAPER.pdf │ ├── NS_RESOLUTION.pdf │ ├── NS_RESOLUTION_FINAL.pdf │ ├── NS_Resolution.lean.pdf │ ├── POLIGNAC_PROOFS.pdf │ ├── POLIGNAC_PROOFS_ZFC_t.pdf │ ├── PRIMITIVE_THEOREMS.pdf │ ├── PRIM_REF.pdf │ ├── README.pdf │ ├── SYNCHART.pdf │ ├── TENSOR_PRIMER.pdf │ ├── THREE_LAYER_MANUSCRIPT.pdf │ ├── THREE_PLANE_DEMONSTRATION.pdf │ └── frobenius_mzi_3x3.pdf ├── pipeline_runner.py ├── pyproject.toml ├── test.lean ├── tex │ ├── 1MILANKH.tex │ ├── MILLANKH_AND_ZFCt.tex │ ├── MILLENNIUM_BARRIERS_PAPER_LIFTED.aux │ ├── MILLENNIUM_BARRIERS_PAPER_LIFTED.log │ ├── MILLENNIUM_BARRIERS_PAPER_LIFTED.out │ ├── MILLENNIUM_BARRIERS_PAPER_LIFTED.pdf │ ├── MILLENNIUM_BARRIERS_PAPER_LIFTED.tex │ ├── MILLER_REVIEWS.tex │ ├── Millennium_Manuscript.tex │ ├── Millennium_Manuscript_lifted.tex │ ├── POLIGNAC_PROOFS.tex │ ├── POLIGNAC_PROOFS_ZFC_t.tex │ ├── PRIM_REF.tex │ ├── THREE_LAYER_MANUSCRIPT.tex │ ├── THREE_LAYER_MANUSCRIPT_body.tex │ ├── TPC_conventional_proof.tex │ ├── TPC_primitive_proof.tex │ ├── abc_conjecture_dual_proof.tex │ ├── abc_conjecture_dual_proof_expanded.tex │ ├── abc_conjecture_dual_proof_expanded_lifted.tex │ ├── frobenius_mzi_3x3.aux │ ├── frobenius_mzi_3x3.log │ ├── frobenius_mzi_3x3.pdf │ └── frobenius_mzi_3x3.tex ├── tree.md └── uv.lock
18 directories, 331 files