@aldus-runtime/regression 0.2.0-next.56 → 0.2.0-next.58

package/dist/corpus.d.ts

@@ -19,6 +19,27 @@
  * Zod is the single source of truth; TypeScript types are inferred (ADR-0002).
  */
 import { z } from "zod";
+/** Schema version this package stamps on records it constructs. */
+export declare const REGRESSION_SCHEMA_VERSION = "1.15";
+/** How a record's declared schema version relates to the one this runtime implements. */
+export type SchemaVersionRelation = "older" | "same" | "newer";
+/**
+ * Compare a record's declared schema version against {@link REGRESSION_SCHEMA_VERSION}.
+ *
+ * Exported because the two directions are not the same kind of question. **Newer** is soundness
+ * and belongs here: this runtime cannot know what a later version's fields mean, so it refuses.
+ * **Older** is policy and belongs to the caller — whether a run from an earlier version is
+ * comparable to today's depends on what changed between them, which this package cannot know
+ * either. What it can do is stop every caller reimplementing the comparison, which is the part
+ * that would drift.
+ *
+ * A record must be readable in order to be upgraded, so this is deliberately a question a caller
+ * can ask *before* parsing, and an older record still parses.
+ *
+ * @param recordVersion - The `schemaVersion` field of a record, `MAJOR.MINOR` (ADR-0003).
+ * @throws {AldusError} `ALDUS_CORPUS_MALFORMED` if `recordVersion` is not `MAJOR.MINOR`.
+ */
+export declare function compareSchemaVersion(recordVersion: string): SchemaVersionRelation;
 /**
  * A finding category, structured per contract §12.3.
  *
@@ -171,27 +192,6 @@ export declare const evaluatorRunSchema: z.ZodObject<{
 }, z.core.$strict>;
 /** @see evaluatorRunSchema */
 export type EvaluatorRun = z.infer<typeof evaluatorRunSchema>;
-/** Schema version this package stamps on records it constructs. */
-export declare const REGRESSION_SCHEMA_VERSION = "1.15";
-/** How a record's declared schema version relates to the one this runtime implements. */
-export type SchemaVersionRelation = "older" | "same" | "newer";
-/**
- * Compare a record's declared schema version against {@link REGRESSION_SCHEMA_VERSION}.
- *
- * Exported because the two directions are not the same kind of question. **Newer** is soundness
- * and belongs here: this runtime cannot know what a later version's fields mean, so it refuses.
- * **Older** is policy and belongs to the caller — whether a run from an earlier version is
- * comparable to today's depends on what changed between them, which this package cannot know
- * either. What it can do is stop every caller reimplementing the comparison, which is the part
- * that would drift.
- *
- * A record must be readable in order to be upgraded, so this is deliberately a question a caller
- * can ask *before* parsing, and an older record still parses.
- *
- * @param recordVersion - The `schemaVersion` field of a record, `MAJOR.MINOR` (ADR-0003).
- * @throws {AldusError} `ALDUS_CORPUS_MALFORMED` if `recordVersion` is not `MAJOR.MINOR`.
- */
-export declare function compareSchemaVersion(recordVersion: string): SchemaVersionRelation;
 /**
  * Validate a corpus and check the uniqueness constraint Zod cannot express.
  *

package/dist/corpus.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"corpus.d.ts","sourceRoot":"","sources":["../src/corpus.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAGH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAOxB;;;;;;GAMG;AACH,eAAO,MAAM,eAAe,aAA6B,CAAC;AAE1D;;;;;;GAMG;AACH,eAAO,MAAM,aAAa,aAA6B,CAAC;AAExD;;;;;;GAMG;AACH,eAAO,MAAM,eAAe,uCAAmE,CAAC;AAEhG,2BAA2B;AAC3B,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAE9D,wDAAwD;AACxD,eAAO,MAAM,kBAAkB;;;;iBASuB,CAAC;AAEvD,8BAA8B;AAC9B,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAE9D;;;;;;;GAOG;AACH,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;iBA2DzB,CAAC;AAEL,4BAA4B;AAC5B,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAE1D,gDAAgD;AAChD,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBA0C3B,CAAC;AAEL,8BAA8B;AAC9B,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAE9D,yCAAyC;AACzC,eAAO,MAAM,sBAAsB;;;;iBAS2B,CAAC;AAE/D,kCAAkC;AAClC,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAEtE,6CAA6C;AAC7C,eAAO,MAAM,sBAAsB;;;;;;;;;iBA4B2B,CAAC;AAE/D,kCAAkC;AAClC,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAEtE;;;;;GAKG;AACH,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;kBAyB3B,CAAC;AAEL,8BAA8B;AAC9B,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAE9D,mEAAmE;AACnE,eAAO,MAAM,yBAAyB,SAAiB,CAAC;AAExD,yFAAyF;AACzF,MAAM,MAAM,qBAAqB,GAAG,OAAO,GAAG,MAAM,GAAG,OAAO,CAAC;AAE/D;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,oBAAoB,CAAC,aAAa,EAAE,MAAM,GAAG,qBAAqB,CAqBjF;AAwBD;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,OAAO,GAAG,YAAY,CAkC9D;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,OAAO,GAAG,YAAY,CAgC9D"}
+{"version":3,"file":"corpus.d.ts","sourceRoot":"","sources":["../src/corpus.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAGH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AASxB,mEAAmE;AACnE,eAAO,MAAM,yBAAyB,SAAiB,CAAC;AAExD,yFAAyF;AACzF,MAAM,MAAM,qBAAqB,GAAG,OAAO,GAAG,MAAM,GAAG,OAAO,CAAC;AAE/D;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,oBAAoB,CAAC,aAAa,EAAE,MAAM,GAAG,qBAAqB,CAqBjF;AAgCD;;;;;;GAMG;AACH,eAAO,MAAM,eAAe,aAA6B,CAAC;AAE1D;;;;;;GAMG;AACH,eAAO,MAAM,aAAa,aAA6B,CAAC;AAExD;;;;;;GAMG;AACH,eAAO,MAAM,eAAe,uCAAmE,CAAC;AAEhG,2BAA2B;AAC3B,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAE9D,wDAAwD;AACxD,eAAO,MAAM,kBAAkB;;;;iBASuB,CAAC;AAEvD,8BAA8B;AAC9B,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAE9D;;;;;;;GAOG;AACH,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;iBA2DzB,CAAC;AAEL,4BAA4B;AAC5B,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAE1D,gDAAgD;AAChD,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBA0C3B,CAAC;AAEL,8BAA8B;AAC9B,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAE9D,yCAAyC;AACzC,eAAO,MAAM,sBAAsB;;;;iBAS2B,CAAC;AAE/D,kCAAkC;AAClC,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAEtE,6CAA6C;AAC7C,eAAO,MAAM,sBAAsB;;;;;;;;;iBA4B2B,CAAC;AAE/D,kCAAkC;AAClC,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAEtE;;;;;GAKG;AACH,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;kBAyB3B,CAAC;AAEL,8BAA8B;AAC9B,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AA+B9D;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,OAAO,GAAG,YAAY,CAiC9D;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,OAAO,GAAG,YAAY,CA+B9D"}

package/dist/corpus.js

@@ -23,6 +23,73 @@ import { z } from "zod";
 import { RegressionErrorCodes, regressionError } from "./errors.js";
 /** A short opaque identifier. */
 const identifier = z.string().min(1).max(200);
