@orion-agents/orion-code 0.1.0 → 0.1.2
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/README.md +107 -67
- package/README.zh-CN.md +192 -217
- package/dist/cli.js +23 -21
- package/dist/cli.js.map +1 -1
- package/dist/commands/index.d.ts +1 -1
- package/dist/commands/index.d.ts.map +1 -1
- package/dist/commands/index.js +397 -212
- package/dist/commands/index.js.map +1 -1
- package/dist/commands/target-command.d.ts.map +1 -1
- package/dist/commands/target-command.js +43 -9
- package/dist/commands/target-command.js.map +1 -1
- package/dist/commands/types.d.ts +33 -0
- package/dist/commands/types.d.ts.map +1 -1
- package/dist/commands/types.js +5 -1
- package/dist/commands/types.js.map +1 -1
- package/dist/core/agent.d.ts.map +1 -1
- package/dist/core/agent.js +2 -2
- package/dist/core/agent.js.map +1 -1
- package/dist/framework/external-assertion.d.ts +65 -0
- package/dist/framework/external-assertion.d.ts.map +1 -0
- package/dist/framework/external-assertion.js +571 -0
- package/dist/framework/external-assertion.js.map +1 -0
- package/dist/framework/index.d.ts +6 -4
- package/dist/framework/index.d.ts.map +1 -1
- package/dist/framework/index.js +4 -1
- package/dist/framework/index.js.map +1 -1
- package/dist/framework/query.d.ts +18 -1
- package/dist/framework/query.d.ts.map +1 -1
- package/dist/framework/query.js +65 -28
- package/dist/framework/query.js.map +1 -1
- package/dist/framework/tool-scheduler.d.ts +2 -0
- package/dist/framework/tool-scheduler.d.ts.map +1 -1
- package/dist/framework/tool-scheduler.js +23 -9
- package/dist/framework/tool-scheduler.js.map +1 -1
- package/dist/framework/tool-serializer.d.ts.map +1 -1
- package/dist/framework/tool-serializer.js +20 -4
- package/dist/framework/tool-serializer.js.map +1 -1
- package/dist/framework/tool.d.ts +11 -5
- package/dist/framework/tool.d.ts.map +1 -1
- package/dist/framework/tool.js.map +1 -1
- package/dist/harness/context-harness.d.ts.map +1 -1
- package/dist/harness/context-harness.js +4 -3
- package/dist/harness/context-harness.js.map +1 -1
- package/dist/harness/drift-guard.d.ts.map +1 -1
- package/dist/harness/drift-guard.js +14 -5
- package/dist/harness/drift-guard.js.map +1 -1
- package/dist/harness/safety.d.ts.map +1 -1
- package/dist/harness/safety.js +19 -3
- package/dist/harness/safety.js.map +1 -1
- package/dist/init.d.ts +1 -1
- package/dist/init.d.ts.map +1 -1
- package/dist/init.js +115 -34
- package/dist/init.js.map +1 -1
- package/dist/ink-ui/screens/ReplScreen.d.ts.map +1 -1
- package/dist/ink-ui/screens/ReplScreen.js +4 -1
- package/dist/ink-ui/screens/ReplScreen.js.map +1 -1
- package/dist/memory/storage.d.ts.map +1 -1
- package/dist/memory/storage.js +1 -0
- package/dist/memory/storage.js.map +1 -1
- package/dist/memory/store.d.ts.map +1 -1
- package/dist/memory/store.js +11 -5
- package/dist/memory/store.js.map +1 -1
- package/dist/migration/command.d.ts.map +1 -1
- package/dist/migration/command.js +6 -1
- package/dist/migration/command.js.map +1 -1
- package/dist/migration/migrate.d.ts.map +1 -1
- package/dist/migration/migrate.js +4 -1
- package/dist/migration/migrate.js.map +1 -1
- package/dist/print-ui/launch.d.ts +4 -0
- package/dist/print-ui/launch.d.ts.map +1 -1
- package/dist/print-ui/launch.js +102 -9
- package/dist/print-ui/launch.js.map +1 -1
- package/dist/product/identity.d.ts +2 -2
- package/dist/product/identity.d.ts.map +1 -1
- package/dist/product/identity.js +2 -2
- package/dist/product/identity.js.map +1 -1
- package/dist/product/index.d.ts +2 -1
- package/dist/product/index.d.ts.map +1 -1
- package/dist/product/index.js +5 -1
- package/dist/product/index.js.map +1 -1
- package/dist/product/version.d.ts +12 -0
- package/dist/product/version.d.ts.map +1 -0
- package/dist/product/version.js +31 -0
- package/dist/product/version.js.map +1 -0
- package/dist/runtime/agent-runtime-controller.d.ts +49 -0
- package/dist/runtime/agent-runtime-controller.d.ts.map +1 -1
- package/dist/runtime/agent-runtime-controller.js +1048 -81
- package/dist/runtime/agent-runtime-controller.js.map +1 -1
- package/dist/runtime/agent-runtime-protocol.d.ts +14 -2
- package/dist/runtime/agent-runtime-protocol.d.ts.map +1 -1
- package/dist/runtime/agent-runtime-protocol.js +18 -0
- package/dist/runtime/agent-runtime-protocol.js.map +1 -1
- package/dist/runtime/chat-controller.d.ts +6 -0
- package/dist/runtime/chat-controller.d.ts.map +1 -1
- package/dist/runtime/chat-controller.js +226 -20
- package/dist/runtime/chat-controller.js.map +1 -1
- package/dist/runtime/goals/accounting.d.ts +28 -0
- package/dist/runtime/goals/accounting.d.ts.map +1 -1
- package/dist/runtime/goals/accounting.js +69 -0
- package/dist/runtime/goals/accounting.js.map +1 -1
- package/dist/runtime/goals/completion-audit.d.ts +13 -8
- package/dist/runtime/goals/completion-audit.d.ts.map +1 -1
- package/dist/runtime/goals/completion-audit.js +598 -16
- package/dist/runtime/goals/completion-audit.js.map +1 -1
- package/dist/runtime/goals/coordinator.d.ts +44 -5
- package/dist/runtime/goals/coordinator.d.ts.map +1 -1
- package/dist/runtime/goals/coordinator.js +1124 -58
- package/dist/runtime/goals/coordinator.js.map +1 -1
- package/dist/runtime/goals/evidence.d.ts +37 -0
- package/dist/runtime/goals/evidence.d.ts.map +1 -0
- package/dist/runtime/goals/evidence.js +300 -0
- package/dist/runtime/goals/evidence.js.map +1 -0
- package/dist/runtime/goals/presentation.d.ts +4 -0
- package/dist/runtime/goals/presentation.d.ts.map +1 -0
- package/dist/runtime/goals/presentation.js +50 -0
- package/dist/runtime/goals/presentation.js.map +1 -0
- package/dist/runtime/goals/prompt.d.ts.map +1 -1
- package/dist/runtime/goals/prompt.js +38 -8
- package/dist/runtime/goals/prompt.js.map +1 -1
- package/dist/runtime/goals/tools.d.ts +18 -1
- package/dist/runtime/goals/tools.d.ts.map +1 -1
- package/dist/runtime/goals/tools.js +308 -28
- package/dist/runtime/goals/tools.js.map +1 -1
- package/dist/runtime/goals/types.d.ts +241 -7
- package/dist/runtime/goals/types.d.ts.map +1 -1
- package/dist/runtime/goals/types.js +8 -2
- package/dist/runtime/goals/types.js.map +1 -1
- package/dist/runtime/subagents/child-executor-guard.d.ts +12 -4
- package/dist/runtime/subagents/child-executor-guard.d.ts.map +1 -1
- package/dist/runtime/subagents/child-executor-guard.js +397 -61
- package/dist/runtime/subagents/child-executor-guard.js.map +1 -1
- package/dist/runtime/subagents/presets.d.ts +4 -5
- package/dist/runtime/subagents/presets.d.ts.map +1 -1
- package/dist/runtime/subagents/presets.js +18 -33
- package/dist/runtime/subagents/presets.js.map +1 -1
- package/dist/runtime/subagents/production.d.ts +3 -1
- package/dist/runtime/subagents/production.d.ts.map +1 -1
- package/dist/runtime/subagents/production.js +37 -7
- package/dist/runtime/subagents/production.js.map +1 -1
- package/dist/runtime/subagents/runner.d.ts.map +1 -1
- package/dist/runtime/subagents/runner.js +24 -3
- package/dist/runtime/subagents/runner.js.map +1 -1
- package/dist/runtime/subagents/runtime-integration.d.ts +3 -0
- package/dist/runtime/subagents/runtime-integration.d.ts.map +1 -1
- package/dist/runtime/subagents/runtime-integration.js +18 -7
- package/dist/runtime/subagents/runtime-integration.js.map +1 -1
- package/dist/runtime/subagents/supervisor.d.ts +4 -4
- package/dist/runtime/subagents/supervisor.d.ts.map +1 -1
- package/dist/runtime/subagents/supervisor.js +39 -19
- package/dist/runtime/subagents/supervisor.js.map +1 -1
- package/dist/runtime/subagents/types.d.ts +7 -0
- package/dist/runtime/subagents/types.d.ts.map +1 -1
- package/dist/runtime/subagents/types.js +12 -1
- package/dist/runtime/subagents/types.js.map +1 -1
- package/dist/runtime/ui-events.d.ts +10 -0
- package/dist/runtime/ui-events.d.ts.map +1 -1
- package/dist/runtime/ui-events.js +5 -5
- package/dist/runtime/ui-events.js.map +1 -1
- package/dist/runtime/ui-view-model.d.ts +3 -3
- package/dist/runtime/ui-view-model.d.ts.map +1 -1
- package/dist/runtime/ui-view-model.js +11 -4
- package/dist/runtime/ui-view-model.js.map +1 -1
- package/dist/services/config.d.ts +18 -7
- package/dist/services/config.d.ts.map +1 -1
- package/dist/services/config.js +79 -57
- package/dist/services/config.js.map +1 -1
- package/dist/services/doctor.d.ts.map +1 -1
- package/dist/services/doctor.js +164 -18
- package/dist/services/doctor.js.map +1 -1
- package/dist/services/global-config.d.ts +1 -1
- package/dist/services/global-config.d.ts.map +1 -1
- package/dist/services/goal-storage.d.ts +9 -4
- package/dist/services/goal-storage.d.ts.map +1 -1
- package/dist/services/goal-storage.js +1113 -75
- package/dist/services/goal-storage.js.map +1 -1
- package/dist/services/llm.d.ts +19 -0
- package/dist/services/llm.d.ts.map +1 -1
- package/dist/services/llm.js +153 -20
- package/dist/services/llm.js.map +1 -1
- package/dist/services/model-registry.d.ts +1 -1
- package/dist/services/model-registry.d.ts.map +1 -1
- package/dist/services/model-registry.js +69 -19
- package/dist/services/model-registry.js.map +1 -1
- package/dist/services/provider-resilience/coordinator.d.ts +2 -1
- package/dist/services/provider-resilience/coordinator.d.ts.map +1 -1
- package/dist/services/provider-resilience/coordinator.js +7 -6
- package/dist/services/provider-resilience/coordinator.js.map +1 -1
- package/dist/services/provider-resilience/error-classifier.d.ts.map +1 -1
- package/dist/services/provider-resilience/error-classifier.js +67 -17
- package/dist/services/provider-resilience/error-classifier.js.map +1 -1
- package/dist/services/provider-resilience/types.d.ts +1 -1
- package/dist/services/provider-resilience/types.d.ts.map +1 -1
- package/dist/services/provider-resilience/types.js.map +1 -1
- package/dist/services/redaction.d.ts.map +1 -1
- package/dist/services/redaction.js +9 -1
- package/dist/services/redaction.js.map +1 -1
- package/dist/services/session-storage.d.ts +12 -1
- package/dist/services/session-storage.d.ts.map +1 -1
- package/dist/services/session-storage.js +23 -7
- package/dist/services/session-storage.js.map +1 -1
- package/dist/services/storage-maintenance.d.ts +73 -3
- package/dist/services/storage-maintenance.d.ts.map +1 -1
- package/dist/services/storage-maintenance.js +771 -104
- package/dist/services/storage-maintenance.js.map +1 -1
- package/dist/services/task-manager.d.ts.map +1 -1
- package/dist/services/task-manager.js +2 -2
- package/dist/services/task-manager.js.map +1 -1
- package/dist/services/web-search-adapters.d.ts.map +1 -1
- package/dist/services/web-search-adapters.js +89 -49
- package/dist/services/web-search-adapters.js.map +1 -1
- package/dist/services/web-search-mcp.d.ts.map +1 -1
- package/dist/services/web-search-mcp.js +34 -37
- package/dist/services/web-search-mcp.js.map +1 -1
- package/dist/services/workspace-state.d.ts +4 -0
- package/dist/services/workspace-state.d.ts.map +1 -1
- package/dist/services/workspace-state.js +30 -9
- package/dist/services/workspace-state.js.map +1 -1
- package/dist/terminal-ui/completion.js +1 -1
- package/dist/terminal-ui/completion.js.map +1 -1
- package/dist/terminal-ui/launch.d.ts +3 -0
- package/dist/terminal-ui/launch.d.ts.map +1 -1
- package/dist/terminal-ui/launch.js +26 -98
- package/dist/terminal-ui/launch.js.map +1 -1
- package/dist/tools/git.d.ts.map +1 -1
- package/dist/tools/git.js +275 -27
- package/dist/tools/git.js.map +1 -1
- package/dist/tools/index.d.ts +2 -0
- package/dist/tools/index.d.ts.map +1 -1
- package/dist/tools/index.js +29 -10
- package/dist/tools/index.js.map +1 -1
- package/dist/tools/mcp.d.ts.map +1 -1
- package/dist/tools/mcp.js +20 -12
- package/dist/tools/mcp.js.map +1 -1
- package/dist/tools/web.d.ts.map +1 -1
- package/dist/tools/web.js +38 -14
- package/dist/tools/web.js.map +1 -1
- package/dist/tui-ui/layout.d.ts.map +1 -1
- package/dist/tui-ui/layout.js +36 -23
- package/dist/tui-ui/layout.js.map +1 -1
- package/dist/tui-ui/pickers.d.ts.map +1 -1
- package/dist/tui-ui/pickers.js +5 -4
- package/dist/tui-ui/pickers.js.map +1 -1
- package/dist/tui-ui/runner.d.ts +1 -0
- package/dist/tui-ui/runner.d.ts.map +1 -1
- package/dist/tui-ui/runner.js +15 -17
- package/dist/tui-ui/runner.js.map +1 -1
- package/dist/tui-ui/state.d.ts +6 -0
- package/dist/tui-ui/state.d.ts.map +1 -1
- package/dist/tui-ui/state.js +61 -30
- package/dist/tui-ui/state.js.map +1 -1
- package/package.json +14 -9
|
@@ -10,12 +10,15 @@ export type GoalStatus = 'active' | 'paused' | 'blocked' | 'usage_limited' | 'bu
|
|
|
10
10
|
export declare const GOAL_ACTIVE_STATES: ReadonlySet<GoalStatus>;
|
|
11
11
|
export declare const GOAL_TERMINAL_STATES: ReadonlySet<GoalStatus>;
|
|
12
12
|
export declare const GOAL_USER_RECOVERABLE_STATES: ReadonlySet<GoalStatus>;
|
|
13
|
+
export type GoalBlockerCategory = 'user_input' | 'permission' | 'external_state';
|
|
13
14
|
export interface GoalBlocker {
|
|
15
|
+
category: GoalBlockerCategory;
|
|
14
16
|
fingerprint: string;
|
|
15
17
|
firstSeenAt: number;
|
|
16
18
|
lastSeenAt: number;
|
|
17
19
|
consecutiveTurns: number;
|
|
18
20
|
summary: string;
|
|
21
|
+
retryable: false;
|
|
19
22
|
}
|
|
20
23
|
export interface GoalLastTurn {
|
|
21
24
|
turnId: string;
|
|
@@ -27,6 +30,17 @@ export interface GoalLastTurn {
|
|
|
27
30
|
totalTokens: number;
|
|
28
31
|
madeProgress: boolean;
|
|
29
32
|
}
|
|
33
|
+
/** Bounded, redacted explanation of a turn that did not advance the Goal. */
|
|
34
|
+
export interface GoalNoProgressTurn {
|
|
35
|
+
turnId: string;
|
|
36
|
+
endedAt: number;
|
|
37
|
+
finishReason: string;
|
|
38
|
+
passedEvidence: number;
|
|
39
|
+
failedEvidence: number;
|
|
40
|
+
inconclusiveEvidence: number;
|
|
41
|
+
planUpdateProposed: boolean;
|
|
42
|
+
blockerCategory?: GoalBlockerCategory;
|
|
43
|
+
}
|
|
30
44
|
export interface GoalCompletionAudit {
|
|
31
45
|
requestedAt: number;
|
|
32
46
|
auditedAt: number;
|
|
@@ -34,12 +48,171 @@ export interface GoalCompletionAudit {
|
|
|
34
48
|
verificationSummary: string;
|
|
35
49
|
remainingRequirements: string[];
|
|
36
50
|
evidenceRefs: string[];
|
|
51
|
+
criterionResults?: Array<{
|
|
52
|
+
criterionId: string;
|
|
53
|
+
passed: boolean;
|
|
54
|
+
status: GoalCriterionStatus;
|
|
55
|
+
evidenceRefs: string[];
|
|
56
|
+
reason?: string;
|
|
57
|
+
}>;
|
|
58
|
+
/** Persisted, runtime-generated completion receipt. Optional for older sidecars. */
|
|
59
|
+
finalSummary?: {
|
|
60
|
+
originalObjective: string;
|
|
61
|
+
currentObjective: string;
|
|
62
|
+
objectiveRevision: number;
|
|
63
|
+
completedAt: number;
|
|
64
|
+
verificationSummary: string;
|
|
65
|
+
criterionResults: Array<{
|
|
66
|
+
criterionId: string;
|
|
67
|
+
status: GoalCriterionStatus;
|
|
68
|
+
evidenceRefs: string[];
|
|
69
|
+
/** Additive v0.1.2 provenance receipt; absent on older sidecars. */
|
|
70
|
+
evidence?: GoalFinalEvidence[];
|
|
71
|
+
}>;
|
|
72
|
+
evidenceRefs: string[];
|
|
73
|
+
accounting: {
|
|
74
|
+
tokensUsed: number;
|
|
75
|
+
timeUsedMs: number;
|
|
76
|
+
continuationCount: number;
|
|
77
|
+
usageComplete: true;
|
|
78
|
+
};
|
|
79
|
+
remainingRequirements: [];
|
|
80
|
+
stopReason: 'completed';
|
|
81
|
+
};
|
|
82
|
+
}
|
|
83
|
+
export type GoalEvidenceProvenance = 'runtime_automatic' | 'external' | 'user_acceptance';
|
|
84
|
+
export interface GoalFinalEvidence {
|
|
85
|
+
evidenceId: string;
|
|
86
|
+
kind: GoalEvidenceKind;
|
|
87
|
+
provenance: GoalEvidenceProvenance;
|
|
88
|
+
result: GoalEvidenceRecord['result'];
|
|
89
|
+
subject: string;
|
|
37
90
|
}
|
|
38
91
|
export interface GoalStopReason {
|
|
39
|
-
kind: 'user' | 'blocked' | 'usage_limit' | 'budget_limit' | 'runtime_error';
|
|
92
|
+
kind: 'user' | 'blocked' | 'usage_limit' | 'budget_limit' | 'rate_limit' | 'provider_busy' | 'auth' | 'network' | 'runtime_error';
|
|
40
93
|
message: string;
|
|
41
94
|
at: number;
|
|
42
95
|
}
|
|
96
|
+
export type GoalEvidenceKind = 'test' | 'build' | 'lint' | 'file' | 'runtime' | 'external' | 'user';
|
|
97
|
+
export type GoalCriterionStatus = 'pending' | 'passed' | 'failed' | 'stale';
|
|
98
|
+
export interface GoalCriterion {
|
|
99
|
+
id: string;
|
|
100
|
+
statement: string;
|
|
101
|
+
source: 'user' | 'derived';
|
|
102
|
+
status: GoalCriterionStatus;
|
|
103
|
+
requiredEvidenceKinds: GoalEvidenceKind[];
|
|
104
|
+
evidenceRefs: string[];
|
|
105
|
+
}
|
|
106
|
+
export interface GoalConstraint {
|
|
107
|
+
id: string;
|
|
108
|
+
statement: string;
|
|
109
|
+
source: 'user' | 'derived';
|
|
110
|
+
}
|
|
111
|
+
export interface GoalPlanStep {
|
|
112
|
+
id: string;
|
|
113
|
+
description: string;
|
|
114
|
+
done: boolean;
|
|
115
|
+
}
|
|
116
|
+
export interface GoalPlanSnapshot {
|
|
117
|
+
revision: number;
|
|
118
|
+
phase: string;
|
|
119
|
+
steps: GoalPlanStep[];
|
|
120
|
+
nextAction?: string;
|
|
121
|
+
updatedAt: number;
|
|
122
|
+
}
|
|
123
|
+
export interface GoalPlanUpdate {
|
|
124
|
+
phase: string;
|
|
125
|
+
steps: Array<{
|
|
126
|
+
description: string;
|
|
127
|
+
done: boolean;
|
|
128
|
+
}>;
|
|
129
|
+
nextAction?: string;
|
|
130
|
+
derivedCriteria: Array<{
|
|
131
|
+
statement: string;
|
|
132
|
+
requiredEvidenceKinds: GoalEvidenceKind[];
|
|
133
|
+
}>;
|
|
134
|
+
}
|
|
135
|
+
export interface GoalCreationContractInput {
|
|
136
|
+
constraints?: string[];
|
|
137
|
+
successCriteria?: Array<{
|
|
138
|
+
statement: string;
|
|
139
|
+
requiredEvidenceKinds: GoalEvidenceKind[];
|
|
140
|
+
}>;
|
|
141
|
+
}
|
|
142
|
+
export interface GoalObjectiveRevision {
|
|
143
|
+
revision: number;
|
|
144
|
+
previousObjective: string;
|
|
145
|
+
objective: string;
|
|
146
|
+
reason: string;
|
|
147
|
+
changedAt: number;
|
|
148
|
+
source: 'user';
|
|
149
|
+
}
|
|
150
|
+
/**
|
|
151
|
+
* Auditable contract layered on top of the objective string.
|
|
152
|
+
* - `originalObjective` is set at creation and never silently rewritten by
|
|
153
|
+
* steering; `/target edit` bumps `objectiveRevision` and records the change.
|
|
154
|
+
* - `/target replace` creates a new goalId and a fresh contract.
|
|
155
|
+
* - User-supplied success criteria are `source=user` and cannot be weakened by
|
|
156
|
+
* the agent; derived criteria are `source=derived`.
|
|
157
|
+
*/
|
|
158
|
+
export interface GoalContract {
|
|
159
|
+
originalObjective: string;
|
|
160
|
+
objectiveRevision: number;
|
|
161
|
+
/** Additive edit history; absent on v0.1.1 and early v0.1.2 sidecars. */
|
|
162
|
+
objectiveHistory?: GoalObjectiveRevision[];
|
|
163
|
+
constraints: GoalConstraint[];
|
|
164
|
+
successCriteria: GoalCriterion[];
|
|
165
|
+
planSnapshot?: GoalPlanSnapshot;
|
|
166
|
+
}
|
|
167
|
+
/**
|
|
168
|
+
* Runtime-managed evidence record. The model can only reference captured
|
|
169
|
+
* evidence by id; it cannot self-certify a `passed` result from natural
|
|
170
|
+
* language. The runtime ledger and completion audit use this record as the
|
|
171
|
+
* only source of terminal completion evidence.
|
|
172
|
+
*/
|
|
173
|
+
export interface GoalEvidenceRecord {
|
|
174
|
+
id: string;
|
|
175
|
+
goalId: string;
|
|
176
|
+
goalRevision: number;
|
|
177
|
+
/** Objective epoch at capture time; evidence never crosses `/target edit`. */
|
|
178
|
+
objectiveRevision: number;
|
|
179
|
+
turnId: string;
|
|
180
|
+
kind: GoalEvidenceKind;
|
|
181
|
+
subject: string;
|
|
182
|
+
result: 'passed' | 'failed' | 'inconclusive';
|
|
183
|
+
sourceRef: string;
|
|
184
|
+
capturedAt: number;
|
|
185
|
+
workspaceFingerprint?: string;
|
|
186
|
+
expiresAt?: number;
|
|
187
|
+
/** Structured proof for external completion actions. */
|
|
188
|
+
externalAssertion?: import('../../framework/external-assertion').ToolExternalAssertion;
|
|
189
|
+
redacted: boolean;
|
|
190
|
+
}
|
|
191
|
+
/**
|
|
192
|
+
* Additive summary of evidence removed from the bounded ledger for the current
|
|
193
|
+
* objective epoch. Passing evidence may be replaced by a newer verification,
|
|
194
|
+
* but losing failed or inconclusive evidence is safety-significant and makes
|
|
195
|
+
* completion fail closed until `/target edit` starts a new objective epoch.
|
|
196
|
+
*/
|
|
197
|
+
export interface GoalEvidenceLedgerTruncation {
|
|
198
|
+
objectiveRevision: number;
|
|
199
|
+
droppedPassed: number;
|
|
200
|
+
droppedFailed: number;
|
|
201
|
+
droppedInconclusive: number;
|
|
202
|
+
}
|
|
203
|
+
export interface GoalCriterionEvidence {
|
|
204
|
+
criterionId: string;
|
|
205
|
+
evidenceIds: string[];
|
|
206
|
+
}
|
|
207
|
+
export interface GoalTerminalRequest {
|
|
208
|
+
requestedStatus: 'complete' | 'blocked';
|
|
209
|
+
requestedAt: number;
|
|
210
|
+
goalId: string;
|
|
211
|
+
goalRevision: number;
|
|
212
|
+
turnId: string;
|
|
213
|
+
/** Explicit model-proposed mapping; every reference is revalidated by the runtime. */
|
|
214
|
+
criterionEvidence?: GoalCriterionEvidence[];
|
|
215
|
+
}
|
|
43
216
|
export interface SessionGoalV1 {
|
|
44
217
|
version: 1;
|
|
45
218
|
goalId: string;
|
|
@@ -56,10 +229,27 @@ export interface SessionGoalV1 {
|
|
|
56
229
|
completedAt?: number;
|
|
57
230
|
continuationCount: number;
|
|
58
231
|
noProgressCount: number;
|
|
232
|
+
/** Additive bounded history used to explain an automatic no-progress pause. */
|
|
233
|
+
recentNoProgressTurns?: GoalNoProgressTurn[];
|
|
234
|
+
/** Bounded hashes of criterion-relevant passed evidence used for progress deduplication. */
|
|
235
|
+
progressEvidenceKeys?: string[];
|
|
59
236
|
blocker?: GoalBlocker;
|
|
60
237
|
lastTurn?: GoalLastTurn;
|
|
61
238
|
completionAudit?: GoalCompletionAudit;
|
|
62
239
|
stopReason?: GoalStopReason;
|
|
240
|
+
/** Pending/confirmed explicit user authorization for a high-impact objective. */
|
|
241
|
+
boundaryConfirmation?: {
|
|
242
|
+
requiredAt: number;
|
|
243
|
+
reason: string;
|
|
244
|
+
objectiveRevision: number;
|
|
245
|
+
confirmedAt?: number;
|
|
246
|
+
confirmedRevision?: number;
|
|
247
|
+
};
|
|
248
|
+
contract?: GoalContract;
|
|
249
|
+
/** Additive, bounded ledger of evidence captured by the runtime. */
|
|
250
|
+
evidenceLedger?: GoalEvidenceRecord[];
|
|
251
|
+
/** Additive v0.1.2 metadata; absent in v0.1.1 sidecars. */
|
|
252
|
+
evidenceLedgerTruncation?: GoalEvidenceLedgerTruncation;
|
|
63
253
|
}
|
|
64
254
|
export interface RuntimeGoalSnapshot {
|
|
65
255
|
goalId: string;
|
|
@@ -72,6 +262,16 @@ export interface RuntimeGoalSnapshot {
|
|
|
72
262
|
continuationCount: number;
|
|
73
263
|
updatedAt: number;
|
|
74
264
|
stopReason?: string;
|
|
265
|
+
criteria?: {
|
|
266
|
+
passed: number;
|
|
267
|
+
total: number;
|
|
268
|
+
failed: number;
|
|
269
|
+
stale: number;
|
|
270
|
+
};
|
|
271
|
+
planRevision?: number;
|
|
272
|
+
planPhase?: string;
|
|
273
|
+
nextAction?: string;
|
|
274
|
+
auditRemaining?: string[];
|
|
75
275
|
}
|
|
76
276
|
export type AgentInputKind = 'user' | 'revision' | 'goal_continuation' | 'command';
|
|
77
277
|
export interface GoalTurnContext {
|
|
@@ -86,12 +286,14 @@ export interface AgentTurnRequest {
|
|
|
86
286
|
goal?: GoalTurnContext;
|
|
87
287
|
persistAsUserMessage: boolean;
|
|
88
288
|
echoToTranscript: boolean;
|
|
289
|
+
generation: number;
|
|
89
290
|
}
|
|
90
291
|
export interface AgentTurnOutcome {
|
|
91
292
|
turnId: string;
|
|
92
293
|
sessionId: string;
|
|
93
294
|
goalId?: string;
|
|
94
295
|
goalRevision?: number;
|
|
296
|
+
goalGeneration?: number;
|
|
95
297
|
startedAt: number;
|
|
96
298
|
endedAt: number;
|
|
97
299
|
finishReason: string;
|
|
@@ -102,26 +304,35 @@ export interface AgentTurnOutcome {
|
|
|
102
304
|
totalTokens: number;
|
|
103
305
|
};
|
|
104
306
|
madeProgress: boolean;
|
|
307
|
+
/** Runtime-observed workspace delta for auditable no-progress accounting. */
|
|
308
|
+
workspaceChanged?: boolean;
|
|
105
309
|
blocker?: {
|
|
310
|
+
category: GoalBlockerCategory;
|
|
106
311
|
fingerprint: string;
|
|
107
312
|
summary: string;
|
|
108
313
|
retryable: boolean;
|
|
109
314
|
};
|
|
110
315
|
providerError?: {
|
|
111
|
-
kind: 'usage_limit' | 'rate_limit' | 'auth' | 'network' | 'unknown';
|
|
316
|
+
kind: 'usage_limit' | 'rate_limit' | 'provider_busy' | 'auth' | 'network' | 'unknown';
|
|
112
317
|
retryable: boolean;
|
|
113
318
|
};
|
|
114
|
-
pendingTerminalRequest?:
|
|
115
|
-
|
|
116
|
-
|
|
117
|
-
|
|
319
|
+
pendingTerminalRequest?: GoalTerminalRequest;
|
|
320
|
+
pendingPlanUpdate?: GoalPlanUpdate;
|
|
321
|
+
evidenceRefs?: string[];
|
|
322
|
+
verificationSummary?: string;
|
|
323
|
+
evidenceRecords?: GoalEvidenceRecord[];
|
|
324
|
+
/** Workspace identity at turn finalization for stale-evidence rejection. */
|
|
325
|
+
workspaceFingerprint?: string;
|
|
326
|
+
/** False when usage was omitted; unknown usage must not be treated as zero. */
|
|
327
|
+
usageComplete?: boolean;
|
|
118
328
|
}
|
|
119
|
-
export type GoalControlAction = 'show' | 'create' | 'edit' | 'replace' | 'pause' | 'resume' | 'clear' | 'set_budget';
|
|
329
|
+
export type GoalControlAction = 'show' | 'create' | 'edit' | 'replace' | 'pause' | 'resume' | 'confirm' | 'clear' | 'set_budget';
|
|
120
330
|
export interface GoalControlInput {
|
|
121
331
|
type: 'goal_control';
|
|
122
332
|
action: GoalControlAction;
|
|
123
333
|
payload?: {
|
|
124
334
|
objective?: string;
|
|
335
|
+
criterionId?: string;
|
|
125
336
|
tokenBudget?: number | null;
|
|
126
337
|
confirmed?: boolean;
|
|
127
338
|
};
|
|
@@ -152,6 +363,29 @@ export interface GoalRestoredEvent {
|
|
|
152
363
|
type: 'goal_restored';
|
|
153
364
|
goal: RuntimeGoalSnapshot;
|
|
154
365
|
}
|
|
366
|
+
export interface GoalCompletedEvent {
|
|
367
|
+
type: 'goal_completed';
|
|
368
|
+
goal: RuntimeGoalSnapshot;
|
|
369
|
+
audit: GoalCompletionAudit;
|
|
370
|
+
}
|
|
371
|
+
export interface GoalPlanUpdatedEvent {
|
|
372
|
+
type: 'goal_plan_updated';
|
|
373
|
+
goalId: string;
|
|
374
|
+
planRevision: number;
|
|
375
|
+
phase: string;
|
|
376
|
+
nextAction?: string;
|
|
377
|
+
}
|
|
378
|
+
export interface GoalEvidenceRecordedEvent {
|
|
379
|
+
type: 'goal_evidence_recorded';
|
|
380
|
+
goalId: string;
|
|
381
|
+
evidence: {
|
|
382
|
+
id: string;
|
|
383
|
+
kind: GoalEvidenceKind;
|
|
384
|
+
result: 'passed' | 'failed' | 'inconclusive';
|
|
385
|
+
subject: string;
|
|
386
|
+
};
|
|
387
|
+
}
|
|
388
|
+
export type GoalRuntimeEvent = GoalUpdatedEvent | GoalClearedEvent | GoalContinuationEvent | GoalAuditFailedEvent | GoalRestoredEvent | GoalCompletedEvent | GoalPlanUpdatedEvent | GoalEvidenceRecordedEvent;
|
|
155
389
|
/**
|
|
156
390
|
* Valid status transitions for the Goal state machine.
|
|
157
391
|
* Returns the allowed next status, or null if the transition is invalid.
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/runtime/goals/types.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAMH,MAAM,MAAM,UAAU,GAClB,QAAQ,GACR,QAAQ,GACR,SAAS,GACT,eAAe,GACf,gBAAgB,GAChB,UAAU,CAAC;AAEf,eAAO,MAAM,kBAAkB,EAAE,WAAW,CAAC,UAAU,CAAuB,CAAC;AAC/E,eAAO,MAAM,oBAAoB,EAAE,WAAW,CAAC,UAAU,
|
|
1
|
+
{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/runtime/goals/types.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAMH,MAAM,MAAM,UAAU,GAClB,QAAQ,GACR,QAAQ,GACR,SAAS,GACT,eAAe,GACf,gBAAgB,GAChB,UAAU,CAAC;AAEf,eAAO,MAAM,kBAAkB,EAAE,WAAW,CAAC,UAAU,CAAuB,CAAC;AAC/E,eAAO,MAAM,oBAAoB,EAAE,WAAW,CAAC,UAAU,CAKvD,CAAC;AACH,eAAO,MAAM,4BAA4B,EAAE,WAAW,CAAC,UAAU,CAK/D,CAAC;AAMH,MAAM,MAAM,mBAAmB,GAAG,YAAY,GAAG,YAAY,GAAG,gBAAgB,CAAC;AAEjF,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,mBAAmB,CAAC;IAC9B,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,gBAAgB,EAAE,MAAM,CAAC;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,KAAK,CAAC;CAClB;AAED,MAAM,WAAW,YAAY;IAC3B,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,MAAM,CAAC;IAChB,YAAY,EAAE,MAAM,CAAC;IACrB,gBAAgB,EAAE,MAAM,CAAC;IACzB,cAAc,EAAE,MAAM,CAAC;IACvB,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,OAAO,CAAC;CACvB;AAED,6EAA6E;AAC7E,MAAM,WAAW,kBAAkB;IACjC,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,YAAY,EAAE,MAAM,CAAC;IACrB,cAAc,EAAE,MAAM,CAAC;IACvB,cAAc,EAAE,MAAM,CAAC;IACvB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,kBAAkB,EAAE,OAAO,CAAC;IAC5B,eAAe,CAAC,EAAE,mBAAmB,CAAC;CACvC;AAED,MAAM,WAAW,mBAAmB;IAClC,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,OAAO,CAAC;IAChB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,qBAAqB,EAAE,MAAM,EAAE,CAAC;IAChC,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,gBAAgB,CAAC,EAAE,KAAK,CAAC;QACvB,WAAW,EAAE,MAAM,CAAC;QACpB,MAAM,EAAE,OAAO,CAAC;QAChB,MAAM,EAAE,mBAAmB,CAAC;QAC5B,YAAY,EAAE,MAAM,EAAE,CAAC;QACvB,MAAM,CAAC,EAAE,MAAM,CAAC;KACjB,CAAC,CAAC;IACH,oFAAoF;IACpF,YAAY,CAAC,EAAE;QACb,iBAAiB,EAAE,MAAM,CAAC;QAC1B,gBAAgB,EAAE,MAAM,CAAC;QACzB,iBAAiB,EAAE,MAAM,CAAC;QAC1B,WAAW,EAAE,MAAM,CAAC;QACpB,mBAAmB,EAAE,MAAM,CAAC;QAC5B,gBAAgB,EAAE,KAAK,CAAC;YACtB,WAAW,EAAE,MAAM,CAAC;YACpB,MAAM,EAAE,mBAAmB,CAAC;YAC5B,YAAY,EAAE,MAAM,EAAE,CAAC;YACvB,oEAAoE;YACpE,QAAQ,CAAC,EAAE,iBAAiB,EAAE,CAAC;SAChC,CAAC,CAAC;QACH,YAAY,EAAE,MAAM,EAAE,CAAC;QACvB,UAAU,EAAE;YACV,UAAU,EAAE,MAAM,CAAC;YACnB,UAAU,EAAE,MAAM,CAAC;YACnB,iBAAiB,EAAE,MAAM,CAAC;YAC1B,aAAa,EAAE,IAAI,CAAC;SACrB,CAAC;QACF,qBAAqB,EAAE,EAAE,CAAC;QAC1B,UAAU,EAAE,WAAW,CAAC;KACzB,CAAC;CACH;AAED,MAAM,MAAM,sBAAsB,GAAG,mBAAmB,GAAG,UAAU,GAAG,iBAAiB,CAAC;AAE1F,MAAM,WAAW,iBAAiB;IAChC,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,gBAAgB,CAAC;IACvB,UAAU,EAAE,sBAAsB,CAAC;IACnC,MAAM,EAAE,kBAAkB,CAAC,QAAQ,CAAC,CAAC;IACrC,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,EACA,MAAM,GACN,SAAS,GACT,aAAa,GACb,cAAc,GACd,YAAY,GACZ,eAAe,GACf,MAAM,GACN,SAAS,GACT,eAAe,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,EAAE,EAAE,MAAM,CAAC;CACZ;AAQD,MAAM,MAAM,gBAAgB,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,SAAS,GAAG,UAAU,GAAG,MAAM,CAAC;AAEpG,MAAM,MAAM,mBAAmB,GAAG,SAAS,GAAG,QAAQ,GAAG,QAAQ,GAAG,OAAO,CAAC;AAE5E,MAAM,WAAW,aAAa;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;IAC3B,MAAM,EAAE,mBAAmB,CAAC;IAC5B,qBAAqB,EAAE,gBAAgB,EAAE,CAAC;IAC1C,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB;AAED,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;CAC5B;AAED,MAAM,WAAW,YAAY;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,OAAO,CAAC;CACf;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,YAAY,EAAE,CAAC;IACtB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,KAAK,CAAC;QAAE,WAAW,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;IACrD,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,eAAe,EAAE,KAAK,CAAC;QACrB,SAAS,EAAE,MAAM,CAAC;QAClB,qBAAqB,EAAE,gBAAgB,EAAE,CAAC;KAC3C,CAAC,CAAC;CACJ;AAED,MAAM,WAAW,yBAAyB;IACxC,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,eAAe,CAAC,EAAE,KAAK,CAAC;QACtB,SAAS,EAAE,MAAM,CAAC;QAClB,qBAAqB,EAAE,gBAAgB,EAAE,CAAC;KAC3C,CAAC,CAAC;CACJ;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,EAAE,MAAM,CAAC;IACjB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,YAAY;IAC3B,iBAAiB,EAAE,MAAM,CAAC;IAC1B,iBAAiB,EAAE,MAAM,CAAC;IAC1B,yEAAyE;IACzE,gBAAgB,CAAC,EAAE,qBAAqB,EAAE,CAAC;IAC3C,WAAW,EAAE,cAAc,EAAE,CAAC;IAC9B,eAAe,EAAE,aAAa,EAAE,CAAC;IACjC,YAAY,CAAC,EAAE,gBAAgB,CAAC;CACjC;AAED;;;;;GAKG;AACH,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,MAAM,CAAC;IACrB,8EAA8E;IAC9E,iBAAiB,EAAE,MAAM,CAAC;IAC1B,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,gBAAgB,CAAC;IACvB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,QAAQ,GAAG,QAAQ,GAAG,cAAc,CAAC;IAC7C,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,wDAAwD;IACxD,iBAAiB,CAAC,EAAE,OAAO,oCAAoC,EAAE,qBAAqB,CAAC;IACvF,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED;;;;;GAKG;AACH,MAAM,WAAW,4BAA4B;IAC3C,iBAAiB,EAAE,MAAM,CAAC;IAC1B,aAAa,EAAE,MAAM,CAAC;IACtB,aAAa,EAAE,MAAM,CAAC;IACtB,mBAAmB,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,qBAAqB;IACpC,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB;AAED,MAAM,WAAW,mBAAmB;IAClC,eAAe,EAAE,UAAU,GAAG,SAAS,CAAC;IACxC,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,MAAM,CAAC;IACf,sFAAsF;IACtF,iBAAiB,CAAC,EAAE,qBAAqB,EAAE,CAAC;CAC7C;AAMD,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,CAAC,CAAC;IACX,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,UAAU,CAAC;IAEnB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IAEnB,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,eAAe,EAAE,MAAM,CAAC;IACxB,+EAA+E;IAC/E,qBAAqB,CAAC,EAAE,kBAAkB,EAAE,CAAC;IAC7C,4FAA4F;IAC5F,oBAAoB,CAAC,EAAE,MAAM,EAAE,CAAC;IAChC,OAAO,CAAC,EAAE,WAAW,CAAC;IAEtB,QAAQ,CAAC,EAAE,YAAY,CAAC;IACxB,eAAe,CAAC,EAAE,mBAAmB,CAAC;IACtC,UAAU,CAAC,EAAE,cAAc,CAAC;IAC5B,iFAAiF;IACjF,oBAAoB,CAAC,EAAE;QACrB,UAAU,EAAE,MAAM,CAAC;QACnB,MAAM,EAAE,MAAM,CAAC;QACf,iBAAiB,EAAE,MAAM,CAAC;QAC1B,WAAW,CAAC,EAAE,MAAM,CAAC;QACrB,iBAAiB,CAAC,EAAE,MAAM,CAAC;KAC5B,CAAC;IAKF,QAAQ,CAAC,EAAE,YAAY,CAAC;IACxB,oEAAoE;IACpE,cAAc,CAAC,EAAE,kBAAkB,EAAE,CAAC;IACtC,2DAA2D;IAC3D,wBAAwB,CAAC,EAAE,4BAA4B,CAAC;CACzD;AAMD,MAAM,WAAW,mBAAmB;IAClC,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,UAAU,CAAC;IACnB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;IAC5E,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;CAC3B;AAMD,MAAM,MAAM,cAAc,GAAG,MAAM,GAAG,UAAU,GAAG,mBAAmB,GAAG,SAAS,CAAC;AAEnF,MAAM,WAAW,eAAe;IAC9B,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,iBAAiB,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,gBAAgB;IAC/B,SAAS,EAAE,cAAc,CAAC;IAC1B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,CAAC,EAAE,eAAe,CAAC;IACvB,oBAAoB,EAAE,OAAO,CAAC;IAC9B,gBAAgB,EAAE,OAAO,CAAC;IAC1B,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,YAAY,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE;QACL,YAAY,EAAE,MAAM,CAAC;QACrB,gBAAgB,EAAE,MAAM,CAAC;QACzB,cAAc,EAAE,MAAM,CAAC;QACvB,WAAW,EAAE,MAAM,CAAC;KACrB,CAAC;IACF,YAAY,EAAE,OAAO,CAAC;IACtB,6EAA6E;IAC7E,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,OAAO,CAAC,EAAE;QACR,QAAQ,EAAE,mBAAmB,CAAC;QAC9B,WAAW,EAAE,MAAM,CAAC;QACpB,OAAO,EAAE,MAAM,CAAC;QAChB,SAAS,EAAE,OAAO,CAAC;KACpB,CAAC;IACF,aAAa,CAAC,EAAE;QACd,IAAI,EAAE,aAAa,GAAG,YAAY,GAAG,eAAe,GAAG,MAAM,GAAG,SAAS,GAAG,SAAS,CAAC;QACtF,SAAS,EAAE,OAAO,CAAC;KACpB,CAAC;IACF,sBAAsB,CAAC,EAAE,mBAAmB,CAAC;IAC7C,iBAAiB,CAAC,EAAE,cAAc,CAAC;IAInC,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,eAAe,CAAC,EAAE,kBAAkB,EAAE,CAAC;IACvC,4EAA4E;IAC5E,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,+EAA+E;IAC/E,aAAa,CAAC,EAAE,OAAO,CAAC;CACzB;AAMD,MAAM,MAAM,iBAAiB,GACzB,MAAM,GACN,QAAQ,GACR,MAAM,GACN,SAAS,GACT,OAAO,GACP,QAAQ,GACR,SAAS,GACT,OAAO,GACP,YAAY,CAAC;AAEjB,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,cAAc,CAAC;IACrB,MAAM,EAAE,iBAAiB,CAAC;IAC1B,OAAO,CAAC,EAAE;QACR,SAAS,CAAC,EAAE,MAAM,CAAC;QACnB,WAAW,CAAC,EAAE,MAAM,CAAC;QACrB,WAAW,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;QAC5B,SAAS,CAAC,EAAE,OAAO,CAAC;KACrB,CAAC;CACH;AAMD,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,cAAc,CAAC;IACrB,IAAI,EAAE,mBAAmB,CAAC;IAC1B,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,cAAc,CAAC;IACrB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,mBAAmB,CAAC;IAC1B,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,WAAW,GAAG,SAAS,GAAG,UAAU,GAAG,SAAS,CAAC;IACxD,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,mBAAmB,CAAC;IAC1B,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,YAAY,GAAG,SAAS,CAAC;IAChC,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,eAAe,CAAC;IACtB,IAAI,EAAE,mBAAmB,CAAC;CAC3B;AAED,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,gBAAgB,CAAC;IACvB,IAAI,EAAE,mBAAmB,CAAC;IAC1B,KAAK,EAAE,mBAAmB,CAAC;CAC5B;AAED,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,mBAAmB,CAAC;IAC1B,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,yBAAyB;IACxC,IAAI,EAAE,wBAAwB,CAAC;IAC/B,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE;QACR,EAAE,EAAE,MAAM,CAAC;QACX,IAAI,EAAE,gBAAgB,CAAC;QACvB,MAAM,EAAE,QAAQ,GAAG,QAAQ,GAAG,cAAc,CAAC;QAC7C,OAAO,EAAE,MAAM,CAAC;KACjB,CAAC;CACH;AAED,MAAM,MAAM,gBAAgB,GACxB,gBAAgB,GAChB,gBAAgB,GAChB,qBAAqB,GACrB,oBAAoB,GACpB,iBAAiB,GACjB,kBAAkB,GAClB,oBAAoB,GACpB,yBAAyB,CAAC;AAM9B;;;GAGG;AACH,wBAAgB,cAAc,CAC5B,OAAO,EAAE,UAAU,GAAG,IAAI,EAC1B,KAAK,EACD,QAAQ,GACR,OAAO,GACP,QAAQ,GACR,UAAU,GACV,OAAO,GACP,aAAa,GACb,cAAc,GACd,SAAS,GACT,OAAO,GACV,UAAU,GAAG,IAAI,CAgCnB;AAED,8EAA8E;AAC9E,eAAO,MAAM,eAAe;;;;;CAKlB,CAAC"}
|
|
@@ -12,10 +12,16 @@ exports.GOAL_INVARIANTS = exports.GOAL_USER_RECOVERABLE_STATES = exports.GOAL_TE
|
|
|
12
12
|
exports.goalTransition = goalTransition;
|
|
13
13
|
exports.GOAL_ACTIVE_STATES = new Set(['active']);
|
|
14
14
|
exports.GOAL_TERMINAL_STATES = new Set([
|
|
15
|
-
'blocked',
|
|
15
|
+
'blocked',
|
|
16
|
+
'usage_limited',
|
|
17
|
+
'budget_limited',
|
|
18
|
+
'complete',
|
|
16
19
|
]);
|
|
17
20
|
exports.GOAL_USER_RECOVERABLE_STATES = new Set([
|
|
18
|
-
'paused',
|
|
21
|
+
'paused',
|
|
22
|
+
'blocked',
|
|
23
|
+
'usage_limited',
|
|
24
|
+
'budget_limited',
|
|
19
25
|
]);
|
|
20
26
|
// ============================================================================
|
|
21
27
|
// State machine
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/runtime/goals/types.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;
|
|
1
|
+
{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/runtime/goals/types.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;AA8fH,wCA4CC;AA5hBY,QAAA,kBAAkB,GAA4B,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;AAClE,QAAA,oBAAoB,GAA4B,IAAI,GAAG,CAAC;IACnE,SAAS;IACT,eAAe;IACf,gBAAgB;IAChB,UAAU;CACX,CAAC,CAAC;AACU,QAAA,4BAA4B,GAA4B,IAAI,GAAG,CAAC;IAC3E,QAAQ;IACR,SAAS;IACT,eAAe;IACf,gBAAgB;CACjB,CAAC,CAAC;AA4dH,+EAA+E;AAC/E,gBAAgB;AAChB,+EAA+E;AAE/E;;;GAGG;AACH,SAAgB,cAAc,CAC5B,OAA0B,EAC1B,KASW;IAEX,IAAI,KAAK,KAAK,QAAQ;QAAE,OAAO,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;IAClE,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAC,CAAC,uCAAuC;IACjF,IAAI,KAAK,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC,CAAC,wBAAwB;IAE5D,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAElC,QAAQ,OAAO,EAAE,CAAC;QAChB,KAAK,QAAQ;YACX,IAAI,KAAK,KAAK,OAAO;gBAAE,OAAO,QAAQ,CAAC;YACvC,IAAI,KAAK,KAAK,UAAU;gBAAE,OAAO,UAAU,CAAC;YAC5C,IAAI,KAAK,KAAK,OAAO;gBAAE,OAAO,SAAS,CAAC;YACxC,IAAI,KAAK,KAAK,aAAa;gBAAE,OAAO,eAAe,CAAC;YACpD,IAAI,KAAK,KAAK,cAAc;gBAAE,OAAO,gBAAgB,CAAC;YACtD,OAAO,IAAI,CAAC;QAEd,KAAK,QAAQ;YACX,IAAI,KAAK,KAAK,QAAQ;gBAAE,OAAO,QAAQ,CAAC;YACxC,OAAO,IAAI,CAAC;QAEd,KAAK,SAAS,CAAC;QACf,KAAK,eAAe,CAAC;QACrB,KAAK,gBAAgB;YACnB,IAAI,KAAK,KAAK,QAAQ;gBAAE,OAAO,QAAQ,CAAC;YACxC,OAAO,IAAI,CAAC;QAEd,KAAK,UAAU;YACb,OAAO,IAAI,CAAC,CAAC,mCAAmC;QAElD;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED,8EAA8E;AACjE,QAAA,eAAe,GAAG;IAC7B,iBAAiB,EAAE,IAAI;IACvB,0BAA0B,EAAE,CAAC;IAC7B,6BAA6B,EAAE,CAAC;IAChC,cAAc,EAAE,CAAC;CACT,CAAC"}
|
|
@@ -22,6 +22,8 @@ export interface GuardOptions {
|
|
|
22
22
|
rootCwd: string;
|
|
23
23
|
/** Canonical scope paths (second, stricter boundary). Empty = root only. */
|
|
24
24
|
scopePaths?: readonly string[];
|
|
25
|
+
/** Explicitly certified pathless tools that may run under a packet scope. */
|
|
26
|
+
scopeAgnosticTools?: readonly string[];
|
|
25
27
|
}
|
|
26
28
|
export interface GuardRejection {
|
|
27
29
|
ok: false;
|
|
@@ -39,12 +41,18 @@ export type GuardVerdict = GuardApproval | GuardRejection;
|
|
|
39
41
|
*/
|
|
40
42
|
export declare function evaluateToolCall(tool: string, args: Record<string, unknown>, options: GuardOptions): GuardVerdict;
|
|
41
43
|
/**
|
|
42
|
-
*
|
|
43
|
-
*
|
|
44
|
-
*
|
|
44
|
+
* An async-context scope holder. Every parallel child gets its own packet
|
|
45
|
+
* scope, while callers outside a child context retain the legacy root-only
|
|
46
|
+
* behavior (or a scope explicitly entered for that async context).
|
|
47
|
+
*
|
|
48
|
+
* A process-wide mutable `current` value is unsafe here: parallel children
|
|
49
|
+
* overwrite each other's scope, and one child's cleanup can remove another
|
|
50
|
+
* still-running child's boundary. AsyncLocalStorage is available in Node 20
|
|
51
|
+
* and follows the promise/callback chain used by each child run.
|
|
45
52
|
*/
|
|
46
53
|
export declare class ScopeHolder {
|
|
47
|
-
private
|
|
54
|
+
private readonly storage;
|
|
55
|
+
runWithScope<T>(paths: readonly string[], operation: () => T): T;
|
|
48
56
|
setScope(paths: readonly string[]): void;
|
|
49
57
|
clear(): void;
|
|
50
58
|
getScope(): readonly string[];
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"child-executor-guard.d.ts","sourceRoot":"","sources":["../../../src/runtime/subagents/child-executor-guard.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;
|
|
1
|
+
{"version":3,"file":"child-executor-guard.d.ts","sourceRoot":"","sources":["../../../src/runtime/subagents/child-executor-guard.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AA0BH,MAAM,WAAW,YAAY;IAC3B,2DAA2D;IAC3D,OAAO,EAAE,MAAM,CAAC;IAChB,4EAA4E;IAC5E,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,6EAA6E;IAC7E,kBAAkB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACxC;AAED,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,KAAK,CAAC;IACV,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,aAAa;IAC5B,EAAE,EAAE,IAAI,CAAC;CACV;AAED,MAAM,MAAM,YAAY,GAAG,aAAa,GAAG,cAAc,CAAC;AAwb1D;;;GAGG;AACH,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,OAAO,EAAE,YAAY,GACpB,YAAY,CA6Bd;AAED;;;;;;;;;GASG;AACH,qBAAa,WAAW;IACtB,OAAO,CAAC,QAAQ,CAAC,OAAO,CAA8C;IAEtE,YAAY,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,MAAM,EAAE,EAAE,SAAS,EAAE,MAAM,CAAC,GAAG,CAAC;IAIhE,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI;IAIxC,KAAK,IAAI,IAAI;IAIb,QAAQ,IAAI,SAAS,MAAM,EAAE;CAG9B;AAqCD;;;;GAIG;AACH,wBAAgB,4BAA4B,CAC1C,KAAK,EAAE,CACL,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,WAAW,CAAC,EAAE,WAAW,KACtB,OAAO,CAAC,MAAM,CAAC,EACpB,OAAO,EAAE,YAAY,GAAG;IAAE,WAAW,CAAC,EAAE,WAAW,CAAA;CAAE,GACpD,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,WAAW,CAAC,EAAE,WAAW,KAAK,OAAO,CAAC,MAAM,CAAC,CA6B7F"}
|