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]>
108 lines
4.4 KiB
JSON
108 lines
4.4 KiB
JSON
{
|
||
"request": {
|
||
"program": "#! title A chain with one end held\n#! about Variable 0 is held at +. Each link passes the sign along, or flips it. With one end held, the deterministic mode has one answer, and it gets there in a few sweeps.\n#! expect works\n#! check matches +++--++-\nvars 8\npin 0 +\nagree 0 1\nagree 1 2\noppose 2 3\nagree 3 4\noppose 4 5\nagree 5 6\noppose 6 7\nminimize\n"
|
||
},
|
||
"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": "fpga:board-1",
|
||
"class": "fpga",
|
||
"kernel": "wai.quantum.landscape/settle",
|
||
"parity": "bit-exact",
|
||
"capacity": {
|
||
"cells": 64
|
||
}
|
||
},
|
||
"program_digest": "e4849d4d4d1c0243d3e1cde312127be19f0601c1937d7a373b5ebc8872b202ab",
|
||
"title": "A chain with one end held",
|
||
"about": "Variable 0 is held at +. Each link passes the sign along, or flips it. With one end held, the deterministic mode has one answer, and it gets there in a few sweeps.",
|
||
"item": null,
|
||
"expect": "works",
|
||
"variables": 8,
|
||
"pairs": 7,
|
||
"seed": "1",
|
||
"mode": "settle",
|
||
"mode_words": "Deterministic (temperature 0): every variable starts at 0, then settles, for at most 60 sweeps.",
|
||
"temperature": 0.0,
|
||
"temperature_from": null,
|
||
"restarts": 1,
|
||
"sweeps": 60,
|
||
"state": "+++--++-",
|
||
"groups": [],
|
||
"energy": -10,
|
||
"truth": {
|
||
"arrangements": 6561,
|
||
"lowest": -10.0,
|
||
"at_lowest": 1,
|
||
"at_lowest_passing": 1,
|
||
"example": "+++--++-"
|
||
},
|
||
"reached": true,
|
||
"declared": null,
|
||
"warnings": [],
|
||
"checks": [
|
||
{
|
||
"kind": "matches",
|
||
"passed": true,
|
||
"detail": "This matches the planted answer."
|
||
}
|
||
],
|
||
"verdict": "solved",
|
||
"summary": "It reached energy -10. That is the lowest possible: all 6,561 arrangements were checked, and only this arrangement has it.",
|
||
"work": {
|
||
"sweeps": 9,
|
||
"accumulates": 126,
|
||
"cell_updates": 72,
|
||
"draws": 0,
|
||
"ended": "came to rest",
|
||
"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: 126 accumulates × about 0.16 pJ = about 20 pJ.",
|
||
"rate_pj_per_accumulate": 0.16,
|
||
"rate_source": "Deterministic rate: measured on one FPGA board, on a dense 64-cell test design at 100 MHz, as the slope of power against clock speed. A second method on the same board agrees. No other board has repeated it.",
|
||
"pj": 20.16,
|
||
"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": 3.78,
|
||
"line": "For scale: a published 2014 figure for one 8-bit integer add, about 0.03 pJ, puts this count at about 3.8 pJ. It is a reference point, not a model of any processor."
|
||
},
|
||
"left_out": {
|
||
"board_watts": 3.1,
|
||
"board_hz": 100000000.0,
|
||
"clocks_at_least": 9,
|
||
"pj": 279000.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 9 sweeps need at least 9 clocks, which is about 280 nJ of board power that the line above leaves out."
|
||
},
|
||
"metered": null
|
||
},
|
||
"state_hash": "3be907bec759c3d7",
|
||
"replay": "aa1a20cdf831dc2facfe3964bae8d25d29c16d338b9c0f79e4c5f7f152ef254d",
|
||
"engine": {
|
||
"name": "wai-quantum",
|
||
"version": "0.9.0"
|
||
},
|
||
"schema": "wai.quantum.landscape/1",
|
||
"audit": {
|
||
"checked": [
|
||
{
|
||
"seed": "1",
|
||
"settle": "whole"
|
||
}
|
||
]
|
||
},
|
||
"receipt": {
|
||
"alg": "ed25519",
|
||
"canon": "rfc8785",
|
||
"key": "197f6b23e16c8532c6abc838facd5ea789be0c76b2920334039bfa8b3d368d61",
|
||
"digest": "4cf651be7e2292c3e5846a3beeadd06596462b4d61232a5baf2f3ccf86fae998",
|
||
"signature": "c670db01f0616c726b9c5f212789fb06f01acf4005da52268e1887fc4d889e2e4a8044b65ba509d7af4508219e6e293479538feb143fdf5fad53cb8dfbe6ef05"
|
||
}
|
||
}
|
||
}
|