@empressaio/atom-contract 1.7.0 → 1.9.0

package/dist/property/fixtures.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fixtures.d.ts","sourceRoot":"","sources":["../../src/property/fixtures.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AASH,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,yBAAyB,CAAC;AAE7E,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,mBAAmB,CAAC;AACjE,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AAiB/D;;;GAGG;AACH,eAAO,MAAM,wBAAwB,EAAE,sBAuBtC,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,8BAA8B,EAAE,sBA+B5C,CAAC;AAEF,yFAAyF;AACzF,eAAO,MAAM,0BAA0B,EAAE,uBAgDxC,CAAC;AAEF,oEAAoE;AACpE,eAAO,MAAM,kCAAkC,EAAE,uBAmBhD,CAAC;AAEF,mFAAmF;AACnF,eAAO,MAAM,6BAA6B,EAAE,uBAuB3C,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,+BAA+B,EAAE,6BAgD7C,CAAC;AAEF,+EAA+E;AAC/E,eAAO,MAAM,qCAAqC;;;;;;;;;;;;;;;;CAcjD,CAAC;AAEF,gDAAgD;AAChD,eAAO,MAAM,+BAA+B;;;;;;;uBAOnB,EAAE;;;;;;CAM1B,CAAC;AAEF,wDAAwD;AACxD,eAAO,MAAM,oCAAoC;;;;;;;;;;;;;;;;CAWhD,CAAC;AAEF,6DAA6D;AAC7D,eAAO,MAAM,oCAAoC;;;;;;;;;;;;;;;;;;;CAiBhD,CAAC"}

package/dist/property/fixtures.js

