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]>
92 lines
3.1 KiB
JSON
92 lines
3.1 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": "reference",
|
|
"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": "ddb65e22ff75d66fc5738de8c6ccd8c2a1f841fdabd819c536ad60b126cad107",
|
|
"signature": "c7a4b7cc4cf1aab4ebfc03d2298bdf194dfc8ca059d34ba3f5bd3725324f5f1dec981c2ad26e627cb4c2144488e0bc5ccbbd553668cd21e45c9901118f8f1701"
|
|
}
|
|
}
|
|
}
|