# Additive machine contract for CLASS_I_CUBATURE/1.1
# UTF-8, key=value. Corrected release candidate. Does not rewrite 1.0.
contract=CLASS_I_CUBATURE/1.1
status=corrected_release_candidate_pending_external_fixation
extends=CLASS_I_CUBATURE/1.0
date=2026-08-27
immutable_dependencies=Paper_VI_v1.3,CLASS_I_CUBATURE/1.0,G6_RELEASE/1.1
paper_vi_frequency_inclusive_minimum=1
paper_vi_frequency_inclusive_maximum=9
paper_vi_provenance=published_theorem
reported_postpublication_frequency_inclusive_minimum=10
reported_postpublication_frequency_inclusive_maximum=21
reported_postpublication_result=reported_positive_target_degree_rule
reported_postpublication_certificate_status=publicly_hosted_exact_certificate_package
reported_postpublication_maximality=not_claimed
frequency_22_target_degree=69
frequency_22_positive_rule=exact
frequency_22_minimum_orbit=11,11,0
frequency_22_maximum_nonnegative_degree_on_fixed_X_22=69
all_frequency_conjecture_open_from=25
f23_f24_certificate_status=publicly_hosted_exact_certificate_package
f23_f24_certificate_sha256=e886510ec03afe014ad143d6d0b45677fc2bb58a7df495374b5780cf79d5b5af
f2_f21_certificate_sha256=7b3945ad58b76341bbc22e7812a359f64b61a68d413b2668012dc155803edb5e
correction_python_summary=binary64 cancellation reversed the ordering of two nearby positive masses
correction_julia_assertion=the verifier retained the stale expected minimum orbit (22,0,0)
correction_julia_transpose=Matrix(transpose(matrix71)) attempted scalar transpose(::K5); permutedims(matrix71) is required
julia_verifier_runtime=pass_on_julia_1.11.6
python_verifier_runtime=pass
degree_69_solution_sha256=0865572f76c7b8c9816ce937a79361c8926abe785ac3f41b06e4f289665bf340
degree_71_solution_sha256=c1e620fc9cf6d99623423cf82450540a5991679e8ded6632bd959914068949f2
python_verifier_sha256=ae615d262ecfc564aed119e5002c4fa9c4fadf35812002426298caf7c6ab89bf
julia_verifier_sha256=5c45650b3baec9889204ac423f8ec62c9cc0782a03e5c30a8467b9cb01a1efea
license_docs_data=CC-BY-4.0
license_code=MIT