@@ -0,0 +1,299 @@
+/**
+ * Property reasoning atom fixtures — master WDLL 3.2–3.6 Central-TX probes.
+ *
+ * Parcel ids are real Central-TX node anchors for grading notes.
+ */
+import { createWidthedConfidence } from "../read-contract/common.js";
+import { createReasoningReadContract, createReasoningThreeAxisConfidence, } from "../read-contract/reasoning-axes.js";
+import { PROPERTY_ATOM_TIER, PROPERTY_DEFAULT_ACCESS_POLICY } from "./common.js";
+import { BUILDABLE_ENVELOPE_DERIVATION_METHOD } from "./buildable-envelope.js";
+const SAMPLE_ASSERTED = createWidthedConfidence({
+    estimate: 0.9,
+    n: 0,
+    intervalWidth: 0.2,
+    provenance: "asserted",
+});
+/** Placeholder calibrated snapshot — resolves via overlay at READ (I-E). */
+const PLACEHOLDER_CALIBRATED = createWidthedConfidence({
+    estimate: 0.75,
+    n: 0,
+    intervalWidth: 0.25,
+    provenance: "asserted",
+});
+/**
+ * Hays County (48209) — parcel 48209:156346, RS district from city GIS stamp.
+ * WDLL 3.3 zoning FACT probe.
+ */
+export const HAYS_ZONING_FACT_FIXTURE = {
+    entityType: "zoning-fact",
+    atomDid: "zfact_a1b2c3d4e5f67890",
+    parcelNodeId: "48209:156346",
+    reasoningChain: { reasoningKind: "observed" },
+    district: "RS",
+    accessPolicy: PROPERTY_DEFAULT_ACCESS_POLICY,
+    sourceCitation: "City of Kyle GIS zoning layer 2026-07-01",
+    extractedAt: "2026-07-23T12:00:00.000Z",
+    atomTier: PROPERTY_ATOM_TIER,
+    readContract: createReasoningReadContract({
+        axes: createReasoningThreeAxisConfidence({
+            calibratedConfidence: PLACEHOLDER_CALIBRATED,
+            assertedConfidence: SAMPLE_ASSERTED,
+            consequence: {
+                kind: "property-risk",
+                stratum: "routine",
+                basis: "zoning-stamp-exact",
+                assertedAt: "2026-07-23T12:00:00.000Z",
+            },
+        }),
+        assembledAt: "2026-07-23T12:00:00.000Z",
+    }),
+};
+/**
+ * Bexar County (48029) — parcel 48029:410119, null zoning honest-absence.
+ * WDLL 3.3 negative probe — NOT a stamped I-2 invent.
+ */
+export const BEXAR_NULL_ZONING_FACT_FIXTURE = {
+    entityType: "zoning-fact",
+    atomDid: "zfact_b2c3d4e5f6789012",
+    parcelNodeId: "48029:410119",
+    reasoningChain: { reasoningKind: "observed" },
+    absence: {
+        kind: "no-zoning-stamp",
+        reason: "no-zoning-polygon-covers-parcel-unincorporated",
+    },
+    accessPolicy: PROPERTY_DEFAULT_ACCESS_POLICY,
+    sourceCitation: "Bexar County Appraisal District + city GIS overlay 2026-07-01",
+    extractedAt: "2026-07-23T12:00:00.000Z",
+    atomTier: PROPERTY_ATOM_TIER,
+    readContract: createReasoningReadContract({
+        axes: createReasoningThreeAxisConfidence({
+            calibratedConfidence: PLACEHOLDER_CALIBRATED,
+            assertedConfidence: createWidthedConfidence({
+                estimate: 0.95,
+                n: 0,
+                intervalWidth: 0.1,
+                provenance: "asserted",
+            }),
+            consequence: {
+                kind: "property-risk",
+                stratum: "routine",
+                basis: "honest-absence-no-zoning-stamp",
+                assertedAt: "2026-07-23T12:00:00.000Z",
+            },
+        }),
+        assembledAt: "2026-07-23T12:00:00.000Z",
+    }),
+};
+/** Comal County (48091) — exact-match setback with typed code atom ref. WDLL 3.4/3.5. */
+export const COMAL_SETBACK_RULE_FIXTURE = {
+    entityType: "setback-rule",
+    atomDid: "sbrule_c3d4e5f678901234",
+    parcelNodeId: "48091:123456",
+    reasoningChain: { reasoningKind: "observed" },
+    front: 25,
+    side: 6,
+    rear: 10,
+    sourceCodeAtomRef: {
+        atomDid: "did:hauska:atom:code-section:udc-comal-2024-s4-2",
+        role: "rule",
+        entityType: "code-section",
+        citationLabel: "Comal County UDC S4.2 setbacks",
+    },
+    fieldProvenance: {
+        front: {
+            atomDid: "did:hauska:atom:code-section:udc-comal-2024-s4-2",
+            confidence: createWidthedConfidence({
+                estimate: 0.9,
+                n: 0,
+                intervalWidth: 0.15,
+                provenance: "asserted",
+            }),
+        },
+        side: {
+            atomDid: "did:hauska:atom:code-section:udc-comal-2024-s4-2",
+            confidence: createWidthedConfidence({
+                estimate: 0.9,
+                n: 0,
+                intervalWidth: 0.15,
+                provenance: "asserted",
+            }),
+        },
+        rear: {
+            atomDid: "did:hauska:atom:code-section:udc-comal-2024-s4-2",
+            confidence: createWidthedConfidence({
+                estimate: 0.9,
+                n: 0,
+                intervalWidth: 0.15,
+                provenance: "asserted",
+            }),
+        },
+    },
+    matchBasis: "exact",
+    accessPolicy: PROPERTY_DEFAULT_ACCESS_POLICY,
+    sourceCitation: "Comal County UDC 2024 S4.2 transcribed + verified",
+    extractedAt: "2026-07-23T12:00:00.000Z",
+    atomTier: PROPERTY_ATOM_TIER,
+};
+/** Travis County prefix-match fixture — WDLL 3.4 prefix grading. */
+export const TRAVIS_PREFIX_SETBACK_RULE_FIXTURE = {
+    entityType: "setback-rule",
+    atomDid: "sbrule_d4e5f67890123456",
+    parcelNodeId: "48453:789012",
+    reasoningChain: { reasoningKind: "observed" },
+    front: 25,
+    side: 5,
+    rear: 10,
+    sourceCodeAtomRef: {
+        atomDid: "did:hauska:atom:code-section:austin-land-dev-code-2023",
+        role: "rule",
+        entityType: "code-section",
+        citationLabel: "Austin LDC prefix match SA-C-3NA*",
+    },
+    matchBasis: "prefix",
+    accessPolicy: PROPERTY_DEFAULT_ACCESS_POLICY,
+    sourceCitation: "City of Austin Land Development Code 2023 prefix SA-C-3NA",
+    extractedAt: "2026-07-23T12:00:00.000Z",
+    atomTier: PROPERTY_ATOM_TIER,
+};
+/** Fallback match with honest-absence — Kyle R1-T / Bexar I-2 fallback grading. */
+export const FALLBACK_SETBACK_RULE_FIXTURE = {
+    entityType: "setback-rule",
+    atomDid: "sbrule_e5f6789012345678",
+    parcelNodeId: "48209:156346",
+    reasoningChain: { reasoningKind: "observed" },
+    front: 25,
+    side: 5,
+    rear: 10,
+    sourceCodeAtomRef: {
+        atomDid: "did:hauska:atom:code-section:kyle-udc-conservative-default",
+        role: "rule",
+        entityType: "code-section",
+        citationLabel: "Conservative default setback table",
+    },
+    matchBasis: "fallback",
+    absence: {
+        kind: "setback-fallback",
+        reason: "district-prefix-unmatched-using-conservative-default",
+    },
+    accessPolicy: PROPERTY_DEFAULT_ACCESS_POLICY,
+    sourceCitation: "Kyle UDC fallback table row (prefix unmatched)",
+    extractedAt: "2026-07-23T12:00:00.000Z",
+    atomTier: PROPERTY_ATOM_TIER,
+};
+/**
+ * Derived envelope for 48209:156346 — WDLL 3.6.
+ * Inputs: zoning-fact + setback-rule + geometry + front-edge reference fields.
+ */
+export const HAYS_BUILDABLE_ENVELOPE_FIXTURE = {
+    entityType: "buildable-envelope",
+    atomDid: "benvelope_f678901234567890",
+    parcelNodeId: "48209:156346",
+    reasoningChain: {
+        reasoningKind: "derived",
+        derivationMethod: BUILDABLE_ENVELOPE_DERIVATION_METHOD,
+        inputAtomRefs: [
+            {
+                atomDid: HAYS_ZONING_FACT_FIXTURE.atomDid,
+                role: "fact",
+                entityType: "zoning-fact",
+                citationLabel: "RS zoning district",
+            },
+            {
+                atomDid: FALLBACK_SETBACK_RULE_FIXTURE.atomDid,
+                role: "rule",
+                entityType: "setback-rule",
+                citationLabel: "Front/side/rear setbacks",
+            },
+            {
+                atomDid: "ref:geometry:48209-156346-footprint",
+                role: "reference-field",
+                citationLabel: "Parcel footprint geometry (TxGIO)",
+            },
+            {
+                atomDid: "ref:geometry:48209-156346-front-edge",
+                role: "reference-field",
+                citationLabel: "Front lot line (shape-tier provisional)",
+            },
+        ],
+    },
+    accessPolicy: PROPERTY_DEFAULT_ACCESS_POLICY,
+    sourceCitation: "Derived from zoning fact + setback rule + parcel geometry",
+    extractedAt: "2026-07-23T12:00:00.000Z",
+    atomTier: PROPERTY_ATOM_TIER,
+    readContract: createReasoningReadContract({
+        axes: createReasoningThreeAxisConfidence({
+            calibratedConfidence: PLACEHOLDER_CALIBRATED,
+            assertedConfidence: SAMPLE_ASSERTED,
+            consequence: {
+                kind: "not-applicable",
+                reason: "envelope-geometry-derivation-has-no-life-safety-stratum",
+                assertedAt: "2026-07-23T12:00:00.000Z",
+            },
+        }),
+        assembledAt: "2026-07-23T12:00:00.000Z",
+    }),
+};
+/** Negative — bare string citation instead of AtomInputRef (WDLL 3.5 fail). */
+export const NEGATIVE_SETBACK_BARE_STRING_CITATION = {
+    entityType: "setback-rule",
+    atomDid: "sbrule_bad00000000000001",
+    parcelNodeId: "48209:156346",
+    reasoningChain: { reasoningKind: "observed" },
+    front: 25,
+    side: 5,
+    rear: 10,
+    sourceCodeAtomRef: "did:hauska:atom:code-section:ibc-2024-1003",
+    matchBasis: "exact",
+    accessPolicy: "public-free",
+    sourceCitation: "Invalid bare-string citation",
+    extractedAt: "2026-07-23T12:00:00.000Z",
+    atomTier: "data",
+};
+/** Negative — derived without inputAtomRefs. */
+export const NEGATIVE_ENVELOPE_NO_INPUT_REFS = {
+    entityType: "buildable-envelope",
+    atomDid: "benvelope_bad0000000000001",
+    parcelNodeId: "48209:156346",
+    reasoningChain: {
+        reasoningKind: "derived",
+        derivationMethod: BUILDABLE_ENVELOPE_DERIVATION_METHOD,
+        inputAtomRefs: [],
+    },
+    accessPolicy: "public-free",
+    sourceCitation: "Missing inputs",
+    extractedAt: "2026-07-23T12:00:00.000Z",
+    atomTier: "data",
+};
+/** Negative — zoning with both district and absence. */
+export const NEGATIVE_ZONING_DISTRICT_AND_ABSENCE = {
+    entityType: "zoning-fact",
+    atomDid: "zfact_bad00000000000001",
+    parcelNodeId: "48209:156346",
+    reasoningChain: { reasoningKind: "observed" },
+    district: "RS",
+    absence: { kind: "no-zoning-stamp", reason: "conflict" },
+    accessPolicy: "public-free",
+    sourceCitation: "Invalid both district and absence",
+    extractedAt: "2026-07-23T12:00:00.000Z",
+    atomTier: "data",
+};
+/** Negative — fallback matchBasis without honest-absence. */
+export const NEGATIVE_SETBACK_FALLBACK_NO_ABSENCE = {
+    entityType: "setback-rule",
+    atomDid: "sbrule_bad00000000000002",
+    parcelNodeId: "48209:156346",
+    reasoningChain: { reasoningKind: "observed" },
+    front: 25,
+    side: 5,
+    rear: 10,
+    sourceCodeAtomRef: {
+        atomDid: "did:hauska:atom:code-section:default",
+        role: "rule",
+    },
+    matchBasis: "fallback",
+    accessPolicy: "public-free",
+    sourceCitation: "Fallback without absence",
+    extractedAt: "2026-07-23T12:00:00.000Z",
+    atomTier: "data",
+};
+//# sourceMappingURL=fixtures.js.map

