AISA v2.0 / Technical documentation / execution-obligations.examples.json
execution-obligations.examples.json
JSON · 2336 lines · 62,782 bytes · wiki path 10 Architecture/contracts/fixtures/execution-obligations.examples.json · download the raw file · cited from Model execution · Contracts
Same folder: configuration-change.valid.json · connector-capability.broken.json · connector-capability.valid.json · eval-set.broken.json · eval-set.valid.json · handover-packet.valid.json · ledger-record.broken.json · ledger-record.valid.json · message-envelope.broken.json · message-envelope.valid.json · model-turn.broken.json · model-turn.valid.json · runtime-state.broken.json · runtime-state.valid.json · tool-package.examples.json · write-shape.broken.json · write-shape.packet.broken.json · write-shape.packet.valid.json · write-shape.valid.json
[
{
"name": "whole family and external proof complete",
"expected": "valid",
"value": {
"schema_version": 1,
"case_id": "fixture-case",
"origin_request_key": "synthetic:request-a",
"plan_revision": 1,
"approved_plan_ref": "paper:approved-plan:1",
"objective": {
"statement": "Repair the complete synthetic family and verify the customer's result.",
"outcome_type": "operational"
},
"scope": {
"revision": 1,
"inventory_ref": "paper:inventory:1",
"members": [
"header",
"registry"
],
"required_assertions": {
"header": [
"header-ok"
],
"registry": [
"registry-ok"
]
}
},
"steps": [
{
"id": "repair",
"actor_profile": "support.resolution",
"kind": "effect",
"depends_on": [],
"required": true,
"state": "verified",
"assertion_ids": [
"header-ok"
],
"evidence_refs": [
"paper:header:proof"
],
"call_ref": "call:repair",
"grant_ref": "grant:repair",
"effect_state": "applied"
},
{
"id": "external-registry",
"actor_profile": "support.resolution",
"kind": "external",
"depends_on": [
"repair"
],
"required": true,
"state": "verified",
"assertion_ids": [
"registry-ok"
],
"evidence_refs": [
"paper:registry:proof"
],
"external": {
"actor_ref": "role:customer-operations",
"request_ref": "paper:instruction:1",
"requested_at": "2026-09-07T09:00:00Z",
"response_ref": "paper:response:1"
}
}
],
"assertions": [
{
"id": "header-ok",
"member": "header",
"check_ref": "skill:header:v1",
"scope_revision": 1,
"verdict": "pass",
"evidence_ref": "paper:header:proof"
},
{
"id": "registry-ok",
"member": "registry",
"check_ref": "skill:registry:v1",
"scope_revision": 1,
"verdict": "pass",
"evidence_ref": "paper:registry:proof"
}
],
"case_state": "resolved",
"delivery_ref": "delivery:1",
"acceptance_ref": null,
"post_result": {
"task_ref": "task:learn:1",
"result_revision": 1,
"state": "queued"
}
}
},
{
"name": "external work pending is a valid waiting case",
"expected": "valid",
"value": {
"schema_version": 1,
"case_id": "fixture-case",
"origin_request_key": "synthetic:request-a",
"plan_revision": 1,
"approved_plan_ref": "paper:approved-plan:1",
"objective": {
"statement": "Repair the complete synthetic family and verify the customer's result.",
"outcome_type": "operational"
},
"scope": {
"revision": 1,
"inventory_ref": "paper:inventory:1",
"members": [
"header",
"registry"
],
"required_assertions": {
"header": [
"header-ok"
],
"registry": [
"registry-ok"
]
}
},
"steps": [
{
"id": "repair",
"actor_profile": "support.resolution",
"kind": "effect",
"depends_on": [],
"required": true,
"state": "verified",
"assertion_ids": [
"header-ok"
],
"evidence_refs": [
"paper:header:proof"
],
"call_ref": "call:repair",
"grant_ref": "grant:repair",
"effect_state": "applied"
},
{
"id": "external-registry",
"actor_profile": "support.resolution",
"kind": "external",
"depends_on": [
"repair"
],
"required": true,
"state": "waiting",
"assertion_ids": [
"registry-ok"
],
"evidence_refs": [],
"external": {
"actor_ref": "role:customer-operations",
"request_ref": "paper:instruction:1",
"requested_at": "2026-09-07T09:00:00Z",
"response_ref": null
}
}
],
"assertions": [
{
"id": "header-ok",
"member": "header",
"check_ref": "skill:header:v1",
"scope_revision": 1,
"verdict": "pass",
"evidence_ref": "paper:header:proof"
}
],
"case_state": "parked",
"delivery_ref": null,
"acceptance_ref": null,
"post_result": {
"task_ref": null,
"result_revision": 1,
"state": "not_queued"
}
}
},
{
"name": "customer-confirmed closure",
"expected": "valid",
"value": {
"schema_version": 1,
"case_id": "fixture-case",
"origin_request_key": "synthetic:request-a",
"plan_revision": 1,
"approved_plan_ref": "paper:approved-plan:1",
"objective": {
"statement": "Repair the complete synthetic family and verify the customer's result.",
"outcome_type": "operational"
},
"scope": {
"revision": 1,
"inventory_ref": "paper:inventory:1",
"members": [
"header",
"registry"
],
"required_assertions": {
"header": [
"header-ok"
],
"registry": [
"registry-ok"
]
}
},
"steps": [
{
"id": "repair",
"actor_profile": "support.resolution",
"kind": "effect",
"depends_on": [],
"required": true,
"state": "verified",
"assertion_ids": [
"header-ok"
],
"evidence_refs": [
"paper:header:proof"
],
"call_ref": "call:repair",
"grant_ref": "grant:repair",
"effect_state": "applied"
},
{
"id": "external-registry",
"actor_profile": "support.resolution",
"kind": "external",
"depends_on": [
"repair"
],
"required": true,
"state": "verified",
"assertion_ids": [
"registry-ok"
],
"evidence_refs": [
"paper:registry:proof"
],
"external": {
"actor_ref": "role:customer-operations",
"request_ref": "paper:instruction:1",
"requested_at": "2026-09-07T09:00:00Z",
"response_ref": "paper:response:1"
}
}
],
"assertions": [
{
"id": "header-ok",
"member": "header",
"check_ref": "skill:header:v1",
"scope_revision": 1,
"verdict": "pass",
"evidence_ref": "paper:header:proof"
},
{
"id": "registry-ok",
"member": "registry",
"check_ref": "skill:registry:v1",
"scope_revision": 1,
"verdict": "pass",
"evidence_ref": "paper:registry:proof"
}
],
"case_state": "closed",
"delivery_ref": "delivery:1",
"acceptance_ref": "acceptance:1",
"post_result": {
"task_ref": "task:learn:1",
"result_revision": 1,
"state": "queued"
}
}
},
{
"name": "missing final family member",
"expected": "incomplete_scope_proof",
"value": {
"schema_version": 1,
"case_id": "fixture-case",
"origin_request_key": "synthetic:request-a",
"plan_revision": 1,
"approved_plan_ref": "paper:approved-plan:1",
"objective": {
"statement": "Repair the complete synthetic family and verify the customer's result.",
"outcome_type": "operational"
},
"scope": {
"revision": 1,
"inventory_ref": "paper:inventory:1",
"members": [
"header",
"registry"
],
"required_assertions": {
"header": [
"header-ok"
],
"registry": [
"registry-ok"
]
}
},
"steps": [
{
"id": "repair",
"actor_profile": "support.resolution",
"kind": "effect",
"depends_on": [],
"required": true,
"state": "verified",
"assertion_ids": [
"header-ok"
],
"evidence_refs": [
"paper:header:proof"
],
"call_ref": "call:repair",
"grant_ref": "grant:repair",
"effect_state": "applied"
},
{
"id": "external-registry",
"actor_profile": "support.resolution",
"kind": "external",
"depends_on": [
"repair"
],
"required": true,
"state": "verified",
"assertion_ids": [
"registry-ok"
],
"evidence_refs": [
"paper:registry:proof"
],
"external": {
"actor_ref": "role:customer-operations",
"request_ref": "paper:instruction:1",
"requested_at": "2026-09-07T09:00:00Z",
"response_ref": "paper:response:1"
}
}
],
"assertions": [
{
"id": "header-ok",
"member": "header",
"check_ref": "skill:header:v1",
"scope_revision": 1,
"verdict": "pass",
"evidence_ref": "paper:header:proof"
}
],
"case_state": "resolved",
"delivery_ref": "delivery:1",
"acceptance_ref": null,
"post_result": {
"task_ref": "task:learn:1",
"result_revision": 1,
"state": "queued"
}
}
},
{
"name": "external done is only a report",
"expected": "required_work_open",
"value": {
"schema_version": 1,
"case_id": "fixture-case",
"origin_request_key": "synthetic:request-a",
"plan_revision": 1,
"approved_plan_ref": "paper:approved-plan:1",
"objective": {
"statement": "Repair the complete synthetic family and verify the customer's result.",
"outcome_type": "operational"
},
"scope": {
"revision": 1,
"inventory_ref": "paper:inventory:1",
"members": [
"header",
"registry"
],
"required_assertions": {
"header": [
"header-ok"
],
"registry": [
"registry-ok"
]
}
},
"steps": [
{
"id": "repair",
"actor_profile": "support.resolution",
"kind": "effect",
"depends_on": [],
"required": true,
"state": "verified",
"assertion_ids": [
"header-ok"
],
"evidence_refs": [
"paper:header:proof"
],
"call_ref": "call:repair",
"grant_ref": "grant:repair",
"effect_state": "applied"
},
{
"id": "external-registry",
"actor_profile": "support.resolution",
"kind": "external",
"depends_on": [
"repair"
],
"required": true,
"state": "reported",
"assertion_ids": [
"registry-ok"
],
"evidence_refs": [
"paper:registry:proof"
],
"external": {
"actor_ref": "role:customer-operations",
"request_ref": "paper:instruction:1",
"requested_at": "2026-09-07T09:00:00Z",
"response_ref": "paper:response:1"
}
}
],
"assertions": [
{
"id": "header-ok",
"member": "header",
"check_ref": "skill:header:v1",
"scope_revision": 1,
"verdict": "pass",
"evidence_ref": "paper:header:proof"
},
{
"id": "registry-ok",
"member": "registry",
"check_ref": "skill:registry:v1",
"scope_revision": 1,
"verdict": "pass",
"evidence_ref": "paper:registry:proof"
}
],
"case_state": "resolved",
"delivery_ref": "delivery:1",
"acceptance_ref": null,
"post_result": {
"task_ref": "task:learn:1",
"result_revision": 1,
"state": "queued"
}
}
},
{
"name": "old scope response",
"expected": "unproved_step",
"value": {
"schema_version": 1,
"case_id": "fixture-case",
"origin_request_key": "synthetic:request-a",
"plan_revision": 1,
"approved_plan_ref": "paper:approved-plan:1",
"objective": {
"statement": "Repair the complete synthetic family and verify the customer's result.",
"outcome_type": "operational"
},
"scope": {
"revision": 1,
"inventory_ref": "paper:inventory:1",
"members": [
"header",
"registry"
],
"required_assertions": {
"header": [
"header-ok"
],
"registry": [
"registry-ok"
]
}
},
"steps": [
{
"id": "repair",
"actor_profile": "support.resolution",
"kind": "effect",
"depends_on": [],
"required": true,
"state": "verified",
"assertion_ids": [
"header-ok"
],
"evidence_refs": [
"paper:header:proof"
],
"call_ref": "call:repair",
"grant_ref": "grant:repair",
"effect_state": "applied"
},
{
"id": "external-registry",
"actor_profile": "support.resolution",
"kind": "external",
"depends_on": [
"repair"
],
"required": true,
"state": "verified",
"assertion_ids": [
"registry-ok"
],
"evidence_refs": [
"paper:registry:proof"
],
"external": {
"actor_ref": "role:customer-operations",
"request_ref": "paper:instruction:1",
"requested_at": "2026-09-07T09:00:00Z",
"response_ref": "paper:response:1"
}
}
],
"assertions": [
{
"id": "header-ok",
"member": "header",
"check_ref": "skill:header:v1",
"scope_revision": 1,
"verdict": "pass",
"evidence_ref": "paper:header:proof"
},
{
"id": "registry-ok",
"member": "registry",
"check_ref": "skill:registry:v1",
"scope_revision": 2,
"verdict": "pass",
"evidence_ref": "paper:registry:proof"
}
],
"case_state": "resolved",
"delivery_ref": "delivery:1",
"acceptance_ref": null,
"post_result": {
"task_ref": "task:learn:1",
"result_revision": 1,
"state": "queued"
}
}
},
{
"name": "external action is not a platform call",
"expected": "external_as_platform_effect",
"value": {
"schema_version": 1,
"case_id": "fixture-case",
"origin_request_key": "synthetic:request-a",
"plan_revision": 1,
"approved_plan_ref": "paper:approved-plan:1",
"objective": {
"statement": "Repair the complete synthetic family and verify the customer's result.",
"outcome_type": "operational"
},
"scope": {
"revision": 1,
"inventory_ref": "paper:inventory:1",
"members": [
"header",
"registry"
],
"required_assertions": {
"header": [
"header-ok"
],
"registry": [
"registry-ok"
]
}
},
"steps": [
{
"id": "repair",
"actor_profile": "support.resolution",
"kind": "effect",
"depends_on": [],
"required": true,
"state": "verified",
"assertion_ids": [
"header-ok"
],
"evidence_refs": [
"paper:header:proof"
],
"call_ref": "call:repair",
"grant_ref": "grant:repair",
"effect_state": "applied"
},
{
"id": "external-registry",
"actor_profile": "support.resolution",
"kind": "external",
"depends_on": [
"repair"
],
"required": true,
"state": "verified",
"assertion_ids": [
"registry-ok"
],
"evidence_refs": [
"paper:registry:proof"
],
"external": {
"actor_ref": "role:customer-operations",
"request_ref": "paper:instruction:1",
"requested_at": "2026-09-07T09:00:00Z",
"response_ref": "paper:response:1"
},
"call_ref": "call:invented"
}
],
"assertions": [
{
"id": "header-ok",
"member": "header",
"check_ref": "skill:header:v1",
"scope_revision": 1,
"verdict": "pass",
"evidence_ref": "paper:header:proof"
},
{
"id": "registry-ok",
"member": "registry",
"check_ref": "skill:registry:v1",
"scope_revision": 1,
"verdict": "pass",
"evidence_ref": "paper:registry:proof"
}
],
"case_state": "resolved",
"delivery_ref": "delivery:1",
"acceptance_ref": null,
"post_result": {
"task_ref": "task:learn:1",
"result_revision": 1,
"state": "queued"
}
}
},
{
"name": "missing actor obligation",
"expected": "missing_external_owner",
"value": {
"schema_version": 1,
"case_id": "fixture-case",
"origin_request_key": "synthetic:request-a",
"plan_revision": 1,
"approved_plan_ref": "paper:approved-plan:1",
"objective": {
"statement": "Repair the complete synthetic family and verify the customer's result.",
"outcome_type": "operational"
},
"scope": {
"revision": 1,
"inventory_ref": "paper:inventory:1",
"members": [
"header",
"registry"
],
"required_assertions": {
"header": [
"header-ok"
],
"registry": [
"registry-ok"
]
}
},
"steps": [
{
"id": "repair",
"actor_profile": "support.resolution",
"kind": "effect",
"depends_on": [],
"required": true,
"state": "verified",
"assertion_ids": [
"header-ok"
],
"evidence_refs": [
"paper:header:proof"
],
"call_ref": "call:repair",
"grant_ref": "grant:repair",
"effect_state": "applied"
},
{
"id": "external-registry",
"actor_profile": "support.resolution",
"kind": "external",
"depends_on": [
"repair"
],
"required": true,
"state": "verified",
"assertion_ids": [
"registry-ok"
],
"evidence_refs": [
"paper:registry:proof"
]
}
],
"assertions": [
{
"id": "header-ok",
"member": "header",
"check_ref": "skill:header:v1",
"scope_revision": 1,
"verdict": "pass",
"evidence_ref": "paper:header:proof"
},
{
"id": "registry-ok",
"member": "registry",
"check_ref": "skill:registry:v1",
"scope_revision": 1,
"verdict": "pass",
"evidence_ref": "paper:registry:proof"
}
],
"case_state": "resolved",
"delivery_ref": "delivery:1",
"acceptance_ref": null,
"post_result": {
"task_ref": "task:learn:1",
"result_revision": 1,
"state": "queued"
}
}
},
{
"name": "platform effect unknown",
"expected": "unreconciled_effect",
"value": {
"schema_version": 1,
"case_id": "fixture-case",
"origin_request_key": "synthetic:request-a",
"plan_revision": 1,
"approved_plan_ref": "paper:approved-plan:1",
"objective": {
"statement": "Repair the complete synthetic family and verify the customer's result.",
"outcome_type": "operational"
},
"scope": {
"revision": 1,
"inventory_ref": "paper:inventory:1",
"members": [
"header",
"registry"
],
"required_assertions": {
"header": [
"header-ok"
],
"registry": [
"registry-ok"
]
}
},
"steps": [
{
"id": "repair",
"actor_profile": "support.resolution",
"kind": "effect",
"depends_on": [],
"required": true,
"state": "waiting",
"assertion_ids": [
"header-ok"
],
"evidence_refs": [
"paper:header:proof"
],
"call_ref": "call:repair",
"grant_ref": "grant:repair",
"effect_state": "unknown"
},
{
"id": "external-registry",
"actor_profile": "support.resolution",
"kind": "external",
"depends_on": [
"repair"
],
"required": true,
"state": "verified",
"assertion_ids": [
"registry-ok"
],
"evidence_refs": [
"paper:registry:proof"
],
"external": {
"actor_ref": "role:customer-operations",
"request_ref": "paper:instruction:1",
"requested_at": "2026-09-07T09:00:00Z",
"response_ref": "paper:response:1"
}
}
],
"assertions": [
{
"id": "header-ok",
"member": "header",
"check_ref": "skill:header:v1",
"scope_revision": 1,
"verdict": "pass",
"evidence_ref": "paper:header:proof"
},
{
"id": "registry-ok",
"member": "registry",
"check_ref": "skill:registry:v1",
"scope_revision": 1,
"verdict": "pass",
"evidence_ref": "paper:registry:proof"
}
],
"case_state": "resolved",
"delivery_ref": "delivery:1",
"acceptance_ref": null,
"post_result": {
"task_ref": "task:learn:1",
"result_revision": 1,
"state": "queued"
}
}
},
{
"name": "cross-system effect partial",
"expected": "unreconciled_effect",
"value": {
"schema_version": 1,
"case_id": "fixture-case",
"origin_request_key": "synthetic:request-a",
"plan_revision": 1,
"approved_plan_ref": "paper:approved-plan:1",
"objective": {
"statement": "Repair the complete synthetic family and verify the customer's result.",
"outcome_type": "operational"
},
"scope": {
"revision": 1,
"inventory_ref": "paper:inventory:1",
"members": [
"header",
"registry"
],
"required_assertions": {
"header": [
"header-ok"
],
"registry": [
"registry-ok"
]
}
},
"steps": [
{
"id": "repair",
"actor_profile": "support.resolution",
"kind": "effect",
"depends_on": [],
"required": true,
"state": "failed",
"assertion_ids": [
"header-ok"
],
"evidence_refs": [
"paper:header:proof"
],
"call_ref": "call:repair",
"grant_ref": "grant:repair",
"effect_state": "partial"
},
{
"id": "external-registry",
"actor_profile": "support.resolution",
"kind": "external",
"depends_on": [
"repair"
],
"required": true,
"state": "verified",
"assertion_ids": [
"registry-ok"
],
"evidence_refs": [
"paper:registry:proof"
],
"external": {
"actor_ref": "role:customer-operations",
"request_ref": "paper:instruction:1",
"requested_at": "2026-09-07T09:00:00Z",
"response_ref": "paper:response:1"
}
}
],
"assertions": [
{
"id": "header-ok",
"member": "header",
"check_ref": "skill:header:v1",
"scope_revision": 1,
"verdict": "pass",
"evidence_ref": "paper:header:proof"
},
{
"id": "registry-ok",
"member": "registry",
"check_ref": "skill:registry:v1",
"scope_revision": 1,
"verdict": "pass",
"evidence_ref": "paper:registry:proof"
}
],
"case_state": "resolved",
"delivery_ref": "delivery:1",
"acceptance_ref": null,
"post_result": {
"task_ref": "task:learn:1",
"result_revision": 1,
"state": "queued"
}
}
},
{
"name": "no effect authority",
"expected": "missing_effect_authority",
"value": {
"schema_version": 1,
"case_id": "fixture-case",
"origin_request_key": "synthetic:request-a",
"plan_revision": 1,
"approved_plan_ref": "paper:approved-plan:1",
"objective": {
"statement": "Repair the complete synthetic family and verify the customer's result.",
"outcome_type": "operational"
},
"scope": {
"revision": 1,
"inventory_ref": "paper:inventory:1",
"members": [
"header",
"registry"
],
"required_assertions": {
"header": [
"header-ok"
],
"registry": [
"registry-ok"
]
}
},
"steps": [
{
"id": "repair",
"actor_profile": "support.resolution",
"kind": "effect",
"depends_on": [],
"required": true,
"state": "verified",
"assertion_ids": [
"header-ok"
],
"evidence_refs": [
"paper:header:proof"
],
"call_ref": "call:repair",
"grant_ref": null,
"effect_state": "applied"
},
{
"id": "external-registry",
"actor_profile": "support.resolution",
"kind": "external",
"depends_on": [
"repair"
],
"required": true,
"state": "verified",
"assertion_ids": [
"registry-ok"
],
"evidence_refs": [
"paper:registry:proof"
],
"external": {
"actor_ref": "role:customer-operations",
"request_ref": "paper:instruction:1",
"requested_at": "2026-09-07T09:00:00Z",
"response_ref": "paper:response:1"
}
}
],
"assertions": [
{
"id": "header-ok",
"member": "header",
"check_ref": "skill:header:v1",
"scope_revision": 1,
"verdict": "pass",
"evidence_ref": "paper:header:proof"
},
{
"id": "registry-ok",
"member": "registry",
"check_ref": "skill:registry:v1",
"scope_revision": 1,
"verdict": "pass",
"evidence_ref": "paper:registry:proof"
}
],
"case_state": "resolved",
"delivery_ref": "delivery:1",
"acceptance_ref": null,
"post_result": {
"task_ref": "task:learn:1",
"result_revision": 1,
"state": "queued"
}
}
},
{
"name": "missing inventory layer",
"expected": "incomplete_inventory",
"value": {
"schema_version": 1,
"case_id": "fixture-case",
"origin_request_key": "synthetic:request-a",
"plan_revision": 1,
"approved_plan_ref": "paper:approved-plan:1",
"objective": {
"statement": "Repair the complete synthetic family and verify the customer's result.",
"outcome_type": "operational"
},
"scope": {
"revision": 1,
"inventory_ref": "paper:inventory:1",
"members": [
"header",
"registry",
"last-period"
],
"required_assertions": {
"header": [
"header-ok"
],
"registry": [
"registry-ok"
]
}
},
"steps": [
{
"id": "repair",
"actor_profile": "support.resolution",
"kind": "effect",
"depends_on": [],
"required": true,
"state": "verified",
"assertion_ids": [
"header-ok"
],
"evidence_refs": [
"paper:header:proof"
],
"call_ref": "call:repair",
"grant_ref": "grant:repair",
"effect_state": "applied"
},
{
"id": "external-registry",
"actor_profile": "support.resolution",
"kind": "external",
"depends_on": [
"repair"
],
"required": true,
"state": "verified",
"assertion_ids": [
"registry-ok"
],
"evidence_refs": [
"paper:registry:proof"
],
"external": {
"actor_ref": "role:customer-operations",
"request_ref": "paper:instruction:1",
"requested_at": "2026-09-07T09:00:00Z",
"response_ref": "paper:response:1"
}
}
],
"assertions": [
{
"id": "header-ok",
"member": "header",
"check_ref": "skill:header:v1",
"scope_revision": 1,
"verdict": "pass",
"evidence_ref": "paper:header:proof"
},
{
"id": "registry-ok",
"member": "registry",
"check_ref": "skill:registry:v1",
"scope_revision": 1,
"verdict": "pass",
"evidence_ref": "paper:registry:proof"
}
],
"case_state": "resolved",
"delivery_ref": "delivery:1",
"acceptance_ref": null,
"post_result": {
"task_ref": "task:learn:1",
"result_revision": 1,
"state": "queued"
}
}
},
{
"name": "proof from wrong member",
"expected": "wrong_assertion_member",
"value": {
"schema_version": 1,
"case_id": "fixture-case",
"origin_request_key": "synthetic:request-a",
"plan_revision": 1,
"approved_plan_ref": "paper:approved-plan:1",
"objective": {
"statement": "Repair the complete synthetic family and verify the customer's result.",
"outcome_type": "operational"
},
"scope": {
"revision": 1,
"inventory_ref": "paper:inventory:1",
"members": [
"header",
"registry"
],
"required_assertions": {
"header": [
"header-ok"
],
"registry": [
"registry-ok"
]
}
},
"steps": [
{
"id": "repair",
"actor_profile": "support.resolution",
"kind": "effect",
"depends_on": [],
"required": true,
"state": "verified",
"assertion_ids": [
"header-ok"
],
"evidence_refs": [
"paper:header:proof"
],
"call_ref": "call:repair",
"grant_ref": "grant:repair",
"effect_state": "applied"
},
{
"id": "external-registry",
"actor_profile": "support.resolution",
"kind": "external",
"depends_on": [
"repair"
],
"required": true,
"state": "verified",
"assertion_ids": [
"registry-ok"
],
"evidence_refs": [
"paper:registry:proof"
],
"external": {
"actor_ref": "role:customer-operations",
"request_ref": "paper:instruction:1",
"requested_at": "2026-09-07T09:00:00Z",
"response_ref": "paper:response:1"
}
}
],
"assertions": [
{
"id": "header-ok",
"member": "header",
"check_ref": "skill:header:v1",
"scope_revision": 1,
"verdict": "pass",
"evidence_ref": "paper:header:proof"
},
{
"id": "registry-ok",
"member": "header",
"check_ref": "skill:registry:v1",
"scope_revision": 1,
"verdict": "pass",
"evidence_ref": "paper:registry:proof"
}
],
"case_state": "resolved",
"delivery_ref": "delivery:1",
"acceptance_ref": null,
"post_result": {
"task_ref": "task:learn:1",
"result_revision": 1,
"state": "queued"
}
}
},
{
"name": "unassigned required check",
"expected": "unassigned_required_assertion",
"value": {
"schema_version": 1,
"case_id": "fixture-case",
"origin_request_key": "synthetic:request-a",
"plan_revision": 1,
"approved_plan_ref": "paper:approved-plan:1",
"objective": {
"statement": "Repair the complete synthetic family and verify the customer's result.",
"outcome_type": "operational"
},
"scope": {
"revision": 1,
"inventory_ref": "paper:inventory:1",
"members": [
"header",
"registry"
],
"required_assertions": {
"header": [
"header-ok"
],
"registry": [
"registry-ok",
"print-ok"
]
}
},
"steps": [
{
"id": "repair",
"actor_profile": "support.resolution",
"kind": "effect",
"depends_on": [],
"required": true,
"state": "verified",
"assertion_ids": [
"header-ok"
],
"evidence_refs": [
"paper:header:proof"
],
"call_ref": "call:repair",
"grant_ref": "grant:repair",
"effect_state": "applied"
},
{
"id": "external-registry",
"actor_profile": "support.resolution",
"kind": "external",
"depends_on": [
"repair"
],
"required": true,
"state": "verified",
"assertion_ids": [
"registry-ok"
],
"evidence_refs": [
"paper:registry:proof"
],
"external": {
"actor_ref": "role:customer-operations",
"request_ref": "paper:instruction:1",
"requested_at": "2026-09-07T09:00:00Z",
"response_ref": "paper:response:1"
}
}
],
"assertions": [
{
"id": "header-ok",
"member": "header",
"check_ref": "skill:header:v1",
"scope_revision": 1,
"verdict": "pass",
"evidence_ref": "paper:header:proof"
},
{
"id": "registry-ok",
"member": "registry",
"check_ref": "skill:registry:v1",
"scope_revision": 1,
"verdict": "pass",
"evidence_ref": "paper:registry:proof"
}
],
"case_state": "resolved",
"delivery_ref": "delivery:1",
"acceptance_ref": null,
"post_result": {
"task_ref": "task:learn:1",
"result_revision": 1,
"state": "queued"
}
}
},
{
"name": "missing dependent release half",
"expected": "dependency_not_verified",
"value": {
"schema_version": 1,
"case_id": "fixture-case",
"origin_request_key": "synthetic:request-a",
"plan_revision": 1,
"approved_plan_ref": "paper:approved-plan:1",
"objective": {
"statement": "Repair the complete synthetic family and verify the customer's result.",
"outcome_type": "operational"
},
"scope": {
"revision": 1,
"inventory_ref": "paper:inventory:1",
"members": [
"header",
"registry"
],
"required_assertions": {
"header": [
"header-ok"
],
"registry": [
"registry-ok"
]
}
},
"steps": [
{
"id": "repair",
"actor_profile": "support.resolution",
"kind": "effect",
"depends_on": [],
"required": true,
"state": "planned",
"assertion_ids": [
"header-ok"
],
"evidence_refs": [
"paper:header:proof"
],
"call_ref": "call:repair",
"grant_ref": "grant:repair",
"effect_state": "applied"
},
{
"id": "external-registry",
"actor_profile": "support.resolution",
"kind": "external",
"depends_on": [
"repair"
],
"required": true,
"state": "verified",
"assertion_ids": [
"registry-ok"
],
"evidence_refs": [
"paper:registry:proof"
],
"external": {
"actor_ref": "role:customer-operations",
"request_ref": "paper:instruction:1",
"requested_at": "2026-09-07T09:00:00Z",
"response_ref": "paper:response:1"
}
}
],
"assertions": [
{
"id": "header-ok",
"member": "header",
"check_ref": "skill:header:v1",
"scope_revision": 1,
"verdict": "pass",
"evidence_ref": "paper:header:proof"
},
{
"id": "registry-ok",
"member": "registry",
"check_ref": "skill:registry:v1",
"scope_revision": 1,
"verdict": "pass",
"evidence_ref": "paper:registry:proof"
}
],
"case_state": "resolved",
"delivery_ref": "delivery:1",
"acceptance_ref": null,
"post_result": {
"task_ref": "task:learn:1",
"result_revision": 1,
"state": "queued"
}
}
},
{
"name": "learning lost after closure",
"expected": "learning_not_durable",
"value": {
"schema_version": 1,
"case_id": "fixture-case",
"origin_request_key": "synthetic:request-a",
"plan_revision": 1,
"approved_plan_ref": "paper:approved-plan:1",
"objective": {
"statement": "Repair the complete synthetic family and verify the customer's result.",
"outcome_type": "operational"
},
"scope": {
"revision": 1,
"inventory_ref": "paper:inventory:1",
"members": [
"header",
"registry"
],
"required_assertions": {
"header": [
"header-ok"
],
"registry": [
"registry-ok"
]
}
},
"steps": [
{
"id": "repair",
"actor_profile": "support.resolution",
"kind": "effect",
"depends_on": [],
"required": true,
"state": "verified",
"assertion_ids": [
"header-ok"
],
"evidence_refs": [
"paper:header:proof"
],
"call_ref": "call:repair",
"grant_ref": "grant:repair",
"effect_state": "applied"
},
{
"id": "external-registry",
"actor_profile": "support.resolution",
"kind": "external",
"depends_on": [
"repair"
],
"required": true,
"state": "verified",
"assertion_ids": [
"registry-ok"
],
"evidence_refs": [
"paper:registry:proof"
],
"external": {
"actor_ref": "role:customer-operations",
"request_ref": "paper:instruction:1",
"requested_at": "2026-09-07T09:00:00Z",
"response_ref": "paper:response:1"
}
}
],
"assertions": [
{
"id": "header-ok",
"member": "header",
"check_ref": "skill:header:v1",
"scope_revision": 1,
"verdict": "pass",
"evidence_ref": "paper:header:proof"
},
{
"id": "registry-ok",
"member": "registry",
"check_ref": "skill:registry:v1",
"scope_revision": 1,
"verdict": "pass",
"evidence_ref": "paper:registry:proof"
}
],
"case_state": "resolved",
"delivery_ref": "delivery:1",
"acceptance_ref": null,
"post_result": {
"task_ref": null,
"result_revision": 1,
"state": "not_queued"
}
}
},
{
"name": "closed without customer acceptance",
"expected": "acceptance_missing",
"value": {
"schema_version": 1,
"case_id": "fixture-case",
"origin_request_key": "synthetic:request-a",
"plan_revision": 1,
"approved_plan_ref": "paper:approved-plan:1",
"objective": {
"statement": "Repair the complete synthetic family and verify the customer's result.",
"outcome_type": "operational"
},
"scope": {
"revision": 1,
"inventory_ref": "paper:inventory:1",
"members": [
"header",
"registry"
],
"required_assertions": {
"header": [
"header-ok"
],
"registry": [
"registry-ok"
]
}
},
"steps": [
{
"id": "repair",
"actor_profile": "support.resolution",
"kind": "effect",
"depends_on": [],
"required": true,
"state": "verified",
"assertion_ids": [
"header-ok"
],
"evidence_refs": [
"paper:header:proof"
],
"call_ref": "call:repair",
"grant_ref": "grant:repair",
"effect_state": "applied"
},
{
"id": "external-registry",
"actor_profile": "support.resolution",
"kind": "external",
"depends_on": [
"repair"
],
"required": true,
"state": "verified",
"assertion_ids": [
"registry-ok"
],
"evidence_refs": [
"paper:registry:proof"
],
"external": {
"actor_ref": "role:customer-operations",
"request_ref": "paper:instruction:1",
"requested_at": "2026-09-07T09:00:00Z",
"response_ref": "paper:response:1"
}
}
],
"assertions": [
{
"id": "header-ok",
"member": "header",
"check_ref": "skill:header:v1",
"scope_revision": 1,
"verdict": "pass",
"evidence_ref": "paper:header:proof"
},
{
"id": "registry-ok",
"member": "registry",
"check_ref": "skill:registry:v1",
"scope_revision": 1,
"verdict": "pass",
"evidence_ref": "paper:registry:proof"
}
],
"case_state": "closed",
"delivery_ref": "delivery:1",
"acceptance_ref": null,
"post_result": {
"task_ref": "task:learn:1",
"result_revision": 1,
"state": "queued"
}
}
},
{
"name": "no delivered result",
"expected": "delivery_not_recorded",
"value": {
"schema_version": 1,
"case_id": "fixture-case",
"origin_request_key": "synthetic:request-a",
"plan_revision": 1,
"approved_plan_ref": "paper:approved-plan:1",
"objective": {
"statement": "Repair the complete synthetic family and verify the customer's result.",
"outcome_type": "operational"
},
"scope": {
"revision": 1,
"inventory_ref": "paper:inventory:1",
"members": [
"header",
"registry"
],
"required_assertions": {
"header": [
"header-ok"
],
"registry": [
"registry-ok"
]
}
},
"steps": [
{
"id": "repair",
"actor_profile": "support.resolution",
"kind": "effect",
"depends_on": [],
"required": true,
"state": "verified",
"assertion_ids": [
"header-ok"
],
"evidence_refs": [
"paper:header:proof"
],
"call_ref": "call:repair",
"grant_ref": "grant:repair",
"effect_state": "applied"
},
{
"id": "external-registry",
"actor_profile": "support.resolution",
"kind": "external",
"depends_on": [
"repair"
],
"required": true,
"state": "verified",
"assertion_ids": [
"registry-ok"
],
"evidence_refs": [
"paper:registry:proof"
],
"external": {
"actor_ref": "role:customer-operations",
"request_ref": "paper:instruction:1",
"requested_at": "2026-09-07T09:00:00Z",
"response_ref": "paper:response:1"
}
}
],
"assertions": [
{
"id": "header-ok",
"member": "header",
"check_ref": "skill:header:v1",
"scope_revision": 1,
"verdict": "pass",
"evidence_ref": "paper:header:proof"
},
{
"id": "registry-ok",
"member": "registry",
"check_ref": "skill:registry:v1",
"scope_revision": 1,
"verdict": "pass",
"evidence_ref": "paper:registry:proof"
}
],
"case_state": "resolved",
"delivery_ref": null,
"acceptance_ref": null,
"post_result": {
"task_ref": "task:learn:1",
"result_revision": 1,
"state": "queued"
}
}
},
{
"name": "required step silently waived",
"expected": "required_work_open",
"value": {
"schema_version": 1,
"case_id": "fixture-case",
"origin_request_key": "synthetic:request-a",
"plan_revision": 1,
"approved_plan_ref": "paper:approved-plan:1",
"objective": {
"statement": "Repair the complete synthetic family and verify the customer's result.",
"outcome_type": "operational"
},
"scope": {
"revision": 1,
"inventory_ref": "paper:inventory:1",
"members": [
"header",
"registry"
],
"required_assertions": {
"header": [
"header-ok"
],
"registry": [
"registry-ok"
]
}
},
"steps": [
{
"id": "repair",
"actor_profile": "support.resolution",
"kind": "effect",
"depends_on": [],
"required": true,
"state": "verified",
"assertion_ids": [
"header-ok"
],
"evidence_refs": [
"paper:header:proof"
],
"call_ref": "call:repair",
"grant_ref": "grant:repair",
"effect_state": "applied"
},
{
"id": "external-registry",
"actor_profile": "support.resolution",
"kind": "external",
"depends_on": [
"repair"
],
"required": true,
"state": "waived",
"assertion_ids": [
"registry-ok"
],
"evidence_refs": [
"paper:registry:proof"
],
"external": {
"actor_ref": "role:customer-operations",
"request_ref": "paper:instruction:1",
"requested_at": "2026-09-07T09:00:00Z",
"response_ref": "paper:response:1"
},
"waiver_ref": "decision:waive"
}
],
"assertions": [
{
"id": "header-ok",
"member": "header",
"check_ref": "skill:header:v1",
"scope_revision": 1,
"verdict": "pass",
"evidence_ref": "paper:header:proof"
},
{
"id": "registry-ok",
"member": "registry",
"check_ref": "skill:registry:v1",
"scope_revision": 1,
"verdict": "pass",
"evidence_ref": "paper:registry:proof"
}
],
"case_state": "resolved",
"delivery_ref": "delivery:1",
"acceptance_ref": null,
"post_result": {
"task_ref": "task:learn:1",
"result_revision": 1,
"state": "queued"
}
}
},
{
"name": "dependency cycle",
"expected": "dependency_cycle",
"value": {
"schema_version": 1,
"case_id": "fixture-case",
"origin_request_key": "synthetic:request-a",
"plan_revision": 1,
"approved_plan_ref": "paper:approved-plan:1",
"objective": {
"statement": "Repair the complete synthetic family and verify the customer's result.",
"outcome_type": "operational"
},
"scope": {
"revision": 1,
"inventory_ref": "paper:inventory:1",
"members": [
"header",
"registry"
],
"required_assertions": {
"header": [
"header-ok"
],
"registry": [
"registry-ok"
]
}
},
"steps": [
{
"id": "repair",
"actor_profile": "support.resolution",
"kind": "effect",
"depends_on": [
"external-registry"
],
"required": true,
"state": "verified",
"assertion_ids": [
"header-ok"
],
"evidence_refs": [
"paper:header:proof"
],
"call_ref": "call:repair",
"grant_ref": "grant:repair",
"effect_state": "applied"
},
{
"id": "external-registry",
"actor_profile": "support.resolution",
"kind": "external",
"depends_on": [
"repair"
],
"required": true,
"state": "verified",
"assertion_ids": [
"registry-ok"
],
"evidence_refs": [
"paper:registry:proof"
],
"external": {
"actor_ref": "role:customer-operations",
"request_ref": "paper:instruction:1",
"requested_at": "2026-09-07T09:00:00Z",
"response_ref": "paper:response:1"
}
}
],
"assertions": [
{
"id": "header-ok",
"member": "header",
"check_ref": "skill:header:v1",
"scope_revision": 1,
"verdict": "pass",
"evidence_ref": "paper:header:proof"
},
{
"id": "registry-ok",
"member": "registry",
"check_ref": "skill:registry:v1",
"scope_revision": 1,
"verdict": "pass",
"evidence_ref": "paper:registry:proof"
}
],
"case_state": "resolved",
"delivery_ref": "delivery:1",
"acceptance_ref": null,
"post_result": {
"task_ref": "task:learn:1",
"result_revision": 1,
"state": "queued"
}
}
},
{
"name": "temporary write lacks restoration",
"expected": "missing_restoration_obligation",
"value": {
"schema_version": 1,
"case_id": "fixture-case",
"origin_request_key": "synthetic:request-a",
"plan_revision": 1,
"approved_plan_ref": "paper:approved-plan:1",
"objective": {
"statement": "Repair the complete synthetic family and verify the customer's result.",
"outcome_type": "operational"
},
"scope": {
"revision": 1,
"inventory_ref": "paper:inventory:1",
"members": [
"header",
"registry"
],
"required_assertions": {
"header": [
"header-ok"
],
"registry": [
"registry-ok"
]
}
},
"steps": [
{
"id": "repair",
"actor_profile": "support.resolution",
"kind": "effect",
"depends_on": [],
"required": true,
"state": "verified",
"assertion_ids": [
"header-ok"
],
"evidence_refs": [
"paper:header:proof"
],
"call_ref": "call:repair",
"grant_ref": "grant:repair",
"effect_state": "applied",
"restoration_required": true
},
{
"id": "external-registry",
"actor_profile": "support.resolution",
"kind": "external",
"depends_on": [
"repair"
],
"required": true,
"state": "verified",
"assertion_ids": [
"registry-ok"
],
"evidence_refs": [
"paper:registry:proof"
],
"external": {
"actor_ref": "role:customer-operations",
"request_ref": "paper:instruction:1",
"requested_at": "2026-09-07T09:00:00Z",
"response_ref": "paper:response:1"
}
}
],
"assertions": [
{
"id": "header-ok",
"member": "header",
"check_ref": "skill:header:v1",
"scope_revision": 1,
"verdict": "pass",
"evidence_ref": "paper:header:proof"
},
{
"id": "registry-ok",
"member": "registry",
"check_ref": "skill:registry:v1",
"scope_revision": 1,
"verdict": "pass",
"evidence_ref": "paper:registry:proof"
}
],
"case_state": "resolved",
"delivery_ref": "delivery:1",
"acceptance_ref": null,
"post_result": {
"task_ref": "task:learn:1",
"result_revision": 1,
"state": "queued"
}
}
},
{
"name": "temporary result cannot close before restore",
"expected": "required_work_open",
"value": {
"schema_version": 1,
"case_id": "fixture-case",
"origin_request_key": "synthetic:request-a",
"plan_revision": 1,
"approved_plan_ref": "paper:approved-plan:1",
"objective": {
"statement": "Repair the complete synthetic family and verify the customer's result.",
"outcome_type": "operational"
},
"scope": {
"revision": 1,
"inventory_ref": "paper:inventory:1",
"members": [
"header",
"registry"
],
"required_assertions": {
"header": [
"header-ok"
],
"registry": [
"registry-ok"
]
}
},
"steps": [
{
"id": "repair",
"actor_profile": "support.resolution",
"kind": "effect",
"depends_on": [],
"required": true,
"state": "verified",
"assertion_ids": [
"header-ok"
],
"evidence_refs": [
"paper:header:proof"
],
"call_ref": "call:repair",
"grant_ref": "grant:repair",
"effect_state": "applied",
"restoration_required": true
},
{
"id": "external-registry",
"actor_profile": "support.resolution",
"kind": "external",
"depends_on": [
"repair"
],
"required": true,
"state": "verified",
"assertion_ids": [
"registry-ok"
],
"evidence_refs": [
"paper:registry:proof"
],
"external": {
"actor_ref": "role:customer-operations",
"request_ref": "paper:instruction:1",
"requested_at": "2026-09-07T09:00:00Z",
"response_ref": "paper:response:1"
}
},
{
"id": "restore",
"actor_profile": "support.resolution",
"kind": "effect",
"depends_on": [
"repair",
"external-registry"
],
"required": true,
"state": "waiting",
"assertion_ids": [
"baseline-ok"
],
"evidence_refs": [],
"effect_state": "not_started",
"restores_step": "repair",
"due_at": "2026-09-07T10:00:00Z"
}
],
"assertions": [
{
"id": "header-ok",
"member": "header",
"check_ref": "skill:header:v1",
"scope_revision": 1,
"verdict": "pass",
"evidence_ref": "paper:header:proof"
},
{
"id": "registry-ok",
"member": "registry",
"check_ref": "skill:registry:v1",
"scope_revision": 1,
"verdict": "pass",
"evidence_ref": "paper:registry:proof"
}
],
"case_state": "resolved",
"delivery_ref": "delivery:1",
"acceptance_ref": null,
"post_result": {
"task_ref": "task:learn:1",
"result_revision": 1,
"state": "queued"
}
}
},
{
"name": "duplicate logical effect call",
"expected": "duplicate_effect_call",
"value": {
"schema_version": 1,
"case_id": "fixture-case",
"origin_request_key": "synthetic:request-a",
"plan_revision": 1,
"approved_plan_ref": "paper:approved-plan:1",
"objective": {
"statement": "Repair the complete synthetic family and verify the customer's result.",
"outcome_type": "operational"
},
"scope": {
"revision": 1,
"inventory_ref": "paper:inventory:1",
"members": [
"header",
"registry"
],
"required_assertions": {
"header": [
"header-ok"
],
"registry": [
"registry-ok"
]
}
},
"steps": [
{
"id": "repair",
"actor_profile": "support.resolution",
"kind": "effect",
"depends_on": [],
"required": true,
"state": "verified",
"assertion_ids": [
"header-ok"
],
"evidence_refs": [
"paper:header:proof"
],
"call_ref": "call:repair",
"grant_ref": "grant:repair",
"effect_state": "applied"
},
{
"id": "external-registry",
"actor_profile": "support.resolution",
"kind": "external",
"depends_on": [
"repair"
],
"required": true,
"state": "verified",
"assertion_ids": [
"registry-ok"
],
"evidence_refs": [
"paper:registry:proof"
],
"external": {
"actor_ref": "role:customer-operations",
"request_ref": "paper:instruction:1",
"requested_at": "2026-09-07T09:00:00Z",
"response_ref": "paper:response:1"
}
},
{
"id": "second-effect",
"actor_profile": "support.resolution",
"kind": "effect",
"depends_on": [],
"required": true,
"state": "verified",
"assertion_ids": [
"header-ok"
],
"evidence_refs": [
"paper:header:proof"
],
"call_ref": "call:repair",
"grant_ref": "grant:repair",
"effect_state": "applied"
}
],
"assertions": [
{
"id": "header-ok",
"member": "header",
"check_ref": "skill:header:v1",
"scope_revision": 1,
"verdict": "pass",
"evidence_ref": "paper:header:proof"
},
{
"id": "registry-ok",
"member": "registry",
"check_ref": "skill:registry:v1",
"scope_revision": 1,
"verdict": "pass",
"evidence_ref": "paper:registry:proof"
}
],
"case_state": "resolved",
"delivery_ref": "delivery:1",
"acceptance_ref": null,
"post_result": {
"task_ref": "task:learn:1",
"result_revision": 1,
"state": "queued"
}
}
},
{
"name": "proposal-only is a valid scoped outcome",
"expected": "valid",
"value": {
"schema_version": 1,
"case_id": "fixture-case",
"origin_request_key": "synthetic:request-a",
"plan_revision": 1,
"approved_plan_ref": "paper:approved-plan:1",
"objective": {
"statement": "Prepare and deliver reviewed instructions only.",
"outcome_type": "instructions"
},
"scope": {
"revision": 1,
"inventory_ref": "paper:instruction-scope",
"members": [
"instructions"
],
"required_assertions": {
"instructions": [
"instructions-ok"
]
}
},
"steps": [
{
"id": "prepare",
"actor_profile": "support.resolution",
"kind": "read",
"depends_on": [],
"required": true,
"state": "verified",
"assertion_ids": [
"instructions-ok"
],
"evidence_refs": [
"paper:reviewed-instructions"
]
}
],
"assertions": [
{
"id": "instructions-ok",
"member": "instructions",
"check_ref": "review:instructions",
"scope_revision": 1,
"verdict": "pass",
"evidence_ref": "paper:reviewed-instructions"
}
],
"case_state": "resolved",
"delivery_ref": "delivery:1",
"acceptance_ref": null,
"post_result": {
"task_ref": "task:learn:1",
"result_revision": 1,
"state": "queued"
}
}
}
]