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.
Files changed (141) hide show
  1. package/README.md +2 -0
  2. package/dist/agents/outputContracts.js +1 -1
  3. package/dist/agents/outputContracts.js.map +1 -1
  4. package/dist/agents/parallelism.js +3 -2
  5. package/dist/agents/parallelism.js.map +1 -1
  6. package/dist/agents/permissions.js +1 -1
  7. package/dist/agents/permissions.js.map +1 -1
  8. package/dist/agents/waveExecutor.js +25 -15
  9. package/dist/agents/waveExecutor.js.map +1 -1
  10. package/dist/certification/adapters.d.ts +4 -0
  11. package/dist/certification/adapters.js +17 -0
  12. package/dist/certification/adapters.js.map +1 -0
  13. package/dist/certification/artifacts.d.ts +3 -0
  14. package/dist/certification/artifacts.js +18 -0
  15. package/dist/certification/artifacts.js.map +1 -0
  16. package/dist/certification/bootstrap.d.ts +33 -0
  17. package/dist/certification/bootstrap.js +138 -0
  18. package/dist/certification/bootstrap.js.map +1 -0
  19. package/dist/certification/codex.d.ts +26 -0
  20. package/dist/certification/codex.js +125 -0
  21. package/dist/certification/codex.js.map +1 -0
  22. package/dist/certification/core.d.ts +15 -0
  23. package/dist/certification/core.js +300 -0
  24. package/dist/certification/core.js.map +1 -0
  25. package/dist/certification/index.d.ts +9 -0
  26. package/dist/certification/index.js +10 -0
  27. package/dist/certification/index.js.map +1 -0
  28. package/dist/certification/oracle.d.ts +11 -0
  29. package/dist/certification/oracle.js +29 -0
  30. package/dist/certification/oracle.js.map +1 -0
  31. package/dist/certification/policy.d.ts +3 -0
  32. package/dist/certification/policy.js +59 -0
  33. package/dist/certification/policy.js.map +1 -0
  34. package/dist/certification/provider.d.ts +27 -0
  35. package/dist/certification/provider.js +170 -0
  36. package/dist/certification/provider.js.map +1 -0
  37. package/dist/certification/types.d.ts +234 -0
  38. package/dist/certification/types.js +2 -0
  39. package/dist/certification/types.js.map +1 -0
  40. package/dist/cli.js +27 -0
  41. package/dist/cli.js.map +1 -1
  42. package/dist/context/gateway.d.ts +1 -0
  43. package/dist/context/gateway.js +13 -5
  44. package/dist/context/gateway.js.map +1 -1
  45. package/dist/context/retrieval/persisted.d.ts +3 -2
  46. package/dist/context/retrieval/persisted.js +23 -7
  47. package/dist/context/retrieval/persisted.js.map +1 -1
  48. package/dist/context/retrieval/server.js +7 -4
  49. package/dist/context/retrieval/server.js.map +1 -1
  50. package/dist/core/config.js +1 -0
  51. package/dist/core/config.js.map +1 -1
  52. package/dist/core/controlPlane.d.ts +1 -0
  53. package/dist/core/controlPlane.js +12 -0
  54. package/dist/core/controlPlane.js.map +1 -1
  55. package/dist/core/git.d.ts +12 -2
  56. package/dist/core/git.js +31 -5
  57. package/dist/core/git.js.map +1 -1
  58. package/dist/core/run.d.ts +2 -0
  59. package/dist/core/run.js +3 -2
  60. package/dist/core/run.js.map +1 -1
  61. package/dist/core/sdd.js +1 -1
  62. package/dist/core/sdd.js.map +1 -1
  63. package/dist/core/seal.js +4 -3
  64. package/dist/core/seal.js.map +1 -1
  65. package/dist/core/types.d.ts +15 -0
  66. package/dist/core/verify.js +7 -3
  67. package/dist/core/verify.js.map +1 -1
  68. package/dist/distributed/queue.js +24 -6
  69. package/dist/distributed/queue.js.map +1 -1
  70. package/dist/distributed/types.d.ts +1 -0
  71. package/dist/distributed/worker.d.ts +6 -1
  72. package/dist/distributed/worker.js +25 -6
  73. package/dist/distributed/worker.js.map +1 -1
  74. package/dist/evidence/graph.js +2 -2
  75. package/dist/evidence/graph.js.map +1 -1
  76. package/dist/metrics/usage.js +8 -0
  77. package/dist/metrics/usage.js.map +1 -1
  78. package/dist/operations/change.d.ts +4 -0
  79. package/dist/operations/change.js +34 -11
  80. package/dist/operations/change.js.map +1 -1
  81. package/dist/operations/changeHandoff.d.ts +4 -0
  82. package/dist/operations/changeHandoff.js +2 -2
  83. package/dist/operations/changeHandoff.js.map +1 -1
  84. package/dist/operations/completion.js +38 -27
  85. package/dist/operations/completion.js.map +1 -1
  86. package/dist/operations/controller.js +142 -10
  87. package/dist/operations/controller.js.map +1 -1
  88. package/dist/operations/livenessV2.js +14 -12
  89. package/dist/operations/livenessV2.js.map +1 -1
  90. package/dist/operations/monitorProcess.js +11 -1
  91. package/dist/operations/monitorProcess.js.map +1 -1
  92. package/dist/operations/state.d.ts +2 -0
  93. package/dist/operations/state.js +31 -8
  94. package/dist/operations/state.js.map +1 -1
  95. package/dist/operations/supervisor.js +11 -2
  96. package/dist/operations/supervisor.js.map +1 -1
  97. package/dist/paseo/capabilities.js +0 -2
  98. package/dist/paseo/capabilities.js.map +1 -1
  99. package/dist/paseo/launchSpec.js +5 -3
  100. package/dist/paseo/launchSpec.js.map +1 -1
  101. package/dist/paseo/runtime.d.ts +1 -1
  102. package/dist/paseo/runtime.js +1 -1
  103. package/dist/paseo/runtime.js.map +1 -1
  104. package/dist/paseo/runtimeCore.d.ts +4 -0
  105. package/dist/paseo/runtimeCore.js +27 -2
  106. package/dist/paseo/runtimeCore.js.map +1 -1
  107. package/dist/paseo/sdk.d.ts +8 -0
  108. package/dist/paseo/sdk.js +85 -17
  109. package/dist/paseo/sdk.js.map +1 -1
  110. package/dist/paseo/start.js +2 -2
  111. package/dist/paseo/start.js.map +1 -1
  112. package/dist/security/sandbox.d.ts +1 -0
  113. package/dist/security/sandbox.js +20 -2
  114. package/dist/security/sandbox.js.map +1 -1
  115. package/dist/utils/process.d.ts +10 -0
  116. package/dist/utils/process.js +171 -6
  117. package/dist/utils/process.js.map +1 -1
  118. package/dist/utils/repositoryPath.d.ts +4 -0
  119. package/dist/utils/repositoryPath.js +23 -0
  120. package/dist/utils/repositoryPath.js.map +1 -0
  121. package/dist/validators/opa.js +2 -2
  122. package/dist/validators/quickAcceptance.d.ts +7 -0
  123. package/dist/validators/quickAcceptance.js +40 -0
  124. package/dist/validators/quickAcceptance.js.map +1 -0
  125. package/dist/workers/agentPrompt.js +247 -32
  126. package/dist/workers/agentPrompt.js.map +1 -1
  127. package/dist/workers/direct.js +9 -10
  128. package/dist/workers/direct.js.map +1 -1
  129. package/dist/workers/directProcess.d.ts +19 -0
  130. package/dist/workers/directProcess.js +147 -0
  131. package/dist/workers/directProcess.js.map +1 -0
  132. package/dist/workers/podman.js +2 -2
  133. package/dist/workers/podman.js.map +1 -1
  134. package/dist/workers/resultCommit.js +1 -1
  135. package/dist/workers/resultCommit.js.map +1 -1
  136. package/dist/workers/resultGateway.d.ts +27 -2
  137. package/dist/workers/resultGateway.js +64 -11
  138. package/dist/workers/resultGateway.js.map +1 -1
  139. package/docs/CERTIFICATION.md +31 -0
  140. package/package.json +2 -2
  141. 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;