{
  "head": "72de4076848bae9377abd4bc50b7708271701464",
  "piVersion": "1.3.0",
  "steps": [
    {
      "step": "initial",
      "asks": true
    },
    {
      "step": "same-session",
      "asks": false
    },
    {
      "step": "native-command-new-session",
      "asks": true
    },
    {
      "step": "foreign-identity-remains-unbound",
      "asks": true
    },
    {
      "step": "registration",
      "native": "/tmp/t3-pi-16854-bcbrwjox/agent/sessions/--tmp-t3-pi-16854-bcbrwjox-workspace--/2026-10-19T06-28-16-840Z_01a152d8-b748-7696-b0a1-84959fed500e.jsonl"
    },
    {
      "step": "destination-start-hook-during-lifecycle",
      "asks": true,
      "requests": 2
    },
    {
      "step": "grant-during-native-before-switch-hook",
      "destinationAsksAgain": true
    },
    {
      "step": "adapter-registration-new-session",
      "asks": true
    },
    {
      "step": "adapter-registration-switch-session",
      "asks": true,
      "sameSessionReuses": true
    },
    {
      "step": "no-op-rollback-native-pending-input",
      "runtimeCancelled": true,
      "nativeCancelled": true
    }
  ],
  "initialSession": "/tmp/t3-pi-16854-bcbrwjox/agent/sessions/--tmp-t3-pi-16854-bcbrwjox-workspace--/2026-10-19T06-28-16-142Z_01a152d8-b48d-7696-b0a1-8491d2a2897e.jsonl",
  "native": [
    {
      "kind": "confirmed",
      "step": "first",
      "answer": true,
      "session": "/tmp/t3-pi-16854-bcbrwjox/agent/sessions/--tmp-t3-pi-16854-bcbrwjox-workspace--/2026-10-19T06-28-16-142Z_01a152d8-b48d-7696-b0a1-8491d2a2897e.jsonl"
    },
    {
      "kind": "confirmed",
      "step": "same",
      "answer": true,
      "session": "/tmp/t3-pi-16854-bcbrwjox/agent/sessions/--tmp-t3-pi-16854-bcbrwjox-workspace--/2026-10-19T06-28-16-142Z_01a152d8-b48d-7696-b0a1-8491d2a2897e.jsonl"
    },
    {
      "kind": "native-new",
      "before": "/tmp/t3-pi-16854-bcbrwjox/agent/sessions/--tmp-t3-pi-16854-bcbrwjox-workspace--/2026-10-19T06-28-16-142Z_01a152d8-b48d-7696-b0a1-8491d2a2897e.jsonl",
      "cancelled": false
    },
    {
      "kind": "confirmed",
      "step": "after-native-new",
      "answer": true,
      "session": "/tmp/t3-pi-16854-bcbrwjox/agent/sessions/--tmp-t3-pi-16854-bcbrwjox-workspace--/2026-10-19T06-28-16-783Z_01a152d8-b70f-7696-b0a1-8493074abe7c.jsonl"
    },
    {
      "kind": "confirmed",
      "step": "new-unbound",
      "answer": true,
      "session": "/tmp/t3-pi-16854-bcbrwjox/agent/sessions/--tmp-t3-pi-16854-bcbrwjox-workspace--/2026-10-19T06-28-16-783Z_01a152d8-b70f-7696-b0a1-8493074abe7c.jsonl"
    },
    {
      "kind": "confirmed",
      "step": "registered-first",
      "answer": true,
      "session": "/tmp/t3-pi-16854-bcbrwjox/agent/sessions/--tmp-t3-pi-16854-bcbrwjox-workspace--/2026-10-19T06-28-16-840Z_01a152d8-b748-7696-b0a1-84959fed500e.jsonl"
    },
    {
      "kind": "confirmed",
      "step": "registered-same",
      "answer": true,
      "session": "/tmp/t3-pi-16854-bcbrwjox/agent/sessions/--tmp-t3-pi-16854-bcbrwjox-workspace--/2026-10-19T06-28-16-840Z_01a152d8-b748-7696-b0a1-84959fed500e.jsonl"
    },
    {
      "kind": "before-switch-hook",
      "reason": "new",
      "answer": true,
      "session": "/tmp/t3-pi-16854-bcbrwjox/agent/sessions/--tmp-t3-pi-16854-bcbrwjox-workspace--/2026-10-19T06-28-16-840Z_01a152d8-b748-7696-b0a1-84959fed500e.jsonl"
    },
    {
      "kind": "destination-start-hook",
      "answer": true,
      "session": "/tmp/t3-pi-16854-bcbrwjox/agent/sessions/--tmp-t3-pi-16854-bcbrwjox-workspace--/2026-10-19T06-28-16-983Z_01a152d8-b7d7-7696-b0a1-849673a397aa.jsonl"
    },
    {
      "kind": "destination-start-hook",
      "answer": true,
      "session": "/tmp/t3-pi-16854-bcbrwjox/agent/sessions/--tmp-t3-pi-16854-bcbrwjox-workspace--/2026-10-19T06-28-16-983Z_01a152d8-b7d7-7696-b0a1-849673a397aa.jsonl"
    },
    {
      "kind": "confirmed",
      "step": "after-registration-new",
      "answer": true,
      "session": "/tmp/t3-pi-16854-bcbrwjox/agent/sessions/--tmp-t3-pi-16854-bcbrwjox-workspace--/2026-10-19T06-28-16-983Z_01a152d8-b7d7-7696-b0a1-849673a397aa.jsonl"
    },
    {
      "kind": "confirmed",
      "step": "after-registration-switch",
      "answer": true,
      "session": "/tmp/t3-pi-16854-bcbrwjox/agent/sessions/--tmp-t3-pi-16854-bcbrwjox-workspace--/2026-10-19T06-28-16-142Z_01a152d8-b48d-7696-b0a1-8491d2a2897e.jsonl"
    },
    {
      "kind": "confirmed",
      "step": "resumed-same",
      "answer": true,
      "session": "/tmp/t3-pi-16854-bcbrwjox/agent/sessions/--tmp-t3-pi-16854-bcbrwjox-workspace--/2026-10-19T06-28-16-142Z_01a152d8-b48d-7696-b0a1-8491d2a2897e.jsonl"
    },
    {
      "kind": "native-input-result",
      "cancelled": true
    }
  ],
  "capturedPid": 493654,
  "processStopped": true,
  "passed": true,
  "proofScope": "Real Pi 1.3.0 RPC process, actual T3 Pi adapter and Node spawner, disposable state, deterministic native commands and lifecycle hooks; no model/account calls.",
  "notVerified": [
    "UI/screenshots: T3 browser missing Linux libraries",
    "macOS",
    "Windows",
    "iOS",
    "Android",
    "Electron desktop",
    "Native overlapping RPC requests, tree-fork rollback, forced unreadable state and in-flight-send race: automated adapter coverage only"
  ]
}