{ "schema": "controlspec.action-demo.v1", "mode": "recorded_reference_outputs", "static": true, "non_authoritative": true, "may_authorize_external_effect": false, "external_actions_executed": false, "real_llm_run": false, "production_evidence": false, "reference_time": "2026-08-20T12:00:00.000000Z", "source_commit": "e30ac3657bdc75e2ec268b88429d762a7b4b70a8", "provenance": { "harness_sha256": "sha256:59cae93a5ebcdb588f1f7c1ea74b60e23531a90cad85b69f4fc6c3536cf34c0c", "template_sha256": "sha256:7d6ea841f57fb777daf802fb97d29715883e8293339731b05eb73c25647decd9", "observer_sha256": "sha256:732bc7a252bd8b1a50f70aa9840a5c85a45787bb5670298d625dea58d0f9de6e", "source_commit_note": "Base Git commit; explicit hashes identify demo working files.", "reference_inputs_sha256": { "examples/controlspec/personal-agent-spending/requests/groceries-142.json": "sha256:83d5b210e9ddb10e20a36d6381f5638987eff7a421436b3aff2b2339a2ce35dd", "examples/controlspec/personal-agent-spending/requests/groceries-42-changed-intent.json": "sha256:482b8d05c088c453dc44890064917d6df67aa47e25d374b77a486d06e5fda510", "examples/controlspec/personal-agent-spending/requests/groceries-42.json": "sha256:2f3af3e062d43ba28728504661e8d1eef1f7f2d520a8e3ba0f4e8ad9065b4dd6", "examples/controlspec/personal-agent-spending/requests/recurring-999.json": "sha256:eeceddbbaf99a328eea016c7a7873c032873435abfb106a91bc9d4899752f77a", "examples/controlspec/personal-agent-spending/scenarios.json": "sha256:b50a3f4b51618cad64c7b28a2c7330b1b5af3b383b81d52eead2e49607fa16ae", "examples/controlspec/smb-sales-controls/requests/discount-15.json": "sha256:1515589b2f067afa303eb9b55335e94047add62a5b35bb42512fc3860fb3d235", "examples/controlspec/smb-sales-controls/requests/discount-8.json": "sha256:8fce043ddeccf6e4b4614bc0f9c19b6aee2a58e9e79ec4fd4bcfaa1b4853889c", "examples/controlspec/smb-sales-controls/requests/draft.json": "sha256:35e2e13e2b930d22de235342f088e572a2136b6d18177f101178d9bef16fa47e", "examples/controlspec/smb-sales-controls/requests/smb-discount-15-direct-self-approval.json": "sha256:425256c9c57f680f202836a42a2cda7034a2b7f1f3dc61379b9eb00b9be7651f", "examples/controlspec/smb-sales-controls/scenarios.json": "sha256:82aaa7c15d015cece46a6a8fed9e165545b344812224789c7011af4ff7feaccd" } }, "scope": "Scripted intents; real reference decisions; simulated targets; recorded playback.", "domains": [ { "domain": "personal", "release_id": "v0.1.1", "catalog_digest": "sha256:07e00e11176752146d402c31269d3c89dbe1f8ae200c98a91f7e4f34f7888322", "scenarios": [ { "scenario_id": "groceries-42", "intent_digest": "sha256:eae71621e734dcf7b654a778562900935637da3b62384ac8a06802ede2d1c16d", "pack_catalog_id": "personal.agent.spending:spending-baseline@0.1.0", "verdict": "allow", "route_kind": "continue", "route_id": "continue", "recheck_valid": true, "changed_recheck_valid": false, "receipt_status": "incomplete", "missing_evidence_count": 1, "verified_evidence_count": 0, "assessment_basis": "caller_report_only", "stored": false, "durable": false, "route_substitution_rejected": true }, { "scenario_id": "groceries-142", "intent_digest": "sha256:5b0a007d31cec073c4a6c8731e192c15cc7de7e0a0c4d96b64d4b23210afd1c0", "pack_catalog_id": "personal.agent.spending:spending-baseline@0.1.0", "verdict": "require_approval", "route_kind": "ask_user", "route_id": "ask-before-purchase", "recheck_valid": true, "changed_recheck_valid": null, "receipt_status": "failed", "missing_evidence_count": 0, "verified_evidence_count": 0, "assessment_basis": "caller_report_only", "stored": false, "durable": false, "route_substitution_rejected": true }, { "scenario_id": "recurring-999", "intent_digest": "sha256:bc82299648aa586ad4cb8da960d413c5cfbeaca046e58912a359714b7d0ec801", "pack_catalog_id": "personal.agent.spending:spending-baseline@0.1.0", "verdict": "require_approval", "route_kind": "ask_user", "route_id": "ask-before-recurring-purchase", "recheck_valid": true, "changed_recheck_valid": null, "receipt_status": "failed", "missing_evidence_count": 0, "verified_evidence_count": 0, "assessment_basis": "caller_report_only", "stored": false, "durable": false, "route_substitution_rejected": true } ], "machine_summary": { "status": "ok", "scope": "local_reference_examples", "domain": "personal", "release_id": "v0.1.1", "catalog_digest": "sha256:07e00e11176752146d402c31269d3c89dbe1f8ae200c98a91f7e4f34f7888322", "observed": [ { "id": "groceries-42", "verdict": "allow", "recheck_valid": true, "receipt_status": "incomplete", "non_authoritative": true, "deterministic_repeat": true, "route_substitution_rejected": true }, { "id": "groceries-142", "verdict": "require_approval", "recheck_valid": true, "receipt_status": "failed", "non_authoritative": true, "deterministic_repeat": true, "route_substitution_rejected": true }, { "id": "recurring-999", "verdict": "require_approval", "recheck_valid": true, "receipt_status": "failed", "non_authoritative": true, "deterministic_repeat": true, "route_substitution_rejected": true } ], "scenario_count": 3, "probe_count": 0, "operations": [ "GET packs", "GET packs/{id}", "GET controls", "GET controls/{id}", "POST decide", "POST recheck", "POST receipts" ], "external_actions_executed": false, "receipts_stored": false } }, { "domain": "smb", "release_id": "v0.1.1", "catalog_digest": "sha256:07e00e11176752146d402c31269d3c89dbe1f8ae200c98a91f7e4f34f7888322", "scenarios": [ { "scenario_id": "draft", "intent_digest": "sha256:c97b00a3ce7f1e71a27f90bab783f4490f1fe09286f137abaa5cf2cf2882b64d", "pack_catalog_id": "smb.sales.controls:sales-baseline@0.1.0", "verdict": "allow", "route_kind": "continue", "route_id": "continue-draft", "recheck_valid": true, "changed_recheck_valid": null, "receipt_status": "failed", "missing_evidence_count": 0, "verified_evidence_count": 0, "assessment_basis": "caller_report_only", "stored": false, "durable": false, "route_substitution_rejected": true }, { "scenario_id": "discount-8", "intent_digest": "sha256:be0d497159b6110a72d0a6bea0c2db21f82202f40e6217ef586ae1f51bbac7d0", "pack_catalog_id": "smb.sales.controls:sales-baseline@0.1.0", "verdict": "allow_with_conditions", "route_kind": "continue", "route_id": "continue-within-limit", "recheck_valid": true, "changed_recheck_valid": null, "receipt_status": "failed", "missing_evidence_count": 0, "verified_evidence_count": 0, "assessment_basis": "caller_report_only", "stored": false, "durable": false, "route_substitution_rejected": true }, { "scenario_id": "discount-15", "intent_digest": "sha256:ec4f4dee20b67ee8dd0b264dcbf60f185eda92d48fa48bbf2ed54f0ff090e5d4", "pack_catalog_id": "smb.sales.controls:sales-baseline@0.1.0", "verdict": "require_approval", "route_kind": "continue", "route_id": "continue", "recheck_valid": true, "changed_recheck_valid": null, "receipt_status": "failed", "missing_evidence_count": 0, "verified_evidence_count": 0, "assessment_basis": "caller_report_only", "stored": false, "durable": false, "route_substitution_rejected": true }, { "scenario_id": "smb-discount-15-direct-self-approval", "intent_digest": "sha256:c28c5920136a243b8256f8baaa59709217a8f7043e95dcec06013aaee3d1bf1a", "pack_catalog_id": "smb.sales.controls:sales-baseline@0.1.0", "verdict": "block", "route_kind": "block", "route_id": "fail-closed-block", "recheck_valid": true, "changed_recheck_valid": null, "receipt_status": "failed", "missing_evidence_count": 0, "verified_evidence_count": 0, "assessment_basis": "caller_report_only", "stored": false, "durable": false, "route_substitution_rejected": true } ], "machine_summary": { "status": "ok", "scope": "local_reference_examples", "domain": "smb", "release_id": "v0.1.1", "catalog_digest": "sha256:07e00e11176752146d402c31269d3c89dbe1f8ae200c98a91f7e4f34f7888322", "observed": [ { "id": "draft", "verdict": "allow", "recheck_valid": true, "receipt_status": "failed", "non_authoritative": true, "deterministic_repeat": true, "route_substitution_rejected": true }, { "id": "discount-8", "verdict": "allow_with_conditions", "recheck_valid": true, "receipt_status": "failed", "non_authoritative": true, "deterministic_repeat": true, "route_substitution_rejected": true }, { "id": "discount-15", "verdict": "require_approval", "recheck_valid": true, "receipt_status": "failed", "non_authoritative": true, "deterministic_repeat": true, "route_substitution_rejected": true }, { "id": "smb-discount-15-direct-self-approval", "verdict": "block", "recheck_valid": true, "receipt_status": "failed", "non_authoritative": true, "deterministic_repeat": true, "route_substitution_rejected": true } ], "scenario_count": 4, "probe_count": 0, "operations": [ "GET packs", "GET packs/{id}", "GET controls", "GET controls/{id}", "POST decide", "POST recheck", "POST receipts" ], "external_actions_executed": false, "receipts_stored": false } } ], "scenes": [ { "id": "overspend", "title": "The $142 purchase", "description": "A purchase exceeds the example spending limit.", "domain": "personal", "scenario_id": "groceries-142", "changed": false, "evidence_available": true, "observation": { "scenario_id": "groceries-142", "intent_digest": "sha256:5b0a007d31cec073c4a6c8731e192c15cc7de7e0a0c4d96b64d4b23210afd1c0", "pack_catalog_id": "personal.agent.spending:spending-baseline@0.1.0", "verdict": "require_approval", "route_kind": "ask_user", "route_id": "ask-before-purchase", "recheck_valid": true, "changed_recheck_valid": null, "receipt_status": "failed", "missing_evidence_count": 0, "verified_evidence_count": 0, "assessment_basis": "caller_report_only", "stored": false, "durable": false, "route_substitution_rejected": true }, "original_intent": { "action": { "domain_action": "personal.purchase", "requested_effect": { "personal.agent.spending.effect": "personal.purchase" }, "type": "commit" }, "actor": { "actor_id": "personal.agent.spending-agent", "attributes": {}, "extensions": {}, "lineage_refs": [], "namespace": "personal.agent.spending", "owner_ref": null, "schema": "controlspec/v0/actor", "schema_version": "0.1.0", "type": "agent", "version": "1" }, "context": { "personal.spending.recurring": false, "personal.spending.total_minor_units": 14200 }, "context_digest": "sha256:7d8d852b72578640619bd7115084a64be00c80b24467a31b01623cb61ec95621", "cost": null, "evidence_refs": [], "extensions": {}, "idempotency_key": "groceries-142", "intent_digest": "sha256:5b0a007d31cec073c4a6c8731e192c15cc7de7e0a0c4d96b64d4b23210afd1c0", "intent_id": "groceries-142", "namespace": "personal.agent.spending", "requested_at": "2026-08-20T12:00:00.000000Z", "requested_route": null, "resource": { "attributes": {}, "business_id": null, "display_name": null, "extensions": {}, "namespace": "personal.agent.spending", "resource_id": "personal.agent.spending-resource", "schema": "controlspec/v0/resource", "schema_version": "0.1.0", "type": "personal.cart", "version": "1" }, "retry_count": 0, "schema": "controlspec/v0/action-intent", "schema_version": "0.1.0" }, "proposed_intent": { "action": { "domain_action": "personal.purchase", "requested_effect": { "personal.agent.spending.effect": "personal.purchase" }, "type": "commit" }, "actor": { "actor_id": "personal.agent.spending-agent", "attributes": {}, "extensions": {}, "lineage_refs": [], "namespace": "personal.agent.spending", "owner_ref": null, "schema": "controlspec/v0/actor", "schema_version": "0.1.0", "type": "agent", "version": "1" }, "context": { "personal.spending.recurring": false, "personal.spending.total_minor_units": 14200 }, "context_digest": "sha256:7d8d852b72578640619bd7115084a64be00c80b24467a31b01623cb61ec95621", "cost": null, "evidence_refs": [], "extensions": {}, "idempotency_key": "groceries-142", "intent_digest": "sha256:5b0a007d31cec073c4a6c8731e192c15cc7de7e0a0c4d96b64d4b23210afd1c0", "intent_id": "groceries-142", "namespace": "personal.agent.spending", "requested_at": "2026-08-20T12:00:00.000000Z", "requested_route": null, "resource": { "attributes": {}, "business_id": null, "display_name": null, "extensions": {}, "namespace": "personal.agent.spending", "resource_id": "personal.agent.spending-resource", "schema": "controlspec/v0/resource", "schema_version": "0.1.0", "type": "personal.cart", "version": "1" }, "retry_count": 0, "schema": "controlspec/v0/action-intent", "schema_version": "0.1.0" }, "source": { "request": "examples/controlspec/personal-agent-spending/requests/groceries-142.json", "reference_test": { "path": "backend/tests/api/test_controlspec_reference_api_examples.py", "revision": "a6d0c2685a62eb9e21eef49355ed20687bdf9563", "symbol": "test_personal_agent_examples_execute_portably_through_http" }, "selected_pack": { "catalog_id": "personal.agent.spending:spending-baseline@0.1.0", "kind": "pack", "semantic_digest": "sha256:682c677a946588ed7c7313ed0e36c77af8213d77dd82b9979d7d7b8454d29291" }, "explanation_codes": [ "controlspec.core.approval.required", "personal.spending.approval_required" ], "explanation_basis": "reviewed fixture; observe validates exact API match" }, "initial_state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 }, "lanes": { "without": { "initial_state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 }, "final_state": { "balance_minor_units": 35800, "quote_total_minor_units": 100000, "discount_basis_points": 0 }, "intent": { "action": { "domain_action": "personal.purchase", "requested_effect": { "personal.agent.spending.effect": "personal.purchase" }, "type": "commit" }, "actor": { "actor_id": "personal.agent.spending-agent", "attributes": {}, "extensions": {}, "lineage_refs": [], "namespace": "personal.agent.spending", "owner_ref": null, "schema": "controlspec/v0/actor", "schema_version": "0.1.0", "type": "agent", "version": "1" }, "context": { "personal.spending.recurring": false, "personal.spending.total_minor_units": 14200 }, "context_digest": "sha256:7d8d852b72578640619bd7115084a64be00c80b24467a31b01623cb61ec95621", "cost": null, "evidence_refs": [], "extensions": {}, "idempotency_key": "groceries-142", "intent_digest": "sha256:5b0a007d31cec073c4a6c8731e192c15cc7de7e0a0c4d96b64d4b23210afd1c0", "intent_id": "groceries-142", "namespace": "personal.agent.spending", "requested_at": "2026-08-20T12:00:00.000000Z", "requested_route": null, "resource": { "attributes": {}, "business_id": null, "display_name": null, "extensions": {}, "namespace": "personal.agent.spending", "resource_id": "personal.agent.spending-resource", "schema": "controlspec/v0/resource", "schema_version": "0.1.0", "type": "personal.cart", "version": "1" }, "retry_count": 0, "schema": "controlspec/v0/action-intent", "schema_version": "0.1.0" }, "events": [ { "step": 0, "kind": "proposed", "message": "Identical scripted intent received by an isolated fake target lane.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 1, "kind": "dispatch", "message": "Comparison lane dispatches directly; this control layer is absent.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 2, "kind": "recheck", "message": "No ControlSpec binding recheck in this comparison lane.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 3, "kind": "target", "message": "Fake target changed. No external action occurred.", "state": { "balance_minor_units": 35800, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 4, "kind": "receipt", "message": "Sandbox action observed.", "state": { "balance_minor_units": 35800, "quote_total_minor_units": 100000, "discount_basis_points": 0 } } ], "mutated": true, "target_evidence": [ { "kind": "sandbox_target_event", "scope": "fake_target_only", "intent_digest": "sha256:5b0a007d31cec073c4a6c8731e192c15cc7de7e0a0c4d96b64d4b23210afd1c0", "before": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 }, "after": { "balance_minor_units": 35800, "quote_total_minor_units": 100000, "discount_basis_points": 0 }, "production_evidence": false } ], "completion": "Sandbox action observed." }, "controlled": { "initial_state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 }, "final_state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 }, "intent": { "action": { "domain_action": "personal.purchase", "requested_effect": { "personal.agent.spending.effect": "personal.purchase" }, "type": "commit" }, "actor": { "actor_id": "personal.agent.spending-agent", "attributes": {}, "extensions": {}, "lineage_refs": [], "namespace": "personal.agent.spending", "owner_ref": null, "schema": "controlspec/v0/actor", "schema_version": "0.1.0", "type": "agent", "version": "1" }, "context": { "personal.spending.recurring": false, "personal.spending.total_minor_units": 14200 }, "context_digest": "sha256:7d8d852b72578640619bd7115084a64be00c80b24467a31b01623cb61ec95621", "cost": null, "evidence_refs": [], "extensions": {}, "idempotency_key": "groceries-142", "intent_digest": "sha256:5b0a007d31cec073c4a6c8731e192c15cc7de7e0a0c4d96b64d4b23210afd1c0", "intent_id": "groceries-142", "namespace": "personal.agent.spending", "requested_at": "2026-08-20T12:00:00.000000Z", "requested_route": null, "resource": { "attributes": {}, "business_id": null, "display_name": null, "extensions": {}, "namespace": "personal.agent.spending", "resource_id": "personal.agent.spending-resource", "schema": "controlspec/v0/resource", "schema_version": "0.1.0", "type": "personal.cart", "version": "1" }, "retry_count": 0, "schema": "controlspec/v0/action-intent", "schema_version": "0.1.0" }, "events": [ { "step": 0, "kind": "proposed", "message": "Identical scripted intent received by an isolated fake target lane.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 1, "kind": "decision", "message": "Real reference decision: require_approval.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 2, "kind": "recheck", "message": "Binding valid for proposed action: true.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 3, "kind": "target", "message": "Dispatch held; fake target unchanged.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 4, "kind": "receipt", "message": "Reference receipt: failed; verified evidence: 0. Sandbox events do not upgrade this receipt.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 } } ], "mutated": false, "target_evidence": [], "completion": "Action held; fake target unchanged." } } }, { "id": "discount", "title": "The 15% discount", "description": "A sales agent proposes an offer needing approval.", "domain": "smb", "scenario_id": "discount-15", "changed": false, "evidence_available": true, "observation": { "scenario_id": "discount-15", "intent_digest": "sha256:ec4f4dee20b67ee8dd0b264dcbf60f185eda92d48fa48bbf2ed54f0ff090e5d4", "pack_catalog_id": "smb.sales.controls:sales-baseline@0.1.0", "verdict": "require_approval", "route_kind": "continue", "route_id": "continue", "recheck_valid": true, "changed_recheck_valid": null, "receipt_status": "failed", "missing_evidence_count": 0, "verified_evidence_count": 0, "assessment_basis": "caller_report_only", "stored": false, "durable": false, "route_substitution_rejected": true }, "original_intent": { "action": { "domain_action": "smb.sales.offer_discount", "requested_effect": { "smb.sales.controls.effect": "smb.sales.offer_discount" }, "type": "communicate" }, "actor": { "actor_id": "smb.sales.controls-agent", "attributes": {}, "extensions": {}, "lineage_refs": [], "namespace": "smb.sales.controls", "owner_ref": null, "schema": "controlspec/v0/actor", "schema_version": "0.1.0", "type": "agent", "version": "1" }, "context": { "smb.sales.discount_basis_points": 1500 }, "context_digest": "sha256:9ef70d85099b9abaf8649f6cfb0f943daff79d62e71c9b33321fa56ccfa09982", "cost": null, "evidence_refs": [], "extensions": {}, "idempotency_key": "discount-15", "intent_digest": "sha256:ec4f4dee20b67ee8dd0b264dcbf60f185eda92d48fa48bbf2ed54f0ff090e5d4", "intent_id": "discount-15", "namespace": "smb.sales.controls", "requested_at": "2026-08-20T12:00:00.000000Z", "requested_route": null, "resource": { "attributes": {}, "business_id": null, "display_name": null, "extensions": {}, "namespace": "smb.sales.controls", "resource_id": "smb.sales.controls-resource", "schema": "controlspec/v0/resource", "schema_version": "0.1.0", "type": "smb.customer_email", "version": "1" }, "retry_count": 0, "schema": "controlspec/v0/action-intent", "schema_version": "0.1.0" }, "proposed_intent": { "action": { "domain_action": "smb.sales.offer_discount", "requested_effect": { "smb.sales.controls.effect": "smb.sales.offer_discount" }, "type": "communicate" }, "actor": { "actor_id": "smb.sales.controls-agent", "attributes": {}, "extensions": {}, "lineage_refs": [], "namespace": "smb.sales.controls", "owner_ref": null, "schema": "controlspec/v0/actor", "schema_version": "0.1.0", "type": "agent", "version": "1" }, "context": { "smb.sales.discount_basis_points": 1500 }, "context_digest": "sha256:9ef70d85099b9abaf8649f6cfb0f943daff79d62e71c9b33321fa56ccfa09982", "cost": null, "evidence_refs": [], "extensions": {}, "idempotency_key": "discount-15", "intent_digest": "sha256:ec4f4dee20b67ee8dd0b264dcbf60f185eda92d48fa48bbf2ed54f0ff090e5d4", "intent_id": "discount-15", "namespace": "smb.sales.controls", "requested_at": "2026-08-20T12:00:00.000000Z", "requested_route": null, "resource": { "attributes": {}, "business_id": null, "display_name": null, "extensions": {}, "namespace": "smb.sales.controls", "resource_id": "smb.sales.controls-resource", "schema": "controlspec/v0/resource", "schema_version": "0.1.0", "type": "smb.customer_email", "version": "1" }, "retry_count": 0, "schema": "controlspec/v0/action-intent", "schema_version": "0.1.0" }, "source": { "request": "examples/controlspec/smb-sales-controls/requests/discount-15.json", "reference_test": { "path": "backend/tests/api/test_controlspec_reference_api_examples.py", "revision": "a6d0c2685a62eb9e21eef49355ed20687bdf9563", "symbol": "test_smb_sales_examples_execute_portably_through_http" }, "selected_pack": { "catalog_id": "smb.sales.controls:sales-baseline@0.1.0", "kind": "pack", "semantic_digest": "sha256:2dac49ef9705353c556d200cf908a4d4405bdf8a36c68f2f8926628cdfc346bd" }, "explanation_codes": [ "controlspec.core.approval.required", "smb.sales.discount_controlled", "smb.sales.manager_required" ], "explanation_basis": "reviewed fixture; observe validates exact API match" }, "initial_state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 }, "lanes": { "without": { "initial_state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 }, "final_state": { "balance_minor_units": 50000, "quote_total_minor_units": 85000, "discount_basis_points": 1500 }, "intent": { "action": { "domain_action": "smb.sales.offer_discount", "requested_effect": { "smb.sales.controls.effect": "smb.sales.offer_discount" }, "type": "communicate" }, "actor": { "actor_id": "smb.sales.controls-agent", "attributes": {}, "extensions": {}, "lineage_refs": [], "namespace": "smb.sales.controls", "owner_ref": null, "schema": "controlspec/v0/actor", "schema_version": "0.1.0", "type": "agent", "version": "1" }, "context": { "smb.sales.discount_basis_points": 1500 }, "context_digest": "sha256:9ef70d85099b9abaf8649f6cfb0f943daff79d62e71c9b33321fa56ccfa09982", "cost": null, "evidence_refs": [], "extensions": {}, "idempotency_key": "discount-15", "intent_digest": "sha256:ec4f4dee20b67ee8dd0b264dcbf60f185eda92d48fa48bbf2ed54f0ff090e5d4", "intent_id": "discount-15", "namespace": "smb.sales.controls", "requested_at": "2026-08-20T12:00:00.000000Z", "requested_route": null, "resource": { "attributes": {}, "business_id": null, "display_name": null, "extensions": {}, "namespace": "smb.sales.controls", "resource_id": "smb.sales.controls-resource", "schema": "controlspec/v0/resource", "schema_version": "0.1.0", "type": "smb.customer_email", "version": "1" }, "retry_count": 0, "schema": "controlspec/v0/action-intent", "schema_version": "0.1.0" }, "events": [ { "step": 0, "kind": "proposed", "message": "Identical scripted intent received by an isolated fake target lane.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 1, "kind": "dispatch", "message": "Comparison lane dispatches directly; this control layer is absent.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 2, "kind": "recheck", "message": "No ControlSpec binding recheck in this comparison lane.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 3, "kind": "target", "message": "Fake target changed. No external action occurred.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 85000, "discount_basis_points": 1500 } }, { "step": 4, "kind": "receipt", "message": "Sandbox action observed.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 85000, "discount_basis_points": 1500 } } ], "mutated": true, "target_evidence": [ { "kind": "sandbox_target_event", "scope": "fake_target_only", "intent_digest": "sha256:ec4f4dee20b67ee8dd0b264dcbf60f185eda92d48fa48bbf2ed54f0ff090e5d4", "before": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 }, "after": { "balance_minor_units": 50000, "quote_total_minor_units": 85000, "discount_basis_points": 1500 }, "production_evidence": false } ], "completion": "Sandbox action observed." }, "controlled": { "initial_state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 }, "final_state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 }, "intent": { "action": { "domain_action": "smb.sales.offer_discount", "requested_effect": { "smb.sales.controls.effect": "smb.sales.offer_discount" }, "type": "communicate" }, "actor": { "actor_id": "smb.sales.controls-agent", "attributes": {}, "extensions": {}, "lineage_refs": [], "namespace": "smb.sales.controls", "owner_ref": null, "schema": "controlspec/v0/actor", "schema_version": "0.1.0", "type": "agent", "version": "1" }, "context": { "smb.sales.discount_basis_points": 1500 }, "context_digest": "sha256:9ef70d85099b9abaf8649f6cfb0f943daff79d62e71c9b33321fa56ccfa09982", "cost": null, "evidence_refs": [], "extensions": {}, "idempotency_key": "discount-15", "intent_digest": "sha256:ec4f4dee20b67ee8dd0b264dcbf60f185eda92d48fa48bbf2ed54f0ff090e5d4", "intent_id": "discount-15", "namespace": "smb.sales.controls", "requested_at": "2026-08-20T12:00:00.000000Z", "requested_route": null, "resource": { "attributes": {}, "business_id": null, "display_name": null, "extensions": {}, "namespace": "smb.sales.controls", "resource_id": "smb.sales.controls-resource", "schema": "controlspec/v0/resource", "schema_version": "0.1.0", "type": "smb.customer_email", "version": "1" }, "retry_count": 0, "schema": "controlspec/v0/action-intent", "schema_version": "0.1.0" }, "events": [ { "step": 0, "kind": "proposed", "message": "Identical scripted intent received by an isolated fake target lane.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 1, "kind": "decision", "message": "Real reference decision: require_approval.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 2, "kind": "recheck", "message": "Binding valid for proposed action: true.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 3, "kind": "target", "message": "Dispatch held; fake target unchanged.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 4, "kind": "receipt", "message": "Reference receipt: failed; verified evidence: 0. Sandbox events do not upgrade this receipt.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 } } ], "mutated": false, "target_evidence": [], "completion": "Action held; fake target unchanged." } } }, { "id": "self-approval", "title": "The agent approves itself", "description": "The same proposed 15% offer includes direct self-approval.", "domain": "smb", "scenario_id": "smb-discount-15-direct-self-approval", "changed": false, "evidence_available": true, "observation": { "scenario_id": "smb-discount-15-direct-self-approval", "intent_digest": "sha256:c28c5920136a243b8256f8baaa59709217a8f7043e95dcec06013aaee3d1bf1a", "pack_catalog_id": "smb.sales.controls:sales-baseline@0.1.0", "verdict": "block", "route_kind": "block", "route_id": "fail-closed-block", "recheck_valid": true, "changed_recheck_valid": null, "receipt_status": "failed", "missing_evidence_count": 0, "verified_evidence_count": 0, "assessment_basis": "caller_report_only", "stored": false, "durable": false, "route_substitution_rejected": true }, "original_intent": { "action": { "domain_action": "smb.sales.offer_discount", "requested_effect": { "smb.sales.controls.effect": "smb.sales.offer_discount" }, "type": "communicate" }, "actor": { "actor_id": "smb.sales.controls-agent", "attributes": {}, "extensions": {}, "lineage_refs": [], "namespace": "smb.sales.controls", "owner_ref": null, "schema": "controlspec/v0/actor", "schema_version": "0.1.0", "type": "agent", "version": "1" }, "context": { "smb.sales.discount_basis_points": 1500 }, "context_digest": "sha256:9ef70d85099b9abaf8649f6cfb0f943daff79d62e71c9b33321fa56ccfa09982", "cost": null, "evidence_refs": [], "extensions": {}, "idempotency_key": "discount-self-approval", "intent_digest": "sha256:c28c5920136a243b8256f8baaa59709217a8f7043e95dcec06013aaee3d1bf1a", "intent_id": "discount-self-approval", "namespace": "smb.sales.controls", "requested_at": "2026-08-20T12:00:00.000000Z", "requested_route": null, "resource": { "attributes": {}, "business_id": null, "display_name": null, "extensions": {}, "namespace": "smb.sales.controls", "resource_id": "smb.sales.controls-resource", "schema": "controlspec/v0/resource", "schema_version": "0.1.0", "type": "smb.customer_email", "version": "1" }, "retry_count": 0, "schema": "controlspec/v0/action-intent", "schema_version": "0.1.0" }, "proposed_intent": { "action": { "domain_action": "smb.sales.offer_discount", "requested_effect": { "smb.sales.controls.effect": "smb.sales.offer_discount" }, "type": "communicate" }, "actor": { "actor_id": "smb.sales.controls-agent", "attributes": {}, "extensions": {}, "lineage_refs": [], "namespace": "smb.sales.controls", "owner_ref": null, "schema": "controlspec/v0/actor", "schema_version": "0.1.0", "type": "agent", "version": "1" }, "context": { "smb.sales.discount_basis_points": 1500 }, "context_digest": "sha256:9ef70d85099b9abaf8649f6cfb0f943daff79d62e71c9b33321fa56ccfa09982", "cost": null, "evidence_refs": [], "extensions": {}, "idempotency_key": "discount-self-approval", "intent_digest": "sha256:c28c5920136a243b8256f8baaa59709217a8f7043e95dcec06013aaee3d1bf1a", "intent_id": "discount-self-approval", "namespace": "smb.sales.controls", "requested_at": "2026-08-20T12:00:00.000000Z", "requested_route": null, "resource": { "attributes": {}, "business_id": null, "display_name": null, "extensions": {}, "namespace": "smb.sales.controls", "resource_id": "smb.sales.controls-resource", "schema": "controlspec/v0/resource", "schema_version": "0.1.0", "type": "smb.customer_email", "version": "1" }, "retry_count": 0, "schema": "controlspec/v0/action-intent", "schema_version": "0.1.0" }, "source": { "request": "examples/controlspec/smb-sales-controls/requests/smb-discount-15-direct-self-approval.json", "reference_test": { "path": "backend/src/assurance/controlspec/reference_catalog_data/v0_1_1/scenarios/smb-discount-15-direct-self-approval.json", "revision": "a6d0c2685a62eb9e21eef49355ed20687bdf9563", "symbol": "intent/selection/reference_time" }, "selected_pack": { "catalog_id": "smb.sales.controls:sales-baseline@0.1.0", "kind": "pack", "semantic_digest": "sha256:2dac49ef9705353c556d200cf908a4d4405bdf8a36c68f2f8926628cdfc346bd" }, "explanation_codes": [ "controlspec.core.approval.independence_failed", "smb.sales.discount_controlled", "smb.sales.manager_required" ], "explanation_basis": "reviewed fixture; observe validates exact API match" }, "initial_state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 }, "lanes": { "without": { "initial_state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 }, "final_state": { "balance_minor_units": 50000, "quote_total_minor_units": 85000, "discount_basis_points": 1500 }, "intent": { "action": { "domain_action": "smb.sales.offer_discount", "requested_effect": { "smb.sales.controls.effect": "smb.sales.offer_discount" }, "type": "communicate" }, "actor": { "actor_id": "smb.sales.controls-agent", "attributes": {}, "extensions": {}, "lineage_refs": [], "namespace": "smb.sales.controls", "owner_ref": null, "schema": "controlspec/v0/actor", "schema_version": "0.1.0", "type": "agent", "version": "1" }, "context": { "smb.sales.discount_basis_points": 1500 }, "context_digest": "sha256:9ef70d85099b9abaf8649f6cfb0f943daff79d62e71c9b33321fa56ccfa09982", "cost": null, "evidence_refs": [], "extensions": {}, "idempotency_key": "discount-self-approval", "intent_digest": "sha256:c28c5920136a243b8256f8baaa59709217a8f7043e95dcec06013aaee3d1bf1a", "intent_id": "discount-self-approval", "namespace": "smb.sales.controls", "requested_at": "2026-08-20T12:00:00.000000Z", "requested_route": null, "resource": { "attributes": {}, "business_id": null, "display_name": null, "extensions": {}, "namespace": "smb.sales.controls", "resource_id": "smb.sales.controls-resource", "schema": "controlspec/v0/resource", "schema_version": "0.1.0", "type": "smb.customer_email", "version": "1" }, "retry_count": 0, "schema": "controlspec/v0/action-intent", "schema_version": "0.1.0" }, "events": [ { "step": 0, "kind": "proposed", "message": "Identical scripted intent received by an isolated fake target lane.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 1, "kind": "dispatch", "message": "Comparison lane dispatches directly; this control layer is absent.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 2, "kind": "recheck", "message": "No ControlSpec binding recheck in this comparison lane.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 3, "kind": "target", "message": "Fake target changed. No external action occurred.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 85000, "discount_basis_points": 1500 } }, { "step": 4, "kind": "receipt", "message": "Sandbox action observed.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 85000, "discount_basis_points": 1500 } } ], "mutated": true, "target_evidence": [ { "kind": "sandbox_target_event", "scope": "fake_target_only", "intent_digest": "sha256:c28c5920136a243b8256f8baaa59709217a8f7043e95dcec06013aaee3d1bf1a", "before": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 }, "after": { "balance_minor_units": 50000, "quote_total_minor_units": 85000, "discount_basis_points": 1500 }, "production_evidence": false } ], "completion": "Sandbox action observed." }, "controlled": { "initial_state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 }, "final_state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 }, "intent": { "action": { "domain_action": "smb.sales.offer_discount", "requested_effect": { "smb.sales.controls.effect": "smb.sales.offer_discount" }, "type": "communicate" }, "actor": { "actor_id": "smb.sales.controls-agent", "attributes": {}, "extensions": {}, "lineage_refs": [], "namespace": "smb.sales.controls", "owner_ref": null, "schema": "controlspec/v0/actor", "schema_version": "0.1.0", "type": "agent", "version": "1" }, "context": { "smb.sales.discount_basis_points": 1500 }, "context_digest": "sha256:9ef70d85099b9abaf8649f6cfb0f943daff79d62e71c9b33321fa56ccfa09982", "cost": null, "evidence_refs": [], "extensions": {}, "idempotency_key": "discount-self-approval", "intent_digest": "sha256:c28c5920136a243b8256f8baaa59709217a8f7043e95dcec06013aaee3d1bf1a", "intent_id": "discount-self-approval", "namespace": "smb.sales.controls", "requested_at": "2026-08-20T12:00:00.000000Z", "requested_route": null, "resource": { "attributes": {}, "business_id": null, "display_name": null, "extensions": {}, "namespace": "smb.sales.controls", "resource_id": "smb.sales.controls-resource", "schema": "controlspec/v0/resource", "schema_version": "0.1.0", "type": "smb.customer_email", "version": "1" }, "retry_count": 0, "schema": "controlspec/v0/action-intent", "schema_version": "0.1.0" }, "events": [ { "step": 0, "kind": "proposed", "message": "Identical scripted intent received by an isolated fake target lane.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 1, "kind": "decision", "message": "Real reference decision: block.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 2, "kind": "recheck", "message": "Binding valid for proposed action: true.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 3, "kind": "target", "message": "Dispatch held; fake target unchanged.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 4, "kind": "receipt", "message": "Reference receipt: failed; verified evidence: 0. Sandbox events do not upgrade this receipt.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 } } ], "mutated": false, "target_evidence": [], "completion": "Action held; fake target unchanged." } } }, { "id": "changed-binding", "title": "$42 becomes $43", "description": "The exact action changes after its $42 decision. Reusing that decision fails.", "domain": "personal", "scenario_id": "groceries-42", "changed": true, "evidence_available": true, "observation": { "scenario_id": "groceries-42", "intent_digest": "sha256:eae71621e734dcf7b654a778562900935637da3b62384ac8a06802ede2d1c16d", "pack_catalog_id": "personal.agent.spending:spending-baseline@0.1.0", "verdict": "allow", "route_kind": "continue", "route_id": "continue", "recheck_valid": true, "changed_recheck_valid": false, "receipt_status": "incomplete", "missing_evidence_count": 1, "verified_evidence_count": 0, "assessment_basis": "caller_report_only", "stored": false, "durable": false, "route_substitution_rejected": true }, "original_intent": { "action": { "domain_action": "personal.purchase", "requested_effect": { "personal.agent.spending.effect": "personal.purchase" }, "type": "commit" }, "actor": { "actor_id": "personal.agent.spending-agent", "attributes": {}, "extensions": {}, "lineage_refs": [], "namespace": "personal.agent.spending", "owner_ref": null, "schema": "controlspec/v0/actor", "schema_version": "0.1.0", "type": "agent", "version": "1" }, "context": { "personal.spending.recurring": false, "personal.spending.total_minor_units": 4200 }, "context_digest": "sha256:dfa417e39a090e49ef9b50cda7e6396ef951cde9696490f7ff5bb28961cc72cb", "cost": null, "evidence_refs": [], "extensions": {}, "idempotency_key": "groceries-42", "intent_digest": "sha256:eae71621e734dcf7b654a778562900935637da3b62384ac8a06802ede2d1c16d", "intent_id": "groceries-42", "namespace": "personal.agent.spending", "requested_at": "2026-08-20T12:00:00.000000Z", "requested_route": null, "resource": { "attributes": {}, "business_id": null, "display_name": null, "extensions": {}, "namespace": "personal.agent.spending", "resource_id": "personal.agent.spending-resource", "schema": "controlspec/v0/resource", "schema_version": "0.1.0", "type": "personal.cart", "version": "1" }, "retry_count": 0, "schema": "controlspec/v0/action-intent", "schema_version": "0.1.0" }, "proposed_intent": { "action": { "domain_action": "personal.purchase", "requested_effect": { "personal.agent.spending.effect": "personal.purchase" }, "type": "commit" }, "actor": { "actor_id": "personal.agent.spending-agent", "attributes": {}, "extensions": {}, "lineage_refs": [], "namespace": "personal.agent.spending", "owner_ref": null, "schema": "controlspec/v0/actor", "schema_version": "0.1.0", "type": "agent", "version": "1" }, "context": { "personal.spending.recurring": false, "personal.spending.total_minor_units": 4300 }, "context_digest": "sha256:8dff65808208414a1e0918b6d2549c75decee5ea0dfce4e28a1594df2a1b845f", "cost": null, "evidence_refs": [], "extensions": {}, "idempotency_key": "groceries-42", "intent_digest": "sha256:251fff20bf91e75d47b48b2bdce71bb8e41d14f9d5eda519d06d035f694d8d89", "intent_id": "groceries-42", "namespace": "personal.agent.spending", "requested_at": "2026-08-20T12:00:00.000000Z", "requested_route": null, "resource": { "attributes": {}, "business_id": null, "display_name": null, "extensions": {}, "namespace": "personal.agent.spending", "resource_id": "personal.agent.spending-resource", "schema": "controlspec/v0/resource", "schema_version": "0.1.0", "type": "personal.cart", "version": "1" }, "retry_count": 0, "schema": "controlspec/v0/action-intent", "schema_version": "0.1.0" }, "source": { "request": "examples/controlspec/personal-agent-spending/requests/groceries-42.json", "reference_test": { "path": "backend/tests/api/test_controlspec_reference_api_examples.py", "revision": "a6d0c2685a62eb9e21eef49355ed20687bdf9563", "symbol": "test_personal_agent_examples_execute_portably_through_http" }, "selected_pack": { "catalog_id": "personal.agent.spending:spending-baseline@0.1.0", "kind": "pack", "semantic_digest": "sha256:682c677a946588ed7c7313ed0e36c77af8213d77dd82b9979d7d7b8454d29291" }, "explanation_codes": [ "controlspec.core.allow", "personal.spending.within_boundary" ], "explanation_basis": "reviewed fixture; observe validates exact API match" }, "initial_state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 }, "lanes": { "without": { "initial_state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 }, "final_state": { "balance_minor_units": 45700, "quote_total_minor_units": 100000, "discount_basis_points": 0 }, "intent": { "action": { "domain_action": "personal.purchase", "requested_effect": { "personal.agent.spending.effect": "personal.purchase" }, "type": "commit" }, "actor": { "actor_id": "personal.agent.spending-agent", "attributes": {}, "extensions": {}, "lineage_refs": [], "namespace": "personal.agent.spending", "owner_ref": null, "schema": "controlspec/v0/actor", "schema_version": "0.1.0", "type": "agent", "version": "1" }, "context": { "personal.spending.recurring": false, "personal.spending.total_minor_units": 4300 }, "context_digest": "sha256:8dff65808208414a1e0918b6d2549c75decee5ea0dfce4e28a1594df2a1b845f", "cost": null, "evidence_refs": [], "extensions": {}, "idempotency_key": "groceries-42", "intent_digest": "sha256:251fff20bf91e75d47b48b2bdce71bb8e41d14f9d5eda519d06d035f694d8d89", "intent_id": "groceries-42", "namespace": "personal.agent.spending", "requested_at": "2026-08-20T12:00:00.000000Z", "requested_route": null, "resource": { "attributes": {}, "business_id": null, "display_name": null, "extensions": {}, "namespace": "personal.agent.spending", "resource_id": "personal.agent.spending-resource", "schema": "controlspec/v0/resource", "schema_version": "0.1.0", "type": "personal.cart", "version": "1" }, "retry_count": 0, "schema": "controlspec/v0/action-intent", "schema_version": "0.1.0" }, "events": [ { "step": 0, "kind": "proposed", "message": "Identical scripted intent received by an isolated fake target lane.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 1, "kind": "dispatch", "message": "Comparison lane dispatches directly; this control layer is absent.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 2, "kind": "recheck", "message": "No ControlSpec binding recheck in this comparison lane.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 3, "kind": "target", "message": "Fake target changed. No external action occurred.", "state": { "balance_minor_units": 45700, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 4, "kind": "receipt", "message": "Sandbox action observed.", "state": { "balance_minor_units": 45700, "quote_total_minor_units": 100000, "discount_basis_points": 0 } } ], "mutated": true, "target_evidence": [ { "kind": "sandbox_target_event", "scope": "fake_target_only", "intent_digest": "sha256:251fff20bf91e75d47b48b2bdce71bb8e41d14f9d5eda519d06d035f694d8d89", "before": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 }, "after": { "balance_minor_units": 45700, "quote_total_minor_units": 100000, "discount_basis_points": 0 }, "production_evidence": false } ], "completion": "Sandbox action observed." }, "controlled": { "initial_state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 }, "final_state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 }, "intent": { "action": { "domain_action": "personal.purchase", "requested_effect": { "personal.agent.spending.effect": "personal.purchase" }, "type": "commit" }, "actor": { "actor_id": "personal.agent.spending-agent", "attributes": {}, "extensions": {}, "lineage_refs": [], "namespace": "personal.agent.spending", "owner_ref": null, "schema": "controlspec/v0/actor", "schema_version": "0.1.0", "type": "agent", "version": "1" }, "context": { "personal.spending.recurring": false, "personal.spending.total_minor_units": 4300 }, "context_digest": "sha256:8dff65808208414a1e0918b6d2549c75decee5ea0dfce4e28a1594df2a1b845f", "cost": null, "evidence_refs": [], "extensions": {}, "idempotency_key": "groceries-42", "intent_digest": "sha256:251fff20bf91e75d47b48b2bdce71bb8e41d14f9d5eda519d06d035f694d8d89", "intent_id": "groceries-42", "namespace": "personal.agent.spending", "requested_at": "2026-08-20T12:00:00.000000Z", "requested_route": null, "resource": { "attributes": {}, "business_id": null, "display_name": null, "extensions": {}, "namespace": "personal.agent.spending", "resource_id": "personal.agent.spending-resource", "schema": "controlspec/v0/resource", "schema_version": "0.1.0", "type": "personal.cart", "version": "1" }, "retry_count": 0, "schema": "controlspec/v0/action-intent", "schema_version": "0.1.0" }, "events": [ { "step": 0, "kind": "proposed", "message": "Identical scripted intent received by an isolated fake target lane.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 1, "kind": "decision", "message": "Real reference decision: allow.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 2, "kind": "recheck", "message": "Binding valid for proposed action: false.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 3, "kind": "target", "message": "Dispatch held; fake target unchanged.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 4, "kind": "receipt", "message": "Reference receipt: incomplete; verified evidence: 0. Sandbox events do not upgrade this receipt.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 } } ], "mutated": false, "target_evidence": [], "completion": "Action held; fake target unchanged." } } }, { "id": "missing-proof", "title": "Done is only a claim", "description": "A fake purchase runs, but target evidence is withheld from both lanes.", "domain": "personal", "scenario_id": "groceries-42", "changed": false, "evidence_available": false, "observation": { "scenario_id": "groceries-42", "intent_digest": "sha256:eae71621e734dcf7b654a778562900935637da3b62384ac8a06802ede2d1c16d", "pack_catalog_id": "personal.agent.spending:spending-baseline@0.1.0", "verdict": "allow", "route_kind": "continue", "route_id": "continue", "recheck_valid": true, "changed_recheck_valid": false, "receipt_status": "incomplete", "missing_evidence_count": 1, "verified_evidence_count": 0, "assessment_basis": "caller_report_only", "stored": false, "durable": false, "route_substitution_rejected": true }, "original_intent": { "action": { "domain_action": "personal.purchase", "requested_effect": { "personal.agent.spending.effect": "personal.purchase" }, "type": "commit" }, "actor": { "actor_id": "personal.agent.spending-agent", "attributes": {}, "extensions": {}, "lineage_refs": [], "namespace": "personal.agent.spending", "owner_ref": null, "schema": "controlspec/v0/actor", "schema_version": "0.1.0", "type": "agent", "version": "1" }, "context": { "personal.spending.recurring": false, "personal.spending.total_minor_units": 4200 }, "context_digest": "sha256:dfa417e39a090e49ef9b50cda7e6396ef951cde9696490f7ff5bb28961cc72cb", "cost": null, "evidence_refs": [], "extensions": {}, "idempotency_key": "groceries-42", "intent_digest": "sha256:eae71621e734dcf7b654a778562900935637da3b62384ac8a06802ede2d1c16d", "intent_id": "groceries-42", "namespace": "personal.agent.spending", "requested_at": "2026-08-20T12:00:00.000000Z", "requested_route": null, "resource": { "attributes": {}, "business_id": null, "display_name": null, "extensions": {}, "namespace": "personal.agent.spending", "resource_id": "personal.agent.spending-resource", "schema": "controlspec/v0/resource", "schema_version": "0.1.0", "type": "personal.cart", "version": "1" }, "retry_count": 0, "schema": "controlspec/v0/action-intent", "schema_version": "0.1.0" }, "proposed_intent": { "action": { "domain_action": "personal.purchase", "requested_effect": { "personal.agent.spending.effect": "personal.purchase" }, "type": "commit" }, "actor": { "actor_id": "personal.agent.spending-agent", "attributes": {}, "extensions": {}, "lineage_refs": [], "namespace": "personal.agent.spending", "owner_ref": null, "schema": "controlspec/v0/actor", "schema_version": "0.1.0", "type": "agent", "version": "1" }, "context": { "personal.spending.recurring": false, "personal.spending.total_minor_units": 4200 }, "context_digest": "sha256:dfa417e39a090e49ef9b50cda7e6396ef951cde9696490f7ff5bb28961cc72cb", "cost": null, "evidence_refs": [], "extensions": {}, "idempotency_key": "groceries-42", "intent_digest": "sha256:eae71621e734dcf7b654a778562900935637da3b62384ac8a06802ede2d1c16d", "intent_id": "groceries-42", "namespace": "personal.agent.spending", "requested_at": "2026-08-20T12:00:00.000000Z", "requested_route": null, "resource": { "attributes": {}, "business_id": null, "display_name": null, "extensions": {}, "namespace": "personal.agent.spending", "resource_id": "personal.agent.spending-resource", "schema": "controlspec/v0/resource", "schema_version": "0.1.0", "type": "personal.cart", "version": "1" }, "retry_count": 0, "schema": "controlspec/v0/action-intent", "schema_version": "0.1.0" }, "source": { "request": "examples/controlspec/personal-agent-spending/requests/groceries-42.json", "reference_test": { "path": "backend/tests/api/test_controlspec_reference_api_examples.py", "revision": "a6d0c2685a62eb9e21eef49355ed20687bdf9563", "symbol": "test_personal_agent_examples_execute_portably_through_http" }, "selected_pack": { "catalog_id": "personal.agent.spending:spending-baseline@0.1.0", "kind": "pack", "semantic_digest": "sha256:682c677a946588ed7c7313ed0e36c77af8213d77dd82b9979d7d7b8454d29291" }, "explanation_codes": [ "controlspec.core.allow", "personal.spending.within_boundary" ], "explanation_basis": "reviewed fixture; observe validates exact API match" }, "initial_state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 }, "lanes": { "without": { "initial_state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 }, "final_state": { "balance_minor_units": 45800, "quote_total_minor_units": 100000, "discount_basis_points": 0 }, "intent": { "action": { "domain_action": "personal.purchase", "requested_effect": { "personal.agent.spending.effect": "personal.purchase" }, "type": "commit" }, "actor": { "actor_id": "personal.agent.spending-agent", "attributes": {}, "extensions": {}, "lineage_refs": [], "namespace": "personal.agent.spending", "owner_ref": null, "schema": "controlspec/v0/actor", "schema_version": "0.1.0", "type": "agent", "version": "1" }, "context": { "personal.spending.recurring": false, "personal.spending.total_minor_units": 4200 }, "context_digest": "sha256:dfa417e39a090e49ef9b50cda7e6396ef951cde9696490f7ff5bb28961cc72cb", "cost": null, "evidence_refs": [], "extensions": {}, "idempotency_key": "groceries-42", "intent_digest": "sha256:eae71621e734dcf7b654a778562900935637da3b62384ac8a06802ede2d1c16d", "intent_id": "groceries-42", "namespace": "personal.agent.spending", "requested_at": "2026-08-20T12:00:00.000000Z", "requested_route": null, "resource": { "attributes": {}, "business_id": null, "display_name": null, "extensions": {}, "namespace": "personal.agent.spending", "resource_id": "personal.agent.spending-resource", "schema": "controlspec/v0/resource", "schema_version": "0.1.0", "type": "personal.cart", "version": "1" }, "retry_count": 0, "schema": "controlspec/v0/action-intent", "schema_version": "0.1.0" }, "events": [ { "step": 0, "kind": "proposed", "message": "Identical scripted intent received by an isolated fake target lane.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 1, "kind": "dispatch", "message": "Comparison lane dispatches directly; this control layer is absent.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 2, "kind": "recheck", "message": "No ControlSpec binding recheck in this comparison lane.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 3, "kind": "target", "message": "Fake target changed. No external action occurred.", "state": { "balance_minor_units": 45800, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 4, "kind": "receipt", "message": "Caller reports done; target proof is absent.", "state": { "balance_minor_units": 45800, "quote_total_minor_units": 100000, "discount_basis_points": 0 } } ], "mutated": true, "target_evidence": [], "completion": "Caller reports done; target proof is absent." }, "controlled": { "initial_state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 }, "final_state": { "balance_minor_units": 45800, "quote_total_minor_units": 100000, "discount_basis_points": 0 }, "intent": { "action": { "domain_action": "personal.purchase", "requested_effect": { "personal.agent.spending.effect": "personal.purchase" }, "type": "commit" }, "actor": { "actor_id": "personal.agent.spending-agent", "attributes": {}, "extensions": {}, "lineage_refs": [], "namespace": "personal.agent.spending", "owner_ref": null, "schema": "controlspec/v0/actor", "schema_version": "0.1.0", "type": "agent", "version": "1" }, "context": { "personal.spending.recurring": false, "personal.spending.total_minor_units": 4200 }, "context_digest": "sha256:dfa417e39a090e49ef9b50cda7e6396ef951cde9696490f7ff5bb28961cc72cb", "cost": null, "evidence_refs": [], "extensions": {}, "idempotency_key": "groceries-42", "intent_digest": "sha256:eae71621e734dcf7b654a778562900935637da3b62384ac8a06802ede2d1c16d", "intent_id": "groceries-42", "namespace": "personal.agent.spending", "requested_at": "2026-08-20T12:00:00.000000Z", "requested_route": null, "resource": { "attributes": {}, "business_id": null, "display_name": null, "extensions": {}, "namespace": "personal.agent.spending", "resource_id": "personal.agent.spending-resource", "schema": "controlspec/v0/resource", "schema_version": "0.1.0", "type": "personal.cart", "version": "1" }, "retry_count": 0, "schema": "controlspec/v0/action-intent", "schema_version": "0.1.0" }, "events": [ { "step": 0, "kind": "proposed", "message": "Identical scripted intent received by an isolated fake target lane.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 1, "kind": "decision", "message": "Real reference decision: allow.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 2, "kind": "recheck", "message": "Binding valid for proposed action: true.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 3, "kind": "target", "message": "Fake target changed. No external action occurred.", "state": { "balance_minor_units": 45800, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 4, "kind": "receipt", "message": "Reference receipt: incomplete; verified evidence: 0. Sandbox events do not upgrade this receipt.", "state": { "balance_minor_units": 45800, "quote_total_minor_units": 100000, "discount_basis_points": 0 } } ], "mutated": true, "target_evidence": [], "completion": "Completion unverified; no sandbox target evidence received." } } }, { "id": "allowed", "title": "The $42 purchase proceeds", "description": "An allowed, unchanged action reaches the fake target. Sandbox evidence is visible.", "domain": "personal", "scenario_id": "groceries-42", "changed": false, "evidence_available": true, "observation": { "scenario_id": "groceries-42", "intent_digest": "sha256:eae71621e734dcf7b654a778562900935637da3b62384ac8a06802ede2d1c16d", "pack_catalog_id": "personal.agent.spending:spending-baseline@0.1.0", "verdict": "allow", "route_kind": "continue", "route_id": "continue", "recheck_valid": true, "changed_recheck_valid": false, "receipt_status": "incomplete", "missing_evidence_count": 1, "verified_evidence_count": 0, "assessment_basis": "caller_report_only", "stored": false, "durable": false, "route_substitution_rejected": true }, "original_intent": { "action": { "domain_action": "personal.purchase", "requested_effect": { "personal.agent.spending.effect": "personal.purchase" }, "type": "commit" }, "actor": { "actor_id": "personal.agent.spending-agent", "attributes": {}, "extensions": {}, "lineage_refs": [], "namespace": "personal.agent.spending", "owner_ref": null, "schema": "controlspec/v0/actor", "schema_version": "0.1.0", "type": "agent", "version": "1" }, "context": { "personal.spending.recurring": false, "personal.spending.total_minor_units": 4200 }, "context_digest": "sha256:dfa417e39a090e49ef9b50cda7e6396ef951cde9696490f7ff5bb28961cc72cb", "cost": null, "evidence_refs": [], "extensions": {}, "idempotency_key": "groceries-42", "intent_digest": "sha256:eae71621e734dcf7b654a778562900935637da3b62384ac8a06802ede2d1c16d", "intent_id": "groceries-42", "namespace": "personal.agent.spending", "requested_at": "2026-08-20T12:00:00.000000Z", "requested_route": null, "resource": { "attributes": {}, "business_id": null, "display_name": null, "extensions": {}, "namespace": "personal.agent.spending", "resource_id": "personal.agent.spending-resource", "schema": "controlspec/v0/resource", "schema_version": "0.1.0", "type": "personal.cart", "version": "1" }, "retry_count": 0, "schema": "controlspec/v0/action-intent", "schema_version": "0.1.0" }, "proposed_intent": { "action": { "domain_action": "personal.purchase", "requested_effect": { "personal.agent.spending.effect": "personal.purchase" }, "type": "commit" }, "actor": { "actor_id": "personal.agent.spending-agent", "attributes": {}, "extensions": {}, "lineage_refs": [], "namespace": "personal.agent.spending", "owner_ref": null, "schema": "controlspec/v0/actor", "schema_version": "0.1.0", "type": "agent", "version": "1" }, "context": { "personal.spending.recurring": false, "personal.spending.total_minor_units": 4200 }, "context_digest": "sha256:dfa417e39a090e49ef9b50cda7e6396ef951cde9696490f7ff5bb28961cc72cb", "cost": null, "evidence_refs": [], "extensions": {}, "idempotency_key": "groceries-42", "intent_digest": "sha256:eae71621e734dcf7b654a778562900935637da3b62384ac8a06802ede2d1c16d", "intent_id": "groceries-42", "namespace": "personal.agent.spending", "requested_at": "2026-08-20T12:00:00.000000Z", "requested_route": null, "resource": { "attributes": {}, "business_id": null, "display_name": null, "extensions": {}, "namespace": "personal.agent.spending", "resource_id": "personal.agent.spending-resource", "schema": "controlspec/v0/resource", "schema_version": "0.1.0", "type": "personal.cart", "version": "1" }, "retry_count": 0, "schema": "controlspec/v0/action-intent", "schema_version": "0.1.0" }, "source": { "request": "examples/controlspec/personal-agent-spending/requests/groceries-42.json", "reference_test": { "path": "backend/tests/api/test_controlspec_reference_api_examples.py", "revision": "a6d0c2685a62eb9e21eef49355ed20687bdf9563", "symbol": "test_personal_agent_examples_execute_portably_through_http" }, "selected_pack": { "catalog_id": "personal.agent.spending:spending-baseline@0.1.0", "kind": "pack", "semantic_digest": "sha256:682c677a946588ed7c7313ed0e36c77af8213d77dd82b9979d7d7b8454d29291" }, "explanation_codes": [ "controlspec.core.allow", "personal.spending.within_boundary" ], "explanation_basis": "reviewed fixture; observe validates exact API match" }, "initial_state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 }, "lanes": { "without": { "initial_state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 }, "final_state": { "balance_minor_units": 45800, "quote_total_minor_units": 100000, "discount_basis_points": 0 }, "intent": { "action": { "domain_action": "personal.purchase", "requested_effect": { "personal.agent.spending.effect": "personal.purchase" }, "type": "commit" }, "actor": { "actor_id": "personal.agent.spending-agent", "attributes": {}, "extensions": {}, "lineage_refs": [], "namespace": "personal.agent.spending", "owner_ref": null, "schema": "controlspec/v0/actor", "schema_version": "0.1.0", "type": "agent", "version": "1" }, "context": { "personal.spending.recurring": false, "personal.spending.total_minor_units": 4200 }, "context_digest": "sha256:dfa417e39a090e49ef9b50cda7e6396ef951cde9696490f7ff5bb28961cc72cb", "cost": null, "evidence_refs": [], "extensions": {}, "idempotency_key": "groceries-42", "intent_digest": "sha256:eae71621e734dcf7b654a778562900935637da3b62384ac8a06802ede2d1c16d", "intent_id": "groceries-42", "namespace": "personal.agent.spending", "requested_at": "2026-08-20T12:00:00.000000Z", "requested_route": null, "resource": { "attributes": {}, "business_id": null, "display_name": null, "extensions": {}, "namespace": "personal.agent.spending", "resource_id": "personal.agent.spending-resource", "schema": "controlspec/v0/resource", "schema_version": "0.1.0", "type": "personal.cart", "version": "1" }, "retry_count": 0, "schema": "controlspec/v0/action-intent", "schema_version": "0.1.0" }, "events": [ { "step": 0, "kind": "proposed", "message": "Identical scripted intent received by an isolated fake target lane.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 1, "kind": "dispatch", "message": "Comparison lane dispatches directly; this control layer is absent.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 2, "kind": "recheck", "message": "No ControlSpec binding recheck in this comparison lane.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 3, "kind": "target", "message": "Fake target changed. No external action occurred.", "state": { "balance_minor_units": 45800, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 4, "kind": "receipt", "message": "Sandbox action observed.", "state": { "balance_minor_units": 45800, "quote_total_minor_units": 100000, "discount_basis_points": 0 } } ], "mutated": true, "target_evidence": [ { "kind": "sandbox_target_event", "scope": "fake_target_only", "intent_digest": "sha256:eae71621e734dcf7b654a778562900935637da3b62384ac8a06802ede2d1c16d", "before": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 }, "after": { "balance_minor_units": 45800, "quote_total_minor_units": 100000, "discount_basis_points": 0 }, "production_evidence": false } ], "completion": "Sandbox action observed." }, "controlled": { "initial_state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 }, "final_state": { "balance_minor_units": 45800, "quote_total_minor_units": 100000, "discount_basis_points": 0 }, "intent": { "action": { "domain_action": "personal.purchase", "requested_effect": { "personal.agent.spending.effect": "personal.purchase" }, "type": "commit" }, "actor": { "actor_id": "personal.agent.spending-agent", "attributes": {}, "extensions": {}, "lineage_refs": [], "namespace": "personal.agent.spending", "owner_ref": null, "schema": "controlspec/v0/actor", "schema_version": "0.1.0", "type": "agent", "version": "1" }, "context": { "personal.spending.recurring": false, "personal.spending.total_minor_units": 4200 }, "context_digest": "sha256:dfa417e39a090e49ef9b50cda7e6396ef951cde9696490f7ff5bb28961cc72cb", "cost": null, "evidence_refs": [], "extensions": {}, "idempotency_key": "groceries-42", "intent_digest": "sha256:eae71621e734dcf7b654a778562900935637da3b62384ac8a06802ede2d1c16d", "intent_id": "groceries-42", "namespace": "personal.agent.spending", "requested_at": "2026-08-20T12:00:00.000000Z", "requested_route": null, "resource": { "attributes": {}, "business_id": null, "display_name": null, "extensions": {}, "namespace": "personal.agent.spending", "resource_id": "personal.agent.spending-resource", "schema": "controlspec/v0/resource", "schema_version": "0.1.0", "type": "personal.cart", "version": "1" }, "retry_count": 0, "schema": "controlspec/v0/action-intent", "schema_version": "0.1.0" }, "events": [ { "step": 0, "kind": "proposed", "message": "Identical scripted intent received by an isolated fake target lane.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 1, "kind": "decision", "message": "Real reference decision: allow.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 2, "kind": "recheck", "message": "Binding valid for proposed action: true.", "state": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 3, "kind": "target", "message": "Fake target changed. No external action occurred.", "state": { "balance_minor_units": 45800, "quote_total_minor_units": 100000, "discount_basis_points": 0 } }, { "step": 4, "kind": "receipt", "message": "Reference receipt: incomplete; verified evidence: 0. Sandbox events do not upgrade this receipt.", "state": { "balance_minor_units": 45800, "quote_total_minor_units": 100000, "discount_basis_points": 0 } } ], "mutated": true, "target_evidence": [ { "kind": "sandbox_target_event", "scope": "fake_target_only", "intent_digest": "sha256:eae71621e734dcf7b654a778562900935637da3b62384ac8a06802ede2d1c16d", "before": { "balance_minor_units": 50000, "quote_total_minor_units": 100000, "discount_basis_points": 0 }, "after": { "balance_minor_units": 45800, "quote_total_minor_units": 100000, "discount_basis_points": 0 }, "production_evidence": false } ], "completion": "Sandbox action observed; reference completion remains unverified." } } } ] }