@empressaio/atom-contract 1.18.0 → 1.19.0

package/dist/property/special-district-fact.js

@@ -0,0 +1,119 @@
+import { z } from "zod";
+import { REASONING_CHAIN_OBSERVED_SCHEMA } from "../reasoning-chain.js";
+import { PARCEL_NODE_ID_PATTERN, PROPERTY_ACCESS_POLICY_SCHEMA, PROPERTY_ATOM_TIER, PROPERTY_DEFAULT_ACCESS_POLICY, PROPERTY_QUALITY_GATE_FIELDS, PROPERTY_READ_CONTRACT_SCHEMA, SITE_LAYER_PROVENANCE_FIELDS, SITE_LAYER_VERIFIED_ABSENCE_SCHEMA, SPECIAL_DISTRICT_ABSENCE_SCHEMA, SPECIAL_DISTRICT_MEMBERSHIP_BASIS_SCHEMA, SPECIAL_DISTRICT_SOURCE_TIER_SCHEMA, SPECIAL_DISTRICT_TAX_RATE_SCHEMA, } from "./common.js";
+export const SPECIAL_DISTRICT_FACT_SCHEMA = z
+    .object({
+    entityType: z.literal("special-district-fact"),
+    atomDid: z
+        .string()
+        .min(1)
+        .refine((val) => /^sdfact_[0-9a-f]{16}$/.test(val), {
+        message: "atomDid must be in format sdfact_<16-hex-chars>",
+    }),
+    parcelNodeId: z
+        .string()
+        .min(1)
+        .refine((val) => PARCEL_NODE_ID_PATTERN.test(val), {
+        message: "parcelNodeId must match {county_fips}:{prop_id}",
+    }),
+    reasoningChain: REASONING_CHAIN_OBSERVED_SCHEMA,
+    sourceTier: SPECIAL_DISTRICT_SOURCE_TIER_SCHEMA,
+    districtName: z.string().min(1).optional(),
+    districtId: z.string().min(1).optional(),
+    districtType: z.string().min(1).optional(),
+    countyFips: z
+        .string()
+        .min(5)
+        .max(5)
+        .regex(/^\d{5}$/)
+        .optional(),
+    membershipBasis: SPECIAL_DISTRICT_MEMBERSHIP_BASIS_SCHEMA.optional(),
+    taxRate: SPECIAL_DISTRICT_TAX_RATE_SCHEMA.optional(),
+    absence: SPECIAL_DISTRICT_ABSENCE_SCHEMA.optional(),
+    verifiedAbsence: SITE_LAYER_VERIFIED_ABSENCE_SCHEMA.optional(),
+    accessPolicy: PROPERTY_ACCESS_POLICY_SCHEMA,
+    ...PROPERTY_QUALITY_GATE_FIELDS,
+    ...SITE_LAYER_PROVENANCE_FIELDS,
+    atomTier: z.literal(PROPERTY_ATOM_TIER),
+    readContract: PROPERTY_READ_CONTRACT_SCHEMA.optional(),
+})
+    .superRefine((data, ctx) => {
+    const hasAbsence = data.absence !== undefined;
+    const isAbsentTier = data.sourceTier === "absent";
+    const hasDistrictClaim = data.districtName !== undefined ||
+        data.districtId !== undefined ||
+        data.districtType !== undefined;
+    if (data.accessPolicy !== PROPERTY_DEFAULT_ACCESS_POLICY) {
+        ctx.addIssue({
+            code: z.ZodIssueCode.custom,
+            message: "special-district-fact must use accessPolicy public-free",
+            path: ["accessPolicy"],
+        });
+    }
+    if (hasDistrictClaim && hasAbsence) {
+        ctx.addIssue({
+            code: z.ZodIssueCode.custom,
+            message: "district fields and absence are mutually exclusive",
+            path: ["absence"],
+        });
+    }
+    if (isAbsentTier) {
+        if (!data.verifiedAbsence) {
+            ctx.addIssue({
+                code: z.ZodIssueCode.custom,
+                message: "sourceTier absent requires verifiedAbsence (evaluated + provenanceScope)",
+                path: ["verifiedAbsence"],
+            });
+        }
+        if (hasDistrictClaim || data.membershipBasis !== undefined) {
+            ctx.addIssue({
+                code: z.ZodIssueCode.custom,
+                message: "sourceTier absent must not carry district membership fields",
+                path: ["sourceTier"],
+            });
+        }
+    }
+    else if (hasAbsence) {
+        if (hasDistrictClaim || data.membershipBasis !== undefined) {
+            ctx.addIssue({
+                code: z.ZodIssueCode.custom,
+                message: "absence must not coexist with district membership fields",
+                path: ["absence"],
+            });
+        }
+        if (data.taxRate !== undefined) {
+            ctx.addIssue({
+                code: z.ZodIssueCode.custom,
+                message: "absence must not carry taxRate enrichment",
+                path: ["taxRate"],
+            });
+        }
+    }
+    else {
+        if (!data.districtId || !data.districtName || !data.districtType) {
+            ctx.addIssue({
+                code: z.ZodIssueCode.custom,
+                message: "present tier requires districtId, districtName, and districtType",
+                path: ["districtId"],
+            });
+        }
+        if (data.membershipBasis !== "point-in-polygon") {
+            ctx.addIssue({
+                code: z.ZodIssueCode.custom,
+                message: "present tier requires membershipBasis point-in-polygon (binary PIP only — no proximity)",
+                path: ["membershipBasis"],
+            });
+        }
+        if (!data.countyFips) {
+            ctx.addIssue({
+                code: z.ZodIssueCode.custom,
+                message: "present tier requires countyFips",
+                path: ["countyFips"],
+            });
+        }
+    }
+});
+export function createSpecialDistrictFact(input) {
+    return SPECIAL_DISTRICT_FACT_SCHEMA.parse(input);
+}
+//# sourceMappingURL=special-district-fact.js.map

