open-standards/sandbox/conformance/v1/negative.json
Transaction Science ba1212361f Add aac, map, sandbox standards; catalog the standards family
Commit the previously-untracked standard directories and catalog them in the
root README alongside proof:

- aac/    — communication cargo class: portable boards + a ten-level
            offline-first cascade (Apache-2.0 code / CC-BY-4.0 spec).
- map/    — geospatial cargo class: range-requestable signed tilesets +
            an F0–F4 fidelity cascade (Apache-2.0 code / CC-BY-4.0 spec).
- sandbox/— isolated, metered, attested execution across the heterogeneous
            compute fabric (Apache-2.0 code / CC-BY-4.0 spec).
- jouleclaw-otel-authz, jouleclaw-trust — new jouleclaw reference crates.

Root README now lists aac, map, sandbox, and proof in the catalog, the tree,
and the contribution guide.

Co-Authored-By: Claude Opus 4.8 <[email protected]>
2026-06-07 17:04:36 -04:00

737 lines
15 KiB
JSON

{
"receipts": [
{
"note": "HwShunt with no measured figure (SPEC §6.3)",
"receipt": {
"unit_id": "b3:Yha3Hy8AxgaMLIuoKJj9r05w640VEZsn4OJMAUPV0r8",
"tier": "S5",
"devices": [
{
"class": "Gpu",
"measured_uj": null,
"estimated_uj": 1,
"provenance": "HwShunt"
}
],
"total": {
"measured_uj": null,
"estimated_uj": 1
},
"sequence": 1,
"nonce": [
0,
0,
0,
0,
0,
0,
0,
0
]
}
},
{
"note": "Estimator carrying a measured figure (SPEC §6.3)",
"receipt": {
"unit_id": "b3:Yha3Hy8AxgaMLIuoKJj9r05w640VEZsn4OJMAUPV0r8",
"tier": "S5",
"devices": [
{
"class": "Cpu",
"measured_uj": 1,
"estimated_uj": 1,
"provenance": "Estimator"
}
],
"total": {
"measured_uj": null,
"estimated_uj": 1
},
"sequence": 1,
"nonce": [
0,
0,
0,
0,
0,
0,
0,
0
]
}
},
{
"note": "total estimated_uj does not equal the device sum (SPEC §6.2)",
"receipt": {
"unit_id": "b3:Yha3Hy8AxgaMLIuoKJj9r05w640VEZsn4OJMAUPV0r8",
"tier": "S5",
"devices": [
{
"class": "Cpu",
"measured_uj": null,
"estimated_uj": 10,
"provenance": "Estimator"
}
],
"total": {
"measured_uj": null,
"estimated_uj": 999
},
"sequence": 1,
"nonce": [
0,
0,
0,
0,
0,
0,
0,
0
]
}
},
{
"note": "all classes measured but no measured total (SPEC §6.2 coverage)",
"receipt": {
"unit_id": "b3:Yha3Hy8AxgaMLIuoKJj9r05w640VEZsn4OJMAUPV0r8",
"tier": "S5",
"devices": [
{
"class": "Cpu",
"measured_uj": 5,
"estimated_uj": 5,
"provenance": "HwShunt"
}
],
"total": {
"measured_uj": null,
"estimated_uj": 5
},
"sequence": 1,
"nonce": [
0,
0,
0,
0,
0,
0,
0,
0
]
}
}
],
"attestations": [
{
"note": "run metered a Gpu the attestation does not name (SPEC §7.2)",
"attestation": {
"unit_id": "b3:Yha3Hy8AxgaMLIuoKJj9r05w640VEZsn4OJMAUPV0r8",
"image_id": "b3:Ain_feyKNl9zAINdF1SUhm1G5W_sMw2tM809yT3zwW0",
"grants_id": "b3:ONvIj2bsKw-2Kqe43mNV_3c0rrHTA3Df8xyM6D4ybnY",
"tier": "S5",
"devices": [
{
"class": "Cpu",
"model": "cpu",
"driver": "host"
}
],
"receipt_id": "b3:CQidQA-fhZylXoZmjHEKDohzmbL9CfOq7P2ZRPmnJpU",
"journal_root": null,
"outcome": "Completed",
"tee": null,
"locality": null,
"audit_prev": null,
"host_id": "host-1",
"started_at_us": 1000,
"finished_at_us": 2000
},
"receipt_classes": [
"Cpu",
"Gpu"
]
},
{
"note": "S6 attestation without TEE evidence (SPEC §7.6)",
"attestation": {
"unit_id": "b3:Yha3Hy8AxgaMLIuoKJj9r05w640VEZsn4OJMAUPV0r8",
"image_id": "b3:Ain_feyKNl9zAINdF1SUhm1G5W_sMw2tM809yT3zwW0",
"grants_id": "b3:ONvIj2bsKw-2Kqe43mNV_3c0rrHTA3Df8xyM6D4ybnY",
"tier": "S6",
"devices": [
{
"class": "Cpu",
"model": "Generic x86_64",
"driver": "firecracker"
},
{
"class": "Gpu",
"model": "NVIDIA H100",
"driver": "vfio"
}
],
"receipt_id": "b3:CQidQA-fhZylXoZmjHEKDohzmbL9CfOq7P2ZRPmnJpU",
"journal_root": null,
"outcome": "Completed",
"tee": null,
"locality": null,
"audit_prev": null,
"host_id": "host-1",
"started_at_us": 1000,
"finished_at_us": 2000
},
"receipt_classes": [
"Cpu",
"Gpu"
]
}
],
"journals": [
{
"note": "replay diverges at entry 1 (SPEC §8)",
"recorded": {
"entries": [
{
"HostCall": {
"name": "kv_get",
"args_hash": [
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1
],
"result_hash": [
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2
]
}
},
{
"TimerFired": {
"at_us": 1000
}
},
{
"Checkpoint": {
"state_hash": [
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3
]
}
}
]
},
"replayed": {
"entries": [
{
"HostCall": {
"name": "kv_get",
"args_hash": [
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1
],
"result_hash": [
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2
]
}
},
{
"TimerFired": {
"at_us": 9999
}
},
{
"Checkpoint": {
"state_hash": [
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3
]
}
}
]
}
},
{
"note": "replay is a strict prefix — truncated (SPEC §8)",
"recorded": {
"entries": [
{
"HostCall": {
"name": "kv_get",
"args_hash": [
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1
],
"result_hash": [
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2
]
}
},
{
"TimerFired": {
"at_us": 1000
}
},
{
"Checkpoint": {
"state_hash": [
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3,
3
]
}
}
]
},
"replayed": {
"entries": [
{
"HostCall": {
"name": "kv_get",
"args_hash": [
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1
],
"result_hash": [
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2,
2
]
}
},
{
"TimerFired": {
"at_us": 1000
}
}
]
}
}
],
"grant_mutations": [
{
"note": "an accelerator added mid-run changes grants_id (SPEC §1.2)",
"before": {
"compute": {
"devices": [
"Cpu"
],
"energy_budget_uj": 0,
"cpu_time_ms": 0,
"memory_bytes": 0
},
"storage": {
"read": [],
"write": [],
"delete": []
},
"network": {
"outbound": [],
"inbound": false
},
"kv": {
"read": false,
"write": false,
"prefixes": []
},
"host": {
"logging": false,
"clock": false,
"random": false,
"inference": false
},
"process": {
"exec": false,
"programs": [],
"max_processes": 0
},
"browser": {
"enabled": false,
"origins": [],
"headless": false
},
"display": {
"enabled": false,
"vnc": false,
"max_width": 0,
"max_height": 0
}
},
"after": {
"compute": {
"devices": [
"Cpu",
"Gpu"
],
"energy_budget_uj": 0,
"cpu_time_ms": 0,
"memory_bytes": 0
},
"storage": {
"read": [],
"write": [],
"delete": []
},
"network": {
"outbound": [],
"inbound": false
},
"kv": {
"read": false,
"write": false,
"prefixes": []
},
"host": {
"logging": false,
"clock": false,
"random": false,
"inference": false
},
"process": {
"exec": false,
"programs": [],
"max_processes": 0
},
"browser": {
"enabled": false,
"origins": [],
"headless": false
},
"display": {
"enabled": false,
"vnc": false,
"max_width": 0,
"max_height": 0
}
}
}
]
}