agentic-engineering-harness 0.8.3 → 0.8.4
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 +2 -0
- package/dist/agents/outputContracts.js +1 -1
- package/dist/agents/outputContracts.js.map +1 -1
- package/dist/agents/parallelism.js +3 -2
- package/dist/agents/parallelism.js.map +1 -1
- package/dist/agents/permissions.js +1 -1
- package/dist/agents/permissions.js.map +1 -1
- package/dist/agents/waveExecutor.js +25 -15
- package/dist/agents/waveExecutor.js.map +1 -1
- package/dist/certification/adapters.d.ts +4 -0
- package/dist/certification/adapters.js +17 -0
- package/dist/certification/adapters.js.map +1 -0
- package/dist/certification/artifacts.d.ts +3 -0
- package/dist/certification/artifacts.js +18 -0
- package/dist/certification/artifacts.js.map +1 -0
- package/dist/certification/bootstrap.d.ts +33 -0
- package/dist/certification/bootstrap.js +138 -0
- package/dist/certification/bootstrap.js.map +1 -0
- package/dist/certification/codex.d.ts +26 -0
- package/dist/certification/codex.js +125 -0
- package/dist/certification/codex.js.map +1 -0
- package/dist/certification/core.d.ts +15 -0
- package/dist/certification/core.js +300 -0
- package/dist/certification/core.js.map +1 -0
- package/dist/certification/index.d.ts +9 -0
- package/dist/certification/index.js +10 -0
- package/dist/certification/index.js.map +1 -0
- package/dist/certification/oracle.d.ts +11 -0
- package/dist/certification/oracle.js +29 -0
- package/dist/certification/oracle.js.map +1 -0
- package/dist/certification/policy.d.ts +3 -0
- package/dist/certification/policy.js +59 -0
- package/dist/certification/policy.js.map +1 -0
- package/dist/certification/provider.d.ts +27 -0
- package/dist/certification/provider.js +170 -0
- package/dist/certification/provider.js.map +1 -0
- package/dist/certification/types.d.ts +234 -0
- package/dist/certification/types.js +2 -0
- package/dist/certification/types.js.map +1 -0
- package/dist/cli.js +27 -0
- package/dist/cli.js.map +1 -1
- package/dist/context/gateway.d.ts +1 -0
- package/dist/context/gateway.js +13 -5
- package/dist/context/gateway.js.map +1 -1
- package/dist/context/retrieval/persisted.d.ts +3 -2
- package/dist/context/retrieval/persisted.js +23 -7
- package/dist/context/retrieval/persisted.js.map +1 -1
- package/dist/context/retrieval/server.js +7 -4
- package/dist/context/retrieval/server.js.map +1 -1
- package/dist/core/config.js +1 -0
- package/dist/core/config.js.map +1 -1
- package/dist/core/controlPlane.d.ts +1 -0
- package/dist/core/controlPlane.js +12 -0
- package/dist/core/controlPlane.js.map +1 -1
- package/dist/core/git.d.ts +12 -2
- package/dist/core/git.js +31 -5
- package/dist/core/git.js.map +1 -1
- package/dist/core/run.d.ts +2 -0
- package/dist/core/run.js +3 -2
- package/dist/core/run.js.map +1 -1
- package/dist/core/sdd.js +1 -1
- package/dist/core/sdd.js.map +1 -1
- package/dist/core/seal.js +4 -3
- package/dist/core/seal.js.map +1 -1
- package/dist/core/types.d.ts +15 -0
- package/dist/core/verify.js +7 -3
- package/dist/core/verify.js.map +1 -1
- package/dist/distributed/queue.js +24 -6
- package/dist/distributed/queue.js.map +1 -1
- package/dist/distributed/types.d.ts +1 -0
- package/dist/distributed/worker.d.ts +6 -1
- package/dist/distributed/worker.js +25 -6
- package/dist/distributed/worker.js.map +1 -1
- package/dist/evidence/graph.js +2 -2
- package/dist/evidence/graph.js.map +1 -1
- package/dist/metrics/usage.js +8 -0
- package/dist/metrics/usage.js.map +1 -1
- package/dist/operations/change.d.ts +4 -0
- package/dist/operations/change.js +34 -11
- package/dist/operations/change.js.map +1 -1
- package/dist/operations/changeHandoff.d.ts +4 -0
- package/dist/operations/changeHandoff.js +2 -2
- package/dist/operations/changeHandoff.js.map +1 -1
- package/dist/operations/completion.js +38 -27
- package/dist/operations/completion.js.map +1 -1
- package/dist/operations/controller.js +142 -10
- package/dist/operations/controller.js.map +1 -1
- package/dist/operations/livenessV2.js +14 -12
- package/dist/operations/livenessV2.js.map +1 -1
- package/dist/operations/monitorProcess.js +11 -1
- package/dist/operations/monitorProcess.js.map +1 -1
- package/dist/operations/state.d.ts +2 -0
- package/dist/operations/state.js +31 -8
- package/dist/operations/state.js.map +1 -1
- package/dist/operations/supervisor.js +11 -2
- package/dist/operations/supervisor.js.map +1 -1
- package/dist/paseo/capabilities.js +0 -2
- package/dist/paseo/capabilities.js.map +1 -1
- package/dist/paseo/launchSpec.js +5 -3
- package/dist/paseo/launchSpec.js.map +1 -1
- package/dist/paseo/runtime.d.ts +1 -1
- package/dist/paseo/runtime.js +1 -1
- package/dist/paseo/runtime.js.map +1 -1
- package/dist/paseo/runtimeCore.d.ts +4 -0
- package/dist/paseo/runtimeCore.js +27 -2
- package/dist/paseo/runtimeCore.js.map +1 -1
- package/dist/paseo/sdk.d.ts +8 -0
- package/dist/paseo/sdk.js +85 -17
- package/dist/paseo/sdk.js.map +1 -1
- package/dist/paseo/start.js +2 -2
- package/dist/paseo/start.js.map +1 -1
- package/dist/security/sandbox.d.ts +1 -0
- package/dist/security/sandbox.js +20 -2
- package/dist/security/sandbox.js.map +1 -1
- package/dist/utils/process.d.ts +10 -0
- package/dist/utils/process.js +171 -6
- package/dist/utils/process.js.map +1 -1
- package/dist/utils/repositoryPath.d.ts +4 -0
- package/dist/utils/repositoryPath.js +23 -0
- package/dist/utils/repositoryPath.js.map +1 -0
- package/dist/validators/opa.js +2 -2
- package/dist/validators/quickAcceptance.d.ts +7 -0
- package/dist/validators/quickAcceptance.js +40 -0
- package/dist/validators/quickAcceptance.js.map +1 -0
- package/dist/workers/agentPrompt.js +247 -32
- package/dist/workers/agentPrompt.js.map +1 -1
- package/dist/workers/direct.js +9 -10
- package/dist/workers/direct.js.map +1 -1
- package/dist/workers/directProcess.d.ts +19 -0
- package/dist/workers/directProcess.js +147 -0
- package/dist/workers/directProcess.js.map +1 -0
- package/dist/workers/podman.js +2 -2
- package/dist/workers/podman.js.map +1 -1
- package/dist/workers/resultCommit.js +1 -1
- package/dist/workers/resultCommit.js.map +1 -1
- package/dist/workers/resultGateway.d.ts +27 -2
- package/dist/workers/resultGateway.js +64 -11
- package/dist/workers/resultGateway.js.map +1 -1
- package/docs/CERTIFICATION.md +31 -0
- package/package.json +2 -2
- package/schemas/project.schema.json +1 -0
|
@@ -0,0 +1,300 @@
|
|
|
1
|
+
import crypto from "node:crypto";
|
|
2
|
+
import fs from "node:fs/promises";
|
|
3
|
+
import path from "node:path";
|
|
4
|
+
import { mergeUsageMetrics } from "../metrics/usage.js";
|
|
5
|
+
import { createCertificationOracleResult, oracleCanAccept } from "./oracle.js";
|
|
6
|
+
import { validateCertificationPolicy } from "./policy.js";
|
|
7
|
+
export class CertificationCore {
|
|
8
|
+
oracle;
|
|
9
|
+
provider;
|
|
10
|
+
constructor(oracle, provider) {
|
|
11
|
+
this.oracle = oracle;
|
|
12
|
+
this.provider = provider;
|
|
13
|
+
}
|
|
14
|
+
async certify(input) {
|
|
15
|
+
const startedAt = new Date().toISOString();
|
|
16
|
+
const policy = validateCertificationPolicy(input.policy);
|
|
17
|
+
assertCertificationEntryAllowed(policy);
|
|
18
|
+
const candidate = await normalizeCandidate(input.candidate);
|
|
19
|
+
const certificationId = `cert-${candidate.id}-${crypto.randomUUID()}`;
|
|
20
|
+
const attempts = [];
|
|
21
|
+
const providerResults = [];
|
|
22
|
+
let usage = {};
|
|
23
|
+
let durationMs = 0;
|
|
24
|
+
let usageKnown = true;
|
|
25
|
+
let oracleResult = emptyOracle(this.oracle.id);
|
|
26
|
+
let reviewer;
|
|
27
|
+
const networkPolicy = directNetworkPolicy(policy);
|
|
28
|
+
await this.oracle.prepare?.({ candidate, policy, attempt: 0 });
|
|
29
|
+
const invoke = async (request) => {
|
|
30
|
+
if (!this.provider)
|
|
31
|
+
return undefined;
|
|
32
|
+
assertProviderRequest(request, candidate, policy);
|
|
33
|
+
const budgetFailure = budgetFailureReason(policy, attempts, durationMs, usage, usageKnown);
|
|
34
|
+
if (budgetFailure)
|
|
35
|
+
return undefined;
|
|
36
|
+
const prepared = withCertificationEnvironment(request);
|
|
37
|
+
const began = Date.now();
|
|
38
|
+
let result;
|
|
39
|
+
if (!prepared.allowNetwork && this.provider.networkIsolation !== "enforced") {
|
|
40
|
+
result = failedProviderResult(prepared, "Certification provider cannot prove network isolation for a denied-network request.", 0);
|
|
41
|
+
}
|
|
42
|
+
else {
|
|
43
|
+
try {
|
|
44
|
+
result = await this.provider.execute(prepared);
|
|
45
|
+
}
|
|
46
|
+
catch (error) {
|
|
47
|
+
result = failedProviderResult(prepared, String(error), Date.now() - began);
|
|
48
|
+
}
|
|
49
|
+
}
|
|
50
|
+
attempts.push({ attempt: attempts.length + 1, role: result.role, status: result.status, startedAt: new Date(began).toISOString(), finishedAt: nowIso(), durationMs: result.durationMs, usage: result.usage, message: result.stderr || undefined });
|
|
51
|
+
providerResults.push(result);
|
|
52
|
+
usage = mergeUsageMetrics(usage, result.usage);
|
|
53
|
+
durationMs += result.durationMs;
|
|
54
|
+
usageKnown = usageKnown && result.usageKnown;
|
|
55
|
+
return result;
|
|
56
|
+
};
|
|
57
|
+
const evaluateOracle = async (attempt) => {
|
|
58
|
+
const remaining = policy.budget.maxDurationMs - durationMs;
|
|
59
|
+
if (remaining <= 0)
|
|
60
|
+
throw new Error("Certification duration budget exhausted before oracle evaluation.");
|
|
61
|
+
const controller = new AbortController();
|
|
62
|
+
const began = Date.now();
|
|
63
|
+
const startedAt = new Date(began).toISOString();
|
|
64
|
+
let timer;
|
|
65
|
+
try {
|
|
66
|
+
const result = await Promise.race([
|
|
67
|
+
this.oracle.evaluate({ candidate, policy, attempt, signal: controller.signal, actor: actorResult }),
|
|
68
|
+
new Promise((_, reject) => { timer = setTimeout(() => { controller.abort(); reject(new Error("Certification oracle timed out.")); }, remaining); })
|
|
69
|
+
]);
|
|
70
|
+
const finishedAt = nowIso();
|
|
71
|
+
attempts.push({ attempt: attempts.length + 1, role: "oracle", status: result.status, startedAt, finishedAt, durationMs: Date.now() - began, message: result.failures.length ? result.failures.map((failure) => failure.message).join("; ") : undefined });
|
|
72
|
+
return result;
|
|
73
|
+
}
|
|
74
|
+
catch (error) {
|
|
75
|
+
const finishedAt = nowIso();
|
|
76
|
+
attempts.push({ attempt: attempts.length + 1, role: "oracle", status: "FAILED", startedAt, finishedAt, durationMs: Date.now() - began, message: String(error) });
|
|
77
|
+
throw error;
|
|
78
|
+
}
|
|
79
|
+
finally {
|
|
80
|
+
if (timer)
|
|
81
|
+
clearTimeout(timer);
|
|
82
|
+
durationMs += Date.now() - began;
|
|
83
|
+
}
|
|
84
|
+
};
|
|
85
|
+
const actorResult = input.actor ? await invoke(input.actor) : undefined;
|
|
86
|
+
try {
|
|
87
|
+
oracleResult = await evaluateOracle(0);
|
|
88
|
+
assertOracleResult(oracleResult, policy, this.oracle);
|
|
89
|
+
}
|
|
90
|
+
catch (error) {
|
|
91
|
+
oracleResult = emptyOracle(this.oracle.id, [{ id: "oracle.crash", category: "oracle", message: String(error) }]);
|
|
92
|
+
}
|
|
93
|
+
let state;
|
|
94
|
+
let failureReason;
|
|
95
|
+
let failures = oracleResult.failures;
|
|
96
|
+
const budgetEvidenceMissing = providerResults.length ? budgetEvidenceUnavailable(policy, usage, usageKnown) : undefined;
|
|
97
|
+
const modelE2E = modelE2ELane(actorResult, oracleResult, input.requireModelEvidence === true);
|
|
98
|
+
const modelRequired = input.requireModelE2E === true;
|
|
99
|
+
if (policy.security.requireNetworkIsolation && !networkPolicy.enforced) {
|
|
100
|
+
state = "BLOCKED";
|
|
101
|
+
failureReason = "SAFETY_FAILURE";
|
|
102
|
+
failures = [{ id: "security.network-isolation", category: "security", message: "Certification requires network isolation, but the direct provider transport cannot enforce it." }];
|
|
103
|
+
}
|
|
104
|
+
else if (actorResult && (actorResult.status !== "COMPLETED" || actorResult.exitCode !== 0)) {
|
|
105
|
+
state = modelRequired ? "BLOCKED" : "HUMAN_REQUIRED";
|
|
106
|
+
failureReason = "PROVIDER_FAILURE";
|
|
107
|
+
failures = [{ id: "provider.actor", category: "provider", message: "The actor provider did not complete successfully." }];
|
|
108
|
+
}
|
|
109
|
+
else if (modelRequired && modelE2E.status !== "PASS") {
|
|
110
|
+
state = "BLOCKED";
|
|
111
|
+
failureReason = "PROVIDER_FAILURE";
|
|
112
|
+
failures = [{ id: "provider.model-e2e", category: "provider", message: "Required model-driven E2E execution was not proven by a started provider receipt." }];
|
|
113
|
+
}
|
|
114
|
+
else if (budgetEvidenceMissing) {
|
|
115
|
+
state = "HUMAN_REQUIRED";
|
|
116
|
+
failureReason = "BUDGET_EXHAUSTED";
|
|
117
|
+
failures = [{ id: "budget.usage", category: "budget", message: budgetEvidenceMissing }];
|
|
118
|
+
}
|
|
119
|
+
else if (oracleResult.status === "PASS" && oracleCanAccept(oracleResult, policy.assurance)) {
|
|
120
|
+
if (policy.review.enabled && input.reviewer && this.provider) {
|
|
121
|
+
reviewer = await invoke(input.reviewer.create(candidate, oracleResult));
|
|
122
|
+
const reviewOk = reviewer?.status === "COMPLETED" && reviewer.exitCode === 0;
|
|
123
|
+
const reviewBudgetMissing = budgetEvidenceUnavailable(policy, usage, usageKnown);
|
|
124
|
+
if (reviewBudgetMissing) {
|
|
125
|
+
state = "HUMAN_REQUIRED";
|
|
126
|
+
failureReason = "BUDGET_EXHAUSTED";
|
|
127
|
+
failures = [{ id: "budget.usage", category: "budget", message: reviewBudgetMissing }];
|
|
128
|
+
}
|
|
129
|
+
else if (!reviewOk && policy.review.required) {
|
|
130
|
+
state = "HUMAN_REQUIRED";
|
|
131
|
+
failureReason = "REVIEW_FAILURE";
|
|
132
|
+
failures = [{ id: "review.failed", category: "review", message: "Required external review did not complete successfully." }];
|
|
133
|
+
}
|
|
134
|
+
else
|
|
135
|
+
state = "ACCEPTED";
|
|
136
|
+
}
|
|
137
|
+
else if (policy.review.required) {
|
|
138
|
+
state = "HUMAN_REQUIRED";
|
|
139
|
+
failureReason = "REVIEW_FAILURE";
|
|
140
|
+
failures = [{ id: "review.missing", category: "review", message: "A required external review was not provided." }];
|
|
141
|
+
}
|
|
142
|
+
else
|
|
143
|
+
state = "ACCEPTED";
|
|
144
|
+
}
|
|
145
|
+
else {
|
|
146
|
+
failureReason = oracleResult.status === "FAIL" ? "ORACLE_FAILURE" : "SAFETY_FAILURE";
|
|
147
|
+
while (policy.repair.enabled && input.repair && this.provider && failures.length && attempts.filter((item) => item.role === "repair").length < policy.repair.maxAttempts) {
|
|
148
|
+
const request = input.repair.create(attempts.filter((item) => item.role === "repair").length + 1, failures, candidate);
|
|
149
|
+
const result = await invoke(request);
|
|
150
|
+
if (!result)
|
|
151
|
+
break;
|
|
152
|
+
if (result.status !== "COMPLETED" || result.exitCode !== 0) {
|
|
153
|
+
failures = [{ id: "provider.repair", category: "provider", message: "The repair provider did not complete successfully." }];
|
|
154
|
+
failureReason = "PROVIDER_FAILURE";
|
|
155
|
+
break;
|
|
156
|
+
}
|
|
157
|
+
try {
|
|
158
|
+
oracleResult = await evaluateOracle(attempts.filter((item) => item.role === "repair").length);
|
|
159
|
+
assertOracleResult(oracleResult, policy, this.oracle);
|
|
160
|
+
}
|
|
161
|
+
catch (error) {
|
|
162
|
+
oracleResult = emptyOracle(this.oracle.id, [{ id: "oracle.crash", category: "oracle", message: String(error) }]);
|
|
163
|
+
failures = oracleResult.failures;
|
|
164
|
+
failureReason = "SAFETY_FAILURE";
|
|
165
|
+
break;
|
|
166
|
+
}
|
|
167
|
+
failures = oracleResult.failures;
|
|
168
|
+
if (!budgetEvidenceUnavailable(policy, usage, usageKnown) && oracleCanAccept(oracleResult, policy.assurance)) {
|
|
169
|
+
state = "ACCEPTED";
|
|
170
|
+
failureReason = undefined;
|
|
171
|
+
break;
|
|
172
|
+
}
|
|
173
|
+
}
|
|
174
|
+
if (!state) {
|
|
175
|
+
const repairAttempts = attempts.filter((item) => item.role === "repair").length;
|
|
176
|
+
const budgetBlocked = Boolean(budgetFailureReason(policy, attempts, durationMs, usage, usageKnown));
|
|
177
|
+
state = budgetBlocked || (repairAttempts >= policy.repair.maxAttempts && policy.repair.humanOnExhaustion) ? "HUMAN_REQUIRED" : "REPAIR_REQUIRED";
|
|
178
|
+
if (budgetBlocked)
|
|
179
|
+
failureReason = "BUDGET_EXHAUSTED";
|
|
180
|
+
}
|
|
181
|
+
}
|
|
182
|
+
const accepted = state === "ACCEPTED";
|
|
183
|
+
const packet = !accepted ? makeFailurePacket(certificationId, candidate, failureReason ?? "ORACLE_FAILURE", failures, attempts.filter((item) => item.role === "repair").length) : undefined;
|
|
184
|
+
const capability = input.capability ? buildCapabilityResult(input.capability, oracleResult, modelE2E, modelRequired) : undefined;
|
|
185
|
+
const report = {
|
|
186
|
+
version: 1,
|
|
187
|
+
certificationId,
|
|
188
|
+
candidate,
|
|
189
|
+
policyId: policy.id,
|
|
190
|
+
state,
|
|
191
|
+
lifecycle: "COMPLETED",
|
|
192
|
+
accepted,
|
|
193
|
+
assurance: accepted ? reviewer?.status === "COMPLETED" && reviewer.exitCode === 0 ? "DETERMINISTIC_WITH_EXTERNAL_REVIEW" : "DETERMINISTIC" : "INSUFFICIENT",
|
|
194
|
+
oracle: oracleResult,
|
|
195
|
+
reviewer,
|
|
196
|
+
providerResults,
|
|
197
|
+
attempts,
|
|
198
|
+
failurePacket: packet,
|
|
199
|
+
budget: budgetSnapshot(policy, attempts, durationMs, usage, usageKnown),
|
|
200
|
+
startedAt,
|
|
201
|
+
finishedAt: nowIso(),
|
|
202
|
+
capability,
|
|
203
|
+
networkPolicy
|
|
204
|
+
};
|
|
205
|
+
await this.oracle.dispose?.();
|
|
206
|
+
return report;
|
|
207
|
+
}
|
|
208
|
+
}
|
|
209
|
+
export function assertCertificationEntryAllowed(policy) {
|
|
210
|
+
const depth = Number(process.env.AEH_CERTIFICATION_DEPTH ?? "0");
|
|
211
|
+
if (!policy.security.allowRecursiveCertification && Number.isFinite(depth) && depth > 0)
|
|
212
|
+
throw new Error("Recursive certification is forbidden.");
|
|
213
|
+
}
|
|
214
|
+
export function assertProviderRequest(request, candidate, policy) {
|
|
215
|
+
if (request.allowNetwork && !policy.security.allowNetwork)
|
|
216
|
+
throw new Error("Provider request asks for network access that certification policy forbids.");
|
|
217
|
+
if (request.maxOutputBytes > policy.security.maxOutputBytes)
|
|
218
|
+
throw new Error("Provider output limit exceeds certification policy.");
|
|
219
|
+
if (!samePath(request.cwd, candidate.root))
|
|
220
|
+
throw new Error("Provider cwd must be the candidate root.");
|
|
221
|
+
if ((request.credentialEnvAllowlist ?? []).some((name) => !policy.security.credentialEnvAllowlist.includes(name)))
|
|
222
|
+
throw new Error("Provider requested a credential environment variable outside certification policy.");
|
|
223
|
+
if ((request.environmentAllowlist ?? []).some((name) => !policy.security.environmentAllowlist.includes(name)))
|
|
224
|
+
throw new Error("Provider requested an environment variable outside certification policy.");
|
|
225
|
+
}
|
|
226
|
+
function assertOracleResult(result, policy, oracle) {
|
|
227
|
+
if (policy.assurance.requireDeterministicOracle && result.deterministic !== true)
|
|
228
|
+
throw new Error("Certification oracle did not declare deterministic evidence.");
|
|
229
|
+
if (policy.assurance.requireIndependentOracle && oracle.independent !== true)
|
|
230
|
+
throw new Error("Certification policy requires an independent oracle.");
|
|
231
|
+
}
|
|
232
|
+
function budgetFailureReason(policy, attempts, durationMs, usage, usageKnown) {
|
|
233
|
+
if (attempts.filter((item) => item.role !== "oracle").length >= policy.budget.maxAttempts)
|
|
234
|
+
return "attempt budget exhausted";
|
|
235
|
+
if (durationMs >= policy.budget.maxDurationMs)
|
|
236
|
+
return "duration budget exhausted";
|
|
237
|
+
if (policy.budget.maxTotalTokens !== undefined && (!usageKnown && policy.budget.requireUsageForTokenBudget !== false))
|
|
238
|
+
return "token usage is unknown";
|
|
239
|
+
if (policy.budget.maxTotalTokens !== undefined && (usage.totalTokens ?? 0) > policy.budget.maxTotalTokens)
|
|
240
|
+
return "token budget exhausted";
|
|
241
|
+
if (policy.budget.maxCostUsd !== undefined && (usage.costUsd ?? 0) > policy.budget.maxCostUsd)
|
|
242
|
+
return "cost budget exhausted";
|
|
243
|
+
return undefined;
|
|
244
|
+
}
|
|
245
|
+
function budgetEvidenceUnavailable(policy, usage, usageKnown) {
|
|
246
|
+
if (policy.budget.maxTotalTokens !== undefined && (!usageKnown || usage.totalTokens === undefined))
|
|
247
|
+
return "Configured token budget cannot be proven because provider usage is incomplete.";
|
|
248
|
+
if (policy.budget.maxCostUsd !== undefined && usage.costUsd === undefined)
|
|
249
|
+
return "Configured cost budget cannot be proven because provider cost usage is unavailable.";
|
|
250
|
+
return undefined;
|
|
251
|
+
}
|
|
252
|
+
function budgetSnapshot(policy, attempts, durationMs, usage, usageKnown) {
|
|
253
|
+
return { attempts: attempts.filter((item) => item.role !== "oracle").length, durationMs, usage, remaining: { attempts: Math.max(0, policy.budget.maxAttempts - attempts.filter((item) => item.role !== "oracle").length), durationMs: Math.max(0, policy.budget.maxDurationMs - durationMs), costUsd: policy.budget.maxCostUsd === undefined || usage.costUsd === undefined ? undefined : Math.max(0, policy.budget.maxCostUsd - usage.costUsd), totalTokens: policy.budget.maxTotalTokens === undefined || usage.totalTokens === undefined ? undefined : Math.max(0, policy.budget.maxTotalTokens - usage.totalTokens) }, usageKnown };
|
|
254
|
+
}
|
|
255
|
+
function modelE2ELane(result, oracle, requireEvidence) {
|
|
256
|
+
if (!result)
|
|
257
|
+
return { status: "NOT_TESTED", evidence: { reason: "no model provider invocation" } };
|
|
258
|
+
if (result.executionEvidence?.started !== true)
|
|
259
|
+
return { status: "BLOCKED", evidence: { reason: "provider did not prove startup", providerStatus: result.status, stderr: result.stderr.slice(-2_000) } };
|
|
260
|
+
if (result.status === "COMPLETED" && result.exitCode === 0 && result.structuredOutput !== undefined && !result.outputTruncated) {
|
|
261
|
+
const evidenceCheck = oracle.checks.find((check) => check.id === "model.evidence");
|
|
262
|
+
if (requireEvidence && evidenceCheck?.status !== "PASS")
|
|
263
|
+
return { status: "INSUFFICIENT", evidence: { reason: "deterministic oracle did not verify model journey evidence", execution: result.executionEvidence } };
|
|
264
|
+
return { status: "PASS", evidence: { execution: result.executionEvidence, usage: result.usage, usageKnown: result.usageKnown } };
|
|
265
|
+
}
|
|
266
|
+
return { status: "FAIL", evidence: { execution: result.executionEvidence, providerStatus: result.status, exitCode: result.exitCode, stderr: result.stderr.slice(-2_000) } };
|
|
267
|
+
}
|
|
268
|
+
function buildCapabilityResult(capability, oracle, modelE2E, requiredModelE2E) {
|
|
269
|
+
const contract = { status: oracle.status === "PASS" ? "PASS" : "FAIL", evidence: { oracleId: oracle.oracleId, checks: oracle.checks } };
|
|
270
|
+
const overall = contract.status !== "PASS" ? "FAIL" : modelE2E.status === "PASS" ? "PASS" : "PARTIAL";
|
|
271
|
+
return { capability, contract, modelE2E, overall, requiredModelE2E };
|
|
272
|
+
}
|
|
273
|
+
function directNetworkPolicy(policy) {
|
|
274
|
+
if (policy.security.allowNetwork)
|
|
275
|
+
return { requested: "ALLOW", enforced: false, enforcement: "provider-allowed" };
|
|
276
|
+
return { requested: "DENY", enforced: false, enforcement: "unavailable" };
|
|
277
|
+
}
|
|
278
|
+
async function normalizeCandidate(input) {
|
|
279
|
+
if (!input.id || input.version !== 1)
|
|
280
|
+
throw new Error("Invalid CandidateRevision.");
|
|
281
|
+
const root = await fs.realpath(path.resolve(input.root));
|
|
282
|
+
const stat = await fs.stat(root);
|
|
283
|
+
if (!stat.isDirectory())
|
|
284
|
+
throw new Error("CandidateRevision.root must be a directory.");
|
|
285
|
+
if (input.artifactPath) {
|
|
286
|
+
const artifact = await fs.realpath(path.resolve(input.artifactPath));
|
|
287
|
+
if (!isWithin(root, artifact))
|
|
288
|
+
throw new Error("Candidate artifact escapes its certification workspace.");
|
|
289
|
+
return { ...input, root, artifactPath: artifact };
|
|
290
|
+
}
|
|
291
|
+
return { ...input, root };
|
|
292
|
+
}
|
|
293
|
+
function withCertificationEnvironment(request) { return { ...request, environment: { ...(request.environment ?? {}), AEH_CERTIFICATION_ACTIVE: "1", AEH_CERTIFICATION_DEPTH: "1" } }; }
|
|
294
|
+
function samePath(a, b) { return path.resolve(a) === path.resolve(b); }
|
|
295
|
+
function isWithin(parent, child) { const relative = path.relative(path.resolve(parent), path.resolve(child)); return relative === "" || (!relative.startsWith("..") && !path.isAbsolute(relative)); }
|
|
296
|
+
function nowIso() { return new Date().toISOString(); }
|
|
297
|
+
function emptyOracle(oracleId, failures = []) { return createCertificationOracleResult({ oracleId, checks: failures.map((failure) => ({ id: failure.id, status: "FAIL", required: true, message: failure.message, evidence: failure.details })), evidence: { failure: true } }); }
|
|
298
|
+
function makeFailurePacket(certificationId, candidate, reason, failures, repairAttempt) { return { version: 1, certificationId, candidateId: candidate.id, createdAt: nowIso(), reason, failures, repairAttempt, deterministic: true }; }
|
|
299
|
+
function failedProviderResult(request, message, durationMs) { const event = { at: nowIso(), type: "error", data: message }; return { version: 1, provider: "unknown", requestId: request.requestId, role: request.role, status: "FAILED", exitCode: 1, stdout: "", stderr: message, events: [event], usage: {}, usageKnown: false, durationMs, outputTruncated: false }; }
|
|
300
|
+
//# sourceMappingURL=core.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"core.js","sourceRoot":"","sources":["../../src/certification/core.ts"],"names":[],"mappings":"AAAA,OAAO,MAAM,MAAM,aAAa,CAAC;AACjC,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAClC,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,+BAA+B,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC/E,OAAO,EAAE,2BAA2B,EAAE,MAAM,aAAa,CAAC;AA2B1D,MAAM,OAAO,iBAAiB;IACC;IAA8C;IAA3E,YAA6B,MAA2B,EAAmB,QAAwB;QAAtE,WAAM,GAAN,MAAM,CAAqB;QAAmB,aAAQ,GAAR,QAAQ,CAAgB;IAAG,CAAC;IAEvG,KAAK,CAAC,OAAO,CAAC,KAA2B;QACvC,MAAM,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QAC3C,MAAM,MAAM,GAAG,2BAA2B,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACzD,+BAA+B,CAAC,MAAM,CAAC,CAAC;QACxC,MAAM,SAAS,GAAG,MAAM,kBAAkB,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC5D,MAAM,eAAe,GAAG,QAAQ,SAAS,CAAC,EAAE,IAAI,MAAM,CAAC,UAAU,EAAE,EAAE,CAAC;QACtE,MAAM,QAAQ,GAA2B,EAAE,CAAC;QAC5C,MAAM,eAAe,GAA0B,EAAE,CAAC;QAClD,IAAI,KAAK,GAAyC,EAAE,CAAC;QACrD,IAAI,UAAU,GAAG,CAAC,CAAC;QACnB,IAAI,UAAU,GAAG,IAAI,CAAC;QACtB,IAAI,YAAY,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC/C,IAAI,QAAyC,CAAC;QAC9C,MAAM,aAAa,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;QAClD,MAAM,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;QAE/D,MAAM,MAAM,GAAG,KAAK,EAAE,OAA6B,EAA4C,EAAE;YAC/F,IAAI,CAAC,IAAI,CAAC,QAAQ;gBAAE,OAAO,SAAS,CAAC;YACrC,qBAAqB,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;YAClD,MAAM,aAAa,GAAG,mBAAmB,CAAC,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;YAC3F,IAAI,aAAa;gBAAE,OAAO,SAAS,CAAC;YACpC,MAAM,QAAQ,GAAG,4BAA4B,CAAC,OAAO,CAAC,CAAC;YACvD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YACzB,IAAI,MAA2B,CAAC;YAChC,IAAI,CAAC,QAAQ,CAAC,YAAY,IAAI,IAAI,CAAC,QAAQ,CAAC,gBAAgB,KAAK,UAAU,EAAE,CAAC;gBAC5E,MAAM,GAAG,oBAAoB,CAAC,QAAQ,EAAE,qFAAqF,EAAE,CAAC,CAAC,CAAC;YACpI,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC;oBACH,MAAM,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;gBACjD,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBACf,MAAM,GAAG,oBAAoB,CAAC,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,CAAC;gBAC7E,CAAC;YACH,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,EAAE,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,IAAI,SAAS,EAAE,CAAC,CAAC;YACnP,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC7B,KAAK,GAAG,iBAAiB,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;YAC/C,UAAU,IAAI,MAAM,CAAC,UAAU,CAAC;YAChC,UAAU,GAAG,UAAU,IAAI,MAAM,CAAC,UAAU,CAAC;YAC7C,OAAO,MAAM,CAAC;QAChB,CAAC,CAAC;QAEF,MAAM,cAAc,GAAG,KAAK,EAAE,OAAe,EAAsC,EAAE;YACnF,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,aAAa,GAAG,UAAU,CAAC;YAC3D,IAAI,SAAS,IAAI,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,mEAAmE,CAAC,CAAC;YACzG,MAAM,UAAU,GAAG,IAAI,eAAe,EAAE,CAAC;YACzC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YACzB,MAAM,SAAS,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;YAChD,IAAI,KAAiC,CAAC;YACtC,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC;oBAChC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;oBACnG,IAAI,OAAO,CAA4B,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,GAAG,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE,GAAG,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;iBAC/K,CAAC,CAAC;gBACH,MAAM,UAAU,GAAG,MAAM,EAAE,CAAC;gBAC5B,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC;gBAC1P,OAAO,MAAM,CAAC;YAChB,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,MAAM,UAAU,GAAG,MAAM,EAAE,CAAC;gBAC5B,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;gBACjK,MAAM,KAAK,CAAC;YACd,CAAC;oBAAS,CAAC;gBACT,IAAI,KAAK;oBAAE,YAAY,CAAC,KAAK,CAAC,CAAC;gBAC/B,UAAU,IAAI,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC;YACnC,CAAC;QACH,CAAC,CAAC;QAEF,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACxE,IAAI,CAAC;YACH,YAAY,GAAG,MAAM,cAAc,CAAC,CAAC,CAAC,CAAC;YACvC,kBAAkB,CAAC,YAAY,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QACxD,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,YAAY,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,cAAc,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;QACnH,CAAC;QAED,IAAI,KAAqC,CAAC;QAC1C,IAAI,aAA+D,CAAC;QACpE,IAAI,QAAQ,GAAG,YAAY,CAAC,QAAQ,CAAC;QACrC,MAAM,qBAAqB,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,yBAAyB,CAAC,MAAM,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACxH,MAAM,QAAQ,GAAG,YAAY,CAAC,WAAW,EAAE,YAAY,EAAE,KAAK,CAAC,oBAAoB,KAAK,IAAI,CAAC,CAAC;QAC9F,MAAM,aAAa,GAAG,KAAK,CAAC,eAAe,KAAK,IAAI,CAAC;QACrD,IAAI,MAAM,CAAC,QAAQ,CAAC,uBAAuB,IAAI,CAAC,aAAa,CAAC,QAAQ,EAAE,CAAC;YACvE,KAAK,GAAG,SAAS,CAAC;YAClB,aAAa,GAAG,gBAAgB,CAAC;YACjC,QAAQ,GAAG,CAAC,EAAE,EAAE,EAAE,4BAA4B,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,EAAE,gGAAgG,EAAE,CAAC,CAAC;QACrL,CAAC;aAAM,IAAI,WAAW,IAAI,CAAC,WAAW,CAAC,MAAM,KAAK,WAAW,IAAI,WAAW,CAAC,QAAQ,KAAK,CAAC,CAAC,EAAE,CAAC;YAC7F,KAAK,GAAG,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC;YACrD,aAAa,GAAG,kBAAkB,CAAC;YACnC,QAAQ,GAAG,CAAC,EAAE,EAAE,EAAE,gBAAgB,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,EAAE,mDAAmD,EAAE,CAAC,CAAC;QAC5H,CAAC;aAAM,IAAI,aAAa,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;YACvD,KAAK,GAAG,SAAS,CAAC;YAClB,aAAa,GAAG,kBAAkB,CAAC;YACnC,QAAQ,GAAG,CAAC,EAAE,EAAE,EAAE,oBAAoB,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,EAAE,mFAAmF,EAAE,CAAC,CAAC;QAChK,CAAC;aAAM,IAAI,qBAAqB,EAAE,CAAC;YACjC,KAAK,GAAG,gBAAgB,CAAC;YACzB,aAAa,GAAG,kBAAkB,CAAC;YACnC,QAAQ,GAAG,CAAC,EAAE,EAAE,EAAE,cAAc,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,qBAAqB,EAAE,CAAC,CAAC;QAC1F,CAAC;aAAM,IAAI,YAAY,CAAC,MAAM,KAAK,MAAM,IAAI,eAAe,CAAC,YAAY,EAAE,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;YAC7F,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,IAAI,KAAK,CAAC,QAAQ,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC7D,QAAQ,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC,CAAC;gBACxE,MAAM,QAAQ,GAAG,QAAQ,EAAE,MAAM,KAAK,WAAW,IAAI,QAAQ,CAAC,QAAQ,KAAK,CAAC,CAAC;gBAC7E,MAAM,mBAAmB,GAAG,yBAAyB,CAAC,MAAM,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;gBACjF,IAAI,mBAAmB,EAAE,CAAC;oBAAC,KAAK,GAAG,gBAAgB,CAAC;oBAAC,aAAa,GAAG,kBAAkB,CAAC;oBAAC,QAAQ,GAAG,CAAC,EAAE,EAAE,EAAE,cAAc,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,mBAAmB,EAAE,CAAC,CAAC;gBAAC,CAAC;qBAC5K,IAAI,CAAC,QAAQ,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;oBAAC,KAAK,GAAG,gBAAgB,CAAC;oBAAC,aAAa,GAAG,gBAAgB,CAAC;oBAAC,QAAQ,GAAG,CAAC,EAAE,EAAE,EAAE,eAAe,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,yDAAyD,EAAE,CAAC,CAAC;gBAAC,CAAC;;oBACtO,KAAK,GAAG,UAAU,CAAC;YAC1B,CAAC;iBAAM,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;gBAClC,KAAK,GAAG,gBAAgB,CAAC;gBAAC,aAAa,GAAG,gBAAgB,CAAC;gBAAC,QAAQ,GAAG,CAAC,EAAE,EAAE,EAAE,gBAAgB,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,8CAA8C,EAAE,CAAC,CAAC;YACjL,CAAC;;gBAAM,KAAK,GAAG,UAAU,CAAC;QAC5B,CAAC;aAAM,CAAC;YACN,aAAa,GAAG,YAAY,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,gBAAgB,CAAC;YACrF,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,IAAI,KAAK,CAAC,MAAM,IAAI,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC;gBACzK,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;gBACvH,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,OAAO,CAAC,CAAC;gBACrC,IAAI,CAAC,MAAM;oBAAE,MAAM;gBACnB,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW,IAAI,MAAM,CAAC,QAAQ,KAAK,CAAC,EAAE,CAAC;oBAC3D,QAAQ,GAAG,CAAC,EAAE,EAAE,EAAE,iBAAiB,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,EAAE,oDAAoD,EAAE,CAAC,CAAC;oBAC5H,aAAa,GAAG,kBAAkB,CAAC;oBACnC,MAAM;gBACR,CAAC;gBACD,IAAI,CAAC;oBACH,YAAY,GAAG,MAAM,cAAc,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC;oBAC9F,kBAAkB,CAAC,YAAY,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;gBACxD,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBACf,YAAY,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,cAAc,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;oBACjH,QAAQ,GAAG,YAAY,CAAC,QAAQ,CAAC;oBACjC,aAAa,GAAG,gBAAgB,CAAC;oBACjC,MAAM;gBACR,CAAC;gBACD,QAAQ,GAAG,YAAY,CAAC,QAAQ,CAAC;gBACjC,IAAI,CAAC,yBAAyB,CAAC,MAAM,EAAE,KAAK,EAAE,UAAU,CAAC,IAAI,eAAe,CAAC,YAAY,EAAE,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;oBAAC,KAAK,GAAG,UAAU,CAAC;oBAAC,aAAa,GAAG,SAAS,CAAC;oBAAC,MAAM;gBAAC,CAAC;YACzK,CAAC;YACD,IAAI,CAAC,KAAK,EAAE,CAAC;gBACX,MAAM,cAAc,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,MAAM,CAAC;gBAChF,MAAM,aAAa,GAAG,OAAO,CAAC,mBAAmB,CAAC,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC;gBACpG,KAAK,GAAG,aAAa,IAAI,CAAC,cAAc,IAAI,MAAM,CAAC,MAAM,CAAC,WAAW,IAAI,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,iBAAiB,CAAC;gBACjJ,IAAI,aAAa;oBAAE,aAAa,GAAG,kBAAkB,CAAC;YACxD,CAAC;QACH,CAAC;QAED,MAAM,QAAQ,GAAG,KAAK,KAAK,UAAU,CAAC;QACtC,MAAM,MAAM,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,iBAAiB,CAAC,eAAe,EAAE,SAAS,EAAE,aAAa,IAAI,gBAAgB,EAAE,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC5L,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,qBAAqB,CAAC,KAAK,CAAC,UAAU,EAAE,YAAY,EAAE,QAAQ,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACjI,MAAM,MAAM,GAAwB;YAClC,OAAO,EAAE,CAAC;YACV,eAAe;YACf,SAAS;YACT,QAAQ,EAAE,MAAM,CAAC,EAAE;YACnB,KAAK;YACL,SAAS,EAAE,WAAW;YACtB,QAAQ;YACR,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,MAAM,KAAK,WAAW,IAAI,QAAQ,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,oCAAoC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,cAAc;YAC3J,MAAM,EAAE,YAAY;YACpB,QAAQ;YACR,eAAe;YACf,QAAQ;YACR,aAAa,EAAE,MAAM;YACrB,MAAM,EAAE,cAAc,CAAC,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,CAAC;YACvE,SAAS;YACT,UAAU,EAAE,MAAM,EAAE;YACpB,UAAU;YACV,aAAa;SACd,CAAC;QACF,MAAM,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;QAC9B,OAAO,MAAM,CAAC;IAChB,CAAC;CACF;AAED,MAAM,UAAU,+BAA+B,CAAC,MAA6C;IAC3F,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,uBAAuB,IAAI,GAAG,CAAC,CAAC;IACjE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,2BAA2B,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;AACpJ,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,OAA6B,EAAE,SAA4B,EAAE,MAA2B;IAC5H,IAAI,OAAO,CAAC,YAAY,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY;QAAE,MAAM,IAAI,KAAK,CAAC,6EAA6E,CAAC,CAAC;IAC1J,IAAI,OAAO,CAAC,cAAc,GAAG,MAAM,CAAC,QAAQ,CAAC,cAAc;QAAE,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;IACpI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,EAAE,SAAS,CAAC,IAAI,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;IACxG,IAAI,CAAC,OAAO,CAAC,sBAAsB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,sBAAsB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,oFAAoF,CAAC,CAAC;IACzN,IAAI,CAAC,OAAO,CAAC,oBAAoB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,oBAAoB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,0EAA0E,CAAC,CAAC;AAC7M,CAAC;AAED,SAAS,kBAAkB,CAAC,MAAiC,EAAE,MAA2B,EAAE,MAA2B;IACrH,IAAI,MAAM,CAAC,SAAS,CAAC,0BAA0B,IAAI,MAAM,CAAC,aAAa,KAAK,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAC;IAClK,IAAI,MAAM,CAAC,SAAS,CAAC,wBAAwB,IAAI,MAAM,CAAC,WAAW,KAAK,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;AACxJ,CAAC;AAED,SAAS,mBAAmB,CAAC,MAA2B,EAAE,QAAgC,EAAE,UAAkB,EAAE,KAA2C,EAAE,UAAmB;IAC9K,IAAI,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,WAAW;QAAE,OAAO,0BAA0B,CAAC;IAC7H,IAAI,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,aAAa;QAAE,OAAO,2BAA2B,CAAC;IAClF,IAAI,MAAM,CAAC,MAAM,CAAC,cAAc,KAAK,SAAS,IAAI,CAAC,CAAC,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,0BAA0B,KAAK,KAAK,CAAC;QAAE,OAAO,wBAAwB,CAAC;IACvJ,IAAI,MAAM,CAAC,MAAM,CAAC,cAAc,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,WAAW,IAAI,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,cAAc;QAAE,OAAO,wBAAwB,CAAC;IAC3I,IAAI,MAAM,CAAC,MAAM,CAAC,UAAU,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,OAAO,IAAI,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,UAAU;QAAE,OAAO,uBAAuB,CAAC;IAC9H,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,yBAAyB,CAAC,MAA2B,EAAE,KAA2C,EAAE,UAAmB;IAC9H,IAAI,MAAM,CAAC,MAAM,CAAC,cAAc,KAAK,SAAS,IAAI,CAAC,CAAC,UAAU,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS,CAAC;QAAE,OAAO,gFAAgF,CAAC;IAC5L,IAAI,MAAM,CAAC,MAAM,CAAC,UAAU,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS;QAAE,OAAO,qFAAqF,CAAC;IACxK,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,cAAc,CAAC,MAA2B,EAAE,QAAgC,EAAE,UAAkB,EAAE,KAA2C,EAAE,UAAmB;IACzK,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,GAAG,UAAU,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,cAAc,KAAK,SAAS,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,cAAc,GAAG,KAAK,CAAC,WAAW,CAAC,EAAE,EAAE,UAAU,EAAE,CAAC;AAC1mB,CAAC;AAED,SAAS,YAAY,CAAC,MAAuC,EAAE,MAAiC,EAAE,eAAwB;IACxH,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,QAAQ,EAAE,EAAE,MAAM,EAAE,8BAA8B,EAAE,EAAE,CAAC;IACnG,IAAI,MAAM,CAAC,iBAAiB,EAAE,OAAO,KAAK,IAAI;QAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE,MAAM,EAAE,gCAAgC,EAAE,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;IACzM,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW,IAAI,MAAM,CAAC,QAAQ,KAAK,CAAC,IAAI,MAAM,CAAC,gBAAgB,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,eAAe,EAAE,CAAC;QAC/H,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,gBAAgB,CAAC,CAAC;QACnF,IAAI,eAAe,IAAI,aAAa,EAAE,MAAM,KAAK,MAAM;YAAE,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,QAAQ,EAAE,EAAE,MAAM,EAAE,4DAA4D,EAAE,SAAS,EAAE,MAAM,CAAC,iBAAiB,EAAE,EAAE,CAAC;QACpN,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,SAAS,EAAE,MAAM,CAAC,iBAAiB,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,EAAE,CAAC;IACnI,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,SAAS,EAAE,MAAM,CAAC,iBAAiB,EAAE,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;AAC9K,CAAC;AAED,SAAS,qBAAqB,CAAC,UAA2D,EAAE,MAAiC,EAAE,QAAyC,EAAE,gBAAyB;IACjM,MAAM,QAAQ,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,MAAe,CAAC,CAAC,CAAC,MAAe,EAAE,QAAQ,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;IAC1J,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,MAAe,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,MAAe,CAAC,CAAC,CAAC,SAAkB,CAAC;IACjI,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,gBAAgB,EAAE,CAAC;AACvE,CAAC;AAED,SAAS,mBAAmB,CAAC,MAA2B;IACtD,IAAI,MAAM,CAAC,QAAQ,CAAC,YAAY;QAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,WAAW,EAAE,kBAAkB,EAAE,CAAC;IAClH,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,CAAC;AAC5E,CAAC;AAED,KAAK,UAAU,kBAAkB,CAAC,KAAwB;IACxD,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,KAAK,CAAC,OAAO,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;IACpF,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IACzD,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IAC1H,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;QAAC,MAAM,QAAQ,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC;QAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;QAAC,OAAO,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC;IAAC,CAAC;IAC/P,OAAO,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,CAAC;AAC5B,CAAC;AAED,SAAS,4BAA4B,CAAC,OAA6B,IAA0B,OAAO,EAAE,GAAG,OAAO,EAAE,WAAW,EAAE,EAAE,GAAG,CAAC,OAAO,CAAC,WAAW,IAAI,EAAE,CAAC,EAAE,wBAAwB,EAAE,GAAG,EAAE,uBAAuB,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;AACnO,SAAS,QAAQ,CAAC,CAAS,EAAE,CAAS,IAAa,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAChG,SAAS,QAAQ,CAAC,MAAc,EAAE,KAAa,IAAa,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,QAAQ,KAAK,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;AAC9N,SAAS,MAAM,KAAa,OAAO,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;AAC9D,SAAS,WAAW,CAAC,QAAgB,EAAE,WAAmC,EAAE,IAA+B,OAAO,+BAA+B,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;AAC7U,SAAS,iBAAiB,CAAC,eAAuB,EAAE,SAA4B,EAAE,MAA4C,EAAE,QAAgC,EAAE,aAAqB,IAAgC,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,eAAe,EAAE,WAAW,EAAE,SAAS,CAAC,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,aAAa,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;AACtW,SAAS,oBAAoB,CAAC,OAA6B,EAAE,OAAe,EAAE,UAAkB,IAAyB,MAAM,KAAK,GAAkB,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1,9 @@
|
|
|
1
|
+
export * from "./types.js";
|
|
2
|
+
export * from "./policy.js";
|
|
3
|
+
export * from "./oracle.js";
|
|
4
|
+
export * from "./provider.js";
|
|
5
|
+
export * from "./codex.js";
|
|
6
|
+
export * from "./core.js";
|
|
7
|
+
export * from "./bootstrap.js";
|
|
8
|
+
export * from "./adapters.js";
|
|
9
|
+
export * from "./artifacts.js";
|
|
@@ -0,0 +1,10 @@
|
|
|
1
|
+
export * from "./types.js";
|
|
2
|
+
export * from "./policy.js";
|
|
3
|
+
export * from "./oracle.js";
|
|
4
|
+
export * from "./provider.js";
|
|
5
|
+
export * from "./codex.js";
|
|
6
|
+
export * from "./core.js";
|
|
7
|
+
export * from "./bootstrap.js";
|
|
8
|
+
export * from "./adapters.js";
|
|
9
|
+
export * from "./artifacts.js";
|
|
10
|
+
//# sourceMappingURL=index.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/certification/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,cAAc,aAAa,CAAC;AAC5B,cAAc,aAAa,CAAC;AAC5B,cAAc,eAAe,CAAC;AAC9B,cAAc,YAAY,CAAC;AAC3B,cAAc,WAAW,CAAC;AAC1B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,eAAe,CAAC;AAC9B,cAAc,gBAAgB,CAAC"}
|
|
@@ -0,0 +1,11 @@
|
|
|
1
|
+
import type { CertificationCheck, CertificationOracleResult } from "./types.js";
|
|
2
|
+
/** Construct oracle output and make the deterministic acceptance rule explicit. */
|
|
3
|
+
export declare function createCertificationOracleResult(input: {
|
|
4
|
+
oracleId: string;
|
|
5
|
+
independent?: boolean;
|
|
6
|
+
checks: CertificationCheck[];
|
|
7
|
+
evidence?: Record<string, unknown>;
|
|
8
|
+
}): CertificationOracleResult;
|
|
9
|
+
export declare function oracleCanAccept(result: CertificationOracleResult, policy: {
|
|
10
|
+
allowRequiredSkippedChecks: boolean;
|
|
11
|
+
}): boolean;
|
|
@@ -0,0 +1,29 @@
|
|
|
1
|
+
/** Construct oracle output and make the deterministic acceptance rule explicit. */
|
|
2
|
+
export function createCertificationOracleResult(input) {
|
|
3
|
+
const failures = [
|
|
4
|
+
...(input.checks.length ? [] : [{ id: "oracle.empty", category: "oracle", message: "Certification oracle returned no checks.", details: {} }]),
|
|
5
|
+
...input.checks
|
|
6
|
+
.filter((check) => check.status === "FAIL" || (check.status === "SKIP" && check.required))
|
|
7
|
+
.map((check) => ({ id: check.id, category: "oracle", message: check.message, details: { required: check.required, status: check.status, ...(check.evidence ?? {}) } }))
|
|
8
|
+
];
|
|
9
|
+
return {
|
|
10
|
+
version: 1,
|
|
11
|
+
oracleId: input.oracleId,
|
|
12
|
+
deterministic: true,
|
|
13
|
+
status: failures.length ? "FAIL" : "PASS",
|
|
14
|
+
checks: input.checks,
|
|
15
|
+
failures,
|
|
16
|
+
evidence: input.evidence ?? {},
|
|
17
|
+
generatedAt: new Date().toISOString()
|
|
18
|
+
};
|
|
19
|
+
}
|
|
20
|
+
export function oracleCanAccept(result, policy) {
|
|
21
|
+
if (result.deterministic !== true || result.status !== "PASS")
|
|
22
|
+
return false;
|
|
23
|
+
if (result.failures.length > 0)
|
|
24
|
+
return false;
|
|
25
|
+
if (result.checks.some((check) => check.status === "FAIL" || (check.required && check.status === "WARN")))
|
|
26
|
+
return false;
|
|
27
|
+
return policy.allowRequiredSkippedChecks || !result.checks.some((check) => check.required && check.status === "SKIP");
|
|
28
|
+
}
|
|
29
|
+
//# sourceMappingURL=oracle.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"oracle.js","sourceRoot":"","sources":["../../src/certification/oracle.ts"],"names":[],"mappings":"AAEA,mFAAmF;AACnF,MAAM,UAAU,+BAA+B,CAAC,KAK/C;IACC,MAAM,QAAQ,GAAG;QACf,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,cAAc,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,0CAA0C,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;QAC9I,GAAG,KAAK,CAAC,MAAM;aACZ,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,CAAC;aACzF,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,KAAK,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;KAC1K,CAAC;IACF,OAAO;QACL,OAAO,EAAE,CAAC;QACV,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,aAAa,EAAE,IAAI;QACnB,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;QACzC,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,QAAQ;QACR,QAAQ,EAAE,KAAK,CAAC,QAAQ,IAAI,EAAE;QAC9B,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;KACtC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,MAAiC,EAAE,MAA+C;IAChH,IAAI,MAAM,CAAC,aAAa,KAAK,IAAI,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC;IAC5E,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7C,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM,IAAI,CAAC,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACxH,OAAO,MAAM,CAAC,0BAA0B,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;AACxH,CAAC"}
|
|
@@ -0,0 +1,3 @@
|
|
|
1
|
+
import type { CertificationPolicy } from "./types.js";
|
|
2
|
+
export declare function defaultCertificationPolicy(overrides?: Partial<CertificationPolicy>): CertificationPolicy;
|
|
3
|
+
export declare function validateCertificationPolicy(policy: CertificationPolicy): CertificationPolicy;
|
|
@@ -0,0 +1,59 @@
|
|
|
1
|
+
import { z } from "zod";
|
|
2
|
+
const policySchema = z.object({
|
|
3
|
+
version: z.literal(1),
|
|
4
|
+
id: z.string().min(1),
|
|
5
|
+
assurance: z.object({
|
|
6
|
+
requireDeterministicOracle: z.boolean(),
|
|
7
|
+
requireIndependentOracle: z.boolean(),
|
|
8
|
+
allowRequiredSkippedChecks: z.boolean()
|
|
9
|
+
}),
|
|
10
|
+
budget: z.object({
|
|
11
|
+
maxAttempts: z.number().int().nonnegative(),
|
|
12
|
+
maxDurationMs: z.number().int().positive(),
|
|
13
|
+
maxCostUsd: z.number().nonnegative().optional(),
|
|
14
|
+
maxTotalTokens: z.number().int().nonnegative().optional(),
|
|
15
|
+
maxOutputBytes: z.number().int().positive().optional(),
|
|
16
|
+
requireUsageForTokenBudget: z.boolean().optional()
|
|
17
|
+
}),
|
|
18
|
+
repair: z.object({ enabled: z.boolean(), maxAttempts: z.number().int().nonnegative(), humanOnExhaustion: z.boolean() }),
|
|
19
|
+
review: z.object({ enabled: z.boolean(), required: z.boolean(), humanOnFailure: z.boolean() }),
|
|
20
|
+
security: z.object({
|
|
21
|
+
allowRecursiveCertification: z.boolean(),
|
|
22
|
+
allowNetwork: z.boolean(),
|
|
23
|
+
environmentAllowlist: z.array(z.string()),
|
|
24
|
+
credentialEnvAllowlist: z.array(z.string()),
|
|
25
|
+
maxOutputBytes: z.number().int().positive(),
|
|
26
|
+
requireNetworkIsolation: z.boolean().optional()
|
|
27
|
+
})
|
|
28
|
+
});
|
|
29
|
+
export function defaultCertificationPolicy(overrides = {}) {
|
|
30
|
+
return freezePolicy({
|
|
31
|
+
version: 1,
|
|
32
|
+
id: "aeh-default-certification",
|
|
33
|
+
assurance: { requireDeterministicOracle: true, requireIndependentOracle: true, allowRequiredSkippedChecks: false, ...overrides.assurance },
|
|
34
|
+
budget: { maxAttempts: 1, maxDurationMs: 30 * 60_000, maxOutputBytes: 4 * 1024 * 1024, requireUsageForTokenBudget: true, ...overrides.budget },
|
|
35
|
+
repair: { enabled: false, maxAttempts: 0, humanOnExhaustion: true, ...overrides.repair },
|
|
36
|
+
review: { enabled: false, required: false, humanOnFailure: true, ...overrides.review },
|
|
37
|
+
security: { allowRecursiveCertification: false, allowNetwork: false, environmentAllowlist: [], credentialEnvAllowlist: [], maxOutputBytes: 4 * 1024 * 1024, requireNetworkIsolation: false, ...overrides.security }
|
|
38
|
+
});
|
|
39
|
+
}
|
|
40
|
+
export function validateCertificationPolicy(policy) {
|
|
41
|
+
const parsed = policySchema.parse(policy);
|
|
42
|
+
if (parsed.repair.maxAttempts > parsed.budget.maxAttempts)
|
|
43
|
+
throw new Error("Certification repair maxAttempts cannot exceed the total budget maxAttempts.");
|
|
44
|
+
if (parsed.review.required && !parsed.review.enabled)
|
|
45
|
+
throw new Error("A required certification review must be enabled.");
|
|
46
|
+
if (parsed.security.credentialEnvAllowlist.some((name) => !parsed.security.environmentAllowlist.includes(name))) {
|
|
47
|
+
throw new Error("Credential environment variables must also be present in environmentAllowlist.");
|
|
48
|
+
}
|
|
49
|
+
return freezePolicy(parsed);
|
|
50
|
+
}
|
|
51
|
+
function freezePolicy(value) {
|
|
52
|
+
if (value && typeof value === "object") {
|
|
53
|
+
Object.freeze(value);
|
|
54
|
+
for (const item of Object.values(value))
|
|
55
|
+
freezePolicy(item);
|
|
56
|
+
}
|
|
57
|
+
return value;
|
|
58
|
+
}
|
|
59
|
+
//# sourceMappingURL=policy.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"policy.js","sourceRoot":"","sources":["../../src/certification/policy.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,MAAM,YAAY,GAAG,CAAC,CAAC,MAAM,CAAC;IAC5B,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IACrB,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACrB,SAAS,EAAE,CAAC,CAAC,MAAM,CAAC;QAClB,0BAA0B,EAAE,CAAC,CAAC,OAAO,EAAE;QACvC,wBAAwB,EAAE,CAAC,CAAC,OAAO,EAAE;QACrC,0BAA0B,EAAE,CAAC,CAAC,OAAO,EAAE;KACxC,CAAC;IACF,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC;QACf,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;QAC3C,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;QAC1C,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE;QAC/C,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE;QACzD,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;QACtD,0BAA0B,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;KACnD,CAAC;IACF,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,EAAE,iBAAiB,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;IACvH,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,cAAc,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;IAC9F,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC;QACjB,2BAA2B,EAAE,CAAC,CAAC,OAAO,EAAE;QACxC,YAAY,EAAE,CAAC,CAAC,OAAO,EAAE;QACzB,oBAAoB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;QACzC,sBAAsB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;QAC3C,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;QAC3C,uBAAuB,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;KAChD,CAAC;CACH,CAAC,CAAC;AAEH,MAAM,UAAU,0BAA0B,CAAC,YAA0C,EAAE;IACrF,OAAO,YAAY,CAAC;QAClB,OAAO,EAAE,CAAC;QACV,EAAE,EAAE,2BAA2B;QAC/B,SAAS,EAAE,EAAE,0BAA0B,EAAE,IAAI,EAAE,wBAAwB,EAAE,IAAI,EAAE,0BAA0B,EAAE,KAAK,EAAE,GAAG,SAAS,CAAC,SAAS,EAAE;QAC1I,MAAM,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE,aAAa,EAAE,EAAE,GAAG,MAAM,EAAE,cAAc,EAAE,CAAC,GAAG,IAAI,GAAG,IAAI,EAAE,0BAA0B,EAAE,IAAI,EAAE,GAAG,SAAS,CAAC,MAAM,EAAE;QAC9I,MAAM,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,EAAE,iBAAiB,EAAE,IAAI,EAAE,GAAG,SAAS,CAAC,MAAM,EAAE;QACxF,MAAM,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,cAAc,EAAE,IAAI,EAAE,GAAG,SAAS,CAAC,MAAM,EAAE;QACtF,QAAQ,EAAE,EAAE,2BAA2B,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,oBAAoB,EAAE,EAAE,EAAE,sBAAsB,EAAE,EAAE,EAAE,cAAc,EAAE,CAAC,GAAG,IAAI,GAAG,IAAI,EAAE,uBAAuB,EAAE,KAAK,EAAE,GAAG,SAAS,CAAC,QAAQ,EAAE;KACpN,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,MAA2B;IACrE,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC1C,IAAI,MAAM,CAAC,MAAM,CAAC,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,WAAW;QAAE,MAAM,IAAI,KAAK,CAAC,8EAA8E,CAAC,CAAC;IAC3J,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;IAC1H,IAAI,MAAM,CAAC,QAAQ,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,oBAAoB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAChH,MAAM,IAAI,KAAK,CAAC,gFAAgF,CAAC,CAAC;IACpG,CAAC;IACD,OAAO,YAAY,CAAC,MAAM,CAAC,CAAC;AAC9B,CAAC;AAED,SAAS,YAAY,CAAI,KAAQ;IAC/B,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACrB,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,KAAgC,CAAC;YAAE,YAAY,CAAC,IAAI,CAAC,CAAC;IACzF,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}
|
|
@@ -0,0 +1,27 @@
|
|
|
1
|
+
import type { UsageMetrics } from "../core/types.js";
|
|
2
|
+
import type { AgentProviderRequest, AgentProviderResult } from "./types.js";
|
|
3
|
+
export interface ProcessExecutionOptions {
|
|
4
|
+
cwd: string;
|
|
5
|
+
env?: Record<string, string | undefined>;
|
|
6
|
+
timeoutMs: number;
|
|
7
|
+
maxOutputBytes: number;
|
|
8
|
+
allowNetwork?: boolean;
|
|
9
|
+
}
|
|
10
|
+
/** Execute an external actor without a shell and with a deliberately filtered environment. */
|
|
11
|
+
export declare function executeArgv(command: string, args: readonly string[], options: ProcessExecutionOptions): Promise<{
|
|
12
|
+
status: "COMPLETED" | "FAILED" | "TIMED_OUT" | "OUTPUT_LIMIT";
|
|
13
|
+
exitCode: number;
|
|
14
|
+
signal?: string;
|
|
15
|
+
stdout: string;
|
|
16
|
+
stderr: string;
|
|
17
|
+
durationMs: number;
|
|
18
|
+
outputTruncated: boolean;
|
|
19
|
+
}>;
|
|
20
|
+
export declare class LocalAgentProvider {
|
|
21
|
+
readonly name: string;
|
|
22
|
+
readonly networkIsolation: "unavailable";
|
|
23
|
+
execute(request: AgentProviderRequest): Promise<AgentProviderResult>;
|
|
24
|
+
}
|
|
25
|
+
export declare function buildProviderEnvironment(request: Pick<AgentProviderRequest, "environment" | "environmentAllowlist" | "credentialEnvAllowlist">): Record<string, string>;
|
|
26
|
+
export declare function parseJsonl(text: string): unknown[];
|
|
27
|
+
export declare function usageForProviderResult(result: AgentProviderResult): UsageMetrics;
|