+// --- Schema version (ADR-0003, ADR-0053) -----------------------------------------------------
+/** Schema version this package stamps on records it constructs. */
+export const REGRESSION_SCHEMA_VERSION = SCHEMA_VERSION;
+/**
+ * Compare a record's declared schema version against {@link REGRESSION_SCHEMA_VERSION}.
+ *
+ * Exported because the two directions are not the same kind of question. **Newer** is soundness
+ * and belongs here: this runtime cannot know what a later version's fields mean, so it refuses.
+ * **Older** is policy and belongs to the caller — whether a run from an earlier version is
+ * comparable to today's depends on what changed between them, which this package cannot know
+ * either. What it can do is stop every caller reimplementing the comparison, which is the part
+ * that would drift.
+ *
+ * A record must be readable in order to be upgraded, so this is deliberately a question a caller
+ * can ask *before* parsing, and an older record still parses.
+ *
+ * @param recordVersion - The `schemaVersion` field of a record, `MAJOR.MINOR` (ADR-0003).
+ * @throws {AldusError} `ALDUS_CORPUS_MALFORMED` if `recordVersion` is not `MAJOR.MINOR`.
+ */
+export function compareSchemaVersion(recordVersion) {
+    const parse = (value) => {
+        const match = /^(0|[1-9]\d*)\.(0|[1-9]\d*)$/.exec(value);
+        if (match === null) {
+            // Path and code only — never the received value (contract §19.2).
+            throw regressionError(RegressionErrorCodes.CORPUS_MALFORMED, "A schema version must be MAJOR.MINOR.", {
+                category: "validation",
+                details: { issues: [{ path: "schemaVersion", code: "invalid_format" }] },
+            });
+        }
+        return [Number(match[1]), Number(match[2])];
+    };
+    const [recordMajor, recordMinor] = parse(recordVersion);
+    const [runtimeMajor, runtimeMinor] = parse(REGRESSION_SCHEMA_VERSION);
+    if (recordMajor !== runtimeMajor)
+        return recordMajor > runtimeMajor ? "newer" : "older";
+    if (recordMinor !== runtimeMinor)
+        return recordMinor > runtimeMinor ? "newer" : "older";
+    return "same";
+}
+/**
+ * True when `value` is a well-formed version this runtime does not implement.
+ *
+ * A malformed value answers `false` rather than throwing, so the format check that owns that
+ * failure reports it under its own code and the version rule fires only on a version.
+ */
+function declaresNewerVersion(value) {
+    return /^(0|[1-9]\d*)\.(0|[1-9]\d*)$/.test(value) && compareSchemaVersion(value) === "newer";
+}
+/**
+ * The `schemaVersion` field of a record this package reads.
+ *
+ * **The exported schema carries the rule** (ADR-0053). `parseDefectCorpus` and `parseEvaluatorRun`
+ * refused a newer record while `defectCorpusSchema.safeParse` and `evaluatorRunSchema.safeParse`
+ * accepted the same bytes — a rule enforced at one entry point and not the other is a rule plus a
+ * bypass, and the exported object is the obvious door (#199). So the refusal lives on the field, and
+ * the parse functions check it first only so that a newer record fails with one clear
+ * `ALDUS_SCHEMA_VERSION_UNSUPPORTED` rather than a field issue about the version.
+ *
+ * This is **this package's** rule, not Core's: any newer version is refused, minor included, because
+ * these schemas are strict and a newer minor would fail on its added keys anyway. Refusing on the
+ * version names the reason. Core's records accept a newer minor and report it as a `forward` read
+ * (ADR-0003, ADR-0053).
+ */
+const recordSchemaVersion = schemaVersionString.refine((value) => !declaresNewerVersion(value), {
+    // Names this package's own constant, never the received value (contract §19.2).
+    message: `Schema version must not be newer than ${REGRESSION_SCHEMA_VERSION}, which is what this runtime implements.`,
+});
 /**
  * A finding category, structured per contract §12.3.
  *
@@ -128,7 +195,7 @@ export const defectCaseSchema = z
 export const defectCorpusSchema = z
     .object({
     /** Schema version of this record (ADR-0003). */
-    schemaVersion: schemaVersionString,
+    schemaVersion: recordSchemaVersion,
     /** Identity of this corpus. */
     corpusId: identifier,
     /** Human-readable purpose. */
@@ -217,7 +284,7 @@ export const evaluatorOutcomeSchema = z
 export const evaluatorRunSchema = z
     .object({
     /** Schema version of this record (ADR-0003). */
-    schemaVersion: schemaVersionString,
+    schemaVersion: recordSchemaVersion,
     /** Which evaluator produced these outcomes. */
     evaluatorId: identifier,
     /** Version of the evaluator. Metrics from different versions are not comparable. */
@@ -239,56 +306,26 @@ export const evaluatorRunSchema = z
         "package consumes runs; it does not execute evaluators. ADDITIONAL CONSTRAINT NOT " +
         "EXPRESSIBLE IN JSON SCHEMA: `caseId` must be unique within `outcomes`.",
 });
