assertledger 1.1.0 → 1.2.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.
Files changed (91) hide show
  1. package/README.fr.md +14 -4
  2. package/README.md +14 -4
  3. package/conformance/schema-extensions.json +25 -0
  4. package/dist/build-info.json +1 -1
  5. package/dist/cli.d.ts.map +1 -1
  6. package/dist/cli.js +68 -20
  7. package/dist/cli.js.map +1 -1
  8. package/dist/contracts/index.d.ts +510 -4
  9. package/dist/contracts/index.d.ts.map +1 -1
  10. package/dist/contracts/index.js +230 -16
  11. package/dist/contracts/index.js.map +1 -1
  12. package/dist/contracts/runtime-doctor.d.ts +123 -0
  13. package/dist/contracts/runtime-doctor.d.ts.map +1 -1
  14. package/dist/contracts/runtime-doctor.js +64 -0
  15. package/dist/contracts/runtime-doctor.js.map +1 -1
  16. package/dist/core/index.d.ts.map +1 -1
  17. package/dist/core/index.js +16 -6
  18. package/dist/core/index.js.map +1 -1
  19. package/dist/diagnostics.d.ts.map +1 -1
  20. package/dist/diagnostics.js +26 -2
  21. package/dist/diagnostics.js.map +1 -1
  22. package/dist/engine/adapters/bun-test-profile.d.ts +17 -0
  23. package/dist/engine/adapters/bun-test-profile.d.ts.map +1 -0
  24. package/dist/engine/adapters/bun-test-profile.js +17 -0
  25. package/dist/engine/adapters/bun-test-profile.js.map +1 -0
  26. package/dist/engine/git-regression.d.ts +2 -2
  27. package/dist/engine/git-regression.d.ts.map +1 -1
  28. package/dist/engine/git-regression.js.map +1 -1
  29. package/dist/engine/index.d.ts +11 -5
  30. package/dist/engine/index.d.ts.map +1 -1
  31. package/dist/engine/index.js +454 -49
  32. package/dist/engine/index.js.map +1 -1
  33. package/dist/engine/runtime-doctor.d.ts +13 -4
  34. package/dist/engine/runtime-doctor.d.ts.map +1 -1
  35. package/dist/engine/runtime-doctor.js +80 -2
  36. package/dist/engine/runtime-doctor.js.map +1 -1
  37. package/dist/mcp/index.d.ts.map +1 -1
  38. package/dist/mcp/index.js +36 -6
  39. package/dist/mcp/index.js.map +1 -1
  40. package/dist/proof-planner/carry-over.d.ts +21 -0
  41. package/dist/proof-planner/carry-over.d.ts.map +1 -0
  42. package/dist/proof-planner/carry-over.js +212 -0
  43. package/dist/proof-planner/carry-over.js.map +1 -0
  44. package/dist/proof-planner/index.d.ts +11 -0
  45. package/dist/proof-planner/index.d.ts.map +1 -0
  46. package/dist/proof-planner/index.js +11 -0
  47. package/dist/proof-planner/index.js.map +1 -0
  48. package/dist/proof-planner/model.d.ts +272 -0
  49. package/dist/proof-planner/model.d.ts.map +1 -0
  50. package/dist/proof-planner/model.js +215 -0
  51. package/dist/proof-planner/model.js.map +1 -0
  52. package/dist/proof-planner/plan.d.ts +140 -0
  53. package/dist/proof-planner/plan.d.ts.map +1 -0
  54. package/dist/proof-planner/plan.js +1124 -0
  55. package/dist/proof-planner/plan.js.map +1 -0
  56. package/dist/proof-planner/policy.d.ts +100 -0
  57. package/dist/proof-planner/policy.d.ts.map +1 -0
  58. package/dist/proof-planner/policy.js +407 -0
  59. package/dist/proof-planner/policy.js.map +1 -0
  60. package/dist/proof-planner/render.d.ts +4 -0
  61. package/dist/proof-planner/render.d.ts.map +1 -0
  62. package/dist/proof-planner/render.js +73 -0
  63. package/dist/proof-planner/render.js.map +1 -0
  64. package/dist/sdk/index.d.ts +7 -6
  65. package/dist/sdk/index.d.ts.map +1 -1
  66. package/dist/sdk/index.js +20 -7
  67. package/dist/sdk/index.js.map +1 -1
  68. package/docs/adapter-protocol.md +61 -0
  69. package/docs/architecture.md +11 -1
  70. package/docs/developer-experience.md +7 -5
  71. package/docs/distribution.md +8 -3
  72. package/docs/migration-timeout-discovery-inconclusive.md +126 -0
  73. package/docs/migration-verification-v3.md +33 -0
  74. package/docs/project-intent.md +7 -5
  75. package/docs/proof-model.md +20 -2
  76. package/docs/proof-planner.md +368 -0
  77. package/docs/reference.md +9 -6
  78. package/docs/repository-init.md +38 -7
  79. package/docs/runtime-doctor.md +12 -9
  80. package/integrations/bun/assertions.d.mts +4 -0
  81. package/integrations/bun/assertions.mjs +25 -0
  82. package/integrations/bun/driver.d.mts +27 -0
  83. package/integrations/bun/driver.mjs +383 -0
  84. package/integrations/bun/preload.mjs +165 -0
  85. package/integrations/skill/SKILL.md +4 -1
  86. package/package.json +8 -4
  87. package/schemas/evidence-manifest.v3.json +897 -0
  88. package/schemas/repository-init-config.v2.json +210 -0
  89. package/schemas/repository-init-lock.v2.json +162 -0
  90. package/schemas/repository-init-result.v2.json +212 -0
  91. package/schemas/verification-request.v3.json +484 -0
