assertledger 1.1.1 → 1.3.0
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.fr.md +34 -4
- package/README.md +33 -4
- package/conformance/schema-extensions.json +25 -0
- package/dist/build-info.json +1 -1
- package/dist/cli.d.ts +8 -1
- package/dist/cli.d.ts.map +1 -1
- package/dist/cli.js +292 -25
- package/dist/cli.js.map +1 -1
- package/dist/contracts/index.d.ts +510 -4
- package/dist/contracts/index.d.ts.map +1 -1
- package/dist/contracts/index.js +230 -16
- package/dist/contracts/index.js.map +1 -1
- package/dist/contracts/runtime-doctor.d.ts +123 -0
- package/dist/contracts/runtime-doctor.d.ts.map +1 -1
- package/dist/contracts/runtime-doctor.js +64 -0
- package/dist/contracts/runtime-doctor.js.map +1 -1
- package/dist/core/index.d.ts.map +1 -1
- package/dist/core/index.js +5 -2
- package/dist/core/index.js.map +1 -1
- package/dist/diagnostics.d.ts.map +1 -1
- package/dist/diagnostics.js +26 -2
- package/dist/diagnostics.js.map +1 -1
- package/dist/engine/adapters/bun-test-profile.d.ts +17 -0
- package/dist/engine/adapters/bun-test-profile.d.ts.map +1 -0
- package/dist/engine/adapters/bun-test-profile.js +17 -0
- package/dist/engine/adapters/bun-test-profile.js.map +1 -0
- package/dist/engine/connection.d.ts +25 -1
- package/dist/engine/connection.d.ts.map +1 -1
- package/dist/engine/connection.js +144 -31
- package/dist/engine/connection.js.map +1 -1
- package/dist/engine/demo.d.ts +16 -0
- package/dist/engine/demo.d.ts.map +1 -0
- package/dist/engine/demo.js +51 -0
- package/dist/engine/demo.js.map +1 -0
- package/dist/engine/git-regression.d.ts +2 -2
- package/dist/engine/git-regression.d.ts.map +1 -1
- package/dist/engine/git-regression.js.map +1 -1
- package/dist/engine/index.d.ts +26 -5
- package/dist/engine/index.d.ts.map +1 -1
- package/dist/engine/index.js +539 -58
- package/dist/engine/index.js.map +1 -1
- package/dist/engine/runtime-doctor.d.ts +13 -4
- package/dist/engine/runtime-doctor.d.ts.map +1 -1
- package/dist/engine/runtime-doctor.js +80 -2
- package/dist/engine/runtime-doctor.js.map +1 -1
- package/dist/engine/setup.d.ts +39 -0
- package/dist/engine/setup.d.ts.map +1 -0
- package/dist/engine/setup.js +411 -0
- package/dist/engine/setup.js.map +1 -0
- package/dist/mcp/index.d.ts.map +1 -1
- package/dist/mcp/index.js +36 -6
- package/dist/mcp/index.js.map +1 -1
- package/dist/sdk/index.d.ts +7 -6
- package/dist/sdk/index.d.ts.map +1 -1
- package/dist/sdk/index.js +20 -7
- package/dist/sdk/index.js.map +1 -1
- package/docs/adapter-protocol.md +61 -0
- package/docs/architecture.md +4 -1
- package/docs/developer-experience.md +39 -5
- package/docs/distribution.md +8 -3
- package/docs/migration-verification-v3.md +33 -0
- package/docs/project-intent.md +7 -5
- package/docs/reference.md +9 -5
- package/docs/repository-init.md +52 -7
- package/docs/runtime-doctor.md +12 -9
- package/integrations/bun/assertions.d.mts +4 -0
- package/integrations/bun/assertions.mjs +25 -0
- package/integrations/bun/driver.d.mts +27 -0
- package/integrations/bun/driver.mjs +383 -0
- package/integrations/bun/preload.mjs +165 -0
- package/integrations/skill/SKILL.md +4 -1
- package/package.json +7 -3
- package/schemas/evidence-manifest.v3.json +897 -0
- package/schemas/repository-init-config.v2.json +210 -0
- package/schemas/repository-init-lock.v2.json +162 -0
- package/schemas/repository-init-result.v2.json +212 -0
- package/schemas/verification-request.v3.json +484 -0
package/dist/mcp/index.js
CHANGED
|
@@ -2,7 +2,7 @@ import { realpath } from "node:fs/promises";
|
|
|
2
2
|
import path from "node:path";
|
|
3
3
|
import { McpServer } from "@modelcontextprotocol/server";
|
|
4
4
|
import * as z from "zod/v4";
|
|
5
|
-
import { AgenticBenchmarkAcquisitionReplayResultSchema, AgenticBenchmarkAcquisitionRequestSchema, AgenticBenchmarkAcquisitionResultSchema, AgenticBenchmarkArtifactSchema, AgenticBenchmarkReplayResultSchema, AgenticBenchmarkRequestSchema, AgenticCorpusAllocationReplayResultSchema, AgenticCorpusAllocationRequestSchema, AgenticCorpusAllocationSchema, AgenticProfileReplayResultSchema, AgenticProfileReplayResultV2Schema, AgenticProfileReportSchema, AgenticProfileReportV2Schema, AgenticProfileRequestSchema, AgenticProfileRequestV2Schema, EvidenceExportReplayResultSchema, EvidenceExportRequestSchema, EvidenceExportSchema, EvidenceManifestSchema, EvidenceProviderManifestSchema, ReplayResultSchema, RepositoryAnalysisSchema, RepositoryInitResultSchema, RuntimeDoctorResultSchema, VerificationRequestSchema, } from "../contracts/index.js";
|
|
5
|
+
import { AgenticBenchmarkAcquisitionReplayResultSchema, AgenticBenchmarkAcquisitionRequestSchema, AgenticBenchmarkAcquisitionResultSchema, AgenticBenchmarkArtifactSchema, AgenticBenchmarkReplayResultSchema, AgenticBenchmarkRequestSchema, AgenticCorpusAllocationReplayResultSchema, AgenticCorpusAllocationRequestSchema, AgenticCorpusAllocationSchema, AgenticProfileReplayResultSchema, AgenticProfileReplayResultV2Schema, AgenticProfileReportSchema, AgenticProfileReportV2Schema, AgenticProfileRequestSchema, AgenticProfileRequestV2Schema, EvidenceExportReplayResultSchema, EvidenceExportRequestSchema, EvidenceExportSchema, EvidenceManifestSchema, EvidenceManifestV3Schema, EvidenceProviderManifestSchema, ReplayResultSchema, RepositoryAnalysisSchema, RepositoryInitResultSchema, RepositoryInitResultV2Schema, RuntimeDoctorResultSchema, RuntimeDoctorResultV2Schema, VerificationRequestSchema, VerificationRequestV3Schema, } from "../contracts/index.js";
|
|
6
6
|
import { DiagnosticCodesSchema, DiagnosticReportSchema } from "../diagnostics.js";
|
|
7
7
|
import { AssertLedger } from "../sdk/index.js";
|
|
8
8
|
import { ASSERTLEDGER_VERSION } from "../version.js";
|
|
@@ -60,11 +60,19 @@ export function createAssertLedgerServer(options = {}) {
|
|
|
60
60
|
server.registerTool("assertledger_analyze", analyzeConfig, analyzeHandler);
|
|
61
61
|
server.registerTool("testforge_analyze", analyzeConfig, analyzeHandler);
|
|
62
62
|
const doctorInputSchema = z.strictObject({ root: z.string().min(1) });
|
|
63
|
+
const staticDoctorInputSchema = z.strictObject({
|
|
64
|
+
root: z.string().min(1),
|
|
65
|
+
exclude: z.array(z.string()).max(1_000).optional(),
|
|
66
|
+
framework: z.string().min(1).optional(),
|
|
67
|
+
});
|
|
63
68
|
const doctorConfig = {
|
|
64
69
|
title: "Inspect repository readiness",
|
|
65
|
-
description: "Return a static AssertLedger initialization plan without writing files or executing repository code.",
|
|
66
|
-
inputSchema:
|
|
67
|
-
outputSchema:
|
|
70
|
+
description: "Return a static AssertLedger initialization plan without writing files or executing repository code. Optional framework selects the test framework; exclude names entries to leave out of the inventory at any depth.",
|
|
71
|
+
inputSchema: staticDoctorInputSchema,
|
|
72
|
+
outputSchema: z.union([
|
|
73
|
+
z.strictObject({ ...RepositoryInitResultSchema.shape }),
|
|
74
|
+
z.strictObject({ ...RepositoryInitResultV2Schema.shape }),
|
|
75
|
+
]),
|
|
68
76
|
annotations: {
|
|
69
77
|
destructiveHint: false,
|
|
70
78
|
idempotentHint: true,
|
|
@@ -72,7 +80,10 @@ export function createAssertLedgerServer(options = {}) {
|
|
|
72
80
|
readOnlyHint: true,
|
|
73
81
|
},
|
|
74
82
|
};
|
|
75
|
-
const doctorHandler = async ({ root }) => jsonResult(await assertLedger.doctor(await confinedRepositoryRoot(root)
|
|
83
|
+
const doctorHandler = async ({ root, exclude, framework, }) => jsonResult(await assertLedger.doctor(await confinedRepositoryRoot(root), {
|
|
84
|
+
...(exclude === undefined ? {} : { exclude }),
|
|
85
|
+
...(framework === undefined ? {} : { framework }),
|
|
86
|
+
}));
|
|
76
87
|
server.registerTool("assertledger_doctor", doctorConfig, doctorHandler);
|
|
77
88
|
server.registerTool("testforge_doctor", doctorConfig, doctorHandler);
|
|
78
89
|
if (options.allowUnsafeExecution === true) {
|
|
@@ -80,7 +91,7 @@ export function createAssertLedgerServer(options = {}) {
|
|
|
80
91
|
title: "Check the controlled Node runtime",
|
|
81
92
|
description: "UNSANDBOXED trusted-local: check the generated node:test runtime with controlled synthetic probes. Does not run repository tests or prove campaign evidence. Available only with server-operator authorization.",
|
|
82
93
|
inputSchema: doctorInputSchema,
|
|
83
|
-
outputSchema: RuntimeDoctorResultSchema,
|
|
94
|
+
outputSchema: z.union([RuntimeDoctorResultSchema, RuntimeDoctorResultV2Schema]),
|
|
84
95
|
annotations: {
|
|
85
96
|
destructiveHint: true,
|
|
86
97
|
idempotentHint: false,
|
|
@@ -152,6 +163,25 @@ export function createAssertLedgerServer(options = {}) {
|
|
|
152
163
|
};
|
|
153
164
|
server.registerTool("assertledger_verify", verifyConfig, verifyHandler);
|
|
154
165
|
server.registerTool("testforge_verify", verifyConfig, verifyHandler);
|
|
166
|
+
const verifyV3InputSchema = z.strictObject({ request: VerificationRequestV3Schema });
|
|
167
|
+
const verifyV3Config = {
|
|
168
|
+
...verifyConfig,
|
|
169
|
+
title: "Verify v3 candidate tests",
|
|
170
|
+
inputSchema: verifyV3InputSchema,
|
|
171
|
+
outputSchema: EvidenceManifestV3Schema,
|
|
172
|
+
};
|
|
173
|
+
const verifyV3Handler = async ({ request }) => {
|
|
174
|
+
const root = await confinedRepositoryRoot(request.repository.root);
|
|
175
|
+
return jsonResult(await assertLedger.verifyV3({
|
|
176
|
+
...request,
|
|
177
|
+
repository: { ...request.repository, root },
|
|
178
|
+
isolation: request.isolation.kind === "trusted-local"
|
|
179
|
+
? { ...request.isolation, acknowledgedUnsafeExecution: true }
|
|
180
|
+
: request.isolation,
|
|
181
|
+
}));
|
|
182
|
+
};
|
|
183
|
+
server.registerTool("assertledger_verify_v3", verifyV3Config, verifyV3Handler);
|
|
184
|
+
server.registerTool("testforge_verify_v3", verifyV3Config, verifyV3Handler);
|
|
155
185
|
const benchmarkAcquireInputSchema = z.strictObject({
|
|
156
186
|
request: AgenticBenchmarkAcquisitionRequestSchema,
|
|
157
187
|
});
|
package/dist/mcp/index.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/mcp/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,SAAS,EAAE,MAAM,8BAA8B,CAAC;AACzD,OAAO,KAAK,CAAC,MAAM,QAAQ,CAAC;AAC5B,OAAO,EACL,6CAA6C,EAC7C,wCAAwC,EACxC,uCAAuC,EACvC,8BAA8B,EAC9B,kCAAkC,EAClC,6BAA6B,EAC7B,yCAAyC,EACzC,oCAAoC,EACpC,6BAA6B,EAC7B,gCAAgC,EAChC,kCAAkC,EAClC,0BAA0B,EAC1B,4BAA4B,EAC5B,2BAA2B,EAC3B,6BAA6B,EAC7B,gCAAgC,EAChC,2BAA2B,EAC3B,oBAAoB,EACpB,sBAAsB,EACtB,8BAA8B,EAC9B,kBAAkB,EAClB,wBAAwB,EACxB,0BAA0B,EAC1B,yBAAyB,EACzB,yBAAyB,GAC1B,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAClF,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAErD,SAAS,UAAU,CAAC,KAAc;IAChC,MAAM,iBAAiB,GACrB,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAClE,CAAC,CAAE,KAAiC;QACpC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;IAChB,OAAO;QACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAe,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QACjE,iBAAiB;KAClB,CAAC;AACJ,CAAC;AAYD,MAAM,UAAU,wBAAwB,CAAC,OAAO,GAA8B,EAAE;IAC9E,MAAM,YAAY,GAAG,IAAI,YAAY,EAAE,CAAC;IACxC,MAAM,sBAAsB,GAAG,OAAO,CAAC,sBAAsB,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;IAEjF,KAAK,UAAU,sBAAsB,CAAC,aAAqB;QACzD,MAAM,CAAC,SAAS,EAAE,GAAG,OAAO,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YAChD,QAAQ,CAAC,aAAa,CAAC;YACvB,GAAG,sBAAsB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;SACxD,CAAC,CAAC;QACH,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;YACtC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YAChD,OAAO,CACL,QAAQ,KAAK,EAAE;gBACf,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,QAAQ,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAC3F,CAAC;QACJ,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;QACjE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,SAAS,CAC1B,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,oBAAoB,EAAE,EACvD,EAAE,YAAY,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,CAChC,CAAC;IAEF,MAAM,kBAAkB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACvE,MAAM,kBAAkB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,KAAK,EAAE,qBAAqB,EAAE,CAAC,CAAC;IAC5E,MAAM,aAAa,GAAG;QACpB,KAAK,EAAE,+BAA+B;QACtC,WAAW,EACT,iGAAiG;QACnG,WAAW,EAAE,kBAAkB;QAC/B,YAAY,EAAE,sBAAsB;QACpC,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,cAAc,GAAG,KAAK,EAAE,EAAE,KAAK,EAAsC,EAAE,EAAE,CAC7E,UAAU,CAAC,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;IAC1C,MAAM,CAAC,YAAY,CAAC,sBAAsB,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC;IAC3E,MAAM,CAAC,YAAY,CAAC,mBAAmB,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC;IACxE,MAAM,aAAa,GAAG;QACpB,KAAK,EAAE,sBAAsB;QAC7B,WAAW,EAAE,+DAA+D;QAC5E,WAAW,EAAE,kBAAkB;QAC/B,YAAY,EAAE,wBAAwB;KACvC,CAAC;IACF,MAAM,cAAc,GAAG,KAAK,EAAE,EAAE,IAAI,EAAsC,EAAE,EAAE,CAC5E,UAAU,CAAC,MAAM,YAAY,CAAC,OAAO,CAAC,MAAM,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7E,MAAM,CAAC,YAAY,CAAC,sBAAsB,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC;IAC3E,MAAM,CAAC,YAAY,CAAC,mBAAmB,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC;IAExE,MAAM,iBAAiB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACtE,MAAM,YAAY,GAAG;QACnB,KAAK,EAAE,8BAA8B;QACrC,WAAW,EACT,sGAAsG;QACxG,WAAW,EAAE,iBAAiB;QAC9B,YAAY,EAAE,0BAA0B;QACxC,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,aAAa,GAAG,KAAK,EAAE,EAAE,IAAI,EAAqC,EAAE,EAAE,CAC1E,UAAU,CAAC,MAAM,YAAY,CAAC,MAAM,CAAC,MAAM,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5E,MAAM,CAAC,YAAY,CAAC,qBAAqB,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;IACxE,MAAM,CAAC,YAAY,CAAC,kBAAkB,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;IAErE,IAAI,OAAO,CAAC,oBAAoB,KAAK,IAAI,EAAE,CAAC;QAC1C,MAAM,mBAAmB,GAAG;YAC1B,KAAK,EAAE,mCAAmC;YAC1C,WAAW,EACT,iNAAiN;YACnN,WAAW,EAAE,iBAAiB;YAC9B,YAAY,EAAE,yBAAyB;YACvC,WAAW,EAAE;gBACX,eAAe,EAAE,IAAI;gBACrB,cAAc,EAAE,KAAK;gBACrB,aAAa,EAAE,IAAI;gBACnB,YAAY,EAAE,KAAK;aACpB;SACF,CAAC;QACF,MAAM,oBAAoB,GAAG,KAAK,EAAE,EAAE,IAAI,EAAqC,EAAE,EAAE,CACjF,UAAU,CACR,MAAM,YAAY,CAAC,aAAa,CAAC,MAAM,sBAAsB,CAAC,IAAI,CAAC,EAAE;YACnE,oBAAoB,EAAE,IAAI;SAC3B,CAAC,CACH,CAAC;QACJ,MAAM,CAAC,YAAY,CAAC,6BAA6B,EAAE,mBAAmB,EAAE,oBAAoB,CAAC,CAAC;QAC9F,MAAM,CAAC,YAAY,CAAC,0BAA0B,EAAE,mBAAmB,EAAE,oBAAoB,CAAC,CAAC;QAE3F,MAAM,gBAAgB,GAAG,CAAC,CAAC,YAAY,CAAC;YACtC,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YAC7B,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YACzB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;YACnC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YAC1B,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YAChC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YACvB,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAC5C,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;SACvB,CAAC,CAAC;QACH,MAAM,WAAW,GAAG;YAClB,KAAK,EAAE,qCAAqC;YAC5C,WAAW,EACT,iOAAiO;YACnO,WAAW,EAAE,gBAAgB;YAC7B,YAAY,EAAE,sBAAsB;YACpC,WAAW,EAAE;gBACX,eAAe,EAAE,IAAI;gBACrB,cAAc,EAAE,KAAK;gBACrB,aAAa,EAAE,IAAI;gBACnB,YAAY,EAAE,KAAK;aACpB;SACF,CAAC;QACF,MAAM,YAAY,GAAG,KAAK,EAAE,KAAuC,EAAE,EAAE;YACrE,MAAM,EAAE,KAAK,EAAE,GAAG,QAAQ,EAAE,GAAG,KAAK,CAAC;YACrC,OAAO,UAAU,CACf,MAAM,YAAY,CAAC,kBAAkB,CAAC;gBACpC,GAAG,QAAQ;gBACX,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;gBACzC,UAAU,EAAE,MAAM,sBAAsB,CAAC,KAAK,CAAC,UAAU,CAAC;gBAC1D,oBAAoB,EAAE,IAAI;aAC3B,CAAC,CACH,CAAC;QACJ,CAAC,CAAC;QACF,MAAM,CAAC,YAAY,CAAC,oBAAoB,EAAE,WAAW,EAAE,YAAY,CAAC,CAAC;QACrE,MAAM,CAAC,YAAY,CAAC,iBAAiB,EAAE,WAAW,EAAE,YAAY,CAAC,CAAC;QAElE,MAAM,iBAAiB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,yBAAyB,EAAE,CAAC,CAAC;QACjF,MAAM,YAAY,GAAG;YACnB,KAAK,EAAE,wBAAwB;YAC/B,WAAW,EACT,+JAA+J;YACjK,WAAW,EAAE,iBAAiB;YAC9B,YAAY,EAAE,sBAAsB;YACpC,WAAW,EAAE;gBACX,eAAe,EAAE,IAAI;gBACrB,cAAc,EAAE,KAAK;gBACrB,aAAa,EAAE,IAAI;gBACnB,YAAY,EAAE,KAAK;aACpB;SACF,CAAC;QACF,MAAM,aAAa,GAAG,KAAK,EAAE,EAAE,OAAO,EAAqC,EAAE,EAAE;YAC7E,MAAM,IAAI,GAAG,MAAM,sBAAsB,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YACnE,OAAO,UAAU,CACf,MAAM,YAAY,CAAC,MAAM,CAAC;gBACxB,GAAG,OAAO;gBACV,UAAU,EAAE,EAAE,GAAG,OAAO,CAAC,UAAU,EAAE,IAAI,EAAE;gBAC3C,SAAS,EAAE;oBACT,GAAG,OAAO,CAAC,SAAS;oBACpB,2BAA2B,EAAE,IAAI;iBAClC;aACF,CAAC,CACH,CAAC;QACJ,CAAC,CAAC;QACF,MAAM,CAAC,YAAY,CAAC,qBAAqB,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;QACxE,MAAM,CAAC,YAAY,CAAC,kBAAkB,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;QAErE,MAAM,2BAA2B,GAAG,CAAC,CAAC,YAAY,CAAC;YACjD,OAAO,EAAE,wCAAwC;SAClD,CAAC,CAAC;QACH,MAAM,sBAAsB,GAAG;YAC7B,KAAK,EAAE,wCAAwC;YAC/C,WAAW,EACT,4LAA4L;YAC9L,WAAW,EAAE,2BAA2B;YACxC,YAAY,EAAE,uCAAuC;YACrD,WAAW,EAAE;gBACX,eAAe,EAAE,IAAI;gBACrB,cAAc,EAAE,KAAK;gBACrB,aAAa,EAAE,IAAI;gBACnB,YAAY,EAAE,KAAK;aACpB;SACF,CAAC;QACF,MAAM,uBAAuB,GAAG,KAAK,EAAE,EACrC,OAAO,GACqC,EAAE,EAAE;YAChD,MAAM,IAAI,GAAG,MAAM,sBAAsB,CAAC,OAAO,CAAC,mBAAmB,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YACvF,OAAO,UAAU,CACf,MAAM,YAAY,CAAC,gBAAgB,CAAC;gBAClC,GAAG,OAAO;gBACV,mBAAmB,EAAE;oBACnB,GAAG,OAAO,CAAC,mBAAmB;oBAC9B,UAAU,EAAE,EAAE,GAAG,OAAO,CAAC,mBAAmB,CAAC,UAAU,EAAE,IAAI,EAAE;oBAC/D,SAAS,EAAE;wBACT,GAAG,OAAO,CAAC,mBAAmB,CAAC,SAAS;wBACxC,2BAA2B,EAAE,IAAI;qBAClC;iBACF;aACF,CAAC,CACH,CAAC;QACJ,CAAC,CAAC;QACF,MAAM,CAAC,YAAY,CACjB,gCAAgC,EAChC,sBAAsB,EACtB,uBAAuB,CACxB,CAAC;QACF,MAAM,CAAC,YAAY,CACjB,6BAA6B,EAC7B,sBAAsB,EACtB,uBAAuB,CACxB,CAAC;IACJ,CAAC;IAED,MAAM,iBAAiB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,QAAQ,EAAE,sBAAsB,EAAE,CAAC,CAAC;IAC/E,MAAM,YAAY,GAAG;QACnB,KAAK,EAAE,iBAAiB;QACxB,WAAW,EACT,6HAA6H;QAC/H,WAAW,EAAE,iBAAiB;QAC9B,YAAY,EAAE,kBAAkB;KACjC,CAAC;IACF,MAAM,aAAa,GAAG,CAAC,EAAE,QAAQ,EAAqC,EAAE,EAAE,CACxE,UAAU,CAAC,YAAY,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC5C,MAAM,CAAC,YAAY,CAAC,qBAAqB,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;IACxE,MAAM,CAAC,YAAY,CAAC,kBAAkB,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;IAErE,MAAM,oBAAoB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,6BAA6B,EAAE,CAAC,CAAC;IACxF,MAAM,eAAe,GAAG;QACtB,KAAK,EAAE,sCAAsC;QAC7C,WAAW,EACT,mHAAmH;QACrH,WAAW,EAAE,oBAAoB;QACjC,YAAY,EAAE,8BAA8B;QAC5C,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,gBAAgB,GAAG,CAAC,EAAE,OAAO,EAAwC,EAAE,EAAE,CAC7E,UAAU,CAAC,YAAY,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;IAC9C,MAAM,CAAC,YAAY,CAAC,wBAAwB,EAAE,eAAe,EAAE,gBAAgB,CAAC,CAAC;IACjF,MAAM,CAAC,YAAY,CAAC,qBAAqB,EAAE,eAAe,EAAE,gBAAgB,CAAC,CAAC;IAE9E,MAAM,0BAA0B,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,QAAQ,EAAE,8BAA8B,EAAE,CAAC,CAAC;IAChG,MAAM,qBAAqB,GAAG;QAC5B,KAAK,EAAE,sCAAsC;QAC7C,WAAW,EACT,6GAA6G;QAC/G,WAAW,EAAE,0BAA0B;QACvC,YAAY,EAAE,kCAAkC;QAChD,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,sBAAsB,GAAG,CAAC,EAAE,QAAQ,EAA8C,EAAE,EAAE,CAC1F,UAAU,CAAC,YAAY,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC;IACrD,MAAM,CAAC,YAAY,CACjB,+BAA+B,EAC/B,qBAAqB,EACrB,sBAAsB,CACvB,CAAC;IACF,MAAM,CAAC,YAAY,CAAC,4BAA4B,EAAE,qBAAqB,EAAE,sBAAsB,CAAC,CAAC;IAEjG,MAAM,iCAAiC,GAAG,CAAC,CAAC,YAAY,CAAC;QACvD,MAAM,EAAE,uCAAuC;KAChD,CAAC,CAAC;IACH,MAAM,4BAA4B,GAAG;QACnC,KAAK,EAAE,uCAAuC;QAC9C,WAAW,EACT,gHAAgH;QAClH,WAAW,EAAE,iCAAiC;QAC9C,YAAY,EAAE,6CAA6C;QAC3D,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,6BAA6B,GAAG,CAAC,EACrC,MAAM,GAC4C,EAAE,EAAE,CACtD,UAAU,CAAC,YAAY,CAAC,0BAA0B,CAAC,MAAM,CAAC,CAAC,CAAC;IAC9D,MAAM,CAAC,YAAY,CACjB,uCAAuC,EACvC,4BAA4B,EAC5B,6BAA6B,CAC9B,CAAC;IACF,MAAM,CAAC,YAAY,CACjB,oCAAoC,EACpC,4BAA4B,EAC5B,6BAA6B,CAC9B,CAAC;IAEF,MAAM,yBAAyB,GAAG,CAAC,CAAC,YAAY,CAAC;QAC/C,OAAO,EAAE,oCAAoC;KAC9C,CAAC,CAAC;IACH,MAAM,oBAAoB,GAAG;QAC3B,KAAK,EAAE,0CAA0C;QACjD,WAAW,EACT,0HAA0H;QAC5H,WAAW,EAAE,yBAAyB;QACtC,YAAY,EAAE,6BAA6B;QAC3C,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,qBAAqB,GAAG,CAAC,EAAE,OAAO,EAA6C,EAAE,EAAE,CACvF,UAAU,CAAC,YAAY,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC;IACnD,MAAM,CAAC,YAAY,CAAC,8BAA8B,EAAE,oBAAoB,EAAE,qBAAqB,CAAC,CAAC;IACjG,MAAM,CAAC,YAAY,CAAC,2BAA2B,EAAE,oBAAoB,EAAE,qBAAqB,CAAC,CAAC;IAE9F,MAAM,iCAAiC,GAAG,CAAC,CAAC,YAAY,CAAC;QACvD,UAAU,EAAE,6BAA6B;KAC1C,CAAC,CAAC;IACH,MAAM,4BAA4B,GAAG;QACnC,KAAK,EAAE,4BAA4B;QACnC,WAAW,EACT,wGAAwG;QAC1G,WAAW,EAAE,iCAAiC;QAC9C,YAAY,EAAE,yCAAyC;QACvD,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,6BAA6B,GAAG,CAAC,EACrC,UAAU,GACwC,EAAE,EAAE,CACtD,UAAU,CAAC,YAAY,CAAC,sBAAsB,CAAC,UAAU,CAAC,CAAC,CAAC;IAC9D,MAAM,CAAC,YAAY,CACjB,uCAAuC,EACvC,4BAA4B,EAC5B,6BAA6B,CAC9B,CAAC;IACF,MAAM,CAAC,YAAY,CACjB,oCAAoC,EACpC,4BAA4B,EAC5B,6BAA6B,CAC9B,CAAC;IAEF,MAAM,kBAAkB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,2BAA2B,EAAE,CAAC,CAAC;IACpF,MAAM,aAAa,GAAG;QACpB,KAAK,EAAE,gCAAgC;QACvC,WAAW,EACT,+GAA+G;QACjH,WAAW,EAAE,kBAAkB;QAC/B,YAAY,EAAE,0BAA0B;QACxC,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,cAAc,GAAG,CAAC,EAAE,OAAO,EAAsC,EAAE,EAAE,CACzE,UAAU,CAAC,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;IAC5C,MAAM,CAAC,YAAY,CAAC,sBAAsB,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC;IAC3E,MAAM,CAAC,YAAY,CAAC,mBAAmB,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC;IAExE,MAAM,wBAAwB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,0BAA0B,EAAE,CAAC,CAAC;IACxF,MAAM,mBAAmB,GAAG;QAC1B,KAAK,EAAE,gCAAgC;QACvC,WAAW,EACT,0FAA0F;QAC5F,WAAW,EAAE,wBAAwB;QACrC,YAAY,EAAE,gCAAgC;QAC9C,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,oBAAoB,GAAG,CAAC,EAAE,MAAM,EAA4C,EAAE,EAAE,CACpF,UAAU,CAAC,YAAY,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC;IACjD,MAAM,CAAC,YAAY,CAAC,6BAA6B,EAAE,mBAAmB,EAAE,oBAAoB,CAAC,CAAC;IAC9F,MAAM,CAAC,YAAY,CAAC,0BAA0B,EAAE,mBAAmB,EAAE,oBAAoB,CAAC,CAAC;IAE3F,MAAM,oBAAoB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,6BAA6B,EAAE,CAAC,CAAC;IACxF,MAAM,eAAe,GAAG;QACtB,KAAK,EAAE,mCAAmC;QAC1C,WAAW,EACT,yHAAyH;QAC3H,WAAW,EAAE,oBAAoB;QACjC,YAAY,EAAE,4BAA4B;QAC1C,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,gBAAgB,GAAG,CAAC,EAAE,OAAO,EAAwC,EAAE,EAAE,CAC7E,UAAU,CAAC,YAAY,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;IAC9C,MAAM,CAAC,YAAY,CAAC,yBAAyB,EAAE,eAAe,EAAE,gBAAgB,CAAC,CAAC;IAClF,MAAM,CAAC,YAAY,CAAC,sBAAsB,EAAE,eAAe,EAAE,gBAAgB,CAAC,CAAC;IAE/E,MAAM,0BAA0B,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,4BAA4B,EAAE,CAAC,CAAC;IAC5F,MAAM,qBAAqB,GAAG;QAC5B,KAAK,EAAE,mCAAmC;QAC1C,WAAW,EACT,kGAAkG;QACpG,WAAW,EAAE,0BAA0B;QACvC,YAAY,EAAE,kCAAkC;QAChD,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,sBAAsB,GAAG,CAAC,EAAE,MAAM,EAA8C,EAAE,EAAE,CACxF,UAAU,CAAC,YAAY,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC;IACnD,MAAM,CAAC,YAAY,CACjB,gCAAgC,EAChC,qBAAqB,EACrB,sBAAsB,CACvB,CAAC;IACF,MAAM,CAAC,YAAY,CAAC,6BAA6B,EAAE,qBAAqB,EAAE,sBAAsB,CAAC,CAAC;IAElG,MAAM,iBAAiB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,2BAA2B,EAAE,CAAC,CAAC;IACnF,MAAM,YAAY,GAAG;QACnB,KAAK,EAAE,8BAA8B;QACrC,WAAW,EACT,4LAA4L;QAC9L,WAAW,EAAE,iBAAiB;QAC9B,YAAY,EAAE,oBAAoB;QAClC,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,aAAa,GAAG,CAAC,EAAE,OAAO,EAAqC,EAAE,EAAE,CACvE,UAAU,CAAC,YAAY,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC;IACnD,MAAM,CAAC,YAAY,CAAC,qBAAqB,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;IACxE,MAAM,CAAC,YAAY,CAAC,kBAAkB,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;IAErE,MAAM,uBAAuB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,cAAc,EAAE,oBAAoB,EAAE,CAAC,CAAC;IACzF,MAAM,kBAAkB,GAAG;QACzB,KAAK,EAAE,wCAAwC;QAC/C,WAAW,EACT,wGAAwG;QAC1G,WAAW,EAAE,uBAAuB;QACpC,YAAY,EAAE,gCAAgC;QAC9C,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,mBAAmB,GAAG,CAAC,EAAE,cAAc,EAA2C,EAAE,EAAE,CAC1F,UAAU,CAAC,YAAY,CAAC,oBAAoB,CAAC,cAAc,CAAC,CAAC,CAAC;IAChE,MAAM,CAAC,YAAY,CAAC,4BAA4B,EAAE,kBAAkB,EAAE,mBAAmB,CAAC,CAAC;IAC3F,MAAM,CAAC,YAAY,CAAC,yBAAyB,EAAE,kBAAkB,EAAE,mBAAmB,CAAC,CAAC;IAExF,MAAM,mBAAmB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;IAC/C,MAAM,cAAc,GAAG;QACrB,KAAK,EAAE,6CAA6C;QACpD,WAAW,EACT,+JAA+J;QACjK,WAAW,EAAE,mBAAmB;QAChC,YAAY,EAAE,8BAA8B;QAC5C,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,eAAe,GAAG,GAAG,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,gBAAgB,EAAE,CAAC,CAAC;IAC1E,MAAM,CAAC,YAAY,CAAC,uBAAuB,EAAE,cAAc,EAAE,eAAe,CAAC,CAAC;IAC9E,MAAM,CAAC,YAAY,CAAC,oBAAoB,EAAE,cAAc,EAAE,eAAe,CAAC,CAAC;IAE3E,MAAM,iBAAiB,GAAG,CAAC,CAAC,YAAY,CAAC;QACvC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;YACX,mCAAmC;YACnC,2BAA2B;YAC3B,yCAAyC;YACzC,sCAAsC;YACtC,kCAAkC;YAClC,oDAAoD;YACpD,gCAAgC;YAChC,8CAA8C;YAC9C,mCAAmC;YACnC,oCAAoC;YACpC,0CAA0C;YAC1C,yCAAyC;YACzC,2BAA2B;YAC3B,4BAA4B;YAC5B,iCAAiC;YACjC,uCAAuC;YACvC,sCAAsC;YACtC,6CAA6C;YAC7C,yBAAyB;YACzB,wBAAwB;YACxB,+BAA+B;YAC/B,4BAA4B;YAC5B,2BAA2B;YAC3B,kCAAkC;YAClC,sBAAsB;YACtB,qBAAqB;YACrB,mBAAmB;YACnB,eAAe;YACf,4BAA4B;YAC5B,yBAAyB;YACzB,iBAAiB;YACjB,+BAA+B;SAChC,CAAC;KACH,CAAC,CAAC;IACH,MAAM,YAAY,GAAG;QACnB,KAAK,EAAE,4BAA4B;QACnC,WAAW,EAAE,sDAAsD;QACnE,WAAW,EAAE,iBAAiB;KAC/B,CAAC;IACF,MAAM,aAAa,GAAG,CAAC,EAAE,IAAI,EAAqC,EAAE,EAAE,CACpE,UAAU,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACxC,MAAM,CAAC,YAAY,CAAC,qBAAqB,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;IACxE,MAAM,CAAC,YAAY,CAAC,kBAAkB,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;IAErE,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,uFAAuF;AACvF,MAAM,CAAC,MAAM,qBAAqB,GAAG,wBAAwB,CAAC"}
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/mcp/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,SAAS,EAAE,MAAM,8BAA8B,CAAC;AACzD,OAAO,KAAK,CAAC,MAAM,QAAQ,CAAC;AAC5B,OAAO,EACL,6CAA6C,EAC7C,wCAAwC,EACxC,uCAAuC,EACvC,8BAA8B,EAC9B,kCAAkC,EAClC,6BAA6B,EAC7B,yCAAyC,EACzC,oCAAoC,EACpC,6BAA6B,EAC7B,gCAAgC,EAChC,kCAAkC,EAClC,0BAA0B,EAC1B,4BAA4B,EAC5B,2BAA2B,EAC3B,6BAA6B,EAC7B,gCAAgC,EAChC,2BAA2B,EAC3B,oBAAoB,EACpB,sBAAsB,EACtB,wBAAwB,EACxB,8BAA8B,EAC9B,kBAAkB,EAClB,wBAAwB,EACxB,0BAA0B,EAC1B,4BAA4B,EAC5B,yBAAyB,EACzB,2BAA2B,EAC3B,yBAAyB,EACzB,2BAA2B,GAC5B,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAClF,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAErD,SAAS,UAAU,CAAC,KAAc;IAChC,MAAM,iBAAiB,GACrB,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAClE,CAAC,CAAE,KAAiC;QACpC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;IAChB,OAAO;QACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAe,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QACjE,iBAAiB;KAClB,CAAC;AACJ,CAAC;AAYD,MAAM,UAAU,wBAAwB,CAAC,OAAO,GAA8B,EAAE;IAC9E,MAAM,YAAY,GAAG,IAAI,YAAY,EAAE,CAAC;IACxC,MAAM,sBAAsB,GAAG,OAAO,CAAC,sBAAsB,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;IAEjF,KAAK,UAAU,sBAAsB,CAAC,aAAqB;QACzD,MAAM,CAAC,SAAS,EAAE,GAAG,OAAO,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YAChD,QAAQ,CAAC,aAAa,CAAC;YACvB,GAAG,sBAAsB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;SACxD,CAAC,CAAC;QACH,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;YACtC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YAChD,OAAO,CACL,QAAQ,KAAK,EAAE;gBACf,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,QAAQ,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAC3F,CAAC;QACJ,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;QACjE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,SAAS,CAC1B,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,oBAAoB,EAAE,EACvD,EAAE,YAAY,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,CAChC,CAAC;IAEF,MAAM,kBAAkB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACvE,MAAM,kBAAkB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,KAAK,EAAE,qBAAqB,EAAE,CAAC,CAAC;IAC5E,MAAM,aAAa,GAAG;QACpB,KAAK,EAAE,+BAA+B;QACtC,WAAW,EACT,iGAAiG;QACnG,WAAW,EAAE,kBAAkB;QAC/B,YAAY,EAAE,sBAAsB;QACpC,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,cAAc,GAAG,KAAK,EAAE,EAAE,KAAK,EAAsC,EAAE,EAAE,CAC7E,UAAU,CAAC,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;IAC1C,MAAM,CAAC,YAAY,CAAC,sBAAsB,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC;IAC3E,MAAM,CAAC,YAAY,CAAC,mBAAmB,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC;IACxE,MAAM,aAAa,GAAG;QACpB,KAAK,EAAE,sBAAsB;QAC7B,WAAW,EAAE,+DAA+D;QAC5E,WAAW,EAAE,kBAAkB;QAC/B,YAAY,EAAE,wBAAwB;KACvC,CAAC;IACF,MAAM,cAAc,GAAG,KAAK,EAAE,EAAE,IAAI,EAAsC,EAAE,EAAE,CAC5E,UAAU,CAAC,MAAM,YAAY,CAAC,OAAO,CAAC,MAAM,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7E,MAAM,CAAC,YAAY,CAAC,sBAAsB,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC;IAC3E,MAAM,CAAC,YAAY,CAAC,mBAAmB,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC;IAExE,MAAM,iBAAiB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACtE,MAAM,uBAAuB,GAAG,CAAC,CAAC,YAAY,CAAC;QAC7C,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACvB,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE;QAClD,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;KACxC,CAAC,CAAC;IACH,MAAM,YAAY,GAAG;QACnB,KAAK,EAAE,8BAA8B;QACrC,WAAW,EACT,uNAAuN;QACzN,WAAW,EAAE,uBAAuB;QACpC,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC;YACpB,CAAC,CAAC,YAAY,CAAC,EAAE,GAAG,0BAA0B,CAAC,KAAK,EAAE,CAAC;YACvD,CAAC,CAAC,YAAY,CAAC,EAAE,GAAG,4BAA4B,CAAC,KAAK,EAAE,CAAC;SAC1D,CAAC;QACF,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,aAAa,GAAG,KAAK,EAAE,EAC3B,IAAI,EACJ,OAAO,EACP,SAAS,GAC+B,EAAE,EAAE,CAC5C,UAAU,CACR,MAAM,YAAY,CAAC,MAAM,CAAC,MAAM,sBAAsB,CAAC,IAAI,CAAC,EAAE;QAC5D,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;QAC7C,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC;KAClD,CAAC,CACH,CAAC;IACJ,MAAM,CAAC,YAAY,CAAC,qBAAqB,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;IACxE,MAAM,CAAC,YAAY,CAAC,kBAAkB,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;IAErE,IAAI,OAAO,CAAC,oBAAoB,KAAK,IAAI,EAAE,CAAC;QAC1C,MAAM,mBAAmB,GAAG;YAC1B,KAAK,EAAE,mCAAmC;YAC1C,WAAW,EACT,iNAAiN;YACnN,WAAW,EAAE,iBAAiB;YAC9B,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,yBAAyB,EAAE,2BAA2B,CAAC,CAAC;YAC/E,WAAW,EAAE;gBACX,eAAe,EAAE,IAAI;gBACrB,cAAc,EAAE,KAAK;gBACrB,aAAa,EAAE,IAAI;gBACnB,YAAY,EAAE,KAAK;aACpB;SACF,CAAC;QACF,MAAM,oBAAoB,GAAG,KAAK,EAAE,EAAE,IAAI,EAAqC,EAAE,EAAE,CACjF,UAAU,CACR,MAAM,YAAY,CAAC,aAAa,CAAC,MAAM,sBAAsB,CAAC,IAAI,CAAC,EAAE;YACnE,oBAAoB,EAAE,IAAI;SAC3B,CAAC,CACH,CAAC;QACJ,MAAM,CAAC,YAAY,CAAC,6BAA6B,EAAE,mBAAmB,EAAE,oBAAoB,CAAC,CAAC;QAC9F,MAAM,CAAC,YAAY,CAAC,0BAA0B,EAAE,mBAAmB,EAAE,oBAAoB,CAAC,CAAC;QAE3F,MAAM,gBAAgB,GAAG,CAAC,CAAC,YAAY,CAAC;YACtC,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YAC7B,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YACzB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;YACnC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YAC1B,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YAChC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YACvB,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAC5C,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;SACvB,CAAC,CAAC;QACH,MAAM,WAAW,GAAG;YAClB,KAAK,EAAE,qCAAqC;YAC5C,WAAW,EACT,iOAAiO;YACnO,WAAW,EAAE,gBAAgB;YAC7B,YAAY,EAAE,sBAAsB;YACpC,WAAW,EAAE;gBACX,eAAe,EAAE,IAAI;gBACrB,cAAc,EAAE,KAAK;gBACrB,aAAa,EAAE,IAAI;gBACnB,YAAY,EAAE,KAAK;aACpB;SACF,CAAC;QACF,MAAM,YAAY,GAAG,KAAK,EAAE,KAAuC,EAAE,EAAE;YACrE,MAAM,EAAE,KAAK,EAAE,GAAG,QAAQ,EAAE,GAAG,KAAK,CAAC;YACrC,OAAO,UAAU,CACf,MAAM,YAAY,CAAC,kBAAkB,CAAC;gBACpC,GAAG,QAAQ;gBACX,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;gBACzC,UAAU,EAAE,MAAM,sBAAsB,CAAC,KAAK,CAAC,UAAU,CAAC;gBAC1D,oBAAoB,EAAE,IAAI;aAC3B,CAAC,CACH,CAAC;QACJ,CAAC,CAAC;QACF,MAAM,CAAC,YAAY,CAAC,oBAAoB,EAAE,WAAW,EAAE,YAAY,CAAC,CAAC;QACrE,MAAM,CAAC,YAAY,CAAC,iBAAiB,EAAE,WAAW,EAAE,YAAY,CAAC,CAAC;QAElE,MAAM,iBAAiB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,yBAAyB,EAAE,CAAC,CAAC;QACjF,MAAM,YAAY,GAAG;YACnB,KAAK,EAAE,wBAAwB;YAC/B,WAAW,EACT,+JAA+J;YACjK,WAAW,EAAE,iBAAiB;YAC9B,YAAY,EAAE,sBAAsB;YACpC,WAAW,EAAE;gBACX,eAAe,EAAE,IAAI;gBACrB,cAAc,EAAE,KAAK;gBACrB,aAAa,EAAE,IAAI;gBACnB,YAAY,EAAE,KAAK;aACpB;SACF,CAAC;QACF,MAAM,aAAa,GAAG,KAAK,EAAE,EAAE,OAAO,EAAqC,EAAE,EAAE;YAC7E,MAAM,IAAI,GAAG,MAAM,sBAAsB,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YACnE,OAAO,UAAU,CACf,MAAM,YAAY,CAAC,MAAM,CAAC;gBACxB,GAAG,OAAO;gBACV,UAAU,EAAE,EAAE,GAAG,OAAO,CAAC,UAAU,EAAE,IAAI,EAAE;gBAC3C,SAAS,EAAE;oBACT,GAAG,OAAO,CAAC,SAAS;oBACpB,2BAA2B,EAAE,IAAI;iBAClC;aACF,CAAC,CACH,CAAC;QACJ,CAAC,CAAC;QACF,MAAM,CAAC,YAAY,CAAC,qBAAqB,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;QACxE,MAAM,CAAC,YAAY,CAAC,kBAAkB,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;QAErE,MAAM,mBAAmB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,2BAA2B,EAAE,CAAC,CAAC;QACrF,MAAM,cAAc,GAAG;YACrB,GAAG,YAAY;YACf,KAAK,EAAE,2BAA2B;YAClC,WAAW,EAAE,mBAAmB;YAChC,YAAY,EAAE,wBAAwB;SACvC,CAAC;QACF,MAAM,eAAe,GAAG,KAAK,EAAE,EAAE,OAAO,EAAuC,EAAE,EAAE;YACjF,MAAM,IAAI,GAAG,MAAM,sBAAsB,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YACnE,OAAO,UAAU,CACf,MAAM,YAAY,CAAC,QAAQ,CAAC;gBAC1B,GAAG,OAAO;gBACV,UAAU,EAAE,EAAE,GAAG,OAAO,CAAC,UAAU,EAAE,IAAI,EAAE;gBAC3C,SAAS,EACP,OAAO,CAAC,SAAS,CAAC,IAAI,KAAK,eAAe;oBACxC,CAAC,CAAC,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,2BAA2B,EAAE,IAAI,EAAE;oBAC7D,CAAC,CAAC,OAAO,CAAC,SAAS;aACxB,CAAC,CACH,CAAC;QACJ,CAAC,CAAC;QACF,MAAM,CAAC,YAAY,CAAC,wBAAwB,EAAE,cAAc,EAAE,eAAe,CAAC,CAAC;QAC/E,MAAM,CAAC,YAAY,CAAC,qBAAqB,EAAE,cAAc,EAAE,eAAe,CAAC,CAAC;QAE5E,MAAM,2BAA2B,GAAG,CAAC,CAAC,YAAY,CAAC;YACjD,OAAO,EAAE,wCAAwC;SAClD,CAAC,CAAC;QACH,MAAM,sBAAsB,GAAG;YAC7B,KAAK,EAAE,wCAAwC;YAC/C,WAAW,EACT,4LAA4L;YAC9L,WAAW,EAAE,2BAA2B;YACxC,YAAY,EAAE,uCAAuC;YACrD,WAAW,EAAE;gBACX,eAAe,EAAE,IAAI;gBACrB,cAAc,EAAE,KAAK;gBACrB,aAAa,EAAE,IAAI;gBACnB,YAAY,EAAE,KAAK;aACpB;SACF,CAAC;QACF,MAAM,uBAAuB,GAAG,KAAK,EAAE,EACrC,OAAO,GACqC,EAAE,EAAE;YAChD,MAAM,IAAI,GAAG,MAAM,sBAAsB,CAAC,OAAO,CAAC,mBAAmB,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YACvF,OAAO,UAAU,CACf,MAAM,YAAY,CAAC,gBAAgB,CAAC;gBAClC,GAAG,OAAO;gBACV,mBAAmB,EAAE;oBACnB,GAAG,OAAO,CAAC,mBAAmB;oBAC9B,UAAU,EAAE,EAAE,GAAG,OAAO,CAAC,mBAAmB,CAAC,UAAU,EAAE,IAAI,EAAE;oBAC/D,SAAS,EAAE;wBACT,GAAG,OAAO,CAAC,mBAAmB,CAAC,SAAS;wBACxC,2BAA2B,EAAE,IAAI;qBAClC;iBACF;aACF,CAAC,CACH,CAAC;QACJ,CAAC,CAAC;QACF,MAAM,CAAC,YAAY,CACjB,gCAAgC,EAChC,sBAAsB,EACtB,uBAAuB,CACxB,CAAC;QACF,MAAM,CAAC,YAAY,CACjB,6BAA6B,EAC7B,sBAAsB,EACtB,uBAAuB,CACxB,CAAC;IACJ,CAAC;IAED,MAAM,iBAAiB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,QAAQ,EAAE,sBAAsB,EAAE,CAAC,CAAC;IAC/E,MAAM,YAAY,GAAG;QACnB,KAAK,EAAE,iBAAiB;QACxB,WAAW,EACT,6HAA6H;QAC/H,WAAW,EAAE,iBAAiB;QAC9B,YAAY,EAAE,kBAAkB;KACjC,CAAC;IACF,MAAM,aAAa,GAAG,CAAC,EAAE,QAAQ,EAAqC,EAAE,EAAE,CACxE,UAAU,CAAC,YAAY,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC5C,MAAM,CAAC,YAAY,CAAC,qBAAqB,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;IACxE,MAAM,CAAC,YAAY,CAAC,kBAAkB,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;IAErE,MAAM,oBAAoB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,6BAA6B,EAAE,CAAC,CAAC;IACxF,MAAM,eAAe,GAAG;QACtB,KAAK,EAAE,sCAAsC;QAC7C,WAAW,EACT,mHAAmH;QACrH,WAAW,EAAE,oBAAoB;QACjC,YAAY,EAAE,8BAA8B;QAC5C,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,gBAAgB,GAAG,CAAC,EAAE,OAAO,EAAwC,EAAE,EAAE,CAC7E,UAAU,CAAC,YAAY,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;IAC9C,MAAM,CAAC,YAAY,CAAC,wBAAwB,EAAE,eAAe,EAAE,gBAAgB,CAAC,CAAC;IACjF,MAAM,CAAC,YAAY,CAAC,qBAAqB,EAAE,eAAe,EAAE,gBAAgB,CAAC,CAAC;IAE9E,MAAM,0BAA0B,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,QAAQ,EAAE,8BAA8B,EAAE,CAAC,CAAC;IAChG,MAAM,qBAAqB,GAAG;QAC5B,KAAK,EAAE,sCAAsC;QAC7C,WAAW,EACT,6GAA6G;QAC/G,WAAW,EAAE,0BAA0B;QACvC,YAAY,EAAE,kCAAkC;QAChD,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,sBAAsB,GAAG,CAAC,EAAE,QAAQ,EAA8C,EAAE,EAAE,CAC1F,UAAU,CAAC,YAAY,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC;IACrD,MAAM,CAAC,YAAY,CACjB,+BAA+B,EAC/B,qBAAqB,EACrB,sBAAsB,CACvB,CAAC;IACF,MAAM,CAAC,YAAY,CAAC,4BAA4B,EAAE,qBAAqB,EAAE,sBAAsB,CAAC,CAAC;IAEjG,MAAM,iCAAiC,GAAG,CAAC,CAAC,YAAY,CAAC;QACvD,MAAM,EAAE,uCAAuC;KAChD,CAAC,CAAC;IACH,MAAM,4BAA4B,GAAG;QACnC,KAAK,EAAE,uCAAuC;QAC9C,WAAW,EACT,gHAAgH;QAClH,WAAW,EAAE,iCAAiC;QAC9C,YAAY,EAAE,6CAA6C;QAC3D,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,6BAA6B,GAAG,CAAC,EACrC,MAAM,GAC4C,EAAE,EAAE,CACtD,UAAU,CAAC,YAAY,CAAC,0BAA0B,CAAC,MAAM,CAAC,CAAC,CAAC;IAC9D,MAAM,CAAC,YAAY,CACjB,uCAAuC,EACvC,4BAA4B,EAC5B,6BAA6B,CAC9B,CAAC;IACF,MAAM,CAAC,YAAY,CACjB,oCAAoC,EACpC,4BAA4B,EAC5B,6BAA6B,CAC9B,CAAC;IAEF,MAAM,yBAAyB,GAAG,CAAC,CAAC,YAAY,CAAC;QAC/C,OAAO,EAAE,oCAAoC;KAC9C,CAAC,CAAC;IACH,MAAM,oBAAoB,GAAG;QAC3B,KAAK,EAAE,0CAA0C;QACjD,WAAW,EACT,0HAA0H;QAC5H,WAAW,EAAE,yBAAyB;QACtC,YAAY,EAAE,6BAA6B;QAC3C,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,qBAAqB,GAAG,CAAC,EAAE,OAAO,EAA6C,EAAE,EAAE,CACvF,UAAU,CAAC,YAAY,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC;IACnD,MAAM,CAAC,YAAY,CAAC,8BAA8B,EAAE,oBAAoB,EAAE,qBAAqB,CAAC,CAAC;IACjG,MAAM,CAAC,YAAY,CAAC,2BAA2B,EAAE,oBAAoB,EAAE,qBAAqB,CAAC,CAAC;IAE9F,MAAM,iCAAiC,GAAG,CAAC,CAAC,YAAY,CAAC;QACvD,UAAU,EAAE,6BAA6B;KAC1C,CAAC,CAAC;IACH,MAAM,4BAA4B,GAAG;QACnC,KAAK,EAAE,4BAA4B;QACnC,WAAW,EACT,wGAAwG;QAC1G,WAAW,EAAE,iCAAiC;QAC9C,YAAY,EAAE,yCAAyC;QACvD,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,6BAA6B,GAAG,CAAC,EACrC,UAAU,GACwC,EAAE,EAAE,CACtD,UAAU,CAAC,YAAY,CAAC,sBAAsB,CAAC,UAAU,CAAC,CAAC,CAAC;IAC9D,MAAM,CAAC,YAAY,CACjB,uCAAuC,EACvC,4BAA4B,EAC5B,6BAA6B,CAC9B,CAAC;IACF,MAAM,CAAC,YAAY,CACjB,oCAAoC,EACpC,4BAA4B,EAC5B,6BAA6B,CAC9B,CAAC;IAEF,MAAM,kBAAkB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,2BAA2B,EAAE,CAAC,CAAC;IACpF,MAAM,aAAa,GAAG;QACpB,KAAK,EAAE,gCAAgC;QACvC,WAAW,EACT,+GAA+G;QACjH,WAAW,EAAE,kBAAkB;QAC/B,YAAY,EAAE,0BAA0B;QACxC,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,cAAc,GAAG,CAAC,EAAE,OAAO,EAAsC,EAAE,EAAE,CACzE,UAAU,CAAC,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;IAC5C,MAAM,CAAC,YAAY,CAAC,sBAAsB,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC;IAC3E,MAAM,CAAC,YAAY,CAAC,mBAAmB,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC;IAExE,MAAM,wBAAwB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,0BAA0B,EAAE,CAAC,CAAC;IACxF,MAAM,mBAAmB,GAAG;QAC1B,KAAK,EAAE,gCAAgC;QACvC,WAAW,EACT,0FAA0F;QAC5F,WAAW,EAAE,wBAAwB;QACrC,YAAY,EAAE,gCAAgC;QAC9C,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,oBAAoB,GAAG,CAAC,EAAE,MAAM,EAA4C,EAAE,EAAE,CACpF,UAAU,CAAC,YAAY,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC;IACjD,MAAM,CAAC,YAAY,CAAC,6BAA6B,EAAE,mBAAmB,EAAE,oBAAoB,CAAC,CAAC;IAC9F,MAAM,CAAC,YAAY,CAAC,0BAA0B,EAAE,mBAAmB,EAAE,oBAAoB,CAAC,CAAC;IAE3F,MAAM,oBAAoB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,6BAA6B,EAAE,CAAC,CAAC;IACxF,MAAM,eAAe,GAAG;QACtB,KAAK,EAAE,mCAAmC;QAC1C,WAAW,EACT,yHAAyH;QAC3H,WAAW,EAAE,oBAAoB;QACjC,YAAY,EAAE,4BAA4B;QAC1C,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,gBAAgB,GAAG,CAAC,EAAE,OAAO,EAAwC,EAAE,EAAE,CAC7E,UAAU,CAAC,YAAY,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;IAC9C,MAAM,CAAC,YAAY,CAAC,yBAAyB,EAAE,eAAe,EAAE,gBAAgB,CAAC,CAAC;IAClF,MAAM,CAAC,YAAY,CAAC,sBAAsB,EAAE,eAAe,EAAE,gBAAgB,CAAC,CAAC;IAE/E,MAAM,0BAA0B,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,4BAA4B,EAAE,CAAC,CAAC;IAC5F,MAAM,qBAAqB,GAAG;QAC5B,KAAK,EAAE,mCAAmC;QAC1C,WAAW,EACT,kGAAkG;QACpG,WAAW,EAAE,0BAA0B;QACvC,YAAY,EAAE,kCAAkC;QAChD,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,sBAAsB,GAAG,CAAC,EAAE,MAAM,EAA8C,EAAE,EAAE,CACxF,UAAU,CAAC,YAAY,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC;IACnD,MAAM,CAAC,YAAY,CACjB,gCAAgC,EAChC,qBAAqB,EACrB,sBAAsB,CACvB,CAAC;IACF,MAAM,CAAC,YAAY,CAAC,6BAA6B,EAAE,qBAAqB,EAAE,sBAAsB,CAAC,CAAC;IAElG,MAAM,iBAAiB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,2BAA2B,EAAE,CAAC,CAAC;IACnF,MAAM,YAAY,GAAG;QACnB,KAAK,EAAE,8BAA8B;QACrC,WAAW,EACT,4LAA4L;QAC9L,WAAW,EAAE,iBAAiB;QAC9B,YAAY,EAAE,oBAAoB;QAClC,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,aAAa,GAAG,CAAC,EAAE,OAAO,EAAqC,EAAE,EAAE,CACvE,UAAU,CAAC,YAAY,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC;IACnD,MAAM,CAAC,YAAY,CAAC,qBAAqB,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;IACxE,MAAM,CAAC,YAAY,CAAC,kBAAkB,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;IAErE,MAAM,uBAAuB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,cAAc,EAAE,oBAAoB,EAAE,CAAC,CAAC;IACzF,MAAM,kBAAkB,GAAG;QACzB,KAAK,EAAE,wCAAwC;QAC/C,WAAW,EACT,wGAAwG;QAC1G,WAAW,EAAE,uBAAuB;QACpC,YAAY,EAAE,gCAAgC;QAC9C,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,mBAAmB,GAAG,CAAC,EAAE,cAAc,EAA2C,EAAE,EAAE,CAC1F,UAAU,CAAC,YAAY,CAAC,oBAAoB,CAAC,cAAc,CAAC,CAAC,CAAC;IAChE,MAAM,CAAC,YAAY,CAAC,4BAA4B,EAAE,kBAAkB,EAAE,mBAAmB,CAAC,CAAC;IAC3F,MAAM,CAAC,YAAY,CAAC,yBAAyB,EAAE,kBAAkB,EAAE,mBAAmB,CAAC,CAAC;IAExF,MAAM,mBAAmB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;IAC/C,MAAM,cAAc,GAAG;QACrB,KAAK,EAAE,6CAA6C;QACpD,WAAW,EACT,+JAA+J;QACjK,WAAW,EAAE,mBAAmB;QAChC,YAAY,EAAE,8BAA8B;QAC5C,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,eAAe,GAAG,GAAG,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,gBAAgB,EAAE,CAAC,CAAC;IAC1E,MAAM,CAAC,YAAY,CAAC,uBAAuB,EAAE,cAAc,EAAE,eAAe,CAAC,CAAC;IAC9E,MAAM,CAAC,YAAY,CAAC,oBAAoB,EAAE,cAAc,EAAE,eAAe,CAAC,CAAC;IAE3E,MAAM,iBAAiB,GAAG,CAAC,CAAC,YAAY,CAAC;QACvC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;YACX,mCAAmC;YACnC,2BAA2B;YAC3B,yCAAyC;YACzC,sCAAsC;YACtC,kCAAkC;YAClC,oDAAoD;YACpD,gCAAgC;YAChC,8CAA8C;YAC9C,mCAAmC;YACnC,oCAAoC;YACpC,0CAA0C;YAC1C,yCAAyC;YACzC,2BAA2B;YAC3B,4BAA4B;YAC5B,iCAAiC;YACjC,uCAAuC;YACvC,sCAAsC;YACtC,6CAA6C;YAC7C,yBAAyB;YACzB,wBAAwB;YACxB,+BAA+B;YAC/B,4BAA4B;YAC5B,2BAA2B;YAC3B,kCAAkC;YAClC,sBAAsB;YACtB,qBAAqB;YACrB,mBAAmB;YACnB,eAAe;YACf,4BAA4B;YAC5B,yBAAyB;YACzB,iBAAiB;YACjB,+BAA+B;SAChC,CAAC;KACH,CAAC,CAAC;IACH,MAAM,YAAY,GAAG;QACnB,KAAK,EAAE,4BAA4B;QACnC,WAAW,EAAE,sDAAsD;QACnE,WAAW,EAAE,iBAAiB;KAC/B,CAAC;IACF,MAAM,aAAa,GAAG,CAAC,EAAE,IAAI,EAAqC,EAAE,EAAE,CACpE,UAAU,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACxC,MAAM,CAAC,YAAY,CAAC,qBAAqB,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;IACxE,MAAM,CAAC,YAAY,CAAC,kBAAkB,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;IAErE,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,uFAAuF;AACvF,MAAM,CAAC,MAAM,qBAAqB,GAAG,wBAAwB,CAAC"}
|
package/dist/sdk/index.d.ts
CHANGED
|
@@ -1,9 +1,9 @@
|
|
|
1
|
-
import { type AgenticBenchmarkAcquisitionReplayResult, type AgenticBenchmarkAcquisitionResult, type AgenticBenchmarkArtifact, type AgenticBenchmarkReplayResult, type AgenticCorpusAllocation, type AgenticCorpusAllocationCommitmentReplayResult, type AgenticCorpusAllocationReplayResult, type AgenticCorpusExperimentArtifact, type AgenticCorpusExperimentReplayResult, type AgenticProfileReplayResult, type AgenticProfileReplayResultV2, type AgenticProfileReport, type AgenticProfileReportV2, type EvidenceExport, type EvidenceExportReplayResult, type EvidenceManifestContract, type EvidenceManifestV2Contract, type EvidenceProviderManifest, type ReplayResult, type RepositoryAnalysis, type RepositoryAudit, type RepositoryInitResult } from "../contracts/index.js";
|
|
2
|
-
import { type RuntimeDoctorResult } from "../contracts/runtime-doctor.js";
|
|
1
|
+
import { type AgenticBenchmarkAcquisitionReplayResult, type AgenticBenchmarkAcquisitionResult, type AgenticBenchmarkArtifact, type AgenticBenchmarkReplayResult, type AgenticCorpusAllocation, type AgenticCorpusAllocationCommitmentReplayResult, type AgenticCorpusAllocationReplayResult, type AgenticCorpusExperimentArtifact, type AgenticCorpusExperimentReplayResult, type AgenticProfileReplayResult, type AgenticProfileReplayResultV2, type AgenticProfileReport, type AgenticProfileReportV2, type EvidenceExport, type EvidenceExportReplayResult, type EvidenceManifestContract, type EvidenceManifestV2Contract, type EvidenceManifestV3Contract, type EvidenceProviderManifest, type ReplayResult, type RepositoryAnalysis, type RepositoryAudit, type RepositoryInitResult, type RepositoryInitResultV2 } from "../contracts/index.js";
|
|
2
|
+
import { type RuntimeDoctorResult, type RuntimeDoctorResultV2 } from "../contracts/runtime-doctor.js";
|
|
3
3
|
import { type AgenticCorpusExperimentReplayDependencies, replayAgenticCorpusAllocationCommitment } from "../core/index.js";
|
|
4
4
|
import { type GitRegressionOptions, type GitRegressionV2Options } from "../engine/git-regression.js";
|
|
5
5
|
import { type RepositoryAuditOptions, type RepositoryInitOptions, type RuntimeDoctorOptions, type VerifyCampaignOptions } from "../engine/index.js";
|
|
6
|
-
export type SchemaName = "agentic-corpus-allocation-request" | "agentic-corpus-allocation" | "agentic-corpus-allocation-replay-result" | "agentic-corpus-allocation-commitment" | "agentic-corpus-allocation-reveal" | "agentic-corpus-allocation-commitment-replay-result" | "agentic-corpus-experiment-plan" | "agentic-corpus-experiment-plan-replay-result" | "agentic-corpus-experiment-request" | "agentic-corpus-experiment-artifact" | "agentic-corpus-experiment-replay-request" | "agentic-corpus-experiment-replay-result" | "agentic-benchmark-request" | "agentic-benchmark-artifact" | "agentic-benchmark-replay-result" | "agentic-benchmark-acquisition-request" | "agentic-benchmark-acquisition-result" | "agentic-benchmark-acquisition-replay-result" | "agentic-profile-request" | "agentic-profile-report" | "agentic-profile-replay-result" | "agentic-profile-request-v2" | "agentic-profile-report-v2" | "agentic-profile-replay-result-v2" | "verification-request" | "verification-request-v2" | "repository-analysis" | "repository-audit" | "repository-init-config" | "repository-init-lock" | "repository-init-result" | "evidence-manifest" | "evidence-manifest-v2" | "replay-result" | "evidence-provider-manifest" | "evidence-export-request" | "evidence-export" | "evidence-export-replay-result";
|
|
6
|
+
export type SchemaName = "agentic-corpus-allocation-request" | "agentic-corpus-allocation" | "agentic-corpus-allocation-replay-result" | "agentic-corpus-allocation-commitment" | "agentic-corpus-allocation-reveal" | "agentic-corpus-allocation-commitment-replay-result" | "agentic-corpus-experiment-plan" | "agentic-corpus-experiment-plan-replay-result" | "agentic-corpus-experiment-request" | "agentic-corpus-experiment-artifact" | "agentic-corpus-experiment-replay-request" | "agentic-corpus-experiment-replay-result" | "agentic-benchmark-request" | "agentic-benchmark-artifact" | "agentic-benchmark-replay-result" | "agentic-benchmark-acquisition-request" | "agentic-benchmark-acquisition-result" | "agentic-benchmark-acquisition-replay-result" | "agentic-profile-request" | "agentic-profile-report" | "agentic-profile-replay-result" | "agentic-profile-request-v2" | "agentic-profile-report-v2" | "agentic-profile-replay-result-v2" | "verification-request" | "verification-request-v2" | "verification-request-v3" | "repository-analysis" | "repository-audit" | "repository-init-config" | "repository-init-config-v2" | "repository-init-lock" | "repository-init-lock-v2" | "repository-init-result" | "repository-init-result-v2" | "evidence-manifest" | "evidence-manifest-v2" | "evidence-manifest-v3" | "replay-result" | "evidence-provider-manifest" | "evidence-export-request" | "evidence-export" | "evidence-export-replay-result";
|
|
7
7
|
export type AgenticCorpusExperimentReplayOptions = Omit<AgenticCorpusExperimentReplayDependencies, "replayProvenance" | "verifyCommitmentSignatures">;
|
|
8
8
|
/** Provider-neutral programmatic facade over AssertLedger's deterministic components. */
|
|
9
9
|
export declare class AssertLedger {
|
|
@@ -19,15 +19,16 @@ export declare class AssertLedger {
|
|
|
19
19
|
};
|
|
20
20
|
analyze(root: string): Promise<RepositoryAnalysis>;
|
|
21
21
|
audit(root: string, options?: RepositoryAuditOptions): Promise<RepositoryAudit>;
|
|
22
|
-
init(root: string, options?: RepositoryInitOptions): Promise<RepositoryInitResult>;
|
|
23
|
-
doctor(root: string): Promise<RepositoryInitResult>;
|
|
24
|
-
doctorRuntime(root: string, options: RuntimeDoctorOptions): Promise<RuntimeDoctorResult>;
|
|
22
|
+
init(root: string, options?: RepositoryInitOptions): Promise<RepositoryInitResult | RepositoryInitResultV2>;
|
|
23
|
+
doctor(root: string, options?: Pick<RepositoryInitOptions, "exclude" | "framework">): Promise<RepositoryInitResult | RepositoryInitResultV2>;
|
|
24
|
+
doctorRuntime(root: string, options: RuntimeDoctorOptions): Promise<RuntimeDoctorResult | RuntimeDoctorResultV2>;
|
|
25
25
|
verify(request: unknown): Promise<EvidenceManifestContract>;
|
|
26
26
|
/**
|
|
27
27
|
* Executes a v2 campaign. A container request runs through the operator-owned runtime command in
|
|
28
28
|
* `options`; the request itself can never select a host executable.
|
|
29
29
|
*/
|
|
30
30
|
verifyV2(request: unknown, options?: VerifyCampaignOptions): Promise<EvidenceManifestV2Contract>;
|
|
31
|
+
verifyV3(request: unknown, options?: VerifyCampaignOptions): Promise<EvidenceManifestV3Contract>;
|
|
31
32
|
checkGitRegression(options: GitRegressionOptions): Promise<EvidenceManifestContract>;
|
|
32
33
|
/** Qualifies a committed regression inside digest-pinned containers and returns v2 evidence. */
|
|
33
34
|
checkGitRegressionV2(options: GitRegressionV2Options): Promise<EvidenceManifestV2Contract>;
|
package/dist/sdk/index.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/sdk/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,uCAAuC,EAC5C,KAAK,iCAAiC,EACtC,KAAK,wBAAwB,EAC7B,KAAK,4BAA4B,EACjC,KAAK,uBAAuB,EAC5B,KAAK,6CAA6C,EAClD,KAAK,mCAAmC,EACxC,KAAK,+BAA+B,EACpC,KAAK,mCAAmC,EACxC,KAAK,0BAA0B,EAC/B,KAAK,4BAA4B,EACjC,KAAK,oBAAoB,EACzB,KAAK,sBAAsB,EAyB3B,KAAK,cAAc,EACnB,KAAK,0BAA0B,EAC/B,KAAK,wBAAwB,EAC7B,KAAK,0BAA0B,EAC/B,KAAK,wBAAwB,
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/sdk/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,uCAAuC,EAC5C,KAAK,iCAAiC,EACtC,KAAK,wBAAwB,EAC7B,KAAK,4BAA4B,EACjC,KAAK,uBAAuB,EAC5B,KAAK,6CAA6C,EAClD,KAAK,mCAAmC,EACxC,KAAK,+BAA+B,EACpC,KAAK,mCAAmC,EACxC,KAAK,0BAA0B,EAC/B,KAAK,4BAA4B,EACjC,KAAK,oBAAoB,EACzB,KAAK,sBAAsB,EAyB3B,KAAK,cAAc,EACnB,KAAK,0BAA0B,EAC/B,KAAK,wBAAwB,EAC7B,KAAK,0BAA0B,EAC/B,KAAK,0BAA0B,EAC/B,KAAK,wBAAwB,EA2C7B,KAAK,YAAY,EACjB,KAAK,kBAAkB,EACvB,KAAK,eAAe,EACpB,KAAK,oBAAoB,EACzB,KAAK,sBAAsB,EAa5B,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAEL,KAAK,mBAAmB,EACxB,KAAK,qBAAqB,EAC3B,MAAM,gCAAgC,CAAC;AAExC,OAAO,EACL,KAAK,yCAAyC,EAW9C,uCAAuC,EAMxC,MAAM,kBAAkB,CAAC;AAG1B,OAAO,EACL,KAAK,oBAAoB,EACzB,KAAK,sBAAsB,EAG5B,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAML,KAAK,sBAAsB,EAC3B,KAAK,qBAAqB,EAC1B,KAAK,oBAAoB,EACzB,KAAK,qBAAqB,EAE3B,MAAM,oBAAoB,CAAC;AAO5B,MAAM,MAAM,UAAU,GAClB,mCAAmC,GACnC,2BAA2B,GAC3B,yCAAyC,GACzC,sCAAsC,GACtC,kCAAkC,GAClC,oDAAoD,GACpD,gCAAgC,GAChC,8CAA8C,GAC9C,mCAAmC,GACnC,oCAAoC,GACpC,0CAA0C,GAC1C,yCAAyC,GACzC,2BAA2B,GAC3B,4BAA4B,GAC5B,iCAAiC,GACjC,uCAAuC,GACvC,sCAAsC,GACtC,6CAA6C,GAC7C,yBAAyB,GACzB,wBAAwB,GACxB,+BAA+B,GAC/B,4BAA4B,GAC5B,2BAA2B,GAC3B,kCAAkC,GAClC,sBAAsB,GACtB,yBAAyB,GACzB,yBAAyB,GACzB,qBAAqB,GACrB,kBAAkB,GAClB,wBAAwB,GACxB,2BAA2B,GAC3B,sBAAsB,GACtB,yBAAyB,GACzB,wBAAwB,GACxB,2BAA2B,GAC3B,mBAAmB,GACnB,sBAAsB,GACtB,sBAAsB,GACtB,eAAe,GACf,4BAA4B,GAC5B,yBAAyB,GACzB,iBAAiB,GACjB,+BAA+B,CAAC;AAEpC,MAAM,MAAM,oCAAoC,GAAG,IAAI,CACrD,yCAAyC,EACzC,kBAAkB,GAAG,4BAA4B,CAClD,CAAC;AAEF,yFAAyF;AACzF,qBAAa,YAAY;IACvB,OAAO,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE;;;;;;;;;MAE/B;IAEK,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAEvD;IAEK,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,GAAE,sBAA2B,GAAG,OAAO,CAAC,eAAe,CAAC,CAExF;IAEK,IAAI,CACR,IAAI,EAAE,MAAM,EACZ,OAAO,GAAE,qBAA0B,GAClC,OAAO,CAAC,oBAAoB,GAAG,sBAAsB,CAAC,CAExD;IAEK,MAAM,CACV,IAAI,EAAE,MAAM,EACZ,OAAO,GAAE,IAAI,CAAC,qBAAqB,EAAE,SAAS,GAAG,WAAW,CAAM,GACjE,OAAO,CAAC,oBAAoB,GAAG,sBAAsB,CAAC,CAExD;IAEK,aAAa,CACjB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,oBAAoB,GAC5B,OAAO,CAAC,mBAAmB,GAAG,qBAAqB,CAAC,CAEtD;IAEK,MAAM,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,wBAAwB,CAAC,CAEhE;IAED;;;OAGG;IACG,QAAQ,CACZ,OAAO,EAAE,OAAO,EAChB,OAAO,GAAE,qBAA0B,GAClC,OAAO,CAAC,0BAA0B,CAAC,CAIrC;IAEK,QAAQ,CACZ,OAAO,EAAE,OAAO,EAChB,OAAO,GAAE,qBAA0B,GAClC,OAAO,CAAC,0BAA0B,CAAC,CAIrC;IAEK,kBAAkB,CAAC,OAAO,EAAE,oBAAoB,GAAG,OAAO,CAAC,wBAAwB,CAAC,CAEzF;IAED,gGAAgG;IAC1F,oBAAoB,CAAC,OAAO,EAAE,sBAAsB,GAAG,OAAO,CAAC,0BAA0B,CAAC,CAE/F;IAED,MAAM,CAAC,QAAQ,EAAE,OAAO,GAAG,YAAY,CAiBtC;IAED,OAAO,CAAC,OAAO,EAAE,OAAO,GAAG,oBAAoB,CAE9C;IAED,aAAa,CAAC,MAAM,EAAE,OAAO,GAAG,0BAA0B,CAezD;IAED,cAAc,CAAC,OAAO,EAAE,OAAO,GAAG,cAAc,CAE/C;IAED,oBAAoB,CAAC,cAAc,EAAE,OAAO,GAAG,0BAA0B,CAYxE;IAED,gBAAgB,IAAI,wBAAwB,CAgB3C;IAED,SAAS,CAAC,OAAO,EAAE,OAAO,GAAG,wBAAwB,CAIpD;IAED,eAAe,CAAC,QAAQ,EAAE,OAAO,GAAG,4BAA4B,CAmB/D;IAEK,gBAAgB,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,iCAAiC,CAAC,CAInF;IAED,0BAA0B,CAAC,MAAM,EAAE,OAAO,GAAG,uCAAuC,CAEnF;IAED,SAAS,CAAC,OAAO,EAAE,OAAO,GAAG,sBAAsB,CAIlD;IAED,eAAe,CAAC,MAAM,EAAE,OAAO,GAAG,4BAA4B,CAgB7D;IAED,cAAc,CAAC,OAAO,EAAE,OAAO,GAAG,uBAAuB,CAIxD;IAED,sBAAsB,CAAC,UAAU,EAAE,OAAO,GAAG,mCAAmC,CAe/E;IAED,gBAAgB,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,GAAG,+BAA+B,CAOjF;IAED,sBAAsB,CACpB,QAAQ,EAAE,OAAO,EACjB,OAAO,EAAE,oCAAoC,GAC5C,mCAAmC,CAWrC;IAED,gCAAgC,CAC9B,KAAK,EAAE,UAAU,CAAC,OAAO,uCAAuC,CAAC,CAAC,CAAC,CAAC,GACnE,6CAA6C,CAM/C;IAED,MAAM,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAyFhD;CACF;AAED,2EAA2E;AAC3E,qBAAa,SAAU,SAAQ,YAAY;CAAG;AAE9C,OAAO,EAAE,wBAAwB,EAAE,6BAA6B,EAAE,MAAM,uBAAuB,CAAC;AAChG,OAAO,EACL,sBAAsB,EACtB,6BAA6B,EAC7B,qCAAqC,EACrC,oBAAoB,EACpB,sBAAsB,EACtB,oBAAoB,EACpB,8BAA8B,EAC9B,sBAAsB,EACtB,iCAAiC,EACjC,6BAA6B,EAC7B,qCAAqC,EACrC,oBAAoB,EACpB,sBAAsB,EACtB,oBAAoB,EACpB,sBAAsB,EACtB,oBAAoB,EACpB,uBAAuB,GACxB,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAC;AAChG,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AACnE,YAAY,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC/D,OAAO,EACL,uBAAuB,EACvB,iBAAiB,EACjB,eAAe,EACf,uBAAuB,EACvB,oBAAoB,EACpB,cAAc,GACf,MAAM,oBAAoB,CAAC"}
|
package/dist/sdk/index.js
CHANGED
|
@@ -1,5 +1,5 @@
|
|
|
1
|
-
import { agenticBenchmarkAcquisitionReplayResultJsonSchema, agenticBenchmarkAcquisitionRequestJsonSchema, agenticBenchmarkAcquisitionResultJsonSchema, agenticBenchmarkArtifactJsonSchema, agenticBenchmarkReplayResultJsonSchema, agenticBenchmarkRequestJsonSchema, agenticCorpusAllocationCommitmentJsonSchema, agenticCorpusAllocationCommitmentReplayResultJsonSchema, agenticCorpusAllocationJsonSchema, agenticCorpusAllocationReplayResultJsonSchema, agenticCorpusAllocationRequestJsonSchema, agenticCorpusAllocationRevealJsonSchema, agenticCorpusExperimentArtifactJsonSchema, agenticCorpusExperimentPlanJsonSchema, agenticCorpusExperimentPlanReplayResultJsonSchema, agenticCorpusExperimentReplayRequestJsonSchema, agenticCorpusExperimentReplayResultJsonSchema, agenticCorpusExperimentRequestJsonSchema, agenticProfileReplayResultJsonSchema, agenticProfileReplayResultV2JsonSchema, agenticProfileReportJsonSchema, agenticProfileReportV2JsonSchema, agenticProfileRequestJsonSchema, agenticProfileRequestV2JsonSchema, evidenceExportJsonSchema, evidenceExportReplayResultJsonSchema, evidenceExportRequestJsonSchema, evidenceManifestJsonSchema, evidenceManifestV2JsonSchema, evidenceProviderManifestJsonSchema, parseAgenticBenchmarkAcquisitionReplayResult, parseAgenticBenchmarkAcquisitionRequest, parseAgenticBenchmarkAcquisitionResult, parseAgenticBenchmarkArtifact, parseAgenticBenchmarkReplayResult, parseAgenticBenchmarkRequest, parseAgenticCorpusAllocation, parseAgenticCorpusAllocationCommitmentReplayResult, parseAgenticCorpusAllocationReplayResult, parseAgenticCorpusAllocationRequest, parseAgenticCorpusExperimentArtifact, parseAgenticCorpusExperimentPlan, parseAgenticCorpusExperimentReplayResult, parseAgenticCorpusExperimentRequest, parseAgenticProfileReplayResult, parseAgenticProfileReplayResultV2, parseAgenticProfileReport, parseAgenticProfileReportV2, parseAgenticProfileRequest, parseAgenticProfileRequestV2, parseEvidenceExport, parseEvidenceExportReplayResult, parseEvidenceExportRequest, parseEvidenceProviderManifest, parseReplayResult, parseRepositoryAnalysis, parseRepositoryAudit,
|
|
2
|
-
import {
|
|
1
|
+
import { agenticBenchmarkAcquisitionReplayResultJsonSchema, agenticBenchmarkAcquisitionRequestJsonSchema, agenticBenchmarkAcquisitionResultJsonSchema, agenticBenchmarkArtifactJsonSchema, agenticBenchmarkReplayResultJsonSchema, agenticBenchmarkRequestJsonSchema, agenticCorpusAllocationCommitmentJsonSchema, agenticCorpusAllocationCommitmentReplayResultJsonSchema, agenticCorpusAllocationJsonSchema, agenticCorpusAllocationReplayResultJsonSchema, agenticCorpusAllocationRequestJsonSchema, agenticCorpusAllocationRevealJsonSchema, agenticCorpusExperimentArtifactJsonSchema, agenticCorpusExperimentPlanJsonSchema, agenticCorpusExperimentPlanReplayResultJsonSchema, agenticCorpusExperimentReplayRequestJsonSchema, agenticCorpusExperimentReplayResultJsonSchema, agenticCorpusExperimentRequestJsonSchema, agenticProfileReplayResultJsonSchema, agenticProfileReplayResultV2JsonSchema, agenticProfileReportJsonSchema, agenticProfileReportV2JsonSchema, agenticProfileRequestJsonSchema, agenticProfileRequestV2JsonSchema, evidenceExportJsonSchema, evidenceExportReplayResultJsonSchema, evidenceExportRequestJsonSchema, evidenceManifestJsonSchema, evidenceManifestV2JsonSchema, evidenceManifestV3JsonSchema, evidenceProviderManifestJsonSchema, parseAgenticBenchmarkAcquisitionReplayResult, parseAgenticBenchmarkAcquisitionRequest, parseAgenticBenchmarkAcquisitionResult, parseAgenticBenchmarkArtifact, parseAgenticBenchmarkReplayResult, parseAgenticBenchmarkRequest, parseAgenticCorpusAllocation, parseAgenticCorpusAllocationCommitmentReplayResult, parseAgenticCorpusAllocationReplayResult, parseAgenticCorpusAllocationRequest, parseAgenticCorpusExperimentArtifact, parseAgenticCorpusExperimentPlan, parseAgenticCorpusExperimentReplayResult, parseAgenticCorpusExperimentRequest, parseAgenticProfileReplayResult, parseAgenticProfileReplayResultV2, parseAgenticProfileReport, parseAgenticProfileReportV2, parseAgenticProfileRequest, parseAgenticProfileRequestV2, parseEvidenceExport, parseEvidenceExportReplayResult, parseEvidenceExportRequest, parseEvidenceProviderManifest, parseReplayResult, parseRepositoryAnalysis, parseRepositoryAudit, parseVersionedRepositoryInitResult, parseEvidenceManifest, parseEvidenceManifestV2, parseEvidenceManifestV3, parseVerificationRequest, parseVerificationRequestV2, parseVerificationRequestV3, parseVersionedEvidenceManifest, replayResultJsonSchema, repositoryAnalysisJsonSchema, repositoryAuditJsonSchema, repositoryInitConfigJsonSchema, repositoryInitConfigV2JsonSchema, repositoryInitLockJsonSchema, repositoryInitLockV2JsonSchema, repositoryInitResultJsonSchema, repositoryInitResultV2JsonSchema, verificationRequestJsonSchema, verificationRequestV2JsonSchema, verificationRequestV3JsonSchema, } from "../contracts/index.js";
|
|
2
|
+
import { parseVersionedRuntimeDoctorResult, } from "../contracts/runtime-doctor.js";
|
|
3
3
|
import { ASSERTLEDGER_SOURCE_REVISION } from "../build-info.js";
|
|
4
4
|
import { createAgenticBenchmark, createAgenticCorpusAllocation, createAgenticCorpusExperimentArtifact, createAgenticProfile, createAgenticProfileV2, createEvidenceExport, createEvidenceProviderManifest, replayAgenticBenchmark, replayAgenticBenchmarkAcquisition, replayAgenticCorpusAllocation, replayAgenticCorpusAllocationCommitment, replayAgenticCorpusExperimentArtifact, replayAgenticProfile, replayAgenticProfileV2, replayEvidenceExport, replayEvidenceManifest, } from "../core/index.js";
|
|
5
5
|
import { explainReasonCodes } from "../diagnostics.js";
|
|
@@ -14,19 +14,19 @@ export class AssertLedger {
|
|
|
14
14
|
return explainReasonCodes(codes);
|
|
15
15
|
}
|
|
16
16
|
async analyze(root) {
|
|
17
|
-
return parseRepositoryAnalysis(await analyzeRepository(root));
|
|
17
|
+
return parseRepositoryAnalysis(await analyzeRepository(root, { configuredExcludes: true }));
|
|
18
18
|
}
|
|
19
19
|
async audit(root, options = {}) {
|
|
20
20
|
return parseRepositoryAudit(await auditRepository(root, options));
|
|
21
21
|
}
|
|
22
22
|
async init(root, options = {}) {
|
|
23
|
-
return
|
|
23
|
+
return parseVersionedRepositoryInitResult(await initializeRepository(root, options));
|
|
24
24
|
}
|
|
25
|
-
async doctor(root) {
|
|
26
|
-
return this.init(root, { dryRun: true });
|
|
25
|
+
async doctor(root, options = {}) {
|
|
26
|
+
return this.init(root, { ...options, dryRun: true });
|
|
27
27
|
}
|
|
28
28
|
async doctorRuntime(root, options) {
|
|
29
|
-
return
|
|
29
|
+
return parseVersionedRuntimeDoctorResult(await doctorRepositoryRuntime(root, options));
|
|
30
30
|
}
|
|
31
31
|
async verify(request) {
|
|
32
32
|
return parseEvidenceManifest(await verifyCampaign(parseVerificationRequest(request)));
|
|
@@ -38,6 +38,9 @@ export class AssertLedger {
|
|
|
38
38
|
async verifyV2(request, options = {}) {
|
|
39
39
|
return parseEvidenceManifestV2(await verifyCampaign(parseVerificationRequestV2(request), options));
|
|
40
40
|
}
|
|
41
|
+
async verifyV3(request, options = {}) {
|
|
42
|
+
return parseEvidenceManifestV3(await verifyCampaign(parseVerificationRequestV3(request), options));
|
|
43
|
+
}
|
|
41
44
|
async checkGitRegression(options) {
|
|
42
45
|
return qualifyGitRegression(options);
|
|
43
46
|
}
|
|
@@ -245,20 +248,30 @@ export class AssertLedger {
|
|
|
245
248
|
return verificationRequestJsonSchema();
|
|
246
249
|
case "verification-request-v2":
|
|
247
250
|
return verificationRequestV2JsonSchema();
|
|
251
|
+
case "verification-request-v3":
|
|
252
|
+
return verificationRequestV3JsonSchema();
|
|
248
253
|
case "repository-analysis":
|
|
249
254
|
return repositoryAnalysisJsonSchema();
|
|
250
255
|
case "repository-audit":
|
|
251
256
|
return repositoryAuditJsonSchema();
|
|
252
257
|
case "repository-init-config":
|
|
253
258
|
return repositoryInitConfigJsonSchema();
|
|
259
|
+
case "repository-init-config-v2":
|
|
260
|
+
return repositoryInitConfigV2JsonSchema();
|
|
254
261
|
case "repository-init-lock":
|
|
255
262
|
return repositoryInitLockJsonSchema();
|
|
263
|
+
case "repository-init-lock-v2":
|
|
264
|
+
return repositoryInitLockV2JsonSchema();
|
|
256
265
|
case "repository-init-result":
|
|
257
266
|
return repositoryInitResultJsonSchema();
|
|
267
|
+
case "repository-init-result-v2":
|
|
268
|
+
return repositoryInitResultV2JsonSchema();
|
|
258
269
|
case "evidence-manifest":
|
|
259
270
|
return evidenceManifestJsonSchema();
|
|
260
271
|
case "evidence-manifest-v2":
|
|
261
272
|
return evidenceManifestV2JsonSchema();
|
|
273
|
+
case "evidence-manifest-v3":
|
|
274
|
+
return evidenceManifestV3JsonSchema();
|
|
262
275
|
case "replay-result":
|
|
263
276
|
return replayResultJsonSchema();
|
|
264
277
|
case "evidence-provider-manifest":
|
package/dist/sdk/index.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/sdk/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAcL,iDAAiD,EACjD,4CAA4C,EAC5C,2CAA2C,EAC3C,kCAAkC,EAClC,sCAAsC,EACtC,iCAAiC,EACjC,2CAA2C,EAC3C,uDAAuD,EACvD,iCAAiC,EACjC,6CAA6C,EAC7C,wCAAwC,EACxC,uCAAuC,EACvC,yCAAyC,EACzC,qCAAqC,EACrC,iDAAiD,EACjD,8CAA8C,EAC9C,6CAA6C,EAC7C,wCAAwC,EACxC,oCAAoC,EACpC,sCAAsC,EACtC,8BAA8B,EAC9B,gCAAgC,EAChC,+BAA+B,EAC/B,iCAAiC,
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/sdk/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAcL,iDAAiD,EACjD,4CAA4C,EAC5C,2CAA2C,EAC3C,kCAAkC,EAClC,sCAAsC,EACtC,iCAAiC,EACjC,2CAA2C,EAC3C,uDAAuD,EACvD,iCAAiC,EACjC,6CAA6C,EAC7C,wCAAwC,EACxC,uCAAuC,EACvC,yCAAyC,EACzC,qCAAqC,EACrC,iDAAiD,EACjD,8CAA8C,EAC9C,6CAA6C,EAC7C,wCAAwC,EACxC,oCAAoC,EACpC,sCAAsC,EACtC,8BAA8B,EAC9B,gCAAgC,EAChC,+BAA+B,EAC/B,iCAAiC,EAOjC,wBAAwB,EACxB,oCAAoC,EACpC,+BAA+B,EAC/B,0BAA0B,EAC1B,4BAA4B,EAC5B,4BAA4B,EAC5B,kCAAkC,EAClC,4CAA4C,EAC5C,uCAAuC,EACvC,sCAAsC,EACtC,6BAA6B,EAC7B,iCAAiC,EACjC,4BAA4B,EAC5B,4BAA4B,EAC5B,kDAAkD,EAClD,wCAAwC,EACxC,mCAAmC,EACnC,oCAAoC,EACpC,gCAAgC,EAChC,wCAAwC,EACxC,mCAAmC,EACnC,+BAA+B,EAC/B,iCAAiC,EACjC,yBAAyB,EACzB,2BAA2B,EAC3B,0BAA0B,EAC1B,4BAA4B,EAC5B,mBAAmB,EACnB,+BAA+B,EAC/B,0BAA0B,EAC1B,6BAA6B,EAC7B,iBAAiB,EACjB,uBAAuB,EACvB,oBAAoB,EACpB,kCAAkC,EAClC,qBAAqB,EACrB,uBAAuB,EACvB,uBAAuB,EACvB,wBAAwB,EACxB,0BAA0B,EAC1B,0BAA0B,EAC1B,8BAA8B,EAM9B,sBAAsB,EACtB,4BAA4B,EAC5B,yBAAyB,EACzB,8BAA8B,EAC9B,gCAAgC,EAChC,4BAA4B,EAC5B,8BAA8B,EAC9B,8BAA8B,EAC9B,gCAAgC,EAChC,6BAA6B,EAC7B,+BAA+B,EAC/B,+BAA+B,GAChC,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,iCAAiC,GAGlC,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,4BAA4B,EAAE,MAAM,kBAAkB,CAAC;AAChE,OAAO,EAEL,sBAAsB,EACtB,6BAA6B,EAC7B,qCAAqC,EACrC,oBAAoB,EACpB,sBAAsB,EACtB,oBAAoB,EACpB,8BAA8B,EAC9B,sBAAsB,EACtB,iCAAiC,EACjC,6BAA6B,EAC7B,uCAAuC,EACvC,qCAAqC,EACrC,oBAAoB,EACpB,sBAAsB,EACtB,oBAAoB,EACpB,sBAAsB,GACvB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AACvD,OAAO,EAAE,yBAAyB,EAAE,MAAM,yCAAyC,CAAC;AACpF,OAAO,EAGL,oBAAoB,EACpB,sBAAsB,GACvB,MAAM,6BAA6B,CAAC;AACrC,OAAO,EACL,uBAAuB,EACvB,iBAAiB,EACjB,eAAe,EACf,uBAAuB,EACvB,oBAAoB,EAKpB,cAAc,GACf,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,6BAA6B,EAC7B,iDAAiD,GAClD,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAoDrD,yFAAyF;AACzF,MAAM,OAAO,YAAY;IACvB,OAAO,CAAC,KAAwB;QAC9B,OAAO,kBAAkB,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC;IAED,KAAK,CAAC,OAAO,CAAC,IAAY;QACxB,OAAO,uBAAuB,CAAC,MAAM,iBAAiB,CAAC,IAAI,EAAE,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAC9F,CAAC;IAED,KAAK,CAAC,KAAK,CAAC,IAAY,EAAE,OAAO,GAA2B,EAAE;QAC5D,OAAO,oBAAoB,CAAC,MAAM,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IACpE,CAAC;IAED,KAAK,CAAC,IAAI,CACR,IAAY,EACZ,OAAO,GAA0B,EAAE;QAEnC,OAAO,kCAAkC,CAAC,MAAM,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IACvF,CAAC;IAED,KAAK,CAAC,MAAM,CACV,IAAY,EACZ,OAAO,GAAyD,EAAE;QAElE,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IACvD,CAAC;IAED,KAAK,CAAC,aAAa,CACjB,IAAY,EACZ,OAA6B;QAE7B,OAAO,iCAAiC,CAAC,MAAM,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IACzF,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,OAAgB;QAC3B,OAAO,qBAAqB,CAAC,MAAM,cAAc,CAAC,wBAAwB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACxF,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,QAAQ,CACZ,OAAgB,EAChB,OAAO,GAA0B,EAAE;QAEnC,OAAO,uBAAuB,CAC5B,MAAM,cAAc,CAAC,0BAA0B,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CACnE,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,QAAQ,CACZ,OAAgB,EAChB,OAAO,GAA0B,EAAE;QAEnC,OAAO,uBAAuB,CAC5B,MAAM,cAAc,CAAC,0BAA0B,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CACnE,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,kBAAkB,CAAC,OAA6B;QACpD,OAAO,oBAAoB,CAAC,OAAO,CAAC,CAAC;IACvC,CAAC;IAED,gGAAgG;IAChG,KAAK,CAAC,oBAAoB,CAAC,OAA+B;QACxD,OAAO,sBAAsB,CAAC,OAAO,CAAC,CAAC;IACzC,CAAC;IAED,MAAM,CAAC,QAAiB;QACtB,IAAI,cAG0B,CAAC;QAC/B,IAAI,CAAC;YACH,cAAc,GAAG,8BAA8B,CAAC,QAAQ,CAAC,CAAC;QAC5D,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,iBAAiB,CAAC;gBACvB,KAAK,EAAE,KAAK;gBACZ,WAAW,EAAE,KAAK;gBAClB,mBAAmB,EAAE,KAAK;gBAC1B,mBAAmB,EAAE,KAAK;gBAC1B,sBAAsB,EAAE,KAAK;aAC9B,CAAC,CAAC;QACL,CAAC;QACD,OAAO,iBAAiB,CAAC,EAAE,GAAG,sBAAsB,CAAC,cAAc,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;IAC7F,CAAC;IAED,OAAO,CAAC,OAAgB;QACtB,OAAO,yBAAyB,CAAC,oBAAoB,CAAC,0BAA0B,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAC9F,CAAC;IAED,aAAa,CAAC,MAAe;QAC3B,IAAI,CAAC;YACH,OAAO,+BAA+B,CACpC,oBAAoB,CAAC,yBAAyB,CAAC,MAAM,CAAC,CAAC,CACxD,CAAC;QACJ,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,+BAA+B,CAAC;gBACrC,KAAK,EAAE,KAAK;gBACZ,WAAW,EAAE,KAAK;gBAClB,mBAAmB,EAAE,KAAK;gBAC1B,iBAAiB,EAAE,KAAK;gBACxB,iBAAiB,EAAE,KAAK;gBACxB,cAAc,EAAE,KAAK;aACtB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,cAAc,CAAC,OAAgB;QAC7B,OAAO,mBAAmB,CAAC,oBAAoB,CAAC,0BAA0B,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACxF,CAAC;IAED,oBAAoB,CAAC,cAAuB;QAC1C,IAAI,CAAC;YACH,OAAO,+BAA+B,CAAC,oBAAoB,CAAC,cAAc,CAAC,CAAC,CAAC;QAC/E,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,+BAA+B,CAAC;gBACrC,KAAK,EAAE,KAAK;gBACZ,WAAW,EAAE,KAAK;gBAClB,mBAAmB,EAAE,KAAK;gBAC1B,iBAAiB,EAAE,KAAK;gBACxB,cAAc,EAAE,KAAK;aACtB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,gBAAgB;QACd,OAAO,6BAA6B,CAClC,8BAA8B,CAAC;YAC7B,OAAO,EAAE,oBAAoB;YAC7B,cAAc,EAAE,4BAA4B;YAC5C,QAAQ,EAAE;gBACR;oBACE,IAAI,EAAE,WAAW;oBACjB,SAAS,EAAE,yBAAyB,CAAC,SAAS;oBAC9C,cAAc,EAAE,yBAAyB,CAAC,cAAc;oBACxD,QAAQ,EAAE,yBAAyB,CAAC,QAAQ;iBAC7C;gBACD,EAAE,IAAI,EAAE,mBAAmB,EAAE,SAAS,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE;aACtF;SACF,CAAC,CACH,CAAC;IACJ,CAAC;IAED,SAAS,CAAC,OAAgB;QACxB,OAAO,6BAA6B,CAClC,sBAAsB,CAAC,4BAA4B,CAAC,OAAO,CAAC,CAAC,CAC9D,CAAC;IACJ,CAAC;IAED,eAAe,CAAC,QAAiB;QAC/B,IAAI,CAAC;YACH,OAAO,iCAAiC,CACtC,sBAAsB,CAAC,6BAA6B,CAAC,QAAQ,CAAC,CAAC,CAChE,CAAC;QACJ,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,iCAAiC,CAAC;gBACvC,KAAK,EAAE,KAAK;gBACZ,WAAW,EAAE,KAAK;gBAClB,mBAAmB,EAAE,KAAK;gBAC1B,kBAAkB,EAAE,KAAK;gBACzB,iBAAiB,EAAE,KAAK;gBACxB,mBAAmB,EAAE,KAAK;gBAC1B,sBAAsB,EAAE,KAAK;gBAC7B,0BAA0B,EAAE,KAAK;gBACjC,mBAAmB,EAAE,KAAK;gBAC1B,qBAAqB,EAAE,KAAK;aAC7B,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,KAAK,CAAC,gBAAgB,CAAC,OAAgB;QACrC,OAAO,sCAAsC,CAC3C,MAAM,uBAAuB,CAAC,uCAAuC,CAAC,OAAO,CAAC,CAAC,CAChF,CAAC;IACJ,CAAC;IAED,0BAA0B,CAAC,MAAe;QACxC,OAAO,4CAA4C,CAAC,iCAAiC,CAAC,MAAM,CAAC,CAAC,CAAC;IACjG,CAAC;IAED,SAAS,CAAC,OAAgB;QACxB,OAAO,2BAA2B,CAChC,sBAAsB,CAAC,4BAA4B,CAAC,OAAO,CAAC,CAAC,CAC9D,CAAC;IACJ,CAAC;IAED,eAAe,CAAC,MAAe;QAC7B,IAAI,CAAC;YACH,OAAO,iCAAiC,CACtC,sBAAsB,CAAC,2BAA2B,CAAC,MAAM,CAAC,CAAC,CAC5D,CAAC;QACJ,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,iCAAiC,CAAC;gBACvC,KAAK,EAAE,KAAK;gBACZ,WAAW,EAAE,KAAK;gBAClB,oBAAoB,EAAE,KAAK;gBAC3B,kBAAkB,EAAE,KAAK;gBACzB,iBAAiB,EAAE,KAAK;gBACxB,iBAAiB,EAAE,KAAK;gBACxB,cAAc,EAAE,KAAK;aACtB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,cAAc,CAAC,OAAgB;QAC7B,OAAO,4BAA4B,CACjC,6BAA6B,CAAC,mCAAmC,CAAC,OAAO,CAAC,CAAC,CAC5E,CAAC;IACJ,CAAC;IAED,sBAAsB,CAAC,UAAmB;QACxC,IAAI,CAAC;YACH,OAAO,wCAAwC,CAC7C,6BAA6B,CAAC,4BAA4B,CAAC,UAAU,CAAC,CAAC,CACxE,CAAC;QACJ,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,wCAAwC,CAAC;gBAC9C,KAAK,EAAE,KAAK;gBACZ,WAAW,EAAE,KAAK;gBAClB,qBAAqB,EAAE,KAAK;gBAC5B,kBAAkB,EAAE,KAAK;gBACzB,qBAAqB,EAAE,KAAK;gBAC5B,uBAAuB,EAAE,KAAK;aAC/B,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,gBAAgB,CAAC,OAAgB,EAAE,IAAa;QAC9C,OAAO,oCAAoC,CACzC,qCAAqC,CACnC,mCAAmC,CAAC,OAAO,CAAC,EAC5C,gCAAgC,CAAC,IAAI,CAAC,CACvC,CACF,CAAC;IACJ,CAAC;IAED,sBAAsB,CACpB,QAAiB,EACjB,OAA6C;QAE7C,OAAO,wCAAwC,CAC7C,qCAAqC,CACnC,EAAE,QAAQ,EAAE,EACZ;YACE,GAAG,OAAO;YACV,gBAAgB,EAAE,6BAA6B;YAC/C,0BAA0B,EAAE,iDAAiD;SAC9E,CACF,CACF,CAAC;IACJ,CAAC;IAED,gCAAgC,CAC9B,KAAoE;QAEpE,OAAO,kDAAkD,CACvD,uCAAuC,CAAC,KAAK,EAAE;YAC7C,gBAAgB,EAAE,iDAAiD;SACpE,CAAC,CACH,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,IAAgB;QACrB,QAAQ,IAAI,EAAE,CAAC;YACb,KAAK,mCAAmC;gBACtC,OAAO,wCAAwC,EAAE,CAAC;YACpD,KAAK,2BAA2B;gBAC9B,OAAO,iCAAiC,EAAE,CAAC;YAC7C,KAAK,yCAAyC;gBAC5C,OAAO,6CAA6C,EAAE,CAAC;YACzD,KAAK,sCAAsC;gBACzC,OAAO,2CAA2C,EAAE,CAAC;YACvD,KAAK,kCAAkC;gBACrC,OAAO,uCAAuC,EAAE,CAAC;YACnD,KAAK,oDAAoD;gBACvD,OAAO,uDAAuD,EAAE,CAAC;YACnE,KAAK,gCAAgC;gBACnC,OAAO,qCAAqC,EAAE,CAAC;YACjD,KAAK,8CAA8C;gBACjD,OAAO,iDAAiD,EAAE,CAAC;YAC7D,KAAK,mCAAmC;gBACtC,OAAO,wCAAwC,EAAE,CAAC;YACpD,KAAK,oCAAoC;gBACvC,OAAO,yCAAyC,EAAE,CAAC;YACrD,KAAK,0CAA0C;gBAC7C,OAAO,8CAA8C,EAAE,CAAC;YAC1D,KAAK,yCAAyC;gBAC5C,OAAO,6CAA6C,EAAE,CAAC;YACzD,KAAK,2BAA2B;gBAC9B,OAAO,iCAAiC,EAAE,CAAC;YAC7C,KAAK,4BAA4B;gBAC/B,OAAO,kCAAkC,EAAE,CAAC;YAC9C,KAAK,iCAAiC;gBACpC,OAAO,sCAAsC,EAAE,CAAC;YAClD,KAAK,uCAAuC;gBAC1C,OAAO,4CAA4C,EAAE,CAAC;YACxD,KAAK,sCAAsC;gBACzC,OAAO,2CAA2C,EAAE,CAAC;YACvD,KAAK,6CAA6C;gBAChD,OAAO,iDAAiD,EAAE,CAAC;YAC7D,KAAK,yBAAyB;gBAC5B,OAAO,+BAA+B,EAAE,CAAC;YAC3C,KAAK,wBAAwB;gBAC3B,OAAO,8BAA8B,EAAE,CAAC;YAC1C,KAAK,+BAA+B;gBAClC,OAAO,oCAAoC,EAAE,CAAC;YAChD,KAAK,4BAA4B;gBAC/B,OAAO,iCAAiC,EAAE,CAAC;YAC7C,KAAK,2BAA2B;gBAC9B,OAAO,gCAAgC,EAAE,CAAC;YAC5C,KAAK,kCAAkC;gBACrC,OAAO,sCAAsC,EAAE,CAAC;YAClD,KAAK,sBAAsB;gBACzB,OAAO,6BAA6B,EAAE,CAAC;YACzC,KAAK,yBAAyB;gBAC5B,OAAO,+BAA+B,EAAE,CAAC;YAC3C,KAAK,yBAAyB;gBAC5B,OAAO,+BAA+B,EAAE,CAAC;YAC3C,KAAK,qBAAqB;gBACxB,OAAO,4BAA4B,EAAE,CAAC;YACxC,KAAK,kBAAkB;gBACrB,OAAO,yBAAyB,EAAE,CAAC;YACrC,KAAK,wBAAwB;gBAC3B,OAAO,8BAA8B,EAAE,CAAC;YAC1C,KAAK,2BAA2B;gBAC9B,OAAO,gCAAgC,EAAE,CAAC;YAC5C,KAAK,sBAAsB;gBACzB,OAAO,4BAA4B,EAAE,CAAC;YACxC,KAAK,yBAAyB;gBAC5B,OAAO,8BAA8B,EAAE,CAAC;YAC1C,KAAK,wBAAwB;gBAC3B,OAAO,8BAA8B,EAAE,CAAC;YAC1C,KAAK,2BAA2B;gBAC9B,OAAO,gCAAgC,EAAE,CAAC;YAC5C,KAAK,mBAAmB;gBACtB,OAAO,0BAA0B,EAAE,CAAC;YACtC,KAAK,sBAAsB;gBACzB,OAAO,4BAA4B,EAAE,CAAC;YACxC,KAAK,sBAAsB;gBACzB,OAAO,4BAA4B,EAAE,CAAC;YACxC,KAAK,eAAe;gBAClB,OAAO,sBAAsB,EAAE,CAAC;YAClC,KAAK,4BAA4B;gBAC/B,OAAO,kCAAkC,EAAE,CAAC;YAC9C,KAAK,yBAAyB;gBAC5B,OAAO,+BAA+B,EAAE,CAAC;YAC3C,KAAK,iBAAiB;gBACpB,OAAO,wBAAwB,EAAE,CAAC;YACpC,KAAK,+BAA+B;gBAClC,OAAO,oCAAoC,EAAE,CAAC;QAClD,CAAC;IACH,CAAC;CACF;AAED,2EAA2E;AAC3E,MAAM,OAAO,SAAU,SAAQ,YAAY;CAAG;AAE9C,OAAO,EAAE,wBAAwB,EAAE,6BAA6B,EAAE,MAAM,uBAAuB,CAAC;AAChG,OAAO,EACL,sBAAsB,EACtB,6BAA6B,EAC7B,qCAAqC,EACrC,oBAAoB,EACpB,sBAAsB,EACtB,oBAAoB,EACpB,8BAA8B,EAC9B,sBAAsB,EACtB,iCAAiC,EACjC,6BAA6B,EAC7B,qCAAqC,EACrC,oBAAoB,EACpB,sBAAsB,EACtB,oBAAoB,EACpB,sBAAsB,EACtB,oBAAoB,EACpB,uBAAuB,GACxB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AAEnE,OAAO,EACL,uBAAuB,EACvB,iBAAiB,EACjB,eAAe,EACf,uBAAuB,EACvB,oBAAoB,EACpB,cAAc,GACf,MAAM,oBAAoB,CAAC"}
|
package/docs/adapter-protocol.md
CHANGED
|
@@ -78,6 +78,67 @@ these deterministic facts without a timestamp under
|
|
|
78
78
|
File-based runtime attribution is stronger than source scanning, but it is not authenticated. The
|
|
79
79
|
Node.js runner, reporter events, candidate code, dependencies, and host remain trusted inputs.
|
|
80
80
|
|
|
81
|
+
## Built-in `bun:test` adapter (verification v3)
|
|
82
|
+
|
|
83
|
+
The official Bun profile accepts a verification request with:
|
|
84
|
+
|
|
85
|
+
```json
|
|
86
|
+
{
|
|
87
|
+
"kind": "bun-test",
|
|
88
|
+
"executable": "bun",
|
|
89
|
+
"baseTestFiles": ["tests/base.test.ts"]
|
|
90
|
+
}
|
|
91
|
+
```
|
|
92
|
+
|
|
93
|
+
It is qualified for Bun `1.4.2` revision `744846f844374847c902b5e7fd59b4342a51ef99`
|
|
94
|
+
using a controlled `bun:test` preload on explicitly unsandboxed `trusted-local` execution.
|
|
95
|
+
The container backend is refused. The engine resolves and hashes the Bun executable, checks its
|
|
96
|
+
version and revision twice, hashes its bundled driver, preload and assertion helper, and records all of
|
|
97
|
+
these identities with a fresh ten-case runtime preflight in the v3 manifest. The preflight
|
|
98
|
+
separates an owned assertion from a generic throw, a caught assertion followed by a generic
|
|
99
|
+
throw, a saved assertion error thrown in a later test or another parameterized row, an error from
|
|
100
|
+
an earlier asynchronous continuation, two genuine failing assertion rows, an operand error, a native Bun `expect`
|
|
101
|
+
failure, and a failing `afterEach` hook. Every Bun process uses argv with
|
|
102
|
+
`shell: false` and `--max-concurrency=1`.
|
|
103
|
+
|
|
104
|
+
Candidate tests that need assertion evidence import the packaged helper:
|
|
105
|
+
|
|
106
|
+
```ts
|
|
107
|
+
import { test } from "bun:test";
|
|
108
|
+
import { assertSame } from "assertledger/bun";
|
|
109
|
+
|
|
110
|
+
test("result", () => assertSame(compute(), expected));
|
|
111
|
+
```
|
|
112
|
+
|
|
113
|
+
`assertSame` evaluates its arguments before entering the helper, compares them with `Object.is`,
|
|
114
|
+
and throws a fixed, AssertLedger-owned error when they differ. The engine installs the exact
|
|
115
|
+
bundled helper into each disposable workspace because repository snapshots omit `node_modules`.
|
|
116
|
+
The engine installs a preload before test files execute. It wraps `test` and `it` registrations,
|
|
117
|
+
records their source file and completion, and checks that the thrown object belongs to a private
|
|
118
|
+
set of errors actually issued by `assertSame` in the active test callback. A saved helper error
|
|
119
|
+
thrown in another test or parameterized row does not acquire assertion ownership. AsyncLocalStorage
|
|
120
|
+
keeps ownership with the originating test when its asynchronous work overlaps a later test.
|
|
121
|
+
The driver requires every configured base file to run and checks
|
|
122
|
+
that callback totals and failures agree with Bun's JUnit totals and process exit. JUnit never
|
|
123
|
+
classifies an assertion or supplies candidate attribution. A generic throw, failed control,
|
|
124
|
+
skipped test, missing callback or inconsistent count cannot kill a target.
|
|
125
|
+
Multiple failing candidate rows count as an assertion failure only when every failure is owned
|
|
126
|
+
by a helper call in its own execution.
|
|
127
|
+
The preload sends signed events to the driver over a dedicated process pipe. A one-run key is
|
|
128
|
+
delivered before candidate modules load and is not placed in the candidate environment or a
|
|
129
|
+
workspace file. The driver emits the final bounded JSON report on its own stdout; candidate code
|
|
130
|
+
cannot pre-create that result file. The generic `testforge-command` adapter retains its existing
|
|
131
|
+
result-file protocol.
|
|
132
|
+
Bun's separate unhandled-error summary blocks attribution when collection fails outside a
|
|
133
|
+
callback. The preload records failing lifecycle hooks separately, so they cannot be hidden by an
|
|
134
|
+
owned assertion failure in the same test.
|
|
135
|
+
|
|
136
|
+
Native `bun:test` `expect` failures are deliberately non-attributed because they do not throw the
|
|
137
|
+
AssertLedger-owned error class. A candidate that catches an `assertSame` failure and throws a
|
|
138
|
+
different error is also non-attributed. The preload instrumentation is part of the qualified
|
|
139
|
+
adapter and may reject Bun test registration forms that it cannot observe consistently.
|
|
140
|
+
The adapter does not authenticate candidate code or provide hostile-code containment.
|
|
141
|
+
|
|
81
142
|
## Structured command adapter protocol v1
|
|
82
143
|
|
|
83
144
|
The legacy wire identifier `testforge-command` lets any framework participate without moving gate logic into the
|
package/docs/architecture.md
CHANGED
|
@@ -129,7 +129,10 @@ environment and limits; `node:test` probes then run inside the image.
|
|
|
129
129
|
|
|
130
130
|
The repository digest covers regular files visited by the analyzer. The analyzer omits `.git`,
|
|
131
131
|
`.testforge`, `node_modules`, and operator-excluded path segments. It rejects any encountered
|
|
132
|
-
symbolic link instead of silently excluding it.
|
|
132
|
+
symbolic link instead of silently excluding it. Campaign manifests and benchmark snapshots apply the
|
|
133
|
+
verification request's exclusions when the snapshot is copied; `audit` applies only the defaults.
|
|
134
|
+
Only the public `analyze` entry point also omits the names configured in `assertledger.config.json`,
|
|
135
|
+
so its digest can differ from an audit or manifest digest of the same tree. Candidate contents and world overlays have separate
|
|
133
136
|
digests. Preserve the snapshot and resolved dependency identities for stronger provenance.
|
|
134
137
|
|
|
135
138
|
`detectedTestFrameworks` remains a sorted string array in repository-analysis v1 so this correction
|
|
@@ -11,6 +11,38 @@ The JSON form is the existing repository initialization result. `WOULD_CREATE` m
|
|
|
11
11
|
configuration can be planned; it does not mean worlds, candidates, campaign evidence, or an MCP
|
|
12
12
|
client connection are ready. `BLOCKED` exits with code 3 and `CONFLICT` with code 4.
|
|
13
13
|
|
|
14
|
+
For a single onboarding preflight, compose static initialization and the client connection:
|
|
15
|
+
|
|
16
|
+
```text
|
|
17
|
+
assertledger setup . --client codex --dry-run --json
|
|
18
|
+
assertledger setup . --client codex --write --json
|
|
19
|
+
assertledger setup . --client claude-code --write --json
|
|
20
|
+
```
|
|
21
|
+
|
|
22
|
+
`setup` previews when neither `--dry-run` nor `--write` is supplied. It checks every managed init
|
|
23
|
+
and connection target before writing any of them. A blocked initialization or any conflict leaves
|
|
24
|
+
the full managed set unchanged during preflight. If a connection conflict appears after init,
|
|
25
|
+
rollback removes only files created by this invocation whose bytes still match the plan. A changed
|
|
26
|
+
or regenerated file is preserved and yields `PARTIAL_FAILURE`, with the unresolved paths in JSON.
|
|
27
|
+
Exit codes are 3 for blocked readiness, 4 for a fully rolled-back conflict, 5 for partial failure or
|
|
28
|
+
unexpected I/O, and 64 for invalid CLI usage.
|
|
29
|
+
|
|
30
|
+
`setup --write` has no cross-process filesystem lock and requires a stable trusted repository tree.
|
|
31
|
+
A concurrent edit can be overwritten while an existing lock file is regenerated, or removed if it
|
|
32
|
+
replaces a managed file after the rollback byte check but before unlink. Stop concurrent writers
|
|
33
|
+
before setup; this stability requirement is a reported limitation, not a concurrency guarantee.
|
|
34
|
+
|
|
35
|
+
To confirm the installed engine can run its packaged example, execute:
|
|
36
|
+
|
|
37
|
+
```text
|
|
38
|
+
assertledger demo --allow-unsafe-execution --json
|
|
39
|
+
```
|
|
40
|
+
|
|
41
|
+
The authorization applies only to a copy of the shipped fixture in a disposable temporary
|
|
42
|
+
directory. The result is explicitly scoped to `SHIPPED_FIXTURE_ONLY`; it is not evidence about the
|
|
43
|
+
user repository and does not change that repository. Its `status` preserves the exact decision:
|
|
44
|
+
`VERIFIED`, `REJECTED`, `INCONCLUSIVE`, or `ENGINE_ERROR`. Exit codes match `verify`: 0, 2, 3, or 5.
|
|
45
|
+
|
|
14
46
|
After installing and building AssertLedger, generate a project-local Codex MCP descriptor:
|
|
15
47
|
|
|
16
48
|
```text
|
|
@@ -37,11 +69,13 @@ execution remains unavailable unless an operator separately starts it with
|
|
|
37
69
|
`--allow-unsafe-execution`; that mode is explicitly UNSANDBOXED trusted-local.
|
|
38
70
|
|
|
39
71
|
On a connected read-only server, agents may call `assertledger_doctor` (or the legacy
|
|
40
|
-
`testforge_doctor` alias) with `{ "root": "..." }
|
|
41
|
-
|
|
42
|
-
|
|
43
|
-
|
|
44
|
-
|
|
72
|
+
`testforge_doctor` alias) with `{ "root": "..." }`, plus optional `"exclude"` entry names that follow
|
|
73
|
+
the `--exclude` rules; an empty array replaces the configured list (see
|
|
74
|
+
[repository initialization](repository-init.md)). It returns the
|
|
75
|
+
same static repository initialization result as `assertledger doctor . --json`, after enforcing the
|
|
76
|
+
server's allowed-root boundary. The tool writes no configuration and does not execute repository
|
|
77
|
+
code. It reports configuration readiness only; dynamic dependency, reporter, permission and liveness
|
|
78
|
+
diagnostics remain outside this static check.
|
|
45
79
|
|
|
46
80
|
Use the separate [runtime doctor](runtime-doctor.md) after initialization to run controlled probes
|
|
47
81
|
with explicit authorization. [Reason-code explanations](diagnostics.md) remain available without
|
package/docs/distribution.md
CHANGED
|
@@ -10,8 +10,8 @@ The smoke exercises both installed command aliases (`assertledger`, `testforge`)
|
|
|
10
10
|
both SDK class aliases, the public root and core exports, static init and audit,
|
|
11
11
|
and the bundled trusted `node:test` example. The strong test must be selected,
|
|
12
12
|
the weak test must be rejected as `WEAK_ORACLE`, and every replay rail must pass.
|
|
13
|
-
It also checks the advertised schemas, conformance bundle, integration skill
|
|
14
|
-
runtime files in the tarball and installed package.
|
|
13
|
+
It also checks the advertised schemas, conformance bundle, integration skill, Bun assertion
|
|
14
|
+
helper, callback preload and driver, and runtime files in the tarball and installed package.
|
|
15
15
|
It also compiles a TypeScript consumer against the installed root/core exports
|
|
16
16
|
using the checkout's pinned compiler and Node type definitions. Consumer imports
|
|
17
17
|
resolve from the temporary project; no source-package alias is configured.
|
|
@@ -26,7 +26,12 @@ the tarball and its SHA-256 are retained under `.testforge/package-smoke/<run-id
|
|
|
26
26
|
Temporary consumers are removed after the run. The retained manifest is replayable;
|
|
27
27
|
its original execution paths refer to the removed consumer.
|
|
28
28
|
|
|
29
|
-
CI runs this smoke on Windows and
|
|
29
|
+
CI runs this smoke on Windows, Linux and macOS with Node 22.15.0 and 24 plus pinned Bun 1.4.2,
|
|
30
|
+
alongside `pnpm check`.
|
|
31
|
+
The verification matrix installs Bun 1.4.2 on Windows, Linux, and macOS and executes the
|
|
32
|
+
real Bun campaign and its negative witnesses. The package smoke also runs a Bun v3 campaign
|
|
33
|
+
and replay through the freshly installed CLI and checks the installed `assertledger/bun` export
|
|
34
|
+
and types.
|
|
30
35
|
A successful local smoke proves that local tarball on the reported Node version
|
|
31
36
|
and operating system. It does not establish npm publication, cross-platform CI
|
|
32
37
|
success, hostile-code isolation, or adoption by external users. The example uses
|
|
@@ -0,0 +1,33 @@
|
|
|
1
|
+
# Verification v3 and Bun test migration
|
|
2
|
+
|
|
3
|
+
Verification request and evidence manifest v3 add the built-in `bun-test` adapter. V1 and v2
|
|
4
|
+
schema bytes, adapter unions, and historical manifests remain unchanged and replayable. V3 keeps
|
|
5
|
+
the v2 execution-backend record and accepts `node-test` and `testforge-command` as before.
|
|
6
|
+
`bun-test` requires `trusted-local`; a v3 Bun request with container isolation is refused before
|
|
7
|
+
execution.
|
|
8
|
+
|
|
9
|
+
`assertledger init` writes repository initialization config, lock, and result v2 for a detected
|
|
10
|
+
`bun:test` repository with one or more base test files. Existing Node initialization remains v1.
|
|
11
|
+
If a repository contains multiple test frameworks, select `--framework bun:test` explicitly.
|
|
12
|
+
Local-only linked entries still need explicit `--exclude NAME` declarations. Static initialization
|
|
13
|
+
does not execute tests or qualify the installed Bun binary. Run the unsafe runtime doctor, then
|
|
14
|
+
a v3 campaign with operator-supplied worlds and candidates.
|
|
15
|
+
|
|
16
|
+
New Bun candidate tests use `assertSame` from `assertledger/bun`. Existing `bun:test` tests can
|
|
17
|
+
remain as base controls. Their native `expect` failures block a campaign as operational failures;
|
|
18
|
+
they are not assertion evidence. The helper compares only with `Object.is`, so use an explicit
|
|
19
|
+
scalar or boolean observation when structural equality is needed. Calculation errors occur before
|
|
20
|
+
the helper and remain ordinary errors. The helper is installed from the package into each
|
|
21
|
+
disposable workspace; no adapter implementation is required in the consumer repository.
|
|
22
|
+
|
|
23
|
+
The Bun runtime profile pins version `1.4.2` and revision
|
|
24
|
+
`744846f844374847c902b5e7fd59b4342a51ef99`. New manifests bind the resolved executable
|
|
25
|
+
digest, Bun revision, driver digest, preload digest, helper digest, command shape,
|
|
26
|
+
and fresh runtime preflight. They may have new decision and artifact digests because v3 evidence
|
|
27
|
+
has a new schema identity. No old manifest is resealed. The v3 schemas are added to the
|
|
28
|
+
post-conformance schema lock; the frozen v1 bundle and its root digest are unchanged.
|
|
29
|
+
|
|
30
|
+
The v1 provider/export contracts still describe v1 manifests only. Consumers of v3 Bun evidence
|
|
31
|
+
should parse and replay the v3 manifest directly; they must not project it through the v1 export
|
|
32
|
+
contract. Windows, Linux, and macOS support is claimed only for the exact Bun version on which
|
|
33
|
+
the corresponding CI campaign gate passes.
|
package/docs/project-intent.md
CHANGED
|
@@ -50,13 +50,15 @@ référence, un monde neutre rouge, une observation instable ou une attribution
|
|
|
50
50
|
|
|
51
51
|
Le socle local comprend les contrats versionnés, le noyau déterministe, les digests, le replay
|
|
52
52
|
sémantique, le moteur d’exécution, les façades CLI/SDK/MCP, l’audit statique et l’initialisation.
|
|
53
|
-
Le registre contient
|
|
54
|
-
|
|
53
|
+
Le registre contient 45 schémas JSON : les 34 figés par le verrou de conformance v1 et 11
|
|
54
|
+
extensions, verrouillées sans modifier le bundle v1.
|
|
55
55
|
L’ancien décompte de 30 dans la roadmap était périmé.
|
|
56
56
|
|
|
57
|
-
|
|
58
|
-
|
|
59
|
-
|
|
57
|
+
Les adaptateurs officiels intégrés sont `node:test` et `bun:test`. Ce dernier est limité à Bun 1.4.2
|
|
58
|
+
et aux assertions explicites du helper `assertSame` ; les échecs natifs de `expect` ne deviennent pas
|
|
59
|
+
des preuves d’assertion. Le protocole `testforge-command` permet d’intégrer un autre framework avec
|
|
60
|
+
un adaptateur fourni par l’opérateur. Détecter Vitest, Jest ou pytest pendant `init` ne fournit pas
|
|
61
|
+
leur adaptateur officiel.
|
|
60
62
|
|
|
61
63
|
Les profils v1 et v2, les artefacts de benchmark, les contrats de provenance et le protocole
|
|
62
64
|
expérimental H3 sont présents. Le benchmark par phases refuse encore l’adaptateur `node:test` :
|