open-standards/wai/quantum-conformance/receipts/jobs/crafted-landscape-replay-other.json
Transaction Science 7c41dfe95c Landscape receipts in the corpus, judged by form by both verifiers
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]>
2026-11-10 15:19:26 -05:00

120 lines
5.4 KiB
JSON
Raw Permalink Blame History

This file contains ambiguous Unicode characters

This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

{
"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",
"seed": "7"
},
"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"
},
"program_digest": "ae2434789154ca16cfcf9c4296ca323463a0214c75aa18e631b19ad0bd0a7044",
"title": "Twelve talks, two rooms",
"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.",
"item": "talk",
"expect": "works",
"variables": 12,
"pairs": 21,
"seed": "7",
"mode": "sample",
"mode_words": "Sampling (above temperature 0): 8 random starts of 40 sweeps each, cooling from temperature 1.871 to 0. That temperature is the default: the square root of the mean couplings a variable has, and at least 1. The lowest energy found is kept. The randomness is classical, from a seeded generator.",
"temperature": 1.8708286933869707,
"temperature_from": "landscape",
"restarts": 8,
"sweeps": 40,
"state": "++++------00",
"groups": [
{
"name": "room A",
"items": [
0,
1,
2,
3
]
},
{
"name": "room B",
"items": [
4,
5,
6,
7,
8,
9
]
},
{
"name": "left out",
"items": [
10,
11
]
}
],
"energy": -10,
"truth": {
"arrangements": 531441,
"lowest": -10.0,
"at_lowest": 2,
"at_lowest_passing": null,
"example": "++++------00"
},
"reached": true,
"declared": null,
"warnings": [],
"checks": [],
"verdict": "solved",
"summary": "It reached energy -10. That is the lowest possible: all 531,441 arrangements were checked, and 2 of them share it.",
"work": {
"sweeps": 320,
"accumulates": 13440,
"cell_updates": 3840,
"draws": 3744,
"ended": "every sweep run",
"rests": true
},
"joules": {
"kind": "priced",
"class": "ModelBased",
"describes": "the work on one FPGA board, not the machine that ran this job",
"line": "Priced, not read from a meter: 13,440 accumulates × about 0.41 pJ = about 5.5 nJ.",
"rate_pj_per_accumulate": 0.41,
"rate_source": "Sampling rate: measured on one FPGA board, as the deterministic rate plus about 0.25 pJ for the sampler, from paired readings at one temperature, 0.25. That design updates all its cells at once, and this run updates them one by one.",
"pj": 5510.4,
"published_add": {
"class": "Estimator",
"rate_pj_per_accumulate": 0.03,
"source": "a published 2014 figure for the energy of one 8-bit integer add in 45 nm logic",
"pj": 403.2,
"line": "For scale: a published 2014 figure for one 8-bit integer add, about 0.03 pJ, puts this count at about 400 pJ. It is a reference point, not a model of any processor, and it has no term for sampling."
},
"left_out": {
"board_watts": 3.1,
"board_hz": 100000000.0,
"clocks_at_least": 320,
"pj": 9920000.0,
"line": "Small jobs price low. These rates count only the work: that board also draws about 3.1 W at every clock. This run's 320 sweeps need at least 320 clocks, which is about 9.9 µJ of board power that the line above leaves out."
},
"metered": null
},
"state_hash": "f87d03cd44d4a94f",
"replay": "0000000000000000000000000000000000000000000000000000000000000000",
"engine": {
"name": "wai-quantum",
"version": "0.9.0"
},
"schema": "wai.quantum.landscape/1",
"receipt": {
"alg": "ed25519",
"canon": "rfc8785",
"key": "197f6b23e16c8532c6abc838facd5ea789be0c76b2920334039bfa8b3d368d61",
"digest": "54e3f1878b8dc4ba4d17ffc3c2d073307d438773c834aad3e824780600dc42df",
"signature": "8d91547268995bc79630193dff3f06045e8bf3aa5ec75e27e669244d517aa8ff507cea71cefe0780388add4c12e715729e64ea4041ceb4196bc89e2513323203"
}
}
}