{
  "title": "A Uniform Calculation of Weight-Preserving Infinitesimal Braid Deformations in Type D",
  "purpose": "Companion computations for the written uniform type-D proof; finite diagnostics do not replace the proof.",
  "layout": {
    "code/": "Current portable verification programs.",
    "independent_review/": "Separately implemented AI-assisted coefficient checks; obsolete absolute import paths removed.",
    "input_certificates/": "Six archived finite-rank modular certificate data files.",
    "results/": "Recorded machine-readable outputs; rerunning overwrites local result files.",
    "AI_PROVENANCE.json": "Contributions, AI roles, and verification limits.",
    "MANIFEST.json": "SHA-256 inventory, excluding the manifest itself."
  },
  "commands_from_extracted_submission_root": [
    "python anc/code/run_all.py",
    "python -m pip install sympy==1.14.0",
    "python anc/code/run_all.py --include-independent-audit"
  ],
  "requirements": {
    "python": ">=3.10",
    "default_checks": "Python standard library only",
    "optional_independent_symbolic_checks": "SymPy; replayed using 1.14.0"
  },
  "checks": {
    "normal_form": "Exact Laurent coefficient calculations at the ranks listed in normal_form_checks.json.",
    "uniform_identities": "Exact Laurent coefficient diagnostics at n=4,5,6, not a general-rank proof.",
    "family": "Exact simultaneous Laurent check of 15 tangent directions for D4.",
    "certificates": "Reconstructs the supplied pivot minors, hashes and nonzero modular determinants for D4-D7; alternate q=3 certificates for D4,D5.",
    "prior_art_dictionary": "Exact Laurent checks for n=4,5 against the earlier multiparameter construction.",
    "independent_replay": "150 outer and 628 internal modular checks, 28 additional row-N checks, and 5 symbolic equality assertions."
  },
  "equation_numbering": "Some historical script comments retain pre-format equation numbers. Match formulas by named coefficient and tensor input/output; row-N kN1 -> Nk1 is equation (4.7) in the formatted manuscript.",
  "historical_matlab": "Not included here; not rerun for the October verification.",
  "repository_url": "https://github.com/WangHangang/dn-braid-deformation-certificates",
  "platform_execution": "Hexagon stores the anc scripts as source assets; it does not execute them.",
  "repository_snapshot_url": "https://github.com/WangHangang/dn-braid-deformation-certificates/tree/7f0a4e4aa8a38f6b1b3b268affe475c5bb46544d",
  "repository_commit": "7f0a4e4aa8a38f6b1b3b268affe475c5bb46544d"
}