@sema-agent/core 7.26.3 → 7.27.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/CHANGELOG.md +34 -0
- package/dist/core/auto-mode-directive.d.ts +6 -4
- package/dist/core/auto-mode-directive.js +1 -5
- package/dist/core/engine-notice.d.ts +13 -6
- package/dist/core/runner/contracts.d.ts +31 -7
- package/dist/core/runner/denial-limit-arms.d.ts +17 -15
- package/dist/core/runner/denial-limit-arms.js +4 -1
- package/dist/core/runner/prepare-gate-stations.d.ts +1 -2
- package/dist/core/runner/prepare-inherited-gate.d.ts +1 -2
- package/dist/core/runner/prepare-policy-chain.d.ts +1 -2
- package/dist/core/runner/prepare-task.js +1 -1
- package/dist/core/runner/run-leg.js +5 -1
- package/dist/core/tool-policy.d.ts +23 -2
- package/dist/core/tool-policy.js +106 -103
- package/dist/index.d.ts +6 -1
- package/dist/stores/file/background-agent-store.d.ts +4 -0
- package/dist/stores/file/background-agent-store.js +10 -0
- package/dist/stores/file/checkpoint-store.d.ts +3 -0
- package/dist/stores/file/checkpoint-store.js +18 -0
- package/dist/stores/file/corrupt-read-sink.d.ts +20 -0
- package/dist/stores/file/corrupt-read-sink.js +15 -0
- package/dist/stores/file/file-history-store.d.ts +1 -2
- package/dist/stores/file/file-history-store.js +3 -8
- package/dist/stores/file/fs-atomic.d.ts +8 -3
- package/dist/stores/file/fs-atomic.js +19 -2
- package/dist/stores/file/index.js +4 -4
- package/dist/stores/file/mailbox-store.d.ts +3 -0
- package/dist/stores/file/mailbox-store.js +24 -18
- package/dist/stores/file/permission-rule-store.js +18 -1
- package/dist/stores/file/session-policy-store.d.ts +17 -1
- package/dist/stores/file/session-policy-store.js +3 -12
- package/dist/stores/file/session-store.d.ts +1 -5
- package/dist/stores/file/session-store.js +9 -14
- package/dist/stores/file/shared-ledger.d.ts +18 -0
- package/dist/stores/file/shared-ledger.js +16 -2
- package/dist/stores/file/tool-result-store.d.ts +9 -1
- package/dist/stores/file/tool-result-store.js +17 -2
- package/dist/stores/file/workflow-journal-store.d.ts +10 -1
- package/dist/stores/file/workflow-journal-store.js +8 -12
- package/dist/stores/file/workflow-run-store.d.ts +3 -0
- package/dist/stores/file/workflow-run-store.js +10 -0
- package/dist/tools/artifact/local-stub.js +16 -1
- package/package.json +1 -1
- package/test/export-surface.snapshot.json +3 -1
- package/wire-changes/core@7.27.0.json +152 -0
|
@@ -0,0 +1,152 @@
|
|
|
1
|
+
{
|
|
2
|
+
"repo": "core",
|
|
3
|
+
"version": "7.27.0",
|
|
4
|
+
"from": "e90527d7630a7098366f7843b8aae7346ea0a07c",
|
|
5
|
+
"to": "v7.27.0",
|
|
6
|
+
"added": [
|
|
7
|
+
{
|
|
8
|
+
"name": "ApprovalSeatOutcome",
|
|
9
|
+
"kind": "type",
|
|
10
|
+
"tier": "advanced",
|
|
11
|
+
"at": [
|
|
12
|
+
"src/core/tool-policy.ts:1318",
|
|
13
|
+
"src/index.ts:1345"
|
|
14
|
+
],
|
|
15
|
+
"criteriaCovered": true,
|
|
16
|
+
"breaking": false
|
|
17
|
+
}
|
|
18
|
+
],
|
|
19
|
+
"removed": [],
|
|
20
|
+
"changed": [],
|
|
21
|
+
"narrowed": [
|
|
22
|
+
{
|
|
23
|
+
"id": "F1",
|
|
24
|
+
"source": "behaviorFlips.summary",
|
|
25
|
+
"text": "NARROWING (#1019, P2, approval face — durable): the auto-mode classifier's denial-limit fallback, when PARKED durably and then settled by nobody (a policy refusal, or no approver), stops the leg with `classifier.denial_limit` exactly as the synchronous station does — the deny stands as the call's result, the stop ends the leg; a person's refusal on the same park does NOT stop (one table, `SETTLEMENT_NOBODY_JUDGED`, both stations)."
|
|
26
|
+
},
|
|
27
|
+
{
|
|
28
|
+
"id": "F3",
|
|
29
|
+
"source": "behaviorFlips.summary",
|
|
30
|
+
"text": "NARROWING (#1002 ①, C-R80, prompt face): the engine-minted approval-posture directive is EXCLUSIVE, bypass first — a run declaring both `autoModeRequested` and `approverPosture:\"bypass\"` receives the bypass segment alone (CC 2.1.259 `case\"auto_mode\"` arm order); single-seat runs are byte-unchanged. Cross-leg coexistence of two segments (a later leg adding the bypass seat after an auto-only leg already stated auto) is unchanged and recorded as KL-1002c."
|
|
31
|
+
},
|
|
32
|
+
{
|
|
33
|
+
"id": "F4",
|
|
34
|
+
"source": "behaviorFlips.summary",
|
|
35
|
+
"text": "NARROWING (#1013, P2, file stores): every JSONL read-back judges the record's SHAPE — a line that parses but is not an object (`123`, `\"str\"`, `null`, `[1]`) is disclosed once through the store's corrupt-read seat with a `CORRUPT_BODY_FORMS` word and skipped, never handed to a consumer; the eight roster faces of `storeReadBackShapeContract` are bound; every tolerant file store has one disclosure seat (one shared guard, sync throw and async rejection both contained); an artifact-ledger idempotency-replay record with a bad shape is refused at the ledger door; the permission-rule adoption marker is judged per arm."
|
|
36
|
+
}
|
|
37
|
+
],
|
|
38
|
+
"closedSetMembers": [],
|
|
39
|
+
"closedSetsUnreadable": [],
|
|
40
|
+
"typeKeys": [
|
|
41
|
+
{
|
|
42
|
+
"type": "FileBackgroundAgentStoreOptions",
|
|
43
|
+
"at": [
|
|
44
|
+
"src/stores/file/background-agent-store.ts:43"
|
|
45
|
+
],
|
|
46
|
+
"added": [
|
|
47
|
+
"onCorruptRead"
|
|
48
|
+
],
|
|
49
|
+
"removed": [],
|
|
50
|
+
"breaking": false,
|
|
51
|
+
"criteriaCovered": false
|
|
52
|
+
},
|
|
53
|
+
{
|
|
54
|
+
"type": "FileCheckpointStoreOptions",
|
|
55
|
+
"at": [
|
|
56
|
+
"src/stores/file/checkpoint-store.ts:86"
|
|
57
|
+
],
|
|
58
|
+
"added": [
|
|
59
|
+
"onCorruptRead"
|
|
60
|
+
],
|
|
61
|
+
"removed": [],
|
|
62
|
+
"breaking": false,
|
|
63
|
+
"criteriaCovered": false
|
|
64
|
+
},
|
|
65
|
+
{
|
|
66
|
+
"type": "FileWorkflowRunStoreOptions",
|
|
67
|
+
"at": [
|
|
68
|
+
"src/stores/file/workflow-run-store.ts:47"
|
|
69
|
+
],
|
|
70
|
+
"added": [
|
|
71
|
+
"onCorruptRead"
|
|
72
|
+
],
|
|
73
|
+
"removed": [],
|
|
74
|
+
"breaking": false,
|
|
75
|
+
"criteriaCovered": false
|
|
76
|
+
},
|
|
77
|
+
{
|
|
78
|
+
"type": "Prepared",
|
|
79
|
+
"at": [
|
|
80
|
+
"src/core/runner/contracts.ts:231"
|
|
81
|
+
],
|
|
82
|
+
"via": "Runner.SuspendReap.env",
|
|
83
|
+
"added": [
|
|
84
|
+
"stopForDenialLimit"
|
|
85
|
+
],
|
|
86
|
+
"removed": [],
|
|
87
|
+
"breaking": false,
|
|
88
|
+
"criteriaCovered": false
|
|
89
|
+
}
|
|
90
|
+
],
|
|
91
|
+
"typeKeysUnreadableArms": [],
|
|
92
|
+
"typeKeysFlattenedCount": 212,
|
|
93
|
+
"declarationMoves": [
|
|
94
|
+
{
|
|
95
|
+
"name": "StopForDenialLimit",
|
|
96
|
+
"kind": null,
|
|
97
|
+
"onSurface": false,
|
|
98
|
+
"from": [
|
|
99
|
+
"src/core/runner/denial-limit-arms.ts"
|
|
100
|
+
],
|
|
101
|
+
"to": [
|
|
102
|
+
"src/core/runner/contracts.ts"
|
|
103
|
+
]
|
|
104
|
+
}
|
|
105
|
+
],
|
|
106
|
+
"mintMoves": [],
|
|
107
|
+
"criteriaObserves": [
|
|
108
|
+
{
|
|
109
|
+
"kind": "taskEventField",
|
|
110
|
+
"name": "tool_end.gate",
|
|
111
|
+
"assertions": [
|
|
112
|
+
"G1.a"
|
|
113
|
+
]
|
|
114
|
+
},
|
|
115
|
+
{
|
|
116
|
+
"kind": "typeMember",
|
|
117
|
+
"name": "ApprovalSeatOutcome.settledBy",
|
|
118
|
+
"assertions": [
|
|
119
|
+
"G2.a"
|
|
120
|
+
]
|
|
121
|
+
},
|
|
122
|
+
{
|
|
123
|
+
"kind": "typeMember",
|
|
124
|
+
"name": "FileMailboxStoreOptions.onCorruptRead",
|
|
125
|
+
"assertions": [
|
|
126
|
+
"G4.a"
|
|
127
|
+
]
|
|
128
|
+
},
|
|
129
|
+
{
|
|
130
|
+
"kind": "typeMember",
|
|
131
|
+
"name": "TaskSpec.approverPosture",
|
|
132
|
+
"assertions": [
|
|
133
|
+
"G3.a"
|
|
134
|
+
]
|
|
135
|
+
}
|
|
136
|
+
],
|
|
137
|
+
"consumersHint": {
|
|
138
|
+
"cli": [
|
|
139
|
+
"Prepared"
|
|
140
|
+
],
|
|
141
|
+
"server": [
|
|
142
|
+
"FileBackgroundAgentStoreOptions",
|
|
143
|
+
"FileCheckpointStoreOptions",
|
|
144
|
+
"FileWorkflowRunStoreOptions"
|
|
145
|
+
],
|
|
146
|
+
"sdk": [],
|
|
147
|
+
"note": "scanned cli@17a6b331 server@73a73469 sdk@bfb4fd0 — a name listed is MENTIONED there today, which is evidence of consumption, not proof of it"
|
|
148
|
+
},
|
|
149
|
+
"breakingCount": 0,
|
|
150
|
+
"breakingItems": [],
|
|
151
|
+
"toResolvedAt": "bc100bca1f15c0658cc4d0f615bb31aca7027c0b"
|
|
152
|
+
}
|