@mailwoman/geographic-model 10.0.0 → 10.2.0

package/out/compile.d.ts

@@ -3,82 +3,68 @@
  * @license AGPL-3.0
  * @author Teffen Ellis, et al.
  *
- *   Deterministic compilation of a validated {@link GeographicModelDocument} into the runtime artifact.
+ *   Compiles a validated {@link GeographicModelDocument} into the runtime artifact deterministically.
  *
- *   The compiler validates by DELEGATION: `parseGeographicModelDocument` is the only thing that
- *   decides whether a document is well formed, and it throws with every violation before a single byte
- *   is computed. There is no second validator here, and no partial artifact on failure — a compile
- *   either produces the whole artifact or produces nothing.
+ *   `parseGeographicModelDocument` performs all document validation and throws before compilation
+ *   starts. A compile either returns the whole artifact or throws.
  *
- *   **`isA` alone defines semantic inheritance.** Two things follow from it, and they are the whole
- *   derivation surface:
+ *   Only `isA` defines inheritance. The compiler materializes the transitive `isA` closure for each
+ *   concept. It copies each ancestor's assertions onto descendants as {@link DerivedFactRecord}
+ *   entries. The compiler does not close over relations marked `transitive` or `inverse`.
  *
- *   1. The transitive `isA` closure is materialized per concept, so a consumer asks "what is this a
- *      kind of" with one lookup rather than by walking the graph at query time.
- *   2. Every assertion an ancestor carries is materialized onto its descendants as a
- *      {@link DerivedFactRecord}, naming {@link DERIVATION_ISA_INHERITANCE} and every record the
- *      derivation read. Without this a consumer would still be traversing — the closure alone tells it
- *      which concepts to go and read, which is the traversal it was supposed to be spared.
- *
- *   A relation declaring `transitive` or `inverse` is NOT closed over. Those fields are vocabulary
- *   describing what the relation means; materializing them is a reasoning step no executable need has
- *   asked for, and the boundary record excludes general reasoning from this package. The day one is
- *   needed it arrives as its own named derivation beside this one.
- *
- *   Cycles never reach the derivations: `parseGeographicModelDocument` refuses a direct or indirect
- *   `isA` cycle and names the trail it followed, so a cyclic document fails as a validation error
- *   rather than as a hang. The walk below is breadth-first over a visited set regardless, which makes
- *   it total for any graph rather than for the graphs the validator happens to admit.
+ *   The validator rejects `isA` cycles, but the ancestor walk also tracks visited concepts, so it
+ *   terminates on any graph.
  */
 import { type CompiledGeographicModel } from "#artifact";
 /**
- * The name a fact derived by `isA` inheritance carries in its `derivation` field. A consumer branches on this rather
- * than on where the record sits.
+ * The `derivation` value of a fact derived by `isA` inheritance.
  */
 export declare const DERIVATION_ISA_INHERITANCE = "isa-assertion-inheritance";
 /**
- * Every way compilation can refuse a document the validator accepted.
+ * Reasons that compilation rejects a document that passed validation.
  *
- * Both are discovered while writing derived records, which is why the validator cannot report them: they are properties
- * of what the compiler is about to write, not of what the author wrote.
+ * Both problems concern the derived records.
+ * The validator never sees those records.
  */
 export declare const CompileIssueCode: {
     /**
-     * An inherited assertion would land on a concept whose kind the relation does not accept on the asserting side.
-     * Emitting it would put a record in the artifact that the document validator would reject if it were authored.
+     * An inherited assertion would apply to a concept whose kind the relation's `domainKinds` excludes.
      */
     readonly InheritedDomainKindMismatch: "inherited_domain_kind_mismatch";
     /**
-     * Two derived facts claim one identifier. Reachable when an authored derived fact takes an identifier a derivation
-     * also produces, or when authored identifiers carry the separators the derived form is built from.
+     * Two derived facts share one identifier.
+     *
+     * This happens when an authored derived fact uses an identifier that a derivation also
+     * produces, or when authored identifiers contain the separators of the derived form.
      */
     readonly DuplicateDerivedFactID: "duplicate_derived_fact_id";
 };
+/**
+ * A {@link CompileIssueCode} value.
+ */
 export type CompileIssueCode = (typeof CompileIssueCode)[keyof typeof CompileIssueCode];
 /**
- * One reason a document that validates does not compile.
+ * One reason that a valid document does not compile.
  */
 export interface CompileIssue {
     code: CompileIssueCode;
     message: string;
 }
 /**
- * Thrown by {@link compileGeographicModel}. Carries every reason at once, and states them all in its message, so a
- * caller that only prints `error.message` still sees the whole list.
+ * The error that {@link compileGeographicModel} throws.
+ * Its message lists every issue.
  */
 export declare class GeographicModelCompileError extends Error {
     readonly issues: readonly CompileIssue[];
     constructor(issues: readonly CompileIssue[]);
 }
 /**
- * Compile an authored geographic-model document into its runtime artifact.
+ * Compiles an authored geographic-model document into its runtime artifact.
  *
- * Throws `GeographicModelValidationError` with every violation if the input is not a valid document, and
- * {@link GeographicModelCompileError} with every reason if it validates but its derivations cannot be written. Nothing
- * partial is ever returned.
+ * The artifact's tables are new sorted arrays that hold the authored records unchanged.
  *
- * The document is read, never rewritten: the artifact's tables are new arrays holding the authored records themselves,
- * ordered by identifier, and the derived tables are new records built beside them.
+ * @throws {GeographicModelValidationError} When the input is not a valid document.
+ * @throws {GeographicModelCompileError} When the document is valid but its derived facts are invalid.
  */
 export declare function compileGeographicModel(input: unknown): CompiledGeographicModel;
 //# sourceMappingURL=compile.d.ts.map