@@ -1,7 +1,16 @@
1
- import type { RepositoryInitResult } from "../contracts/index.js";
2
- import { type RuntimeDoctorResult } from "../contracts/runtime-doctor.js";
3
- export type { RuntimeDoctorCheck, RuntimeDoctorResult } from "../contracts/runtime-doctor.js";
4
- export { parseRuntimeDoctorResult, RuntimeDoctorCheckSchema, RuntimeDoctorReasonCodeSchema, RuntimeDoctorResultSchema, } from "../contracts/runtime-doctor.js";
1
+ import type { RepositoryInitResult, RepositoryInitResultV2 } from "../contracts/index.js";
2
+ import { type RuntimeDoctorResult, type RuntimeDoctorResultV2 } from "../contracts/runtime-doctor.js";
3
+ export type { RuntimeDoctorCheck, RuntimeDoctorResult, RuntimeDoctorResultV2, } from "../contracts/runtime-doctor.js";
4
+ export { parseRuntimeDoctorResult, RuntimeDoctorCheckSchema, RuntimeDoctorReasonCodeSchema, RuntimeDoctorResultSchema, RuntimeDoctorResultV2Schema, } from "../contracts/runtime-doctor.js";
5
+ export interface BunRuntimeDoctorDependencies {
6
+ probeExecutable(): Promise<{
7
+ bunVersion: string;
8
+ }>;
9
+ probeDependencies(): Promise<void>;
10
+ probeTemporaryWorkspace(): Promise<void>;
11
+ runSyntheticPreflight(): Promise<void>;
12
+ }
13
+ export declare function runBunRuntimeDoctorChecks(repositoryRoot: string, configuration: RepositoryInitResultV2, dependencies: BunRuntimeDoctorDependencies): Promise<RuntimeDoctorResultV2>;
5
14
  export interface RuntimeDoctorDependencies {
6
15
  inspectConfiguration(): Promise<RepositoryInitResult>;
7
16
  probeExecutable(): Promise<{
@@ -1 +1 @@
1
- {"version":3,"file":"runtime-doctor.d.ts","sourceRoot":"","sources":["../../src/engine/runtime-doctor.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAClE,OAAO,EAGL,KAAK,mBAAmB,EACzB,MAAM,gCAAgC,CAAC;AAExC,YAAY,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAC9F,OAAO,EACL,wBAAwB,EACxB,wBAAwB,EACxB,6BAA6B,EAC7B,yBAAyB,GAC1B,MAAM,gCAAgC,CAAC;AAExC,MAAM,WAAW,yBAAyB;IACxC,oBAAoB,IAAI,OAAO,CAAC,oBAAoB,CAAC,CAAC;IACtD,eAAe,IAAI,OAAO,CAAC;QAAE,WAAW,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACpD,iBAAiB,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IACnC,uBAAuB,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IACzC,qBAAqB,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CACxC;AA8DD,mFAAmF;AACnF,wBAAsB,sBAAsB,CAC1C,cAAc,EAAE,MAAM,EACtB,oBAAoB,EAAE,OAAO,EAC7B,YAAY,EAAE,yBAAyB,GACtC,OAAO,CAAC,mBAAmB,CAAC,CAwJ9B"}
1
+ {"version":3,"file":"runtime-doctor.d.ts","sourceRoot":"","sources":["../../src/engine/runtime-doctor.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAC1F,OAAO,EAKL,KAAK,mBAAmB,EACxB,KAAK,qBAAqB,EAC3B,MAAM,gCAAgC,CAAC;AAExC,YAAY,EACV,kBAAkB,EAClB,mBAAmB,EACnB,qBAAqB,GACtB,MAAM,gCAAgC,CAAC;AACxC,OAAO,EACL,wBAAwB,EACxB,wBAAwB,EACxB,6BAA6B,EAC7B,yBAAyB,EACzB,2BAA2B,GAC5B,MAAM,gCAAgC,CAAC;AAExC,MAAM,WAAW,4BAA4B;IAC3C,eAAe,IAAI,OAAO,CAAC;QAAE,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACnD,iBAAiB,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IACnC,uBAAuB,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IACzC,qBAAqB,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CACxC;AAgDD,wBAAsB,yBAAyB,CAC7C,cAAc,EAAE,MAAM,EACtB,aAAa,EAAE,sBAAsB,EACrC,YAAY,EAAE,4BAA4B,GACzC,OAAO,CAAC,qBAAqB,CAAC,CAmGhC;AAED,MAAM,WAAW,yBAAyB;IACxC,oBAAoB,IAAI,OAAO,CAAC,oBAAoB,CAAC,CAAC;IACtD,eAAe,IAAI,OAAO,CAAC;QAAE,WAAW,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACpD,iBAAiB,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IACnC,uBAAuB,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IACzC,qBAAqB,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CACxC;AA8DD,mFAAmF;AACnF,wBAAsB,sBAAsB,CAC1C,cAAc,EAAE,MAAM,EACtB,oBAAoB,EAAE,OAAO,EAC7B,YAAY,EAAE,yBAAyB,GACtC,OAAO,CAAC,mBAAmB,CAAC,CAwJ9B"}
@@ -1,5 +1,83 @@
1
- import { parseRuntimeDoctorResult, } from "../contracts/runtime-doctor.js";
2
- export { parseRuntimeDoctorResult, RuntimeDoctorCheckSchema, RuntimeDoctorReasonCodeSchema, RuntimeDoctorResultSchema, } from "../contracts/runtime-doctor.js";
1
+ import { parseRuntimeDoctorResult, parseRuntimeDoctorResultV2, } from "../contracts/runtime-doctor.js";
2
+ export { parseRuntimeDoctorResult, RuntimeDoctorCheckSchema, RuntimeDoctorReasonCodeSchema, RuntimeDoctorResultSchema, RuntimeDoctorResultV2Schema, } from "../contracts/runtime-doctor.js";
3
+ const BUN_LIMITATION = "Runtime doctor uses controlled synthetic Bun callback probes and does not run repository tests or prove campaign evidence.";
4
+ function bunCheck(id, status, summary, reasonCode = null, nextAction = null) {
5
+ return { id, status, reasonCode, summary, nextAction };
6
+ }
7
+ function finishBunDoctor(repositoryRoot, checks, adapter, bunVersion) {
8
+ const reasonCodes = checks
9
+ .flatMap((entry) => (entry.status === "BLOCKED" && entry.reasonCode ? [entry.reasonCode] : []))
10
+ .filter((code, index, values) => values.indexOf(code) === index)
11
+ .sort();
12
+ return parseRuntimeDoctorResultV2({
13
+ schemaVersion: "2.0.0",
14
+ status: reasonCodes.length === 0 ? "READY" : "BLOCKED",
15
+ executionMode: "UNSANDBOXED_TRUSTED_LOCAL",
16
+ repositoryRoot,
17
+ adapter,
18
+ nodeVersion: null,
19
+ bunVersion,
20
+ checks: [
21
+ ...checks,
22
+ bunCheck("repository-campaign", "LIMITATION", BUN_LIMITATION, "RUNTIME_REPOSITORY_TESTS_NOT_EXECUTED", "Run an explicitly authorized AssertLedger v3 verification campaign."),
23
+ ],
24
+ reasonCodes,
25
+ limitations: [BUN_LIMITATION],
26
+ });
27
+ }
28
+ export async function runBunRuntimeDoctorChecks(repositoryRoot, configuration, dependencies) {
29
+ const checks = [
30
+ bunCheck("authorization", "PASS", "UNSANDBOXED trusted-local runtime probing was authorized."),
31
+ ];
32
+ if (configuration.status !== "UNCHANGED") {
33
+ checks.push(bunCheck("configuration", "BLOCKED", "Bun adapter configuration does not match the repository evidence.", configuration.status === "WOULD_CREATE" || configuration.status === "CREATED"
34
+ ? "RUNTIME_CONFIGURATION_STALE"
35
+ : "RUNTIME_CONFIGURATION_BLOCKED", "Run assertledger init and repair the reported configuration or lock."));
36
+ return finishBunDoctor(repositoryRoot, checks, null, null);
37
+ }
38
+ checks.push(bunCheck("configuration", "PASS", "Bun adapter configuration and lock are current."));
39
+ if (configuration.detections.framework !== "bun:test" ||
40
+ configuration.detections.adapterRecommendation !== "bun-test") {
41
+ checks.push(bunCheck("adapter", "BLOCKED", "The generated adapter is not the official Bun test profile.", "RUNTIME_ADAPTER_UNSUPPORTED", "Generate the Bun test adapter with assertledger init."));
42
+ return finishBunDoctor(repositoryRoot, checks, null, null);
43
+ }
44
+ checks.push(bunCheck("adapter", "PASS", "The official Bun test adapter is configured."));
45
+ let bunVersion;
46
+ try {
47
+ ({ bunVersion } = await dependencies.probeExecutable());
48
+ }
49
+ catch (error) {
50
+ const unsupported = error instanceof Error && error.message === "BUN_TEST_VERSION_UNSUPPORTED";
51
+ checks.push(bunCheck("executable", "BLOCKED", unsupported ? "The resolved Bun version is unsupported." : "Bun is unavailable.", unsupported ? "RUNTIME_BUN_VERSION_UNSUPPORTED" : "RUNTIME_BUN_EXECUTABLE_UNAVAILABLE", "Install the qualified Bun release and rerun runtime doctor."));
52
+ return finishBunDoctor(repositoryRoot, checks, "bun:test", null);
53
+ }
54
+ checks.push(bunCheck("executable", "PASS", `Resolved Bun ${bunVersion}.`));
55
+ try {
56
+ await dependencies.probeDependencies();
57
+ }
58
+ catch {
59
+ checks.push(bunCheck("dependencies", "BLOCKED", "The Bun test module could not be loaded.", "RUNTIME_BUN_DEPENDENCY_UNAVAILABLE", "Repair the Bun installation and rerun runtime doctor."));
60
+ return finishBunDoctor(repositoryRoot, checks, "bun:test", bunVersion);
61
+ }
62
+ checks.push(bunCheck("dependencies", "PASS", "bun:test is available."));
63
+ try {
64
+ await dependencies.probeTemporaryWorkspace();
65
+ }
66
+ catch {
67
+ checks.push(bunCheck("temporary-workspace", "BLOCKED", "A disposable runtime workspace could not be created and cleaned up.", "RUNTIME_TEMPORARY_WORKSPACE_UNAVAILABLE", "Grant access to the operating-system temporary directory."));
68
+ return finishBunDoctor(repositoryRoot, checks, "bun:test", bunVersion);
69
+ }
70
+ checks.push(bunCheck("temporary-workspace", "PASS", "Disposable workspace is available."));
71
+ try {
72
+ await dependencies.runSyntheticPreflight();
73
+ }
74
+ catch {
75
+ checks.push(bunCheck("synthetic-preflight", "BLOCKED", "Bun callback or assertion probes failed.", "RUNTIME_BUN_PREFLIGHT_FAILED", "Reinstall AssertLedger and rerun runtime doctor."));
76
+ return finishBunDoctor(repositoryRoot, checks, "bun:test", bunVersion);
77
+ }
78
+ checks.push(bunCheck("synthetic-preflight", "PASS", "Bun callback probes passed."));
79
+ return finishBunDoctor(repositoryRoot, checks, "bun:test", bunVersion);
80
+ }
3
81
  const LIMITATIONS = [
4
82
  "Runtime doctor uses controlled synthetic node:test probes and does not run repository tests or prove campaign evidence.",
5
83
  ];
@@ -1 +1 @@
1
- {"version":3,"file":"runtime-doctor.js","sourceRoot":"","sources":["../../src/engine/runtime-doctor.ts"],"names":[],"mappings":"AACA,OAAO,EACL,wBAAwB,GAGzB,MAAM,gCAAgC,CAAC;AAGxC,OAAO,EACL,wBAAwB,EACxB,wBAAwB,EACxB,6BAA6B,EAC7B,yBAAyB,GAC1B,MAAM,gCAAgC,CAAC;AAUxC,MAAM,WAAW,GAAG;IAClB,yHAAyH;CACjH,CAAC;AAEX,SAAS,KAAK,CACZ,EAA4B,EAC5B,MAAoC,EACpC,OAAe,EACf,UAAU,GAAqC,IAAI,EACnD,UAAU,GAAkB,IAAI;IAEhC,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;AACzD,CAAC;AAED,SAAS,MAAM,CACb,cAAsB,EACtB,MAA4B,EAC5B,OAA2B,EAC3B,WAA0B;IAE1B,MAAM,WAAW,GAAG,MAAM;SACvB,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;SAC9F,MAAM,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,KAAK,CAAC;SAC3E,IAAI,EAAE,CAAC;IACV,OAAO,wBAAwB,CAAC;QAC9B,aAAa,EAAE,OAAO;QACtB,MAAM,EAAE,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;QACtD,aAAa,EAAE,2BAA2B;QAC1C,cAAc;QACd,OAAO;QACP,WAAW;QACX,MAAM;QACN,WAAW;QACX,WAAW,EAAE,CAAC,GAAG,WAAW,CAAC;KAC9B,CAAC,CAAC;AACL,CAAC;AAED,SAAS,MAAM,CACb,cAAsB,EACtB,MAA4B,EAC5B,OAAO,GAAuB,IAAI,EAClC,WAAW,GAAkB,IAAI;IAEjC,OAAO,MAAM,CACX,cAAc,EACd;QACE,GAAG,MAAM;QACT,KAAK,CACH,qBAAqB,EACrB,YAAY,EACZ,WAAW,CAAC,CAAC,CAAC,EACd,uCAAuC,EACvC,+FAA+F,CAChG;KACF,EACD,OAAO,EACP,WAAW,CACZ,CAAC;AACJ,CAAC;AAED,mFAAmF;AACnF,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC1C,cAAsB,EACtB,oBAA6B,EAC7B,YAAuC;IAEvC,MAAM,MAAM,GAAyB,EAAE,CAAC;IACxC,IAAI,oBAAoB,KAAK,IAAI,EAAE,CAAC;QAClC,MAAM,CAAC,IAAI,CACT,KAAK,CACH,eAAe,EACf,SAAS,EACT,yGAAyG,EACzG,kCAAkC,EAClC,oFAAoF,CACrF,CACF,CAAC;QACF,OAAO,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IACxC,CAAC;IACD,MAAM,CAAC,IAAI,CACT,KAAK,CACH,eAAe,EACf,MAAM,EACN,sEAAsE,CACvE,CACF,CAAC;IAEF,IAAI,aAAmC,CAAC;IACxC,IAAI,CAAC;QACH,aAAa,GAAG,MAAM,YAAY,CAAC,oBAAoB,EAAE,CAAC;IAC5D,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,CAAC,IAAI,CACT,KAAK,CACH,eAAe,EACf,SAAS,EACT,yDAAyD,EACzD,mCAAmC,EACnC,oEAAoE,CACrE,CACF,CAAC;QACF,OAAO,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IACxC,CAAC;IACD,IAAI,aAAa,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;QACzC,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,KAAK,cAAc,IAAI,aAAa,CAAC,MAAM,KAAK,SAAS,CAAC;QAC5F,MAAM,CAAC,IAAI,CACT,KAAK,CACH,eAAe,EACf,SAAS,EACT,KAAK;YACH,CAAC,CAAC,4EAA4E;YAC9E,CAAC,CAAC,sDAAsD,EAC1D,KAAK,CAAC,CAAC,CAAC,6BAA6B,CAAC,CAAC,CAAC,+BAA+B,EACvE,wFAAwF,CACzF,CACF,CAAC;QACF,OAAO,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IACxC,CAAC;IACD,MAAM,CAAC,IAAI,CACT,KAAK,CAAC,eAAe,EAAE,MAAM,EAAE,2DAA2D,CAAC,CAC5F,CAAC;IAEF,IACE,aAAa,CAAC,UAAU,CAAC,SAAS,KAAK,WAAW;QAClD,aAAa,CAAC,UAAU,CAAC,qBAAqB,KAAK,WAAW,EAC9D,CAAC;QACD,MAAM,CAAC,IAAI,CACT,KAAK,CACH,SAAS,EACT,SAAS,EACT,4EAA4E,EAC5E,6BAA6B,EAC7B,yEAAyE,CAC1E,CACF,CAAC;QACF,OAAO,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IACxC,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,MAAM,EAAE,wDAAwD,CAAC,CAAC,CAAC;IAEhG,IAAI,WAAmB,CAAC;IACxB,IAAI,CAAC;QACH,CAAC,EAAE,WAAW,EAAE,GAAG,MAAM,YAAY,CAAC,eAAe,EAAE,CAAC,CAAC;IAC3D,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,WAAW,GAAG,KAAK,YAAY,KAAK,IAAI,KAAK,CAAC,OAAO,KAAK,+BAA+B,CAAC;QAChG,MAAM,CAAC,IAAI,CACT,KAAK,CACH,YAAY,EACZ,SAAS,EACT,WAAW;YACT,CAAC,CAAC,8CAA8C;YAChD,CAAC,CAAC,+DAA+D,EACnE,WAAW,CAAC,CAAC,CAAC,kCAAkC,CAAC,CAAC,CAAC,gCAAgC,EACnF,0DAA0D,CAC3D,CACF,CAAC;QACF,OAAO,MAAM,CAAC,cAAc,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;IACrD,CAAC;IACD,MAAM,CAAC,IAAI,CACT,KAAK,CAAC,YAAY,EAAE,MAAM,EAAE,gCAAgC,WAAW,cAAc,CAAC,CACvF,CAAC;IAEF,IAAI,CAAC;QACH,MAAM,YAAY,CAAC,iBAAiB,EAAE,CAAC;IACzC,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,CAAC,IAAI,CACT,KAAK,CACH,cAAc,EACd,SAAS,EACT,mFAAmF,EACnF,gCAAgC,EAChC,2DAA2D,CAC5D,CACF,CAAC;QACF,OAAO,MAAM,CAAC,cAAc,EAAE,MAAM,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;IAClE,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,cAAc,EAAE,MAAM,EAAE,iDAAiD,CAAC,CAAC,CAAC;IAE9F,IAAI,CAAC;QACH,MAAM,YAAY,CAAC,uBAAuB,EAAE,CAAC;IAC/C,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,CAAC,IAAI,CACT,KAAK,CACH,qBAAqB,EACrB,SAAS,EACT,+EAA+E,EAC/E,yCAAyC,EACzC,4EAA4E,CAC7E,CACF,CAAC;QACF,OAAO,MAAM,CAAC,cAAc,EAAE,MAAM,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;IAClE,CAAC;IACD,MAAM,CAAC,IAAI,CACT,KAAK,CAAC,qBAAqB,EAAE,MAAM,EAAE,oDAAoD,CAAC,CAC3F,CAAC;IAEF,IAAI,CAAC;QACH,MAAM,YAAY,CAAC,qBAAqB,EAAE,CAAC;IAC7C,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,CAAC,IAAI,CACT,KAAK,CACH,qBAAqB,EACrB,SAAS,EACT,yEAAyE,EACzE,0BAA0B,EAC1B,6EAA6E,CAC9E,CACF,CAAC;QACF,OAAO,MAAM,CAAC,cAAc,EAAE,MAAM,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;IAClE,CAAC;IACD,MAAM,CAAC,IAAI,CACT,KAAK,CACH,qBAAqB,EACrB,MAAM,EACN,uGAAuG,CACxG,CACF,CAAC;IAEF,OAAO,MAAM,CAAC,cAAc,EAAE,MAAM,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;AAClE,CAAC"}
1
+ {"version":3,"file":"runtime-doctor.js","sourceRoot":"","sources":["../../src/engine/runtime-doctor.ts"],"names":[],"mappings":"AACA,OAAO,EACL,wBAAwB,EACxB,0BAA0B,GAK3B,MAAM,gCAAgC,CAAC;AAOxC,OAAO,EACL,wBAAwB,EACxB,wBAAwB,EACxB,6BAA6B,EAC7B,yBAAyB,EACzB,2BAA2B,GAC5B,MAAM,gCAAgC,CAAC;AASxC,MAAM,cAAc,GAClB,4HAAqI,CAAC;AAExI,SAAS,QAAQ,CACf,EAA8B,EAC9B,MAAsC,EACtC,OAAe,EACf,UAAU,GAAuC,IAAI,EACrD,UAAU,GAAkB,IAAI;IAEhC,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;AACzD,CAAC;AAED,SAAS,eAAe,CACtB,cAAsB,EACtB,MAA8B,EAC9B,OAA0B,EAC1B,UAAyB;IAEzB,MAAM,WAAW,GAAG,MAAM;SACvB,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;SAC9F,MAAM,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC;SAC/D,IAAI,EAAE,CAAC;IACV,OAAO,0BAA0B,CAAC;QAChC,aAAa,EAAE,OAAO;QACtB,MAAM,EAAE,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;QACtD,aAAa,EAAE,2BAA2B;QAC1C,cAAc;QACd,OAAO;QACP,WAAW,EAAE,IAAI;QACjB,UAAU;QACV,MAAM,EAAE;YACN,GAAG,MAAM;YACT,QAAQ,CACN,qBAAqB,EACrB,YAAY,EACZ,cAAc,EACd,uCAAuC,EACvC,qEAAqE,CACtE;SACF;QACD,WAAW;QACX,WAAW,EAAE,CAAC,cAAc,CAAC;KAC9B,CAAC,CAAC;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,cAAsB,EACtB,aAAqC,EACrC,YAA0C;IAE1C,MAAM,MAAM,GAA2B;QACrC,QAAQ,CAAC,eAAe,EAAE,MAAM,EAAE,2DAA2D,CAAC;KAC/F,CAAC;IACF,IAAI,aAAa,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;QACzC,MAAM,CAAC,IAAI,CACT,QAAQ,CACN,eAAe,EACf,SAAS,EACT,mEAAmE,EACnE,aAAa,CAAC,MAAM,KAAK,cAAc,IAAI,aAAa,CAAC,MAAM,KAAK,SAAS;YAC3E,CAAC,CAAC,6BAA6B;YAC/B,CAAC,CAAC,+BAA+B,EACnC,sEAAsE,CACvE,CACF,CAAC;QACF,OAAO,eAAe,CAAC,cAAc,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC7D,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,eAAe,EAAE,MAAM,EAAE,iDAAiD,CAAC,CAAC,CAAC;IAClG,IACE,aAAa,CAAC,UAAU,CAAC,SAAS,KAAK,UAAU;QACjD,aAAa,CAAC,UAAU,CAAC,qBAAqB,KAAK,UAAU,EAC7D,CAAC;QACD,MAAM,CAAC,IAAI,CACT,QAAQ,CACN,SAAS,EACT,SAAS,EACT,6DAA6D,EAC7D,6BAA6B,EAC7B,uDAAuD,CACxD,CACF,CAAC;QACF,OAAO,eAAe,CAAC,cAAc,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC7D,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,EAAE,8CAA8C,CAAC,CAAC,CAAC;IAEzF,IAAI,UAAkB,CAAC;IACvB,IAAI,CAAC;QACH,CAAC,EAAE,UAAU,EAAE,GAAG,MAAM,YAAY,CAAC,eAAe,EAAE,CAAC,CAAC;IAC1D,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,WAAW,GAAG,KAAK,YAAY,KAAK,IAAI,KAAK,CAAC,OAAO,KAAK,8BAA8B,CAAC;QAC/F,MAAM,CAAC,IAAI,CACT,QAAQ,CACN,YAAY,EACZ,SAAS,EACT,WAAW,CAAC,CAAC,CAAC,0CAA0C,CAAC,CAAC,CAAC,qBAAqB,EAChF,WAAW,CAAC,CAAC,CAAC,iCAAiC,CAAC,CAAC,CAAC,oCAAoC,EACtF,6DAA6D,CAC9D,CACF,CAAC;QACF,OAAO,eAAe,CAAC,cAAc,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;IACnE,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,EAAE,MAAM,EAAE,gBAAgB,UAAU,GAAG,CAAC,CAAC,CAAC;IAC3E,IAAI,CAAC;QACH,MAAM,YAAY,CAAC,iBAAiB,EAAE,CAAC;IACzC,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,CAAC,IAAI,CACT,QAAQ,CACN,cAAc,EACd,SAAS,EACT,0CAA0C,EAC1C,oCAAoC,EACpC,uDAAuD,CACxD,CACF,CAAC;QACF,OAAO,eAAe,CAAC,cAAc,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;IACzE,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,cAAc,EAAE,MAAM,EAAE,wBAAwB,CAAC,CAAC,CAAC;IACxE,IAAI,CAAC;QACH,MAAM,YAAY,CAAC,uBAAuB,EAAE,CAAC;IAC/C,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,CAAC,IAAI,CACT,QAAQ,CACN,qBAAqB,EACrB,SAAS,EACT,qEAAqE,EACrE,yCAAyC,EACzC,2DAA2D,CAC5D,CACF,CAAC;QACF,OAAO,eAAe,CAAC,cAAc,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;IACzE,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,qBAAqB,EAAE,MAAM,EAAE,oCAAoC,CAAC,CAAC,CAAC;IAC3F,IAAI,CAAC;QACH,MAAM,YAAY,CAAC,qBAAqB,EAAE,CAAC;IAC7C,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,CAAC,IAAI,CACT,QAAQ,CACN,qBAAqB,EACrB,SAAS,EACT,0CAA0C,EAC1C,8BAA8B,EAC9B,kDAAkD,CACnD,CACF,CAAC;QACF,OAAO,eAAe,CAAC,cAAc,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;IACzE,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,qBAAqB,EAAE,MAAM,EAAE,6BAA6B,CAAC,CAAC,CAAC;IACpF,OAAO,eAAe,CAAC,cAAc,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;AACzE,CAAC;AAUD,MAAM,WAAW,GAAG;IAClB,yHAAyH;CACjH,CAAC;AAEX,SAAS,KAAK,CACZ,EAA4B,EAC5B,MAAoC,EACpC,OAAe,EACf,UAAU,GAAqC,IAAI,EACnD,UAAU,GAAkB,IAAI;IAEhC,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;AACzD,CAAC;AAED,SAAS,MAAM,CACb,cAAsB,EACtB,MAA4B,EAC5B,OAA2B,EAC3B,WAA0B;IAE1B,MAAM,WAAW,GAAG,MAAM;SACvB,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;SAC9F,MAAM,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,KAAK,CAAC;SAC3E,IAAI,EAAE,CAAC;IACV,OAAO,wBAAwB,CAAC;QAC9B,aAAa,EAAE,OAAO;QACtB,MAAM,EAAE,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;QACtD,aAAa,EAAE,2BAA2B;QAC1C,cAAc;QACd,OAAO;QACP,WAAW;QACX,MAAM;QACN,WAAW;QACX,WAAW,EAAE,CAAC,GAAG,WAAW,CAAC;KAC9B,CAAC,CAAC;AACL,CAAC;AAED,SAAS,MAAM,CACb,cAAsB,EACtB,MAA4B,EAC5B,OAAO,GAAuB,IAAI,EAClC,WAAW,GAAkB,IAAI;IAEjC,OAAO,MAAM,CACX,cAAc,EACd;QACE,GAAG,MAAM;QACT,KAAK,CACH,qBAAqB,EACrB,YAAY,EACZ,WAAW,CAAC,CAAC,CAAC,EACd,uCAAuC,EACvC,+FAA+F,CAChG;KACF,EACD,OAAO,EACP,WAAW,CACZ,CAAC;AACJ,CAAC;AAED,mFAAmF;AACnF,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC1C,cAAsB,EACtB,oBAA6B,EAC7B,YAAuC;IAEvC,MAAM,MAAM,GAAyB,EAAE,CAAC;IACxC,IAAI,oBAAoB,KAAK,IAAI,EAAE,CAAC;QAClC,MAAM,CAAC,IAAI,CACT,KAAK,CACH,eAAe,EACf,SAAS,EACT,yGAAyG,EACzG,kCAAkC,EAClC,oFAAoF,CACrF,CACF,CAAC;QACF,OAAO,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IACxC,CAAC;IACD,MAAM,CAAC,IAAI,CACT,KAAK,CACH,eAAe,EACf,MAAM,EACN,sEAAsE,CACvE,CACF,CAAC;IAEF,IAAI,aAAmC,CAAC;IACxC,IAAI,CAAC;QACH,aAAa,GAAG,MAAM,YAAY,CAAC,oBAAoB,EAAE,CAAC;IAC5D,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,CAAC,IAAI,CACT,KAAK,CACH,eAAe,EACf,SAAS,EACT,yDAAyD,EACzD,mCAAmC,EACnC,oEAAoE,CACrE,CACF,CAAC;QACF,OAAO,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IACxC,CAAC;IACD,IAAI,aAAa,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;QACzC,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,KAAK,cAAc,IAAI,aAAa,CAAC,MAAM,KAAK,SAAS,CAAC;QAC5F,MAAM,CAAC,IAAI,CACT,KAAK,CACH,eAAe,EACf,SAAS,EACT,KAAK;YACH,CAAC,CAAC,4EAA4E;YAC9E,CAAC,CAAC,sDAAsD,EAC1D,KAAK,CAAC,CAAC,CAAC,6BAA6B,CAAC,CAAC,CAAC,+BAA+B,EACvE,wFAAwF,CACzF,CACF,CAAC;QACF,OAAO,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IACxC,CAAC;IACD,MAAM,CAAC,IAAI,CACT,KAAK,CAAC,eAAe,EAAE,MAAM,EAAE,2DAA2D,CAAC,CAC5F,CAAC;IAEF,IACE,aAAa,CAAC,UAAU,CAAC,SAAS,KAAK,WAAW;QAClD,aAAa,CAAC,UAAU,CAAC,qBAAqB,KAAK,WAAW,EAC9D,CAAC;QACD,MAAM,CAAC,IAAI,CACT,KAAK,CACH,SAAS,EACT,SAAS,EACT,4EAA4E,EAC5E,6BAA6B,EAC7B,yEAAyE,CAC1E,CACF,CAAC;QACF,OAAO,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IACxC,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,MAAM,EAAE,wDAAwD,CAAC,CAAC,CAAC;IAEhG,IAAI,WAAmB,CAAC;IACxB,IAAI,CAAC;QACH,CAAC,EAAE,WAAW,EAAE,GAAG,MAAM,YAAY,CAAC,eAAe,EAAE,CAAC,CAAC;IAC3D,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,WAAW,GAAG,KAAK,YAAY,KAAK,IAAI,KAAK,CAAC,OAAO,KAAK,+BAA+B,CAAC;QAChG,MAAM,CAAC,IAAI,CACT,KAAK,CACH,YAAY,EACZ,SAAS,EACT,WAAW;YACT,CAAC,CAAC,8CAA8C;YAChD,CAAC,CAAC,+DAA+D,EACnE,WAAW,CAAC,CAAC,CAAC,kCAAkC,CAAC,CAAC,CAAC,gCAAgC,EACnF,0DAA0D,CAC3D,CACF,CAAC;QACF,OAAO,MAAM,CAAC,cAAc,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;IACrD,CAAC;IACD,MAAM,CAAC,IAAI,CACT,KAAK,CAAC,YAAY,EAAE,MAAM,EAAE,gCAAgC,WAAW,cAAc,CAAC,CACvF,CAAC;IAEF,IAAI,CAAC;QACH,MAAM,YAAY,CAAC,iBAAiB,EAAE,CAAC;IACzC,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,CAAC,IAAI,CACT,KAAK,CACH,cAAc,EACd,SAAS,EACT,mFAAmF,EACnF,gCAAgC,EAChC,2DAA2D,CAC5D,CACF,CAAC;QACF,OAAO,MAAM,CAAC,cAAc,EAAE,MAAM,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;IAClE,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,cAAc,EAAE,MAAM,EAAE,iDAAiD,CAAC,CAAC,CAAC;IAE9F,IAAI,CAAC;QACH,MAAM,YAAY,CAAC,uBAAuB,EAAE,CAAC;IAC/C,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,CAAC,IAAI,CACT,KAAK,CACH,qBAAqB,EACrB,SAAS,EACT,+EAA+E,EAC/E,yCAAyC,EACzC,4EAA4E,CAC7E,CACF,CAAC;QACF,OAAO,MAAM,CAAC,cAAc,EAAE,MAAM,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;IAClE,CAAC;IACD,MAAM,CAAC,IAAI,CACT,KAAK,CAAC,qBAAqB,EAAE,MAAM,EAAE,oDAAoD,CAAC,CAC3F,CAAC;IAEF,IAAI,CAAC;QACH,MAAM,YAAY,CAAC,qBAAqB,EAAE,CAAC;IAC7C,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,CAAC,IAAI,CACT,KAAK,CACH,qBAAqB,EACrB,SAAS,EACT,yEAAyE,EACzE,0BAA0B,EAC1B,6EAA6E,CAC9E,CACF,CAAC;QACF,OAAO,MAAM,CAAC,cAAc,EAAE,MAAM,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;IAClE,CAAC;IACD,MAAM,CAAC,IAAI,CACT,KAAK,CACH,qBAAqB,EACrB,MAAM,EACN,uGAAuG,CACxG,CACF,CAAC;IAEF,OAAO,MAAM,CAAC,cAAc,EAAE,MAAM,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;AAClE,CAAC"}
@@ -1 +1 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/mcp/index.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,SAAS,EAAE,MAAM,8BAA8B,CAAC;AA4CzD,MAAM,WAAW,yBAAyB;IACxC,oGAAoG;IACpG,oBAAoB,CAAC,EAAE,OAAO,CAAC;IAC/B,wEAAwE;IACxE,sBAAsB,CAAC,EAAE,MAAM,EAAE,CAAC;CACnC;AAED,wFAAwF;AACxF,MAAM,MAAM,sBAAsB,GAAG,yBAAyB,CAAC;AAE/D,wBAAgB,wBAAwB,CAAC,OAAO,GAAE,yBAA8B,GAAG,SAAS,CAmhB3F;AAED,uFAAuF;AACvF,eAAO,MAAM,qBAAqB,iCAA2B,CAAC"}
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/mcp/index.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,SAAS,EAAE,MAAM,8BAA8B,CAAC;AAgDzD,MAAM,WAAW,yBAAyB;IACxC,oGAAoG;IACpG,oBAAoB,CAAC,EAAE,OAAO,CAAC;IAC/B,wEAAwE;IACxE,sBAAsB,CAAC,EAAE,MAAM,EAAE,CAAC;CACnC;AAED,wFAAwF;AACxF,MAAM,MAAM,sBAAsB,GAAG,yBAAyB,CAAC;AAE/D,wBAAgB,wBAAwB,CAAC,OAAO,GAAE,yBAA8B,GAAG,SAAS,CA2jB3F;AAED,uFAAuF;AACvF,eAAO,MAAM,qBAAqB,iCAA2B,CAAC"}
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: doctorInputSchema,
67
- outputSchema: RepositoryInitResultSchema,
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
  });
@@ -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"}
@@ -0,0 +1,21 @@
1
+ import { type EvidenceBinding } from "./model.js";
2
+ import { type AssurancePlan } from "./plan.js";
3
+ export interface CarryOverEntry {
4
+ kind: string;
5
+ binding: EvidenceBinding;
6
+ surfaces: string[];
7
+ reason: string;
8
+ }
9
+ /**
10
+ * Which required evidence of `next` may reuse evidence produced for `previous`, and which must be
11
+ * produced again. The planner states the admissibility rule; AssertLedger must still check that
12
+ * the reused evidence exists and carries the listed digests.
13
+ */
14
+ export interface EvidenceCarryOver {
15
+ previousRevision: string;
16
+ nextRevision: string;
17
+ reusable: CarryOverEntry[];
18
+ mustProduce: CarryOverEntry[];
19
+ }
20
+ export declare function carryOverEvidence(previous: AssurancePlan, next: AssurancePlan): EvidenceCarryOver;
21
+ //# sourceMappingURL=carry-over.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"carry-over.d.ts","sourceRoot":"","sources":["../../src/proof-planner/carry-over.ts"],"names":[],"mappings":"AAAA,OAAO,EAAkB,KAAK,eAAe,EAAgB,MAAM,YAAY,CAAC;AAChF,OAAO,EACL,KAAK,aAAa,EAKnB,MAAM,WAAW,CAAC;AAEnB,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,eAAe,CAAC;IACzB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;;;GAIG;AACH,MAAM,WAAW,iBAAiB;IAChC,gBAAgB,EAAE,MAAM,CAAC;IACzB,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,cAAc,EAAE,CAAC;IAC3B,WAAW,EAAE,cAAc,EAAE,CAAC;CAC/B;AAED,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,GAAG,iBAAiB,CAsGjG"}
@@ -0,0 +1,212 @@
1
+ import { compareOrdinal, sortedUnique } from "./model.js";
2
+ import { isUnresolvedSignal, } from "./plan.js";
3
+ export function carryOverEvidence(previous, next) {
4
+ const reusable = [];
5
+ const mustProduce = [];
6
+ const sameBaseline = previous.subject.baseline === next.subject.baseline;
7
+ const sameRevision = previous.subject.revision === next.subject.revision;
8
+ const runtimeTree = sameRuntimeTree(previous, next);
9
+ // Evidence is not reused on the surfaces that an unresolved signal may concern, read in both
10
+ // plans: across revisions, one observed beside it or one the next plan observes; within one
11
+ // revision, only an observation the previous plan did not already have, since evidence produced
12
+ // beside an observation answers it. The planner uses the same notion of "unresolved".
13
+ const previousUnresolved = previous.signals.filter(isUnresolvedSignal);
14
+ const answered = new Set(previousUnresolved.map(observationKey));
15
+ const unresolved = [
16
+ ...(sameRevision ? [] : previousUnresolved),
17
+ ...next.signals.filter((signal) => isUnresolvedSignal(signal) && !(sameRevision && answered.has(observationKey(signal)))),
18
+ ].map((signal) => ({ id: signal.id, surfaces: concernedInEither(previous, next, signal) }));
19
+ const unresolvedOn = (surface) => {
20
+ const blocking = unresolved.filter((entry) => surface === null || entry.surfaces === null || entry.surfaces.has(surface));
21
+ return blocking.length > 0
22
+ ? `a signal is unresolved (${sortedUnique(blocking.map((entry) => entry.id)).join(", ")})`
23
+ : null;
24
+ };
25
+ // Evidence that answers observations answers only those it was produced for.
26
+ const answersOther = (requirement, earlier, surface) => {
27
+ const seen = observationsBehind(previous, earlier, surface);
28
+ const behind = observationsBehind(next, requirement, surface);
29
+ if (seen === null || behind === null)
30
+ return "an observation behind it is not in the plan";
31
+ return [...behind].some((key) => !seen.has(key))
32
+ ? "it answers an observation the earlier evidence did not"
33
+ : null;
34
+ };
35
+ for (const requirement of next.requiredEvidence) {
36
+ const earlier = previous.requiredEvidence.find((candidate) => candidate.kind === requirement.kind &&
37
+ candidate.semanticDigest === requirement.semanticDigest);
38
+ const entry = (surfaces, reason) => ({
39
+ kind: requirement.kind,
40
+ binding: requirement.binding,
41
+ surfaces: sortedUnique(surfaces),
42
+ reason,
43
+ });
44
+ if (!earlier) {
45
+ mustProduce.push(entry(requirement.surfaces, "not required with the same meaning before"));
46
+ continue;
47
+ }
48
+ if (!sameBaseline) {
49
+ mustProduce.push(entry(requirement.surfaces, "the merge-base changed"));
50
+ continue;
51
+ }
52
+ if (requirement.binding === "runtime-tree") {
53
+ const blocker = runtimeTree
54
+ ? (unresolvedOn(null) ?? answersOther(requirement, earlier, null))
55
+ : "runtime tree changed or unknown";
56
+ if (blocker === null)
57
+ reusable.push(entry(requirement.surfaces, "runtime tree unchanged"));
58
+ else
59
+ mustProduce.push(entry(requirement.surfaces, blocker));
60
+ continue;
61
+ }
62
+ // Revision-wide evidence: exact-revision kinds, a property of the revision itself, and
63
+ // surface-content kinds without a scope, which a new observation can still contradict.
64
+ if (requirement.binding === "exact-revision" || requirement.surfaces.length === 0) {
65
+ const blocker = !sameRevision
66
+ ? "bound to the exact revision"
67
+ : requirement.binding === "exact-revision"
68
+ ? null
69
+ : (unresolvedOn(null) ?? answersOther(requirement, earlier, null));
70
+ if (blocker === null)
71
+ reusable.push(entry(requirement.surfaces, "same revision"));
72
+ else
73
+ mustProduce.push(entry(requirement.surfaces, blocker));
74
+ continue;
75
+ }
76
+ const kept = [];
77
+ const changed = new Map();
78
+ for (const surface of requirement.surfaces) {
79
+ const reason = surfaceReuseBlocker(previous, next, requirement, earlier, surface, runtimeTree) ??
80
+ unresolvedOn(surface) ??
81
+ answersOther(requirement, earlier, surface);
82
+ if (reason === null)
83
+ kept.push(surface);
84
+ else
85
+ changed.set(reason, [...(changed.get(reason) ?? []), surface]);
86
+ }
87
+ if (kept.length > 0)
88
+ reusable.push(entry(kept, "scoped surfaces and their tests unchanged"));
89
+ for (const [reason, surfaces] of changed)
90
+ mustProduce.push(entry(surfaces, reason));
91
+ }
92
+ const order = (left, right) => compareOrdinal(`${left.kind}|${left.reason}`, `${right.kind}|${right.reason}`);
93
+ return {
94
+ previousRevision: previous.subject.revision,
95
+ nextRevision: next.subject.revision,
96
+ reusable: reusable.sort(order),
97
+ mustProduce: mustProduce.sort(order),
98
+ };
99
+ }
100
+ /**
101
+ * Surfaces an unresolved signal may concern, or null for all of them. A failing proof surface
102
+ * concerns what it exercises; a failure that cannot be mapped, an execution context, or a proof
103
+ * surface that does not list what it exercises, concerns everything.
104
+ */
105
+ function concernedSurfaces(plan, signal) {
106
+ if (signal.surfaces.length === 0)
107
+ return null;
108
+ const concerned = new Set(signal.surfaces);
109
+ for (const id of signal.surfaces) {
110
+ const known = plan.subject.surfaces.find((entry) => entry.id === id);
111
+ if (!known || known.role === "execution-context")
112
+ return null;
113
+ if (known.role !== "test" && known.role !== "proof-infrastructure")
114
+ continue;
115
+ if (known.exercises === null)
116
+ return null;
117
+ for (const exercised of known.exercises)
118
+ concerned.add(exercised);
119
+ }
120
+ return concerned;
121
+ }
122
+ /** What a signal may concern in either plan: everything as soon as one of them cannot map it. */
123
+ function concernedInEither(previous, next, signal) {
124
+ const before = concernedSurfaces(previous, signal);
125
+ const after = concernedSurfaces(next, signal);
126
+ // Where the two sets differ, what exercises that surface changed, which blocks reuse on its own.
127
+ return before === null || after === null ? null : new Set([...before, ...after]);
128
+ }
129
+ /** One observation: evidence produced for one report never answers another. */
130
+ function observationKey(signal) {
131
+ return JSON.stringify([
132
+ signal.id,
133
+ signal.revision,
134
+ signal.signal,
135
+ signal.classification,
136
+ signal.exercises,
137
+ [...signal.basis].sort(),
138
+ [...signal.surfaces].sort(),
139
+ ]);
140
+ }
141
+ /**
142
+ * Observations behind a requirement on a surface, or behind all of it for null. Null when a fact
143
+ * names a signal the plan does not list, since what it observed cannot be compared.
144
+ */
145
+ function observationsBehind(plan, requirement, surface) {
146
+ const keys = new Set();
147
+ for (const fact of plan.facts) {
148
+ if (!fact.id.startsWith("observed:") || !requirement.because.includes(fact.id))
149
+ continue;
150
+ // A fact merges the surfaces of every signal behind it: scope each observation by its own.
151
+ for (const ref of fact.refs) {
152
+ const signal = plan.signals.find((entry) => entry.id === ref);
153
+ if (!signal)
154
+ return null;
155
+ const scope = signal.surfaces;
156
+ if (surface !== null && scope.length > 0 && !scope.includes(surface))
157
+ continue;
158
+ keys.add(observationKey(signal));
159
+ }
160
+ }
161
+ return keys;
162
+ }
163
+ function sameRuntimeTree(previous, next) {
164
+ const before = previous.subject.runtimeTreeDigest;
165
+ const after = next.subject.runtimeTreeDigest;
166
+ return before !== null && after !== null && before === after;
167
+ }
168
+ /**
169
+ * Only documentation-only evidence about a surface both plans call documentation ignores the
170
+ * runtime tree. A gate delta review justifies a budget with durations measured on the code the
171
+ * gate runs, and a documentation claim scoped to a runtime surface describes its behavior.
172
+ */
173
+ function dependsOnRuntimeTree(requirement, before, after) {
174
+ return (before.role !== "documentation" ||
175
+ after.role !== "documentation" ||
176
+ !requirement.subjects.every((subject) => subject === "documentation"));
177
+ }
178
+ function surfaceReuseBlocker(previous, next, requirement, earlier, surface, runtimeTree) {
179
+ if (!earlier.surfaces.includes(surface))
180
+ return "surface newly in scope";
181
+ const before = previous.subject.surfaces.find((entry) => entry.id === surface);
182
+ const after = next.subject.surfaces.find((entry) => entry.id === surface);
183
+ if (!before?.contentDigest || !after?.contentDigest)
184
+ return "surface digest unknown";
185
+ if (before.contentDigest !== after.contentDigest)
186
+ return "surface content changed";
187
+ if (dependsOnRuntimeTree(requirement, before, after) && !runtimeTree) {
188
+ return "runtime tree changed or unknown";
189
+ }
190
+ const testsBefore = exercisers(previous.subject.surfaces, surface);
191
+ const testsAfter = exercisers(next.subject.surfaces, surface);
192
+ const key = (tests) => tests.map((test) => `${test.id}=${test.contentDigest ?? "unknown"}`).join("|");
193
+ if ([...testsBefore, ...testsAfter].some((test) => test.contentDigest === null) ||
194
+ key(testsBefore) !== key(testsAfter)) {
195
+ return "a test or proof surface exercising the surface changed";
196
+ }
197
+ return null;
198
+ }
199
+ /**
200
+ * Proof surfaces that exercise `surface`: a test without an `exercises` list exercises everything;
201
+ * a proof-infrastructure surface counts where it names the surface.
202
+ */
203
+ function exercisers(surfaces, surface) {
204
+ return surfaces
205
+ .filter((entry) => (entry.role === "test" &&
206
+ (entry.exercises === null || entry.exercises.includes(surface))) ||
207
+ (entry.role === "proof-infrastructure" &&
208
+ entry.exercises !== null &&
209
+ entry.exercises.includes(surface)))
210
+ .sort((left, right) => compareOrdinal(left.id, right.id));
211
+ }
212
+ //# sourceMappingURL=carry-over.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"carry-over.js","sourceRoot":"","sources":["../../src/proof-planner/carry-over.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAwB,YAAY,EAAE,MAAM,YAAY,CAAC;AAChF,OAAO,EAGL,kBAAkB,GAGnB,MAAM,WAAW,CAAC;AAqBnB,MAAM,UAAU,iBAAiB,CAAC,QAAuB,EAAE,IAAmB;IAC5E,MAAM,QAAQ,GAAqB,EAAE,CAAC;IACtC,MAAM,WAAW,GAAqB,EAAE,CAAC;IACzC,MAAM,YAAY,GAAG,QAAQ,CAAC,OAAO,CAAC,QAAQ,KAAK,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;IACzE,MAAM,YAAY,GAAG,QAAQ,CAAC,OAAO,CAAC,QAAQ,KAAK,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;IACzE,MAAM,WAAW,GAAG,eAAe,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IACpD,6FAA6F;IAC7F,4FAA4F;IAC5F,gGAAgG;IAChG,sFAAsF;IACtF,MAAM,kBAAkB,GAAG,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC;IACvE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC;IACjE,MAAM,UAAU,GAAG;QACjB,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,kBAAkB,CAAC;QAC3C,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CACpB,CAAC,MAAM,EAAE,EAAE,CACT,kBAAkB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,YAAY,IAAI,QAAQ,CAAC,GAAG,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CACxF;KACF,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,QAAQ,EAAE,iBAAiB,CAAC,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5F,MAAM,YAAY,GAAG,CAAC,OAAsB,EAAiB,EAAE;QAC7D,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAChC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,IAAI,IAAI,KAAK,CAAC,QAAQ,KAAK,IAAI,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CACtF,CAAC;QACF,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC;YACxB,CAAC,CAAC,2BAA2B,YAAY,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;YAC1F,CAAC,CAAC,IAAI,CAAC;IACX,CAAC,CAAC;IACF,6EAA6E;IAC7E,MAAM,YAAY,GAAG,CACnB,WAAgC,EAChC,OAA4B,EAC5B,OAAsB,EACP,EAAE;QACjB,MAAM,IAAI,GAAG,kBAAkB,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;QAC5D,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;QAC9D,IAAI,IAAI,KAAK,IAAI,IAAI,MAAM,KAAK,IAAI;YAAE,OAAO,6CAA6C,CAAC;QAC3F,OAAO,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC9C,CAAC,CAAC,wDAAwD;YAC1D,CAAC,CAAC,IAAI,CAAC;IACX,CAAC,CAAC;IAEF,KAAK,MAAM,WAAW,IAAI,IAAI,CAAC,gBAAgB,EAAE,CAAC;QAChD,MAAM,OAAO,GAAG,QAAQ,CAAC,gBAAgB,CAAC,IAAI,CAC5C,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,IAAI,KAAK,WAAW,CAAC,IAAI;YACnC,SAAS,CAAC,cAAc,KAAK,WAAW,CAAC,cAAc,CAC1D,CAAC;QACF,MAAM,KAAK,GAAG,CAAC,QAAkB,EAAE,MAAc,EAAkB,EAAE,CAAC,CAAC;YACrE,IAAI,EAAE,WAAW,CAAC,IAAI;YACtB,OAAO,EAAE,WAAW,CAAC,OAAO;YAC5B,QAAQ,EAAE,YAAY,CAAC,QAAQ,CAAC;YAChC,MAAM;SACP,CAAC,CAAC;QACH,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,QAAQ,EAAE,2CAA2C,CAAC,CAAC,CAAC;YAC3F,SAAS;QACX,CAAC;QACD,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,QAAQ,EAAE,wBAAwB,CAAC,CAAC,CAAC;YACxE,SAAS;QACX,CAAC;QACD,IAAI,WAAW,CAAC,OAAO,KAAK,cAAc,EAAE,CAAC;YAC3C,MAAM,OAAO,GAAG,WAAW;gBACzB,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,WAAW,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;gBAClE,CAAC,CAAC,iCAAiC,CAAC;YACtC,IAAI,OAAO,KAAK,IAAI;gBAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,QAAQ,EAAE,wBAAwB,CAAC,CAAC,CAAC;;gBACtF,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;YAC5D,SAAS;QACX,CAAC;QACD,uFAAuF;QACvF,uFAAuF;QACvF,IAAI,WAAW,CAAC,OAAO,KAAK,gBAAgB,IAAI,WAAW,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAClF,MAAM,OAAO,GAAG,CAAC,YAAY;gBAC3B,CAAC,CAAC,6BAA6B;gBAC/B,CAAC,CAAC,WAAW,CAAC,OAAO,KAAK,gBAAgB;oBACxC,CAAC,CAAC,IAAI;oBACN,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,WAAW,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;YACvE,IAAI,OAAO,KAAK,IAAI;gBAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,QAAQ,EAAE,eAAe,CAAC,CAAC,CAAC;;gBAC7E,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;YAC5D,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAC;QAC5C,KAAK,MAAM,OAAO,IAAI,WAAW,CAAC,QAAQ,EAAE,CAAC;YAC3C,MAAM,MAAM,GACV,mBAAmB,CAAC,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,CAAC;gBAC/E,YAAY,CAAC,OAAO,CAAC;gBACrB,YAAY,CAAC,WAAW,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAC9C,IAAI,MAAM,KAAK,IAAI;gBAAE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;;gBACnC,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;QACtE,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,2CAA2C,CAAC,CAAC,CAAC;QAC7F,KAAK,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,OAAO;YAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;IACtF,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,IAAoB,EAAE,KAAqB,EAAE,EAAE,CAC5D,cAAc,CAAC,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,EAAE,EAAE,GAAG,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IACjF,OAAO;QACL,gBAAgB,EAAE,QAAQ,CAAC,OAAO,CAAC,QAAQ;QAC3C,YAAY,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ;QACnC,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC;QAC9B,WAAW,EAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC;KACrC,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAS,iBAAiB,CAAC,IAAmB,EAAE,MAA4B;IAC1E,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9C,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC3C,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QACrE,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,mBAAmB;YAAE,OAAO,IAAI,CAAC;QAC9D,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,sBAAsB;YAAE,SAAS;QAC7E,IAAI,KAAK,CAAC,SAAS,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC1C,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,SAAS;YAAE,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,iGAAiG;AACjG,SAAS,iBAAiB,CACxB,QAAuB,EACvB,IAAmB,EACnB,MAA4B;IAE5B,MAAM,MAAM,GAAG,iBAAiB,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACnD,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC9C,iGAAiG;IACjG,OAAO,MAAM,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC;AACnF,CAAC;AAED,+EAA+E;AAC/E,SAAS,cAAc,CAAC,MAA4B;IAClD,OAAO,IAAI,CAAC,SAAS,CAAC;QACpB,MAAM,CAAC,EAAE;QACT,MAAM,CAAC,QAAQ;QACf,MAAM,CAAC,MAAM;QACb,MAAM,CAAC,cAAc;QACrB,MAAM,CAAC,SAAS;QAChB,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE;QACxB,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE;KAC5B,CAAC,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,SAAS,kBAAkB,CACzB,IAAmB,EACnB,WAAgC,EAChC,OAAsB;IAEtB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC9B,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAAE,SAAS;QACzF,2FAA2F;QAC3F,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAC5B,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC;YAC9D,IAAI,CAAC,MAAM;gBAAE,OAAO,IAAI,CAAC;YACzB,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC;YAC9B,IAAI,OAAO,KAAK,IAAI,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC;gBAAE,SAAS;YAC/E,IAAI,CAAC,GAAG,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,eAAe,CAAC,QAAuB,EAAE,IAAmB;IACnE,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,iBAAiB,CAAC;IAClD,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,iBAAiB,CAAC;IAC7C,OAAO,MAAM,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,MAAM,KAAK,KAAK,CAAC;AAC/D,CAAC;AAED;;;;GAIG;AACH,SAAS,oBAAoB,CAC3B,WAAgC,EAChC,MAAmB,EACnB,KAAkB;IAElB,OAAO,CACL,MAAM,CAAC,IAAI,KAAK,eAAe;QAC/B,KAAK,CAAC,IAAI,KAAK,eAAe;QAC9B,CAAC,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,KAAK,eAAe,CAAC,CACtE,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAC1B,QAAuB,EACvB,IAAmB,EACnB,WAAgC,EAChC,OAA4B,EAC5B,OAAe,EACf,WAAoB;IAEpB,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC;QAAE,OAAO,wBAAwB,CAAC;IACzE,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,OAAO,CAAC,CAAC;IAC/E,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,OAAO,CAAC,CAAC;IAC1E,IAAI,CAAC,MAAM,EAAE,aAAa,IAAI,CAAC,KAAK,EAAE,aAAa;QAAE,OAAO,wBAAwB,CAAC;IACrF,IAAI,MAAM,CAAC,aAAa,KAAK,KAAK,CAAC,aAAa;QAAE,OAAO,yBAAyB,CAAC;IACnF,IAAI,oBAAoB,CAAC,WAAW,EAAE,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QACrE,OAAO,iCAAiC,CAAC;IAC3C,CAAC;IACD,MAAM,WAAW,GAAG,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACnE,MAAM,UAAU,GAAG,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC9D,MAAM,GAAG,GAAG,CAAC,KAAoB,EAAE,EAAE,CACnC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,IAAI,IAAI,CAAC,aAAa,IAAI,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjF,IACE,CAAC,GAAG,WAAW,EAAE,GAAG,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,KAAK,IAAI,CAAC;QAC3E,GAAG,CAAC,WAAW,CAAC,KAAK,GAAG,CAAC,UAAU,CAAC,EACpC,CAAC;QACD,OAAO,wDAAwD,CAAC;IAClE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;GAGG;AACH,SAAS,UAAU,CAAC,QAAoC,EAAE,OAAe;IACvE,OAAO,QAAQ;SACZ,MAAM,CACL,CAAC,KAAK,EAAE,EAAE,CACR,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM;QACpB,CAAC,KAAK,CAAC,SAAS,KAAK,IAAI,IAAI,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;QAClE,CAAC,KAAK,CAAC,IAAI,KAAK,sBAAsB;YACpC,KAAK,CAAC,SAAS,KAAK,IAAI;YACxB,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CACvC;SACA,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;AAC9D,CAAC"}
@@ -0,0 +1,11 @@
1
+ /**
2
+ * Internal proof planner. It decides which evidence is proportionate for a change; AssertLedger
3
+ * decides whether that evidence exists and is valid. Deliberately not exported from the package
4
+ * entry points (see docs/proof-planner.md for the extraction criteria).
5
+ */
6
+ export * from "./carry-over.js";
7
+ export * from "./model.js";
8
+ export * from "./plan.js";
9
+ export * from "./policy.js";
10
+ export * from "./render.js";
11
+ //# sourceMappingURL=index.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/proof-planner/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,cAAc,iBAAiB,CAAC;AAChC,cAAc,YAAY,CAAC;AAC3B,cAAc,WAAW,CAAC;AAC1B,cAAc,aAAa,CAAC;AAC5B,cAAc,aAAa,CAAC"}
@@ -0,0 +1,11 @@
1
+ /**
2
+ * Internal proof planner. It decides which evidence is proportionate for a change; AssertLedger
3
+ * decides whether that evidence exists and is valid. Deliberately not exported from the package
4
+ * entry points (see docs/proof-planner.md for the extraction criteria).
5
+ */
6
+ export * from "./carry-over.js";
7
+ export * from "./model.js";
8
+ export * from "./plan.js";
9
+ export * from "./policy.js";
10
+ export * from "./render.js";
11
+ //# sourceMappingURL=index.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/proof-planner/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,cAAc,iBAAiB,CAAC;AAChC,cAAc,YAAY,CAAC;AAC3B,cAAc,WAAW,CAAC;AAC1B,cAAc,aAAa,CAAC;AAC5B,cAAc,aAAa,CAAC"}