@empressaio/atom-contract 1.12.0 → 1.14.0

package/CHANGELOG.md

@@ -2,6 +2,86 @@
 
 All notable changes to `@empressaio/atom-contract` (formerly `@hauska/atom-contract`) are documented here.
 
+## [1.14.0] - 2026-08-08
+
+Additive minor — three county-shape property rails with first-class typed absence:
+`flood-hazard-fact`, `cad-parcel-roll`, and `land-use-fact`.
+
+### Added
+
+- **`flood-hazard-fact`** on `./property` — FEMA NFHL SFHA finding or honest
+  absence (`no-flood-coverage`). Present tier requires `inSpecialFloodHazardArea`;
+  outside-mapped parcels are present with SFHA false, not absence. `sourceTier:
+  fema-nfhl | absent`; county-level `verifiedAbsence` fail-closed when absent.
+- **`cad-parcel-roll`** on `./property` — county appraisal roll row or honest
+  absence (`no-cad-row`, `join-hold`). Owner fields gated on
+  `joinPassedOwnerMatchGate`; wrong owner worse than missing. `sourceTier:
+  cad-authoritative | absent`; `sourceFile` required on present tier.
+- **`land-use-fact`** on `./property` — CAD `property_use_code` or honest
+  absence (`no-land-use-code`, `no-cad-row`, `join-hold`). Writers read county
+  CAD only; Cotality land_use_code is dead.
+- Shared helpers: `CAD_ROLL_SOURCE_TIER_SCHEMA`, `FLOOD_HAZARD_*`,
+  `LAND_USE_ABSENCE_SCHEMA`, `LAND_ACRES_SCHEMA`.
+- Fixtures and negative probes for each rail.
+- `PROPERTY_CONFORMANCE_TARGET_VERSION = "1.14.0"`.
+
+### Explicitly NOT in 1.14.0
+
+- `parcel-owner-facet` (owner facet) — specify-only; not published.
+- `mud`, `rrc`, `pipeline`, `soil-survey-fact` — specify-only; not published.
+- Parcel ring atoms or geometry on property atoms — Geometry Law unchanged.
+- New relationship layer — `atom_links` already ships.
+- Cotality sourcing tier — extinguished; never wired.
+
+## [1.13.0] - 2026-08-08
+
+Additive minor — `parcel-node`, the Rail 1 parcel identity and geometry-provenance
+anchor. MCP has advertised this entity type on the property chain since the chain
+shipped, with no producer behind it; this lands the shape so the engine can write it.
+
+### Added
+
+- **`parcel-node`** on `./property` — observed parcel ANCHOR atom
+  (`reasoningKind: observed`, uniform `public-free`). Carries parcel identity
+  (`parcelNodeId`, `countyFips`, `keyKind`, per-key-provenance `externalKeys`),
+  ring provenance (`geometrySourceTier: txgio-stratmap | county-arcgis-override |
+  absent`, `sourceVintage`, `divergenceObservationCount`), and load state
+  (`geometryLoaded`).
+- **Geometry by reference, never by value.** `geometryStoreRef` is a typed pointer
+  `{ store: "txgio_parcel", countyFips, propId }` into the single geometry truth
+  frame (Geometry Law rule 1, `_decisions/2026-08-07_envelope_saga_close_and_geometry_law`).
+  The schema is `.strict()` on that pointer, so an inlined ring is a parse error —
+  the atom cannot become a second source of geometry truth.
+- **First-class typed absence**, matching the `building-footprint` /
+  `utility-easement` pattern: county-level `verifiedAbsence` (mandatory non-empty
+  `provenanceScope`, fail-closed when `geometrySourceTier: absent`) on the
+  `{fips}:_county_coverage` anchor, plus per-parcel `absence` kinds
+  `no-parcel-geometry`, `geometry-incomplete` (MultiPolygon truncation finding),
+  and `parcel-key-unresolved`. Absence and a resolved pointer are mutually
+  exclusive; `geometryLoaded` must agree with the pointer.
+- `PARCEL_KEY_KIND_SCHEMA` (`prop_id | geo_id_crosswalk`) — records which key the
+  second `parcelNodeId` token carries for crosswalk counties. Identity metadata,
+  not the join-quality rate (which stays a manifest/roster metric, not atomized).
+- `parcelNodeAtomDid`, `PARCEL_NODE_ATOM_DID_PATTERN` — preserves the already
+  published MCP form `did:hauska:parcel-node:{parcelNodeId}`; the schema rejects
+  an `atomDid` that does not embed its own `parcelNodeId`.
+- Fixtures: Bastrop loaded parcel, Travis crosswalk-key parcel, county-coverage
+  verified absence, per-parcel absence, MultiPolygon-incomplete finding, and six
+  negative fixtures.
+- `PROPERTY_CONFORMANCE_TARGET_VERSION = "1.13.0"`.
+
+### Explicitly NOT in 1.13.0
+
+- Parcel ring geometry as atom payload — rejected; `txgio_parcel` stays the one
+  ring per parcel.
+- Any change to `parcelNodeId` shape or the MCP `parcel_node_id` parameter —
+  re-keying was rejected (2,269 call sites, published tool parameter, DIDs embed
+  the key).
+- A new relationship layer — `atom_links` already ships.
+- `cad-parcel-roll`, `land-use-fact`, `parcel-owner-facet`, `flood-hazard-fact`,
+  `soil-survey-fact` — later rails in the same spec.
+- `buildable-envelope.absence` — still queued.
+
 ## [1.12.0] - 2026-08-05
 
 Additive minor — building footprint and utility easement site-layer atoms (ADR-029 / T3).