-/** Schema version this package stamps on records it constructs. */
-export const REGRESSION_SCHEMA_VERSION = SCHEMA_VERSION;
 /**
- * Compare a record's declared schema version against {@link REGRESSION_SCHEMA_VERSION}.
- *
- * Exported because the two directions are not the same kind of question. **Newer** is soundness
- * and belongs here: this runtime cannot know what a later version's fields mean, so it refuses.
- * **Older** is policy and belongs to the caller — whether a run from an earlier version is
- * comparable to today's depends on what changed between them, which this package cannot know
- * either. What it can do is stop every caller reimplementing the comparison, which is the part
- * that would drift.
- *
- * A record must be readable in order to be upgraded, so this is deliberately a question a caller
- * can ask *before* parsing, and an older record still parses.
- *
- * @param recordVersion - The `schemaVersion` field of a record, `MAJOR.MINOR` (ADR-0003).
- * @throws {AldusError} `ALDUS_CORPUS_MALFORMED` if `recordVersion` is not `MAJOR.MINOR`.
- */
-export function compareSchemaVersion(recordVersion) {
-    const parse = (value) => {
-        const match = /^(0|[1-9]\d*)\.(0|[1-9]\d*)$/.exec(value);
-        if (match === null) {
-            // Path and code only — never the received value (contract §19.2).
-            throw regressionError(RegressionErrorCodes.CORPUS_MALFORMED, "A schema version must be MAJOR.MINOR.", {
-                category: "validation",
-                details: { issues: [{ path: "schemaVersion", code: "invalid_format" }] },
-            });
-        }
-        return [Number(match[1]), Number(match[2])];
-    };
-    const [recordMajor, recordMinor] = parse(recordVersion);
-    const [runtimeMajor, runtimeMinor] = parse(REGRESSION_SCHEMA_VERSION);
-    if (recordMajor !== runtimeMajor)
-        return recordMajor > runtimeMajor ? "newer" : "older";
-    if (recordMinor !== runtimeMinor)
-        return recordMinor > runtimeMinor ? "newer" : "older";
-    return "same";
-}
-/**
- * Refuse a record declaring a version this runtime does not implement.
+ * Refuse a record declaring a version this runtime does not implement, **before** its shape is
+ * read.
  *
  * Only `newer` is refused. An older record parses, and {@link compareSchemaVersion} is how a
  * caller decides whether to trust it.
+ *
+ * Version before fields, for the same reason Core's `validateRecord` orders them so: a newer record
+ * fails with one `ALDUS_SCHEMA_VERSION_UNSUPPORTED` that names the cause, rather than a field issue
+ * that describes the symptom. A missing or malformed version is not this check's to report — it
+ * falls through, and the schema reports it precisely under `ALDUS_CORPUS_MALFORMED`.
  */
