@empressaio/atom-contract 1.11.0 → 1.13.0

package/CHANGELOG.md

@@ -2,6 +2,79 @@
 
 All notable changes to `@empressaio/atom-contract` (formerly `@hauska/atom-contract`) are documented here.
 
+## [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).
+
+### Added
+
+- **`building-footprint`** on `./property` — observed improvement geometry atom
+  (`reasoningKind: observed`); `sourceTier: cad-authoritative | ml-derived | absent`;
+  GeoJSON `Polygon`/`MultiPolygon`; hybrid honest absence (county-coverage
+  `verifiedAbsence` row + per-parcel `no-footprint-feature`); ml-derived tier
+  mandatory `public-free` + ODC-By in `sourceCitation` (master ruling 2026-08-05).
+- **`utility-easement`** on `./property` — observed GIS easement geometry;
+  `easementClass`, `sourceTier: plat-gis-authoritative | county-gis |
+  record-extracted | absent`; uniform `public-free`; optional `linkedInstrumentDid`
+  bridge to ADR-020.
+- Shared site-layer helpers: `SITE_LAYER_VERIFIED_ABSENCE_SCHEMA`,
+  `countyCoverageParcelNodeId`, GeoJSON geometry schemas, Bastrop T3 fixtures.
+- `PROPERTY_CONFORMANCE_TARGET_VERSION = "1.12.0"`.
+
+### Explicitly NOT in 1.12.0
+
+- ADR-021 `utility-easement` resolver basis enum (deferred post-registration pilot).
+- ADR-012 renderer `focus` mode obligation (deferred post-pilot).
+
 ## [1.11.0] - 2026-07-25
 
 Additive minor — road spine node atom (27c WDLL 3 / depth-engine R1).

package/README.md

@@ -279,8 +279,9 @@ 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`. All three
-are data-tier (`atomTier: "data"`) and default to `public-free`
+(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.
 
 **Calibrated confidence at READ (I-E):** instances MAY carry a
@@ -306,9 +307,19 @@ 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 |
+| `parcel-terrain-model` | `derived` | `parcel-terrain-mesh-ifc-v1`, format-keyed artifacts |
+| `road-node` | `observed` | `{fips}:road:{osm_way_id}`, centerline + assumed ROW |
+| `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.10.0";
+export declare const PROPERTY_CONFORMANCE_TARGET_VERSION: "1.13.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.10.0";
+export const PROPERTY_CONFORMANCE_TARGET_VERSION = "1.13.0";
 export const ATOM_TIER_VALUES = ["data", "app"];
 export const ACCESS_POLICY_VALUES = [
     "public-free",