7c41dfe95c
quantum-conformance/receipts/ gains eight energy-landscape receipts the command line made (a sampling run, a settle, a quench, a replay, a sweep, a comparison, and a run on the reference provider, free and priced) and 44 crafted from them, each changing one thing at a rule of quantum-landscape §5.4: a board certified within a capacity and its audit (valid), the floor, a demotion, the reference's own parity, the replay digest, the state's hash, the verdict against the truth, a replay's lines, a sweep's and a comparison's rows, a provider's members, and the first form. receipt_verify.py, written from §5.4's numbered rules, gives `landscape_form` as the engine does, with a self-test of its own and the plant `landscape-unchecked`, which the differential catches (CI's plant count 14 -> 15). The differential agrees three ways on all 389 receipts and on every one of the 28,886 one-member changes of the valid ones. Its float mutation, `v * 2 + 1`, is `v` at -1.0, which a sweep's `lowest` holds: it now changes -1.0 to 0.5. Co-Authored-By: Claude Opus 5.5 <[email protected]>
1 line
2.3 KiB
JSON
1 line
2.3 KiB
JSON
{"request":{"program":"#! title Three colours, four regions: this fails\n#! about Four regions, two triangles sharing a side. There are six good ways to colour it, and none of them has the lowest energy, for the same reason: 0 is not just a third colour.\n#! expect fails\n#! check different 0-1 0-2 1-2 1-3 2-3\nvars 4\noppose 0 1\noppose 0 2\noppose 1 2\noppose 1 3\noppose 2 3\nsolve restarts=8 steps=40\n","seeds":2},"result":{"protocol":"wai.quantum.landscape/1","label":"A classical emulator of the settling model of a planned energy-based processor, running on your machine. Energies are computed exactly. The joule line is this run's operation count priced at rates measured on an FPGA, with a published figure for one integer add beside it for scale. No photonic hardware, custom chip or quantum effect is involved in this run.","member":{"id":"cpu:reference","class":"cpu","kernels":[{"kernel":"wai.quantum.landscape/sample","parity":"reference"}]},"target":-3,"target_is_exact":true,"arrangements":81,"rows":[{"solver":"emulator, sampling, starting at 1.581","classical":false,"parity":"reference","runs":2,"reached_target":2,"passed_checks":0,"best_energy":-3,"operations_per_run":4480,"accumulates_per_run":3200},{"solver":"emulator, deterministic","classical":false,"parity":"reference","runs":2,"reached_target":1,"passed_checks":1,"best_energy":-3,"operations_per_run":4480,"accumulates_per_run":3200},{"solver":"simulated annealing","classical":true,"parity":null,"runs":2,"reached_target":2,"passed_checks":0,"best_energy":-3,"operations_per_run":4482,"accumulates_per_run":2136},{"solver":"tabu search","classical":true,"parity":null,"runs":2,"reached_target":2,"passed_checks":0,"best_energy":-3,"operations_per_run":4485,"accumulates_per_run":1077},{"solver":"greedy descent","classical":true,"parity":null,"runs":2,"reached_target":2,"passed_checks":0,"best_energy":-3,"operations_per_run":4483,"accumulates_per_run":2087}],"engine":{"name":"wai-quantum","version":"0.9.0"},"schema":"wai.quantum.landscape/1","receipt":{"alg":"ed25519","canon":"rfc8785","key":"197f6b23e16c8532c6abc838facd5ea789be0c76b2920334039bfa8b3d368d61","digest":"ab1f173e14be2f37175006007ad95a2f2a68fb926aff1af249fced1a4f00dd03","signature":"e3257b85df3f2a45098eb86caac9ef830e4dc6594332c08a77bbf6719caa4290722f73de7cb64db1eb3c1844c5ab099057ed8d965d6e5f031d3180c05e5f830f"}}}
|