{
  "revision": "0f6bd5503c36661092d6e534215a3aff0c4584fa",
  "surface": "server-only; browser not used",
  "provider": "Pi 1.4.0",
  "model": "openai/gpt-6.1-sol",
  "status": "core_timed_proof_passed; full_proof_not_passed",
  "matrix": [
    {
      "case": "A foreground completion with background pending",
      "result": "passed",
      "at": "2026-10-24T21:04:14.453Z"
    },
    {
      "case": "A >30 minute idle-release deferral and same PIDs",
      "result": "passed"
    },
    {
      "case": "A unsolicited native wake",
      "result": "passed"
    },
    {
      "case": "B Stop clears roster; terminates B Pi and child; A alive",
      "result": "passed",
      "at": "2026-10-24T21:05:21.279Z"
    },
    {
      "case": "C extension native session veto retains roster",
      "result": "passed"
    },
    {
      "case": "C extension native newSession replacement work roster",
      "result": "observation_failed",
      "detail": "Replacement child started and FOREGROUND_C-new completed, but replacement background status absent from roster for 60 seconds. Extension-initiated ctx.newSession, not adapter-directed loadContext."
    },
    {
      "case": "D reload replacement work roster",
      "result": "passed"
    },
    {
      "case": "E user tool hook before permission bridge; MCP capability call; decline completion",
      "result": "passed"
    },
    {
      "case": "C Stop after extension-native newSession with absent roster",
      "result": "observation_failed",
      "detail": "thread.stop returned but C replacement Pi and child remained alive; verifier terminated captured fixture PIDs directly."
    }
  ],
  "friction": [
    "Scaffold bootstrap t3Home loses to ambient T3CODE_HOME; ownership guard refused first launch without stopping live server. Driver fixed with --base-dir.",
    "CLI flag is --base-dir; --home-dir rejected.",
    "Temporary message.dispatch initially lacked createdBy and creationSource; corrected before lifecycle command sent."
  ],
  "no_tracked_source_edits": true,
  "no_push_merge_public_write": true,
  "infrastructure_blocker": null,
  "publication": "Not uploaded: full proof is not successful because of the observed extension-native newSession/Stop gap.",
  "finishedAt": "2026-10-24T21:35:41.598195+00:00",
  "timing": {
    "foregroundCompletedAt": "2026-10-24T21:04:13.282Z",
    "serverIdleReleaseDeferredAt": "2026-10-24T21:34:13.238Z",
    "gateReleasedAt": "2026-10-24T21:35:14.780Z",
    "nativeWakeCompletedAt": "2026-10-24T21:35:19.463Z",
    "samePiPid": 1242824,
    "sameChildPid": 1243134,
    "oneTypedBackgroundNotification": true,
    "oneUserMessage": true
  },
  "cleanup": {
    "serverPid": 1241945,
    "serverAlive": false,
    "fixturePidsAlive": [],
    "scratchDeleted": true,
    "ownPiSessionDirectoryDeleted": true,
    "sanitizedEvidenceRetained": "/tmp/issue24187-evidence-cbk9oh_x"
  }
}