e526133f21
Add a coherent set of long-running-agent capabilities, each as a spec section + reference implementation + conformance class, every one metered, attested, and receipt-chained. Sandbox: - §13 Durable run records (C6): the receipt chain IS the resumable run; execute/suspend/resume segments hash-chained; idle energy metered across parks. (sandbox-attest::runrecord) - §14 Environment manifest (C7): devcontainer.json declarative-subset ingestion -> canonical, content-addressed, signed manifest; command/widening and unknown fields refused. (sandbox-attest::manifest) - §5.5 Content-addressed process control (C8): exec allow/deny by BLAKE3 of the binary; denylist absolute, survives rename/move/wrapper. - §15 Warm pools (C9): a claim attributes accrued idle energy to the run (a fast start has a visible joule price); evictions record overhead, not zero. (sandbox-attest::warmpool) - §16 Fleet records (C10): merkle aggregate receipt over per-item runs; log-size membership proofs. (sandbox-attest::fleet) - durable.json cross-impl wire vectors + file-backed verify. JCP: - §4.6 Standing grants (C20): a signed mint policy turns a held grant into bounded, rate-limited, event-triggered children via the attenuation path. (jcp-grant::standing) - §4.7 Checkpoints + amendments (C21): mid-run steering under separation of duties — the agent checkpoints its own state, only the issuer (a distinct principal) may amend, and only to tighten. (jcp-grant::checkpoint) - standing.json cross-impl vectors. Both workspaces green; conformance harnesses pass with no skips; clippy clean. Co-Authored-By: Claude Opus 4.8 <[email protected]>
29 lines
1.5 KiB
JSON
29 lines
1.5 KiB
JSON
{
|
|
"amendment": {
|
|
"id_hex": "52c90fec78aaa01cbfec5c9de38f57e3c87f4ab8d24a017bcfa6f9fbefa745ec",
|
|
"new_budget_uj": 400,
|
|
"signature_hex": "5cea0fb37693623b34129ab5f91011518437c78f0a923594a5c661214b6df4263277c541b15d852143559ab5495d13a160ed8dce99fc4c002e8b0fd1df100c05"
|
|
},
|
|
"checkpoint": {
|
|
"id_hex": "ab4554898620355d49b9caa9105529533da047c944d9f8b5ab66ea8729aaf3f6",
|
|
"signature_hex": "13a4432a4f615de526b981cb45220936a905ee89a824289396752b9e17a4a90ac7aa3c8bb82bf2f24c93bfe9a74bf1c2c0483174ef1d7f1b2dde7a1a416c4f09"
|
|
},
|
|
"continuation_grant": {
|
|
"budget_uj": 400,
|
|
"id_hex": "a901bad46c325834a3f90442cb74bbc0f5e0bd1ba1510de3e7abb749da610ac4",
|
|
"parent_hex": "711ccda9b74c71fedbcf69f10831962c098f9e613817cc6ac829a69119c7d7ad"
|
|
},
|
|
"mint_policy": {
|
|
"id_hex": "fe7645bbf8e71378e321e88ed2daa4d9c2ed5ba3046fba379aeae76b0cec0a0c",
|
|
"signature_hex": "0a99acf81efa32e990be4ff484356eee640588777ee1331b1018184bd186c833f2ceca04d4990f8ea282673d89e34b5240ab4da39b2363af7362f08047ccbc04"
|
|
},
|
|
"minted_child": {
|
|
"budget_uj": 200,
|
|
"id_hex": "e4dc73f274980b867fe700367dd96bcb7df51717d29e9cab19d1b8258b8a91df",
|
|
"parent_hex": "459a2cd3e9671ff071dd5ed9b8c3247a861e9cd7c3b00d63be01fb7bb455494f"
|
|
},
|
|
"standing_grant": {
|
|
"id_hex": "459a2cd3e9671ff071dd5ed9b8c3247a861e9cd7c3b00d63be01fb7bb455494f",
|
|
"signature_hex": "ba6e1588acc89759135eb472068d6d7fb560c891b8ccb7e878ee6915bb85d8dedeaeaff706f73a5c305f71781e001ac7e2cb71319b266ff3a2cef40b3c90900f"
|
|
}
|
|
}
|