@mailwoman/geographic-model 0.0.0

package/out/artifact.js

@@ -0,0 +1,135 @@
+/**
+ * @copyright Sister Software
+ * @license AGPL-3.0
+ * @author Teffen Ellis, et al.
+ *
+ *   The compiled runtime artifact: its shape, its canonical bytes, and the reader that turns those
+ *   bytes back into a typed value.
+ *
+ *   A runtime consumer reads THIS and never the authored records. That is the whole point of the
+ *   artifact, and it is why the shape carries every table plus the materialized `isA` closure: a
+ *   consumer that had to walk `concepts[].isA` to answer a question about one concept would be doing
+ *   query-time traversal, which the boundary record excludes.
+ *
+ *   Two determinism rules define the bytes, and both are stated so a reader can check them:
+ *
+ *   1. **Every object's keys are emitted in code-point order**, at every depth. A rule that
+ *      canonicalizes by itself beats a hand-kept field order, which drifts the first time the schema
+ *      gains a field.
+ *   2. **Every table is ordered by identifier**, under {@link compareIdentifiers} — code point, never
+ *      `localeCompare`, whose answer depends on the machine's collation. Arrays INSIDE a record keep
+ *      the order they were authored in; the compiler writes the tables, so it orders those.
+ *
+ *   Nothing here records when compilation ran. `modelVersion` is the authored document's own version,
+ *   so two builds of one document are byte-identical, and a clock in the artifact would make every
+ *   regenerate a diff.
+ *
+ *   Boundary record: `docs/superpowers/specs/2026-08-26-geographic-model-boundaries.md` (#1917).
+ */
+import { isPlainObject } from "./validation-issues.js";
+/**
+ * The artifact FORMAT version — incremented by hand when the compiled shape changes, so a reader meeting an artifact it
+ * was not written for says so instead of quietly reading fields that moved.
+ *
+ * It is not data about the world, which is why a number is allowed here and nowhere in `./schema.ts`.
+ */
+export const ARTIFACT_SCHEMA_VERSION = 1;
+/**
+ * The artifact's stated order: UTF-16 code point, ascending.
+ *
+ * `String.prototype.localeCompare` is the trap this exists to avoid — its answer depends on the machine's collation, so
+ * an artifact ordered with it is reproducible only on the machine that built it.
+ */
+export function compareIdentifiers(left, right) {
+    if (left < right)
+        return -1;
+    if (left > right)
+        return 1;
+    return 0;
+}
+/**
+ * Rebuild `value` with every object's keys in code-point order, at every depth. Arrays keep their order — ordering
+ * those is the compiler's job, and doing it here would silently reorder authored data.
+ */
+function canonicalize(value) {
+    if (Array.isArray(value))
+        return value.map(canonicalize);
+    if (!isPlainObject(value))
+        return value;
+    const canonical = {};
+    for (const key of Object.keys(value).toSorted(compareIdentifiers)) {
+        const entry = value[key];
+        if (entry === undefined)
+            continue;
+        canonical[key] = canonicalize(entry);
+    }
+    return canonical;
+}
+/**
+ * The artifact's canonical bytes: tab-indented, one trailing newline, keys in code-point order.
+ *
+ * Tab indentation and the trailing newline match the repository's other committed JSON tables (`taxonomy.json`,
+ * `brands.json`). A committed copy of these bytes is the generator's output run through `oxfmt`, which inlines short
+ * arrays — so a freshness check compares the PARSED artifact against a fresh compile, and a byte comparison compares
+ * two compiles.
+ */
+export function serializeCompiledModel(model) {
+    return `${JSON.stringify(canonicalize(model), null, "\t")}\n`;
+}
+/**
+ * Thrown when a value cannot be read as a compiled artifact.
+ */
+export class GeographicModelArtifactError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = "GeographicModelArtifactError";
+    }
+}
+/**
+ * The tables every artifact carries. A reader that finds one missing refuses rather than answering every question about
+ * that table with an empty list.
+ */
+const ARTIFACT_TABLES = [
+    "concepts",
+    "derivedFacts",
+    "inheritanceClosure",
+    "mappings",
+    "observations",
+    "relations",
+];
+/**
+ * Why `value` is not a compiled artifact, or nothing when it is one.
+ *
+ * Kept separate from {@link parseCompiledGeographicModel} so the reader casts the value it was HANDED, still typed
+ * `unknown`, rather than a narrowed shape it would have to launder through a second cast to widen again.
+ */
+function artifactProblem(value) {
+    if (!isPlainObject(value))
+        return "a compiled geographic model must be an object";
+    if (value.schemaVersion !== ARTIFACT_SCHEMA_VERSION) {
+        return `this reader understands artifact schema version ${ARTIFACT_SCHEMA_VERSION}; the artifact declares ${JSON.stringify(value.schemaVersion)}`;
+    }
+    if (typeof value.modelVersion !== "string" || !value.modelVersion.trim().length) {
+        return "`modelVersion` must be a non-blank string";
+    }
+    const missing = ARTIFACT_TABLES.filter((table) => !Array.isArray(value[table]));
+    if (!missing.length)
+        return undefined;
+    return `the artifact is missing ${missing.map((table) => `\`${table}\``).join(", ")}`;
+}
+/**
+ * Read a parsed artifact — the value `JSON.parse` produced from the compiled bytes — as a
+ * {@link CompiledGeographicModel}.
+ *
+ * It checks the format version and the presence of every table, and does NOT re-validate the records. An artifact is
+ * generated from a document that `parseGeographicModelDocument` already accepted; re-checking every record here would
+ * be a second validator, and the version check is what catches the failure this reader can actually meet — an artifact
+ * written by a different compiler.
+ */
+export function parseCompiledGeographicModel(input) {
+    const problem = artifactProblem(input);
+    if (problem)
+        throw new GeographicModelArtifactError(problem);
+    return input;
+}
+//# sourceMappingURL=artifact.js.map

package/out/artifact.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"artifact.js","sourceRoot":"","sources":["../artifact.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAUH,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAA;AAEtD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAA;AAyCxC;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAY,EAAE,KAAa;IAC7D,IAAI,IAAI,GAAG,KAAK;QAAE,OAAO,CAAC,CAAC,CAAA;IAE3B,IAAI,IAAI,GAAG,KAAK;QAAE,OAAO,CAAC,CAAA;IAE1B,OAAO,CAAC,CAAA;AACT,CAAC;AAED;;;GAGG;AACH,SAAS,YAAY,CAAC,KAAc;IACnC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,CAAA;IAExD,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAA;IAEvC,MAAM,SAAS,GAA4B,EAAE,CAAA;IAE7C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,kBAAkB,CAAC,EAAE,CAAC;QACnE,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAA;QAExB,IAAI,KAAK,KAAK,SAAS;YAAE,SAAQ;QAEjC,SAAS,CAAC,GAAG,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC,CAAA;IACrC,CAAC;IAED,OAAO,SAAS,CAAA;AACjB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAA8B;IACpE,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAA;AAC9D,CAAC;AAED;;GAEG;AACH,MAAM,OAAO,4BAA6B,SAAQ,KAAK;IACtD,YAAY,OAAe;QAC1B,KAAK,CAAC,OAAO,CAAC,CAAA;QAEd,IAAI,CAAC,IAAI,GAAG,8BAA8B,CAAA;IAC3C,CAAC;CACD;AAED;;;GAGG;AACH,MAAM,eAAe,GAAG;IACvB,UAAU;IACV,cAAc;IACd,oBAAoB;IACpB,UAAU;IACV,cAAc;IACd,WAAW;CACF,CAAA;AAEV;;;;;GAKG;AACH,SAAS,eAAe,CAAC,KAAc;IACtC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;QAAE,OAAO,+CAA+C,CAAA;IAEjF,IAAI,KAAK,CAAC,aAAa,KAAK,uBAAuB,EAAE,CAAC;QACrD,OAAO,mDAAmD,uBAAuB,2BAA2B,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CAAA;IAClJ,CAAC;IAED,IAAI,OAAO,KAAK,CAAC,YAAY,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;QACjF,OAAO,2CAA2C,CAAA;IACnD,CAAC;IAED,MAAM,OAAO,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;IAE/E,IAAI,CAAC,OAAO,CAAC,MAAM;QAAE,OAAO,SAAS,CAAA;IAErC,OAAO,2BAA2B,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAA;AACtF,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,4BAA4B,CAAC,KAAc;IAC1D,MAAM,OAAO,GAAG,eAAe,CAAC,KAAK,CAAC,CAAA;IAEtC,IAAI,OAAO;QAAE,MAAM,IAAI,4BAA4B,CAAC,OAAO,CAAC,CAAA;IAE5D,OAAO,KAAgC,CAAA;AACxC,CAAC"}

package/out/compile.d.ts

@@ -0,0 +1,84 @@
+/**
+ * @copyright Sister Software
+ * @license AGPL-3.0
+ * @author Teffen Ellis, et al.
+ *
+ *   Deterministic compilation of a validated {@link GeographicModelDocument} into the runtime artifact.
+ *
+ *   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.
+ *
+ *   **`isA` alone defines semantic inheritance.** Two things follow from it, and they are the whole
+ *   derivation surface:
+ *
+ *   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.
+ */
+import { type CompiledGeographicModel } from "./artifact.ts";
+/**
+ * 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.
+ */
+export declare const DERIVATION_ISA_INHERITANCE = "isa-assertion-inheritance";
+/**
+ * Every way compilation can refuse a document the validator accepted.
+ *
+ * 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.
+ */
+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.
+     */
+    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.
+     */
+    readonly DuplicateDerivedFactID: "duplicate_derived_fact_id";
+};
+export type CompileIssueCode = (typeof CompileIssueCode)[keyof typeof CompileIssueCode];
+/**
+ * One reason a document that validates 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.
+ */
+export declare class GeographicModelCompileError extends Error {
+    readonly issues: readonly CompileIssue[];
+    constructor(issues: readonly CompileIssue[]);
+}
+/**
+ * Compile 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 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.
+ */
+export declare function compileGeographicModel(input: unknown): CompiledGeographicModel;
+//# sourceMappingURL=compile.d.ts.map

package/out/compile.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compile.d.ts","sourceRoot":"","sources":["../compile.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAEH,OAAO,EAEN,KAAK,uBAAuB,EAG5B,MAAM,eAAe,CAAA;AAetB;;;GAGG;AACH,eAAO,MAAM,0BAA0B,8BAA8B,CAAA;AAErE;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB;IAC5B;;;OAGG;;IAEH;;;OAGG;;CAEM,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;gBAE5B,MAAM,EAAE,SAAS,YAAY,EAAE;CAQ3C;AA+MD;;;;;;;;;GASG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,OAAO,GAAG,uBAAuB,CA6B9E"}

package/out/compile.js

@@ -0,0 +1,259 @@
+/**
+ * @copyright Sister Software
+ * @license AGPL-3.0
+ * @author Teffen Ellis, et al.
+ *
+ *   Deterministic compilation of a validated {@link GeographicModelDocument} into the runtime artifact.
+ *
+ *   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.
+ *
+ *   **`isA` alone defines semantic inheritance.** Two things follow from it, and they are the whole
+ *   derivation surface:
+ *
+ *   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.
+ */
+import { ARTIFACT_SCHEMA_VERSION, compareIdentifiers, } from "./artifact.js";
+import { DerivationInputKind, toConceptID, toDerivedFactID, } from "./schema.js";
+import { parseGeographicModelDocument } from "./validate.js";
+/**
+ * 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.
+ */
+export const DERIVATION_ISA_INHERITANCE = "isa-assertion-inheritance";
+/**
+ * Every way compilation can refuse a document the validator accepted.
+ *
+ * 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.
+ */
+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.
+     */
+    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.
+     */
+    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.
+ */
+export class GeographicModelCompileError extends Error {
+    issues;
+    constructor(issues) {
+        const detail = issues.map((issue) => `${issue.message} [${issue.code}]`).join("\n");
+        super(`geographic-model document does not compile (${issues.length} issues)\n${detail}`);
+        this.name = "GeographicModelCompileError";
+        this.issues = issues;
+    }
+}
+/**
+ * The order derivation inputs are listed in. Grouping by table first keeps a long input list readable; the identifier
+ * breaks ties inside a table.
+ */
+const DERIVATION_INPUT_ORDER = [
+    DerivationInputKind.Concept,
+    DerivationInputKind.Relation,
+    DerivationInputKind.Assertion,
+    DerivationInputKind.Mapping,
+    DerivationInputKind.Observation,
+    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.
+ */
+const KEY_SEPARATOR = "\u0000";
+/**
+ * The separator between country codes inside 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.
+ */
+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.
+    for (const next of frontier) {
+        if (next === conceptID || visited.has(next))
+            continue;
+        visited.add(next);
+        frontier.push(...(parents.get(next) ?? []));
+    }
+    const reachable = [...visited].toSorted(compareIdentifiers);
+    return reachable.map(toConceptID);
+}
+function addInput(draft, input) {
+    draft.inputs.set(`${input.kind}${KEY_SEPARATOR}${input.id}`, input);
+}
+function draftInputs(draft) {
+    const inputs = [...draft.inputs.values()];
+    return inputs.toSorted((left, right) => {
+        const byKind = DERIVATION_INPUT_ORDER.indexOf(left.kind) - DERIVATION_INPUT_ORDER.indexOf(right.kind);
+        return byKind === 0 ? compareIdentifiers(left.id, right.id) : byKind;
+    });
+}
+/**
+ * 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.
+ */
+function derivedFactID(draft) {
+    const scope = draft.countries?.length ? `:${draft.countries.join(COUNTRY_SEPARATOR)}` : "";
+    const { relation, target, modality } = draft.assertion;
+    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.
+ */
+function edgeKey(assertion) {
+    return `${assertion.relation}${KEY_SEPARATOR}${assertion.target}`;
+}
+function draftKey(subject, assertion, countries) {
+    const scope = countries?.join(COUNTRY_SEPARATOR) ?? "";
+    return `${subject}${KEY_SEPARATOR}${edgeKey(assertion)}${KEY_SEPARATOR}${assertion.modality}${KEY_SEPARATOR}${scope}`;
+}
+/**
+ * Materialize every ancestor's assertions onto their descendants.
+ *
+ * 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.
+ */
+function deriveInheritedFacts(concepts, closure, relations, issues) {
+    const conceptByID = new Map(concepts.map((concept) => [String(concept.id), concept]));
+    const relationByID = new Map(relations.map((relation) => [String(relation.id), relation]));
+    const drafts = new Map();
+    for (const entry of closure) {
+        const concept = conceptByID.get(String(entry.concept));
+        if (!concept)
+            continue;
+        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.
+            if (!ancestor)
+                continue;
+            for (const assertion of ancestor.assertions) {
+                if (authored.has(edgeKey(assertion)))
+                    continue;
+                const relation = relationByID.get(String(assertion.relation));
+                if (!relation)
+                    continue;
+                if (!relation.domainKinds.includes(concept.kind)) {
+                    const accepted = relation.domainKinds.map((kind) => `\`${kind}\``).join(", ");
+                    issues.push({
+                        code: CompileIssueCode.InheritedDomainKindMismatch,
+                        message: `\`${concept.id}\` is a \`${concept.kind}\` and is a kind of \`${ancestor.id}\`, whose assertion \`${assertion.id}\` uses relation \`${relation.id}\` — which accepts ${accepted} on the asserting side`,
+                    });
+                    continue;
+                }
+                const countries = assertion.countries?.length ? assertion.countries.toSorted(compareIdentifiers) : undefined;
+                const key = draftKey(concept.id, assertion, countries);
+                const existing = drafts.get(key);
+                const draft = existing ?? { subject: concept.id, assertion, countries, inputs: new Map() };
+                addInput(draft, { kind: DerivationInputKind.Concept, id: concept.id });
+                addInput(draft, { kind: DerivationInputKind.Concept, id: ancestor.id });
+                addInput(draft, { kind: DerivationInputKind.Relation, id: relation.id });
+                addInput(draft, { kind: DerivationInputKind.Assertion, id: assertion.id });
+                if (!existing) {
+                    drafts.set(key, draft);
+                }
+            }
+        }
+    }
+    return [...drafts.values()].map((draft) => ({
+        id: toDerivedFactID(derivedFactID(draft)),
+        derivation: DERIVATION_ISA_INHERITANCE,
+        inputs: draftInputs(draft),
+        subject: draft.subject,
+        relation: draft.assertion.relation,
+        object: draft.assertion.target,
+        modality: draft.assertion.modality,
+        ...(draft.countries ? { countries: [...draft.countries] } : {}),
+    }));
+}
+function checkDerivedIdentifiers(facts, issues) {
+    const seen = new Set();
+    for (const fact of facts) {
+        const id = String(fact.id);
+        if (seen.has(id)) {
+            issues.push({
+                code: CompileIssueCode.DuplicateDerivedFactID,
+                message: `two derived facts claim \`${id}\` — an authored derived fact and a derivation cannot share an identifier`,
+            });
+            continue;
+        }
+        seen.add(id);
+    }
+}
+/**
+ * Compile 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 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.
+ */
+export function compileGeographicModel(input) {
+    const document = parseGeographicModelDocument(input);
+    const concepts = document.concepts.toSorted(compareByID);
+    const relations = document.relations.toSorted(compareByID);
+    const parents = new Map(concepts.map((concept) => [String(concept.id), concept.isA]));
+    const inheritanceClosure = concepts.map((concept) => ({
+        concept: concept.id,
+        ancestors: ancestorsOfConcept(concept.id, parents),
+    }));
+    const issues = [];
+    const derived = deriveInheritedFacts(concepts, inheritanceClosure, relations, issues);
+    const derivedFacts = [...document.derivedFacts, ...derived].toSorted(compareByID);
+    checkDerivedIdentifiers(derivedFacts, issues);
+    if (issues.length)
+        throw new GeographicModelCompileError(issues);
+    return {
+        schemaVersion: ARTIFACT_SCHEMA_VERSION,
+        modelVersion: document.version,
+        relations,
+        concepts,
+        mappings: document.mappings.toSorted(compareByID),
+        observations: document.observations.toSorted(compareByID),
+        inheritanceClosure,
+        derivedFacts,
+    };
+}
+//# sourceMappingURL=compile.js.map