package/dist/property/special-district-fact.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"special-district-fact.js","sourceRoot":"","sources":["../../src/property/special-district-fact.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAKxB,OAAO,EAAE,+BAA+B,EAAE,MAAM,uBAAuB,CAAC;AAGxE,OAAO,EACL,sBAAsB,EACtB,6BAA6B,EAC7B,kBAAkB,EAClB,8BAA8B,EAC9B,4BAA4B,EAC5B,6BAA6B,EAC7B,4BAA4B,EAC5B,kCAAkC,EAClC,+BAA+B,EAC/B,wCAAwC,EACxC,mCAAmC,EACnC,gCAAgC,GAMjC,MAAM,aAAa,CAAC;AAsCrB,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC;KAC1C,MAAM,CAAC;IACN,UAAU,EAAE,CAAC,CAAC,OAAO,CAAC,uBAAuB,CAAC;IAC9C,OAAO,EAAE,CAAC;SACP,MAAM,EAAE;SACR,GAAG,CAAC,CAAC,CAAC;SACN,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;QAClD,OAAO,EAAE,iDAAiD;KAC3D,CAAC;IACJ,YAAY,EAAE,CAAC;SACZ,MAAM,EAAE;SACR,GAAG,CAAC,CAAC,CAAC;SACN,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;QACjD,OAAO,EAAE,iDAAiD;KAC3D,CAAC;IACJ,cAAc,EAAE,+BAA+B;IAC/C,UAAU,EAAE,mCAAmC;IAC/C,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAC1C,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IACxC,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAC1C,UAAU,EAAE,CAAC;SACV,MAAM,EAAE;SACR,GAAG,CAAC,CAAC,CAAC;SACN,GAAG,CAAC,CAAC,CAAC;SACN,KAAK,CAAC,SAAS,CAAC;SAChB,QAAQ,EAAE;IACb,eAAe,EAAE,wCAAwC,CAAC,QAAQ,EAAE;IACpE,OAAO,EAAE,gCAAgC,CAAC,QAAQ,EAAE;IACpD,OAAO,EAAE,+BAA+B,CAAC,QAAQ,EAAE;IACnD,eAAe,EAAE,kCAAkC,CAAC,QAAQ,EAAE;IAC9D,YAAY,EAAE,6BAA6B;IAC3C,GAAG,4BAA4B;IAC/B,GAAG,4BAA4B;IAC/B,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC;IACvC,YAAY,EAAE,6BAA6B,CAAC,QAAQ,EAAE;CACvD,CAAC;KACD,WAAW,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE;IACzB,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC;IAC9C,MAAM,YAAY,GAAG,IAAI,CAAC,UAAU,KAAK,QAAQ,CAAC;IAClD,MAAM,gBAAgB,GACpB,IAAI,CAAC,YAAY,KAAK,SAAS;QAC/B,IAAI,CAAC,UAAU,KAAK,SAAS;QAC7B,IAAI,CAAC,YAAY,KAAK,SAAS,CAAC;IAElC,IAAI,IAAI,CAAC,YAAY,KAAK,8BAA8B,EAAE,CAAC;QACzD,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;YAC3B,OAAO,EAAE,yDAAyD;YAClE,IAAI,EAAE,CAAC,cAAc,CAAC;SACvB,CAAC,CAAC;IACL,CAAC;IAED,IAAI,gBAAgB,IAAI,UAAU,EAAE,CAAC;QACnC,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;YAC3B,OAAO,EAAE,oDAAoD;YAC7D,IAAI,EAAE,CAAC,SAAS,CAAC;SAClB,CAAC,CAAC;IACL,CAAC;IAED,IAAI,YAAY,EAAE,CAAC;QACjB,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC;YAC1B,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;gBAC3B,OAAO,EACL,0EAA0E;gBAC5E,IAAI,EAAE,CAAC,iBAAiB,CAAC;aAC1B,CAAC,CAAC;QACL,CAAC;QACD,IAAI,gBAAgB,IAAI,IAAI,CAAC,eAAe,KAAK,SAAS,EAAE,CAAC;YAC3D,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;gBAC3B,OAAO,EAAE,6DAA6D;gBACtE,IAAI,EAAE,CAAC,YAAY,CAAC;aACrB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;SAAM,IAAI,UAAU,EAAE,CAAC;QACtB,IAAI,gBAAgB,IAAI,IAAI,CAAC,eAAe,KAAK,SAAS,EAAE,CAAC;YAC3D,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;gBAC3B,OAAO,EAAE,0DAA0D;gBACnE,IAAI,EAAE,CAAC,SAAS,CAAC;aAClB,CAAC,CAAC;QACL,CAAC;QACD,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAC/B,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;gBAC3B,OAAO,EAAE,2CAA2C;gBACpD,IAAI,EAAE,CAAC,SAAS,CAAC;aAClB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;SAAM,CAAC;QACN,IAAI,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,IAAI,CAAC,YAAY,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC;YACjE,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;gBAC3B,OAAO,EACL,kEAAkE;gBACpE,IAAI,EAAE,CAAC,YAAY,CAAC;aACrB,CAAC,CAAC;QACL,CAAC;QACD,IAAI,IAAI,CAAC,eAAe,KAAK,kBAAkB,EAAE,CAAC;YAChD,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;gBAC3B,OAAO,EACL,yFAAyF;gBAC3F,IAAI,EAAE,CAAC,iBAAiB,CAAC;aAC1B,CAAC,CAAC;QACL,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;YACrB,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;gBAC3B,OAAO,EAAE,kCAAkC;gBAC3C,IAAI,EAAE,CAAC,YAAY,CAAC;aACrB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC,CAAC,CAAC;AAEL,MAAM,UAAU,yBAAyB,CACvC,KAAmD;IAEnD,OAAO,4BAA4B,CAAC,KAAK,CACvC,KAAK,CAC6B,CAAC;AACvC,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@empressaio/atom-contract",
-  "version": "1.18.0",
+  "version": "1.19.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",