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]>
737 lines
15 KiB
JSON
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
|
|
}
|
|
}
|
|
}
|
|
]
|
|
}
|