@sema-agent/core 7.26.1 → 7.26.3
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 +56 -0
- package/dist/agents/verify.d.ts +16 -6
- package/dist/agents/verify.js +12 -5
- package/dist/core/checkpoint-store.d.ts +13 -10
- package/dist/core/gate-lanes.js +2 -1
- package/dist/core/gate-outcome.d.ts +54 -5
- package/dist/core/gate-outcome.js +17 -0
- package/dist/core/runner/contracts.d.ts +48 -0
- package/dist/core/runner/decide-continuation.js +3 -1
- package/dist/core/runner/denial-limit-arms.d.ts +4 -3
- package/dist/core/runner/denial-limit-arms.js +2 -1
- package/dist/core/runner/prepare-delegation-surface.d.ts +4 -0
- package/dist/core/runner/prepare-delegation-surface.js +2 -1
- package/dist/core/runner/prepare-task.js +1 -1
- package/dist/core/runner/resume-apply.js +3 -1
- package/dist/core/runner/resume-policy-outcome.js +6 -6
- package/dist/core/runner/run-harness-handlers.js +2 -5
- package/dist/core/runner/run-identity-wiring.d.ts +6 -0
- package/dist/core/runner/run-identity-wiring.js +8 -3
- package/dist/core/runner/run-leg.js +9 -3
- package/dist/core/runner/runtask.js +2 -2
- package/dist/core/tool-policy.d.ts +36 -12
- package/dist/core/tool-policy.js +22 -9
- package/dist/tools/fs/dead-cwd.d.ts +48 -0
- package/dist/tools/fs/dead-cwd.js +56 -0
- package/dist/tools/fs/fs-bash.js +4 -32
- package/dist/tools/fs/shell-read-plan.js +16 -17
- package/dist/tools/monitor.d.ts +4 -0
- package/dist/tools/monitor.js +6 -0
- package/package.json +1 -1
- package/test/export-surface.snapshot.json +1 -1
- package/wire-changes/core@7.26.2.json +106 -0
- package/wire-changes/core@7.26.3.json +65 -0
|
@@ -0,0 +1,106 @@
|
|
|
1
|
+
{
|
|
2
|
+
"repo": "core",
|
|
3
|
+
"version": "7.26.2",
|
|
4
|
+
"from": "d9d6418fe808128c2b9bd9a51273602f5d6c28e1",
|
|
5
|
+
"to": "v7.26.2",
|
|
6
|
+
"added": [],
|
|
7
|
+
"removed": [],
|
|
8
|
+
"changed": [
|
|
9
|
+
{
|
|
10
|
+
"name": "SettlementKind",
|
|
11
|
+
"from": {
|
|
12
|
+
"kind": "type",
|
|
13
|
+
"tier": "advanced"
|
|
14
|
+
},
|
|
15
|
+
"to": {
|
|
16
|
+
"kind": "type",
|
|
17
|
+
"tier": "stable"
|
|
18
|
+
},
|
|
19
|
+
"at": [
|
|
20
|
+
"src/core/gate-outcome.ts:64",
|
|
21
|
+
"src/index.ts:1411"
|
|
22
|
+
],
|
|
23
|
+
"breaking": false
|
|
24
|
+
}
|
|
25
|
+
],
|
|
26
|
+
"narrowed": [
|
|
27
|
+
{
|
|
28
|
+
"id": "F3",
|
|
29
|
+
"source": "behaviorFlips.summary",
|
|
30
|
+
"text": "NARROWING + closed-set addition (#1016, P1, approval face — user-visible through the model): a deployment's own policy refusal is no longer handed to the model as the user's words. `AskOutcome.settledBy` gains `\"policy\"` (live) and the durable `hostDecision.decidedBy` gains `\"policy\"`; `SETTLEMENT_KINDS` gains `policy_refused` (party `none`); a refusal so settled reaches the model as ONE policy sentence (`Action requires interactive approval and permission prompts are not available in this context` + `Policy note:` when the host supplied one), minted in one place for the live and the durable-resume arms. A refusal with no `settledBy` is still read as a person's (default unchanged)."
|
|
31
|
+
}
|
|
32
|
+
],
|
|
33
|
+
"closedSetMembers": [
|
|
34
|
+
{
|
|
35
|
+
"set": "SETTLEMENT_KINDS",
|
|
36
|
+
"at": [
|
|
37
|
+
"src/core/gate-outcome.ts:49"
|
|
38
|
+
],
|
|
39
|
+
"newSet": false,
|
|
40
|
+
"added": [
|
|
41
|
+
"policy_refused"
|
|
42
|
+
],
|
|
43
|
+
"removed": [],
|
|
44
|
+
"breaking": false,
|
|
45
|
+
"criteriaCovered": false
|
|
46
|
+
}
|
|
47
|
+
],
|
|
48
|
+
"closedSetsUnreadable": [],
|
|
49
|
+
"typeKeys": [
|
|
50
|
+
{
|
|
51
|
+
"type": "RunInternals",
|
|
52
|
+
"at": [
|
|
53
|
+
"src/core/runner/contracts.ts:1340"
|
|
54
|
+
],
|
|
55
|
+
"added": [
|
|
56
|
+
"onWiringManifest"
|
|
57
|
+
],
|
|
58
|
+
"removed": [],
|
|
59
|
+
"breaking": false,
|
|
60
|
+
"criteriaCovered": true
|
|
61
|
+
}
|
|
62
|
+
],
|
|
63
|
+
"declarationMoves": [],
|
|
64
|
+
"mintMoves": [],
|
|
65
|
+
"criteriaObserves": [
|
|
66
|
+
{
|
|
67
|
+
"kind": "taskEventField",
|
|
68
|
+
"name": "tool_end.gate",
|
|
69
|
+
"assertions": [
|
|
70
|
+
"G3.a"
|
|
71
|
+
]
|
|
72
|
+
},
|
|
73
|
+
{
|
|
74
|
+
"kind": "typeMember",
|
|
75
|
+
"name": "RunInternals.onWiringManifest",
|
|
76
|
+
"assertions": [
|
|
77
|
+
"G2.a"
|
|
78
|
+
]
|
|
79
|
+
},
|
|
80
|
+
{
|
|
81
|
+
"kind": "typeMember",
|
|
82
|
+
"name": "ShellReadJudgment.verdict",
|
|
83
|
+
"assertions": [
|
|
84
|
+
"G1.a"
|
|
85
|
+
]
|
|
86
|
+
}
|
|
87
|
+
],
|
|
88
|
+
"consumersHint": {
|
|
89
|
+
"cli": [
|
|
90
|
+
"RunInternals",
|
|
91
|
+
"SETTLEMENT_KINDS"
|
|
92
|
+
],
|
|
93
|
+
"server": [
|
|
94
|
+
"RunInternals",
|
|
95
|
+
"SETTLEMENT_KINDS",
|
|
96
|
+
"SettlementKind"
|
|
97
|
+
],
|
|
98
|
+
"sdk": [
|
|
99
|
+
"SETTLEMENT_KINDS"
|
|
100
|
+
],
|
|
101
|
+
"note": "scanned cli@1da88f0f server@8fe5139f sdk@192ebd1 — a name listed is MENTIONED there today, which is evidence of consumption, not proof of it"
|
|
102
|
+
},
|
|
103
|
+
"breakingCount": 0,
|
|
104
|
+
"breakingItems": [],
|
|
105
|
+
"toResolvedAt": "cf8254dcbedc7be05f796fb4813b6b9a2967c842"
|
|
106
|
+
}
|
|
@@ -0,0 +1,65 @@
|
|
|
1
|
+
{
|
|
2
|
+
"repo": "core",
|
|
3
|
+
"version": "7.26.3",
|
|
4
|
+
"from": "f41acbdc6dace7426c1a4dafa1a9c184d010cdb7",
|
|
5
|
+
"to": "v7.26.3",
|
|
6
|
+
"added": [],
|
|
7
|
+
"removed": [],
|
|
8
|
+
"changed": [],
|
|
9
|
+
"narrowed": [
|
|
10
|
+
{
|
|
11
|
+
"id": "F1",
|
|
12
|
+
"source": "behaviorFlips.summary",
|
|
13
|
+
"text": "NARROWING (#1018, P3, Monitor tool — user-visible): the watch tool probes the tracked working directory before it spawns, through the same probe and diagnosis the shell's legs use (`src/tools/fs/dead-cwd.ts`, one mint). A dead cwd (gone / replaced by a file / standing under a file / a symlink that does not resolve to a directory) refuses loudly with the shell's dead-cwd sentence and, when the task root is alive, resets the tracked cwd to the root (self-heal, same as Bash); a mount that was handed no root says it has no reset target. `MonitorToolOptions.rootCanonical?` (additive) carries the root in the same canonical spelling `createBashTool` receives; `prepareTask` wires it. Two probe shapes got truthful on BOTH legs: an ENOTDIR-class probe error and a symlink retargeted at a file now count as dead."
|
|
14
|
+
}
|
|
15
|
+
],
|
|
16
|
+
"closedSetMembers": [],
|
|
17
|
+
"closedSetsUnreadable": [],
|
|
18
|
+
"typeKeys": [
|
|
19
|
+
{
|
|
20
|
+
"type": "MonitorToolOptions",
|
|
21
|
+
"at": [
|
|
22
|
+
"src/tools/monitor.ts:61"
|
|
23
|
+
],
|
|
24
|
+
"added": [
|
|
25
|
+
"rootCanonical"
|
|
26
|
+
],
|
|
27
|
+
"removed": [],
|
|
28
|
+
"breaking": false,
|
|
29
|
+
"criteriaCovered": true
|
|
30
|
+
}
|
|
31
|
+
],
|
|
32
|
+
"typeKeysUnreadableArms": [],
|
|
33
|
+
"typeKeysFlattenedCount": 212,
|
|
34
|
+
"declarationMoves": [],
|
|
35
|
+
"mintMoves": [],
|
|
36
|
+
"criteriaObserves": [
|
|
37
|
+
{
|
|
38
|
+
"kind": "typeMember",
|
|
39
|
+
"name": "MonitorToolOptions.rootCanonical",
|
|
40
|
+
"assertions": [
|
|
41
|
+
"G1.a"
|
|
42
|
+
]
|
|
43
|
+
},
|
|
44
|
+
{
|
|
45
|
+
"kind": "typeMember",
|
|
46
|
+
"name": "RunInternals.inheritedGate",
|
|
47
|
+
"assertions": [
|
|
48
|
+
"G2.a"
|
|
49
|
+
]
|
|
50
|
+
}
|
|
51
|
+
],
|
|
52
|
+
"consumersHint": {
|
|
53
|
+
"cli": [
|
|
54
|
+
"MonitorToolOptions"
|
|
55
|
+
],
|
|
56
|
+
"server": [
|
|
57
|
+
"MonitorToolOptions"
|
|
58
|
+
],
|
|
59
|
+
"sdk": [],
|
|
60
|
+
"note": "scanned cli@7ea76c7c server@bcf41646 sdk@2bff51e — a name listed is MENTIONED there today, which is evidence of consumption, not proof of it"
|
|
61
|
+
},
|
|
62
|
+
"breakingCount": 0,
|
|
63
|
+
"breakingItems": [],
|
|
64
|
+
"toResolvedAt": "ee393c7d629f3ae8a2f3dbd906441aab40c31cd1"
|
|
65
|
+
}
|