{"actor": null, "instance": "change-1001", "kind": "machine_instance", "machine": "ChangeApproval", "module": "examples.change_approval", "version": "0.1.0"}
{"instance": "change-1001", "kind": "machine_snapshot", "sequence": 0, "snapshot": {"context": {"change_id": 0, "deployed": false, "manager_approved": false, "risk_score": 0, "security_approved": false}, "machine": "ChangeApproval", "sequence": 0, "state": "idle", "version": "0.1.0"}}
{"actor": null, "event": "SubmitChange", "instance": "change-1001", "kind": "machine_event", "payload": {"change_id": 1001}, "sequence": 1}
{"diagnostics": [], "event": "SubmitChange", "from_state": "idle", "handled_failure": false, "instance": "change-1001", "kind": "transition_record", "retry": null, "sequence": 1, "to_state": "awaiting_risk_review"}
{"effect": {"args": ["operational.change_requests"], "name": "db.write"}, "instance": "change-1001", "kind": "effect_intent", "sequence": 1}
{"effect": {"args": ["security_reviewer.review_change"], "name": "a2a.task"}, "instance": "change-1001", "kind": "effect_intent", "sequence": 1}
{"effect": {"args": ["change_status"], "name": "a2ui.emit"}, "instance": "change-1001", "kind": "effect_intent", "sequence": 1}
{"attempt": 1, "effect": {"args": ["operational.change_requests"], "name": "db.write"}, "instance": "change-1001", "kind": "effect_attempt", "retry_delay_ms": null, "sequence": 1, "status": "planned"}
{"instance": "change-1001", "kind": "effect_result", "outcome": {"attempt": 1, "effect": {"args": ["operational.change_requests"], "name": "db.write"}, "result": {"args": ["operational.change_requests"], "mode": "dry-run"}, "status": "planned"}, "sequence": 1}
{"attempt": 1, "effect": {"args": ["security_reviewer.review_change"], "name": "a2a.task"}, "instance": "change-1001", "kind": "effect_attempt", "retry_delay_ms": null, "sequence": 1, "status": "planned"}
{"instance": "change-1001", "kind": "effect_result", "outcome": {"attempt": 1, "effect": {"args": ["security_reviewer.review_change"], "name": "a2a.task"}, "result": {"args": ["security_reviewer.review_change"], "mode": "dry-run"}, "status": "planned"}, "sequence": 1}
{"attempt": 1, "effect": {"args": ["change_status"], "name": "a2ui.emit"}, "instance": "change-1001", "kind": "effect_attempt", "retry_delay_ms": null, "sequence": 1, "status": "planned"}
{"instance": "change-1001", "kind": "effect_result", "outcome": {"attempt": 1, "effect": {"args": ["change_status"], "name": "a2ui.emit"}, "result": {"args": ["change_status"], "mode": "dry-run"}, "status": "planned"}, "sequence": 1}
{"instance": "change-1001", "kind": "machine_snapshot", "sequence": 1, "snapshot": {"context": {"change_id": 1001, "deployed": false, "manager_approved": false, "risk_score": 0, "security_approved": false}, "machine": "ChangeApproval", "sequence": 1, "state": "awaiting_risk_review", "version": "0.1.0"}}
{"actor": null, "event": "RiskReviewed", "instance": "change-1001", "kind": "machine_event", "payload": {"risk_score": 25}, "sequence": 2}
{"diagnostics": [], "event": "RiskReviewed", "from_state": "awaiting_risk_review", "handled_failure": false, "instance": "change-1001", "kind": "transition_record", "retry": null, "sequence": 2, "to_state": "awaiting_approvals"}
{"effect": {"args": ["operational.change_reviews"], "name": "db.write"}, "instance": "change-1001", "kind": "effect_intent", "sequence": 2}
{"effect": {"args": ["change_approval"], "name": "a2ui.emit"}, "instance": "change-1001", "kind": "effect_intent", "sequence": 2}
{"attempt": 1, "effect": {"args": ["operational.change_reviews"], "name": "db.write"}, "instance": "change-1001", "kind": "effect_attempt", "retry_delay_ms": null, "sequence": 2, "status": "planned"}
{"instance": "change-1001", "kind": "effect_result", "outcome": {"attempt": 1, "effect": {"args": ["operational.change_reviews"], "name": "db.write"}, "result": {"args": ["operational.change_reviews"], "mode": "dry-run"}, "status": "planned"}, "sequence": 2}
{"attempt": 1, "effect": {"args": ["change_approval"], "name": "a2ui.emit"}, "instance": "change-1001", "kind": "effect_attempt", "retry_delay_ms": null, "sequence": 2, "status": "planned"}
{"instance": "change-1001", "kind": "effect_result", "outcome": {"attempt": 1, "effect": {"args": ["change_approval"], "name": "a2ui.emit"}, "result": {"args": ["change_approval"], "mode": "dry-run"}, "status": "planned"}, "sequence": 2}
{"instance": "change-1001", "kind": "machine_snapshot", "sequence": 2, "snapshot": {"context": {"change_id": 1001, "deployed": false, "manager_approved": false, "risk_score": 25, "security_approved": false}, "machine": "ChangeApproval", "sequence": 2, "state": "awaiting_approvals", "version": "0.1.0"}}
{"actor": null, "event": "SecurityApprove", "instance": "change-1001", "kind": "machine_event", "payload": {}, "sequence": 3}
{"diagnostics": [], "event": "SecurityApprove", "from_state": "awaiting_approvals", "handled_failure": false, "instance": "change-1001", "kind": "transition_record", "retry": null, "sequence": 3, "to_state": "awaiting_approvals"}
{"effect": {"args": ["operational.approvals"], "name": "db.write"}, "instance": "change-1001", "kind": "effect_intent", "sequence": 3}
{"effect": {"args": ["change_approval"], "name": "a2ui.emit"}, "instance": "change-1001", "kind": "effect_intent", "sequence": 3}
{"attempt": 1, "effect": {"args": ["operational.approvals"], "name": "db.write"}, "instance": "change-1001", "kind": "effect_attempt", "retry_delay_ms": null, "sequence": 3, "status": "planned"}
{"instance": "change-1001", "kind": "effect_result", "outcome": {"attempt": 1, "effect": {"args": ["operational.approvals"], "name": "db.write"}, "result": {"args": ["operational.approvals"], "mode": "dry-run"}, "status": "planned"}, "sequence": 3}
{"attempt": 1, "effect": {"args": ["change_approval"], "name": "a2ui.emit"}, "instance": "change-1001", "kind": "effect_attempt", "retry_delay_ms": null, "sequence": 3, "status": "planned"}
{"instance": "change-1001", "kind": "effect_result", "outcome": {"attempt": 1, "effect": {"args": ["change_approval"], "name": "a2ui.emit"}, "result": {"args": ["change_approval"], "mode": "dry-run"}, "status": "planned"}, "sequence": 3}
{"instance": "change-1001", "kind": "machine_snapshot", "sequence": 3, "snapshot": {"context": {"change_id": 1001, "deployed": false, "manager_approved": false, "risk_score": 25, "security_approved": true}, "machine": "ChangeApproval", "sequence": 3, "state": "awaiting_approvals", "version": "0.1.0"}}
{"actor": null, "event": "ManagerApprove", "instance": "change-1001", "kind": "machine_event", "payload": {}, "sequence": 4}
{"diagnostics": [], "event": "ManagerApprove", "from_state": "awaiting_approvals", "handled_failure": false, "instance": "change-1001", "kind": "transition_record", "retry": null, "sequence": 4, "to_state": "ready_to_deploy"}
{"effect": {"args": ["operational.approvals"], "name": "db.write"}, "instance": "change-1001", "kind": "effect_intent", "sequence": 4}
{"effect": {"args": ["change_deployment"], "name": "a2ui.emit"}, "instance": "change-1001", "kind": "effect_intent", "sequence": 4}
{"attempt": 1, "effect": {"args": ["operational.approvals"], "name": "db.write"}, "instance": "change-1001", "kind": "effect_attempt", "retry_delay_ms": null, "sequence": 4, "status": "planned"}
{"instance": "change-1001", "kind": "effect_result", "outcome": {"attempt": 1, "effect": {"args": ["operational.approvals"], "name": "db.write"}, "result": {"args": ["operational.approvals"], "mode": "dry-run"}, "status": "planned"}, "sequence": 4}
{"attempt": 1, "effect": {"args": ["change_deployment"], "name": "a2ui.emit"}, "instance": "change-1001", "kind": "effect_attempt", "retry_delay_ms": null, "sequence": 4, "status": "planned"}
{"instance": "change-1001", "kind": "effect_result", "outcome": {"attempt": 1, "effect": {"args": ["change_deployment"], "name": "a2ui.emit"}, "result": {"args": ["change_deployment"], "mode": "dry-run"}, "status": "planned"}, "sequence": 4}
{"instance": "change-1001", "kind": "machine_snapshot", "sequence": 4, "snapshot": {"context": {"change_id": 1001, "deployed": false, "manager_approved": true, "risk_score": 25, "security_approved": true}, "machine": "ChangeApproval", "sequence": 4, "state": "ready_to_deploy", "version": "0.1.0"}}
{"actor": null, "event": "Deploy", "instance": "change-1001", "kind": "machine_event", "payload": {}, "sequence": 5}
{"diagnostics": [], "event": "Deploy", "from_state": "ready_to_deploy", "handled_failure": false, "instance": "change-1001", "kind": "transition_record", "retry": null, "sequence": 5, "to_state": "deployed"}
{"effect": {"args": ["operational.deployments"], "name": "db.write"}, "instance": "change-1001", "kind": "effect_intent", "sequence": 5}
{"effect": {"args": ["ci.deploy"], "name": "mcp.call"}, "instance": "change-1001", "kind": "effect_intent", "sequence": 5}
{"effect": {"args": ["change_deployment"], "name": "a2ui.emit"}, "instance": "change-1001", "kind": "effect_intent", "sequence": 5}
{"attempt": 1, "effect": {"args": ["operational.deployments"], "name": "db.write"}, "instance": "change-1001", "kind": "effect_attempt", "retry_delay_ms": null, "sequence": 5, "status": "planned"}
{"instance": "change-1001", "kind": "effect_result", "outcome": {"attempt": 1, "effect": {"args": ["operational.deployments"], "name": "db.write"}, "result": {"args": ["operational.deployments"], "mode": "dry-run"}, "status": "planned"}, "sequence": 5}
{"attempt": 1, "effect": {"args": ["ci.deploy"], "name": "mcp.call"}, "instance": "change-1001", "kind": "effect_attempt", "retry_delay_ms": null, "sequence": 5, "status": "planned"}
{"instance": "change-1001", "kind": "effect_result", "outcome": {"attempt": 1, "effect": {"args": ["ci.deploy"], "name": "mcp.call"}, "result": {"args": ["ci.deploy"], "mode": "dry-run"}, "status": "planned"}, "sequence": 5}
{"attempt": 1, "effect": {"args": ["change_deployment"], "name": "a2ui.emit"}, "instance": "change-1001", "kind": "effect_attempt", "retry_delay_ms": null, "sequence": 5, "status": "planned"}
{"instance": "change-1001", "kind": "effect_result", "outcome": {"attempt": 1, "effect": {"args": ["change_deployment"], "name": "a2ui.emit"}, "result": {"args": ["change_deployment"], "mode": "dry-run"}, "status": "planned"}, "sequence": 5}
{"instance": "change-1001", "kind": "machine_snapshot", "sequence": 5, "snapshot": {"context": {"change_id": 1001, "deployed": true, "manager_approved": true, "risk_score": 25, "security_approved": true}, "machine": "ChangeApproval", "sequence": 5, "state": "deployed", "version": "0.1.0"}}
