{ "format": "ta-amps.seed-pack.proposal.v1", "status": "proposal_only", "pack_id": "atomic-step-contract", "title": "Atomic step contract", "version": "0.1.0", "summary": "A collection of nouns and verbs for giving each atomic step exactly what it needs: a pinned procedure, a closed slice of state, the last observation and a stated grant, with transcripts left out; grants that deny on the wire rather than in wording; refusals that name what is allowed; state returned as a checked patch; and per-step overhead measured before work is sliced finer.", "license": "MIT", "store": "seedpack.atomic-step-contract", "queue_placeholder": "conformance-seed-packs", "files": [ { "path": "README.md", "sha256": "20d3494ee7391e246148d49b71004336e688c6456e0bcce6e4b39479f6feffac" }, { "path": "source.json", "sha256": "97ae5e1eba516b4731a26df9b061517fcde3864c42d8abcc480ad49ab9645dfe" }, { "path": "nouns.json", "sha256": "4f2aedbb12cd57c5aa103ea38a505429f257dd0ba2eded2ca14218606022fdb8" }, { "path": "verbs.json", "sha256": "2d4b7ef1c242cc2d7b6c8a29ab0a80359d7761567fda4e658d93f15cab58a66f" } ], "nouns": [ { "key": "atomic-step-contract.v0.1.0.pack", "category_id": "noun.skill_pack", "role": "pack", "value_sha256": "0ef87438bb2686c4c22b852258ebcdb08b53cb9992fe7875c1a8306d8b7ef88b" }, { "key": "atomic-step-contract.v0.1.0.method", "category_id": "noun.skill_pack", "role": "method", "value_sha256": "51a0edbe4fe56069bd43c67ff7d2af5fda1e7c6d9fcc84a6e313f5e08c5f769c" }, { "key": "atomic-step-contract.v0.1.0.packet-rules", "category_id": "noun.reflex_procedure", "role": "packet_rules", "value_sha256": "d9244e9bb7c936ca6063c3feb060a9e4afc3d5fbfc219c75c903d5eb0be00742" }, { "key": "atomic-step-contract.v0.1.0.grant-rules", "category_id": "noun.reflex_procedure", "role": "grant_rules", "value_sha256": "bb48fd7b9163a4e358f9ef993a8538dd9e83980d53dce8d27491b3e0a7b3152c" }, { "key": "atomic-step-contract.v0.1.0.refusal-rules", "category_id": "noun.reflex_procedure", "role": "refusal_rules", "value_sha256": "c3e33672ed0ea16ab91dc28414c725919e1e8d2dbc9547ffa91e12766b3403ad" }, { "key": "atomic-step-contract.v0.1.0.patch-rules", "category_id": "noun.reflex_procedure", "role": "patch_rules", "value_sha256": "21ac83f3fb5b67f4ebf3dbc1fda1b1b8f27a70cf54b7f7dfe4f3058d7b8d9953" }, { "key": "atomic-step-contract.v0.1.0.overhead-model", "category_id": "noun.reflex_procedure", "role": "overhead_model", "value_sha256": "bfc4e411edc7d7b6f51a677cc4227ad04582a6757ebb5a0f878365c6cb95014c" }, { "key": "atomic-step-contract.v0.1.0.template.step-kind", "category_id": "noun.seed_hypothesis", "role": "template", "value_sha256": "ba3973f221ee04b4298e5a1373c5fdaaa922b0b354a999b39e8ed60b6a3aa278" }, { "key": "atomic-step-contract.v0.1.0.template.step-packet", "category_id": "noun.seed_hypothesis", "role": "template", "value_sha256": "45af1f9b9b8f6d71c00be79f82eb1b21b978075a54deb4cf84befbf211198104" }, { "key": "atomic-step-contract.v0.1.0.template.grant-audit", "category_id": "noun.eval_run", "role": "template", "value_sha256": "6bcb5d9699af15c280602a0bfab61f6b47258977d35eab5c771be221a22ef6fe" }, { "key": "atomic-step-contract.v0.1.0.template.patch-check", "category_id": "noun.eval_run", "role": "template", "value_sha256": "cc192540f6dbf06cf9228208522221351a51bd4a331e778a7ce45ebc423f952e" }, { "key": "atomic-step-contract.v0.1.0.template.refusal-review", "category_id": "noun.eval_run", "role": "template", "value_sha256": "777881d8a368b77869b65dc980df2ceaee107e496fdaccc57b43d33162dbb60a" }, { "key": "atomic-step-contract.v0.1.0.template.overhead-measurement", "category_id": "noun.eval_run", "role": "template", "value_sha256": "e557a0deada9984bbbccfd38b8294d95bc752f52bcf195f31ae1d946ae60ef00" }, { "key": "atomic-step-contract.v0.1.0.template.packet-revision", "category_id": "noun.seed_hypothesis", "role": "template", "value_sha256": "011a52a662f2bf55ac36d3d00be9618233fab7b89c605c335b03905363ecac6b" }, { "key": "atomic-step-contract.v0.1.0.step-checks", "category_id": "noun.benchmark_suite", "role": "record_checks", "value_sha256": "8ff4445febccbbcde3677af52e1631248e633ef7dc8434d6c4c64846907cb803" }, { "key": "atomic-step-contract.v0.1.0.example.step-kind", "category_id": "noun.seed_hypothesis", "role": "example", "value_sha256": "bb8980aba81e8502c4c8567a4e73b246addb12ffe47b1c82447ccb55229da0eb" }, { "key": "atomic-step-contract.v0.1.0.example.overhead-measurement", "category_id": "noun.eval_run", "role": "example", "value_sha256": "aa1e78b0f72c627d1146278bbda4efbec65f89e009d9ac47ffc270594020cd28" } ], "verbs": [ { "template_id": "atomic-step-contract.define-step-kind", "kind": "verb.distill_reflex", "claimant": "agent", "idempotency_key": "seedpack:atomic-step-contract:define-step-kind:dc6dfbe5220ec282e86c3af6121537c4a0f0169545803670fb181a1f669101bd", "report_shape_sha256": "414c2422efaaee2d8b7727019ff65c6cef91e5ccdd6472df2b4f4029f5437415" }, { "template_id": "atomic-step-contract.audit-grant", "kind": "verb.verify_gate", "claimant": "agent", "idempotency_key": "seedpack:atomic-step-contract:audit-grant:ed72b18fa3d982807e320a02cf89c2205f785c98c97ec69b62541931d82a2f3f", "report_shape_sha256": "9b61847eb67a341ff3cfd9ae08cadeb65396eebf2854b4149ab9233878a20e3f" }, { "template_id": "atomic-step-contract.assemble-step-packet", "kind": "verb.situate", "claimant": "agent", "idempotency_key": "seedpack:atomic-step-contract:assemble-step-packet:09ca44ae551f25b632b4dd6727663ace910ec913cace522912fbeddaf49a9a35", "report_shape_sha256": "67a79c82b7e2b10b48defe27c3f0a1de0eb6ded557dbc39e83d63bfa80cda38f" }, { "template_id": "atomic-step-contract.check-patch", "kind": "verb.verify_gate", "claimant": "agent", "idempotency_key": "seedpack:atomic-step-contract:check-patch:417a214694f45abd564cd13de1fabc329bc3fa0d164aa062af4cad38ffa96629", "report_shape_sha256": "6e2ddcbc0b1cdeba0a0577ad67fbc478f447663aef460124722be91170ad7eee" }, { "template_id": "atomic-step-contract.review-refusals", "kind": "verb.recheck_fragility", "claimant": "agent", "idempotency_key": "seedpack:atomic-step-contract:review-refusals:c4153a0673e3a05dc90b842f57df5e4ad14520691818141ff90d22f921014a40", "report_shape_sha256": "9eb47839dbc7de8db24c1e7ad9b47dd1164e849c2bfa6493cb026311a199a502" }, { "template_id": "atomic-step-contract.measure-step-overhead", "kind": "verb.benchmark_harness", "claimant": "agent", "idempotency_key": "seedpack:atomic-step-contract:measure-step-overhead:d454c7e3b9d094f8a879572193f464b4d626a3c89e0d89696d32273ee77f2c15", "report_shape_sha256": "fae0143df027aa52200686e915735586bff551d5f3afe077ed7ed342c274b33b" }, { "template_id": "atomic-step-contract.review-pull-log", "kind": "verb.distill_reflex", "claimant": "agent", "idempotency_key": "seedpack:atomic-step-contract:review-pull-log:57a5090ba791165eda22c61f764132887e171c81a3d5684abf73f26e834cb33a", "report_shape_sha256": "edd439a3ee64058480a190291a9ec373f1fb2af29159805ef417371528e4ba90" } ], "dependencies": [ { "pack_id": "decomposition-patterns", "keys": [] }, { "pack_id": "findings-to-fixes", "keys": [] } ], "boundaries": [ "Packets, patches and refusals are data. They never widen a worker's grant.", "Measurements use a local endpoint that records requests and answers nothing; no provider is called.", "A step's own report is never its verdict; the runner's check or a person decides.", "Workers create nouns and propose verbs; an authorized requester enqueues the proposals worth doing.", "Importing the pack writes nothing and enqueues nothing." ], "override_policy": { "automatic_merge": false, "on_conflict": "stop_and_clarify" }, "importer": null, "importer_reason": "No manifest endpoint or generic importer exists. Reading or exporting this pack writes no records, enqueues no verbs and activates nothing.", "activation": { "automatic": false, "steps": [ "An owner assigns the namespace, store and queue.", "Each noun is written create-only with existing grants and read back; its value SHA-256 must match the pin.", "A verb template is filled with exact pins and enqueued explicitly by an authorized requester." ] }, "evaluation": { "result": null, "reason": "Offline shape, category and digest validation only. No worker has run these verbs." } }