@software{k7_framework_v35,
  title   = {The K₇ Framework (formerly GIFT)},
  author  = {de La Fournière, Brieuc},
  year    = {2026},
  url     = {https://github.com/Arithmon/K7},
  doi     = {10.5281/zenodo.16891489},
  version = {3.5},
  license = {MIT},
  note    = {95 observables, 0.99\% mean deviation on 33 Type I relations (PDG 2024 / NuFIT 6.1), 140 conjuncts certified in Lean 4, 15 axioms (4 main-chain + 11 interval-arithmetic), Donaldson certificate pipeline scoped by docs/analytic_status.md}
}

@article{k7_framework_theory_v35,
  title  = {The K₇ Framework v3.5: Conditional Topological Relations for Standard-Model Parameters},
  author = {de La Fournière, Brieuc},
  year   = {2026},
  note   = {Mean deviation 0.99\% on 33 Type I relations (PDG 2024 / NuFIT 6.1), zero continuous adjustable parameters, 3 integer primitives (N=3, r₈=8, r₂=2), 140 conjuncts in Lean 4},
  url    = {https://github.com/Arithmon/K7}
}

@misc{k7_main_v35,
  title        = {The K₇ Framework: Conditional Topological Relations for Standard-Model Parameters from G₂ Holonomy and E₈×E₈ Structure},
  author       = {de La Fournière, Brieuc},
  year         = {2026},
  month        = {July},
  howpublished = {The K₇ Framework v3.5, 47 pp.},
  doi          = {10.5281/zenodo.21296168},
  url          = {https://github.com/Arithmon/K7/raw/main/publications/papers/pdf/k7_framework_3_5_main.pdf}
}

@misc{k7_s1_foundations_v35,
  title        = {K₇ Framework S1: Mathematical Foundations — E₈, G₂, K₇},
  author       = {de La Fournière, Brieuc},
  year         = {2026},
  month        = {July},
  howpublished = {The K₇ Framework v3.5, Supplement S1},
  doi          = {10.5281/zenodo.21296168},
  url          = {https://github.com/Arithmon/K7/raw/main/publications/papers/pdf/k7_framework_3_5_S1_foundations.pdf}
}

@misc{k7_s2_derivations_v35,
  title        = {K₇ Framework S2: Complete Derivations — Type I Relations},
  author       = {de La Fournière, Brieuc},
  year         = {2026},
  month        = {July},
  howpublished = {The K₇ Framework v3.5, Supplement S2},
  doi          = {10.5281/zenodo.21296168},
  url          = {https://github.com/Arithmon/K7/raw/main/publications/papers/pdf/k7_framework_3_5_S2_derivations.pdf}
}

@misc{k7_s3_observables_v35,
  title        = {K₇ Framework S3: Complete Observable Dataset},
  author       = {de La Fournière, Brieuc},
  year         = {2026},
  month        = {July},
  howpublished = {The K₇ Framework v3.5, Supplement S3},
  doi          = {10.5281/zenodo.21296168},
  url          = {https://github.com/Arithmon/K7/raw/main/publications/papers/pdf/k7_framework_3_5_S3_observables.pdf}
}

@misc{k7_s4_sieve_diagnostics_v35,
  title        = {K₇ Framework S4: Sieve Diagnostics},
  author       = {de La Fournière, Brieuc},
  year         = {2026},
  month        = {July},
  howpublished = {The K₇ Framework v3.5, Supplement S4},
  doi          = {10.5281/zenodo.21296168},
  url          = {https://github.com/Arithmon/K7/raw/main/publications/papers/pdf/k7_framework_3_5_S4_sieve_diagnostics.pdf}
}

@misc{k7_paper_a_certified_neck,
  title        = {Certified Torsion-Free G₂ Structure on a TCS Neck Model via Computer-Assisted Proof},
  author       = {de La Fournière, Brieuc},
  year         = {2026},
  doi          = {10.5281/zenodo.19892350},
  url          = {https://doi.org/10.5281/zenodo.19892350},
  note         = {First computer-assisted existence proof for a metric with special holonomy; h ≤ 8.95×10⁻⁹, ×56 million margin below Joyce ε₀}
}

@misc{k7_paper_b_spectral,
  title        = {Spectral Geometry of an Explicit G₂ Metric: Laplacian Spectrum and Harmonic Forms},
  author       = {de La Fournière, Brieuc},
  year         = {2026},
  doi          = {10.5281/zenodo.19893371},
  url          = {https://doi.org/10.5281/zenodo.19893371},
  note         = {Laplacian spectrum, harmonic forms, λ₁ ≈ 0.12461 (Richardson) ≈ 6π²/475}
}

@misc{k7_paper_c_k3_nk,
  title        = {Newton--Kantorovich Diagnostics on a Donaldson K3 Metric},
  author       = {de La Fournière, Brieuc},
  year         = {2026},
  doi          = {10.5281/zenodo.19708916},
  url          = {https://doi.org/10.5281/zenodo.19708916},
  note         = {NK certificate on CI(2,2,2) K3 with Donaldson-balanced metric, β_Lap k=4 margin ×6.4}
}

@misc{k7_paper_d_donaldson,
  title        = {An Explicit Closed-Form G\textsubscript{2} Ansatz on a K3-Coassociative Neck with Hyperk\"{a}hler Rotation and Picard--Lefschetz Wirtinger Certificate},
  author       = {de La Fournière, Brieuc},
  year         = {2026},
  month        = {May},
  doi          = {10.5281/zenodo.20039066},
  url          = {https://doi.org/10.5281/zenodo.20039066},
  note         = {Donaldson neck-level certificate at 5 levels: topological, ansatz, PL holonomy, spatial embedding, symbolic Wirtinger. Not a compact K7 torsion-free theorem. 15 pp.}
}

@misc{k7_paper_e_rank_one_branched,
  title        = {Rank-1 Branched Adiabatic Machinery for the Donaldson Programme: Neck-Level Closure at D₀},
  author       = {de La Fournière, Brieuc},
  year         = {2026},
  month        = {July},
  doi          = {10.5281/zenodo.21209413},
  url          = {https://doi.org/10.5281/zenodo.21209413},
  note         = {Analytic machinery closed at D₀ (K_Sch ≤ 16/3, q_total = 8.2e-3, κ_E ≤ 1.02, R_0 ≤ 4.9e3). Open: (J) anisotropic perturbation theorem and H_global. Main 68 pp. + supplement 25 pp.}
}

@software{k7_lean_v3429,
  title   = {K7-Lean (formerly GIFT Core): Formal Verification in Lean 4},
  author  = {de La Fournière, Brieuc},
  year    = {2026},
  url     = {https://github.com/Arithmon/K7-Lean},
  version = {3.4.29},
  note    = {143 Lean 4 files, 140 conjuncts, 15 axioms (4 main-chain + 11 interval-arithmetic certificates), 0 sorry, 8391 build jobs, Donaldson coassociative fibration formalized}
}