@sema-agent/core 7.25.1 → 7.26.1

package/wire-changes/core@7.26.0.json

@@ -0,0 +1,695 @@
+{
+  "repo": "core",
+  "version": "7.26.0",
+  "from": "f8936c81b87604636d2e202cd3e3d8ed7738610b",
+  "to": "v7.26.0",
+  "added": [
+    {
+      "name": "ApproverPosture",
+      "kind": "type",
+      "tier": "advanced",
+      "at": [
+        "src/core/task-spec.ts:53",
+        "src/core/types.ts:23",
+        "src/index.ts:3335"
+      ],
+      "criteriaCovered": false,
+      "breaking": false
+    },
+    {
+      "name": "McpProbeResult",
+      "kind": "interface",
+      "tier": "advanced",
+      "at": [
+        "src/core/mcp-probe.ts:60",
+        "src/index.ts:349"
+      ],
+      "criteriaCovered": false,
+      "breaking": false
+    },
+    {
+      "name": "PermissionRuleWriteContractHooks",
+      "kind": "interface",
+      "tier": "advanced",
+      "at": [
+        "src/core/store-contracts/permission-rule-write-contract.ts:19",
+        "src/index.ts:2737"
+      ],
+      "criteriaCovered": false,
+      "breaking": false
+    },
+    {
+      "name": "READ_ROOT_CANDIDATE_DIR_MAX",
+      "kind": "variable",
+      "tier": "advanced",
+      "at": [
+        "src/core/read-root-candidate.ts:9",
+        "src/index.ts:2812"
+      ],
+      "criteriaCovered": false,
+      "breaking": false
+    },
+    {
+      "name": "REMOVAL_LIVENESS_WORDS",
+      "kind": "variable",
+      "tier": "advanced",
+      "at": [
+        "src/core/permission-rule-store.ts:1004",
+        "src/index.ts:2811"
+      ],
+      "criteriaCovered": false,
+      "breaking": false
+    },
+    {
+      "name": "RULE_WRITE_COMMITTED_WORDS",
+      "kind": "variable",
+      "tier": "advanced",
+      "at": [
+        "src/core/permission-rule-store.ts:1021",
+        "src/index.ts:2811"
+      ],
+      "criteriaCovered": false,
+      "breaking": false
+    },
+    {
+      "name": "RemovalLiveness",
+      "kind": "type",
+      "tier": "advanced",
+      "at": [
+        "src/core/permission-rule-store.ts:1005",
+        "src/index.ts:2811"
+      ],
+      "criteriaCovered": false,
+      "breaking": false
+    },
+    {
+      "name": "RuleWriteCommitted",
+      "kind": "type",
+      "tier": "advanced",
+      "at": [
+        "src/core/permission-rule-store.ts:1022",
+        "src/index.ts:2811"
+      ],
+      "criteriaCovered": false,
+      "breaking": false
+    },
+    {
+      "name": "TASK_OUTPUT_REPLAY_KINDS",
+      "kind": "variable",
+      "tier": "advanced",
+      "at": [
+        "src/core/task-registry-shared.ts:762",
+        "src/index.ts:2810"
+      ],
+      "criteriaCovered": false,
+      "breaking": false
+    },
+    {
+      "name": "TaskOutputReplay",
+      "kind": "type",
+      "tier": "advanced",
+      "at": [
+        "src/core/task-registry-shared.ts:763",
+        "src/index.ts:2810"
+      ],
+      "criteriaCovered": false,
+      "breaking": false
+    },
+    {
+      "name": "deriveShadowedSet",
+      "kind": "function",
+      "tier": "advanced",
+      "at": [
+        "src/core/memory-engine/index.ts:210",
+        "src/core/memory-engine/shadowing.ts:71",
+        "src/index.ts:2010"
+      ],
+      "criteriaCovered": false,
+      "breaking": false
+    },
+    {
+      "name": "normalizeReadRootCandidate",
+      "kind": "function",
+      "tier": "advanced",
+      "at": [
+        "src/core/read-root-candidate.ts:19",
+        "src/index.ts:2812"
+      ],
+      "criteriaCovered": false,
+      "breaking": false
+    },
+    {
+      "name": "permissionRuleWriteContract",
+      "kind": "function",
+      "tier": "advanced",
+      "at": [
+        "src/core/store-contracts/permission-rule-write-contract.ts:53",
+        "src/index.ts:2737"
+      ],
+      "criteriaCovered": false,
+      "breaking": false
+    },
+    {
+      "name": "probeMcpServers",
+      "kind": "function",
+      "tier": "advanced",
+      "at": [
+        "src/core/mcp-probe.ts:231",
+        "src/index.ts:349"
+      ],
+      "criteriaCovered": false,
+      "breaking": false
+    }
+  ],
+  "removed": [],
+  "changed": [],
+  "narrowed": [
+    {
+      "id": "F4",
+      "source": "behaviorFlips.summary",
+      "text": "NARROWING (#863 slice 2a, P2, memory): the shadowing carrier must stand on the seat's own default face — a memory product that keeps its subject name and supersedes H leaves only P in the index (`shadowedHidden` 1 / `supersededHidden` 1, search returns P alone); a tombstoned H lets O back into the injection index; a challenged H keeps O on all three faces; an org-layer same-name entry is shadowed like any other (org is not exempt) while a different-name entry stays."
+    },
+    {
+      "id": "F7",
+      "source": "behaviorFlips.summary",
+      "text": "NARROWING (#1001, P2, store contract): a `RuleWriteDelta.kind` outside the closed set is REFUSED identically by both bundled backends (exhaustive switch + `never` arm + one shared error); the file backend no longer treats an unknown kind carrying a tombstone as a delete. The `permissionRuleWriteContract` kit (+2 exports) pins it for any backend."
+    }
+  ],
+  "closedSetMembers": [
+    {
+      "set": "APPROVER_POSTURES",
+      "at": [
+        "src/core/auto-mode-directive.ts:47"
+      ],
+      "newSet": true,
+      "added": [
+        "bypass"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    },
+    {
+      "set": "ApproverPosture",
+      "at": [
+        "src/core/task-spec.ts:53"
+      ],
+      "newSet": true,
+      "added": [
+        "bypass"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    },
+    {
+      "set": "ENGINE_NOTICE_CODES",
+      "at": [
+        "src/core/governance-codes.ts:315"
+      ],
+      "newSet": false,
+      "added": [
+        "memory.project_scope_absent"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    },
+    {
+      "set": "MEMORY_PROJECT_KEY_ABSENT_REASONS",
+      "at": [
+        "src/core/memory.ts:1091"
+      ],
+      "newSet": true,
+      "added": [
+        "bare",
+        "not_git",
+        "unreadable"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    },
+    {
+      "set": "MemoryProjectKeyAbsentReason",
+      "at": [
+        "src/core/memory.ts:1092"
+      ],
+      "newSet": true,
+      "added": [
+        "bare",
+        "not_git",
+        "unreadable"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    },
+    {
+      "set": "RULE_WRITE_COMMITTED_WORDS",
+      "at": [
+        "src/core/permission-rule-store.ts:1021"
+      ],
+      "newSet": true,
+      "added": [
+        "no",
+        "unknown"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    },
+    {
+      "set": "RuleWriteCommitted",
+      "at": [
+        "src/core/permission-rule-store.ts:1022",
+        "src/index.ts:2811"
+      ],
+      "newSet": true,
+      "added": [
+        "no",
+        "unknown"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    }
+  ],
+  "closedSetsUnreadable": [],
+  "typeKeys": [
+    {
+      "type": "AddResult",
+      "at": [
+        "src/core/permission-rule-store.ts:1361"
+      ],
+      "added": [
+        "committed"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": true
+    },
+    {
+      "type": "AskCarry",
+      "at": [
+        "src/core/hooks.ts:2151"
+      ],
+      "added": [
+        "mandated"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    },
+    {
+      "type": "AskRequest",
+      "at": [
+        "src/core/tool-policy.ts:2622"
+      ],
+      "added": [
+        "mandated"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": true
+    },
+    {
+      "type": "CleanMemoryIndexRow",
+      "at": [
+        "src/core/memory-engine/tools.ts:275"
+      ],
+      "added": [
+        "shadowedBy"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    },
+    {
+      "type": "CleanMemorySearchHit",
+      "at": [
+        "src/core/memory-engine/tools.ts:178"
+      ],
+      "added": [
+        "shadowedBy"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    },
+    {
+      "type": "EffectiveMemoryScopes",
+      "at": [
+        "src/core/task-result.ts:127"
+      ],
+      "added": [
+        "projectKey"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    },
+    {
+      "type": "ExposedMemoryIndexRow",
+      "at": [
+        "src/core/memory-engine/tools.ts:293"
+      ],
+      "added": [
+        "shadowedBy"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    },
+    {
+      "type": "ExposedMemorySearchHit",
+      "at": [
+        "src/core/memory-engine/tools.ts:204"
+      ],
+      "added": [
+        "shadowedBy"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    },
+    {
+      "type": "MaybeCompactOptions",
+      "at": [
+        "src/core/auto-compaction.ts:331"
+      ],
+      "added": [
+        "postureRestate"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    },
+    {
+      "type": "MemoryGetDetails",
+      "at": [
+        "src/core/memory-engine/tools.ts:235"
+      ],
+      "added": [
+        "shadowedBy"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    },
+    {
+      "type": "MemoryIndexDetails",
+      "at": [
+        "src/core/memory-engine/tools.ts:308"
+      ],
+      "added": [
+        "shadowedHidden"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": true
+    },
+    {
+      "type": "MemorySessionHandle",
+      "at": [
+        "src/core/memory-engine/types.ts:401"
+      ],
+      "added": [
+        "shadowNames",
+        "shadowedByScope"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    },
+    {
+      "type": "MemorySpecInput",
+      "at": [
+        "src/core/memory.ts:1109"
+      ],
+      "added": [
+        "projectKey"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    },
+    {
+      "type": "NormalizedMemorySpec",
+      "at": [
+        "src/core/memory.ts:1038"
+      ],
+      "added": [
+        "projectKey"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    },
+    {
+      "type": "PermissionResult",
+      "at": [
+        "src/core/tool-policy.ts:447"
+      ],
+      "added": [
+        "mandated"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    },
+    {
+      "type": "PreToolUseResult",
+      "at": [
+        "src/core/hooks.ts:1163"
+      ],
+      "added": [
+        "mandated"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    },
+    {
+      "type": "RemoveResult",
+      "at": [
+        "src/core/permission-rule-store.ts:1081"
+      ],
+      "added": [
+        "committed"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    },
+    {
+      "type": "TaskSpec",
+      "at": [
+        "src/core/task-spec.ts:55"
+      ],
+      "added": [
+        "approverPosture"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": true
+    }
+  ],
+  "declarationMoves": [
+    {
+      "name": "READ_ROOT_CANDIDATE_DIR_MAX",
+      "kind": "variable",
+      "onSurface": true,
+      "from": [
+        "src/core/read-root-candidate.ts"
+      ],
+      "to": [
+        "src/core/read-root-candidate.ts",
+        "src/index.ts"
+      ]
+    },
+    {
+      "name": "REMOVAL_LIVENESS_WORDS",
+      "kind": "variable",
+      "onSurface": true,
+      "from": [
+        "src/core/permission-rule-store.ts"
+      ],
+      "to": [
+        "src/core/permission-rule-store.ts",
+        "src/index.ts"
+      ]
+    },
+    {
+      "name": "RemovalLiveness",
+      "kind": "type",
+      "onSurface": true,
+      "from": [
+        "src/core/permission-rule-store.ts"
+      ],
+      "to": [
+        "src/core/permission-rule-store.ts",
+        "src/index.ts"
+      ]
+    },
+    {
+      "name": "TASK_OUTPUT_REPLAY_KINDS",
+      "kind": "variable",
+      "onSurface": true,
+      "from": [
+        "src/core/task-registry-shared.ts"
+      ],
+      "to": [
+        "src/core/task-registry-shared.ts",
+        "src/index.ts"
+      ]
+    },
+    {
+      "name": "TaskOutputReplay",
+      "kind": "type",
+      "onSurface": true,
+      "from": [
+        "src/core/task-registry-shared.ts"
+      ],
+      "to": [
+        "src/core/task-registry-shared.ts",
+        "src/index.ts"
+      ]
+    },
+    {
+      "name": "normalizeReadRootCandidate",
+      "kind": "function",
+      "onSurface": true,
+      "from": [
+        "src/core/read-root-candidate.ts"
+      ],
+      "to": [
+        "src/core/read-root-candidate.ts",
+        "src/index.ts"
+      ]
+    }
+  ],
+  "mintMoves": [],
+  "criteriaObserves": [
+    {
+      "kind": "taskEventField",
+      "name": "wiring_manifest.manifest",
+      "assertions": [
+        "G1.a",
+        "G1.b"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "AddResult.committed",
+      "assertions": [
+        "G5.a"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "AskRequest.mandated",
+      "assertions": [
+        "G7.a"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "Checkpoint.pendingAction",
+      "assertions": [
+        "G8.a"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "MemoryIndexDetails.shadowedHidden",
+      "assertions": [
+        "G3.a"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "ReadRootGrantCandidate.dir",
+      "assertions": [
+        "G4.a"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "RuleTightenAddDelta.kind",
+      "assertions": [
+        "G6.a"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "TaskSpec.approverPosture",
+      "assertions": [
+        "G2.b"
+      ]
+    },
+    {
+      "kind": "typeMember",
+      "name": "TaskSpec.autoModeRequested",
+      "assertions": [
+        "G2.a",
+        "G9.a"
+      ]
+    }
+  ],
+  "consumersHint": {
+    "cli": [
+      "AddResult",
+      "AskCarry",
+      "AskRequest",
+      "ENGINE_NOTICE_CODES",
+      "MemorySessionHandle",
+      "PermissionResult",
+      "PreToolUseResult",
+      "REMOVAL_LIVENESS_WORDS",
+      "RemovalLiveness",
+      "TASK_OUTPUT_REPLAY_KINDS",
+      "TaskOutputReplay",
+      "TaskSpec",
+      "normalizeReadRootCandidate"
+    ],
+    "server": [
+      "AddResult",
+      "AskCarry",
+      "AskRequest",
+      "CleanMemoryIndexRow",
+      "CleanMemorySearchHit",
+      "ENGINE_NOTICE_CODES",
+      "EffectiveMemoryScopes",
+      "ExposedMemoryIndexRow",
+      "ExposedMemorySearchHit",
+      "MaybeCompactOptions",
+      "MemoryGetDetails",
+      "MemoryIndexDetails",
+      "MemorySessionHandle",
+      "MemorySpecInput",
+      "NormalizedMemorySpec",
+      "PermissionResult",
+      "PreToolUseResult",
+      "READ_ROOT_CANDIDATE_DIR_MAX",
+      "RemovalLiveness",
+      "RemoveResult",
+      "TaskSpec",
+      "normalizeReadRootCandidate"
+    ],
+    "sdk": [
+      "AddResult",
+      "AskRequest",
+      "ENGINE_NOTICE_CODES",
+      "MemorySpecInput",
+      "PermissionResult",
+      "PreToolUseResult",
+      "RemovalLiveness",
+      "TaskSpec"
+    ],
+    "note": "scanned cli@edad148c server@20cfa4b3 sdk@6d6c486 — a name listed is MENTIONED there today, which is evidence of consumption, not proof of it"
+  },
+  "breakingCount": 0,
+  "breakingItems": [],
+  "toResolvedAt": "61065a191d4d2a863c54cb46db9ec5903d6c5ab9"
+}