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]>
30 lines
2.3 KiB
JSON
30 lines
2.3 KiB
JSON
{
|
|
"request": {
|
|
"program": "#! title Twelve talks, two rooms\n#! about Twelve talks go into room A or room B, or are left out. Talks that share an audience must not be in the same room. Talks in a series belong in the same room. Every talk that runs takes a slot, so a talk with little reason to run stays out.\n#! item talk\n#! plus room A\n#! minus room B\n#! zero left out\n#! expect works\n#\n# Three states per variable: + is room A, - is room B, 0 is left out.\n# `agree I J` talks I and J form a series: the same room.\n# `oppose I J` talks I and J share an audience: different rooms.\n# `cost 1` each talk that runs costs 1.\nvars 12\ncost 1\nagree 0 1\nagree 0 2\nagree 0 3\nagree 1 2\nagree 1 3\nagree 2 3\nagree 4 5\nagree 4 6\nagree 4 7\nagree 5 6\nagree 5 7\nagree 6 7\noppose 0 4\noppose 1 5\noppose 2 6\noppose 3 7\noppose 8 0\noppose 8 1\nagree 9 4\nagree 9 5\noppose 10 11\nsolve restarts=8 steps=40\n",
|
|
"seeds": 5
|
|
},
|
|
"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",
|
|
"kernel": "wai.quantum.landscape/sample",
|
|
"parity": "reference"
|
|
},
|
|
"seeds": 4,
|
|
"lines": "1 10a643213b42775b ----++++++00 -10 solved 13440 6c40700b29e6193a\n2 b943d0f8c8353329 ++++------00 -10 solved 13440 c7622819df7be477\n3 ae3a100d5566b39a ----++++++00 -10 solved 13440 1bbb9b13a23613fa\n4 073b51d006f340ae ----++++++00 -10 solved 13440 d203ae5148e4fe55\n",
|
|
"engine": {
|
|
"name": "wai-quantum",
|
|
"version": "0.9.0"
|
|
},
|
|
"schema": "wai.quantum.landscape/1",
|
|
"receipt": {
|
|
"alg": "ed25519",
|
|
"canon": "rfc8785",
|
|
"key": "197f6b23e16c8532c6abc838facd5ea789be0c76b2920334039bfa8b3d368d61",
|
|
"digest": "004d06a456098bee7191567d1018eaedb50db3a5c4e7211a365c767efe0921e4",
|
|
"signature": "52c7b421ab7e73b72d07b2b73bdf1ff664fb6594e755cb0722e14077a7c1772bfbb9ec1f97837b760d54ff1271234349fec78df6d13f1ccfeea7600de65c3b05"
|
|
}
|
|
}
|
|
}
|