{
  "contract": "CLASS_I_CUBATURE/1.1",
  "status": "corrected_release_candidate_pending_external_fixation",
  "date": "2026-08-27",
  "extends": "CLASS_I_CUBATURE/1.0",
  "immutable_dependencies": [
    "Paper_VI_v1.3",
    "CLASS_I_CUBATURE/1.0",
    "G6_RELEASE/1.1"
  ],
  "correction": {
    "previously_reported_minimum_orbit": [
      22,
      0,
      0
    ],
    "correct_minimum_orbit": [
      11,
      11,
      0
    ],
    "minimum_mass_orientation_decimal": "0.003874805888537519508839054528148877",
    "negative_mass_orientation_decimal": "-0.006609660200017031631251308016577647",
    "causes": {
      "python_summary": "binary64 cancellation reversed the ordering of two nearby positive masses",
      "julia_assertion": "the verifier retained the stale expected minimum orbit (22,0,0)",
      "julia_transpose": "Matrix(transpose(matrix71)) attempted scalar transpose(::K5); permutedims(matrix71) is required"
    },
    "mathematical_solution_payloads_changed": false,
    "solution_digests_changed": false
  },
  "claims": {
    "paper_vi": {
      "frequency_interval": {
        "inclusive_minimum": 1,
        "inclusive_maximum": 9
      },
      "provenance": "published_theorem"
    },
    "reported_postpublication_range": {
      "frequency_interval": {
        "inclusive_minimum": 10,
        "inclusive_maximum": 21
      },
      "result": "reported_positive_target_degree_rule",
      "certificate_status": "publicly_hosted_exact_certificate_package",
      "maximality": "not_claimed",
      "hosted_certificate": {
        "path": "classI_exact_certificates_f2_f21.json",
        "bytes": 1815267,
        "sha256": "7b3945ad58b76341bbc22e7812a359f64b61a68d413b2668012dc155803edb5e",
        "historical_verifier": {
          "path": "verify_classI_f2_f21.py",
          "bytes": 4102,
          "sha256": "7c3cd105dae6cf36fd140a8b6525ed722fb02b88bd2ba152c465847befa944fa"
        },
        "revision_verifier": {
          "path": "verify_classI_f2_f21.r2.py",
          "bytes": 11383,
          "sha256": "4af07ac2ba14540dfb230920f108cddd0b21e8e80dd2e61dadb79acaad64d7df"
        }
      },
      "does_not_enlarge_paper_vi": true
    },
    "frequency_22": {
      "target_degree": 69,
      "positive_rule": "exact",
      "minimum_orbit": [
        11,
        11,
        0
      ],
      "maximum_nonnegative_degree_on_fixed_X_22": 69
    },
    "all_frequency_conjecture": {
      "open_from_frequency": 25
    },
    "frequencies_23_24": {
      "result": "strictly_positive_H3_invariant_rules",
      "X_23_degree": 71,
      "X_24_degree": 75,
      "certificate_status": "publicly_hosted_exact_certificate_package",
      "format": "CLASS_I_CUBATURE_F23_F24_EXACT/1.1",
      "hosted_certificate": {
        "path": "ClassI_Cubature_f23_f24_exact_certificate_v1.1.json",
        "bytes": 1407835,
        "sha256": "e886510ec03afe014ad143d6d0b45677fc2bb58a7df495374b5780cf79d5b5af"
      },
      "verifier": {
        "path": "verify_ClassI_f23_f24_exact_v1.1.py",
        "bytes": 6818,
        "sha256": "41d83727473850ebfbe0bbea0f57f38a64c08d9849170a880b23163769509ce1"
      },
      "launcher": {
        "path": "replay_recovered.py",
        "bytes": 1621,
        "sha256": "a3bf98e765f18d32f4ac10867c4e914269c61a763d0f7e0b2d1a236b5f41355a"
      },
      "ledger": {
        "path": "ClassI_Cubature_f23_f24_verification_ledger_v1.1.txt",
        "bytes": 10905,
        "sha256": "4d56dc2c65466fc89e6c275fdc38012dbca2c5b74456cf045e7ceedb30a38e6e"
      },
      "maximality": "not_claimed",
      "does_not_enlarge_paper_vi": true
    }
  },
  "non_targets": [
    "movable_node_cubature",
    "signed_weight_maximality",
    "changes_to_SRSD_Omega_QS_JPRV_or_G6_serialization",
    "peer_review",
    "independent_third_party_reproduction"
  ],
  "assets": {
    "python_verifier": {
      "path": "Omega_Naught_ClassI_f22_exact_verifier.py",
      "bytes": 16972,
      "sha256": "ae615d262ecfc564aed119e5002c4fa9c4fadf35812002426298caf7c6ab89bf",
      "runtime": "pass"
    },
    "python_transcript": {
      "path": "Omega_Naught_ClassI_f22_verification_output.txt",
      "bytes": 918,
      "sha256": "7f61a254d04afdc9e65e54355afe84ede6afba9e5874492e755758392a60bf54"
    },
    "julia_verifier": {
      "path": "OmegaNaughtClassIF22ExactVerifier.jl",
      "bytes": 16723,
      "sha256": "5c45650b3baec9889204ac423f8ec62c9cc0782a03e5c30a8467b9cb01a1efea",
      "runtime": "pass_on_julia_1.11.6"
    },
    "julia_transcript": {
      "path": "OmegaNaughtClassIF22ExactVerifier.runtime.txt",
      "bytes": 1468,
      "sha256": "9ec4cbbc3ad02fe9291684830b669522cd4d25fdbff0d97449c3f282279a5336"
    },
    "certificate_directory_manifest": {
      "path": "certificates/SHA256SUMS.txt",
      "bytes": 682,
      "sha256": "27386f9612590e26ab652ca23fbf773416287621d08f822b17069e5f93a4f4bd"
    }
  },
  "replay_environment": {
    "python": "3.12.13",
    "julia": "1.11.6",
    "platform": "Linux x86_64",
    "julia_official_archive_sha256": "e99e52e2029d845097c68f2372d836186f0eb3fb897a9dde0bdf9ee9250d03d5"
  },
  "solution_digests": {
    "degree_69_positive": "0865572f76c7b8c9816ce937a79361c8926abe785ac3f41b06e4f289665bf340",
    "degree_71_forced": "c1e620fc9cf6d99623423cf82450540a5991679e8ded6632bd959914068949f2"
  },
  "publication_boundary": {
    "external_archival_fixation": "pending",
    "peer_review": "none_recorded",
    "independent_third_party_reproduction": "none_recorded"
  },
  "license": {
    "docs_data": "CC-BY-4.0",
    "code": "MIT",
    "docs_data_file": "LICENSE",
    "code_file": "LICENSE-CODE"
  },
  "note": "Frequency-22 correction candidate. Recovered 10\u201321 and 23\u201324 exact packages are hosted alongside this file; they do not rewrite CLASS_I_CUBATURE/1.0, G6_RELEASE/1.1, or Paper VI v1.3. Never reuse version 1.1 for different frozen f=22 content after fixation."
}
