@dynamicalsystems/idl-conformance 0.6.1

package/dist/index.d.mts

@@ -0,0 +1,57 @@
+//#region src/adapter.d.ts
+type ParseResult = {
+  readonly ok: true;
+  readonly digest?: string;
+} | {
+  readonly ok: false;
+  readonly reason: string;
+};
+type Adapter = Readonly<Record<string, (bytes: Uint8Array) => ParseResult>>;
+/** One vector file on disk. `bytes` is base64 of the exact wire bytes:
+ * re-serialization would normalize away the malformations reject vectors
+ * exist to carry. A reject names the one rule it breaks. */
+type Vector = {
+  readonly profile: string;
+  readonly shape: string;
+  readonly name: string;
+  readonly verdict: "accept" | "reject";
+  readonly rule?: string;
+  readonly bytes: string;
+  /** Digest vectors only: the expected sha256 of the canonical form of the
+   * document in `bytes`. The vector bytes are deliberately NON-canonical
+   * (different key order, whitespace), so agreement proves the consumer's
+   * own canonicalize-and-digest path, not a byte copy. */
+  readonly sha256?: string;
+  /** What agreeing on this vector obliges. "shape" (default): the boundary
+   * parser's structural verdict. "semantic": a validator beyond shape
+   * (law_contract.py, Rego decisions) must agree; shape-only adapters skip
+   * these. Passing a finite corpus establishes agreement on those cases,
+   * never equivalence. */
+  readonly obligation?: "shape" | "semantic";
+};
+//#endregion
+//#region src/runner.d.ts
+type VectorVerdict = {
+  readonly id: string;
+  readonly expected: "accept" | "reject";
+  readonly outcome: "pass" | "fail";
+  readonly detail: string;
+};
+type RunReport = {
+  readonly passed: number;
+  readonly failed: number;
+  readonly verdicts: readonly VectorVerdict[];
+};
+type Checklist = {
+  readonly profiles: Readonly<Record<string, number>>;
+};
+/** Runs every vector under `assetsDir` through the adapter. The checklist
+ * is the coverage floor: a profile listed there with fewer vectors on disk
+ * than promised fails the run, so a silently deleted directory cannot pass. */
+declare function runVectors(adapter: Adapter, assetsDir: string, checklist: Checklist): RunReport;
+//#endregion
+//#region src/reference-adapter.d.ts
+declare function referenceAdapter(): Adapter;
+//#endregion
+export { type Adapter, type ParseResult, type RunReport, type Vector, type VectorVerdict, referenceAdapter, runVectors };
+//# sourceMappingURL=index.d.mts.map

package/dist/index.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.mts","names":[],"sources":["../src/adapter.ts","../src/runner.ts","../src/reference-adapter.ts"],"mappings":";KAIY;WACG;WAAmB;;WACnB;WAAoB;;KAEvB,UAAU,SAAS,gBAAgB,OAAO,eAAe;;;;KAKzD;WACD;WACA;WACA;WACA;WACA;WACA;;;;;WAKA;;;;;;WAMA;;;;KC1BC;WACD;WACA;WACA;WACA;;KAGC;WACD;WACA;WACA,mBAAmB;;KAGzB;WAAuB,UAAU,SAAS;;;;;iBAK/B,WAAW,SAAS,SAAS,mBAAmB,WAAW,YAAY;;;iBCZvE,oBAAoB"}

package/dist/index.mjs

@@ -0,0 +1,2 @@
+import { n as runVectors, t as referenceAdapter } from "./reference-adapter-CaAo2iIH.mjs";
+export { referenceAdapter, runVectors };