package/out/compile.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compile.js","sourceRoot":"","sources":["../compile.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAEH,OAAO,EACN,uBAAuB,EAEvB,kBAAkB,GAElB,MAAM,eAAe,CAAA;AACtB,OAAO,EAIN,mBAAmB,EAKnB,WAAW,EACX,eAAe,GACf,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,4BAA4B,EAAE,MAAM,eAAe,CAAA;AAE5D;;;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"}

package/out/index.d.ts

@@ -0,0 +1,51 @@
+/**
+ * @copyright Sister Software
+ * @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.
+ *
+ *   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 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 and each a rule the review
+ *   applies rather than a preference:
+ *
+ *   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.
+ */
+export * from "./artifact.ts";
+export * from "./compile.ts";
+export * from "./lookup.ts";
+export * from "./schema.ts";
+export * from "./validate.ts";
+//# sourceMappingURL=index.d.ts.map

package/out/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;AAEH,cAAc,eAAe,CAAA;AAC7B,cAAc,cAAc,CAAA;AAC5B,cAAc,aAAa,CAAA;AAC3B,cAAc,aAAa,CAAA;AAC3B,cAAc,eAAe,CAAA"}

package/out/index.js

@@ -0,0 +1,51 @@
+/**
+ * @copyright Sister Software
+ * @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.
+ *
+ *   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 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 and each a rule the review
+ *   applies rather than a preference:
+ *
+ *   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.
+ */
+export * from "./artifact.js";
+export * from "./compile.js";
+export * from "./lookup.js";
+export * from "./schema.js";
+export * from "./validate.js";
+//# sourceMappingURL=index.js.map

package/out/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;AAEH,cAAc,eAAe,CAAA;AAC7B,cAAc,cAAc,CAAA;AAC5B,cAAc,aAAa,CAAA;AAC3B,cAAc,aAAa,CAAA;AAC3B,cAAc,eAAe,CAAA"}