@empressaio/atom-contract 1.22.0 → 1.23.0

package/dist/property/flood-hazard-fact.d.ts

@@ -339,7 +339,7 @@ export declare const FLOOD_HAZARD_FACT_SCHEMA: z.ZodEffects<z.ZodObject<{
         reasoningKind: "observed";
     };
     atomTier: AtomTier;
-    sourceTier: "absent" | "fema-nfhl";
+    sourceTier: "fema-nfhl" | "absent";
     asOf?: string | undefined;
     readContract?: Readonly<{
         axes: Readonly<{
@@ -409,7 +409,7 @@ export declare const FLOOD_HAZARD_FACT_SCHEMA: z.ZodEffects<z.ZodObject<{
         reasoningKind: "observed";
     };
     atomTier: AtomTier;
-    sourceTier: "absent" | "fema-nfhl";
+    sourceTier: "fema-nfhl" | "absent";
     asOf?: string | undefined;
     readContract?: Readonly<{
         axes: Readonly<{
@@ -479,7 +479,7 @@ export declare const FLOOD_HAZARD_FACT_SCHEMA: z.ZodEffects<z.ZodObject<{
         reasoningKind: "observed";
     };
     atomTier: AtomTier;
-    sourceTier: "absent" | "fema-nfhl";
+    sourceTier: "fema-nfhl" | "absent";
     asOf?: string | undefined;
     readContract?: Readonly<{
         axes: Readonly<{
@@ -549,7 +549,7 @@ export declare const FLOOD_HAZARD_FACT_SCHEMA: z.ZodEffects<z.ZodObject<{
         reasoningKind: "observed";
     };
     atomTier: AtomTier;
-    sourceTier: "absent" | "fema-nfhl";
+    sourceTier: "fema-nfhl" | "absent";
     asOf?: string | undefined;
     readContract?: Readonly<{
         axes: Readonly<{

package/dist/provenance/index.d.ts

@@ -0,0 +1,3 @@
+export { PROVENANCE_CLASSES, ProvenanceClass, ProvenanceParseError, parseProvenance, } from "./provenance-class.js";
+export type { ProvenanceAbsence, ProvenanceAssertion, ProvenanceClassName, ProvenanceDerivation, ProvenanceObservation, ProvenanceRecord, ProvenanceSynthesis, } from "./provenance-class.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/provenance/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/provenance/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,kBAAkB,EAClB,eAAe,EACf,oBAAoB,EACpB,eAAe,GAChB,MAAM,uBAAuB,CAAC;AAC/B,YAAY,EACV,iBAAiB,EACjB,mBAAmB,EACnB,mBAAmB,EACnB,oBAAoB,EACpB,qBAAqB,EACrB,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,uBAAuB,CAAC"}

package/dist/provenance/index.js

@@ -0,0 +1,2 @@
+export { PROVENANCE_CLASSES, ProvenanceClass, ProvenanceParseError, parseProvenance, } from "./provenance-class.js";
+//# sourceMappingURL=index.js.map

package/dist/provenance/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/provenance/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,kBAAkB,EAClB,eAAe,EACf,oBAAoB,EACpB,eAAe,GAChB,MAAM,uBAAuB,CAAC"}

package/dist/provenance/provenance-class.d.ts

@@ -0,0 +1,52 @@
+/**
+ * Provenance class as a discriminated union — instrument contract item 2.2.
+ *
+ * Factory shim four: Record, Derivation, Assertion, Absence.
+ * Model (19) adds Observation and Synthesis. Attention and Judgment are
+ * reserved and are not constructible here.
+ */
+import type { AbsenceVerdict } from "../absence/absence-verdict.js";
+import type { DerivesFrom } from "../derivation/derivation.js";
+export declare const PROVENANCE_CLASSES: readonly ["Record", "Derivation", "Assertion", "Absence", "Observation", "Synthesis"];
+export type ProvenanceClassName = (typeof PROVENANCE_CLASSES)[number];
+export type ProvenanceRecord = {
+    readonly class: "Record";
+    readonly sourceId: string;
+    readonly fetchRef: string;
+    readonly derivesFrom?: never;
+};
+export type ProvenanceDerivation = {
+    readonly class: "Derivation";
+    readonly formula: string;
+    readonly inputs: readonly string[];
+    readonly derivesFrom: DerivesFrom;
+};
+export type ProvenanceAssertion = {
+    readonly class: "Assertion";
+    readonly asserter: string;
+};
+export type ProvenanceAbsence = {
+    readonly class: "Absence";
+    readonly verdict: AbsenceVerdict;
+};
+export type ProvenanceObservation = {
+    readonly class: "Observation";
+    readonly measurement: string;
+};
+export type ProvenanceSynthesis = {
+    readonly class: "Synthesis";
+    readonly citations: readonly string[];
+};
+export type ProvenanceClass = ProvenanceRecord | ProvenanceDerivation | ProvenanceAssertion | ProvenanceAbsence | ProvenanceObservation | ProvenanceSynthesis;
+export declare class ProvenanceParseError extends Error {
+    readonly input: unknown;
+    readonly code: string;
+    constructor(message: string, input: unknown, code?: string);
+}
+export declare function parseProvenance(input: unknown): ProvenanceClass;
+/** Runtime export so the Factory shim check observes `ProvenanceClass` on the module. */
+export declare const ProvenanceClass: Readonly<{
+    names: readonly ["Record", "Derivation", "Assertion", "Absence", "Observation", "Synthesis"];
+    parse: typeof parseProvenance;
+}>;
+//# sourceMappingURL=provenance-class.d.ts.map

package/dist/provenance/provenance-class.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"provenance-class.d.ts","sourceRoot":"","sources":["../../src/provenance/provenance-class.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAEpE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAG/D,eAAO,MAAM,kBAAkB,uFAOrB,CAAC;AAEX,MAAM,MAAM,mBAAmB,GAAG,CAAC,OAAO,kBAAkB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEtE,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,CAAC,EAAE,KAAK,CAAC;CAC9B,CAAC;AAEF,MAAM,MAAM,oBAAoB,GAAG;IACjC,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;CACnC,CAAC;AAEF,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;CAClC,CAAC;AAEF,MAAM,MAAM,qBAAqB,GAAG;IAClC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B,CAAC;AAEF,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;CACvC,CAAC;AAEF,MAAM,MAAM,eAAe,GACvB,gBAAgB,GAChB,oBAAoB,GACpB,mBAAmB,GACnB,iBAAiB,GACjB,qBAAqB,GACrB,mBAAmB,CAAC;AAExB,qBAAa,oBAAqB,SAAQ,KAAK;IAK3C,QAAQ,CAAC,KAAK,EAAE,OAAO;IAJzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;gBAGpB,OAAO,EAAE,MAAM,EACN,KAAK,EAAE,OAAO,EACvB,IAAI,SAAqB;CAM5B;AASD,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,eAAe,CA2D/D;AAED,yFAAyF;AACzF,eAAO,MAAM,eAAe;;;EAG1B,CAAC"}

package/dist/provenance/provenance-class.js

@@ -0,0 +1,91 @@
+/**
+ * Provenance class as a discriminated union — instrument contract item 2.2.
+ *
+ * Factory shim four: Record, Derivation, Assertion, Absence.
+ * Model (19) adds Observation and Synthesis. Attention and Judgment are
+ * reserved and are not constructible here.
+ */
+import { parseAbsenceVerdict } from "../absence/absence-verdict.js";
+import { parseDerivesFrom } from "../derivation/derivation.js";
+export const PROVENANCE_CLASSES = [
+    "Record",
+    "Derivation",
+    "Assertion",
+    "Absence",
+    "Observation",
+    "Synthesis",
+];
+export class ProvenanceParseError extends Error {
+    input;
+    code;
+    constructor(message, input, code = "PROVENANCE_FIELD") {
+        super(message);
+        this.input = input;
+        this.name = "ProvenanceParseError";
+        this.code = code;
+    }
+}
+function asRecord(input) {
+    if (!input || typeof input !== "object") {
+        throw new ProvenanceParseError("provenance class required", input, "PROVENANCE_REQUIRED");
+    }
+    return input;
+}
+export function parseProvenance(input) {
+    const row = asRecord(input);
+    const cls = row.class;
+    if (cls === "Record") {
+        if (row.derivesFrom != null) {
+            throw new ProvenanceParseError("Record must not carry derivesFrom", input, "DERIVES_FROM_ON_RECORD");
+        }
+        if (typeof row.sourceId !== "string" || row.sourceId.length === 0) {
+            throw new ProvenanceParseError("Record requires sourceId", input);
+        }
+        if (typeof row.fetchRef !== "string" || row.fetchRef.length === 0) {
+            throw new ProvenanceParseError("Record requires fetchRef", input);
+        }
+        return { class: "Record", sourceId: row.sourceId, fetchRef: row.fetchRef };
+    }
+    if (cls === "Derivation") {
+        if (typeof row.formula !== "string" || row.formula.length === 0) {
+            throw new ProvenanceParseError("Derivation requires formula", input);
+        }
+        if (!Array.isArray(row.inputs)) {
+            throw new ProvenanceParseError("Derivation requires inputs", input);
+        }
+        return {
+            class: "Derivation",
+            formula: row.formula,
+            inputs: row.inputs.map(String),
+            derivesFrom: parseDerivesFrom(row.derivesFrom),
+        };
+    }
+    if (cls === "Assertion") {
+        if (typeof row.asserter !== "string" || row.asserter.length === 0) {
+            throw new ProvenanceParseError("Assertion requires asserter", input);
+        }
+        return { class: "Assertion", asserter: row.asserter };
+    }
+    if (cls === "Absence") {
+        return { class: "Absence", verdict: parseAbsenceVerdict(row) };
+    }
+    if (cls === "Observation") {
+        if (typeof row.measurement !== "string" || row.measurement.length === 0) {
+            throw new ProvenanceParseError("Observation requires measurement", input);
+        }
+        return { class: "Observation", measurement: row.measurement };
+    }
+    if (cls === "Synthesis") {
+        if (!Array.isArray(row.citations) || row.citations.length === 0) {
+            throw new ProvenanceParseError("Synthesis requires citations", input);
+        }
+        return { class: "Synthesis", citations: row.citations.map(String) };
+    }
+    throw new ProvenanceParseError(`unknown provenance class ${String(cls)}`, input, "PROVENANCE_CLASS");
+}
+/** Runtime export so the Factory shim check observes `ProvenanceClass` on the module. */
+export const ProvenanceClass = Object.freeze({
+    names: PROVENANCE_CLASSES,
+    parse: parseProvenance,
+});
+//# sourceMappingURL=provenance-class.js.map

package/dist/provenance/provenance-class.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"provenance-class.js","sourceRoot":"","sources":["../../src/provenance/provenance-class.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AAEpE,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAE/D,MAAM,CAAC,MAAM,kBAAkB,GAAG;IAChC,QAAQ;IACR,YAAY;IACZ,WAAW;IACX,SAAS;IACT,aAAa;IACb,WAAW;CACH,CAAC;AA8CX,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IAKlC;IAJF,IAAI,CAAS;IAEtB,YACE,OAAe,EACN,KAAc,EACvB,IAAI,GAAG,kBAAkB;QAEzB,KAAK,CAAC,OAAO,CAAC,CAAC;QAHN,UAAK,GAAL,KAAK,CAAS;QAIvB,IAAI,CAAC,IAAI,GAAG,sBAAsB,CAAC;QACnC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACnB,CAAC;CACF;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACxC,MAAM,IAAI,oBAAoB,CAAC,2BAA2B,EAAE,KAAK,EAAE,qBAAqB,CAAC,CAAC;IAC5F,CAAC;IACD,OAAO,KAAgC,CAAC;AAC1C,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,KAAc;IAC5C,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC5B,MAAM,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC;IACtB,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;QACrB,IAAI,GAAG,CAAC,WAAW,IAAI,IAAI,EAAE,CAAC;YAC5B,MAAM,IAAI,oBAAoB,CAC5B,mCAAmC,EACnC,KAAK,EACL,wBAAwB,CACzB,CAAC;QACJ,CAAC;QACD,IAAI,OAAO,GAAG,CAAC,QAAQ,KAAK,QAAQ,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAClE,MAAM,IAAI,oBAAoB,CAAC,0BAA0B,EAAE,KAAK,CAAC,CAAC;QACpE,CAAC;QACD,IAAI,OAAO,GAAG,CAAC,QAAQ,KAAK,QAAQ,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAClE,MAAM,IAAI,oBAAoB,CAAC,0BAA0B,EAAE,KAAK,CAAC,CAAC;QACpE,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC7E,CAAC;IACD,IAAI,GAAG,KAAK,YAAY,EAAE,CAAC;QACzB,IAAI,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAChE,MAAM,IAAI,oBAAoB,CAAC,6BAA6B,EAAE,KAAK,CAAC,CAAC;QACvE,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC/B,MAAM,IAAI,oBAAoB,CAAC,4BAA4B,EAAE,KAAK,CAAC,CAAC;QACtE,CAAC;QACD,OAAO;YACL,KAAK,EAAE,YAAY;YACnB,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC;YAC9B,WAAW,EAAE,gBAAgB,CAAC,GAAG,CAAC,WAAW,CAAC;SAC/C,CAAC;IACJ,CAAC;IACD,IAAI,GAAG,KAAK,WAAW,EAAE,CAAC;QACxB,IAAI,OAAO,GAAG,CAAC,QAAQ,KAAK,QAAQ,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAClE,MAAM,IAAI,oBAAoB,CAAC,6BAA6B,EAAE,KAAK,CAAC,CAAC;QACvE,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC;IACxD,CAAC;IACD,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,mBAAmB,CAAC,GAAG,CAAC,EAAE,CAAC;IACjE,CAAC;IACD,IAAI,GAAG,KAAK,aAAa,EAAE,CAAC;QAC1B,IAAI,OAAO,GAAG,CAAC,WAAW,KAAK,QAAQ,IAAI,GAAG,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxE,MAAM,IAAI,oBAAoB,CAAC,kCAAkC,EAAE,KAAK,CAAC,CAAC;QAC5E,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,WAAW,EAAE,GAAG,CAAC,WAAW,EAAE,CAAC;IAChE,CAAC;IACD,IAAI,GAAG,KAAK,WAAW,EAAE,CAAC;QACxB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,GAAG,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAChE,MAAM,IAAI,oBAAoB,CAAC,8BAA8B,EAAE,KAAK,CAAC,CAAC;QACxE,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;IACtE,CAAC;IACD,MAAM,IAAI,oBAAoB,CAC5B,4BAA4B,MAAM,CAAC,GAAG,CAAC,EAAE,EACzC,KAAK,EACL,kBAAkB,CACnB,CAAC;AACJ,CAAC;AAED,yFAAyF;AACzF,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC;IAC3C,KAAK,EAAE,kBAAkB;IACzB,KAAK,EAAE,eAAe;CACvB,CAAC,CAAC"}

package/dist/selector/index.d.ts

@@ -0,0 +1,3 @@
+export { FLOOD_ZONE_SELECTORS, SELECTOR_KINDS, SelectorParseError, SelectorPredicate, match, parseSelector, } from "./selector-predicate.js";
+export type { And, Composition, Equality, Or, Range, SelectorHandlers, SelectorKind, SetMember, SpatialContains, } from "./selector-predicate.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/selector/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/selector/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,oBAAoB,EACpB,cAAc,EACd,kBAAkB,EAClB,iBAAiB,EACjB,KAAK,EACL,aAAa,GACd,MAAM,yBAAyB,CAAC;AACjC,YAAY,EACV,GAAG,EACH,WAAW,EACX,QAAQ,EACR,EAAE,EACF,KAAK,EACL,gBAAgB,EAChB,YAAY,EACZ,SAAS,EACT,eAAe,GAChB,MAAM,yBAAyB,CAAC"}

package/dist/selector/index.js

@@ -0,0 +1,2 @@
+export { FLOOD_ZONE_SELECTORS, SELECTOR_KINDS, SelectorParseError, SelectorPredicate, match, parseSelector, } from "./selector-predicate.js";
+//# sourceMappingURL=index.js.map

package/dist/selector/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/selector/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,oBAAoB,EACpB,cAAc,EACd,kBAAkB,EAClB,iBAAiB,EACjB,KAAK,EACL,aAAa,GACd,MAAM,yBAAyB,CAAC"}

package/dist/selector/selector-predicate.d.ts

@@ -0,0 +1,101 @@
+/**
+ * Selector predicate — instrument contract item 2.11.
+ *
+ * Closed discriminated union: spatial containment, set membership,
+ * equality, range, and composition. `match` is exhaustive.
+ */
+export type SpatialContains = {
+    readonly kind: "spatial-contains";
+    readonly geom: unknown;
+};
+export type SetMember = {
+    readonly kind: "set-member";
+    readonly set: readonly unknown[];
+};
+export type Equality = {
+    readonly kind: "eq";
+    readonly field: string;
+    readonly value: unknown;
+};
+export type Range = {
+    readonly kind: "range";
+    readonly field: string;
+    readonly min: unknown;
+    readonly max: unknown;
+};
+export type And = {
+    readonly kind: "and";
+    readonly clauses: readonly SelectorPredicate[];
+};
+export type Or = {
+    readonly kind: "or";
+    readonly clauses: readonly SelectorPredicate[];
+};
+export type Composition = And | Or;
+export type SelectorPredicate = SpatialContains | SetMember | Equality | Range | And | Or;
+export declare const SELECTOR_KINDS: readonly ["spatial-contains", "set-member", "eq", "range", "and", "or"];
+export type SelectorKind = (typeof SELECTOR_KINDS)[number];
+export type SelectorHandlers<T> = {
+    [K in SelectorPredicate["kind"]]: (pred: Extract<SelectorPredicate, {
+        kind: K;
+    }>) => T;
+};
+export declare class SelectorParseError extends Error {
+    readonly input: unknown;
+    readonly code: string;
+    constructor(message: string, input: unknown, code?: string);
+}
+export declare function parseSelector(input: unknown): SelectorPredicate;
+export declare function match<T>(pred: SelectorPredicate, handlers: SelectorHandlers<T>): T;
+/** Factory flood selectors from F-16/F-18 close item 8. */
+export declare const FLOOD_ZONE_SELECTORS: {
+    readonly A: {
+        readonly kind: "eq";
+        readonly field: "fld_zone";
+        readonly value: "A";
+    };
+    readonly AE: {
+        readonly kind: "eq";
+        readonly field: "fld_zone";
+        readonly value: "AE";
+    };
+    readonly AO: {
+        readonly kind: "eq";
+        readonly field: "fld_zone";
+        readonly value: "AO";
+    };
+    readonly X: {
+        readonly kind: "eq";
+        readonly field: "fld_zone";
+        readonly value: "X";
+    };
+};
+/** Runtime export so the Factory shim check observes `SelectorPredicate` on the module. */
+export declare const SelectorPredicate: Readonly<{
+    kinds: readonly ["spatial-contains", "set-member", "eq", "range", "and", "or"];
+    parse: typeof parseSelector;
+    match: typeof match;
+    floodZones: {
+        readonly A: {
+            readonly kind: "eq";
+            readonly field: "fld_zone";
+            readonly value: "A";
+        };
+        readonly AE: {
+            readonly kind: "eq";
+            readonly field: "fld_zone";
+            readonly value: "AE";
+        };
+        readonly AO: {
+            readonly kind: "eq";
+            readonly field: "fld_zone";
+            readonly value: "AO";
+        };
+        readonly X: {
+            readonly kind: "eq";
+            readonly field: "fld_zone";
+            readonly value: "X";
+        };
+    };
+}>;
+//# sourceMappingURL=selector-predicate.d.ts.map

package/dist/selector/selector-predicate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"selector-predicate.d.ts","sourceRoot":"","sources":["../../src/selector/selector-predicate.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAClC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;CACxB,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,GAAG,EAAE,SAAS,OAAO,EAAE,CAAC;CAClC,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,KAAK,GAAG;IAClB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,GAAG,GAAG;IAChB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAC;CAChD,CAAC;AAEF,MAAM,MAAM,EAAE,GAAG;IACf,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAC;CAChD,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG,GAAG,GAAG,EAAE,CAAC;AAEnC,MAAM,MAAM,iBAAiB,GACzB,eAAe,GACf,SAAS,GACT,QAAQ,GACR,KAAK,GACL,GAAG,GACH,EAAE,CAAC;AAEP,eAAO,MAAM,cAAc,yEAOjB,CAAC;AAEX,MAAM,MAAM,YAAY,GAAG,CAAC,OAAO,cAAc,CAAC,CAAC,MAAM,CAAC,CAAC;AAE3D,MAAM,MAAM,gBAAgB,CAAC,CAAC,IAAI;KAC/B,CAAC,IAAI,iBAAiB,CAAC,MAAM,CAAC,GAAG,CAChC,IAAI,EAAE,OAAO,CAAC,iBAAiB,EAAE;QAAE,IAAI,EAAE,CAAC,CAAA;KAAE,CAAC,KAC1C,CAAC;CACP,CAAC;AAEF,qBAAa,kBAAmB,SAAQ,KAAK;IAKzC,QAAQ,CAAC,KAAK,EAAE,OAAO;IAJzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;gBAGpB,OAAO,EAAE,MAAM,EACN,KAAK,EAAE,OAAO,EACvB,IAAI,SAAmB;CAM1B;AAED,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,iBAAiB,CAoD/D;AAED,wBAAgB,KAAK,CAAC,CAAC,EACrB,IAAI,EAAE,iBAAiB,EACvB,QAAQ,EAAE,gBAAgB,CAAC,CAAC,CAAC,GAC5B,CAAC,CAuBH;AAED,2DAA2D;AAC3D,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;CAK6B,CAAC;AAE/D,2FAA2F;AAC3F,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;EAK5B,CAAC"}

package/dist/selector/selector-predicate.js

@@ -0,0 +1,104 @@
+/**
+ * Selector predicate — instrument contract item 2.11.
+ *
+ * Closed discriminated union: spatial containment, set membership,
+ * equality, range, and composition. `match` is exhaustive.
+ */
+export const SELECTOR_KINDS = [
+    "spatial-contains",
+    "set-member",
+    "eq",
+    "range",
+    "and",
+    "or",
+];
+export class SelectorParseError extends Error {
+    input;
+    code;
+    constructor(message, input, code = "SELECTOR_FIELD") {
+        super(message);
+        this.input = input;
+        this.name = "SelectorParseError";
+        this.code = code;
+    }
+}
+export function parseSelector(input) {
+    if (!input || typeof input !== "object") {
+        throw new SelectorParseError("selector predicate is not a closed-union kind", input, "SELECTOR_KIND");
+    }
+    const pred = input;
+    const kind = pred.kind;
+    if (kind === "spatial-contains") {
+        if (pred.geom == null) {
+            throw new SelectorParseError("spatial-contains requires geom", input);
+        }
+        return { kind: "spatial-contains", geom: pred.geom };
+    }
+    if (kind === "set-member") {
+        if (!Array.isArray(pred.set)) {
+            throw new SelectorParseError("set-member requires set", input);
+        }
+        return { kind: "set-member", set: pred.set };
+    }
+    if (kind === "eq") {
+        if (pred.field == null || pred.value === undefined) {
+            throw new SelectorParseError("eq requires field and value", input);
+        }
+        return { kind: "eq", field: String(pred.field), value: pred.value };
+    }
+    if (kind === "range") {
+        if (pred.field == null || pred.min === undefined || pred.max === undefined) {
+            throw new SelectorParseError("range requires field, min, max", input);
+        }
+        return {
+            kind: "range",
+            field: String(pred.field),
+            min: pred.min,
+            max: pred.max,
+        };
+    }
+    if (kind === "and" || kind === "or") {
+        if (!Array.isArray(pred.clauses)) {
+            throw new SelectorParseError(`${kind} requires clauses`, input);
+        }
+        return kind === "and"
+            ? { kind: "and", clauses: pred.clauses.map((c) => parseSelector(c)) }
+            : { kind: "or", clauses: pred.clauses.map((c) => parseSelector(c)) };
+    }
+    throw new SelectorParseError("selector predicate is not a closed-union kind", input, "SELECTOR_KIND");
+}
+export function match(pred, handlers) {
+    switch (pred.kind) {
+        case "spatial-contains":
+            return handlers["spatial-contains"](pred);
+        case "set-member":
+            return handlers["set-member"](pred);
+        case "eq":
+            return handlers.eq(pred);
+        case "range":
+            return handlers.range(pred);
+        case "and":
+            return handlers.and(pred);
+        case "or":
+            return handlers.or(pred);
+        default: {
+            const _exhaustive = pred;
+            throw new SelectorParseError(`unhandled selector kind ${String(_exhaustive)}`, pred, "SELECTOR_KIND");
+        }
+    }
+}
+/** Factory flood selectors from F-16/F-18 close item 8. */
+export const FLOOD_ZONE_SELECTORS = {
+    A: { kind: "eq", field: "fld_zone", value: "A" },
+    AE: { kind: "eq", field: "fld_zone", value: "AE" },
+    AO: { kind: "eq", field: "fld_zone", value: "AO" },
+    X: { kind: "eq", field: "fld_zone", value: "X" },
+};
+/** Runtime export so the Factory shim check observes `SelectorPredicate` on the module. */
+export const SelectorPredicate = Object.freeze({
+    kinds: SELECTOR_KINDS,
+    parse: parseSelector,
+    match,
+    floodZones: FLOOD_ZONE_SELECTORS,
+});
+//# sourceMappingURL=selector-predicate.js.map

package/dist/selector/selector-predicate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"selector-predicate.js","sourceRoot":"","sources":["../../src/selector/selector-predicate.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AA6CH,MAAM,CAAC,MAAM,cAAc,GAAG;IAC5B,kBAAkB;IAClB,YAAY;IACZ,IAAI;IACJ,OAAO;IACP,KAAK;IACL,IAAI;CACI,CAAC;AAUX,MAAM,OAAO,kBAAmB,SAAQ,KAAK;IAKhC;IAJF,IAAI,CAAS;IAEtB,YACE,OAAe,EACN,KAAc,EACvB,IAAI,GAAG,gBAAgB;QAEvB,KAAK,CAAC,OAAO,CAAC,CAAC;QAHN,UAAK,GAAL,KAAK,CAAS;QAIvB,IAAI,CAAC,IAAI,GAAG,oBAAoB,CAAC;QACjC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACnB,CAAC;CACF;AAED,MAAM,UAAU,aAAa,CAAC,KAAc;IAC1C,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACxC,MAAM,IAAI,kBAAkB,CAC1B,+CAA+C,EAC/C,KAAK,EACL,eAAe,CAChB,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,KAAgC,CAAC;IAC9C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IAAI,IAAI,KAAK,kBAAkB,EAAE,CAAC;QAChC,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,EAAE,CAAC;YACtB,MAAM,IAAI,kBAAkB,CAAC,gCAAgC,EAAE,KAAK,CAAC,CAAC;QACxE,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,kBAAkB,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;IACvD,CAAC;IACD,IAAI,IAAI,KAAK,YAAY,EAAE,CAAC;QAC1B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7B,MAAM,IAAI,kBAAkB,CAAC,yBAAyB,EAAE,KAAK,CAAC,CAAC;QACjE,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;IAC/C,CAAC;IACD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACnD,MAAM,IAAI,kBAAkB,CAAC,6BAA6B,EAAE,KAAK,CAAC,CAAC;QACrE,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;IACtE,CAAC;IACD,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QACrB,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;YAC3E,MAAM,IAAI,kBAAkB,CAAC,gCAAgC,EAAE,KAAK,CAAC,CAAC;QACxE,CAAC;QACD,OAAO;YACL,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;YACzB,GAAG,EAAE,IAAI,CAAC,GAAG;YACb,GAAG,EAAE,IAAI,CAAC,GAAG;SACd,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QACpC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YACjC,MAAM,IAAI,kBAAkB,CAAC,GAAG,IAAI,mBAAmB,EAAE,KAAK,CAAC,CAAC;QAClE,CAAC;QACD,OAAO,IAAI,KAAK,KAAK;YACnB,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE;YACrE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACzE,CAAC;IACD,MAAM,IAAI,kBAAkB,CAC1B,+CAA+C,EAC/C,KAAK,EACL,eAAe,CAChB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,KAAK,CACnB,IAAuB,EACvB,QAA6B;IAE7B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,kBAAkB;YACrB,OAAO,QAAQ,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,CAAC;QAC5C,KAAK,YAAY;YACf,OAAO,QAAQ,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC;QACtC,KAAK,IAAI;YACP,OAAO,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAC3B,KAAK,OAAO;YACV,OAAO,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC9B,KAAK,KAAK;YACR,OAAO,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5B,KAAK,IAAI;YACP,OAAO,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAC3B,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,WAAW,GAAU,IAAI,CAAC;YAChC,MAAM,IAAI,kBAAkB,CAC1B,2BAA2B,MAAM,CAAC,WAAW,CAAC,EAAE,EAChD,IAAI,EACJ,eAAe,CAChB,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,2DAA2D;AAC3D,MAAM,CAAC,MAAM,oBAAoB,GAAG;IAClC,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE;IAChD,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE;IAClD,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE;IAClD,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE;CACY,CAAC;AAE/D,2FAA2F;AAC3F,MAAM,CAAC,MAAM,iBAAiB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC7C,KAAK,EAAE,cAAc;IACrB,KAAK,EAAE,aAAa;IACpB,KAAK;IACL,UAAU,EAAE,oBAAoB;CACjC,CAAC,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@empressaio/atom-contract",
-  "version": "1.22.0",
+  "version": "1.23.0",
   "description": "The typed-data substrate every Empressa atom satisfies: identity, context interface, composition declaration, and history anchoring. Peer to the Hauska SDK (`@hauska-sdk/*`); consumed directly by every product surface and MCP server.",
   "type": "module",
   "main": "./dist/index.js",
@@ -50,6 +50,10 @@
       "types": "./dist/property/index.d.ts",
       "import": "./dist/property/index.js"
     },
+    "./identity": {
+      "types": "./dist/identity/index.d.ts",
+      "import": "./dist/identity/index.js"
+    },
     "./package.json": "./package.json"
   },
   "files": [