[stamp-build]

^{Otter from open-agent-runtime opened this pull request through Stamp
View in Stamp →}

---

Hosts restoring changed Claude/Codex prompt options need native compaction before the next input. Add optional Runtime.manualCompaction and Session.compact() for Claude, Codex and Pi SDK/RPC, with typed completed/rejected/failed/aborted/unconfirmed results tied to native evidence. This is task #154's first PR; the remaining candidates stay undeclared until their separate control and correlation regressions.

• All four entries require idle sessions. Claude checks a same-process builtin command catalog with no non-builtin compact entry, then matches command, boundary and result identities. Codex associates the native contextCompaction item and its turn, and refuses observed active goals or queued inputs. Pi uses exclusive manual start/end facts. Automatic, child, stale and unrelated completions cannot settle the control.
• An already aborted signal returns rejected / aborted without sending native work. timeoutMs: 0 still dispatches. After dispatch, timeout or signal stops waiting only: the native operation keeps its slot, late records remain observable, and queue entries wait for native settlement. Claude drains one queued input per turn and reserves it before its native receipt, so a later prompt cannot overtake it. Pi RPC compact has no ordinary 30-second transport deadline.
• abort() uses the native cancellation control once its target exists. Claude's queued cancellation is aborted; after native execution starts, Claude reports compact_result=failed, so compact returns failed / native_failed independently of the ordinary turn's OAR-aborted outcome. Codex/Pi retain their native aborted result. An interrupt for native unstarted input is written before arrivals held during cancellation observation are drained. Disposal or process exit returns unconfirmed without inventing a compaction terminal or writing a late rejection.
• Returned reasons use the same credential redactor as records. AgentStatus.compaction exposes only requestId and started?; the exported StatusState checkpoint retains native turn/span correlation. Incremental consumers must persist the entire checkpoint with its cursor, including TaskState.status and SessionView.statusState. The exported statusValue extracts only the display value and cannot replace a resumable checkpoint. Pi's idle state retains the preceding turn outcome.
• The native resume regression changes system/append options, completes compaction, and inspects the next provider request for the new markers. Repeating Claude 2.1.316 initialize three times preserves settings, permission mode, system/append prompt and tool catalog, with one SessionStart hook and one MCP initialization. This is version-specific Linux evidence; the separate source-read/dispatch window remains non-atomic. Codex local compaction is tested; ChatGPT-login remote compaction remains source-only.

Public record change: turn_ended.inputId? and ordered inputIds? separately copy result.user_message_uuid and user_message_uuids through the common stream-json projection. They appear in public events and Frame.body.events, including ordinary non-compacting turns; raw frames are unchanged. Claude's two queued native messages report the latter singular UUID and both plural UUIDs. The earlier prompt-plus-steer fixture names the original prompt, so OAR infers no first/last rule. Qwen 0.26.5 and Qoder 1.1.81 report neither field, and their result uuid is not substituted. Hosts should settle every entry in inputIds when present. OAR's own interrupt fallback retains its separate carries and mergedInputIds provenance. Eleven existing snapshots add only 30 identity fields verified against their raw results; both additions are documented in the spec and release-note draft.

Validation: the revised implementation passes the full check (3,049 tests and 18 mock behaviors), build, clean packed-consumer type exports, all 14 behavior backends, and full native suites: Claude 2.1.316 (80), Codex 0.166.0 (62), Pi SDK 1.4.0 (97), Pi RPC 1.4.0 (95). The manual-compaction file contributes 33 native controls. Review regressions cover queued cancellation without process kill, separate queue turns, late provenance replies, conflicting command catalogs, goal-turn misattribution, pre-aborted signals, reason redaction, synthetic-terminal absence and checkpoint replay. Pi project fixtures clear and restore inherited PI_PACKAGE_DIR; their 20 cases also pass with this managed host's conflicting value present. After rebasing onto current main, the full check, build and clean packed-consumer validation pass again, as do all three Pi behavior backends and the full Pi SDK 1.5.0 (97) and Pi RPC 1.5.0 (95) vendor suites. The new capability-inventory test uses the Durable 1.4.0 model-catalog alias introduced by the security update. The final cancellation-order revision passes all 14 behavior backends and full Claude 2.1.316 (80), Qwen 0.26.5 (18) and Qoder 1.1.81 (9) vendor suites. Six independent mutations are caught, including the public Codex abort-before-item gate and the Claude result-frame reference. Packed-consumer validation checks both exports of the checkpoint type and its display helper. Windows/macOS validation awaits CI on the revised head.

Evidence, reproductions and release-note draft. No release/version bump or workflow change.