package/dist/property/fixtures.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fixtures.js","sourceRoot":"","sources":["../../src/property/fixtures.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AACrE,OAAO,EACL,2BAA2B,EAC3B,kCAAkC,GACnC,MAAM,oCAAoC,CAAC;AAE5C,OAAO,EAAE,kBAAkB,EAAE,8BAA8B,EAAE,MAAM,aAAa,CAAC;AAEjF,OAAO,EAAE,oCAAoC,EAAE,MAAM,yBAAyB,CAAC;AAI/E,MAAM,eAAe,GAAG,uBAAuB,CAAC;IAC9C,QAAQ,EAAE,GAAG;IACb,CAAC,EAAE,CAAC;IACJ,aAAa,EAAE,GAAG;IAClB,UAAU,EAAE,UAAU;CACvB,CAAC,CAAC;AAEH,4EAA4E;AAC5E,MAAM,sBAAsB,GAAG,uBAAuB,CAAC;IACrD,QAAQ,EAAE,IAAI;IACd,CAAC,EAAE,CAAC;IACJ,aAAa,EAAE,IAAI;IACnB,UAAU,EAAE,UAAU;CACvB,CAAC,CAAC;AAEH;;;GAGG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAA2B;IAC9D,UAAU,EAAE,aAAa;IACzB,OAAO,EAAE,wBAAwB;IACjC,YAAY,EAAE,cAAc;IAC5B,cAAc,EAAE,EAAE,aAAa,EAAE,UAAU,EAAE;IAC7C,QAAQ,EAAE,IAAI;IACd,YAAY,EAAE,8BAA8B;IAC5C,cAAc,EAAE,0CAA0C;IAC1D,WAAW,EAAE,0BAA0B;IACvC,QAAQ,EAAE,kBAAkB;IAC5B,YAAY,EAAE,2BAA2B,CAAC;QACxC,IAAI,EAAE,kCAAkC,CAAC;YACvC,oBAAoB,EAAE,sBAAsB;YAC5C,kBAAkB,EAAE,eAAe;YACnC,WAAW,EAAE;gBACX,IAAI,EAAE,eAAe;gBACrB,OAAO,EAAE,SAAS;gBAClB,KAAK,EAAE,oBAAoB;gBAC3B,UAAU,EAAE,0BAA0B;aACvC;SACF,CAAC;QACF,WAAW,EAAE,0BAA0B;KACxC,CAAC;CACH,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAA2B;IACpE,UAAU,EAAE,aAAa;IACzB,OAAO,EAAE,wBAAwB;IACjC,YAAY,EAAE,cAAc;IAC5B,cAAc,EAAE,EAAE,aAAa,EAAE,UAAU,EAAE;IAC7C,OAAO,EAAE;QACP,IAAI,EAAE,iBAAiB;QACvB,MAAM,EAAE,gDAAgD;KACzD;IACD,YAAY,EAAE,8BAA8B;IAC5C,cAAc,EAAE,+DAA+D;IAC/E,WAAW,EAAE,0BAA0B;IACvC,QAAQ,EAAE,kBAAkB;IAC5B,YAAY,EAAE,2BAA2B,CAAC;QACxC,IAAI,EAAE,kCAAkC,CAAC;YACvC,oBAAoB,EAAE,sBAAsB;YAC5C,kBAAkB,EAAE,uBAAuB,CAAC;gBAC1C,QAAQ,EAAE,IAAI;gBACd,CAAC,EAAE,CAAC;gBACJ,aAAa,EAAE,GAAG;gBAClB,UAAU,EAAE,UAAU;aACvB,CAAC;YACF,WAAW,EAAE;gBACX,IAAI,EAAE,eAAe;gBACrB,OAAO,EAAE,SAAS;gBAClB,KAAK,EAAE,gCAAgC;gBACvC,UAAU,EAAE,0BAA0B;aACvC;SACF,CAAC;QACF,WAAW,EAAE,0BAA0B;KACxC,CAAC;CACH,CAAC;AAEF,yFAAyF;AACzF,MAAM,CAAC,MAAM,0BAA0B,GAA4B;IACjE,UAAU,EAAE,cAAc;IAC1B,OAAO,EAAE,yBAAyB;IAClC,YAAY,EAAE,cAAc;IAC5B,cAAc,EAAE,EAAE,aAAa,EAAE,UAAU,EAAE;IAC7C,KAAK,EAAE,EAAE;IACT,IAAI,EAAE,CAAC;IACP,IAAI,EAAE,EAAE;IACR,iBAAiB,EAAE;QACjB,OAAO,EAAE,kDAAkD;QAC3D,IAAI,EAAE,MAAM;QACZ,UAAU,EAAE,cAAc;QAC1B,aAAa,EAAE,gCAAgC;KAChD;IACD,eAAe,EAAE;QACf,KAAK,EAAE;YACL,OAAO,EAAE,kDAAkD;YAC3D,UAAU,EAAE,uBAAuB,CAAC;gBAClC,QAAQ,EAAE,GAAG;gBACb,CAAC,EAAE,CAAC;gBACJ,aAAa,EAAE,IAAI;gBACnB,UAAU,EAAE,UAAU;aACvB,CAAC;SACH;QACD,IAAI,EAAE;YACJ,OAAO,EAAE,kDAAkD;YAC3D,UAAU,EAAE,uBAAuB,CAAC;gBAClC,QAAQ,EAAE,GAAG;gBACb,CAAC,EAAE,CAAC;gBACJ,aAAa,EAAE,IAAI;gBACnB,UAAU,EAAE,UAAU;aACvB,CAAC;SACH;QACD,IAAI,EAAE;YACJ,OAAO,EAAE,kDAAkD;YAC3D,UAAU,EAAE,uBAAuB,CAAC;gBAClC,QAAQ,EAAE,GAAG;gBACb,CAAC,EAAE,CAAC;gBACJ,aAAa,EAAE,IAAI;gBACnB,UAAU,EAAE,UAAU;aACvB,CAAC;SACH;KACF;IACD,UAAU,EAAE,OAAO;IACnB,YAAY,EAAE,8BAA8B;IAC5C,cAAc,EAAE,mDAAmD;IACnE,WAAW,EAAE,0BAA0B;IACvC,QAAQ,EAAE,kBAAkB;CAC7B,CAAC;AAEF,oEAAoE;AACpE,MAAM,CAAC,MAAM,kCAAkC,GAA4B;IACzE,UAAU,EAAE,cAAc;IAC1B,OAAO,EAAE,yBAAyB;IAClC,YAAY,EAAE,cAAc;IAC5B,cAAc,EAAE,EAAE,aAAa,EAAE,UAAU,EAAE;IAC7C,KAAK,EAAE,EAAE;IACT,IAAI,EAAE,CAAC;IACP,IAAI,EAAE,EAAE;IACR,iBAAiB,EAAE;QACjB,OAAO,EAAE,wDAAwD;QACjE,IAAI,EAAE,MAAM;QACZ,UAAU,EAAE,cAAc;QAC1B,aAAa,EAAE,mCAAmC;KACnD;IACD,UAAU,EAAE,QAAQ;IACpB,YAAY,EAAE,8BAA8B;IAC5C,cAAc,EAAE,2DAA2D;IAC3E,WAAW,EAAE,0BAA0B;IACvC,QAAQ,EAAE,kBAAkB;CAC7B,CAAC;AAEF,mFAAmF;AACnF,MAAM,CAAC,MAAM,6BAA6B,GAA4B;IACpE,UAAU,EAAE,cAAc;IAC1B,OAAO,EAAE,yBAAyB;IAClC,YAAY,EAAE,cAAc;IAC5B,cAAc,EAAE,EAAE,aAAa,EAAE,UAAU,EAAE;IAC7C,KAAK,EAAE,EAAE;IACT,IAAI,EAAE,CAAC;IACP,IAAI,EAAE,EAAE;IACR,iBAAiB,EAAE;QACjB,OAAO,EAAE,4DAA4D;QACrE,IAAI,EAAE,MAAM;QACZ,UAAU,EAAE,cAAc;QAC1B,aAAa,EAAE,oCAAoC;KACpD;IACD,UAAU,EAAE,UAAU;IACtB,OAAO,EAAE;QACP,IAAI,EAAE,kBAAkB;QACxB,MAAM,EAAE,sDAAsD;KAC/D;IACD,YAAY,EAAE,8BAA8B;IAC5C,cAAc,EAAE,gDAAgD;IAChE,WAAW,EAAE,0BAA0B;IACvC,QAAQ,EAAE,kBAAkB;CAC7B,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAAkC;IAC5E,UAAU,EAAE,oBAAoB;IAChC,OAAO,EAAE,4BAA4B;IACrC,YAAY,EAAE,cAAc;IAC5B,cAAc,EAAE;QACd,aAAa,EAAE,SAAS;QACxB,gBAAgB,EAAE,oCAAoC;QACtD,aAAa,EAAE;YACb;gBACE,OAAO,EAAE,wBAAwB,CAAC,OAAO;gBACzC,IAAI,EAAE,MAAM;gBACZ,UAAU,EAAE,aAAa;gBACzB,aAAa,EAAE,oBAAoB;aACpC;YACD;gBACE,OAAO,EAAE,6BAA6B,CAAC,OAAO;gBAC9C,IAAI,EAAE,MAAM;gBACZ,UAAU,EAAE,cAAc;gBAC1B,aAAa,EAAE,0BAA0B;aAC1C;YACD;gBACE,OAAO,EAAE,qCAAqC;gBAC9C,IAAI,EAAE,iBAAiB;gBACvB,aAAa,EAAE,mCAAmC;aACnD;YACD;gBACE,OAAO,EAAE,sCAAsC;gBAC/C,IAAI,EAAE,iBAAiB;gBACvB,aAAa,EAAE,yCAAyC;aACzD;SACF;KACF;IACD,YAAY,EAAE,8BAA8B;IAC5C,cAAc,EAAE,2DAA2D;IAC3E,WAAW,EAAE,0BAA0B;IACvC,QAAQ,EAAE,kBAAkB;IAC5B,YAAY,EAAE,2BAA2B,CAAC;QACxC,IAAI,EAAE,kCAAkC,CAAC;YACvC,oBAAoB,EAAE,sBAAsB;YAC5C,kBAAkB,EAAE,eAAe;YACnC,WAAW,EAAE;gBACX,IAAI,EAAE,gBAAgB;gBACtB,MAAM,EAAE,yDAAyD;gBACjE,UAAU,EAAE,0BAA0B;aACvC;SACF,CAAC;QACF,WAAW,EAAE,0BAA0B;KACxC,CAAC;CACH,CAAC;AAEF,+EAA+E;AAC/E,MAAM,CAAC,MAAM,qCAAqC,GAAG;IACnD,UAAU,EAAE,cAAuB;IACnC,OAAO,EAAE,0BAA0B;IACnC,YAAY,EAAE,cAAc;IAC5B,cAAc,EAAE,EAAE,aAAa,EAAE,UAAmB,EAAE;IACtD,KAAK,EAAE,EAAE;IACT,IAAI,EAAE,CAAC;IACP,IAAI,EAAE,EAAE;IACR,iBAAiB,EAAE,4CAA4C;IAC/D,UAAU,EAAE,OAAgB;IAC5B,YAAY,EAAE,aAAsB;IACpC,cAAc,EAAE,8BAA8B;IAC9C,WAAW,EAAE,0BAA0B;IACvC,QAAQ,EAAE,MAAe;CAC1B,CAAC;AAEF,gDAAgD;AAChD,MAAM,CAAC,MAAM,+BAA+B,GAAG;IAC7C,UAAU,EAAE,oBAA6B;IACzC,OAAO,EAAE,4BAA4B;IACrC,YAAY,EAAE,cAAc;IAC5B,cAAc,EAAE;QACd,aAAa,EAAE,SAAkB;QACjC,gBAAgB,EAAE,oCAAoC;QACtD,aAAa,EAAE,EAAQ;KACxB;IACD,YAAY,EAAE,aAAsB;IACpC,cAAc,EAAE,gBAAgB;IAChC,WAAW,EAAE,0BAA0B;IACvC,QAAQ,EAAE,MAAe;CAC1B,CAAC;AAEF,wDAAwD;AACxD,MAAM,CAAC,MAAM,oCAAoC,GAAG;IAClD,UAAU,EAAE,aAAsB;IAClC,OAAO,EAAE,yBAAyB;IAClC,YAAY,EAAE,cAAc;IAC5B,cAAc,EAAE,EAAE,aAAa,EAAE,UAAmB,EAAE;IACtD,QAAQ,EAAE,IAAI;IACd,OAAO,EAAE,EAAE,IAAI,EAAE,iBAA0B,EAAE,MAAM,EAAE,UAAU,EAAE;IACjE,YAAY,EAAE,aAAsB;IACpC,cAAc,EAAE,mCAAmC;IACnD,WAAW,EAAE,0BAA0B;IACvC,QAAQ,EAAE,MAAe;CAC1B,CAAC;AAEF,6DAA6D;AAC7D,MAAM,CAAC,MAAM,oCAAoC,GAAG;IAClD,UAAU,EAAE,cAAuB;IACnC,OAAO,EAAE,0BAA0B;IACnC,YAAY,EAAE,cAAc;IAC5B,cAAc,EAAE,EAAE,aAAa,EAAE,UAAmB,EAAE;IACtD,KAAK,EAAE,EAAE;IACT,IAAI,EAAE,CAAC;IACP,IAAI,EAAE,EAAE;IACR,iBAAiB,EAAE;QACjB,OAAO,EAAE,sCAAsC;QAC/C,IAAI,EAAE,MAAe;KACtB;IACD,UAAU,EAAE,UAAmB;IAC/B,YAAY,EAAE,aAAsB;IACpC,cAAc,EAAE,0BAA0B;IAC1C,WAAW,EAAE,0BAA0B;IACvC,QAAQ,EAAE,MAAe;CAC1B,CAAC"}