package/out/compile.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"compile.d.ts","sourceRoot":"","sources":["../lib/compile.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAIH,OAAO,EAA2B,KAAK,uBAAuB,EAAgC,MAAM,WAAW,CAAA;AAc/G;;;GAGG;AACH,eAAO,MAAM,0BAA0B,8BAA8B,CAAA;AAErE;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB;IAC5B;;;OAGG;aACH,2BAA2B,EAAE,gCAAgC;IAC7D;;;OAGG;aACH,sBAAsB,EAAE,2BAA2B;CAC1C,CAAA;AAEV,MAAM,MAAM,gBAAgB,GAAG,CAAC,OAAO,gBAAgB,CAAC,CAAC,MAAM,OAAO,gBAAgB,CAAC,CAAA;AAEvF;;GAEG;AACH,MAAM,WAAW,YAAY;IAC5B,IAAI,EAAE,gBAAgB,CAAA;IACtB,OAAO,EAAE,MAAM,CAAA;CACf;AAED;;;GAGG;AACH,qBAAa,2BAA4B,SAAQ,KAAK;IACrD,QAAQ,CAAC,MAAM,EAAE,SAAS,YAAY,EAAE,CAAA;IAExC,YAAY,MAAM,EAAE,SAAS,YAAY,EAAE,EAO1C;CACD;AA+MD;;;;;;;;;GASG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,OAAO,GAAG,uBAAuB,CA6B9E"}
+{"version":3,"file":"compile.d.ts","sourceRoot":"","sources":["../lib/compile.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAIH,OAAO,EAA2B,KAAK,uBAAuB,EAAgC,MAAM,WAAW,CAAA;AAc/G;;GAEG;AACH,eAAO,MAAM,0BAA0B,8BAA8B,CAAA;AAErE;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB;IAC5B;;OAEG;aACH,2BAA2B,EAAE,gCAAgC;IAC7D;;;;;OAKG;aACH,sBAAsB,EAAE,2BAA2B;CAC1C,CAAA;AAEV;;GAEG;AAEH,MAAM,MAAM,gBAAgB,GAAG,CAAC,OAAO,gBAAgB,CAAC,CAAC,MAAM,OAAO,gBAAgB,CAAC,CAAA;AAEvF;;GAEG;AACH,MAAM,WAAW,YAAY;IAC5B,IAAI,EAAE,gBAAgB,CAAA;IACtB,OAAO,EAAE,MAAM,CAAA;CACf;AAED;;;GAGG;AACH,qBAAa,2BAA4B,SAAQ,KAAK;IACrD,QAAQ,CAAC,MAAM,EAAE,SAAS,YAAY,EAAE,CAAA;IAExC,YAAY,MAAM,EAAE,SAAS,YAAY,EAAE,EAO1C;CACD;AA6MD;;;;;;;GAOG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,OAAO,GAAG,uBAAuB,CA6B9E"}

package/out/compile.js

@@ -3,63 +3,48 @@
  * @license AGPL-3.0
  * @author Teffen Ellis, et al.
  *
- *   Deterministic compilation of a validated {@link GeographicModelDocument} into the runtime artifact.
+ *   Compiles a validated {@link GeographicModelDocument} into the runtime artifact deterministically.
  *
- *   The compiler validates by DELEGATION: `parseGeographicModelDocument` is the only thing that
- *   decides whether a document is well formed, and it throws with every violation before a single byte
- *   is computed. There is no second validator here, and no partial artifact on failure — a compile
- *   either produces the whole artifact or produces nothing.
+ *   `parseGeographicModelDocument` performs all document validation and throws before compilation
+ *   starts. A compile either returns the whole artifact or throws.
  *
- *   **`isA` alone defines semantic inheritance.** Two things follow from it, and they are the whole
- *   derivation surface:
+ *   Only `isA` defines inheritance. The compiler materializes the transitive `isA` closure for each
+ *   concept. It copies each ancestor's assertions onto descendants as {@link DerivedFactRecord}
+ *   entries. The compiler does not close over relations marked `transitive` or `inverse`.
  *
- *   1. The transitive `isA` closure is materialized per concept, so a consumer asks "what is this a
- *      kind of" with one lookup rather than by walking the graph at query time.
- *   2. Every assertion an ancestor carries is materialized onto its descendants as a
- *      {@link DerivedFactRecord}, naming {@link DERIVATION_ISA_INHERITANCE} and every record the
- *      derivation read. Without this a consumer would still be traversing — the closure alone tells it
- *      which concepts to go and read, which is the traversal it was supposed to be spared.
- *
- *   A relation declaring `transitive` or `inverse` is NOT closed over. Those fields are vocabulary
- *   describing what the relation means; materializing them is a reasoning step no executable need has
- *   asked for, and the boundary record excludes general reasoning from this package. The day one is
- *   needed it arrives as its own named derivation beside this one.
- *
- *   Cycles never reach the derivations: `parseGeographicModelDocument` refuses a direct or indirect
- *   `isA` cycle and names the trail it followed, so a cyclic document fails as a validation error
- *   rather than as a hang. The walk below is breadth-first over a visited set regardless, which makes
- *   it total for any graph rather than for the graphs the validator happens to admit.
+ *   The validator rejects `isA` cycles, but the ancestor walk also tracks visited concepts, so it
+ *   terminates on any graph.
  */
 import { compareByCodePoint as compareIdentifiers } from "@mailwoman/core/strings/compare";
 import { ARTIFACT_SCHEMA_VERSION } from "#artifact";
 import { DerivationInputKind, toConceptID, toDerivedFactID, } from "#schema";
 import { parseGeographicModelDocument } from "#validate";
 /**
- * The name a fact derived by `isA` inheritance carries in its `derivation` field. A consumer branches on this rather
- * than on where the record sits.
+ * The `derivation` value of a fact derived by `isA` inheritance.
  */
 export const DERIVATION_ISA_INHERITANCE = "isa-assertion-inheritance";
 /**
- * Every way compilation can refuse a document the validator accepted.
+ * Reasons that compilation rejects a document that passed validation.
  *
- * Both are discovered while writing derived records, which is why the validator cannot report them: they are properties
- * of what the compiler is about to write, not of what the author wrote.
+ * Both problems concern the derived records.
+ * The validator never sees those records.
  */
 export const CompileIssueCode = {
     /**
-     * An inherited assertion would land on a concept whose kind the relation does not accept on the asserting side.
-     * Emitting it would put a record in the artifact that the document validator would reject if it were authored.
+     * An inherited assertion would apply to a concept whose kind the relation's `domainKinds` excludes.
      */
     InheritedDomainKindMismatch: "inherited_domain_kind_mismatch",
     /**
-     * Two derived facts claim one identifier. Reachable when an authored derived fact takes an identifier a derivation
-     * also produces, or when authored identifiers carry the separators the derived form is built from.
+     * Two derived facts share one identifier.
+     *
+     * This happens when an authored derived fact uses an identifier that a derivation also
+     * produces, or when authored identifiers contain the separators of the derived form.
      */
     DuplicateDerivedFactID: "duplicate_derived_fact_id",
 };
 /**
- * Thrown by {@link compileGeographicModel}. Carries every reason at once, and states them all in its message, so a
- * caller that only prints `error.message` still sees the whole list.
+ * The error that {@link compileGeographicModel} throws.
+ * Its message lists every issue.
  */
 export class GeographicModelCompileError extends Error {
     issues;
@@ -71,8 +56,8 @@ export class GeographicModelCompileError extends Error {
     }
 }
 /**
- * The order derivation inputs are listed in. Grouping by table first keeps a long input list readable; the identifier
- * breaks ties inside a table.
+ * Sort order of derivation inputs by kind.
+ * Identifiers break ties within a kind.
  */
 const DERIVATION_INPUT_ORDER = [
     DerivationInputKind.Concept,
@@ -83,30 +68,27 @@ const DERIVATION_INPUT_ORDER = [
     DerivationInputKind.DerivedFact,
 ];
 /**
- * The separator for the compound keys this module groups by. `U+0000` cannot appear in a readable identifier without
- * being visible in it, so two different key tuples cannot collapse onto one string. The derived IDENTIFIERS written
- * into the artifact use readable separators instead, and are checked for collisions once they are all built.
+ * Separator for internal grouping keys.
+ *
+ * Identifiers never contain `U+0000`, so distinct key tuples cannot produce the same string.
  */
 const KEY_SEPARATOR = "\u0000";
 /**
- * The separator between country codes inside a derived identifier.
+ * Separator between country codes in a derived identifier.
  */
 const COUNTRY_SEPARATOR = "+";
 function compareByID(left, right) {
     return compareIdentifiers(left.id, right.id);
 }
 /**
- * Walk `isA` upward from one concept and return every concept reachable, in code-point order.
- *
- * Breadth-first over a visited set: each concept is expanded once, so the walk terminates on any graph and the answer
- * does not depend on how the parents were authored. The concept itself is never in its own list — it could only get
- * there around a cycle, and the validator refuses those before the compiler runs.
+ * Returns every concept reachable from `conceptID` through `isA`, sorted by code point.
+ * The result excludes the concept itself.
  */
 function ancestorsOfConcept(conceptID, parents) {
     const visited = new Set();
     const frontier = [...(parents.get(conceptID) ?? [])];
-    // An array iterator reads entries appended during the walk, which is what makes this breadth-first rather than a
-    // pass over the direct parents.
+    // The array iterator also visits entries pushed during the loop.
+    // This makes the walk breadth-first.
     for (const next of frontier) {
         if (next === conceptID || visited.has(next))
             continue;
@@ -127,8 +109,9 @@ function draftInputs(draft) {
     });
 }
 /**
- * The identifier a derived fact carries. Built from the proposition it states, so it is stable across edits elsewhere
- * in the document, and readable, so a reader meeting one in a diff can tell what it says.
+ * Builds a readable derived-fact identifier from the fact's proposition.
+ *
+ * The identifier stays stable when unrelated parts of the document change.
  */
 function derivedFactID(draft) {
     const scope = draft.countries?.length ? `:${draft.countries.join(COUNTRY_SEPARATOR)}` : "";
@@ -136,7 +119,7 @@ function derivedFactID(draft) {
     return `${DERIVATION_ISA_INHERITANCE}:${draft.subject}:${relation}:${target}:${modality}${scope}`;
 }
 /**
- * The relation and target one assertion is about — the pair a descendant's own assertion speaks for.
+ * Returns a key for an assertion's relation and target.
  */
 function edgeKey(assertion) {
     return `${assertion.relation}${KEY_SEPARATOR}${assertion.target}`;
@@ -146,11 +129,9 @@ function draftKey(subject, assertion, countries) {
     return `${subject}${KEY_SEPARATOR}${edgeKey(assertion)}${KEY_SEPARATOR}${assertion.modality}${KEY_SEPARATOR}${scope}`;
 }
 /**
- * Materialize every ancestor's assertions onto their descendants.
+ * Copies each ancestor's assertions onto its descendants as derived facts.
  *
- * A concept that authors its own assertion for the same relation and target inherits nothing for that pair. The
- * authored record is the more specific one, which is what `isA` means, and re-stating the pair would put two modalities
- * for one proposition into the artifact with no rule saying which of them holds.
+ * A concept's own assertion for a relation and target overrides every inherited assertion for that pair.
  */
 function deriveInheritedFacts(concepts, closure, relations, issues) {
     const conceptByID = new Map(concepts.map((concept) => [String(concept.id), concept]));
@@ -163,9 +144,8 @@ function deriveInheritedFacts(concepts, closure, relations, issues) {
         const authored = new Set(concept.assertions.map(edgeKey));
         for (const ancestorID of entry.ancestors) {
             const ancestor = conceptByID.get(String(ancestorID));
-            // Validation refuses an `isA` naming an undeclared concept, and an assertion naming an undeclared relation,
-            // so both resolve for any document that reached the compiler. The guards keep the walk total; they do not
-            // describe a state the artifact can hold.
+            // Validation guarantees that every referenced concept and relation exists.
+            // These guards only satisfy the type checker.
             if (!ancestor)
                 continue;
             for (const assertion of ancestor.assertions) {
@@ -182,7 +162,7 @@ function deriveInheritedFacts(concepts, closure, relations, issues) {
                     });
                     continue;
                 }
-                const countries = assertion.countries?.length ? assertion.countries.toSorted(compareIdentifiers) : undefined;
+                const countries = assertion.countries?.length ? assertion.countries.toSorted(compareIdentifiers) : null;
                 const key = draftKey(concept.id, assertion, countries);
                 const existing = drafts.get(key);
                 const draft = existing ?? { subject: concept.id, assertion, countries, inputs: new Map() };
@@ -222,14 +202,12 @@ function checkDerivedIdentifiers(facts, issues) {
     }
 }
 /**
- * Compile an authored geographic-model document into its runtime artifact.
+ * Compiles an authored geographic-model document into its runtime artifact.
  *
- * Throws `GeographicModelValidationError` with every violation if the input is not a valid document, and
- * {@link GeographicModelCompileError} with every reason if it validates but its derivations cannot be written. Nothing
- * partial is ever returned.
+ * The artifact's tables are new sorted arrays that hold the authored records unchanged.
  *
- * The document is read, never rewritten: the artifact's tables are new arrays holding the authored records themselves,
- * ordered by identifier, and the derived tables are new records built beside them.
+ * @throws {GeographicModelValidationError} When the input is not a valid document.
+ * @throws {GeographicModelCompileError} When the document is valid but its derived facts are invalid.
  */
 export function compileGeographicModel(input) {
     const document = parseGeographicModelDocument(input);

package/out/compile.js.map

@@ -1 +1 @@
-{"version":3,"file":"compile.js","sourceRoot":"","sources":["../lib/compile.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAEH,OAAO,EAAE,kBAAkB,IAAI,kBAAkB,EAAE,MAAM,iCAAiC,CAAA;AAE1F,OAAO,EAAE,uBAAuB,EAA8D,MAAM,WAAW,CAAA;AAC/G,OAAO,EAIN,mBAAmB,EAKnB,WAAW,EACX,eAAe,GACf,MAAM,SAAS,CAAA;AAChB,OAAO,EAAE,4BAA4B,EAAE,MAAM,WAAW,CAAA;AACxD;;;GAGG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,2BAA2B,CAAA;AAErE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG;IAC/B;;;OAGG;IACH,2BAA2B,EAAE,gCAAgC;IAC7D;;;OAGG;IACH,sBAAsB,EAAE,2BAA2B;CAC1C,CAAA;AAYV;;;GAGG;AACH,MAAM,OAAO,2BAA4B,SAAQ,KAAK;IAC5C,MAAM,CAAyB;IAExC,YAAY,MAA+B;QAC1C,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,KAAK,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAEnF,KAAK,CAAC,+CAA+C,MAAM,CAAC,MAAM,aAAa,MAAM,EAAE,CAAC,CAAA;QAExF,IAAI,CAAC,IAAI,GAAG,6BAA6B,CAAA;QACzC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAA;IACrB,CAAC;CACD;AAED;;;GAGG;AACH,MAAM,sBAAsB,GAAmC;IAC9D,mBAAmB,CAAC,OAAO;IAC3B,mBAAmB,CAAC,QAAQ;IAC5B,mBAAmB,CAAC,SAAS;IAC7B,mBAAmB,CAAC,OAAO;IAC3B,mBAAmB,CAAC,WAAW;IAC/B,mBAAmB,CAAC,WAAW;CAC/B,CAAA;AAED;;;;GAIG;AACH,MAAM,aAAa,GAAG,QAAQ,CAAA;AAE9B;;GAEG;AACH,MAAM,iBAAiB,GAAG,GAAG,CAAA;AAE7B,SAAS,WAAW,CAAC,IAAoB,EAAE,KAAqB;IAC/D,OAAO,kBAAkB,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAA;AAC7C,CAAC;AAED;;;;;;GAMG;AACH,SAAS,kBAAkB,CAC1B,SAAoB,EACpB,OAAkD;IAElD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAA;IACjC,MAAM,QAAQ,GAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;IAEjE,iHAAiH;IACjH,gCAAgC;IAChC,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC7B,IAAI,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAQ;QAErD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QACjB,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;IAC5C,CAAC;IAED,MAAM,SAAS,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAA;IAE3D,OAAO,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;AAClC,CAAC;AAcD,SAAS,QAAQ,CAAC,KAAmB,EAAE,KAAsB;IAC5D,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,GAAG,aAAa,GAAG,KAAK,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,CAAA;AACpE,CAAC;AAED,SAAS,WAAW,CAAC,KAAmB;IACvC,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAA;IAEzC,OAAO,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QACtC,MAAM,MAAM,GAAG,sBAAsB,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,sBAAsB,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QAErG,OAAO,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAA;IACrE,CAAC,CAAC,CAAA;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,aAAa,CAAC,KAAmB;IACzC,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;IAC1F,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC,SAAS,CAAA;IAEtD,OAAO,GAAG,0BAA0B,IAAI,KAAK,CAAC,OAAO,IAAI,QAAQ,IAAI,MAAM,IAAI,QAAQ,GAAG,KAAK,EAAE,CAAA;AAClG,CAAC;AAED;;GAEG;AACH,SAAS,OAAO,CAAC,SAA4B;IAC5C,OAAO,GAAG,SAAS,CAAC,QAAQ,GAAG,aAAa,GAAG,SAAS,CAAC,MAAM,EAAE,CAAA;AAClE,CAAC;AAED,SAAS,QAAQ,CAAC,OAAkB,EAAE,SAA4B,EAAE,SAAwC;IAC3G,MAAM,KAAK,GAAG,SAAS,EAAE,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,CAAA;IAEtD,OAAO,GAAG,OAAO,GAAG,aAAa,GAAG,OAAO,CAAC,SAAS,CAAC,GAAG,aAAa,GAAG,SAAS,CAAC,QAAQ,GAAG,aAAa,GAAG,KAAK,EAAE,CAAA;AACtH,CAAC;AAED;;;;;;GAMG;AACH,SAAS,oBAAoB,CAC5B,QAAkC,EAClC,OAA2C,EAC3C,SAAoC,EACpC,MAAsB;IAEtB,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAA;IACrF,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAA;IAC1F,MAAM,MAAM,GAAG,IAAI,GAAG,EAAwB,CAAA;IAE9C,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAA;QAEtD,IAAI,CAAC,OAAO;YAAE,SAAQ;QAEtB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAA;QAEzD,KAAK,MAAM,UAAU,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;YAC1C,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAA;YAEpD,4GAA4G;YAC5G,0GAA0G;YAC1G,0CAA0C;YAC1C,IAAI,CAAC,QAAQ;gBAAE,SAAQ;YAEvB,KAAK,MAAM,SAAS,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;gBAC7C,IAAI,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;oBAAE,SAAQ;gBAE9C,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAA;gBAE7D,IAAI,CAAC,QAAQ;oBAAE,SAAQ;gBAEvB,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;oBAClD,MAAM,QAAQ,GAAG,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;oBAE7E,MAAM,CAAC,IAAI,CAAC;wBACX,IAAI,EAAE,gBAAgB,CAAC,2BAA2B;wBAClD,OAAO,EAAE,KAAK,OAAO,CAAC,EAAE,aAAa,OAAO,CAAC,IAAI,yBAAyB,QAAQ,CAAC,EAAE,yBAAyB,SAAS,CAAC,EAAE,sBAAsB,QAAQ,CAAC,EAAE,sBAAsB,QAAQ,wBAAwB;qBACjN,CAAC,CAAA;oBAEF,SAAQ;gBACT,CAAC;gBAED,MAAM,SAAS,GAAG,SAAS,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;gBAC5G,MAAM,GAAG,GAAG,QAAQ,CAAC,OAAO,CAAC,EAAE,EAAE,SAAS,EAAE,SAAS,CAAC,CAAA;gBACtD,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;gBAChC,MAAM,KAAK,GAAiB,QAAQ,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,EAAE,CAAA;gBAExG,QAAQ,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,mBAAmB,CAAC,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,CAAA;gBACtE,QAAQ,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,mBAAmB,CAAC,OAAO,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAA;gBACvE,QAAQ,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,mBAAmB,CAAC,QAAQ,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAA;gBACxE,QAAQ,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,mBAAmB,CAAC,SAAS,EAAE,EAAE,EAAE,SAAS,CAAC,EAAE,EAAE,CAAC,CAAA;gBAE1E,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACf,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;gBACvB,CAAC;YACF,CAAC;QACF,CAAC;IACF,CAAC;IAED,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC3C,EAAE,EAAE,eAAe,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;QACzC,UAAU,EAAE,0BAA0B;QACtC,MAAM,EAAE,WAAW,CAAC,KAAK,CAAC;QAC1B,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC,QAAQ;QAClC,MAAM,EAAE,KAAK,CAAC,SAAS,CAAC,MAAM;QAC9B,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC,QAAQ;QAClC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC/D,CAAC,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAmC,EAAE,MAAsB;IAC3F,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAE9B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QAC1B,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QAE1B,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YAClB,MAAM,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,gBAAgB,CAAC,sBAAsB;gBAC7C,OAAO,EAAE,6BAA6B,EAAE,2EAA2E;aACnH,CAAC,CAAA;YAEF,SAAQ;QACT,CAAC;QAED,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IACb,CAAC;AACF,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAAc;IACpD,MAAM,QAAQ,GAA4B,4BAA4B,CAAC,KAAK,CAAC,CAAA;IAC7E,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAA;IACxD,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAA;IAC1D,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IAErF,MAAM,kBAAkB,GAA8B,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QAChF,OAAO,EAAE,OAAO,CAAC,EAAE;QACnB,SAAS,EAAE,kBAAkB,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC;KAClD,CAAC,CAAC,CAAA;IAEH,MAAM,MAAM,GAAmB,EAAE,CAAA;IACjC,MAAM,OAAO,GAAG,oBAAoB,CAAC,QAAQ,EAAE,kBAAkB,EAAE,SAAS,EAAE,MAAM,CAAC,CAAA;IACrF,MAAM,YAAY,GAAG,CAAC,GAAG,QAAQ,CAAC,YAAY,EAAE,GAAG,OAAO,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAA;IAEjF,uBAAuB,CAAC,YAAY,EAAE,MAAM,CAAC,CAAA;IAE7C,IAAI,MAAM,CAAC,MAAM;QAAE,MAAM,IAAI,2BAA2B,CAAC,MAAM,CAAC,CAAA;IAEhE,OAAO;QACN,aAAa,EAAE,uBAAuB;QACtC,YAAY,EAAE,QAAQ,CAAC,OAAO;QAC9B,SAAS;QACT,QAAQ;QACR,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC;QACjD,YAAY,EAAE,QAAQ,CAAC,YAAY,CAAC,QAAQ,CAAC,WAAW,CAAC;QACzD,kBAAkB;QAClB,YAAY;KACZ,CAAA;AACF,CAAC"}
+{"version":3,"file":"compile.js","sourceRoot":"","sources":["../lib/compile.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,kBAAkB,IAAI,kBAAkB,EAAE,MAAM,iCAAiC,CAAA;AAE1F,OAAO,EAAE,uBAAuB,EAA8D,MAAM,WAAW,CAAA;AAC/G,OAAO,EAIN,mBAAmB,EAKnB,WAAW,EACX,eAAe,GACf,MAAM,SAAS,CAAA;AAChB,OAAO,EAAE,4BAA4B,EAAE,MAAM,WAAW,CAAA;AACxD;;GAEG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,2BAA2B,CAAA;AAErE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG;IAC/B;;OAEG;IACH,2BAA2B,EAAE,gCAAgC;IAC7D;;;;;OAKG;IACH,sBAAsB,EAAE,2BAA2B;CAC1C,CAAA;AAgBV;;;GAGG;AACH,MAAM,OAAO,2BAA4B,SAAQ,KAAK;IAC5C,MAAM,CAAyB;IAExC,YAAY,MAA+B;QAC1C,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,KAAK,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAEnF,KAAK,CAAC,+CAA+C,MAAM,CAAC,MAAM,aAAa,MAAM,EAAE,CAAC,CAAA;QAExF,IAAI,CAAC,IAAI,GAAG,6BAA6B,CAAA;QACzC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAA;IACrB,CAAC;CACD;AAED;;;GAGG;AACH,MAAM,sBAAsB,GAAmC;IAC9D,mBAAmB,CAAC,OAAO;IAC3B,mBAAmB,CAAC,QAAQ;IAC5B,mBAAmB,CAAC,SAAS;IAC7B,mBAAmB,CAAC,OAAO;IAC3B,mBAAmB,CAAC,WAAW;IAC/B,mBAAmB,CAAC,WAAW;CAC/B,CAAA;AAED;;;;GAIG;AACH,MAAM,aAAa,GAAG,QAAQ,CAAA;AAE9B;;GAEG;AACH,MAAM,iBAAiB,GAAG,GAAG,CAAA;AAE7B,SAAS,WAAW,CAAC,IAAoB,EAAE,KAAqB;IAC/D,OAAO,kBAAkB,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAA;AAC7C,CAAC;AAED;;;GAGG;AACH,SAAS,kBAAkB,CAC1B,SAAoB,EACpB,OAAkD;IAElD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAA;IACjC,MAAM,QAAQ,GAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;IAEjE,iEAAiE;IACjE,qCAAqC;IACrC,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC7B,IAAI,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAQ;QAErD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QACjB,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;IAC5C,CAAC;IAED,MAAM,SAAS,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAA;IAE3D,OAAO,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;AAClC,CAAC;AAiBD,SAAS,QAAQ,CAAC,KAAmB,EAAE,KAAsB;IAC5D,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,GAAG,aAAa,GAAG,KAAK,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,CAAA;AACpE,CAAC;AAED,SAAS,WAAW,CAAC,KAAmB;IACvC,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAA;IAEzC,OAAO,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QACtC,MAAM,MAAM,GAAG,sBAAsB,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,sBAAsB,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QAErG,OAAO,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAA;IACrE,CAAC,CAAC,CAAA;AACH,CAAC;AAED;;;;GAIG;AACH,SAAS,aAAa,CAAC,KAAmB;IACzC,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;IAC1F,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC,SAAS,CAAA;IAEtD,OAAO,GAAG,0BAA0B,IAAI,KAAK,CAAC,OAAO,IAAI,QAAQ,IAAI,MAAM,IAAI,QAAQ,GAAG,KAAK,EAAE,CAAA;AAClG,CAAC;AAED;;GAEG;AACH,SAAS,OAAO,CAAC,SAA4B;IAC5C,OAAO,GAAG,SAAS,CAAC,QAAQ,GAAG,aAAa,GAAG,SAAS,CAAC,MAAM,EAAE,CAAA;AAClE,CAAC;AAED,SAAS,QAAQ,CAAC,OAAkB,EAAE,SAA4B,EAAE,SAAmC;IACtG,MAAM,KAAK,GAAG,SAAS,EAAE,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,CAAA;IAEtD,OAAO,GAAG,OAAO,GAAG,aAAa,GAAG,OAAO,CAAC,SAAS,CAAC,GAAG,aAAa,GAAG,SAAS,CAAC,QAAQ,GAAG,aAAa,GAAG,KAAK,EAAE,CAAA;AACtH,CAAC;AAED;;;;GAIG;AACH,SAAS,oBAAoB,CAC5B,QAAkC,EAClC,OAA2C,EAC3C,SAAoC,EACpC,MAAsB;IAEtB,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAA;IACrF,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAA;IAC1F,MAAM,MAAM,GAAG,IAAI,GAAG,EAAwB,CAAA;IAE9C,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAA;QAEtD,IAAI,CAAC,OAAO;YAAE,SAAQ;QAEtB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAA;QAEzD,KAAK,MAAM,UAAU,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;YAC1C,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAA;YAEpD,2EAA2E;YAC3E,8CAA8C;YAC9C,IAAI,CAAC,QAAQ;gBAAE,SAAQ;YAEvB,KAAK,MAAM,SAAS,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;gBAC7C,IAAI,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;oBAAE,SAAQ;gBAE9C,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAA;gBAE7D,IAAI,CAAC,QAAQ;oBAAE,SAAQ;gBAEvB,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;oBAClD,MAAM,QAAQ,GAAG,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;oBAE7E,MAAM,CAAC,IAAI,CAAC;wBACX,IAAI,EAAE,gBAAgB,CAAC,2BAA2B;wBAClD,OAAO,EAAE,KAAK,OAAO,CAAC,EAAE,aAAa,OAAO,CAAC,IAAI,yBAAyB,QAAQ,CAAC,EAAE,yBAAyB,SAAS,CAAC,EAAE,sBAAsB,QAAQ,CAAC,EAAE,sBAAsB,QAAQ,wBAAwB;qBACjN,CAAC,CAAA;oBAEF,SAAQ;gBACT,CAAC;gBAED,MAAM,SAAS,GAAG,SAAS,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;gBACvG,MAAM,GAAG,GAAG,QAAQ,CAAC,OAAO,CAAC,EAAE,EAAE,SAAS,EAAE,SAAS,CAAC,CAAA;gBACtD,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;gBAChC,MAAM,KAAK,GAAiB,QAAQ,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,EAAE,CAAA;gBAExG,QAAQ,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,mBAAmB,CAAC,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,CAAA;gBACtE,QAAQ,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,mBAAmB,CAAC,OAAO,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAA;gBACvE,QAAQ,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,mBAAmB,CAAC,QAAQ,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAA;gBACxE,QAAQ,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,mBAAmB,CAAC,SAAS,EAAE,EAAE,EAAE,SAAS,CAAC,EAAE,EAAE,CAAC,CAAA;gBAE1E,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACf,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;gBACvB,CAAC;YACF,CAAC;QACF,CAAC;IACF,CAAC;IAED,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC3C,EAAE,EAAE,eAAe,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;QACzC,UAAU,EAAE,0BAA0B;QACtC,MAAM,EAAE,WAAW,CAAC,KAAK,CAAC;QAC1B,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC,QAAQ;QAClC,MAAM,EAAE,KAAK,CAAC,SAAS,CAAC,MAAM;QAC9B,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC,QAAQ;QAClC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC/D,CAAC,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAmC,EAAE,MAAsB;IAC3F,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAE9B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QAC1B,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QAE1B,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YAClB,MAAM,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,gBAAgB,CAAC,sBAAsB;gBAC7C,OAAO,EAAE,6BAA6B,EAAE,2EAA2E;aACnH,CAAC,CAAA;YAEF,SAAQ;QACT,CAAC;QAED,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IACb,CAAC;AACF,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAAc;IACpD,MAAM,QAAQ,GAA4B,4BAA4B,CAAC,KAAK,CAAC,CAAA;IAC7E,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAA;IACxD,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAA;IAC1D,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IAErF,MAAM,kBAAkB,GAA8B,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QAChF,OAAO,EAAE,OAAO,CAAC,EAAE;QACnB,SAAS,EAAE,kBAAkB,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC;KAClD,CAAC,CAAC,CAAA;IAEH,MAAM,MAAM,GAAmB,EAAE,CAAA;IACjC,MAAM,OAAO,GAAG,oBAAoB,CAAC,QAAQ,EAAE,kBAAkB,EAAE,SAAS,EAAE,MAAM,CAAC,CAAA;IACrF,MAAM,YAAY,GAAG,CAAC,GAAG,QAAQ,CAAC,YAAY,EAAE,GAAG,OAAO,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAA;IAEjF,uBAAuB,CAAC,YAAY,EAAE,MAAM,CAAC,CAAA;IAE7C,IAAI,MAAM,CAAC,MAAM;QAAE,MAAM,IAAI,2BAA2B,CAAC,MAAM,CAAC,CAAA;IAEhE,OAAO;QACN,aAAa,EAAE,uBAAuB;QACtC,YAAY,EAAE,QAAQ,CAAC,OAAO;QAC9B,SAAS;QACT,QAAQ;QACR,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC;QACjD,YAAY,EAAE,QAAQ,CAAC,YAAY,CAAC,QAAQ,CAAC,WAAW,CAAC;QACzD,kBAAkB;QAClB,YAAY;KACZ,CAAA;AACF,CAAC"}

package/out/index.d.ts

@@ -3,49 +3,36 @@
  * @license AGPL-3.0
  * @author Teffen Ellis, et al.
  *
- *   `@mailwoman/geographic-model` — the world-semantic layer: stable concepts beyond the POI
- *   vocabulary, relation definitions, activities and affordances, rule modality, source
- *   observations, derived facts, derivation provenance, deterministic compilation and validation,
- *   and mappings from external vocabularies into world concepts.
+ * `@mailwoman/geographic-model` — the world-semantic layer: stable concepts beyond the POI
+ * vocabulary, relation definitions, activities, affordances, rule modality, source observations,
+ * derived facts, derivation provenance, deterministic compilation, plus validation.
  *
- *   The public surface is the authored-record schema (`./schema.ts`), its deterministic validator
- *   (`./validate.ts`), the compiler that turns a validated document into the runtime artifact
- *   (`./compile.ts`), the artifact's shape and canonical bytes (`./artifact.ts`), and the lookups a
- *   runtime consumer reads it through (`./lookup.ts`). All five are re-exported here and all five are
- *   reachable as curated subpaths.
+ * The authoring loader (`./load.ts`, the `./load` subpath) is deliberately not re-exported here: it is
+ * the only module in the package that touches a filesystem and belongs to the build step rather than
+ * to the consumers that read an artifact.
  *
- *   The authoring loader (`./load.ts`, the `./load` subpath) is deliberately NOT re-exported here. It
- *   is the only module in the package that touches a filesystem, and it belongs to the build step that
- *   produces an artifact rather than to the consumers that read one. The first authored document
- *   arrives with #1927; this entry point carries no data.
+ * Four things this package must never hold, each owned elsewhere:
  *
- *   Four things this package must never hold, each owned elsewhere and each a rule the review
- *   applies rather than a preference:
+ * 1. The resolver owns ranking policy. It defines weights, boosts, penalties and candidate order.
+ *    The resolver package also owns rank order. The neural package and `@mailwoman/core/decoder` own
+ *    the decode objective. This package creates observations and leaves candidate order to the resolver.
+ * 2. A second POI vocabulary — external and curated POI categories, their containment hierarchy, the
+ *    Overture-leaf translation, the query-phrase lexicon and the brand table belong to
+ *    `@mailwoman/poi-taxonomy`; this package maps into those identifiers.
+ * 3. A second coverage register — dataset identity and coverage epistemics belong to
+ *    `@mailwoman/core/layers`, and an expected-but-absent observation becomes negative evidence only
+ *    where `supportsExclusion` permits it there.
+ * 4. Empirical affordance statistics — this package owns the stable activity and affordance identifiers.
+ *    It does not own numeric values fitted against those identifiers.
  *
- *   1. **Ranking policy.** No weights, boosts, penalties, or candidate-ordering API — not as a
- *      function, not as a type. Candidate ordering belongs to `@mailwoman/resolver`, and the decode
- *      objective to `@mailwoman/neural` plus `@mailwoman/core/decoder`. Knowledge here creates
- *      observations; it never overrides learned interpretation.
- *   2. **A second POI vocabulary.** External and curated POI categories, their containment
- *      hierarchy, the Overture-leaf translation, the query-phrase lexicon and the brand table all
- *      belong to `@mailwoman/poi-taxonomy`. This package maps INTO those identifiers.
- *   3. **A second coverage register.** Dataset identity and coverage epistemics belong to
- *      `@mailwoman/core/layers`. An expected-but-absent observation becomes negative evidence only
- *      where `supportsExclusion` permits it there.
- *   4. **Empirical affordance statistics.** #1683 fits those. This package owns the stable
- *      activity and affordance identifiers they are fitted against, and nothing numeric about them.
- *
- *   `@mailwoman/core` must not depend on this package. Core ships the pipeline contract and roughly
- *   9 MB of reference data to every consumer, so a world-semantics dependency there is one every
- *   drop-in API inherits without asking for it. Reversing that direction is an explicit amendment to
- *   the boundary record, not a convenience during implementation.
- *
- *   Boundary record: `docs/superpowers/specs/2026-08-26-geographic-model-boundaries.md` (#1917).
- *   Program parent: #1916.
+ * `@mailwoman/core` must not depend on this package: core ships the pipeline interface and roughly
+ * 9 MB of reference data to every consumer, so a world-semantics dependency there is one every
+ * drop-in API inherits without asking.
  */
 export * from "#artifact";
 export * from "#compile";
 export * from "#lookup";
 export * from "#schema";
 export * from "#validate";
+export { type ValidationIssue, ValidationIssueCode } from "#validation/issues";
 //# sourceMappingURL=index.d.ts.map

package/out/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../lib/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;AAEH,cAAc,WAAW,CAAA;AACzB,cAAc,UAAU,CAAA;AACxB,cAAc,SAAS,CAAA;AACvB,cAAc,SAAS,CAAA;AACvB,cAAc,WAAW,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../lib/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,cAAc,WAAW,CAAA;AACzB,cAAc,UAAU,CAAA;AACxB,cAAc,SAAS,CAAA;AACvB,cAAc,SAAS,CAAA;AACvB,cAAc,WAAW,CAAA;AACzB,OAAO,EAAE,KAAK,eAAe,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAA"}

package/out/index.js

@@ -3,49 +3,36 @@
  * @license AGPL-3.0
  * @author Teffen Ellis, et al.
  *
- *   `@mailwoman/geographic-model` — the world-semantic layer: stable concepts beyond the POI
- *   vocabulary, relation definitions, activities and affordances, rule modality, source
- *   observations, derived facts, derivation provenance, deterministic compilation and validation,
- *   and mappings from external vocabularies into world concepts.
+ * `@mailwoman/geographic-model` — the world-semantic layer: stable concepts beyond the POI
+ * vocabulary, relation definitions, activities, affordances, rule modality, source observations,
+ * derived facts, derivation provenance, deterministic compilation, plus validation.
  *
- *   The public surface is the authored-record schema (`./schema.ts`), its deterministic validator
- *   (`./validate.ts`), the compiler that turns a validated document into the runtime artifact
- *   (`./compile.ts`), the artifact's shape and canonical bytes (`./artifact.ts`), and the lookups a
- *   runtime consumer reads it through (`./lookup.ts`). All five are re-exported here and all five are
- *   reachable as curated subpaths.
+ * The authoring loader (`./load.ts`, the `./load` subpath) is deliberately not re-exported here: it is
+ * the only module in the package that touches a filesystem and belongs to the build step rather than
+ * to the consumers that read an artifact.
  *
- *   The authoring loader (`./load.ts`, the `./load` subpath) is deliberately NOT re-exported here. It
- *   is the only module in the package that touches a filesystem, and it belongs to the build step that
- *   produces an artifact rather than to the consumers that read one. The first authored document
- *   arrives with #1927; this entry point carries no data.
+ * Four things this package must never hold, each owned elsewhere:
  *
- *   Four things this package must never hold, each owned elsewhere and each a rule the review
- *   applies rather than a preference:
+ * 1. The resolver owns ranking policy. It defines weights, boosts, penalties and candidate order.
+ *    The resolver package also owns rank order. The neural package and `@mailwoman/core/decoder` own
+ *    the decode objective. This package creates observations and leaves candidate order to the resolver.
+ * 2. A second POI vocabulary — external and curated POI categories, their containment hierarchy, the
+ *    Overture-leaf translation, the query-phrase lexicon and the brand table belong to
+ *    `@mailwoman/poi-taxonomy`; this package maps into those identifiers.
+ * 3. A second coverage register — dataset identity and coverage epistemics belong to
+ *    `@mailwoman/core/layers`, and an expected-but-absent observation becomes negative evidence only
+ *    where `supportsExclusion` permits it there.
+ * 4. Empirical affordance statistics — this package owns the stable activity and affordance identifiers.
+ *    It does not own numeric values fitted against those identifiers.
  *
- *   1. **Ranking policy.** No weights, boosts, penalties, or candidate-ordering API — not as a
- *      function, not as a type. Candidate ordering belongs to `@mailwoman/resolver`, and the decode
- *      objective to `@mailwoman/neural` plus `@mailwoman/core/decoder`. Knowledge here creates
- *      observations; it never overrides learned interpretation.
- *   2. **A second POI vocabulary.** External and curated POI categories, their containment
- *      hierarchy, the Overture-leaf translation, the query-phrase lexicon and the brand table all
- *      belong to `@mailwoman/poi-taxonomy`. This package maps INTO those identifiers.
- *   3. **A second coverage register.** Dataset identity and coverage epistemics belong to
- *      `@mailwoman/core/layers`. An expected-but-absent observation becomes negative evidence only
- *      where `supportsExclusion` permits it there.
- *   4. **Empirical affordance statistics.** #1683 fits those. This package owns the stable
- *      activity and affordance identifiers they are fitted against, and nothing numeric about them.
- *
- *   `@mailwoman/core` must not depend on this package. Core ships the pipeline contract and roughly
- *   9 MB of reference data to every consumer, so a world-semantics dependency there is one every
- *   drop-in API inherits without asking for it. Reversing that direction is an explicit amendment to
- *   the boundary record, not a convenience during implementation.
- *
- *   Boundary record: `docs/superpowers/specs/2026-08-26-geographic-model-boundaries.md` (#1917).
- *   Program parent: #1916.
+ * `@mailwoman/core` must not depend on this package: core ships the pipeline interface and roughly
+ * 9 MB of reference data to every consumer, so a world-semantics dependency there is one every
+ * drop-in API inherits without asking.
  */
 export * from "#artifact";
 export * from "#compile";
 export * from "#lookup";
 export * from "#schema";
 export * from "#validate";
+export { ValidationIssueCode } from "#validation/issues";
 //# sourceMappingURL=index.js.map

package/out/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../lib/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;AAEH,cAAc,WAAW,CAAA;AACzB,cAAc,UAAU,CAAA;AACxB,cAAc,SAAS,CAAA;AACvB,cAAc,SAAS,CAAA;AACvB,cAAc,WAAW,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../lib/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,cAAc,WAAW,CAAA;AACzB,cAAc,UAAU,CAAA;AACxB,cAAc,SAAS,CAAA;AACvB,cAAc,SAAS,CAAA;AACvB,cAAc,WAAW,CAAA;AACzB,OAAO,EAAwB,mBAAmB,EAAE,MAAM,oBAAoB,CAAA"}