GwendalTsang/quantum4 / dfthc_source /certificate.json
GwendalTsang's picture
download
raw
5.85 kB
{
"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.