codex-orchestrator 2.0.1 → 2.0.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 +22 -0
- package/README.md +12 -9
- package/dist/src/index.d.ts +10 -0
- package/dist/src/index.d.ts.map +1 -1
- package/dist/src/index.js +5 -0
- package/dist/src/index.js.map +1 -1
- package/dist/src/v2/acceptance-proof.d.ts +3 -0
- package/dist/src/v2/acceptance-proof.d.ts.map +1 -1
- package/dist/src/v2/acceptance-proof.js +2 -8
- package/dist/src/v2/acceptance-proof.js.map +1 -1
- package/dist/src/v2/adapters/gh-issue-adapter.d.ts +5 -3
- package/dist/src/v2/adapters/gh-issue-adapter.d.ts.map +1 -1
- package/dist/src/v2/adapters/gh-issue-adapter.js +63 -7
- package/dist/src/v2/adapters/gh-issue-adapter.js.map +1 -1
- package/dist/src/v2/adapters/issues.d.ts +16 -2
- package/dist/src/v2/adapters/issues.d.ts.map +1 -1
- package/dist/src/v2/adapters/issues.js +15 -5
- package/dist/src/v2/adapters/issues.js.map +1 -1
- package/dist/src/v2/adapters/mission-coordinator-lock.d.ts +1 -0
- package/dist/src/v2/adapters/mission-coordinator-lock.d.ts.map +1 -1
- package/dist/src/v2/adapters/mission-coordinator-lock.js +5 -1
- package/dist/src/v2/adapters/mission-coordinator-lock.js.map +1 -1
- package/dist/src/v2/candidate-cli.d.ts +4 -0
- package/dist/src/v2/candidate-cli.d.ts.map +1 -1
- package/dist/src/v2/candidate-cli.js +26 -11
- package/dist/src/v2/candidate-cli.js.map +1 -1
- package/dist/src/v2/cli-contract.d.ts +1 -1
- package/dist/src/v2/cli-contract.d.ts.map +1 -1
- package/dist/src/v2/cli-contract.js +10 -0
- package/dist/src/v2/cli-contract.js.map +1 -1
- package/dist/src/v2/code-review-report.d.ts +66 -0
- package/dist/src/v2/code-review-report.d.ts.map +1 -0
- package/dist/src/v2/code-review-report.js +259 -0
- package/dist/src/v2/code-review-report.js.map +1 -0
- package/dist/src/v2/codex-process.d.ts +8 -1
- package/dist/src/v2/codex-process.d.ts.map +1 -1
- package/dist/src/v2/codex-process.js +11 -0
- package/dist/src/v2/codex-process.js.map +1 -1
- package/dist/src/v2/config.d.ts +2 -1
- package/dist/src/v2/config.d.ts.map +1 -1
- package/dist/src/v2/config.js +8 -3
- package/dist/src/v2/config.js.map +1 -1
- package/dist/src/v2/contained-report-operation.d.ts +100 -0
- package/dist/src/v2/contained-report-operation.d.ts.map +1 -0
- package/dist/src/v2/contained-report-operation.js +200 -0
- package/dist/src/v2/contained-report-operation.js.map +1 -0
- package/dist/src/v2/containment.d.ts +6 -0
- package/dist/src/v2/containment.d.ts.map +1 -1
- package/dist/src/v2/containment.js +40 -1
- package/dist/src/v2/containment.js.map +1 -1
- package/dist/src/v2/direct-delivery.d.ts +101 -0
- package/dist/src/v2/direct-delivery.d.ts.map +1 -0
- package/dist/src/v2/direct-delivery.js +547 -0
- package/dist/src/v2/direct-delivery.js.map +1 -0
- package/dist/src/v2/immutable-workflow-publisher.d.ts +40 -0
- package/dist/src/v2/immutable-workflow-publisher.d.ts.map +1 -0
- package/dist/src/v2/immutable-workflow-publisher.js +218 -0
- package/dist/src/v2/immutable-workflow-publisher.js.map +1 -0
- package/dist/src/v2/implementation-reviewer.d.ts +81 -0
- package/dist/src/v2/implementation-reviewer.d.ts.map +1 -0
- package/dist/src/v2/implementation-reviewer.js +157 -0
- package/dist/src/v2/implementation-reviewer.js.map +1 -0
- package/dist/src/v2/owner-control-lock.d.ts +41 -0
- package/dist/src/v2/owner-control-lock.d.ts.map +1 -0
- package/dist/src/v2/owner-control-lock.js +174 -0
- package/dist/src/v2/owner-control-lock.js.map +1 -0
- package/dist/src/v2/route-continuations.d.ts +32 -0
- package/dist/src/v2/route-continuations.d.ts.map +1 -0
- package/dist/src/v2/route-continuations.js +2 -0
- package/dist/src/v2/route-continuations.js.map +1 -0
- package/dist/src/v2/route-coordinator.d.ts +77 -0
- package/dist/src/v2/route-coordinator.d.ts.map +1 -0
- package/dist/src/v2/route-coordinator.js +370 -0
- package/dist/src/v2/route-coordinator.js.map +1 -0
- package/dist/src/v2/route-decision.d.ts +129 -0
- package/dist/src/v2/route-decision.d.ts.map +1 -0
- package/dist/src/v2/route-decision.js +400 -0
- package/dist/src/v2/route-decision.js.map +1 -0
- package/dist/src/v2/run-issue.d.ts +63 -2
- package/dist/src/v2/run-issue.d.ts.map +1 -1
- package/dist/src/v2/run-issue.js +906 -91
- package/dist/src/v2/run-issue.js.map +1 -1
- package/dist/src/v2/run-store.d.ts +25 -1
- package/dist/src/v2/run-store.d.ts.map +1 -1
- package/dist/src/v2/run-store.js +143 -3
- package/dist/src/v2/run-store.js.map +1 -1
- package/dist/src/v2/runtime-assets.d.ts +15 -13
- package/dist/src/v2/runtime-assets.d.ts.map +1 -1
- package/dist/src/v2/runtime-assets.js +263 -416
- package/dist/src/v2/runtime-assets.js.map +1 -1
- package/dist/src/v2/runtime.d.ts +14 -6
- package/dist/src/v2/runtime.d.ts.map +1 -1
- package/dist/src/v2/runtime.js +478 -56
- package/dist/src/v2/runtime.js.map +1 -1
- package/dist/src/v2/setup-cli.d.ts.map +1 -1
- package/dist/src/v2/setup-cli.js +1 -0
- package/dist/src/v2/setup-cli.js.map +1 -1
- package/dist/src/v2/setup-runtime.d.ts.map +1 -1
- package/dist/src/v2/setup-runtime.js +20 -72
- package/dist/src/v2/setup-runtime.js.map +1 -1
- package/dist/src/v2/setup.d.ts +4 -1
- package/dist/src/v2/setup.d.ts.map +1 -1
- package/dist/src/v2/setup.js +104 -1
- package/dist/src/v2/setup.js.map +1 -1
- package/dist/src/v2/spec-coordinator.d.ts +85 -0
- package/dist/src/v2/spec-coordinator.d.ts.map +1 -0
- package/dist/src/v2/spec-coordinator.js +88 -0
- package/dist/src/v2/spec-coordinator.js.map +1 -0
- package/dist/src/v2/spec-delivery.d.ts +143 -0
- package/dist/src/v2/spec-delivery.d.ts.map +1 -0
- package/dist/src/v2/spec-delivery.js +401 -0
- package/dist/src/v2/spec-delivery.js.map +1 -0
- package/dist/src/v2/triage-route.d.ts +68 -0
- package/dist/src/v2/triage-route.d.ts.map +1 -0
- package/dist/src/v2/triage-route.js +223 -0
- package/dist/src/v2/triage-route.js.map +1 -0
- package/dist/src/v2/waiting-human-coordinator.d.ts +49 -0
- package/dist/src/v2/waiting-human-coordinator.d.ts.map +1 -0
- package/dist/src/v2/waiting-human-coordinator.js +509 -0
- package/dist/src/v2/waiting-human-coordinator.js.map +1 -0
- package/dist/src/v2/waiting-human.d.ts +143 -0
- package/dist/src/v2/waiting-human.d.ts.map +1 -0
- package/dist/src/v2/waiting-human.js +408 -0
- package/dist/src/v2/waiting-human.js.map +1 -0
- package/dist/src/v2/workflow-assets.d.ts +90 -0
- package/dist/src/v2/workflow-assets.d.ts.map +1 -0
- package/dist/src/v2/workflow-assets.js +554 -0
- package/dist/src/v2/workflow-assets.js.map +1 -0
- package/docs/deep-dive.md +15 -8
- package/internal-workflow/docs/agents/artifact-review-loop.md +267 -0
- package/internal-workflow/docs/agents/bug-workflow-routing.md +24 -0
- package/internal-workflow/docs/agents/coding-skill-routing.md +203 -0
- package/internal-workflow/docs/agents/confidence-rubric.md +65 -0
- package/internal-workflow/docs/agents/contract-test-ledger.md +60 -0
- package/internal-workflow/docs/agents/implementation-review-loop.md +302 -0
- package/internal-workflow/docs/agents/review-gates.md +49 -0
- package/internal-workflow/docs/agents/review-protocol.md +170 -0
- package/internal-workflow/docs/agents/tool-usage.md +88 -0
- package/internal-workflow/manifest.json +1 -0
- package/internal-workflow/operations/acceptance-proof/SKILL.md +3 -0
- package/internal-workflow/operations/ambiguity-review/SKILL.md +3 -0
- package/internal-workflow/operations/cleanup-review/SKILL.md +3 -0
- package/internal-workflow/operations/code-review/SKILL.md +3 -0
- package/internal-workflow/operations/implementation/SKILL.md +3 -0
- package/internal-workflow/operations/spec-author/SKILL.md +3 -0
- package/internal-workflow/operations/spec-implementation/SKILL.md +3 -0
- package/internal-workflow/operations/spec-review/SKILL.md +3 -0
- package/internal-workflow/operations/triage/SKILL.md +3 -0
- package/internal-workflow/profiles/analyst_deep.toml +9 -0
- package/internal-workflow/profiles/implementer_deep.toml +9 -0
- package/internal-workflow/profiles/implementer_standard.toml +9 -0
- package/internal-workflow/profiles/proof_agent.toml +8 -0
- package/internal-workflow/profiles/researcher_standard.toml +9 -0
- package/internal-workflow/profiles/reviewer_deep.toml +9 -0
- package/internal-workflow/profiles/reviewer_fast.toml +9 -0
- package/internal-workflow/profiles/reviewer_standard.toml +9 -0
- package/internal-workflow/schemas/ambiguity-review-v1.json +1 -0
- package/internal-workflow/schemas/code-review-v1.json +1 -0
- package/internal-workflow/schemas/implementation-report-v1.json +1 -0
- package/internal-workflow/schemas/proof-report-v1.json +1 -0
- package/internal-workflow/schemas/spec-author-v1.json +1 -0
- package/internal-workflow/schemas/spec-review-v1.json +30 -0
- package/internal-workflow/schemas/triage-route-v1.json +1 -0
- package/internal-workflow/skills/acceptance-proof/agents/openai.yaml +6 -0
- package/internal-workflow/skills/agent-auto/agents/openai.yaml +6 -0
- package/internal-workflow/skills/cleanup-review/SKILL.md +84 -0
- package/internal-workflow/skills/cleanup-review/agents/openai.yaml +6 -0
- package/internal-workflow/skills/code-review/SKILL.md +257 -0
- package/internal-workflow/skills/code-review/agents/openai.yaml +4 -0
- package/internal-workflow/skills/code-review/references/bug-classes.md +56 -0
- package/internal-workflow/skills/code-review/references/framework-lenses.md +34 -0
- package/internal-workflow/skills/code-review/references/targeted-recipes.md +49 -0
- package/internal-workflow/skills/codebase-design/DEEPENING.md +35 -0
- package/internal-workflow/skills/codebase-design/DESIGN-IT-TWICE.md +50 -0
- package/internal-workflow/skills/codebase-design/SKILL.md +82 -0
- package/internal-workflow/skills/codebase-design/agents/openai.yaml +6 -0
- package/internal-workflow/skills/diagnosing-bugs/SKILL.md +138 -0
- package/internal-workflow/skills/diagnosing-bugs/agents/openai.yaml +6 -0
- package/internal-workflow/skills/diagnosing-bugs/scripts/hitl-loop.template.sh +41 -0
- package/internal-workflow/skills/implementation-spec-maker/SKILL.md +93 -0
- package/internal-workflow/skills/implementation-spec-maker/agents/openai.yaml +6 -0
- package/internal-workflow/skills/implementation-spec-maker/references/source-modes.md +31 -0
- package/internal-workflow/skills/implementation-spec-maker/references/spec-template.md +146 -0
- package/internal-workflow/skills/implementation-spec-review/SKILL.md +211 -0
- package/internal-workflow/skills/implementation-spec-review/agents/openai.yaml +6 -0
- package/internal-workflow/skills/research/SKILL.md +107 -0
- package/internal-workflow/skills/research/agents/openai.yaml +6 -0
- package/internal-workflow/skills/small-task-implementer/SKILL.md +97 -0
- package/internal-workflow/skills/small-task-implementer/agents/openai.yaml +6 -0
- package/internal-workflow/skills/spec-implementer/SKILL.md +197 -0
- package/internal-workflow/skills/spec-implementer/agents/openai.yaml +6 -0
- package/internal-workflow/skills/tdd/SKILL.md +59 -0
- package/internal-workflow/skills/tdd/agents/openai.yaml +6 -0
- package/internal-workflow/skills/tdd/interface-design.md +31 -0
- package/internal-workflow/skills/tdd/mocking.md +59 -0
- package/internal-workflow/skills/tdd/refactoring.md +10 -0
- package/internal-workflow/skills/tdd/tests.md +77 -0
- package/internal-workflow/skills/triage/AGENT-BRIEF.md +192 -0
- package/internal-workflow/skills/triage/OUT-OF-SCOPE.md +101 -0
- package/internal-workflow/skills/triage/SKILL.md +134 -0
- package/internal-workflow/skills/triage/agents/openai.yaml +6 -0
- package/internal-workflow/skills/ui-evidence-proof/SKILL.md +123 -0
- package/internal-workflow/skills/ui-evidence-proof/agents/openai.yaml +6 -0
- package/package.json +6 -3
- /package/{internal-skills → internal-workflow/skills}/acceptance-proof/SKILL.md +0 -0
- /package/{internal-skills → internal-workflow/skills}/acceptance-proof/references/android.md +0 -0
- /package/{internal-skills → internal-workflow/skills}/acceptance-proof/references/browser.md +0 -0
- /package/{internal-skills → internal-workflow/skills}/acceptance-proof/references/ios.md +0 -0
- /package/{internal-skills → internal-workflow/skills}/acceptance-proof/tools/android-lease.mjs +0 -0
- /package/{internal-skills → internal-workflow/skills}/acceptance-proof/tools/ios-lease.mjs +0 -0
- /package/{internal-skills → internal-workflow/skills}/agent-auto/SKILL.md +0 -0
|
@@ -0,0 +1,370 @@
|
|
|
1
|
+
import { canonicalJson } from './containment.js';
|
|
2
|
+
import { validateAmbiguityReviewArtifact, } from './route-decision.js';
|
|
3
|
+
import { validateTriageRoute } from './triage-route.js';
|
|
4
|
+
const TRIAGE_AUTHORITY_FACTS = [
|
|
5
|
+
'inspect=issue-body-and-comments',
|
|
6
|
+
'inspect=relevant-implementation-callers-and-tests',
|
|
7
|
+
'inspect=repository-instructions-context-domain-adrs-and-existing-behavior',
|
|
8
|
+
'unavailable-evidence=record-inspected-absence',
|
|
9
|
+
'technical-and-reversible-engineering-choices=resolve-autonomously',
|
|
10
|
+
'source-supported-interpretation=choose-and-record-assumption',
|
|
11
|
+
'awaiting-user=two-materially-different-observable-product-outcomes-only',
|
|
12
|
+
];
|
|
13
|
+
export function initialRouteExecution() {
|
|
14
|
+
return {
|
|
15
|
+
version: 1,
|
|
16
|
+
phase: 'triage-ready',
|
|
17
|
+
previousAttemptId: null,
|
|
18
|
+
triageRepairs: 0,
|
|
19
|
+
triageTransportRetries: 0,
|
|
20
|
+
ambiguityTransportRetries: 0,
|
|
21
|
+
candidateReviews: 0,
|
|
22
|
+
};
|
|
23
|
+
}
|
|
24
|
+
export class RouteCoordinator {
|
|
25
|
+
dependencies;
|
|
26
|
+
constructor(dependencies) {
|
|
27
|
+
this.dependencies = dependencies;
|
|
28
|
+
}
|
|
29
|
+
async run(input) {
|
|
30
|
+
const execution = await this.dependencies.state.read();
|
|
31
|
+
switch (execution.phase) {
|
|
32
|
+
case 'triage-ready':
|
|
33
|
+
return this.launchTriage(input, execution, null);
|
|
34
|
+
case 'malformed-repair-ready':
|
|
35
|
+
return this.launchTriage(input, execution, { kind: 'malformed', findings: execution.findings });
|
|
36
|
+
case 'candidate-repair-ready':
|
|
37
|
+
return this.launchTriage(input, execution, {
|
|
38
|
+
kind: 'rejected-candidate',
|
|
39
|
+
candidate: execution.candidate,
|
|
40
|
+
triage: execution.triage,
|
|
41
|
+
review: execution.review,
|
|
42
|
+
findings: execution.findings,
|
|
43
|
+
});
|
|
44
|
+
case 'candidate-ready':
|
|
45
|
+
return this.launchReview(input, execution);
|
|
46
|
+
case 'triage-in-flight':
|
|
47
|
+
return this.recoverTriage(execution, null);
|
|
48
|
+
case 'repair-in-flight':
|
|
49
|
+
return this.recoverTriage(execution, execution.repairInput);
|
|
50
|
+
case 'review-in-flight':
|
|
51
|
+
return this.recoverReview(execution);
|
|
52
|
+
case 'route-complete':
|
|
53
|
+
return blocked('safety', 'route-coordinator-already-complete', ['Routed state must dispatch without rerunning routing.']);
|
|
54
|
+
}
|
|
55
|
+
}
|
|
56
|
+
async launchTriage(input, ready, repairInput) {
|
|
57
|
+
const attemptId = this.dependencies.createAttemptId();
|
|
58
|
+
if (ready.phase === 'triage-ready' && attemptId === ready.previousAttemptId) {
|
|
59
|
+
return blocked('safety', 'triage-attempt-not-fresh', ['A recovered triage launch must use a fresh attempt ID.']);
|
|
60
|
+
}
|
|
61
|
+
const inFlight = {
|
|
62
|
+
...budgets(ready),
|
|
63
|
+
phase: repairInput === null ? 'triage-in-flight' : 'repair-in-flight',
|
|
64
|
+
attemptId,
|
|
65
|
+
startedAt: this.dependencies.now(),
|
|
66
|
+
...(repairInput === null ? {} : { repairInput }),
|
|
67
|
+
};
|
|
68
|
+
if (!await this.dependencies.state.compareAndSwap(ready, inFlight))
|
|
69
|
+
return stateConflict();
|
|
70
|
+
const result = await this.dependencies.operation.run({
|
|
71
|
+
operation: 'triage',
|
|
72
|
+
attemptId,
|
|
73
|
+
runId: input.runId,
|
|
74
|
+
worktreePath: input.worktreePath,
|
|
75
|
+
workflowGeneration: input.workflowGeneration,
|
|
76
|
+
promptFacts: triagePromptFacts(input.promptFacts, repairInput),
|
|
77
|
+
signal: input.signal,
|
|
78
|
+
});
|
|
79
|
+
return this.adoptTriage(input, inFlight, repairInput, result);
|
|
80
|
+
}
|
|
81
|
+
async adoptTriage(input, inFlight, repairInput, result) {
|
|
82
|
+
if (result.status === 'cancelled')
|
|
83
|
+
return this.cancel(inFlight);
|
|
84
|
+
if (result.status === 'blocked')
|
|
85
|
+
return blocked(result.kind, result.code, []);
|
|
86
|
+
if (result.status === 'retryable')
|
|
87
|
+
return this.retryTriage(inFlight, repairInput, result.code);
|
|
88
|
+
if (result.status === 'safe-halt')
|
|
89
|
+
return result;
|
|
90
|
+
if (result.attemptId !== inFlight.attemptId)
|
|
91
|
+
return attemptMismatch(inFlight.attemptId, result.attemptId);
|
|
92
|
+
if (result.status === 'invalid')
|
|
93
|
+
return this.invalidTriage(inFlight, repairInput, result.findings);
|
|
94
|
+
let artifact;
|
|
95
|
+
try {
|
|
96
|
+
artifact = validateTriageRoute(result.validatedPayload);
|
|
97
|
+
}
|
|
98
|
+
catch (error) {
|
|
99
|
+
return this.invalidTriage(inFlight, repairInput, [finding(error)]);
|
|
100
|
+
}
|
|
101
|
+
if (artifact.status === 'blocked') {
|
|
102
|
+
return blocked(artifact.blocker.kind, artifact.blocker.code, artifact.blocker.evidence);
|
|
103
|
+
}
|
|
104
|
+
if (artifact.status === 'awaiting-user' && repairInput !== null) {
|
|
105
|
+
return blocked('exhausted', 'waiting-candidate-repair-exhausted', [
|
|
106
|
+
'A repaired candidate may not ask another question.',
|
|
107
|
+
]);
|
|
108
|
+
}
|
|
109
|
+
const triage = {
|
|
110
|
+
operation: 'triage',
|
|
111
|
+
attemptId: inFlight.attemptId,
|
|
112
|
+
artifactSha256: result.artifactSha256,
|
|
113
|
+
generationHash: input.workflowGeneration.generationHash,
|
|
114
|
+
};
|
|
115
|
+
if (artifact.status === 'awaiting-user') {
|
|
116
|
+
const candidateReady = {
|
|
117
|
+
...budgets(inFlight), phase: 'candidate-ready', candidate: artifact, triage,
|
|
118
|
+
};
|
|
119
|
+
if (!await this.dependencies.state.compareAndSwap(inFlight, candidateReady))
|
|
120
|
+
return stateConflict();
|
|
121
|
+
return this.launchReview(input, candidateReady);
|
|
122
|
+
}
|
|
123
|
+
return this.complete(inFlight, artifact, triage, null);
|
|
124
|
+
}
|
|
125
|
+
async launchReview(input, ready) {
|
|
126
|
+
if (ready.candidateReviews === 1) {
|
|
127
|
+
return blocked('exhausted', 'candidate-reviews-exhausted', [ready.triage.artifactSha256]);
|
|
128
|
+
}
|
|
129
|
+
const attemptId = this.dependencies.createAttemptId();
|
|
130
|
+
if (attemptId === ready.triage.attemptId) {
|
|
131
|
+
return blocked('safety', 'ambiguity-review-attempt-not-fresh', ['Triage and review attempt IDs must be distinct.']);
|
|
132
|
+
}
|
|
133
|
+
const inFlight = {
|
|
134
|
+
...budgets(ready),
|
|
135
|
+
phase: 'review-in-flight',
|
|
136
|
+
attemptId,
|
|
137
|
+
startedAt: this.dependencies.now(),
|
|
138
|
+
candidate: ready.candidate,
|
|
139
|
+
triage: ready.triage,
|
|
140
|
+
};
|
|
141
|
+
if (!await this.dependencies.state.compareAndSwap(ready, inFlight))
|
|
142
|
+
return stateConflict();
|
|
143
|
+
const result = await this.dependencies.operation.run({
|
|
144
|
+
operation: 'ambiguity-review',
|
|
145
|
+
attemptId,
|
|
146
|
+
runId: input.runId,
|
|
147
|
+
worktreePath: input.worktreePath,
|
|
148
|
+
workflowGeneration: input.workflowGeneration,
|
|
149
|
+
promptFacts: reviewPromptFacts(input.promptFacts, ready),
|
|
150
|
+
signal: input.signal,
|
|
151
|
+
});
|
|
152
|
+
return this.adoptReview(input, inFlight, result);
|
|
153
|
+
}
|
|
154
|
+
async adoptReview(input, inFlight, result) {
|
|
155
|
+
if (result.status === 'cancelled')
|
|
156
|
+
return this.cancel(inFlight);
|
|
157
|
+
if (result.status === 'blocked')
|
|
158
|
+
return blocked(result.kind, result.code, []);
|
|
159
|
+
if (result.status === 'retryable')
|
|
160
|
+
return this.retryReview(inFlight, result.code);
|
|
161
|
+
if (result.status === 'safe-halt')
|
|
162
|
+
return result;
|
|
163
|
+
if (result.attemptId !== inFlight.attemptId)
|
|
164
|
+
return attemptMismatch(inFlight.attemptId, result.attemptId);
|
|
165
|
+
if (result.status === 'invalid') {
|
|
166
|
+
return blocked('safety', 'ambiguity-review-artifact-invalid', result.findings);
|
|
167
|
+
}
|
|
168
|
+
let review;
|
|
169
|
+
try {
|
|
170
|
+
review = validateAmbiguityReviewArtifact(result.validatedPayload);
|
|
171
|
+
}
|
|
172
|
+
catch (error) {
|
|
173
|
+
return blocked('safety', 'ambiguity-review-artifact-invalid', [finding(error)]);
|
|
174
|
+
}
|
|
175
|
+
if (review.candidateSha256 !== inFlight.triage.artifactSha256) {
|
|
176
|
+
return blocked('safety', 'ambiguity-review-candidate-mismatch', [
|
|
177
|
+
`Expected ${inFlight.triage.artifactSha256} but review echoed ${review.candidateSha256}.`,
|
|
178
|
+
]);
|
|
179
|
+
}
|
|
180
|
+
if (review.verdict === 'blocked') {
|
|
181
|
+
const consumed = {
|
|
182
|
+
...budgets(inFlight),
|
|
183
|
+
phase: 'candidate-ready',
|
|
184
|
+
candidate: inFlight.candidate,
|
|
185
|
+
triage: inFlight.triage,
|
|
186
|
+
candidateReviews: 1,
|
|
187
|
+
};
|
|
188
|
+
if (!await this.dependencies.state.compareAndSwap(inFlight, consumed))
|
|
189
|
+
return stateConflict();
|
|
190
|
+
return blocked('safety', 'ambiguity-review-blocked', nonEmptyFindings(review.findings, 'Ambiguity review blocked.'));
|
|
191
|
+
}
|
|
192
|
+
const reviewRef = {
|
|
193
|
+
operation: 'ambiguity-review',
|
|
194
|
+
attemptId: inFlight.attemptId,
|
|
195
|
+
candidateSha256: review.candidateSha256,
|
|
196
|
+
artifactSha256: result.artifactSha256,
|
|
197
|
+
verdict: review.verdict,
|
|
198
|
+
generationHash: input.workflowGeneration.generationHash,
|
|
199
|
+
};
|
|
200
|
+
if (review.verdict === 'rejected') {
|
|
201
|
+
if (inFlight.triageRepairs === 1 || inFlight.candidateReviews === 1) {
|
|
202
|
+
return blocked('exhausted', 'waiting-candidate-repair-exhausted', review.findings);
|
|
203
|
+
}
|
|
204
|
+
const findings = nonEmptyFindings(review.findings, 'Ambiguity review rejected the waiting candidate.');
|
|
205
|
+
const repairReady = {
|
|
206
|
+
...budgets(inFlight),
|
|
207
|
+
phase: 'candidate-repair-ready',
|
|
208
|
+
candidate: inFlight.candidate,
|
|
209
|
+
triage: inFlight.triage,
|
|
210
|
+
review: reviewRef,
|
|
211
|
+
findings,
|
|
212
|
+
triageRepairs: 1,
|
|
213
|
+
candidateReviews: 1,
|
|
214
|
+
};
|
|
215
|
+
if (!await this.dependencies.state.compareAndSwap(inFlight, repairReady))
|
|
216
|
+
return stateConflict();
|
|
217
|
+
return { status: 'repairable', code: 'waiting-candidate-rejected', findings };
|
|
218
|
+
}
|
|
219
|
+
const reviewed = { ...inFlight, candidateReviews: 1 };
|
|
220
|
+
return this.complete(inFlight, inFlight.candidate, inFlight.triage, reviewRef, reviewed);
|
|
221
|
+
}
|
|
222
|
+
async invalidTriage(inFlight, repairInput, findings) {
|
|
223
|
+
findings = nonEmptyFindings(findings, 'Triage artifact validation failed.');
|
|
224
|
+
if (repairInput !== null || inFlight.triageRepairs === 1) {
|
|
225
|
+
return blocked('exhausted', 'triage-repair-exhausted', findings);
|
|
226
|
+
}
|
|
227
|
+
const repairReady = {
|
|
228
|
+
...budgets(inFlight), phase: 'malformed-repair-ready', findings, triageRepairs: 1,
|
|
229
|
+
};
|
|
230
|
+
if (!await this.dependencies.state.compareAndSwap(inFlight, repairReady))
|
|
231
|
+
return stateConflict();
|
|
232
|
+
return { status: 'repairable', code: 'triage-artifact-invalid', findings };
|
|
233
|
+
}
|
|
234
|
+
async retryTriage(inFlight, repairInput, code) {
|
|
235
|
+
if (inFlight.triageTransportRetries === 1) {
|
|
236
|
+
return blocked('exhausted', 'triage-transport-retries-exhausted', [code]);
|
|
237
|
+
}
|
|
238
|
+
const ready = triageReadyAfterFailure(inFlight, repairInput, 1);
|
|
239
|
+
if (!await this.dependencies.state.compareAndSwap(inFlight, ready))
|
|
240
|
+
return stateConflict();
|
|
241
|
+
return { status: 'retryable', owner: 'triage', code };
|
|
242
|
+
}
|
|
243
|
+
async retryReview(inFlight, code) {
|
|
244
|
+
if (inFlight.ambiguityTransportRetries === 1) {
|
|
245
|
+
return blocked('exhausted', 'ambiguity-review-transport-retries-exhausted', [code]);
|
|
246
|
+
}
|
|
247
|
+
const ready = {
|
|
248
|
+
...budgets(inFlight),
|
|
249
|
+
phase: 'candidate-ready',
|
|
250
|
+
candidate: inFlight.candidate,
|
|
251
|
+
triage: inFlight.triage,
|
|
252
|
+
ambiguityTransportRetries: 1,
|
|
253
|
+
};
|
|
254
|
+
if (!await this.dependencies.state.compareAndSwap(inFlight, ready))
|
|
255
|
+
return stateConflict();
|
|
256
|
+
return { status: 'retryable', owner: 'ambiguity-review', code };
|
|
257
|
+
}
|
|
258
|
+
async recoverTriage(inFlight, repairInput) {
|
|
259
|
+
if (inFlight.triageTransportRetries === 1) {
|
|
260
|
+
return blocked('exhausted', 'triage-transport-retries-exhausted', [inFlight.attemptId]);
|
|
261
|
+
}
|
|
262
|
+
const ready = triageReadyAfterFailure(inFlight, repairInput, 1);
|
|
263
|
+
if (!await this.dependencies.state.compareAndSwap(inFlight, ready))
|
|
264
|
+
return stateConflict();
|
|
265
|
+
return { status: 'retryable', owner: 'triage', code: 'abandoned-triage-attempt' };
|
|
266
|
+
}
|
|
267
|
+
async recoverReview(inFlight) {
|
|
268
|
+
if (inFlight.ambiguityTransportRetries === 1) {
|
|
269
|
+
return blocked('exhausted', 'ambiguity-review-transport-retries-exhausted', [inFlight.attemptId]);
|
|
270
|
+
}
|
|
271
|
+
const ready = {
|
|
272
|
+
...budgets(inFlight),
|
|
273
|
+
phase: 'candidate-ready',
|
|
274
|
+
candidate: inFlight.candidate,
|
|
275
|
+
triage: inFlight.triage,
|
|
276
|
+
ambiguityTransportRetries: 1,
|
|
277
|
+
};
|
|
278
|
+
if (!await this.dependencies.state.compareAndSwap(inFlight, ready))
|
|
279
|
+
return stateConflict();
|
|
280
|
+
return { status: 'retryable', owner: 'ambiguity-review', code: 'abandoned-ambiguity-review-attempt' };
|
|
281
|
+
}
|
|
282
|
+
async complete(expected, artifact, triage, review, budgetSource = expected) {
|
|
283
|
+
let receipt;
|
|
284
|
+
try {
|
|
285
|
+
receipt = this.dependencies.createReceipt({ artifact, triage, review, decidedAt: this.dependencies.now() });
|
|
286
|
+
}
|
|
287
|
+
catch (error) {
|
|
288
|
+
return blocked('safety', 'route-receipt-creation-failed', [finding(error)]);
|
|
289
|
+
}
|
|
290
|
+
const complete = { ...budgets(budgetSource), phase: 'route-complete', triage, review };
|
|
291
|
+
if (!await this.dependencies.state.complete(expected, complete, receipt))
|
|
292
|
+
return stateConflict();
|
|
293
|
+
return artifact.status === 'awaiting-user'
|
|
294
|
+
? { status: 'awaiting-user', receipt }
|
|
295
|
+
: { status: 'succeeded', receipt };
|
|
296
|
+
}
|
|
297
|
+
async cancel(expected) {
|
|
298
|
+
if (!await this.dependencies.state.cancel(expected))
|
|
299
|
+
return stateConflict();
|
|
300
|
+
return { status: 'cancelled' };
|
|
301
|
+
}
|
|
302
|
+
}
|
|
303
|
+
function triageReadyAfterFailure(inFlight, repairInput, retries) {
|
|
304
|
+
if (repairInput?.kind === 'malformed') {
|
|
305
|
+
return { ...budgets(inFlight), phase: 'malformed-repair-ready', findings: repairInput.findings, triageTransportRetries: retries };
|
|
306
|
+
}
|
|
307
|
+
if (repairInput?.kind === 'rejected-candidate') {
|
|
308
|
+
return {
|
|
309
|
+
...budgets(inFlight),
|
|
310
|
+
phase: 'candidate-repair-ready',
|
|
311
|
+
candidate: repairInput.candidate,
|
|
312
|
+
triage: repairInput.triage,
|
|
313
|
+
review: repairInput.review,
|
|
314
|
+
findings: repairInput.findings,
|
|
315
|
+
triageTransportRetries: retries,
|
|
316
|
+
};
|
|
317
|
+
}
|
|
318
|
+
return {
|
|
319
|
+
...budgets(inFlight),
|
|
320
|
+
phase: 'triage-ready',
|
|
321
|
+
previousAttemptId: inFlight.attemptId,
|
|
322
|
+
triageTransportRetries: retries,
|
|
323
|
+
};
|
|
324
|
+
}
|
|
325
|
+
function triagePromptFacts(base, repairInput) {
|
|
326
|
+
const facts = [...base, ...TRIAGE_AUTHORITY_FACTS];
|
|
327
|
+
if (repairInput === null)
|
|
328
|
+
return facts;
|
|
329
|
+
facts.push(`repairKind=${repairInput.kind}`, `repairFindings=${canonicalJson(repairInput.findings)}`);
|
|
330
|
+
if (repairInput.kind === 'rejected-candidate') {
|
|
331
|
+
facts.push(`candidateSha256=${repairInput.triage.artifactSha256}`, `candidateArtifact=${canonicalJson(repairInput.candidate)}`, `reviewRef=${canonicalJson(repairInput.review)}`, 'repairResult=direct-or-spec-required-or-typed-blocker', 'repairResultMayNotAwaitUser=true');
|
|
332
|
+
}
|
|
333
|
+
return facts;
|
|
334
|
+
}
|
|
335
|
+
function reviewPromptFacts(base, ready) {
|
|
336
|
+
return [
|
|
337
|
+
...base,
|
|
338
|
+
`candidateSha256=${ready.triage.artifactSha256}`,
|
|
339
|
+
`candidateArtifact=${canonicalJson(ready.candidate)}`,
|
|
340
|
+
`candidateEvidence=${canonicalJson(ready.candidate.inspectedEvidence)}`,
|
|
341
|
+
'review=materially-different-observable-product-outcomes',
|
|
342
|
+
'review=authorized-source-choice-must-be-absent',
|
|
343
|
+
'triage-process-identity=withheld',
|
|
344
|
+
];
|
|
345
|
+
}
|
|
346
|
+
function budgets(execution) {
|
|
347
|
+
return {
|
|
348
|
+
version: execution.version,
|
|
349
|
+
triageRepairs: execution.triageRepairs,
|
|
350
|
+
triageTransportRetries: execution.triageTransportRetries,
|
|
351
|
+
ambiguityTransportRetries: execution.ambiguityTransportRetries,
|
|
352
|
+
candidateReviews: execution.candidateReviews,
|
|
353
|
+
};
|
|
354
|
+
}
|
|
355
|
+
function blocked(kind, code, evidence) {
|
|
356
|
+
return { status: 'blocked', kind, code, evidence };
|
|
357
|
+
}
|
|
358
|
+
function stateConflict() {
|
|
359
|
+
return blocked('safety', 'route-state-conflict', ['Durable route state changed before compare-and-swap.']);
|
|
360
|
+
}
|
|
361
|
+
function attemptMismatch(expected, actual) {
|
|
362
|
+
return blocked('safety', 'route-attempt-mismatch', [`Expected ${expected} but operation returned ${actual}.`]);
|
|
363
|
+
}
|
|
364
|
+
function finding(error) {
|
|
365
|
+
return error instanceof Error && error.message.length > 0 ? error.message : 'route validation failed';
|
|
366
|
+
}
|
|
367
|
+
function nonEmptyFindings(findings, fallback) {
|
|
368
|
+
return findings.length > 0 ? findings : [fallback];
|
|
369
|
+
}
|
|
370
|
+
//# sourceMappingURL=route-coordinator.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"route-coordinator.js","sourceRoot":"","sources":["../../../src/v2/route-coordinator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACjD,OAAO,EACL,+BAA+B,GAQhC,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,mBAAmB,EAAsB,MAAM,mBAAmB,CAAC;AAwD5E,MAAM,sBAAsB,GAAG;IAC7B,iCAAiC;IACjC,mDAAmD;IACnD,2EAA2E;IAC3E,+CAA+C;IAC/C,mEAAmE;IACnE,8DAA8D;IAC9D,yEAAyE;CACjE,CAAC;AAEX,MAAM,UAAU,qBAAqB;IACnC,OAAO;QACL,OAAO,EAAE,CAAC;QACV,KAAK,EAAE,cAAc;QACrB,iBAAiB,EAAE,IAAI;QACvB,aAAa,EAAE,CAAC;QAChB,sBAAsB,EAAE,CAAC;QACzB,yBAAyB,EAAE,CAAC;QAC5B,gBAAgB,EAAE,CAAC;KACpB,CAAC;AACJ,CAAC;AAED,MAAM,OAAO,gBAAgB;IACE;IAA7B,YAA6B,YAA0C;QAA1C,iBAAY,GAAZ,YAAY,CAA8B;IAAG,CAAC;IAE3E,KAAK,CAAC,GAAG,CAAC,KAA4B;QACpC,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QACvD,QAAQ,SAAS,CAAC,KAAK,EAAE,CAAC;YACxB,KAAK,cAAc;gBACjB,OAAO,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;YACnD,KAAK,wBAAwB;gBAC3B,OAAO,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC;YAClG,KAAK,wBAAwB;gBAC3B,OAAO,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,SAAS,EAAE;oBACzC,IAAI,EAAE,oBAAoB;oBAC1B,SAAS,EAAE,SAAS,CAAC,SAAS;oBAC9B,MAAM,EAAE,SAAS,CAAC,MAAM;oBACxB,MAAM,EAAE,SAAS,CAAC,MAAM;oBACxB,QAAQ,EAAE,SAAS,CAAC,QAAQ;iBAC7B,CAAC,CAAC;YACL,KAAK,iBAAiB;gBACpB,OAAO,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YAC7C,KAAK,kBAAkB;gBACrB,OAAO,IAAI,CAAC,aAAa,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;YAC7C,KAAK,kBAAkB;gBACrB,OAAO,IAAI,CAAC,aAAa,CAAC,SAAS,EAAE,SAAS,CAAC,WAAW,CAAC,CAAC;YAC9D,KAAK,kBAAkB;gBACrB,OAAO,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC;YACvC,KAAK,gBAAgB;gBACnB,OAAO,OAAO,CAAC,QAAQ,EAAE,oCAAoC,EAAE,CAAC,uDAAuD,CAAC,CAAC,CAAC;QAC9H,CAAC;IACH,CAAC;IAEO,KAAK,CAAC,YAAY,CACxB,KAA4B,EAC5B,KAAiH,EACjH,WAAmE;QAEnE,MAAM,SAAS,GAAG,IAAI,CAAC,YAAY,CAAC,eAAe,EAAE,CAAC;QACtD,IAAI,KAAK,CAAC,KAAK,KAAK,cAAc,IAAI,SAAS,KAAK,KAAK,CAAC,iBAAiB,EAAE,CAAC;YAC5E,OAAO,OAAO,CAAC,QAAQ,EAAE,0BAA0B,EAAE,CAAC,wDAAwD,CAAC,CAAC,CAAC;QACnH,CAAC;QACD,MAAM,QAAQ,GAAG;YACf,GAAG,OAAO,CAAC,KAAK,CAAC;YACjB,KAAK,EAAE,WAAW,KAAK,IAAI,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,kBAAkB;YACrE,SAAS;YACT,SAAS,EAAE,IAAI,CAAC,YAAY,CAAC,GAAG,EAAE;YAClC,GAAG,CAAC,WAAW,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC;SACgC,CAAC;QACnF,IAAI,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,cAAc,CAAC,KAAK,EAAE,QAAQ,CAAC;YAAE,OAAO,aAAa,EAAE,CAAC;QAE3F,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,GAAG,CAAC;YACnD,SAAS,EAAE,QAAQ;YACnB,SAAS;YACT,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,YAAY,EAAE,KAAK,CAAC,YAAY;YAChC,kBAAkB,EAAE,KAAK,CAAC,kBAAkB;YAC5C,WAAW,EAAE,iBAAiB,CAAC,KAAK,CAAC,WAAW,EAAE,WAAW,CAAC;YAC9D,MAAM,EAAE,KAAK,CAAC,MAAM;SACrB,CAAC,CAAC;QACH,OAAO,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;IAChE,CAAC;IAEO,KAAK,CAAC,WAAW,CACvB,KAA4B,EAC5B,QAAuF,EACvF,WAAmE,EACnE,MAAsC;QAEtC,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW;YAAE,OAAO,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAChE,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS;YAAE,OAAO,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC9E,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW;YAAE,OAAO,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,WAAW,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;QAC/F,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW;YAAE,OAAO,MAAM,CAAC;QACjD,IAAI,MAAM,CAAC,SAAS,KAAK,QAAQ,CAAC,SAAS;YAAE,OAAO,eAAe,CAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;QAC1G,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC,aAAa,CAAC,QAAQ,EAAE,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;QAEnG,IAAI,QAAuB,CAAC;QAC5B,IAAI,CAAC;YACH,QAAQ,GAAG,mBAAmB,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC;QAC1D,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,IAAI,CAAC,aAAa,CAAC,QAAQ,EAAE,WAAW,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACrE,CAAC;QACD,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAClC,OAAO,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC1F,CAAC;QACD,IAAI,QAAQ,CAAC,MAAM,KAAK,eAAe,IAAI,WAAW,KAAK,IAAI,EAAE,CAAC;YAChE,OAAO,OAAO,CAAC,WAAW,EAAE,oCAAoC,EAAE;gBAChE,oDAAoD;aACrD,CAAC,CAAC;QACL,CAAC;QAED,MAAM,MAAM,GAAuB;YACjC,SAAS,EAAE,QAAQ;YACnB,SAAS,EAAE,QAAQ,CAAC,SAAS;YAC7B,cAAc,EAAE,MAAM,CAAC,cAAc;YACrC,cAAc,EAAE,KAAK,CAAC,kBAAkB,CAAC,cAAc;SACxD,CAAC;QACF,IAAI,QAAQ,CAAC,MAAM,KAAK,eAAe,EAAE,CAAC;YACxC,MAAM,cAAc,GAAqB;gBACvC,GAAG,OAAO,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,iBAAiB,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM;aAC5E,CAAC;YACF,IAAI,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,cAAc,CAAC,QAAQ,EAAE,cAAc,CAAC;gBAAE,OAAO,aAAa,EAAE,CAAC;YACpG,OAAO,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;QAClD,CAAC;QACD,OAAO,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IACzD,CAAC;IAEO,KAAK,CAAC,YAAY,CACxB,KAA4B,EAC5B,KAA8D;QAE9D,IAAI,KAAK,CAAC,gBAAgB,KAAK,CAAC,EAAE,CAAC;YACjC,OAAO,OAAO,CAAC,WAAW,EAAE,6BAA6B,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC;QAC5F,CAAC;QACD,MAAM,SAAS,GAAG,IAAI,CAAC,YAAY,CAAC,eAAe,EAAE,CAAC;QACtD,IAAI,SAAS,KAAK,KAAK,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC;YACzC,OAAO,OAAO,CAAC,QAAQ,EAAE,oCAAoC,EAAE,CAAC,iDAAiD,CAAC,CAAC,CAAC;QACtH,CAAC;QACD,MAAM,QAAQ,GAAqB;YACjC,GAAG,OAAO,CAAC,KAAK,CAAC;YACjB,KAAK,EAAE,kBAAkB;YACzB,SAAS;YACT,SAAS,EAAE,IAAI,CAAC,YAAY,CAAC,GAAG,EAAE;YAClC,SAAS,EAAE,KAAK,CAAC,SAAS;YAC1B,MAAM,EAAE,KAAK,CAAC,MAAM;SACrB,CAAC;QACF,IAAI,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,cAAc,CAAC,KAAK,EAAE,QAAQ,CAAC;YAAE,OAAO,aAAa,EAAE,CAAC;QAC3F,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,GAAG,CAAC;YACnD,SAAS,EAAE,kBAAkB;YAC7B,SAAS;YACT,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,YAAY,EAAE,KAAK,CAAC,YAAY;YAChC,kBAAkB,EAAE,KAAK,CAAC,kBAAkB;YAC5C,WAAW,EAAE,iBAAiB,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC;YACxD,MAAM,EAAE,KAAK,CAAC,MAAM;SACrB,CAAC,CAAC;QACH,OAAO,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;IACnD,CAAC;IAEO,KAAK,CAAC,WAAW,CACvB,KAA4B,EAC5B,QAAkE,EAClE,MAAsC;QAEtC,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW;YAAE,OAAO,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAChE,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS;YAAE,OAAO,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC9E,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW;YAAE,OAAO,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;QAClF,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW;YAAE,OAAO,MAAM,CAAC;QACjD,IAAI,MAAM,CAAC,SAAS,KAAK,QAAQ,CAAC,SAAS;YAAE,OAAO,eAAe,CAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;QAC1G,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAChC,OAAO,OAAO,CAAC,QAAQ,EAAE,mCAAmC,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;QACjF,CAAC;QAED,IAAI,MAAiC,CAAC;QACtC,IAAI,CAAC;YACH,MAAM,GAAG,+BAA+B,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC;QACpE,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,OAAO,CAAC,QAAQ,EAAE,mCAAmC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAClF,CAAC;QACD,IAAI,MAAM,CAAC,eAAe,KAAK,QAAQ,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC;YAC9D,OAAO,OAAO,CAAC,QAAQ,EAAE,qCAAqC,EAAE;gBAC9D,YAAY,QAAQ,CAAC,MAAM,CAAC,cAAc,sBAAsB,MAAM,CAAC,eAAe,GAAG;aAC1F,CAAC,CAAC;QACL,CAAC;QACD,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YACjC,MAAM,QAAQ,GAAqB;gBACjC,GAAG,OAAO,CAAC,QAAQ,CAAC;gBACpB,KAAK,EAAE,iBAAiB;gBACxB,SAAS,EAAE,QAAQ,CAAC,SAAS;gBAC7B,MAAM,EAAE,QAAQ,CAAC,MAAM;gBACvB,gBAAgB,EAAE,CAAC;aACpB,CAAC;YACF,IAAI,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,cAAc,CAAC,QAAQ,EAAE,QAAQ,CAAC;gBAAE,OAAO,aAAa,EAAE,CAAC;YAC9F,OAAO,OAAO,CAAC,QAAQ,EAAE,0BAA0B,EAAE,gBAAgB,CAAC,MAAM,CAAC,QAAQ,EAAE,2BAA2B,CAAC,CAAC,CAAC;QACvH,CAAC;QACD,MAAM,SAAS,GAAyB;YACtC,SAAS,EAAE,kBAAkB;YAC7B,SAAS,EAAE,QAAQ,CAAC,SAAS;YAC7B,eAAe,EAAE,MAAM,CAAC,eAAe;YACvC,cAAc,EAAE,MAAM,CAAC,cAAc;YACrC,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,cAAc,EAAE,KAAK,CAAC,kBAAkB,CAAC,cAAc;SACxD,CAAC;QACF,IAAI,MAAM,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;YAClC,IAAI,QAAQ,CAAC,aAAa,KAAK,CAAC,IAAI,QAAQ,CAAC,gBAAgB,KAAK,CAAC,EAAE,CAAC;gBACpE,OAAO,OAAO,CAAC,WAAW,EAAE,oCAAoC,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;YACrF,CAAC;YACD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,MAAM,CAAC,QAAQ,EAAE,kDAAkD,CAAC,CAAC;YACvG,MAAM,WAAW,GAAqB;gBACpC,GAAG,OAAO,CAAC,QAAQ,CAAC;gBACpB,KAAK,EAAE,wBAAwB;gBAC/B,SAAS,EAAE,QAAQ,CAAC,SAAS;gBAC7B,MAAM,EAAE,QAAQ,CAAC,MAAM;gBACvB,MAAM,EAAE,SAAS;gBACjB,QAAQ;gBACR,aAAa,EAAE,CAAC;gBAChB,gBAAgB,EAAE,CAAC;aACpB,CAAC;YACF,IAAI,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,cAAc,CAAC,QAAQ,EAAE,WAAW,CAAC;gBAAE,OAAO,aAAa,EAAE,CAAC;YACjG,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,4BAA4B,EAAE,QAAQ,EAAE,CAAC;QAChF,CAAC;QACD,MAAM,QAAQ,GAAG,EAAE,GAAG,QAAQ,EAAE,gBAAgB,EAAE,CAAU,EAAE,CAAC;QAC/D,OAAO,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;IAC3F,CAAC;IAEO,KAAK,CAAC,aAAa,CACzB,QAAuF,EACvF,WAAmE,EACnE,QAAkB;QAElB,QAAQ,GAAG,gBAAgB,CAAC,QAAQ,EAAE,oCAAoC,CAAC,CAAC;QAC5E,IAAI,WAAW,KAAK,IAAI,IAAI,QAAQ,CAAC,aAAa,KAAK,CAAC,EAAE,CAAC;YACzD,OAAO,OAAO,CAAC,WAAW,EAAE,yBAAyB,EAAE,QAAQ,CAAC,CAAC;QACnE,CAAC;QACD,MAAM,WAAW,GAAqB;YACpC,GAAG,OAAO,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,wBAAwB,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC;SAClF,CAAC;QACF,IAAI,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,cAAc,CAAC,QAAQ,EAAE,WAAW,CAAC;YAAE,OAAO,aAAa,EAAE,CAAC;QACjG,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,yBAAyB,EAAE,QAAQ,EAAE,CAAC;IAC7E,CAAC;IAEO,KAAK,CAAC,WAAW,CACvB,QAAuF,EACvF,WAAmE,EACnE,IAAY;QAEZ,IAAI,QAAQ,CAAC,sBAAsB,KAAK,CAAC,EAAE,CAAC;YAC1C,OAAO,OAAO,CAAC,WAAW,EAAE,oCAAoC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QAC5E,CAAC;QACD,MAAM,KAAK,GAAG,uBAAuB,CAAC,QAAQ,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC;QAChE,IAAI,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,cAAc,CAAC,QAAQ,EAAE,KAAK,CAAC;YAAE,OAAO,aAAa,EAAE,CAAC;QAC3F,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IACxD,CAAC;IAEO,KAAK,CAAC,WAAW,CACvB,QAAkE,EAClE,IAAY;QAEZ,IAAI,QAAQ,CAAC,yBAAyB,KAAK,CAAC,EAAE,CAAC;YAC7C,OAAO,OAAO,CAAC,WAAW,EAAE,8CAA8C,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QACtF,CAAC;QACD,MAAM,KAAK,GAAqB;YAC9B,GAAG,OAAO,CAAC,QAAQ,CAAC;YACpB,KAAK,EAAE,iBAAiB;YACxB,SAAS,EAAE,QAAQ,CAAC,SAAS;YAC7B,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,yBAAyB,EAAE,CAAC;SAC7B,CAAC;QACF,IAAI,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,cAAc,CAAC,QAAQ,EAAE,KAAK,CAAC;YAAE,OAAO,aAAa,EAAE,CAAC;QAC3F,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC;IAClE,CAAC;IAEO,KAAK,CAAC,aAAa,CACzB,QAAuF,EACvF,WAAmE;QAEnE,IAAI,QAAQ,CAAC,sBAAsB,KAAK,CAAC,EAAE,CAAC;YAC1C,OAAO,OAAO,CAAC,WAAW,EAAE,oCAAoC,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;QAC1F,CAAC;QACD,MAAM,KAAK,GAAG,uBAAuB,CAAC,QAAQ,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC;QAChE,IAAI,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,cAAc,CAAC,QAAQ,EAAE,KAAK,CAAC;YAAE,OAAO,aAAa,EAAE,CAAC;QAC3F,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,0BAA0B,EAAE,CAAC;IACpF,CAAC;IAEO,KAAK,CAAC,aAAa,CACzB,QAAkE;QAElE,IAAI,QAAQ,CAAC,yBAAyB,KAAK,CAAC,EAAE,CAAC;YAC7C,OAAO,OAAO,CAAC,WAAW,EAAE,8CAA8C,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;QACpG,CAAC;QACD,MAAM,KAAK,GAAqB;YAC9B,GAAG,OAAO,CAAC,QAAQ,CAAC;YACpB,KAAK,EAAE,iBAAiB;YACxB,SAAS,EAAE,QAAQ,CAAC,SAAS;YAC7B,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,yBAAyB,EAAE,CAAC;SAC7B,CAAC;QACF,IAAI,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,cAAc,CAAC,QAAQ,EAAE,KAAK,CAAC;YAAE,OAAO,aAAa,EAAE,CAAC;QAC3F,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,kBAAkB,EAAE,IAAI,EAAE,oCAAoC,EAAE,CAAC;IACxG,CAAC;IAEO,KAAK,CAAC,QAAQ,CACpB,QAA0B,EAC1B,QAAuB,EACvB,MAA0B,EAC1B,MAAmC,EACnC,eAAiC,QAAQ;QAEzC,IAAI,OAAuB,CAAC;QAC5B,IAAI,CAAC;YACH,OAAO,GAAG,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,YAAY,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAC9G,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,OAAO,CAAC,QAAQ,EAAE,+BAA+B,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC9E,CAAC;QACD,MAAM,QAAQ,GAAqB,EAAE,GAAG,OAAO,CAAC,YAAY,CAAC,EAAE,KAAK,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;QACzG,IAAI,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,CAAC;YAAE,OAAO,aAAa,EAAE,CAAC;QACjG,OAAO,QAAQ,CAAC,MAAM,KAAK,eAAe;YACxC,CAAC,CAAC,EAAE,MAAM,EAAE,eAAe,EAAE,OAAO,EAAE;YACtC,CAAC,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC;IACvC,CAAC;IAEO,KAAK,CAAC,MAAM,CAAC,QAA0B;QAC7C,IAAI,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC;YAAE,OAAO,aAAa,EAAE,CAAC;QAC5E,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;IACjC,CAAC;CACF;AAED,SAAS,uBAAuB,CAC9B,QAAuF,EACvF,WAAmE,EACnE,OAAU;IAEV,IAAI,WAAW,EAAE,IAAI,KAAK,WAAW,EAAE,CAAC;QACtC,OAAO,EAAE,GAAG,OAAO,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,wBAAwB,EAAE,QAAQ,EAAE,WAAW,CAAC,QAAQ,EAAE,sBAAsB,EAAE,OAAO,EAAE,CAAC;IACpI,CAAC;IACD,IAAI,WAAW,EAAE,IAAI,KAAK,oBAAoB,EAAE,CAAC;QAC/C,OAAO;YACL,GAAG,OAAO,CAAC,QAAQ,CAAC;YACpB,KAAK,EAAE,wBAAwB;YAC/B,SAAS,EAAE,WAAW,CAAC,SAAS;YAChC,MAAM,EAAE,WAAW,CAAC,MAAM;YAC1B,MAAM,EAAE,WAAW,CAAC,MAAM;YAC1B,QAAQ,EAAE,WAAW,CAAC,QAAQ;YAC9B,sBAAsB,EAAE,OAAO;SAChC,CAAC;IACJ,CAAC;IACD,OAAO;QACL,GAAG,OAAO,CAAC,QAAQ,CAAC;QACpB,KAAK,EAAE,cAAc;QACrB,iBAAiB,EAAE,QAAQ,CAAC,SAAS;QACrC,sBAAsB,EAAE,OAAO;KAChC,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,IAAc,EACd,WAAmE;IAEnE,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,EAAE,GAAG,sBAAsB,CAAC,CAAC;IACnD,IAAI,WAAW,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACvC,KAAK,CAAC,IAAI,CAAC,cAAc,WAAW,CAAC,IAAI,EAAE,EAAE,kBAAkB,aAAa,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IACtG,IAAI,WAAW,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;QAC9C,KAAK,CAAC,IAAI,CACR,mBAAmB,WAAW,CAAC,MAAM,CAAC,cAAc,EAAE,EACtD,qBAAqB,aAAa,CAAC,WAAW,CAAC,SAAS,CAAC,EAAE,EAC3D,aAAa,aAAa,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,EAChD,uDAAuD,EACvD,kCAAkC,CACnC,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,iBAAiB,CACxB,IAAc,EACd,KAA8D;IAE9D,OAAO;QACL,GAAG,IAAI;QACP,mBAAmB,KAAK,CAAC,MAAM,CAAC,cAAc,EAAE;QAChD,qBAAqB,aAAa,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE;QACrD,qBAAqB,aAAa,CAAC,KAAK,CAAC,SAAS,CAAC,iBAAiB,CAAC,EAAE;QACvE,yDAAyD;QACzD,gDAAgD;QAChD,kCAAkC;KACnC,CAAC;AACJ,CAAC;AAED,SAAS,OAAO,CAAC,SAA2B;IAC1C,OAAO;QACL,OAAO,EAAE,SAAS,CAAC,OAAO;QAC1B,aAAa,EAAE,SAAS,CAAC,aAAa;QACtC,sBAAsB,EAAE,SAAS,CAAC,sBAAsB;QACxD,yBAAyB,EAAE,SAAS,CAAC,yBAAyB;QAC9D,gBAAgB,EAAE,SAAS,CAAC,gBAAgB;KAC7C,CAAC;AACJ,CAAC;AAED,SAAS,OAAO,CACd,IAAyC,EACzC,IAAY,EACZ,QAAkB;IAElB,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AACrD,CAAC;AAED,SAAS,aAAa;IACpB,OAAO,OAAO,CAAC,QAAQ,EAAE,sBAAsB,EAAE,CAAC,sDAAsD,CAAC,CAAC,CAAC;AAC7G,CAAC;AAED,SAAS,eAAe,CAAC,QAAgB,EAAE,MAAc;IACvD,OAAO,OAAO,CAAC,QAAQ,EAAE,wBAAwB,EAAE,CAAC,YAAY,QAAQ,2BAA2B,MAAM,GAAG,CAAC,CAAC,CAAC;AACjH,CAAC;AAED,SAAS,OAAO,CAAC,KAAc;IAC7B,OAAO,KAAK,YAAY,KAAK,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,yBAAyB,CAAC;AACxG,CAAC;AAED,SAAS,gBAAgB,CAAC,QAAkB,EAAE,QAAgB;IAC5D,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;AACrD,CAAC"}
|
|
@@ -0,0 +1,129 @@
|
|
|
1
|
+
import { type TriageRouteV1 } from './triage-route.js';
|
|
2
|
+
import type { WaitingHumanExecutionV1 } from './waiting-human.js';
|
|
3
|
+
export type DeliveryRoute = 'direct' | 'spec-required' | 'awaiting-user';
|
|
4
|
+
export interface RouteArtifactRefV1 {
|
|
5
|
+
operation: 'triage';
|
|
6
|
+
attemptId: string;
|
|
7
|
+
artifactSha256: string;
|
|
8
|
+
generationHash: string;
|
|
9
|
+
}
|
|
10
|
+
export interface AmbiguityReviewRefV1 {
|
|
11
|
+
operation: 'ambiguity-review';
|
|
12
|
+
attemptId: string;
|
|
13
|
+
candidateSha256: string;
|
|
14
|
+
artifactSha256: string;
|
|
15
|
+
verdict: 'approved' | 'rejected';
|
|
16
|
+
generationHash: string;
|
|
17
|
+
}
|
|
18
|
+
export interface AmbiguityReviewArtifactV1 {
|
|
19
|
+
version: 1;
|
|
20
|
+
candidateSha256: string;
|
|
21
|
+
verdict: 'approved' | 'rejected' | 'blocked';
|
|
22
|
+
evidenceReviewed: string[];
|
|
23
|
+
findings: string[];
|
|
24
|
+
recommendation: string;
|
|
25
|
+
}
|
|
26
|
+
export interface RouteReceiptV1 {
|
|
27
|
+
version: 1;
|
|
28
|
+
route: DeliveryRoute;
|
|
29
|
+
triage: RouteArtifactRefV1;
|
|
30
|
+
review: AmbiguityReviewRefV1 | null;
|
|
31
|
+
artifact: TriageRouteV1;
|
|
32
|
+
decisionSha256: string;
|
|
33
|
+
decidedAt: string;
|
|
34
|
+
assumptions: string[];
|
|
35
|
+
}
|
|
36
|
+
export interface RouteBudgetsV1 {
|
|
37
|
+
version: 1;
|
|
38
|
+
triageRepairs: 0 | 1;
|
|
39
|
+
triageTransportRetries: 0 | 1;
|
|
40
|
+
ambiguityTransportRetries: 0 | 1;
|
|
41
|
+
candidateReviews: 0 | 1;
|
|
42
|
+
}
|
|
43
|
+
export type MalformedRepairInputV1 = {
|
|
44
|
+
kind: 'malformed';
|
|
45
|
+
findings: string[];
|
|
46
|
+
};
|
|
47
|
+
export type CandidateRepairInputV1 = {
|
|
48
|
+
kind: 'rejected-candidate';
|
|
49
|
+
candidate: TriageRouteV1;
|
|
50
|
+
triage: RouteArtifactRefV1;
|
|
51
|
+
review: AmbiguityReviewRefV1;
|
|
52
|
+
findings: string[];
|
|
53
|
+
};
|
|
54
|
+
export type RouteExecutionV1 = RouteBudgetsV1 & ({
|
|
55
|
+
phase: 'triage-ready';
|
|
56
|
+
previousAttemptId: string | null;
|
|
57
|
+
} | {
|
|
58
|
+
phase: 'triage-in-flight';
|
|
59
|
+
attemptId: string;
|
|
60
|
+
startedAt: string;
|
|
61
|
+
} | {
|
|
62
|
+
phase: 'candidate-ready';
|
|
63
|
+
candidate: TriageRouteV1;
|
|
64
|
+
triage: RouteArtifactRefV1;
|
|
65
|
+
} | {
|
|
66
|
+
phase: 'review-in-flight';
|
|
67
|
+
attemptId: string;
|
|
68
|
+
startedAt: string;
|
|
69
|
+
candidate: TriageRouteV1;
|
|
70
|
+
triage: RouteArtifactRefV1;
|
|
71
|
+
} | {
|
|
72
|
+
phase: 'malformed-repair-ready';
|
|
73
|
+
findings: string[];
|
|
74
|
+
} | {
|
|
75
|
+
phase: 'candidate-repair-ready';
|
|
76
|
+
candidate: TriageRouteV1;
|
|
77
|
+
triage: RouteArtifactRefV1;
|
|
78
|
+
review: AmbiguityReviewRefV1;
|
|
79
|
+
findings: string[];
|
|
80
|
+
} | {
|
|
81
|
+
phase: 'repair-in-flight';
|
|
82
|
+
attemptId: string;
|
|
83
|
+
startedAt: string;
|
|
84
|
+
repairInput: MalformedRepairInputV1 | CandidateRepairInputV1;
|
|
85
|
+
} | {
|
|
86
|
+
phase: 'route-complete';
|
|
87
|
+
triage: RouteArtifactRefV1;
|
|
88
|
+
review: AmbiguityReviewRefV1 | null;
|
|
89
|
+
});
|
|
90
|
+
export type RouteLifecycle = 'claimed' | 'triaging' | 'routed' | 'implementing' | 'waiting-human' | 'spec-authoring' | 'reworking' | 'checking' | 'proving' | 'publishing' | 'safe-halt' | 'review-ready' | 'blocked' | 'transport-failed' | 'cancelled' | 'internal-error';
|
|
91
|
+
export type RoutedLifecycle = 'implementing' | 'spec-authoring' | 'waiting-human';
|
|
92
|
+
export declare function hashTriageArtifact(value: unknown): string;
|
|
93
|
+
export declare function hashAmbiguityReviewArtifact(value: unknown): string;
|
|
94
|
+
export declare function hashRouteDecision(value: RouteReceiptV1): string;
|
|
95
|
+
export declare function validateAmbiguityReviewArtifact(value: unknown): AmbiguityReviewArtifactV1;
|
|
96
|
+
export declare function validateRouteArtifactRef(value: unknown, expectedGenerationHash?: string): RouteArtifactRefV1;
|
|
97
|
+
export declare function validateAmbiguityReviewRef(value: unknown, expectedGenerationHash?: string): AmbiguityReviewRefV1;
|
|
98
|
+
export declare function validateRouteReceipt(value: unknown, expectedGenerationHash?: string): RouteReceiptV1;
|
|
99
|
+
export declare function validateRouteExecution(value: unknown, expectedGenerationHash?: string): RouteExecutionV1;
|
|
100
|
+
export declare function validateRouteStateInvariant(input: {
|
|
101
|
+
lifecycle: RouteLifecycle;
|
|
102
|
+
routeExecution: unknown;
|
|
103
|
+
routeReceipt: unknown;
|
|
104
|
+
generationHash: string;
|
|
105
|
+
}): void;
|
|
106
|
+
export declare function downstreamLifecycleForRoute(receiptValue: unknown, expectedGenerationHash?: string): RoutedLifecycle;
|
|
107
|
+
export declare function validateRouteTransition(previous: {
|
|
108
|
+
lifecycle: RouteLifecycle;
|
|
109
|
+
routeExecution: unknown;
|
|
110
|
+
routeReceipt: unknown;
|
|
111
|
+
generationHash: string;
|
|
112
|
+
}, next: {
|
|
113
|
+
lifecycle: RouteLifecycle;
|
|
114
|
+
routeExecution: unknown;
|
|
115
|
+
routeReceipt: unknown;
|
|
116
|
+
generationHash: string;
|
|
117
|
+
}): void;
|
|
118
|
+
export declare function validateTrustedAnswerResumeTransition(previous: {
|
|
119
|
+
lifecycle: RouteLifecycle;
|
|
120
|
+
routeExecution: unknown;
|
|
121
|
+
routeReceipt: unknown;
|
|
122
|
+
generationHash: string;
|
|
123
|
+
}, next: {
|
|
124
|
+
lifecycle: RouteLifecycle;
|
|
125
|
+
routeExecution: unknown;
|
|
126
|
+
routeReceipt: unknown;
|
|
127
|
+
generationHash: string;
|
|
128
|
+
}, waitingHuman: WaitingHumanExecutionV1): void;
|
|
129
|
+
//# sourceMappingURL=route-decision.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"route-decision.d.ts","sourceRoot":"","sources":["../../../src/v2/route-decision.ts"],"names":[],"mappings":"AACA,OAAO,EAAuB,KAAK,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAC5E,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAUlE,MAAM,MAAM,aAAa,GAAG,QAAQ,GAAG,eAAe,GAAG,eAAe,CAAC;AAEzE,MAAM,WAAW,kBAAkB;IACjC,SAAS,EAAE,QAAQ,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,MAAM,CAAC;IACvB,cAAc,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,oBAAoB;IACnC,SAAS,EAAE,kBAAkB,CAAC;IAC9B,SAAS,EAAE,MAAM,CAAC;IAClB,eAAe,EAAE,MAAM,CAAC;IACxB,cAAc,EAAE,MAAM,CAAC;IACvB,OAAO,EAAE,UAAU,GAAG,UAAU,CAAC;IACjC,cAAc,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,yBAAyB;IACxC,OAAO,EAAE,CAAC,CAAC;IACX,eAAe,EAAE,MAAM,CAAC;IACxB,OAAO,EAAE,UAAU,GAAG,UAAU,GAAG,SAAS,CAAC;IAC7C,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,cAAc,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,CAAC,CAAC;IACX,KAAK,EAAE,aAAa,CAAC;IACrB,MAAM,EAAE,kBAAkB,CAAC;IAC3B,MAAM,EAAE,oBAAoB,GAAG,IAAI,CAAC;IACpC,QAAQ,EAAE,aAAa,CAAC;IACxB,cAAc,EAAE,MAAM,CAAC;IACvB,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB;AAED,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,CAAC,CAAC;IACX,aAAa,EAAE,CAAC,GAAG,CAAC,CAAC;IACrB,sBAAsB,EAAE,CAAC,GAAG,CAAC,CAAC;IAC9B,yBAAyB,EAAE,CAAC,GAAG,CAAC,CAAC;IACjC,gBAAgB,EAAE,CAAC,GAAG,CAAC,CAAC;CACzB;AAED,MAAM,MAAM,sBAAsB,GAAG;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC;AAE/E,MAAM,MAAM,sBAAsB,GAAG;IACnC,IAAI,EAAE,oBAAoB,CAAC;IAC3B,SAAS,EAAE,aAAa,CAAC;IACzB,MAAM,EAAE,kBAAkB,CAAC;IAC3B,MAAM,EAAE,oBAAoB,CAAC;IAC7B,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG,cAAc,GAAG,CAC5C;IAAE,KAAK,EAAE,cAAc,CAAC;IAAC,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,GAC3D;IAAE,KAAK,EAAE,kBAAkB,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GACnE;IAAE,KAAK,EAAE,iBAAiB,CAAC;IAAC,SAAS,EAAE,aAAa,CAAC;IAAC,MAAM,EAAE,kBAAkB,CAAA;CAAE,GAClF;IAAE,KAAK,EAAE,kBAAkB,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,aAAa,CAAC;IAAC,MAAM,EAAE,kBAAkB,CAAA;CAAE,GACzH;IAAE,KAAK,EAAE,wBAAwB,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;CAAE,GACvD;IAAE,KAAK,EAAE,wBAAwB,CAAC;IAAC,SAAS,EAAE,aAAa,CAAC;IAAC,MAAM,EAAE,kBAAkB,CAAC;IAAC,MAAM,EAAE,oBAAoB,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;CAAE,GAC3I;IAAE,KAAK,EAAE,kBAAkB,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,sBAAsB,GAAG,sBAAsB,CAAA;CAAE,GACjI;IAAE,KAAK,EAAE,gBAAgB,CAAC;IAAC,MAAM,EAAE,kBAAkB,CAAC;IAAC,MAAM,EAAE,oBAAoB,GAAG,IAAI,CAAA;CAAE,CAC/F,CAAC;AAEF,MAAM,MAAM,cAAc,GACtB,SAAS,GACT,UAAU,GACV,QAAQ,GACR,cAAc,GACd,eAAe,GACf,gBAAgB,GAChB,WAAW,GACX,UAAU,GACV,SAAS,GACT,YAAY,GACZ,WAAW,GACX,cAAc,GACd,SAAS,GACT,kBAAkB,GAClB,WAAW,GACX,gBAAgB,CAAC;AAErB,MAAM,MAAM,eAAe,GAAG,cAAc,GAAG,gBAAgB,GAAG,eAAe,CAAC;AAElF,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAEzD;AAED,wBAAgB,2BAA2B,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAElE;AAED,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,cAAc,GAAG,MAAM,CAG/D;AAED,wBAAgB,+BAA+B,CAAC,KAAK,EAAE,OAAO,GAAG,yBAAyB,CAezF;AAED,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,OAAO,EAAE,sBAAsB,CAAC,EAAE,MAAM,GAAG,kBAAkB,CAO5G;AAED,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,OAAO,EAAE,sBAAsB,CAAC,EAAE,MAAM,GAAG,oBAAoB,CAWhH;AAED,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,OAAO,EAAE,sBAAsB,CAAC,EAAE,MAAM,GAAG,cAAc,CAEpG;AAsDD,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,OAAO,EAAE,sBAAsB,CAAC,EAAE,MAAM,GAAG,gBAAgB,CAqDxG;AAED,wBAAgB,2BAA2B,CAAC,KAAK,EAAE;IACjD,SAAS,EAAE,cAAc,CAAC;IAC1B,cAAc,EAAE,OAAO,CAAC;IACxB,YAAY,EAAE,OAAO,CAAC;IACtB,cAAc,EAAE,MAAM,CAAC;CACxB,GAAG,IAAI,CAwCP;AAED,wBAAgB,2BAA2B,CACzC,YAAY,EAAE,OAAO,EACrB,sBAAsB,CAAC,EAAE,MAAM,GAC9B,eAAe,CAKjB;AAED,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE;IACR,SAAS,EAAE,cAAc,CAAC;IAC1B,cAAc,EAAE,OAAO,CAAC;IACxB,YAAY,EAAE,OAAO,CAAC;IACtB,cAAc,EAAE,MAAM,CAAC;CACxB,EACD,IAAI,EAAE;IACJ,SAAS,EAAE,cAAc,CAAC;IAC1B,cAAc,EAAE,OAAO,CAAC;IACxB,YAAY,EAAE,OAAO,CAAC;IACtB,cAAc,EAAE,MAAM,CAAC;CACxB,GACA,IAAI,CAcN;AAED,wBAAgB,qCAAqC,CACnD,QAAQ,EAAE;IAAE,SAAS,EAAE,cAAc,CAAC;IAAC,cAAc,EAAE,OAAO,CAAC;IAAC,YAAY,EAAE,OAAO,CAAC;IAAC,cAAc,EAAE,MAAM,CAAA;CAAE,EAC/G,IAAI,EAAE;IAAE,SAAS,EAAE,cAAc,CAAC;IAAC,cAAc,EAAE,OAAO,CAAC;IAAC,YAAY,EAAE,OAAO,CAAC;IAAC,cAAc,EAAE,MAAM,CAAA;CAAE,EAC3G,YAAY,EAAE,uBAAuB,GACpC,IAAI,CAcN"}
|