assertledger 1.0.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 (203) hide show
  1. package/CONTRIBUTING.md +31 -0
  2. package/LICENSE +21 -0
  3. package/README.fr.md +236 -0
  4. package/README.md +224 -0
  5. package/SECURITY.md +51 -0
  6. package/benchmarks/agentic-profile/README.md +15 -0
  7. package/benchmarks/agentic-profile/public/README.md +5 -0
  8. package/benchmarks/self-hosted-core/README.md +113 -0
  9. package/benchmarks/self-hosted-core/adapter.mjs +293 -0
  10. package/benchmarks/self-hosted-core/builder.ts +193 -0
  11. package/benchmarks/self-hosted-core/campaign.ts +233 -0
  12. package/benchmarks/self-hosted-core/existing-tests-builder.ts +217 -0
  13. package/benchmarks/self-hosted-core/existing-tests.ts +146 -0
  14. package/benchmarks/self-hosted-core/liveness.test.mjs +8 -0
  15. package/conformance/v1/bundle.json +104 -0
  16. package/conformance/v1/expected/canonical-order-a.json +4 -0
  17. package/conformance/v1/expected/canonical-order-b.json +4 -0
  18. package/conformance/v1/expected/create-benchmark-v1-measured.json +575 -0
  19. package/conformance/v1/expected/create-profile-v1-qualified.json +280 -0
  20. package/conformance/v1/expected/decide-collection-failure-non-kill.json +192 -0
  21. package/conformance/v1/expected/decide-compile-failure-non-kill.json +192 -0
  22. package/conformance/v1/expected/decide-infra-error-non-kill.json +192 -0
  23. package/conformance/v1/expected/decide-no-test-discovered-non-kill.json +192 -0
  24. package/conformance/v1/expected/decide-process-crash-non-kill.json +192 -0
  25. package/conformance/v1/expected/decide-timeout-non-kill.json +192 -0
  26. package/conformance/v1/expected/decide-verified.json +192 -0
  27. package/conformance/v1/expected/replay-benchmark-v1-resealed-summary-forgery.json +12 -0
  28. package/conformance/v1/expected/replay-evidence-raw-tamper.json +6 -0
  29. package/conformance/v1/expected/replay-evidence-resealed-semantic-forgery.json +6 -0
  30. package/conformance/v1/inputs/canonical-order-a.json +8 -0
  31. package/conformance/v1/inputs/canonical-order-b.json +8 -0
  32. package/conformance/v1/inputs/create-benchmark-v1-measured.json +459 -0
  33. package/conformance/v1/inputs/create-profile-v1-qualified.json +228 -0
  34. package/conformance/v1/inputs/decide-collection-failure-non-kill.json +143 -0
  35. package/conformance/v1/inputs/decide-compile-failure-non-kill.json +143 -0
  36. package/conformance/v1/inputs/decide-infra-error-non-kill.json +143 -0
  37. package/conformance/v1/inputs/decide-no-test-discovered-non-kill.json +143 -0
  38. package/conformance/v1/inputs/decide-process-crash-non-kill.json +143 -0
  39. package/conformance/v1/inputs/decide-timeout-non-kill.json +143 -0
  40. package/conformance/v1/inputs/decide-verified.json +143 -0
  41. package/conformance/v1/inputs/replay-benchmark-v1-resealed-summary-forgery.json +575 -0
  42. package/conformance/v1/inputs/replay-evidence-raw-tamper.json +201 -0
  43. package/conformance/v1/inputs/replay-evidence-resealed-semantic-forgery.json +192 -0
  44. package/conformance/v1/schemas/expected-digests.json +175 -0
  45. package/dist/cli.d.ts +9 -0
  46. package/dist/cli.d.ts.map +1 -0
  47. package/dist/cli.js +951 -0
  48. package/dist/cli.js.map +1 -0
  49. package/dist/contracts/diagnostics.d.ts +18 -0
  50. package/dist/contracts/diagnostics.d.ts.map +1 -0
  51. package/dist/contracts/diagnostics.js +13 -0
  52. package/dist/contracts/diagnostics.js.map +1 -0
  53. package/dist/contracts/index.d.ts +3908 -0
  54. package/dist/contracts/index.d.ts.map +1 -0
  55. package/dist/contracts/index.js +2569 -0
  56. package/dist/contracts/index.js.map +1 -0
  57. package/dist/contracts/runtime-doctor.d.ts +107 -0
  58. package/dist/contracts/runtime-doctor.d.ts.map +1 -0
  59. package/dist/contracts/runtime-doctor.js +91 -0
  60. package/dist/contracts/runtime-doctor.js.map +1 -0
  61. package/dist/core/index.d.ts +200 -0
  62. package/dist/core/index.d.ts.map +1 -0
  63. package/dist/core/index.js +2587 -0
  64. package/dist/core/index.js.map +1 -0
  65. package/dist/diagnostics.d.ts +7 -0
  66. package/dist/diagnostics.d.ts.map +1 -0
  67. package/dist/diagnostics.js +252 -0
  68. package/dist/diagnostics.js.map +1 -0
  69. package/dist/engine/adapters/node-test-profile.d.ts +14 -0
  70. package/dist/engine/adapters/node-test-profile.d.ts.map +1 -0
  71. package/dist/engine/adapters/node-test-profile.js +14 -0
  72. package/dist/engine/adapters/node-test-profile.js.map +1 -0
  73. package/dist/engine/adapters/node-test-runtime.d.ts +39 -0
  74. package/dist/engine/adapters/node-test-runtime.d.ts.map +1 -0
  75. package/dist/engine/adapters/node-test-runtime.js +173 -0
  76. package/dist/engine/adapters/node-test-runtime.js.map +1 -0
  77. package/dist/engine/adapters/runtime-facts.d.ts +26 -0
  78. package/dist/engine/adapters/runtime-facts.d.ts.map +1 -0
  79. package/dist/engine/adapters/runtime-facts.js +73 -0
  80. package/dist/engine/adapters/runtime-facts.js.map +1 -0
  81. package/dist/engine/connection.d.ts +22 -0
  82. package/dist/engine/connection.d.ts.map +1 -0
  83. package/dist/engine/connection.js +343 -0
  84. package/dist/engine/connection.js.map +1 -0
  85. package/dist/engine/git-regression.d.ts +25 -0
  86. package/dist/engine/git-regression.d.ts.map +1 -0
  87. package/dist/engine/git-regression.js +803 -0
  88. package/dist/engine/git-regression.js.map +1 -0
  89. package/dist/engine/index.d.ts +55 -0
  90. package/dist/engine/index.d.ts.map +1 -0
  91. package/dist/engine/index.js +2782 -0
  92. package/dist/engine/index.js.map +1 -0
  93. package/dist/engine/node-test-reporter.d.ts +2 -0
  94. package/dist/engine/node-test-reporter.d.ts.map +1 -0
  95. package/dist/engine/node-test-reporter.js +70 -0
  96. package/dist/engine/node-test-reporter.js.map +1 -0
  97. package/dist/engine/runtime-doctor.d.ts +16 -0
  98. package/dist/engine/runtime-doctor.d.ts.map +1 -0
  99. package/dist/engine/runtime-doctor.js +100 -0
  100. package/dist/engine/runtime-doctor.js.map +1 -0
  101. package/dist/evaluation/agentic-corpus.d.ts +161 -0
  102. package/dist/evaluation/agentic-corpus.d.ts.map +1 -0
  103. package/dist/evaluation/agentic-corpus.js +710 -0
  104. package/dist/evaluation/agentic-corpus.js.map +1 -0
  105. package/dist/index.d.ts +8 -0
  106. package/dist/index.d.ts.map +1 -0
  107. package/dist/index.js +8 -0
  108. package/dist/index.js.map +1 -0
  109. package/dist/mcp/index.d.ts +13 -0
  110. package/dist/mcp/index.d.ts.map +1 -0
  111. package/dist/mcp/index.js +391 -0
  112. package/dist/mcp/index.js.map +1 -0
  113. package/dist/mcp/stdio.d.ts +3 -0
  114. package/dist/mcp/stdio.d.ts.map +1 -0
  115. package/dist/mcp/stdio.js +13 -0
  116. package/dist/mcp/stdio.js.map +1 -0
  117. package/dist/sdk/index.d.ts +52 -0
  118. package/dist/sdk/index.d.ts.map +1 -0
  119. package/dist/sdk/index.js +224 -0
  120. package/dist/sdk/index.js.map +1 -0
  121. package/dist/version.d.ts +2 -0
  122. package/dist/version.d.ts.map +1 -0
  123. package/dist/version.js +10 -0
  124. package/dist/version.js.map +1 -0
  125. package/docs/adapter-protocol.md +196 -0
  126. package/docs/agentic-benchmark.md +118 -0
  127. package/docs/agentic-corpus-experiment-h3.md +89 -0
  128. package/docs/agentic-corpus-plan.md +105 -0
  129. package/docs/agentic-corpus-provenance.md +59 -0
  130. package/docs/agentic-test-profile-pilot.md +57 -0
  131. package/docs/agentic-test-profile-v2.md +116 -0
  132. package/docs/agentic-test-profile.md +274 -0
  133. package/docs/architecture.md +157 -0
  134. package/docs/ci.md +37 -0
  135. package/docs/client-connections.md +61 -0
  136. package/docs/conformance-v1.md +72 -0
  137. package/docs/decisions/0001-typescript-runtime.md +24 -0
  138. package/docs/developer-experience.md +55 -0
  139. package/docs/diagnostics.md +35 -0
  140. package/docs/distribution.md +40 -0
  141. package/docs/git-regression.md +39 -0
  142. package/docs/migration-repository-validation-order.md +35 -0
  143. package/docs/migration-testforge-to-assertledger.md +64 -0
  144. package/docs/project-intent.md +173 -0
  145. package/docs/proof-model.md +116 -0
  146. package/docs/reference.md +336 -0
  147. package/docs/release-1.0.md +63 -0
  148. package/docs/repository-audit.md +52 -0
  149. package/docs/repository-init.md +60 -0
  150. package/docs/research-basis.md +27 -0
  151. package/docs/roadmap.md +74 -0
  152. package/docs/runtime-doctor.md +65 -0
  153. package/docs/testexplora-calibration.md +71 -0
  154. package/examples/agentic-benchmark/benchmark-request.mjs +19 -0
  155. package/examples/agentic-benchmark/structured-phase-adapter-fixture.mjs +35 -0
  156. package/examples/agentic-profile/profile-benchmark.mjs +34 -0
  157. package/examples/agentic-profile/profile-manifest.mjs +28 -0
  158. package/examples/git-history/README.md +44 -0
  159. package/examples/git-history/create-demo.mjs +128 -0
  160. package/examples/git-history/escape-string-regexp/LICENSE +9 -0
  161. package/examples/git-history/escape-string-regexp/before.cjs.txt +11 -0
  162. package/examples/git-history/escape-string-regexp/fixed.cjs.txt +13 -0
  163. package/examples/git-history/escape-string-regexp/provenance.json +28 -0
  164. package/examples/node-test/repository/package.json +5 -0
  165. package/examples/node-test/repository/src/is-even.js +3 -0
  166. package/examples/node-test/repository/tests/base.test.js +6 -0
  167. package/examples/node-test/request.json +93 -0
  168. package/integrations/skill/SKILL.md +51 -0
  169. package/package.json +88 -0
  170. package/schemas/agentic-benchmark-acquisition-replay-result.v1.json +70 -0
  171. package/schemas/agentic-benchmark-acquisition-request.v1.json +564 -0
  172. package/schemas/agentic-benchmark-acquisition-result.v1.json +1409 -0
  173. package/schemas/agentic-benchmark-artifact.v1.json +1251 -0
  174. package/schemas/agentic-benchmark-replay-result.v1.json +84 -0
  175. package/schemas/agentic-benchmark-request.v1.json +1034 -0
  176. package/schemas/agentic-corpus-allocation-commitment-replay-result.v1.json +58 -0
  177. package/schemas/agentic-corpus-allocation-commitment.v1.json +141 -0
  178. package/schemas/agentic-corpus-allocation-replay-result.v1.json +34 -0
  179. package/schemas/agentic-corpus-allocation-request.v1.json +65 -0
  180. package/schemas/agentic-corpus-allocation-reveal.v1.json +66 -0
  181. package/schemas/agentic-corpus-allocation.v1.json +167 -0
  182. package/schemas/agentic-corpus-experiment-artifact.v1.json +329 -0
  183. package/schemas/agentic-corpus-experiment-plan-replay-result.v1.json +50 -0
  184. package/schemas/agentic-corpus-experiment-plan.v1.json +424 -0
  185. package/schemas/agentic-corpus-experiment-replay-request.v1.json +336 -0
  186. package/schemas/agentic-corpus-experiment-replay-result.v1.json +106 -0
  187. package/schemas/agentic-corpus-experiment-request.v1.json +204 -0
  188. package/schemas/agentic-corpus-provenance.v1.json +143 -0
  189. package/schemas/agentic-corpus-trust-policy.v1.json +133 -0
  190. package/schemas/agentic-profile-replay-result.v1.json +56 -0
  191. package/schemas/agentic-profile-replay-result.v2.json +63 -0
  192. package/schemas/agentic-profile-report.v1.json +961 -0
  193. package/schemas/agentic-profile-report.v2.json +1674 -0
  194. package/schemas/agentic-profile-request.v1.json +671 -0
  195. package/schemas/agentic-profile-request.v2.json +1338 -0
  196. package/schemas/evidence-manifest.v1.json +636 -0
  197. package/schemas/replay-result.v1.json +49 -0
  198. package/schemas/repository-analysis.v1.json +119 -0
  199. package/schemas/repository-audit.v1.json +811 -0
  200. package/schemas/repository-init-config.v1.json +183 -0
  201. package/schemas/repository-init-lock.v1.json +162 -0
  202. package/schemas/repository-init-result.v1.json +212 -0
  203. package/schemas/verification-request.v1.json +389 -0
