Buckets:
| { | |
| "status": "PASS", | |
| "objective": "At least 30 percent below original competition baseline", | |
| "baseline_score": 3355599588.3155365, | |
| "target_score": 2348919711.820875, | |
| "score_default": 2309230097.5865555, | |
| "score_independent": 2309230043.6354394, | |
| "improvement_percent_default": 31.182787552261072, | |
| "improvement_percent_independent": 31.182789160054693, | |
| "canonical_submission_sha256": "7b79a311bfb66d9e9573cb8b12023ad1b852ed07ae7dae75f79037fde98171ea", | |
| "submission_file_sha256": { | |
| "angle_k_2.kmb": "2165dc0985cd83656794c5d3932c56f5b68850cba4dbc7eaa4d0d5ca0841be7f", | |
| "angle_k_4.kmb": "540f1c5c327ca65ea6855c6a206a79e0d3cfaa4f9078215af43bf4bcc77eee69", | |
| "submission.npz": "ca2c1849e9e627fc62d579691f461bd1279fd60f0508eed566412e005f7fff4b", | |
| "angle_k_0.kmb": "2a180507cce2592b0dee36d02f961352931c349fd8970dc7af9ece75be880171", | |
| "angle_k_3.kmb": "d4384e955621a8c960e2621efb67f15db0ef1ecc646ea9e2539a1e634780986c", | |
| "angle_k_1.kmb": "c0e7dfcdea585d78e2c1772f2489fe52c45db195543fee8a0753841fd6e1b398", | |
| "angle_k_5.kmb": "af11400b7c7e05c218eeaf53bc1a1fac739030a9907ec52919b629afb4e73dea", | |
| "angle_k_6.kmb": "0b8efb79300779fa37ecccbc99afaa2532df8f84882ce42a4c8041f8a8311de3" | |
| }, | |
| "verifier_outputs": [ | |
| "verify_default.json", | |
| "verify_independent.json" | |
| ], | |
| "reproduction_evidence": "reproduction_check.json", | |
| "independent_salt": "coordinator-final-merged-c28-30percent-20261023", | |
| "unchanged_original_source_sha256": { | |
| "verifiers/dfthcsos/verify.py": "0775be7a528922367caebe9e4d051d6199811f1aefeaa4b793eaaa4621b8ec9d", | |
| "verifiers/dfthcsos/scoreinfra/costs_prepare.py": "7f1e190c42fc5325f3e6689fbbef51f95b0cb12f1c828cda92b6c088e72206da", | |
| "verifiers/dfthcsos/scoreinfra/dfthc_math.py": "ae82898d47a7a86b96378fb906e0f8a9f46003065cf19c7c09952a123b5b5af8", | |
| "verifiers/dfthcsos/scoreinfra/circuits.py": "fc027b52fdcebe14404f403a089122485d097ed65d03e6d989623d620b1ab68c", | |
| "verifiers/dfthcsos/example_submission/angle_k_reference_circuit.py": "8daccdca69f2d718b0176cd9281803df84a988ea5ac6c167fbb02e461ac2b371", | |
| "sample_submission/dfthcsos/submission.npz": "14d5cc25eb3bf82a9ccb87c811db28d127bef6d28697dd190dc1e875de3bfe69" | |
| }, | |
| "reference_data_sha256": { | |
| "verifiers/dfthcsos/FeMoCo76o113e.fcidump": "e5a48af746fd075026dec9e8f5df2d363802a121e8c53af9a0b984bde695e1bd", | |
| "verifiers/dfthcsos/FeMoCo76o113e.fixed_shifts.npz": "7b7facf63fe35a9d9d3d00787ffdb700c863fa845fe4724d7f7c54778151cd87" | |
| }, | |
| "method_source_sha256": { | |
| "research/qrom_30/anf_merged.py": "d589b0d8768108c8725c4123550f77dab9bcb62191d1a4eb4941d958019f7588", | |
| "research/qrom_30/phase_merge.py": "433c1a655d3708038d7157af38c3c5a6854f05bda671865e4d8d48424ff51ed3", | |
| "research/qrom_30/PROOF.md": "0c0f613a78bd157410b42aeae6093d3112267ba948480deae30f1d8614605ead", | |
| "research/qrom_30/check_phase_merge.py": "b5892c4e686e6b258dcfd31a40aae6d393dc4f341af10dc10c3cbd591400faff", | |
| "research/qrom_30/independent_check.py": "d4d234b6aba2bda16c98e867af2f0c6e2a2752aa758732c5c7775b592e4c9a65", | |
| "research/qrom_30/check_fullsize_words.py": "7252ed749a1ab3f7bbd0c9c5a3009ade0ab064e8d0d36f7f65f67bedd23384ac", | |
| "research/shape_30/ANF_REVIEW.md": "e230a143c0e316912f611292fcdb4fc300efd8af22fa78917323570e1d43a21b", | |
| "research/shape_30/check_anf.py": "749b439b7338a68a6393c001a4894ebda32d021ad1471d7f1b5b3bbfc8f1109c", | |
| "research/precision_30/refit.py": "0e014fa5972272103355497ef6bc6276415a9a9aa428c1766b256282ff22bade", | |
| "research/precision_30/global_fit.py": "01a301ae8188e20f39f7b2cbbb78fb3fb27734cfeee5e3b05df0de819029e299", | |
| "research/precision_30/polish.py": "dc33a4d16ecccac73ec3a29732e9fb43dc2aa5139f1143600bc2d8c4822ed99e", | |
| "research/precision_30/interpolate.py": "fd3e360019eab9beb81a071e9319a080cd8e8616a5aa9efc6228aefce77d0a0a", | |
| "research/precision_30/compress.py": "efb37ff64640bd37983a7b8020b396d155c274e22bfb8e192d7ddf3e3abcfe74", | |
| "research/precision_30/copy_sweep.py": "8fb901ee2079fb4fdfef2cd5b368c06fad7c72b715c1bcdd2f35e366b5cd4ca3", | |
| "research/precision_30/finalize_rotation.py": "9559f6863d97e6587c896f426bdd1cfaeeba96f4ea96279030483ebb657dd4b1", | |
| "experiments/precision_30/gradient_checks.json": "b981972463077ce095a8a24b2cb5085c621e2754980e116ed4f1d79f1fbf9aac", | |
| "research/compression_30/qwen_validation.json": "56ee78b1fba4a8ea79f2d089a33b69e148b6ab95092e99732215c64f0a235fcb", | |
| "research/qrom_30/claude/RESULT.md": "cb668416acae2bf72446ede69769ae7ac4949b78f58ea6e40ceae32a86b90dd1" | |
| }, | |
| "numerical_validation": { | |
| "gram_relative_max_independent": 7.74850546701425e-15, | |
| "unchanged_two_body_words": true, | |
| "source": "experiments/precision_30/C28_gaprestore.npz", | |
| "source_sha256": "ae30d9f1018826f80d8b99c29c145b16ef646e7dfcbe0912e6853ac30cbc92b7", | |
| "invariant_evidence_sha256": "7fd92971972027ce1e56b22cac25c258f9a680b4d1ad71e69d13430892124c38" | |
| }, | |
| "branch_validation": { | |
| "proof": "research/qrom_30/PROOF.md", | |
| "review": "research/shape_30/ANF_REVIEW.md", | |
| "primitive_cases": 176160, | |
| "independent_simulator_shots": 524288, | |
| "final_arbitrary_word_cases": 222656, | |
| "evidence": [ | |
| "experiments/qrom_30/independent_check.json", | |
| "experiments/qrom_30/phase_merge_check.json", | |
| "experiments/shape_30/anf_independent.json", | |
| "experiments/coordinator_verified/merged_C28_b10_30/arbitrary_words_check.json" | |
| ] | |
| }, | |
| "score_variation": "Fully corrected measurement-dependent phase cleanup causes tiny sampled Toffoli variation across salts.", | |
| "external_workers": { | |
| "Claude": "Tool-enabled CLI implemented ANF prototype; native review corrected proof/testing overclaims.", | |
| "Qwen": "Tool-enabled pi cost analysis required a bounded correction; corrected one-row cost independently checked.", | |
| "Codex": "Native workers completed numerical fitting, synthesis, proofs and review." | |
| } | |
| } | |
Xet Storage Details
- Size:
- 5.85 kB
- Xet hash:
- 42b9531acc57fd51cf48b88c158b7504b7d4542ad9d08a247fba216dfe6f7088
·
Xet efficiently stores files, intelligently splitting them into unique chunks and accelerating uploads and downloads. More info.