@sema-agent/core 7.38.2 → 7.39.0

package/wire-changes/core@7.39.0.json

@@ -0,0 +1,845 @@
+{
+  "repo": "core",
+  "version": "7.39.0",
+  "from": "15e648df80bf6608cba34a9cd30db2fd8d12f27c",
+  "to": "381a47425cd1d13bde7db8eb2ade9d332844b612",
+  "added": [
+    {
+      "name": "OUTPUT_STYLE_NAME_MAX",
+      "kind": "variable",
+      "tier": "advanced",
+      "at": [
+        "src/core/output-style.ts:20",
+        "src/index.ts:2587"
+      ],
+      "criteriaCovered": false,
+      "breaking": false
+    },
+    {
+      "name": "PROMPT_BLOCK_CAUSES",
+      "kind": "variable",
+      "tier": "advanced",
+      "at": [
+        "src/core/terminal-cause.ts:166",
+        "src/index.ts:365"
+      ],
+      "criteriaCovered": false,
+      "breaking": false
+    },
+    {
+      "name": "PromptBlockCause",
+      "kind": "type",
+      "tier": "advanced",
+      "at": [
+        "src/core/terminal-cause.ts:167",
+        "src/index.ts:365"
+      ],
+      "criteriaCovered": false,
+      "breaking": false
+    },
+    {
+      "name": "SETTLEMENT_PARTIES",
+      "kind": "variable",
+      "tier": "advanced",
+      "at": [
+        "src/core/gate-outcome.ts:115",
+        "src/index.ts:1470"
+      ],
+      "criteriaCovered": false,
+      "breaking": false
+    },
+    {
+      "name": "SettlementParty",
+      "kind": "type",
+      "tier": "advanced",
+      "at": [
+        "src/core/gate-outcome.ts:116",
+        "src/index.ts:1470"
+      ],
+      "criteriaCovered": false,
+      "breaking": false
+    },
+    {
+      "name": "TerminalBlockedDetail",
+      "kind": "interface",
+      "tier": "advanced",
+      "at": [
+        "src/core/terminal-cause.ts:174",
+        "src/index.ts:365"
+      ],
+      "criteriaCovered": true,
+      "breaking": false
+    },
+    {
+      "name": "isEngineRefusal",
+      "kind": "variable",
+      "tier": "advanced",
+      "at": [
+        "src/core/decision-receipt.ts:19",
+        "src/core/tool-policy.ts:21",
+        "src/index.ts:1399"
+      ],
+      "criteriaCovered": false,
+      "breaking": false
+    },
+    {
+      "name": "isPromptBlockCause",
+      "kind": "function",
+      "tier": "advanced",
+      "at": [
+        "src/core/terminal-cause.ts:170",
+        "src/index.ts:365"
+      ],
+      "criteriaCovered": false,
+      "breaking": false
+    },
+    {
+      "name": "isSettlementParty",
+      "kind": "function",
+      "tier": "advanced",
+      "at": [
+        "src/core/gate-outcome.ts:121",
+        "src/index.ts:1470"
+      ],
+      "criteriaCovered": false,
+      "breaking": false
+    },
+    {
+      "name": "receiveHookResult",
+      "kind": "function",
+      "tier": "advanced",
+      "at": [
+        "src/core/tool-policy.ts:1206",
+        "src/index.ts:1398"
+      ],
+      "criteriaCovered": false,
+      "breaking": false
+    }
+  ],
+  "removed": [],
+  "changed": [],
+  "narrowed": [],
+  "closedSetMembers": [
+    {
+      "set": "ASK_CLASSES",
+      "at": [
+        "src/core/ask-origin.ts:579"
+      ],
+      "newSet": false,
+      "added": [
+        "shell_floor"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    },
+    {
+      "set": "AttachmentSource",
+      "at": [
+        "src/core/runner/turn-attachments.ts:101"
+      ],
+      "newSet": false,
+      "added": [
+        "output_style"
+      ],
+      "removed": [
+        "plan_mode"
+      ],
+      "persistedBy": "none",
+      "breaking": true,
+      "criteriaCovered": false
+    },
+    {
+      "set": "CHECKPOINT_CONFIG_REFUSAL_CODES",
+      "at": [
+        "src/core/checkpoint-store.ts:2420"
+      ],
+      "newSet": true,
+      "added": [
+        "config.output_style_invalid",
+        "config.permission_mode_invalid",
+        "config.shell_gate_value_retired",
+        "config.spec_retired_key"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    },
+    {
+      "set": "CheckpointConfigRefusalCode",
+      "at": [
+        "src/core/checkpoint-store.ts:2421"
+      ],
+      "newSet": true,
+      "added": [
+        "config.output_style_invalid",
+        "config.permission_mode_invalid",
+        "config.shell_gate_value_retired",
+        "config.spec_retired_key"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    },
+    {
+      "set": "ENGINE_NOTICE_CODES",
+      "at": [
+        "src/core/governance-codes.ts:348"
+      ],
+      "newSet": false,
+      "added": [],
+      "removed": [
+        "resume.legacy_mode_seed_migrated"
+      ],
+      "persistedBy": "none",
+      "breaking": true,
+      "criteriaCovered": false
+    },
+    {
+      "set": "PROMPT_BLOCK_CAUSES",
+      "at": [
+        "src/core/terminal-cause.ts:166"
+      ],
+      "newSet": true,
+      "added": [
+        "block",
+        "cancelled",
+        "crashed",
+        "timeout"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    },
+    {
+      "set": "PostureFamily",
+      "at": [
+        "src/core/auto-mode-directive.ts:123"
+      ],
+      "newSet": true,
+      "added": [
+        "auto",
+        "plan"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    },
+    {
+      "set": "PromptBlockCause",
+      "at": [
+        "src/core/terminal-cause.ts:167",
+        "src/index.ts:365"
+      ],
+      "newSet": true,
+      "added": [
+        "block",
+        "cancelled",
+        "crashed",
+        "timeout"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    },
+    {
+      "set": "SETTLEMENT_KINDS",
+      "at": [
+        "src/core/gate-outcome.ts:52"
+      ],
+      "newSet": false,
+      "added": [
+        "policy_allowed"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    },
+    {
+      "set": "SETTLEMENT_PARTIES",
+      "at": [
+        "src/core/gate-outcome.ts:115"
+      ],
+      "newSet": true,
+      "added": [
+        "engine",
+        "host",
+        "none",
+        "person",
+        "policy"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    },
+    {
+      "set": "SettlementParty",
+      "at": [
+        "src/core/gate-outcome.ts:116",
+        "src/index.ts:1470"
+      ],
+      "newSet": true,
+      "added": [
+        "engine",
+        "host",
+        "none",
+        "person",
+        "policy"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    }
+  ],
+  "closedSetsUnreadable": [],
+  "typeKeys": [
+    {
+      "type": "BlockedRef",
+      "at": [
+        "src/core/runner/synthetic-tools.ts:35"
+      ],
+      "via": "Runner.SuspendReap.env.blockedRef",
+      "added": [
+        "detail"
+      ],
+      "addedDetail": [
+        {
+          "key": "detail",
+          "optional": true
+        }
+      ],
+      "addedRequired": [],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    },
+    {
+      "type": "Prepared",
+      "at": [
+        "src/core/runner/contracts.ts:244"
+      ],
+      "via": "Runner.SuspendReap.env",
+      "added": [
+        "outputStyleFrame"
+      ],
+      "addedDetail": [
+        {
+          "key": "outputStyleFrame",
+          "optional": true
+        }
+      ],
+      "addedRequired": [],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    },
+    {
+      "type": "Settlement",
+      "at": [
+        "src/core/gate-outcome.ts:95"
+      ],
+      "added": [
+        "policy_allowed.kind",
+        "policy_allowed.when",
+        "policy_allowed.who"
+      ],
+      "addedDetail": [
+        {
+          "key": "policy_allowed.kind",
+          "optional": false
+        },
+        {
+          "key": "policy_allowed.when",
+          "optional": false
+        },
+        {
+          "key": "policy_allowed.who",
+          "optional": false
+        }
+      ],
+      "addedRequired": [],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    },
+    {
+      "type": "ShellReadJudgeInput",
+      "at": [
+        "src/tools/fs/shell-read-check.ts:587"
+      ],
+      "added": [
+        "readDenyHomes"
+      ],
+      "addedDetail": [
+        {
+          "key": "readDenyHomes",
+          "optional": true
+        }
+      ],
+      "addedRequired": [],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": true
+    },
+    {
+      "type": "TaskSpec",
+      "at": [
+        "src/core/task-spec.ts:52"
+      ],
+      "added": [
+        "outputStyle"
+      ],
+      "addedDetail": [
+        {
+          "key": "outputStyle",
+          "optional": true
+        }
+      ],
+      "addedRequired": [],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": true
+    },
+    {
+      "type": "TerminalCause",
+      "at": [
+        "src/core/terminal-cause.ts:34"
+      ],
+      "added": [
+        "blocked.detail"
+      ],
+      "addedDetail": [
+        {
+          "key": "blocked.detail",
+          "optional": true
+        }
+      ],
+      "addedRequired": [],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    }
+  ],
+  "typeKeysUnreadableArms": [],
+  "typeKeysFlattenedCount": 220,
+  "declarationMoves": [
+    {
+      "name": "isEngineRefusal",
+      "kind": "variable",
+      "onSurface": true,
+      "from": [
+        "src/core/decision-receipt.ts",
+        "src/core/tool-policy.ts"
+      ],
+      "to": [
+        "src/core/decision-receipt.ts",
+        "src/core/tool-policy.ts",
+        "src/index.ts"
+      ]
+    }
+  ],
+  "mintMoves": [],
+  "criteriaObserves": [
+    {
+      "kind": "engineNoticeCode",
+      "name": "task.user_followup_undrained",
+      "assertions": [
+        "G6.b",
+        "G14.b",
+        "G14.c",
+        "G14.f"
+      ]
+    },
+    {
+      "kind": "engineNoticeCode",
+      "name": "task.user_steer_undrained",
+      "assertions": [
+        "G6.b",
+        "G14.a",
+        "G14.c",
+        "G14.d",
+        "G14.e",
+        "G14.f"
+      ]
+    },
+    {
+      "kind": "taskEventField",
+      "name": "done.result",
+      "assertions": [
+        "G11.a",
+        "G11.b",
+        "G11.c"
+      ]
+    },
+    {
+      "kind": "taskEventField",
+      "name": "human_input.delivery",
+      "assertions": [
+        "G6.a",
+        "G6.b",
+        "G6.c"
+      ]
+    },
+    {
+      "kind": "taskEventField",
+      "name": "human_input.inputId",
+      "assertions": [
+        "G6.a",
+        "G6.c"
+      ]
+    },
+    {
+      "kind": "taskEventField",
+      "name": "human_input.parentToolCallId",
+      "assertions": [
+        "G6.d"
+      ]
+    },
+    {
+      "kind": "taskEventField",
+      "name": "human_input.sessionSeq",
+      "assertions": [
+        "G6.a"
+      ]
+    },
+    {
+      "kind": "taskEventField",
+      "name": "human_input.sourceTaskId",
+      "assertions": [
+        "G6.d"
+      ]
+    },
+    {
+      "kind": "taskEventField",
+      "name": "steering_injected.source",
+      "assertions": [
+        "G5.a",
+        "G5.c"
+      ]
+    },
+    {
+      "kind": "taskEventField",
+      "name": "tool_end.gate",
+      "assertions": [
+        "G1.c",
+        "G2.a",
+        "G7.a",
+        "G7.b",
+        "G7.c",
+        "G8.a",
+        "G10.a",
+        "G10.b",
+        "G10.c",
+        "G10.d",
+        "G10.g",
+        "G10.h"
+      ]
+    },
+    {
+      "kind": "taskEventField",
+      "name": "wiring_manifest.manifest",
+      "assertions": [
+        "G8.c"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "AskRequest.classes",
+      "assertions": [
+        "G1.a",
+        "G1.b",
+        "G1.c",
+        "G1.d",
+        "G2.b",
+        "G8.a",
+        "G8.b",
+        "G10.f"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "AskRequest.mandate",
+      "assertions": [
+        "G1.b"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "AskRequest.origin",
+      "assertions": [
+        "G1.b"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "AskRequest.toolCallId",
+      "assertions": [
+        "G1.a"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "Checkpoint.status",
+      "assertions": [
+        "G9.b",
+        "G9.c"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "CheckpointError.code",
+      "assertions": [
+        "G9.a",
+        "G9.c",
+        "G10.d",
+        "G10.g",
+        "G10.h"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "CheckpointError.detail",
+      "assertions": [
+        "G9.a",
+        "G9.c",
+        "G10.d",
+        "G10.g",
+        "G10.h"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "CheckpointRow.executionOutcome",
+      "assertions": [
+        "G10.h"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "GateDisposition.deniedBy",
+      "assertions": [
+        "G10.h"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "GateOutcome.disposition",
+      "assertions": [
+        "G1.d",
+        "G2.a",
+        "G8.a",
+        "G8.b"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "GateOutcome.settlement",
+      "assertions": [
+        "G2.c"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "MemoryEngine.harvest",
+      "assertions": [
+        "G13.a",
+        "G13.b",
+        "G13.c",
+        "G13.d"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "MemoryEngine.inject",
+      "assertions": [
+        "G13.a",
+        "G13.b"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "PermissionDeniedPayload.gate",
+      "assertions": [
+        "G10.b"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "PermissionResult.message",
+      "assertions": [
+        "G7.a"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "ResolvedOutcome.gateOutcome",
+      "assertions": [
+        "G10.d"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "Settlement.kind",
+      "assertions": [
+        "G10.a",
+        "G10.c"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "Settlement.who",
+      "assertions": [
+        "G10.a"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "Settlement.who.approver",
+      "assertions": [
+        "G10.b"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "Settlement.who.party",
+      "assertions": [
+        "G10.e"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "ShellReadJudgeInput.readDenyHomes",
+      "assertions": [
+        "G12.a",
+        "G12.b",
+        "G12.c"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "ShellReadJudgment.verdict.disposition",
+      "assertions": [
+        "G12.a",
+        "G12.c"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "ShellReadJudgment.verdict.finding",
+      "assertions": [
+        "G12.a",
+        "G12.b"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "TaskResult.terminal",
+      "assertions": [
+        "G4.c",
+        "G5.b",
+        "G9.b",
+        "G9.c"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "TaskSpec.interactiveTools",
+      "assertions": [
+        "G4.d"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "TaskSpec.objective",
+      "assertions": [
+        "G3.c"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "TaskSpec.outputStyle",
+      "assertions": [
+        "G5.a",
+        "G5.c",
+        "G9.c"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "TaskSpec.permissionMode",
+      "assertions": [
+        "G3.a",
+        "G4.a",
+        "G4.b",
+        "G4.d",
+        "G8.c"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "TaskStream.setPermissionMode",
+      "assertions": [
+        "G3.b"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "TerminalBlockedDetail.cause",
+      "assertions": [
+        "G11.a",
+        "G11.b",
+        "G11.d"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "TerminalBlockedDetail.hookReason",
+      "assertions": [
+        "G11.a"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "TerminalBlockedDetail.kind",
+      "assertions": [
+        "G11.a",
+        "G11.c"
+      ]
+    }
+  ],
+  "consumersHint": {
+    "cli": [
+      "ENGINE_NOTICE_CODES",
+      "Prepared",
+      "SETTLEMENT_KINDS",
+      "Settlement",
+      "TaskSpec",
+      "TerminalCause"
+    ],
+    "server": [
+      "ASK_CLASSES",
+      "ENGINE_NOTICE_CODES",
+      "Prepared",
+      "SETTLEMENT_PARTIES",
+      "Settlement",
+      "TaskSpec",
+      "TerminalCause",
+      "isEngineRefusal"
+    ],
+    "sdk": [
+      "ASK_CLASSES",
+      "AttachmentSource",
+      "ENGINE_NOTICE_CODES",
+      "SETTLEMENT_KINDS",
+      "Settlement",
+      "TaskSpec",
+      "TerminalCause"
+    ],
+    "note": "scanned cli@64a76326 server@f4ce4085 sdk@2756723 — a name listed is MENTIONED there today, which is evidence of consumption, not proof of it. Ledger files (**/docs/core-consumption/**, **/docs/wire-consumption/**, **/*LEDGER*.json) are not evidence of use — server: 2 name(s) matched ONLY in bookkeeping files and were set aside (SETTLEMENT_KINDS, ShellReadJudgeInput)"
+  },
+  "breakingCount": 2,
+  "breakingItems": [
+    "closed set lost members: AttachmentSource -plan_mode",
+    "closed set lost members: ENGINE_NOTICE_CODES -resume.legacy_mode_seed_migrated"
+  ]
+}