{
  "ran_at": "2026-09-09T07:13:37Z",
  "python_version": "3.9.6",
  "command": "python3 demo.py",
  "kind": "constructed_illustration",
  "talk_context": {
    "video_id": "xxfMT-bPEmU",
    "role": "reporting question only; this demo is not a recreation"
  },
  "point": "Syntactic or schema validity does not establish that a task edit is correct. Policy checks and recorded state history are separate.",
  "not": [
    "a recreation of the Vaidya/AI Engineer talk system",
    "an agent benchmark",
    "evidence of performance improvement"
  ],
  "cases": [
    {
      "id": "a-in-scope-update",
      "label": "valid in-scope update",
      "schema": "pass",
      "policy": "pass",
      "changed": "yes (task + irreversible notice marker)"
    },
    {
      "id": "b-out-of-project",
      "label": "schema-valid update for a task outside the allowed project",
      "schema": "pass",
      "policy": "reject: outside allowed project",
      "changed": "no"
    },
    {
      "id": "c-stale-revision",
      "label": "schema-valid update citing a stale revision",
      "schema": "pass",
      "policy": "reject: stale revision (expected 2, current 5)",
      "changed": "no"
    },
    {
      "id": "d-malformed",
      "label": "malformed proposal",
      "schema": "fail",
      "policy": "skipped",
      "changed": "no"
    },
    {
      "id": "e-revert-local",
      "label": "revert the accepted local update from recorded prior state",
      "schema": "n/a",
      "policy": "pass: restored from history; 1 irreversible notice marker(s) remain",
      "changed": "local restored; external notice not recalled"
    }
  ],
  "final_state": {
    "tasks": {
      "T1": {
        "id": "T1",
        "project": "editorial-radar",
        "title": "Sidebar: verification vs syntax",
        "status": "open",
        "revision": 4
      },
      "T2": {
        "id": "T2",
        "project": "unrelated-ops",
        "title": "Rotate preview DNS",
        "status": "open",
        "revision": 1
      }
    },
    "irreversible_log": [
      {
        "id": "notice-sidebar-draft",
        "kind": "synthetic_outbound_notice",
        "summary": "Marker only. This demo does not send mail or call any network.",
        "recorded_by_case": "a-in-scope-update",
        "dispatched": true,
        "recallable_by_local_restore": false
      }
    ],
    "history_length": 0
  },
  "assertions_passed": true,
  "assertion_errors": [],
  "limits": [
    "Synthetic task records and in-process JSON only.",
    "No network, mail, APIs, or filesystem writes except observed-result.json.",
    "The outbound notice is a local marker; nothing was sent.",
    "Local restore cannot recall a dispatched external side effect.",
    "Not a recreation of the talk's system.",
    "Not an agent benchmark and not evidence of performance improvement.",
    "Five cases only; counts are not a quality score."
  ]
}