package/README.md

@@ -279,7 +279,7 @@ import {
 ## Property reasoning atom kinds (master WDLL 3.2–3.6)
 
 Parcel buildable-answer chain atoms ship on the `./property` subpath
-(v1.9.0+): `zoning-fact`, `setback-rule`, `buildable-envelope`,
+(v1.9.0+): `parcel-node`, `zoning-fact`, `setback-rule`, `buildable-envelope`,
 `parcel-terrain-model`, `road-node`, `building-footprint`, `utility-easement`.
 All are data-tier (`atomTier: "data"`) and default to `public-free`
 accessPolicy when undeclared on the registration.
@@ -307,6 +307,7 @@ import {
 
 | `entityType` | `reasoningKind` | Key fields |
 |---|---|---|
+| `parcel-node` | `observed` | `keyKind`, `geometryStoreRef` pointer (never the ring) OR `absence`/`verifiedAbsence` |
 | `zoning-fact` | `observed` | `district` OR `absence.no-zoning-stamp` |
 | `setback-rule` | `observed` | `front`/`side`/`rear`, typed `sourceCodeAtomRef`, `matchBasis` |
 | `buildable-envelope` | `derived` | `buildable-envelope-inset-v1`, input refs to fact + rule + geometry |
@@ -315,6 +316,11 @@ import {
 | `building-footprint` | `observed` | `footprintGeometry` OR `absence`/`verifiedAbsence`; `sourceTier` |
 | `utility-easement` | `observed` | `easementGeometry`, `easementClass`, `public-free` always |
 
+`parcel-node` is the Rail 1 anchor every other property rail keys on. It records
+parcel identity and ring PROVENANCE; the ring itself stays in `txgio_parcel`, the
+one geometry truth frame (Geometry Law rule 1). `geometryStoreRef` is a strict
+pointer, so an inlined ring fails to parse.
+
 ICC royalties on code citations accrue via core `ObligationAtomInstance`
 rows — no standalone `SourceAttribution` type.
 

package/dist/conformance/common.d.ts

@@ -22,7 +22,7 @@ export type ReasoningConformanceTargetVersion = typeof REASONING_CONFORMANCE_TAR
 /**
  * Pin property atom kind adopters to this semver (master WDLL 3.2–3.6).
  */
-export declare const PROPERTY_CONFORMANCE_TARGET_VERSION: "1.12.0";
+export declare const PROPERTY_CONFORMANCE_TARGET_VERSION: "1.14.0";
 export type PropertyConformanceTargetVersion = typeof PROPERTY_CONFORMANCE_TARGET_VERSION;
 /** Data-level atoms carry signed history; app-level workflow containers skip it. */
 export type AtomTier = "data" | "app";

package/dist/conformance/common.js

@@ -19,7 +19,7 @@ export const REASONING_CONFORMANCE_TARGET_VERSION = "1.8.0";
 /**
  * Pin property atom kind adopters to this semver (master WDLL 3.2–3.6).
  */
-export const PROPERTY_CONFORMANCE_TARGET_VERSION = "1.12.0";
+export const PROPERTY_CONFORMANCE_TARGET_VERSION = "1.14.0";
 export const ATOM_TIER_VALUES = ["data", "app"];
 export const ACCESS_POLICY_VALUES = [
     "public-free",