-function assertSchemaVersionSupported(recordVersion, record) {
-    if (compareSchemaVersion(recordVersion) !== "newer")
+function assertSchemaVersionSupported(input, record) {
+    if (typeof input !== "object" || input === null)
+        return;
+    const declared = input.schemaVersion;
+    if (typeof declared !== "string" || !declaresNewerVersion(declared))
         return;
     throw regressionError(RegressionErrorCodes.SCHEMA_VERSION_UNSUPPORTED, `A ${record} declares a schema version newer than this runtime implements. Its fields cannot ` +
-        "be interpreted here, and the schema discards what it does not declare, so accepting it " +
-        "would return a record that looks complete and is not.", {
+        "be interpreted here, so accepting it would return a record that looks complete and is not.", {
         category: "validation",
         // The runtime's own version is this package's constant, not received input, so naming it is
         // not a value leak. The record's version is not named (contract §19.2).
@@ -301,6 +338,7 @@ function assertSchemaVersionSupported(recordVersion, record) {
  * @throws {AldusError} `ALDUS_CORPUS_MALFORMED` or `ALDUS_CORPUS_DUPLICATE_CASE`.
  */
 export function parseDefectCorpus(input) {
+    assertSchemaVersionSupported(input, "corpus");
     const result = defectCorpusSchema.safeParse(input);
     if (!result.success) {
         // Paths and issue codes only — never the received value (contract §19.2, ADR-0002).
@@ -314,7 +352,6 @@ export function parseDefectCorpus(input) {
             },
         });
     }
-    assertSchemaVersionSupported(result.data.schemaVersion, "corpus");
     const seen = new Set();
     for (const entry of result.data.cases) {
         if (seen.has(entry.caseId)) {
@@ -331,6 +368,7 @@ export function parseDefectCorpus(input) {
  * @throws {AldusError} `ALDUS_CORPUS_MALFORMED` or `ALDUS_OUTCOME_DUPLICATE`.
  */
 export function parseEvaluatorRun(input) {
+    assertSchemaVersionSupported(input, "run");
     const result = evaluatorRunSchema.safeParse(input);
     if (!result.success) {
         throw regressionError(RegressionErrorCodes.CORPUS_MALFORMED, "The evaluator run does not validate.", {
@@ -343,7 +381,6 @@ export function parseEvaluatorRun(input) {
             },
         });
     }
-    assertSchemaVersionSupported(result.data.schemaVersion, "run");
     const seen = new Set();
     for (const outcome of result.data.outcomes) {
         if (seen.has(outcome.caseId)) {

package/dist/corpus.js.map

@@ -1 +1 @@
-{"version":3,"file":"corpus.js","sourceRoot":"","sources":["../src/corpus.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAC1F,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAEpE,iCAAiC;AACjC,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAE9C;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAE1D;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAExD;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;AAKhG,wDAAwD;AACxD,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC;KAChC,MAAM,CAAC;IACN,6DAA6D;IAC7D,QAAQ,EAAE,eAAe;IACzB,2EAA2E;IAC3E,QAAQ,EAAE,aAAa;IACvB,kDAAkD;IAClD,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE;CACtC,CAAC;KACD,IAAI,CAAC,EAAE,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC,CAAC;AAKvD;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC;KAC9B,MAAM,CAAC;IACN,+CAA+C;IAC/C,MAAM,EAAE,UAAU;IAClB,+FAA+F;IAC/F,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC;IACvC,mDAAmD;IACnD,KAAK,EAAE,eAAe;IACtB;;;;;;;OAOG;IACH,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE;IACtB,gEAAgE;IAChE,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;IAC9C;;;;OAIG;IACH,QAAQ,EAAE,aAAa,CAAC,QAAQ,EAAE;IAClC;;;;;;;;OAQG;IACH,gBAAgB,EAAE,UAAU,CAAC,QAAQ,EAAE;IACvC,6FAA6F;IAC7F,UAAU,EAAE,cAAc;IAC1B,mCAAmC;IACnC,UAAU,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;CAC7C,CAAC;KACD,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,KAAK,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS,CAAC,EAAE;IACrE,OAAO,EACL,oIAAoI;IACtI,IAAI,EAAE,CAAC,UAAU,CAAC;CACnB,CAAC;KACD,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE;IACjE,OAAO,EAAE,8CAA8C;IACvD,IAAI,EAAE,CAAC,UAAU,CAAC;CACnB,CAAC;KACD,IAAI,CAAC;IACJ,EAAE,EAAE,YAAY;IAChB,KAAK,EAAE,YAAY;IACnB,WAAW,EACT,2FAA2F;QAC3F,4FAA4F;QAC5F,sFAAsF;QACtF,0FAA0F;QAC1F,wFAAwF;QACxF,8BAA8B;CACjC,CAAC,CAAC;AAKL,gDAAgD;AAChD,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC;KAChC,MAAM,CAAC;IACN,gDAAgD;IAChD,aAAa,EAAE,mBAAmB;IAClC,+BAA+B;IAC/B,QAAQ,EAAE,UAAU;IACpB,8BAA8B;IAC9B,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE;IAC5C,0BAA0B;IAC1B,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC;IAC7C;;;;;;;;;;;;;;;;;OAiBG;IACH,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,QAAQ,EAAE;CACvD,CAAC;IACF,8FAA8F;IAC9F,8FAA8F;IAC9F,+FAA+F;IAC/F,sEAAsE;KACrE,MAAM,EAAE;KACR,IAAI,CAAC;IACJ,EAAE,EAAE,cAAc;IAClB,KAAK,EAAE,cAAc;IACrB,WAAW,EACT,yFAAyF;QACzF,uFAAuF;QACvF,mCAAmC;CACtC,CAAC,CAAC;AAKL,yCAAyC;AACzC,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC;KACpC,MAAM,CAAC;IACN,6FAA6F;IAC7F,QAAQ,EAAE,eAAe;IACzB,6DAA6D;IAC7D,QAAQ,EAAE,aAAa,CAAC,QAAQ,EAAE;IAClC,8DAA8D;IAC9D,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;CAChD,CAAC;KACD,IAAI,CAAC,EAAE,EAAE,EAAE,kBAAkB,EAAE,KAAK,EAAE,kBAAkB,EAAE,CAAC,CAAC;AAK/D,6CAA6C;AAC7C,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC;KACpC,MAAM,CAAC;IACN,oCAAoC;IACpC,MAAM,EAAE,UAAU;IAClB,iDAAiD;IACjD,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE;IACpB;;;;;;;;OAQG;IACH,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;IAClD;;;;;;;;;OASG;IACH,qBAAqB,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;CAC9C,CAAC;KACD,IAAI,CAAC,EAAE,EAAE,EAAE,kBAAkB,EAAE,KAAK,EAAE,kBAAkB,EAAE,CAAC,CAAC;AAK/D;;;;;GAKG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC;KAChC,MAAM,CAAC;IACN,gDAAgD;IAChD,aAAa,EAAE,mBAAmB;IAClC,+CAA+C;IAC/C,WAAW,EAAE,UAAU;IACvB,oFAAoF;IACpF,gBAAgB,EAAE,UAAU;IAC5B,uCAAuC;IACvC,QAAQ,EAAE,UAAU;IACpB,oBAAoB;IACpB,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC;IACtD,iCAAiC;IACjC,UAAU,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IAC5C,uCAAuC;IACvC,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,QAAQ,EAAE;CACvD,CAAC;KACD,MAAM,EAAE;KACR,IAAI,CAAC;IACJ,EAAE,EAAE,cAAc;IAClB,KAAK,EAAE,cAAc;IACrB,WAAW,EACT,0FAA0F;QAC1F,mFAAmF;QACnF,wEAAwE;CAC3E,CAAC,CAAC;AAKL,mEAAmE;AACnE,MAAM,CAAC,MAAM,yBAAyB,GAAG,cAAc,CAAC;AAKxD;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,oBAAoB,CAAC,aAAqB;IACxD,MAAM,KAAK,GAAG,CAAC,KAAa,EAA6B,EAAE;QACzD,MAAM,KAAK,GAAG,8BAA8B,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzD,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,kEAAkE;YAClE,MAAM,eAAe,CACnB,oBAAoB,CAAC,gBAAgB,EACrC,uCAAuC,EACvC;gBACE,QAAQ,EAAE,YAAY;gBACtB,OAAO,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC,EAAE;aACzE,CACF,CAAC;QACJ,CAAC;QACD,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAU,CAAC;IACvD,CAAC,CAAC;IACF,MAAM,CAAC,WAAW,EAAE,WAAW,CAAC,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC;IACxD,MAAM,CAAC,YAAY,EAAE,YAAY,CAAC,GAAG,KAAK,CAAC,yBAAyB,CAAC,CAAC;IACtE,IAAI,WAAW,KAAK,YAAY;QAAE,OAAO,WAAW,GAAG,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;IACxF,IAAI,WAAW,KAAK,YAAY;QAAE,OAAO,WAAW,GAAG,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;IACxF,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;GAKG;AACH,SAAS,4BAA4B,CAAC,aAAqB,EAAE,MAAwB;IACnF,IAAI,oBAAoB,CAAC,aAAa,CAAC,KAAK,OAAO;QAAE,OAAO;IAC5D,MAAM,eAAe,CACnB,oBAAoB,CAAC,0BAA0B,EAC/C,KAAK,MAAM,mFAAmF;QAC5F,yFAAyF;QACzF,uDAAuD,EACzD;QACE,QAAQ,EAAE,YAAY;QACtB,4FAA4F;QAC5F,wEAAwE;QACxE,OAAO,EAAE,EAAE,oBAAoB,EAAE,yBAAyB,EAAE,QAAQ,EAAE,OAAO,EAAE;KAChF,CACF,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAc;IAC9C,MAAM,MAAM,GAAG,kBAAkB,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACnD,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,oFAAoF;QACpF,MAAM,eAAe,CACnB,oBAAoB,CAAC,gBAAgB,EACrC,sCAAsC,EACtC;YACE,QAAQ,EAAE,YAAY;YACtB,OAAO,EAAE;gBACP,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;oBAC1C,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;oBAC1B,IAAI,EAAE,KAAK,CAAC,IAAI;iBACjB,CAAC,CAAC;aACJ;SACF,CACF,CAAC;IACJ,CAAC;IAED,4BAA4B,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;IAElE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;QACtC,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3B,MAAM,eAAe,CACnB,oBAAoB,CAAC,qBAAqB,EAC1C,WAAW,MAAM,CAAC,IAAI,CAAC,QAAQ,0CAA0C,KAAK,CAAC,MAAM,KAAK;gBACxF,uFAAuF,EACzF,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,CACxE,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC;AACrB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAc;IAC9C,MAAM,MAAM,GAAG,kBAAkB,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACnD,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,MAAM,eAAe,CACnB,oBAAoB,CAAC,gBAAgB,EACrC,sCAAsC,EACtC;YACE,QAAQ,EAAE,YAAY;YACtB,OAAO,EAAE;gBACP,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;oBAC1C,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;oBAC1B,IAAI,EAAE,KAAK,CAAC,IAAI;iBACjB,CAAC,CAAC;aACJ;SACF,CACF,CAAC;IACJ,CAAC;IAED,4BAA4B,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC;IAE/D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC3C,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YAC7B,MAAM,eAAe,CACnB,oBAAoB,CAAC,iBAAiB,EACtC,sBAAsB,MAAM,CAAC,IAAI,CAAC,WAAW,4BAA4B,OAAO,CAAC,MAAM,IAAI,EAC3F,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,EAAE,WAAW,EAAE,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAC9E,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC;AACrB,CAAC"}
+{"version":3,"file":"corpus.js","sourceRoot":"","sources":["../src/corpus.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAC1F,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAEpE,iCAAiC;AACjC,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAE9C,gGAAgG;AAEhG,mEAAmE;AACnE,MAAM,CAAC,MAAM,yBAAyB,GAAG,cAAc,CAAC;AAKxD;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,oBAAoB,CAAC,aAAqB;IACxD,MAAM,KAAK,GAAG,CAAC,KAAa,EAA6B,EAAE;QACzD,MAAM,KAAK,GAAG,8BAA8B,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzD,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,kEAAkE;YAClE,MAAM,eAAe,CACnB,oBAAoB,CAAC,gBAAgB,EACrC,uCAAuC,EACvC;gBACE,QAAQ,EAAE,YAAY;gBACtB,OAAO,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC,EAAE;aACzE,CACF,CAAC;QACJ,CAAC;QACD,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAU,CAAC;IACvD,CAAC,CAAC;IACF,MAAM,CAAC,WAAW,EAAE,WAAW,CAAC,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC;IACxD,MAAM,CAAC,YAAY,EAAE,YAAY,CAAC,GAAG,KAAK,CAAC,yBAAyB,CAAC,CAAC;IACtE,IAAI,WAAW,KAAK,YAAY;QAAE,OAAO,WAAW,GAAG,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;IACxF,IAAI,WAAW,KAAK,YAAY;QAAE,OAAO,WAAW,GAAG,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;IACxF,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;GAKG;AACH,SAAS,oBAAoB,CAAC,KAAa;IACzC,OAAO,8BAA8B,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,oBAAoB,CAAC,KAAK,CAAC,KAAK,OAAO,CAAC;AAC/F,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,mBAAmB,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,oBAAoB,CAAC,KAAK,CAAC,EAAE;IAC9F,gFAAgF;IAChF,OAAO,EAAE,yCAAyC,yBAAyB,0CAA0C;CACtH,CAAC,CAAC;AAEH;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAE1D;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAExD;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;AAKhG,wDAAwD;AACxD,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC;KAChC,MAAM,CAAC;IACN,6DAA6D;IAC7D,QAAQ,EAAE,eAAe;IACzB,2EAA2E;IAC3E,QAAQ,EAAE,aAAa;IACvB,kDAAkD;IAClD,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE;CACtC,CAAC;KACD,IAAI,CAAC,EAAE,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC,CAAC;AAKvD;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC;KAC9B,MAAM,CAAC;IACN,+CAA+C;IAC/C,MAAM,EAAE,UAAU;IAClB,+FAA+F;IAC/F,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC;IACvC,mDAAmD;IACnD,KAAK,EAAE,eAAe;IACtB;;;;;;;OAOG;IACH,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE;IACtB,gEAAgE;IAChE,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;IAC9C;;;;OAIG;IACH,QAAQ,EAAE,aAAa,CAAC,QAAQ,EAAE;IAClC;;;;;;;;OAQG;IACH,gBAAgB,EAAE,UAAU,CAAC,QAAQ,EAAE;IACvC,6FAA6F;IAC7F,UAAU,EAAE,cAAc;IAC1B,mCAAmC;IACnC,UAAU,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;CAC7C,CAAC;KACD,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,KAAK,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS,CAAC,EAAE;IACrE,OAAO,EACL,oIAAoI;IACtI,IAAI,EAAE,CAAC,UAAU,CAAC;CACnB,CAAC;KACD,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE;IACjE,OAAO,EAAE,8CAA8C;IACvD,IAAI,EAAE,CAAC,UAAU,CAAC;CACnB,CAAC;KACD,IAAI,CAAC;IACJ,EAAE,EAAE,YAAY;IAChB,KAAK,EAAE,YAAY;IACnB,WAAW,EACT,2FAA2F;QAC3F,4FAA4F;QAC5F,sFAAsF;QACtF,0FAA0F;QAC1F,wFAAwF;QACxF,8BAA8B;CACjC,CAAC,CAAC;AAKL,gDAAgD;AAChD,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC;KAChC,MAAM,CAAC;IACN,gDAAgD;IAChD,aAAa,EAAE,mBAAmB;IAClC,+BAA+B;IAC/B,QAAQ,EAAE,UAAU;IACpB,8BAA8B;IAC9B,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE;IAC5C,0BAA0B;IAC1B,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC;IAC7C;;;;;;;;;;;;;;;;;OAiBG;IACH,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,QAAQ,EAAE;CACvD,CAAC;IACF,8FAA8F;IAC9F,8FAA8F;IAC9F,+FAA+F;IAC/F,sEAAsE;KACrE,MAAM,EAAE;KACR,IAAI,CAAC;IACJ,EAAE,EAAE,cAAc;IAClB,KAAK,EAAE,cAAc;IACrB,WAAW,EACT,yFAAyF;QACzF,uFAAuF;QACvF,mCAAmC;CACtC,CAAC,CAAC;AAKL,yCAAyC;AACzC,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC;KACpC,MAAM,CAAC;IACN,6FAA6F;IAC7F,QAAQ,EAAE,eAAe;IACzB,6DAA6D;IAC7D,QAAQ,EAAE,aAAa,CAAC,QAAQ,EAAE;IAClC,8DAA8D;IAC9D,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;CAChD,CAAC;KACD,IAAI,CAAC,EAAE,EAAE,EAAE,kBAAkB,EAAE,KAAK,EAAE,kBAAkB,EAAE,CAAC,CAAC;AAK/D,6CAA6C;AAC7C,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC;KACpC,MAAM,CAAC;IACN,oCAAoC;IACpC,MAAM,EAAE,UAAU;IAClB,iDAAiD;IACjD,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE;IACpB;;;;;;;;OAQG;IACH,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;IAClD;;;;;;;;;OASG;IACH,qBAAqB,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;CAC9C,CAAC;KACD,IAAI,CAAC,EAAE,EAAE,EAAE,kBAAkB,EAAE,KAAK,EAAE,kBAAkB,EAAE,CAAC,CAAC;AAK/D;;;;;GAKG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC;KAChC,MAAM,CAAC;IACN,gDAAgD;IAChD,aAAa,EAAE,mBAAmB;IAClC,+CAA+C;IAC/C,WAAW,EAAE,UAAU;IACvB,oFAAoF;IACpF,gBAAgB,EAAE,UAAU;IAC5B,uCAAuC;IACvC,QAAQ,EAAE,UAAU;IACpB,oBAAoB;IACpB,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC;IACtD,iCAAiC;IACjC,UAAU,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IAC5C,uCAAuC;IACvC,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,QAAQ,EAAE;CACvD,CAAC;KACD,MAAM,EAAE;KACR,IAAI,CAAC;IACJ,EAAE,EAAE,cAAc;IAClB,KAAK,EAAE,cAAc;IACrB,WAAW,EACT,0FAA0F;QAC1F,mFAAmF;QACnF,wEAAwE;CAC3E,CAAC,CAAC;AAKL;;;;;;;;;;;GAWG;AACH,SAAS,4BAA4B,CAAC,KAAc,EAAE,MAAwB;IAC5E,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO;IACxD,MAAM,QAAQ,GAAI,KAAqC,CAAC,aAAa,CAAC;IACtE,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC;QAAE,OAAO;IAC5E,MAAM,eAAe,CACnB,oBAAoB,CAAC,0BAA0B,EAC/C,KAAK,MAAM,mFAAmF;QAC5F,4FAA4F,EAC9F;QACE,QAAQ,EAAE,YAAY;QACtB,4FAA4F;QAC5F,wEAAwE;QACxE,OAAO,EAAE,EAAE,oBAAoB,EAAE,yBAAyB,EAAE,QAAQ,EAAE,OAAO,EAAE;KAChF,CACF,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAc;IAC9C,4BAA4B,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC9C,MAAM,MAAM,GAAG,kBAAkB,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACnD,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,oFAAoF;QACpF,MAAM,eAAe,CACnB,oBAAoB,CAAC,gBAAgB,EACrC,sCAAsC,EACtC;YACE,QAAQ,EAAE,YAAY;YACtB,OAAO,EAAE;gBACP,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;oBAC1C,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;oBAC1B,IAAI,EAAE,KAAK,CAAC,IAAI;iBACjB,CAAC,CAAC;aACJ;SACF,CACF,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;QACtC,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3B,MAAM,eAAe,CACnB,oBAAoB,CAAC,qBAAqB,EAC1C,WAAW,MAAM,CAAC,IAAI,CAAC,QAAQ,0CAA0C,KAAK,CAAC,MAAM,KAAK;gBACxF,uFAAuF,EACzF,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,CACxE,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC;AACrB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAc;IAC9C,4BAA4B,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC3C,MAAM,MAAM,GAAG,kBAAkB,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACnD,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,MAAM,eAAe,CACnB,oBAAoB,CAAC,gBAAgB,EACrC,sCAAsC,EACtC;YACE,QAAQ,EAAE,YAAY;YACtB,OAAO,EAAE;gBACP,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;oBAC1C,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;oBAC1B,IAAI,EAAE,KAAK,CAAC,IAAI;iBACjB,CAAC,CAAC;aACJ;SACF,CACF,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC3C,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YAC7B,MAAM,eAAe,CACnB,oBAAoB,CAAC,iBAAiB,EACtC,sBAAsB,MAAM,CAAC,IAAI,CAAC,WAAW,4BAA4B,OAAO,CAAC,MAAM,IAAI,EAC3F,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,EAAE,WAAW,EAAE,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAC9E,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC;AACrB,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aldus-runtime/regression",
-  "version": "0.2.0-next.56",
+  "version": "0.2.0-next.58",
   "type": "module",
   "description": "Aldus Regression Harness — defect corpora, scope-aware evaluator metrics, blind-spot registry, and evaluator promotion evidence.",
   "license": "Apache-2.0",
@@ -33,11 +33,11 @@
     "typecheck:test": "tsc -p tsconfig.test.json"
   },
   "dependencies": {
-    "@aldus-runtime/core": "0.2.0-next.56",
+    "@aldus-runtime/core": "0.2.0-next.58",
     "zod": "^4.4.3"
   },
   "devDependencies": {
-    "@aldus-runtime/testkit": "0.2.0-next.56",
+    "@aldus-runtime/testkit": "0.2.0-next.58",
     "@types/node": "^26.2.0",
     "typescript": "^7.0.2",
     "vitest": "^4.1.10"

package/src/corpus.ts

@@ -27,6 +27,83 @@ import { RegressionErrorCodes, regressionError } from "./errors.js";
 /** A short opaque identifier. */
 const identifier = z.string().min(1).max(200);
 
+// --- Schema version (ADR-0003, ADR-0053) -----------------------------------------------------
+
+/** Schema version this package stamps on records it constructs. */
+export const REGRESSION_SCHEMA_VERSION = SCHEMA_VERSION;
+
+/** How a record's declared schema version relates to the one this runtime implements. */
+export type SchemaVersionRelation = "older" | "same" | "newer";
+
+/**
+ * Compare a record's declared schema version against {@link REGRESSION_SCHEMA_VERSION}.
+ *
+ * Exported because the two directions are not the same kind of question. **Newer** is soundness
+ * and belongs here: this runtime cannot know what a later version's fields mean, so it refuses.
+ * **Older** is policy and belongs to the caller — whether a run from an earlier version is
+ * comparable to today's depends on what changed between them, which this package cannot know
+ * either. What it can do is stop every caller reimplementing the comparison, which is the part
+ * that would drift.
+ *
+ * A record must be readable in order to be upgraded, so this is deliberately a question a caller
+ * can ask *before* parsing, and an older record still parses.
+ *
+ * @param recordVersion - The `schemaVersion` field of a record, `MAJOR.MINOR` (ADR-0003).
+ * @throws {AldusError} `ALDUS_CORPUS_MALFORMED` if `recordVersion` is not `MAJOR.MINOR`.
+ */
+export function compareSchemaVersion(recordVersion: string): SchemaVersionRelation {
+  const parse = (value: string): readonly [number, number] => {
+    const match = /^(0|[1-9]\d*)\.(0|[1-9]\d*)$/.exec(value);
+    if (match === null) {
+      // Path and code only — never the received value (contract §19.2).
+      throw regressionError(
+        RegressionErrorCodes.CORPUS_MALFORMED,
+        "A schema version must be MAJOR.MINOR.",
+        {
+          category: "validation",
+          details: { issues: [{ path: "schemaVersion", code: "invalid_format" }] },
+        },
+      );
+    }
+    return [Number(match[1]), Number(match[2])] as const;
+  };
+  const [recordMajor, recordMinor] = parse(recordVersion);
+  const [runtimeMajor, runtimeMinor] = parse(REGRESSION_SCHEMA_VERSION);
+  if (recordMajor !== runtimeMajor) return recordMajor > runtimeMajor ? "newer" : "older";
+  if (recordMinor !== runtimeMinor) return recordMinor > runtimeMinor ? "newer" : "older";
+  return "same";
+}
+
+/**
+ * True when `value` is a well-formed version this runtime does not implement.
+ *
+ * A malformed value answers `false` rather than throwing, so the format check that owns that
+ * failure reports it under its own code and the version rule fires only on a version.
+ */
+function declaresNewerVersion(value: string): boolean {
+  return /^(0|[1-9]\d*)\.(0|[1-9]\d*)$/.test(value) && compareSchemaVersion(value) === "newer";
+}
+
+/**
+ * The `schemaVersion` field of a record this package reads.
+ *
+ * **The exported schema carries the rule** (ADR-0053). `parseDefectCorpus` and `parseEvaluatorRun`
+ * refused a newer record while `defectCorpusSchema.safeParse` and `evaluatorRunSchema.safeParse`
+ * accepted the same bytes — a rule enforced at one entry point and not the other is a rule plus a
+ * bypass, and the exported object is the obvious door (#199). So the refusal lives on the field, and
+ * the parse functions check it first only so that a newer record fails with one clear
+ * `ALDUS_SCHEMA_VERSION_UNSUPPORTED` rather than a field issue about the version.
+ *
+ * This is **this package's** rule, not Core's: any newer version is refused, minor included, because
+ * these schemas are strict and a newer minor would fail on its added keys anyway. Refusing on the
+ * version names the reason. Core's records accept a newer minor and report it as a `forward` read
+ * (ADR-0003, ADR-0053).
+ */
+const recordSchemaVersion = schemaVersionString.refine((value) => !declaresNewerVersion(value), {
+  // Names this package's own constant, never the received value (contract §19.2).
+  message: `Schema version must not be newer than ${REGRESSION_SCHEMA_VERSION}, which is what this runtime implements.`,
+});
+
 /**
  * A finding category, structured per contract §12.3.
  *
@@ -148,7 +225,7 @@ export type DefectCase = z.infer<typeof defectCaseSchema>;
 export const defectCorpusSchema = z
   .object({
     /** Schema version of this record (ADR-0003). */
-    schemaVersion: schemaVersionString,
+    schemaVersion: recordSchemaVersion,
     /** Identity of this corpus. */
     corpusId: identifier,
     /** Human-readable purpose. */
@@ -250,7 +327,7 @@ export type EvaluatorOutcome = z.infer<typeof evaluatorOutcomeSchema>;
 export const evaluatorRunSchema = z
   .object({
     /** Schema version of this record (ADR-0003). */
-    schemaVersion: schemaVersionString,
+    schemaVersion: recordSchemaVersion,
     /** Which evaluator produced these outcomes. */
     evaluatorId: identifier,
     /** Version of the evaluator. Metrics from different versions are not comparable. */
@@ -277,64 +354,26 @@ export const evaluatorRunSchema = z
 /** @see evaluatorRunSchema */
 export type EvaluatorRun = z.infer<typeof evaluatorRunSchema>;
 
-/** Schema version this package stamps on records it constructs. */
-export const REGRESSION_SCHEMA_VERSION = SCHEMA_VERSION;
-
-/** How a record's declared schema version relates to the one this runtime implements. */
-export type SchemaVersionRelation = "older" | "same" | "newer";
-
-/**
- * Compare a record's declared schema version against {@link REGRESSION_SCHEMA_VERSION}.
- *
- * Exported because the two directions are not the same kind of question. **Newer** is soundness
- * and belongs here: this runtime cannot know what a later version's fields mean, so it refuses.
- * **Older** is policy and belongs to the caller — whether a run from an earlier version is
- * comparable to today's depends on what changed between them, which this package cannot know
- * either. What it can do is stop every caller reimplementing the comparison, which is the part
- * that would drift.
- *
- * A record must be readable in order to be upgraded, so this is deliberately a question a caller
- * can ask *before* parsing, and an older record still parses.
- *
- * @param recordVersion - The `schemaVersion` field of a record, `MAJOR.MINOR` (ADR-0003).
- * @throws {AldusError} `ALDUS_CORPUS_MALFORMED` if `recordVersion` is not `MAJOR.MINOR`.
- */
-export function compareSchemaVersion(recordVersion: string): SchemaVersionRelation {
-  const parse = (value: string): readonly [number, number] => {
-    const match = /^(0|[1-9]\d*)\.(0|[1-9]\d*)$/.exec(value);
-    if (match === null) {
-      // Path and code only — never the received value (contract §19.2).
-      throw regressionError(
-        RegressionErrorCodes.CORPUS_MALFORMED,
-        "A schema version must be MAJOR.MINOR.",
-        {
-          category: "validation",
-          details: { issues: [{ path: "schemaVersion", code: "invalid_format" }] },
-        },
-      );
-    }
-    return [Number(match[1]), Number(match[2])] as const;
-  };
-  const [recordMajor, recordMinor] = parse(recordVersion);
-  const [runtimeMajor, runtimeMinor] = parse(REGRESSION_SCHEMA_VERSION);
-  if (recordMajor !== runtimeMajor) return recordMajor > runtimeMajor ? "newer" : "older";
-  if (recordMinor !== runtimeMinor) return recordMinor > runtimeMinor ? "newer" : "older";
-  return "same";
-}
-
 /**
- * Refuse a record declaring a version this runtime does not implement.
+ * Refuse a record declaring a version this runtime does not implement, **before** its shape is
+ * read.
  *
  * Only `newer` is refused. An older record parses, and {@link compareSchemaVersion} is how a
  * caller decides whether to trust it.
+ *
+ * Version before fields, for the same reason Core's `validateRecord` orders them so: a newer record
+ * fails with one `ALDUS_SCHEMA_VERSION_UNSUPPORTED` that names the cause, rather than a field issue
+ * that describes the symptom. A missing or malformed version is not this check's to report — it
+ * falls through, and the schema reports it precisely under `ALDUS_CORPUS_MALFORMED`.
  */
-function assertSchemaVersionSupported(recordVersion: string, record: "corpus" | "run"): void {
-  if (compareSchemaVersion(recordVersion) !== "newer") return;
+function assertSchemaVersionSupported(input: unknown, record: "corpus" | "run"): void {
+  if (typeof input !== "object" || input === null) return;
+  const declared = (input as { schemaVersion?: unknown }).schemaVersion;
+  if (typeof declared !== "string" || !declaresNewerVersion(declared)) return;
   throw regressionError(
     RegressionErrorCodes.SCHEMA_VERSION_UNSUPPORTED,
     `A ${record} declares a schema version newer than this runtime implements. Its fields cannot ` +
-      "be interpreted here, and the schema discards what it does not declare, so accepting it " +
-      "would return a record that looks complete and is not.",
+      "be interpreted here, so accepting it would return a record that looks complete and is not.",
     {
       category: "validation",
       // The runtime's own version is this package's constant, not received input, so naming it is
@@ -350,6 +389,7 @@ function assertSchemaVersionSupported(recordVersion: string, record: "corpus" |
  * @throws {AldusError} `ALDUS_CORPUS_MALFORMED` or `ALDUS_CORPUS_DUPLICATE_CASE`.
  */
 export function parseDefectCorpus(input: unknown): DefectCorpus {
+  assertSchemaVersionSupported(input, "corpus");
   const result = defectCorpusSchema.safeParse(input);
   if (!result.success) {
     // Paths and issue codes only — never the received value (contract §19.2, ADR-0002).
@@ -368,8 +408,6 @@ export function parseDefectCorpus(input: unknown): DefectCorpus {
     );
   }
 
-  assertSchemaVersionSupported(result.data.schemaVersion, "corpus");
-
   const seen = new Set<string>();
   for (const entry of result.data.cases) {
     if (seen.has(entry.caseId)) {
@@ -391,6 +429,7 @@ export function parseDefectCorpus(input: unknown): DefectCorpus {
  * @throws {AldusError} `ALDUS_CORPUS_MALFORMED` or `ALDUS_OUTCOME_DUPLICATE`.
  */
 export function parseEvaluatorRun(input: unknown): EvaluatorRun {
+  assertSchemaVersionSupported(input, "run");
   const result = evaluatorRunSchema.safeParse(input);
   if (!result.success) {
     throw regressionError(
@@ -408,8 +447,6 @@ export function parseEvaluatorRun(input: unknown): EvaluatorRun {
     );
   }
 
-  assertSchemaVersionSupported(result.data.schemaVersion, "run");
-
   const seen = new Set<string>();
   for (const outcome of result.data.outcomes) {
     if (seen.has(outcome.caseId)) {