b9af554c7c
Error correction and mitigation join the version contract. An error-correction answer (wai.quantum.qec/1: a code, a decode or a threshold), a code's distance certificate (wai.quantum.distance/1) and a job's mitigation (wai.quantum.mitigation/1) are engine schemas; every answer engine::qec::call gives names the engine and its schema, inside what a host seals. The job request names mitigate, and a compile's options and certificate twirl and dd. qec_code, qec_decode and qec_threshold answer to output schemas on both servers; the strict tests call each, a mitigated run and a compile with both passes, the engine's test holds every decoder's answer and each mitigation method to its schema, the contract workflow requires it by name, and check_schemas.py holds the command line's answers too. Refusal codes: the set branch and this one had each taken J007. A set that does not read keeps J007; mitigation's refusals are J008 and error correction's J009, in the table, its page, the tests, the docs and the changelog. The basis rename reaches the new passes: compile::Options carries twirl and dd beside basis, and the command line's compile, both servers' compile options and their tests name the gate set basis. The service smoke test made 32 submissions with both branches' checks, past the 30 a client may make in a window (it is also run against production after a deploy). It now makes 28 (29 on a host with a GPU, whose single-precision run is held to the exact values instead of a second run): the code-capacity decode against its error, the changed estimate, the counts document and the classical shortcuts are left to the MCP servers' tests, which hold each. The agent docs are regenerated. Co-Authored-By: Claude Opus 5.5 <[email protected]>
131 lines
3.1 KiB
JSON
131 lines
3.1 KiB
JSON
{
|
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
"$id": "https://git.transaction.science/Transaction-Science/open-standards/raw/branch/main/wai/wai-quantum/schemas/distance.v1.json",
|
|
"title": "wai.quantum.distance/1",
|
|
"description": "A code's distance certificate (quantum_distance): in each sector, a witness logical of the least weight found and every lighter support ruled out by an exhaustive search over connected supports, re-checkable node for node; the code's families hash, the search's bound, the symmetries checked and used, and its reading. Given back to qec_code, it is checked against the code.",
|
|
"type": "object",
|
|
"required": [
|
|
"format",
|
|
"code",
|
|
"n",
|
|
"k",
|
|
"distance",
|
|
"x",
|
|
"z"
|
|
],
|
|
"properties": {
|
|
"format": {
|
|
"const": "wai.quantum.distance/1"
|
|
},
|
|
"code": {
|
|
"type": "string"
|
|
},
|
|
"n": {
|
|
"type": "integer",
|
|
"minimum": 1
|
|
},
|
|
"k": {
|
|
"type": "integer",
|
|
"minimum": 0
|
|
},
|
|
"families": {
|
|
"type": "string",
|
|
"description": "BLAKE3 of the code's check families, in hex."
|
|
},
|
|
"distance": {
|
|
"type": [
|
|
"integer",
|
|
"null"
|
|
],
|
|
"description": "The distance, when both sectors settle it; null when the search stopped at its bound first."
|
|
},
|
|
"x": {
|
|
"type": "object",
|
|
"description": "One sector: the least weight of a logical found, a witness of that weight, and the weight below which the search ruled every support out.",
|
|
"properties": {
|
|
"distance": {
|
|
"type": [
|
|
"integer",
|
|
"null"
|
|
]
|
|
},
|
|
"witness": {
|
|
"type": [
|
|
"array",
|
|
"null"
|
|
],
|
|
"items": {
|
|
"type": "integer",
|
|
"minimum": 0
|
|
}
|
|
},
|
|
"no_logical_below": {
|
|
"type": [
|
|
"integer",
|
|
"null"
|
|
]
|
|
},
|
|
"nodes": {
|
|
"type": "integer",
|
|
"minimum": 0
|
|
}
|
|
}
|
|
},
|
|
"z": {
|
|
"type": "object",
|
|
"description": "One sector: the least weight of a logical found, a witness of that weight, and the weight below which the search ruled every support out.",
|
|
"properties": {
|
|
"distance": {
|
|
"type": [
|
|
"integer",
|
|
"null"
|
|
]
|
|
},
|
|
"witness": {
|
|
"type": [
|
|
"array",
|
|
"null"
|
|
],
|
|
"items": {
|
|
"type": "integer",
|
|
"minimum": 0
|
|
}
|
|
},
|
|
"no_logical_below": {
|
|
"type": [
|
|
"integer",
|
|
"null"
|
|
]
|
|
},
|
|
"nodes": {
|
|
"type": "integer",
|
|
"minimum": 0
|
|
}
|
|
}
|
|
},
|
|
"bound": {
|
|
"type": "integer",
|
|
"minimum": 1
|
|
},
|
|
"symmetries": {
|
|
"type": [
|
|
"integer",
|
|
"array",
|
|
"null"
|
|
]
|
|
},
|
|
"orbits": {
|
|
"type": [
|
|
"integer",
|
|
"array",
|
|
"null"
|
|
]
|
|
},
|
|
"method": {
|
|
"type": "string"
|
|
},
|
|
"reading": {
|
|
"type": "string"
|
|
}
|
|
}
|
|
}
|