Exact

Exact Union RegExp

Repository files (latest commit first)

Filename	Latest commit message	Latest commit date
Transaction Science 40ccfdbc01 wai-quantum: wai.quantum.landscape/2, a cost for each variable, constraints, joules priced only with evidence, and both conformance sets frozen ... The second version of the energy-landscape job (extensions/quantum-landscape-2.md), alongside the first, which answers byte for byte as before (register T1-1 and T4-5; holes H-7, H-9, R-30). - Each variable has its own cost, of either sign (`cost I C`; `cost C` may be below 0). A variable whose cost is below 0 is never 0 in a state of lowest energy, so `exactly K I J ...` (one-hot and cardinality) and `atmost 1 I J ...` lower exactly to couplings of -1 and whole-number fields; `#! check exactly` and `#! check atmost` grade an answer. - Kernels wai.quantum.landscape2/settle and /sample: each cell at its own cost; the settle move is the cell's lowest energy, a tie to 0 then to +, the first version's move wherever a cost is 0 or more. A request names the version with "protocol"; none is the first. - Joules: a run at temperature 0 priced at about 0.88 pJ an accumulate, the open FPGA member's measured settle figure, with its provenance, caveats and files under `evidence`; a run above it is "unpriced", with why and no figure. The first version keeps its rates (its replay lines hash whole answers) and its section 4.4 now says what stands behind them. - Ten worked examples: colouring (four regions, an odd ring of five, six regions, and four regions that all touch, which must fail), assignment at 3x3, 4x4 and 5x5, two in each row and column, four queens, and the assignment at temperature 0. Every lowest state solves each one marked as working where all arrangements are checked; seeds 1 to 100 at its own plan all solve it, and the two that must fail fail at all 100. The set states each one's reach. - The vector rule: quantum-conformance/landscape/vectors.json is frozen as it stood on 2026-11-10 and v2/vectors.json at publication, each BLAKE3 pinned (conformance2); the first version's section 9 states how its set changed on 11-06 and 11-09, and why. - Members: Member::protocols (provided; the first version by default). Only the CPU reference runs /2; the WebGPU, CUDA, Metal and FPGA members are certified on /1 alone and passed over for a /2 job, saying why. The FPGA member's label names the frozen /1 set. - Reach: the CLI (--protocol 2), the job service's /v1/landscape routes (stamped with the answer's version), Python (protocol=), npm and the desktop app carry /2; verify holds a /2 answer to its form. The MCP tool keeps to /1 (its output schema is landscape.v1.json) and a client sends no /2 job to a provider, whose description offers /1. - Registry: the two kernel labels; schemas/landscape.v2.json. Workflow pins updated. Co-Authored-By: Claude Opus 5.5 <[email protected]>		2026-11-10 22:58:02 -05:00
..
vectors.json	wai-quantum: wai.quantum.landscape/2, a cost for each variable, constraints, joules priced only with evidence, and both conformance sets frozen	2026-11-10 22:58:02 -05:00