package/dist/property/index.d.ts

@@ -0,0 +1,23 @@
+/**
+ * Property reasoning atom kinds — master WDLL 3.2–3.6.
+ *
+ * Import from `@empressaio/atom-contract/property`.
+ *
+ * Re-exports 1.8.0 primitives used by property emitters:
+ * ReasoningChain, AtomInputRef, PropertyConsequence, ReasoningReadContract,
+ * ActorRecord, ObligationAtomInstance.
+ */
+export * from "./common.js";
+export * from "./zoning-fact.js";
+export * from "./setback-rule.js";
+export * from "./buildable-envelope.js";
+export * from "./fixtures.js";
+export type { AtomInputRef, AtomInputRefRole, ReasoningChain, } from "../reasoning-chain.js";
+export { ATOM_INPUT_REF_ROLES, ATOM_INPUT_REF_SCHEMA, REASONING_CHAIN_SCHEMA, createReasoningChain, validateReasoningChain, } from "../reasoning-chain.js";
+export type { PropertyConsequence, PropertyRiskStratum, ReasoningThreeAxisConfidence, ReasoningReadContract, } from "../read-contract/reasoning-axes.js";
+export { PROPERTY_CONSEQUENCE_SCHEMA, REASONING_READ_CONTRACT_SCHEMA, REASONING_THREE_AXIS_CONFIDENCE_SCHEMA, createPropertyConsequence, createReasoningReadContract, createReasoningThreeAxisConfidence, validateReasoningReadContract, } from "../read-contract/reasoning-axes.js";
+export type { ActorRecordAtomInstance, ActorLicensingTerms, } from "../actor-record.js";
+export { ACTOR_RECORD_SCHEMA, ICC_ACTOR_RECORD_FIXTURE } from "../actor-record.js";
+export type { ObligationAtomInstance, ObligationType, } from "../obligation.js";
+export { OBLIGATION_SCHEMA, LICENSE_OBLIGATION_TYPES } from "../obligation.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/property/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,cAAc,aAAa,CAAC;AAC5B,cAAc,kBAAkB,CAAC;AACjC,cAAc,mBAAmB,CAAC;AAClC,cAAc,yBAAyB,CAAC;AACxC,cAAc,eAAe,CAAC;AAE9B,YAAY,EACV,YAAY,EACZ,gBAAgB,EAChB,cAAc,GACf,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,oBAAoB,EACpB,qBAAqB,EACrB,sBAAsB,EACtB,oBAAoB,EACpB,sBAAsB,GACvB,MAAM,uBAAuB,CAAC;AAE/B,YAAY,EACV,mBAAmB,EACnB,mBAAmB,EACnB,4BAA4B,EAC5B,qBAAqB,GACtB,MAAM,oCAAoC,CAAC;AAC5C,OAAO,EACL,2BAA2B,EAC3B,8BAA8B,EAC9B,sCAAsC,EACtC,yBAAyB,EACzB,2BAA2B,EAC3B,kCAAkC,EAClC,6BAA6B,GAC9B,MAAM,oCAAoC,CAAC;AAE5C,YAAY,EACV,uBAAuB,EACvB,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,mBAAmB,EAAE,wBAAwB,EAAE,MAAM,oBAAoB,CAAC;AAEnF,YAAY,EACV,sBAAsB,EACtB,cAAc,GACf,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC"}