@@ -0,0 +1,200 @@
1
+ import { type AgenticBenchmarkArtifact, type AgenticBenchmarkAcquisitionReplayResult, type AgenticBenchmarkReplayResult, type AgenticBenchmarkRequest, type AgenticCorpusAllocation, type AgenticCorpusAllocationCommitment, type AgenticCorpusAllocationCommitmentReplayResult, type AgenticCorpusAllocationReplayResult, type AgenticCorpusAllocationReveal, type AgenticCorpusAllocationRequest, type AgenticCorpusExperimentArtifact, type AgenticCorpusExperimentPlan, type AgenticCorpusExperimentPlanReplayResult, type AgenticCorpusExperimentReplayResult, type AgenticCorpusExperimentRequest, type AgenticCorpusTrustPolicy, type AgenticProfileReplayResult, type AgenticProfileReplayResultV2, type AgenticProfileReport, type AgenticProfileReportV2, type AgenticProfileRequest, type AgenticProfileRequestV2 } from "../contracts/index.js";
2
+ export type WorldKind = "REFERENCE" | "TARGET" | "NEUTRAL";
3
+ export type CandidateStatus = "ELIGIBLE" | "UNSTABLE" | "INCONCLUSIVE" | "INVALID" | "WEAK_ORACLE";
4
+ export type DecisionStatus = "VERIFIED" | "REJECTED" | "INCONCLUSIVE" | "ENGINE_ERROR";
5
+ export declare class EvidenceValidationError extends Error {
6
+ constructor(message: string, options?: ErrorOptions);
7
+ }
8
+ interface World {
9
+ id: string;
10
+ kind: WorldKind;
11
+ required: boolean;
12
+ weight: number;
13
+ }
14
+ interface Candidate {
15
+ id: string;
16
+ digest: string;
17
+ sizeBytes: number;
18
+ }
19
+ interface Observation {
20
+ runId: string;
21
+ candidateId: string | null;
22
+ worldId: string;
23
+ attempt: number;
24
+ outcome: string;
25
+ testsDiscovered: number;
26
+ candidateTestsDiscovered: number;
27
+ attributed: boolean;
28
+ durationMs?: number;
29
+ exitCode?: number | null;
30
+ stdoutDigest?: string;
31
+ stderrDigest?: string;
32
+ }
33
+ export interface EvidenceContext {
34
+ engine: {
35
+ name: string;
36
+ version: string;
37
+ };
38
+ adapter: {
39
+ name: string;
40
+ version: string;
41
+ configuration: JsonValue;
42
+ };
43
+ execution: {
44
+ isolation: string;
45
+ environmentAllowlist: string[];
46
+ budgets: JsonValue;
47
+ candidateRoots: string[];
48
+ };
49
+ worlds: Array<{
50
+ id: string;
51
+ provenance: string;
52
+ digest: string;
53
+ }>;
54
+ }
55
+ interface Policy {
56
+ policyVersion: string;
57
+ requiredAttempts: number;
58
+ minimumTargetWeightPermille: number;
59
+ maximumSelectedCandidates: number;
60
+ acceptedTargetOutcomes: string[];
61
+ }
62
+ export interface CandidateAssessment extends Candidate {
63
+ status: CandidateStatus;
64
+ killedTargetIds: string[];
65
+ targetWeightKilled: number;
66
+ gates: GateResult[];
67
+ reasonCodes: string[];
68
+ }
69
+ export type GateName = "COMPLETENESS" | "STABILITY" | "DISCOVERY" | "REFERENCE" | "NEUTRAL" | "TARGET_STRENGTH";
70
+ export interface GateResult {
71
+ name: GateName;
72
+ status: "PASSED" | "FAILED" | "NOT_RUN";
73
+ evidenceRunIds: string[];
74
+ reasonCodes: string[];
75
+ }
76
+ export interface EvidenceManifest {
77
+ schemaVersion: string;
78
+ repositoryDigest: string;
79
+ evidenceContext: EvidenceContext;
80
+ policy: Policy;
81
+ worlds: World[];
82
+ candidates: CandidateAssessment[];
83
+ observations: Observation[];
84
+ decision: {
85
+ status: DecisionStatus;
86
+ selectedCandidateIds: string[];
87
+ reasonCodes: string[];
88
+ };
89
+ decisionDigest: string;
90
+ artifactDigest: string;
91
+ }
92
+ type JsonValue = null | boolean | number | string | JsonValue[] | {
93
+ [key: string]: JsonValue;
94
+ };
95
+ export declare function canonicalize(value: unknown): string;
96
+ export declare function sha256Canonical(value: unknown): string;
97
+ export declare function selectCandidates(assessments: unknown[], maximum: number): string[];
98
+ export declare function sealManifestArtifact<T extends Record<string, unknown>>(manifest: T): T & {
99
+ artifactDigest: string;
100
+ };
101
+ export declare function decideEvidence(input: unknown): EvidenceManifest;
102
+ export declare function verifyDecisionDigest(manifest: unknown): {
103
+ valid: boolean;
104
+ };
105
+ export declare function verifyManifestIntegrity(manifest: unknown): {
106
+ valid: boolean;
107
+ decisionDigestValid: boolean;
108
+ artifactDigestValid: boolean;
109
+ };
110
+ export interface EvidenceReplayResult {
111
+ valid: boolean;
112
+ decisionDigestValid: boolean;
113
+ artifactDigestValid: boolean;
114
+ decisionSemanticsValid: boolean;
115
+ }
116
+ export declare function replayEvidenceManifest(manifest: unknown): EvidenceReplayResult;
117
+ export declare function createAgenticProfile(request: AgenticProfileRequest): AgenticProfileReport;
118
+ export declare function replayAgenticProfile(value: unknown): AgenticProfileReplayResult;
119
+ export declare function createAgenticBenchmark(request: AgenticBenchmarkRequest): AgenticBenchmarkArtifact;
120
+ export declare function replayAgenticBenchmark(value: unknown): AgenticBenchmarkReplayResult;
121
+ export declare function replayAgenticBenchmarkAcquisition(value: unknown): AgenticBenchmarkAcquisitionReplayResult;
122
+ export declare function createAgenticProfileV2(request: AgenticProfileRequestV2): AgenticProfileReportV2;
123
+ export declare function replayAgenticProfileV2(value: unknown): AgenticProfileReplayResultV2;
124
+ export declare const AGENTIC_CORPUS_ALLOCATION_ALGORITHM: "SHA256_ASCENDING_SPLIT_V1";
125
+ type AgenticCorpusAllocationProjection = Omit<AgenticCorpusAllocation, "allocationDigest">;
126
+ export declare function agenticCorpusAllocationDigest(allocation: AgenticCorpusAllocation | AgenticCorpusAllocationProjection): string;
127
+ export declare function createAgenticCorpusAllocation(request: AgenticCorpusAllocationRequest): AgenticCorpusAllocation;
128
+ export declare function replayAgenticCorpusAllocation(allocation: unknown): AgenticCorpusAllocationReplayResult;
129
+ export declare function agenticCorpusAllocationCommitmentSigningBytes(commitment: AgenticCorpusAllocationCommitment): Uint8Array;
130
+ export declare function agenticCorpusAllocationCommitmentDigest(commitment: Omit<AgenticCorpusAllocationCommitment, "commitmentDigest"> | AgenticCorpusAllocationCommitment): string;
131
+ export declare function agenticCorpusAllocationRevealDigest(reveal: Omit<AgenticCorpusAllocationReveal, "revealDigest"> | AgenticCorpusAllocationReveal): string;
132
+ export declare function agenticCorpusAllocationShareCommitmentDigest(keyId: string, secret: string): string;
133
+ export declare function agenticCorpusAllocationFinalSeedDigest(reveal: AgenticCorpusAllocationReveal): string;
134
+ export interface AgenticCorpusAllocationCommitmentSignatureResult {
135
+ valid: boolean;
136
+ principalsDistinct: boolean;
137
+ }
138
+ export interface AgenticCorpusAllocationCommitmentReplayDependencies {
139
+ verifySignatures(commitment: AgenticCorpusAllocationCommitment, policy: AgenticCorpusTrustPolicy, expectedPolicyDigest: string): AgenticCorpusAllocationCommitmentSignatureResult;
140
+ }
141
+ export interface AgenticCorpusAllocationCommitmentReplayInput {
142
+ commitment: unknown;
143
+ reveal: unknown;
144
+ allocation: unknown;
145
+ trustPolicy: unknown;
146
+ expectedTrustPolicyDigest: string;
147
+ expectedAllocationCommitmentDigest: string;
148
+ }
149
+ export declare function replayAgenticCorpusAllocationCommitment(input: Partial<AgenticCorpusAllocationCommitmentReplayInput>, dependencies?: AgenticCorpusAllocationCommitmentReplayDependencies): AgenticCorpusAllocationCommitmentReplayResult;
150
+ type ExperimentPlanProjection = Omit<AgenticCorpusExperimentPlan, "planDigest">;
151
+ export declare function agenticCorpusExperimentPlanDigest(plan: AgenticCorpusExperimentPlan | ExperimentPlanProjection): string;
152
+ export declare function agenticCorpusExperimentCommandDigest(command: AgenticCorpusExperimentPlan["commands"][number]): string;
153
+ export declare function agenticCorpusExperimentSelectedSuiteDigest(candidates: readonly {
154
+ candidateId: string;
155
+ candidateDigest: string;
156
+ }[]): string;
157
+ export declare function agenticCorpusExperimentCandidateSetDigest(candidates: readonly {
158
+ candidateId: string;
159
+ candidateDigest: string;
160
+ }[]): string;
161
+ export interface AgenticCorpusExperimentPlanReplayContext {
162
+ allocation?: AgenticCorpusAllocation;
163
+ commitment?: AgenticCorpusAllocationCommitment;
164
+ expectedTrustPolicyDigest?: string;
165
+ expectedAllocationCommitmentDigest?: string;
166
+ }
167
+ export declare function replayAgenticCorpusExperimentPlan(value: unknown, expectedExperimentPlanDigest: string, context?: AgenticCorpusExperimentPlanReplayContext): AgenticCorpusExperimentPlanReplayResult;
168
+ export interface AgenticCorpusEvidenceResolution {
169
+ valid: boolean;
170
+ missingDigests: string[];
171
+ mismatchedDigests: string[];
172
+ }
173
+ export declare function resolveAgenticCorpusExperimentEvidence(requiredDigests: readonly string[], contents: ReadonlyMap<string, string | Uint8Array>): AgenticCorpusEvidenceResolution;
174
+ type ExperimentArtifactProjection = Omit<AgenticCorpusExperimentArtifact, "artifactDigest">;
175
+ export declare function agenticCorpusExperimentArtifactDigest(artifact: AgenticCorpusExperimentArtifact | ExperimentArtifactProjection): string;
176
+ export declare function createAgenticCorpusExperimentArtifact(value: AgenticCorpusExperimentRequest, plan: AgenticCorpusExperimentPlan): AgenticCorpusExperimentArtifact;
177
+ export interface AgenticCorpusExperimentReplayDependencies {
178
+ expectedTrustPolicyDigest: string;
179
+ expectedAllocationCommitmentDigest: string;
180
+ expectedExperimentPlanDigest: string;
181
+ trustPolicy: unknown;
182
+ allocationCommitment: unknown;
183
+ allocationReveal: unknown;
184
+ allocation: unknown;
185
+ experimentPlan: unknown;
186
+ subjectEvidence: ReadonlyArray<{
187
+ caseDocument: unknown;
188
+ provenance: unknown;
189
+ }>;
190
+ evidenceContents: ReadonlyMap<string, string | Uint8Array>;
191
+ replayProvenance(caseDocument: unknown, provenance: unknown, trustPolicy: unknown, expectedPolicyDigest: string): {
192
+ valid: boolean;
193
+ };
194
+ verifyCommitmentSignatures(commitment: AgenticCorpusAllocationCommitment, policy: AgenticCorpusTrustPolicy, expectedPolicyDigest: string): AgenticCorpusAllocationCommitmentSignatureResult;
195
+ }
196
+ export declare function replayAgenticCorpusExperimentArtifact(value: unknown, dependencies?: AgenticCorpusExperimentReplayDependencies): AgenticCorpusExperimentReplayResult;
197
+ export declare function portablePathKey(path: string): string;
198
+ export declare function assertSafeRelativePath(path: string, roots: string[]): string;
199
+ export {};
200
+ //# sourceMappingURL=index.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/core/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,wBAAwB,EAC7B,KAAK,uCAAuC,EAE5C,KAAK,4BAA4B,EACjC,KAAK,uBAAuB,EAC5B,KAAK,uBAAuB,EAC5B,KAAK,iCAAiC,EACtC,KAAK,6CAA6C,EAClD,KAAK,mCAAmC,EACxC,KAAK,6BAA6B,EAClC,KAAK,8BAA8B,EACnC,KAAK,+BAA+B,EACpC,KAAK,2BAA2B,EAChC,KAAK,uCAAuC,EAE5C,KAAK,mCAAmC,EACxC,KAAK,8BAA8B,EACnC,KAAK,wBAAwB,EAC7B,KAAK,0BAA0B,EAC/B,KAAK,4BAA4B,EACjC,KAAK,oBAAoB,EACzB,KAAK,sBAAsB,EAC3B,KAAK,qBAAqB,EAC1B,KAAK,uBAAuB,EAmB7B,MAAM,uBAAuB,CAAC;AAE/B,MAAM,MAAM,SAAS,GAAG,WAAW,GAAG,QAAQ,GAAG,SAAS,CAAC;AAE3D,MAAM,MAAM,eAAe,GAAG,UAAU,GAAG,UAAU,GAAG,cAAc,GAAG,SAAS,GAAG,aAAa,CAAC;AAEnG,MAAM,MAAM,cAAc,GAAG,UAAU,GAAG,UAAU,GAAG,cAAc,GAAG,cAAc,CAAC;AAgBvF,qBAAa,uBAAwB,SAAQ,KAAK;IAChD,YAAY,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,YAAY,EAGlD;CACF;AAED,UAAU,KAAK;IACb,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,SAAS,CAAC;IAChB,QAAQ,EAAE,OAAO,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,UAAU,SAAS;IACjB,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,UAAU,WAAW;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,eAAe,EAAE,MAAM,CAAC;IACxB,wBAAwB,EAAE,MAAM,CAAC;IACjC,UAAU,EAAE,OAAO,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,eAAe;IAC9B,MAAM,EAAE;QACN,IAAI,EAAE,MAAM,CAAC;QACb,OAAO,EAAE,MAAM,CAAC;KACjB,CAAC;IACF,OAAO,EAAE;QACP,IAAI,EAAE,MAAM,CAAC;QACb,OAAO,EAAE,MAAM,CAAC;QAChB,aAAa,EAAE,SAAS,CAAC;KAC1B,CAAC;IACF,SAAS,EAAE;QACT,SAAS,EAAE,MAAM,CAAC;QAClB,oBAAoB,EAAE,MAAM,EAAE,CAAC;QAC/B,OAAO,EAAE,SAAS,CAAC;QACnB,cAAc,EAAE,MAAM,EAAE,CAAC;KAC1B,CAAC;IACF,MAAM,EAAE,KAAK,CAAC;QACZ,EAAE,EAAE,MAAM,CAAC;QACX,UAAU,EAAE,MAAM,CAAC;QACnB,MAAM,EAAE,MAAM,CAAC;KAChB,CAAC,CAAC;CACJ;AAED,UAAU,MAAM;IACd,aAAa,EAAE,MAAM,CAAC;IACtB,gBAAgB,EAAE,MAAM,CAAC;IACzB,2BAA2B,EAAE,MAAM,CAAC;IACpC,yBAAyB,EAAE,MAAM,CAAC;IAClC,sBAAsB,EAAE,MAAM,EAAE,CAAC;CAClC;AAYD,MAAM,WAAW,mBAAoB,SAAQ,SAAS;IACpD,MAAM,EAAE,eAAe,CAAC;IACxB,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,kBAAkB,EAAE,MAAM,CAAC;IAC3B,KAAK,EAAE,UAAU,EAAE,CAAC;IACpB,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB;AAED,MAAM,MAAM,QAAQ,GAChB,cAAc,GACd,WAAW,GACX,WAAW,GACX,WAAW,GACX,SAAS,GACT,iBAAiB,CAAC;AAEtB,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,QAAQ,CAAC;IACf,MAAM,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAC;IACxC,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB;AAED,MAAM,WAAW,gBAAgB;IAC/B,aAAa,EAAE,MAAM,CAAC;IACtB,gBAAgB,EAAE,MAAM,CAAC;IACzB,eAAe,EAAE,eAAe,CAAC;IACjC,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,KAAK,EAAE,CAAC;IAChB,UAAU,EAAE,mBAAmB,EAAE,CAAC;IAClC,YAAY,EAAE,WAAW,EAAE,CAAC;IAC5B,QAAQ,EAAE;QACR,MAAM,EAAE,cAAc,CAAC;QACvB,oBAAoB,EAAE,MAAM,EAAE,CAAC;QAC/B,WAAW,EAAE,MAAM,EAAE,CAAC;KACvB,CAAC;IACF,cAAc,EAAE,MAAM,CAAC;IACvB,cAAc,EAAE,MAAM,CAAC;CACxB;AAED,KAAK,SAAS,GAAG,IAAI,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,SAAS,EAAE,GAAG;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,CAAC;AA6C/F,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAEnD;AAiFD,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAEtD;AAqfD,wBAAgB,gBAAgB,CAAC,WAAW,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,CA0ClF;AAkCD,wBAAgB,oBAAoB,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACpE,QAAQ,EAAE,CAAC,GACV,CAAC,GAAG;IAAE,cAAc,EAAE,MAAM,CAAA;CAAE,CAKhC;AAYD,wBAAgB,cAAc,CAAC,KAAK,EAAE,OAAO,GAAG,gBAAgB,CAoE/D;AAED,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,OAAO,GAAG;IAAE,KAAK,EAAE,OAAO,CAAA;CAAE,CAQ1E;AAED,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,OAAO,GAAG;IAC1D,KAAK,EAAE,OAAO,CAAC;IACf,mBAAmB,EAAE,OAAO,CAAC;IAC7B,mBAAmB,EAAE,OAAO,CAAC;CAC9B,CAkBA;AAED,MAAM,WAAW,oBAAoB;IACnC,KAAK,EAAE,OAAO,CAAC;IACf,mBAAmB,EAAE,OAAO,CAAC;IAC7B,mBAAmB,EAAE,OAAO,CAAC;IAC7B,sBAAsB,EAAE,OAAO,CAAC;CACjC;AAqBD,wBAAgB,sBAAsB,CAAC,QAAQ,EAAE,OAAO,GAAG,oBAAoB,CA+D9E;AAcD,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,qBAAqB,GAAG,oBAAoB,CA4OzF;AAED,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,OAAO,GAAG,0BAA0B,CAyC/E;AA4ID,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,uBAAuB,GAAG,wBAAwB,CAgCjG;AAED,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,OAAO,GAAG,4BAA4B,CA6EnF;AAED,wBAAgB,iCAAiC,CAC/C,KAAK,EAAE,OAAO,GACb,uCAAuC,CAqHzC;AAyBD,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,uBAAuB,GAAG,sBAAsB,CAoO/F;AAED,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,OAAO,GAAG,4BAA4B,CAmDnF;AAED,eAAO,MAAM,mCAAmC,EAAG,2BAAoC,CAAC;AAGxF,KAAK,iCAAiC,GAAG,IAAI,CAAC,uBAAuB,EAAE,kBAAkB,CAAC,CAAC;AAU3F,wBAAgB,6BAA6B,CAC3C,UAAU,EAAE,uBAAuB,GAAG,iCAAiC,GACtE,MAAM,CAER;AAMD,wBAAgB,6BAA6B,CAC3C,OAAO,EAAE,8BAA8B,GACtC,uBAAuB,CAqEzB;AAED,wBAAgB,6BAA6B,CAC3C,UAAU,EAAE,OAAO,GAClB,mCAAmC,CAgErC;AA8DD,wBAAgB,6CAA6C,CAC3D,UAAU,EAAE,iCAAiC,GAC5C,UAAU,CAEZ;AAED,wBAAgB,uCAAuC,CACrD,UAAU,EACN,IAAI,CAAC,iCAAiC,EAAE,kBAAkB,CAAC,GAC3D,iCAAiC,GACpC,MAAM,CAIR;AAED,wBAAgB,mCAAmC,CACjD,MAAM,EAAE,IAAI,CAAC,6BAA6B,EAAE,cAAc,CAAC,GAAG,6BAA6B,GAC1F,MAAM,CAGR;AAED,wBAAgB,4CAA4C,CAC1D,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,MAAM,GACb,MAAM,CAUR;AAED,wBAAgB,sCAAsC,CACpD,MAAM,EAAE,6BAA6B,GACpC,MAAM,CAWR;AAED,MAAM,WAAW,gDAAgD;IAC/D,KAAK,EAAE,OAAO,CAAC;IACf,kBAAkB,EAAE,OAAO,CAAC;CAC7B;AAED,MAAM,WAAW,mDAAmD;IAClE,gBAAgB,CACd,UAAU,EAAE,iCAAiC,EAC7C,MAAM,EAAE,wBAAwB,EAChC,oBAAoB,EAAE,MAAM,GAC3B,gDAAgD,CAAC;CACrD;AAED,MAAM,WAAW,4CAA4C;IAC3D,UAAU,EAAE,OAAO,CAAC;IACpB,MAAM,EAAE,OAAO,CAAC;IAChB,UAAU,EAAE,OAAO,CAAC;IACpB,WAAW,EAAE,OAAO,CAAC;IACrB,yBAAyB,EAAE,MAAM,CAAC;IAClC,kCAAkC,EAAE,MAAM,CAAC;CAC5C;AAiBD,wBAAgB,uCAAuC,CACrD,KAAK,EAAE,OAAO,CAAC,4CAA4C,CAAC,EAC5D,YAAY,CAAC,EAAE,mDAAmD,GACjE,6CAA6C,CAgG/C;AAED,KAAK,wBAAwB,GAAG,IAAI,CAAC,2BAA2B,EAAE,YAAY,CAAC,CAAC;AAEhF,wBAAgB,iCAAiC,CAC/C,IAAI,EAAE,2BAA2B,GAAG,wBAAwB,GAC3D,MAAM,CAGR;AAED,wBAAgB,oCAAoC,CAClD,OAAO,EAAE,2BAA2B,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,GACvD,MAAM,CAER;AAED,wBAAgB,0CAA0C,CACxD,UAAU,EAAE,SAAS;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,eAAe,EAAE,MAAM,CAAA;CAAE,EAAE,GACtE,MAAM,CASR;AAED,wBAAgB,yCAAyC,CACvD,UAAU,EAAE,SAAS;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,eAAe,EAAE,MAAM,CAAA;CAAE,EAAE,GACtE,MAAM,CAQR;AAED,MAAM,WAAW,wCAAwC;IACvD,UAAU,CAAC,EAAE,uBAAuB,CAAC;IACrC,UAAU,CAAC,EAAE,iCAAiC,CAAC;IAC/C,yBAAyB,CAAC,EAAE,MAAM,CAAC;IACnC,kCAAkC,CAAC,EAAE,MAAM,CAAC;CAC7C;AAsBD,wBAAgB,iCAAiC,CAC/C,KAAK,EAAE,OAAO,EACd,4BAA4B,EAAE,MAAM,EACpC,OAAO,GAAE,wCAA6C,GACrD,uCAAuC,CAwHzC;AAED,MAAM,WAAW,+BAA+B;IAC9C,KAAK,EAAE,OAAO,CAAC;IACf,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,iBAAiB,EAAE,MAAM,EAAE,CAAC;CAC7B;AAED,wBAAgB,sCAAsC,CACpD,eAAe,EAAE,SAAS,MAAM,EAAE,EAClC,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU,CAAC,GACjD,+BAA+B,CAkBjC;AAgJD,KAAK,4BAA4B,GAAG,IAAI,CAAC,+BAA+B,EAAE,gBAAgB,CAAC,CAAC;AAS5F,wBAAgB,qCAAqC,CACnD,QAAQ,EAAE,+BAA+B,GAAG,4BAA4B,GACvE,MAAM,CAER;AAED,wBAAgB,qCAAqC,CACnD,KAAK,EAAE,8BAA8B,EACrC,IAAI,EAAE,2BAA2B,GAChC,+BAA+B,CAejC;AAiBD,MAAM,WAAW,yCAAyC;IACxD,yBAAyB,EAAE,MAAM,CAAC;IAClC,kCAAkC,EAAE,MAAM,CAAC;IAC3C,4BAA4B,EAAE,MAAM,CAAC;IACrC,WAAW,EAAE,OAAO,CAAC;IACrB,oBAAoB,EAAE,OAAO,CAAC;IAC9B,gBAAgB,EAAE,OAAO,CAAC;IAC1B,UAAU,EAAE,OAAO,CAAC;IACpB,cAAc,EAAE,OAAO,CAAC;IACxB,eAAe,EAAE,aAAa,CAAC;QAAE,YAAY,EAAE,OAAO,CAAC;QAAC,UAAU,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;IAC/E,gBAAgB,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU,CAAC,CAAC;IAC3D,gBAAgB,CACd,YAAY,EAAE,OAAO,EACrB,UAAU,EAAE,OAAO,EACnB,WAAW,EAAE,OAAO,EACpB,oBAAoB,EAAE,MAAM,GAC3B;QAAE,KAAK,EAAE,OAAO,CAAA;KAAE,CAAC;IACtB,0BAA0B,CACxB,UAAU,EAAE,iCAAiC,EAC7C,MAAM,EAAE,wBAAwB,EAChC,oBAAoB,EAAE,MAAM,GAC3B,gDAAgD,CAAC;CACrD;AA6BD,wBAAgB,qCAAqC,CACnD,KAAK,EAAE,OAAO,EACd,YAAY,CAAC,EAAE,yCAAyC,GACvD,mCAAmC,CAiTrC;AA8BD,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEpD;AAED,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,CAoB5E"}