package/dist/property/index.js

@@ -0,0 +1,19 @@
+/**
+ * Property reasoning atom kinds — master WDLL 3.2–3.6.
+ *
+ * Import from `@empressaio/atom-contract/property`.
+ *
+ * Re-exports 1.8.0 primitives used by property emitters:
+ * ReasoningChain, AtomInputRef, PropertyConsequence, ReasoningReadContract,
+ * ActorRecord, ObligationAtomInstance.
+ */
+export * from "./common.js";
+export * from "./zoning-fact.js";
+export * from "./setback-rule.js";
+export * from "./buildable-envelope.js";
+export * from "./fixtures.js";
+export { ATOM_INPUT_REF_ROLES, ATOM_INPUT_REF_SCHEMA, REASONING_CHAIN_SCHEMA, createReasoningChain, validateReasoningChain, } from "../reasoning-chain.js";
+export { PROPERTY_CONSEQUENCE_SCHEMA, REASONING_READ_CONTRACT_SCHEMA, REASONING_THREE_AXIS_CONFIDENCE_SCHEMA, createPropertyConsequence, createReasoningReadContract, createReasoningThreeAxisConfidence, validateReasoningReadContract, } from "../read-contract/reasoning-axes.js";
+export { ACTOR_RECORD_SCHEMA, ICC_ACTOR_RECORD_FIXTURE } from "../actor-record.js";
+export { OBLIGATION_SCHEMA, LICENSE_OBLIGATION_TYPES } from "../obligation.js";
+//# sourceMappingURL=index.js.map

package/dist/property/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/property/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,cAAc,aAAa,CAAC;AAC5B,cAAc,kBAAkB,CAAC;AACjC,cAAc,mBAAmB,CAAC;AAClC,cAAc,yBAAyB,CAAC;AACxC,cAAc,eAAe,CAAC;AAO9B,OAAO,EACL,oBAAoB,EACpB,qBAAqB,EACrB,sBAAsB,EACtB,oBAAoB,EACpB,sBAAsB,GACvB,MAAM,uBAAuB,CAAC;AAQ/B,OAAO,EACL,2BAA2B,EAC3B,8BAA8B,EAC9B,sCAAsC,EACtC,yBAAyB,EACzB,2BAA2B,EAC3B,kCAAkC,EAClC,6BAA6B,GAC9B,MAAM,oCAAoC,CAAC;AAM5C,OAAO,EAAE,mBAAmB,EAAE,wBAAwB,EAAE,MAAM,oBAAoB,CAAC;AAMnF,OAAO,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC"}