@mailwoman/bdc 8.6.0 → 9.0.0

package/out/sdk/nearest-infrastructure.d.ts

@@ -4,15 +4,14 @@
  * @author Teffen Ellis, et al.
  *
  *   `nearestInfrastructure` — a coverage-paired k-nearest read over the telecom-infrastructure POI
- *   categories (`telecom_exchange`/`tower_comms`, poi-taxonomy task 1 + the `--source osm` extractor,
- *   2b tasks 1–2) that a caller can join against ANY layer's own `layer_coverage` survey-completeness
- *   table (2b task 4, decision 7). Typical caller: a BDC filing scorer that wants "what's the nearest
- *   real infrastructure to this claimed Broadband Serviceable Location, and does OUR layer even have
- *   survey evidence for that area" in one call.
+ *   categories (`telecom_exchange`/`tower_comms` — `@mailwoman/poi-taxonomy` categories, populated by the
+ *   `--source osm` extractor) that a caller can join against ANY layer's own `layer_coverage`
+ *   survey-completeness table (decision 7). Typical caller: a BDC filing scorer that wants "what's the
+ *   nearest real infrastructure to this claimed Broadband Serviceable Location, and does OUR layer even
+ *   have survey evidence for that area" in one call.
  *
- *   Two deviations from the task brief's literal sketch, both forced by what `poi-lookup.ts` and
- *   `@mailwoman/core/layers` actually expose (documented per the brief's "implementer picks and
- *   documents" instruction):
+ *   Two shapes below are not the obvious ones, and both are forced by what `poi-lookup.ts` and
+ *   `@mailwoman/core/layers` actually expose:
  *
  *   - **`poiLookup` is an already-open {@link POILookup}, not a `POILookupOpts` this function
  *     constructs itself.** `POILookup`'s constructor eagerly loads the poi-taxonomy category dictionary
@@ -22,14 +21,14 @@
  *     `poi.db` ONCE and reuse the same `POILookup` — this wrapper takes that shape: the caller owns
  *     `POILookup`'s open/dispose lifecycle (`using poiLookup = new POILookup(...)`), we just call
  *     `.search()` on it.
- *   - **`nearestInfrastructure` is `async`, not the brief's sync sketch.** `readLayerCoverage`
+ *   - **`nearestInfrastructure` is `async`, not sync.** `readLayerCoverage`
  *     (`@mailwoman/core/layers`) is `Promise`-returning — every layer-contract read in this codebase is
  *     (`readLayerManifest`, `filingLandscape` itself) — so pairing each POI hit with its coverage cell
  *     means awaiting one `readLayerCoverage` call per hit. A sync signature can't await that.
  *
  *   {@link res9ShortCellToRes6Parent} (exported by `filing-landscape.ts`; see that file's docstring for
- *   why the res-9 → res-6 reconstruction is a straight concatenation, not `@mailwoman/spatial`'s
- *   `expandH3Cell`) turns each hit's res-9 cell into the res-6 cell every layer in this repo aggregates
+ *   why the res-6 parent is reconstructed from the STORED res-9 cell rather than recomputed from the
+ *   centroid) turns each hit's res-9 cell into the res-6 cell every layer in this repo aggregates
  *   coverage at (poi.db's own convention; `bdc.db`'s `BDC_COVERAGE_H3_RESOLUTION` matches it
  *   deliberately — see `schema.ts`). `POI_H3_RESOLUTION` (`poi-lookup.ts`) is ALSO 9, so the two layers'
  *   spines agree without this module hardcoding a resolution of its own.

package/out/sdk/nearest-infrastructure.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"nearest-infrastructure.d.ts","sourceRoot":"","sources":["../../sdk/nearest-infrastructure.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAA;AACnE,OAAO,EAAqB,KAAK,YAAY,EAAE,KAAK,qBAAqB,EAAE,MAAM,wBAAwB,CAAA;AACzG,OAAO,EAAqB,KAAK,SAAS,EAAE,MAAM,2CAA2C,CAAA;AAC7F,OAAO,EAA+B,KAAK,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAKnF;;;;;GAKG;AACH,eAAO,MAAM,wCAAwC,KAAK,CAAA;AAE1D;;;;GAIG;AACH,MAAM,WAAW,iBAAiB;IACjC,UAAU,EAAE,MAAM,CAAA;IAClB,IAAI,EAAE,MAAM,GAAG,IAAI,CAAA;IACnB,SAAS,EAAE,MAAM,CAAA;IACjB;;OAEG;IACH,MAAM,EAAE,MAAM,CAAA;IACd,QAAQ,EAAE,YAAY,GAAG,SAAS,CAAA;CAClC;AAED,MAAM,WAAW,4BAA4B;IAC5C,MAAM,EAAE,YAAY,CAAA;IACpB;;;OAGG;IACH,WAAW,EAAE,MAAM,EAAE,CAAA;IACrB,KAAK,CAAC,EAAE,MAAM,CAAA;IACd;;;OAGG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAA;CACjB;AAED;;;;;GAKG;AACH,wBAAsB,qBAAqB,CAC1C,SAAS,EAAE,SAAS,EACpB,UAAU,EAAE,cAAc,CAAC,qBAAqB,CAAC,EACjD,OAAO,EAAE,4BAA4B,GACnC,OAAO,CAAC,iBAAiB,EAAE,CAAC,CAkC9B"}
+{"version":3,"file":"nearest-infrastructure.d.ts","sourceRoot":"","sources":["../../sdk/nearest-infrastructure.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAA;AACnE,OAAO,EAAqB,KAAK,YAAY,EAAE,KAAK,qBAAqB,EAAE,MAAM,wBAAwB,CAAA;AACzG,OAAO,EAAqB,KAAK,SAAS,EAAE,MAAM,2CAA2C,CAAA;AAC7F,OAAO,EAA+B,KAAK,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAKnF;;;;;GAKG;AACH,eAAO,MAAM,wCAAwC,KAAK,CAAA;AAE1D;;;;GAIG;AACH,MAAM,WAAW,iBAAiB;IACjC,UAAU,EAAE,MAAM,CAAA;IAClB,IAAI,EAAE,MAAM,GAAG,IAAI,CAAA;IACnB,SAAS,EAAE,MAAM,CAAA;IACjB;;OAEG;IACH,MAAM,EAAE,MAAM,CAAA;IACd,QAAQ,EAAE,YAAY,GAAG,SAAS,CAAA;CAClC;AAED,MAAM,WAAW,4BAA4B;IAC5C,MAAM,EAAE,YAAY,CAAA;IACpB;;;OAGG;IACH,WAAW,EAAE,MAAM,EAAE,CAAA;IACrB,KAAK,CAAC,EAAE,MAAM,CAAA;IACd;;;OAGG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAA;CACjB;AAED;;;;;GAKG;AACH,wBAAsB,qBAAqB,CAC1C,SAAS,EAAE,SAAS,EACpB,UAAU,EAAE,cAAc,CAAC,qBAAqB,CAAC,EACjD,OAAO,EAAE,4BAA4B,GACnC,OAAO,CAAC,iBAAiB,EAAE,CAAC,CAkC9B"}

package/out/sdk/nearest-infrastructure.js

@@ -4,15 +4,14 @@
  * @author Teffen Ellis, et al.
  *
  *   `nearestInfrastructure` — a coverage-paired k-nearest read over the telecom-infrastructure POI
- *   categories (`telecom_exchange`/`tower_comms`, poi-taxonomy task 1 + the `--source osm` extractor,
- *   2b tasks 1–2) that a caller can join against ANY layer's own `layer_coverage` survey-completeness
- *   table (2b task 4, decision 7). Typical caller: a BDC filing scorer that wants "what's the nearest
- *   real infrastructure to this claimed Broadband Serviceable Location, and does OUR layer even have
- *   survey evidence for that area" in one call.
+ *   categories (`telecom_exchange`/`tower_comms` — `@mailwoman/poi-taxonomy` categories, populated by the
+ *   `--source osm` extractor) that a caller can join against ANY layer's own `layer_coverage`
+ *   survey-completeness table (decision 7). Typical caller: a BDC filing scorer that wants "what's the
+ *   nearest real infrastructure to this claimed Broadband Serviceable Location, and does OUR layer even
+ *   have survey evidence for that area" in one call.
  *
- *   Two deviations from the task brief's literal sketch, both forced by what `poi-lookup.ts` and
- *   `@mailwoman/core/layers` actually expose (documented per the brief's "implementer picks and
- *   documents" instruction):
+ *   Two shapes below are not the obvious ones, and both are forced by what `poi-lookup.ts` and
+ *   `@mailwoman/core/layers` actually expose:
  *
  *   - **`poiLookup` is an already-open {@link POILookup}, not a `POILookupOpts` this function
  *     constructs itself.** `POILookup`'s constructor eagerly loads the poi-taxonomy category dictionary
@@ -22,14 +21,14 @@
  *     `poi.db` ONCE and reuse the same `POILookup` — this wrapper takes that shape: the caller owns
  *     `POILookup`'s open/dispose lifecycle (`using poiLookup = new POILookup(...)`), we just call
  *     `.search()` on it.
- *   - **`nearestInfrastructure` is `async`, not the brief's sync sketch.** `readLayerCoverage`
+ *   - **`nearestInfrastructure` is `async`, not sync.** `readLayerCoverage`
  *     (`@mailwoman/core/layers`) is `Promise`-returning — every layer-contract read in this codebase is
  *     (`readLayerManifest`, `filingLandscape` itself) — so pairing each POI hit with its coverage cell
  *     means awaiting one `readLayerCoverage` call per hit. A sync signature can't await that.
  *
  *   {@link res9ShortCellToRes6Parent} (exported by `filing-landscape.ts`; see that file's docstring for
- *   why the res-9 → res-6 reconstruction is a straight concatenation, not `@mailwoman/spatial`'s
- *   `expandH3Cell`) turns each hit's res-9 cell into the res-6 cell every layer in this repo aggregates
+ *   why the res-6 parent is reconstructed from the STORED res-9 cell rather than recomputed from the
+ *   centroid) turns each hit's res-9 cell into the res-6 cell every layer in this repo aggregates
  *   coverage at (poi.db's own convention; `bdc.db`'s `BDC_COVERAGE_H3_RESOLUTION` matches it
  *   deliberately — see `schema.ts`). `POI_H3_RESOLUTION` (`poi-lookup.ts`) is ALSO 9, so the two layers'
  *   spines agree without this module hardcoding a resolution of its own.

package/out/sdk/nearest-infrastructure.js.map

@@ -1 +1 @@
-{"version":3,"file":"nearest-infrastructure.js","sourceRoot":"","sources":["../../sdk/nearest-infrastructure.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AAGH,OAAO,EAAE,iBAAiB,EAAiD,MAAM,wBAAwB,CAAA;AACzG,OAAO,EAAE,iBAAiB,EAAkB,MAAM,2CAA2C,CAAA;AAC7F,OAAO,EAAE,cAAc,EAAkC,MAAM,oBAAoB,CAAA;AACnF,OAAO,EAAE,YAAY,EAAE,MAAM,OAAO,CAAA;AAEpC,OAAO,EAAE,yBAAyB,EAAE,MAAM,uBAAuB,CAAA;AAEjE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,wCAAwC,GAAG,EAAE,CAAA;AAiC1D;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CAC1C,SAAoB,EACpB,UAAiD,EACjD,OAAqC;IAErC,MAAM,CAAC,SAAS,EAAE,QAAQ,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,WAAW,CAAA;IAExD,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,CAAC;QAC7B,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,MAAM,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE;QAC/B,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,QAAQ,EAAE,OAAO,CAAC,QAAQ,IAAI,wCAAwC;KACtE,CAAC,CAAA;IAEF,MAAM,kBAAkB,GAAwB,EAAE,CAAA;IAElD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACxB,IAAI,GAAG,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;YAC7B,8FAA8F;YAC9F,8FAA8F;YAC9F,oFAAoF;YACpF,MAAM,IAAI,KAAK,CAAC,8BAA8B,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAA;QAC5F,CAAC;QAED,MAAM,MAAM,GAAG,cAAc,CAAC,YAAY,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,SAAS,EAAE,iBAAiB,CAAW,CAAC,CAAA;QACrG,MAAM,QAAQ,GAAG,MAAM,iBAAiB,CAAC,UAAU,EAAE,yBAAyB,CAAC,MAAM,CAAC,CAAC,CAAA;QAEvF,kBAAkB,CAAC,IAAI,CAAC;YACvB,UAAU,EAAE,GAAG,CAAC,UAAU;YAC1B,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,oFAAoF;YACpF,SAAS,EAAE,GAAG,CAAC,SAAU;YACzB,MAAM;YACN,QAAQ;SACR,CAAC,CAAA;IACH,CAAC;IAED,OAAO,kBAAkB,CAAA;AAC1B,CAAC"}
+{"version":3,"file":"nearest-infrastructure.js","sourceRoot":"","sources":["../../sdk/nearest-infrastructure.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAGH,OAAO,EAAE,iBAAiB,EAAiD,MAAM,wBAAwB,CAAA;AACzG,OAAO,EAAE,iBAAiB,EAAkB,MAAM,2CAA2C,CAAA;AAC7F,OAAO,EAAE,cAAc,EAAkC,MAAM,oBAAoB,CAAA;AACnF,OAAO,EAAE,YAAY,EAAE,MAAM,OAAO,CAAA;AAEpC,OAAO,EAAE,yBAAyB,EAAE,MAAM,uBAAuB,CAAA;AAEjE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,wCAAwC,GAAG,EAAE,CAAA;AAiC1D;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CAC1C,SAAoB,EACpB,UAAiD,EACjD,OAAqC;IAErC,MAAM,CAAC,SAAS,EAAE,QAAQ,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,WAAW,CAAA;IAExD,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,CAAC;QAC7B,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,MAAM,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE;QAC/B,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,QAAQ,EAAE,OAAO,CAAC,QAAQ,IAAI,wCAAwC;KACtE,CAAC,CAAA;IAEF,MAAM,kBAAkB,GAAwB,EAAE,CAAA;IAElD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACxB,IAAI,GAAG,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;YAC7B,8FAA8F;YAC9F,8FAA8F;YAC9F,oFAAoF;YACpF,MAAM,IAAI,KAAK,CAAC,8BAA8B,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAA;QAC5F,CAAC;QAED,MAAM,MAAM,GAAG,cAAc,CAAC,YAAY,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,SAAS,EAAE,iBAAiB,CAAW,CAAC,CAAA;QACrG,MAAM,QAAQ,GAAG,MAAM,iBAAiB,CAAC,UAAU,EAAE,yBAAyB,CAAC,MAAM,CAAC,CAAC,CAAA;QAEvF,kBAAkB,CAAC,IAAI,CAAC;YACvB,UAAU,EAAE,GAAG,CAAC,UAAU;YAC1B,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,oFAAoF;YACpF,SAAS,EAAE,GAAG,CAAC,SAAU;YACzB,MAAM;YACN,QAAQ;SACR,CAAC,CAAA;IACH,CAAC;IAED,OAAO,kBAAkB,CAAA;AAC1B,CAAC"}

package/out/sdk/plausibility.d.ts

@@ -3,13 +3,13 @@
  * @license AGPL-3.0
  * @author Teffen Ellis, et al.
  *
- *   `plausibilityCheck` (2b task 5, spec §3.2/§4) — the heart of the BDC plausibility vertical. Composes
- *   `filingLandscape` (2a) + `nearestInfrastructure` (2b task 4) into ONE evidence bundle over a single
- *   broadband-service claim, under the registry-backed doctrine's positive-evidence-only invariant (spec
- *   §4): a BDC filing or a nearby infrastructure hit can RAISE confidence; their absence can only ever
- *   read as "unknown" or "no supporting evidence found, coverage permitting" — NEVER as "implausible."
- *   The four §7-2b acceptance gates land in Task 6 as their own test file; this module is designed for
- *   them but doesn't assert them itself.
+ *   `plausibilityCheck` (spec §3.2/§4) — the heart of the BDC plausibility vertical. Composes
+ *   `filingLandscape` (`bdc/sdk/filing-landscape.ts`) + `nearestInfrastructure` into ONE evidence bundle
+ *   over a single broadband-service claim, under the registry-backed doctrine's positive-evidence-only
+ *   invariant (spec §4): a BDC filing or a nearby infrastructure hit can RAISE confidence; their absence
+ *   can only ever read as "unknown" or "no supporting evidence found, coverage permitting" — NEVER as
+ *   "implausible." The four §7-2b acceptance gates are asserted in `plausibility.test.ts`'s
+ *   `describe("§7-2b gates")` block; this module is designed for them but doesn't assert them itself.
  *
  *   **Claim resolution (decision 4).** A claim's spatial key resolves two INDEPENDENT ways:
  *
@@ -88,25 +88,26 @@
  *   filing coverage alone — it degrades to filing-covered → `"low"`, filing-unknown/absent →
  *   `"insufficient_survey_data"`. Rationale: spec §4 frames physical co-presence as the vertical's
  *   distinguishing "falsifier that only fires positively" and reserves `"high"` for genuine two-channel
- *   corroboration (Gate 2 in Task 6: "matching filing + nearby plant in covered cells… high"); a tech
+ *   corroboration (§7-2b Gate 2: "matching filing + nearby plant in covered cells… high"); a tech
  *   that structurally can never offer a second channel should not be able to claim the same top
  *   confidence a fiber claim earns by actually having one available. This reading is more conservative
- *   than the alternative (treating the missing axis as inert and reporting `"high"` off filing alone) —
- *   flagged here for review since Task 6's four gates don't exercise a no-physical-falsifier tech code.
+ *   than the alternative (treating the missing axis as inert and reporting `"high"` off filing alone),
+ *   and nothing pins it: none of the four §7-2b gates exercises a no-physical-falsifier tech code.
  *
- *   **Ledger note (task 4 review; extended task 5 fix round 1, finding 2) — the per-layer coverage-resolution sanity
- *   check.** Neither bdc.db's nor poi.db's `layer_manifest` records the COVERAGE-cell h3 resolution (6) that
- *   `res9ShortCellToRes6Parent` hardcodes on both sides — only each layer's ROW-spine resolution (9,
- *   `spineKeys.h3.resolution`) is ever recorded. A real fix needs a layer-contract schema addition (out
- *   of scope for this task; the same follow-up task 4's report already ticketed). What IS practical and
+ *   **The per-layer coverage-resolution sanity check.** Neither bdc.db's nor poi.db's `layer_manifest`
+ *   records the COVERAGE-cell h3 resolution (6) that `res9ShortCellToRes6Parent` hardcodes on both sides
+ *   — only each layer's ROW-spine resolution (9, `spineKeys.h3.resolution`) is ever recorded. Closing
+ *   that gap properly needs an addition to the layer contract itself (`@mailwoman/core/layers`), which
+ *   does not exist yet. What IS practical and
  *   cheap: each manifest is a single-row table already read at most once per call here, so whenever a layer is
  *   WIRED — `bdcDB`, `poi`, or both, checked independently — {@link assertLayerSpineResolution} compares that one
  *   layer's recorded `spineKeys.h3.resolution` directly against the `BDC_H3_RESOLUTION` constant `pointCell` is
  *   actually derived from, and throws on a mismatch, catching a layer built at a different spine resolution before it
  *   silently mis-joins a coverage cell. This is TWO-SIDED, not gated on both layers being present together: a
  *   poi-only call still checks poi's own recorded resolution, since `readLayerCoverage`'s poi-side join key (below)
- *   is derived from `BDC_H3_RESOLUTION` regardless of whether `bdcDB` is wired at all (the original one-sided version
- *   compared the two manifests to each other, so it silently skipped poi entirely whenever `bdcDB` was absent). It
+ *   is derived from `BDC_H3_RESOLUTION` regardless of whether `bdcDB` is wired at all — comparing each manifest
+ *   against the constant, rather than the two manifests against each other, is what makes a single-layer call
+ *   checkable at all. It
  *   can NOT catch a layer whose row spine is 9 but whose COVERAGE cells were derived at some OTHER resolution than 6
  *   — that gap needs the schema addition, not a runtime assertion.
  */
@@ -148,12 +149,12 @@ export type PlausibilityEvidence = {
     layer?: string;
 };
 /**
- * One evidence channel's survey-completeness state for THIS claim, WITH the reason a non-`"covered"` state applies —
- * task 5 fix round 1 (review finding 1): `coverage_confidence` alone folds several genuinely different situations into
- * the same `"low"`/`"insufficient_survey_data"` verdict (a tech with no physical falsifier at all vs. a real poi survey
- * gap vs. a geoid-only claim with no coordinate to search from), and Task 6's gates need to attribute WHICH one
- * applies. `"not_applicable"` and `"no_coordinate"` are only ever produced for the physical axis; the filing axis only
- * ever reaches `"covered"`, `"layer_missing"`, or `"cell_unsurveyed"`.
+ * One evidence channel's survey-completeness state for THIS claim, WITH the reason a non-`"covered"` state applies.
+ * `coverage_confidence` alone folds several genuinely different situations into the same
+ * `"low"`/`"insufficient_survey_data"` verdict (a tech with no physical falsifier at all vs. a real poi survey gap vs.
+ * a geoid-only claim with no coordinate to search from); this axis state is what tells them apart. `"not_applicable"`
+ * and `"no_coordinate"` are only ever produced for the physical axis; the filing axis only ever reaches `"covered"`,
+ * `"layer_missing"`, or `"cell_unsurveyed"`.
  */
 export type PlausibilityCoverageAxisState = "covered"
 /**
@@ -180,7 +181,7 @@ export type PlausibilityCoverageAxisState = "covered"
  | "not_applicable";
 /**
  * Per-axis attribution for {@link PlausibilityBundle.coverage_confidence} — see {@link PlausibilityCoverageAxisState}.
- * Added alongside `coverage_confidence` (kept as-is for compatibility) rather than replacing it.
+ * Reported alongside `coverage_confidence`, never in place of it: the coarse field stays the stable public surface.
  */
 export interface PlausibilityCoverageDetail {
     filing: PlausibilityCoverageAxisState;
@@ -191,8 +192,8 @@ export interface PlausibilityBundle {
     evidence_found: PlausibilityEvidence[];
     coverage_confidence: "high" | "low" | "insufficient_survey_data";
     /**
-     * Per-axis WHY behind `coverage_confidence` — task 5 fix round 1 (finding 1). ALWAYS present, mirroring
-     * `block_resolution`'s always-present discipline.
+     * Per-axis WHY behind `coverage_confidence`. ALWAYS present, mirroring `block_resolution`'s always-present
+     * discipline.
      */
     coverage_detail: PlausibilityCoverageDetail;
     /**
@@ -219,7 +220,7 @@ export interface GeocodeLike {
     lon: number | null;
 }
 /**
- * The already-open infra layer this scorer composes against Task 4's `nearestInfrastructure`. The caller owns BOTH
+ * The already-open infra layer this scorer composes against {@link nearestInfrastructure}. The caller owns BOTH
  * handles' open/dispose lifecycle (mirrors `nearestInfrastructure`'s own `using poiLookup = new POILookup(...)`
  * precedent). `contractDB` is used two ways: passed straight through to `nearestInfrastructure` (per-hit coverage), and
  * read directly here (the whole-cell coverage check this module needs for `coverage_confidence`, independent of whether
@@ -235,10 +236,9 @@ export interface PlausibilityDeps {
     geocode?: (address: string) => Promise<GeocodeLike>;
 }
 /**
- * Tech → physical-plant category mapping (exported per the task brief). Fiber implies the three
- * infrastructure-extension categories a fiber network plausibly touches; the three fixed-wireless codes imply a comms
- * tower; every other code maps to `[]` — no physical falsifier is claimed for it (see
- * {@link physicalCategoriesForTechnology}).
+ * Tech → physical-plant category mapping. Fiber implies the three infrastructure-extension categories a fiber network
+ * plausibly touches; the three fixed-wireless codes imply a comms tower; every other code maps to `[]` — no physical
+ * falsifier is claimed for it (see {@link physicalCategoriesForTechnology}).
  */
 export declare const PLAUSIBILITY_TECH_PHYSICAL_CATEGORIES: Readonly<Record<number, readonly string[]>>;
 /**

package/out/sdk/plausibility.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"plausibility.d.ts","sourceRoot":"","sources":["../../sdk/plausibility.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+GG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAA;AACnE,OAAO,EAAwC,KAAK,qBAAqB,EAAE,MAAM,wBAAwB,CAAA;AACzG,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2CAA2C,CAAA;AAC1E,OAAO,EAA+B,KAAK,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAInF,OAAO,EAAqB,KAAK,WAAW,EAAE,MAAM,cAAc,CAAA;AAClE,OAAO,EAQN,KAAK,qBAAqB,EAC1B,MAAM,uBAAuB,CAAA;AAC9B,OAAO,EAAyB,KAAK,iBAAiB,EAAE,MAAM,6BAA6B,CAAA;AAe3F;;;;GAIG;AACH,MAAM,WAAW,iBAAiB;IACjC,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,KAAK,CAAC,EAAE,YAAY,CAAA;IACpB,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,cAAc,EAAE,MAAM,CAAA;IACtB,mBAAmB,EAAE,MAAM,CAAA;CAC3B;AAED;;;GAGG;AACH,MAAM,MAAM,yBAAyB,GAAG,4BAA4B,GAAG,oBAAoB,GAAG,0BAA0B,CAAA;AAExH,MAAM,MAAM,oBAAoB,GAC7B;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,qBAAqB,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,OAAO,CAAA;CAAE,GACzF;IAAE,IAAI,EAAE,gBAAgB,CAAC;IAAC,GAAG,EAAE,iBAAiB,CAAA;CAAE,GAClD;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,yBAAyB,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,CAAA;AAEzE;;;;;;;GAOG;AACH,MAAM,MAAM,6BAA6B,GACtC,SAAS;AACX;;;GAGG;GACD,eAAe;AACjB;;;GAGG;GACD,iBAAiB;AACnB;;;;GAIG;GACD,eAAe;AACjB;;;;GAIG;GACD,gBAAgB,CAAA;AAEnB;;;GAGG;AACH,MAAM,WAAW,0BAA0B;IAC1C,MAAM,EAAE,6BAA6B,CAAA;IACrC,QAAQ,EAAE,6BAA6B,CAAA;CACvC;AAED,MAAM,WAAW,kBAAkB;IAClC,KAAK,EAAE,iBAAiB,CAAA;IACxB,cAAc,EAAE,oBAAoB,EAAE,CAAA;IACtC,mBAAmB,EAAE,MAAM,GAAG,KAAK,GAAG,0BAA0B,CAAA;IAChE;;;OAGG;IACH,eAAe,EAAE,0BAA0B,CAAA;IAC3C;;;;OAIG;IACH,gBAAgB,EAAE,OAAO,GAAG,uBAAuB,CAAA;IACnD;;;OAGG;IACH,OAAO,EAAE,MAAM,GAAG,IAAI,CAAA;CACtB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,WAAW;IAC3B,GAAG,EAAE,MAAM,GAAG,IAAI,CAAA;IAClB,GAAG,EAAE,MAAM,GAAG,IAAI,CAAA;CAClB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,mBAAmB;IACnC,MAAM,EAAE,SAAS,CAAA;IACjB,UAAU,EAAE,cAAc,CAAC,qBAAqB,CAAC,CAAA;CACjD;AAED,MAAM,WAAW,gBAAgB;IAChC,KAAK,CAAC,EAAE,cAAc,CAAC,WAAW,CAAC,CAAA;IACnC,GAAG,CAAC,EAAE,mBAAmB,CAAA;IACzB,OAAO,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC,WAAW,CAAC,CAAA;CACnD;AAED;;;;;GAKG;AACH,eAAO,MAAM,qCAAqC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAM7F,CAAA;AAED;;;GAGG;AACH,wBAAgB,+BAA+B,CAAC,cAAc,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAEzF;AA4GD;;;;;GAKG;AACH,wBAAsB,iBAAiB,CAAC,KAAK,EAAE,iBAAiB,EAAE,IAAI,EAAE,gBAAgB,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAiHrH"}
+{"version":3,"file":"plausibility.d.ts","sourceRoot":"","sources":["../../sdk/plausibility.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgHG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAA;AACnE,OAAO,EAAwC,KAAK,qBAAqB,EAAE,MAAM,wBAAwB,CAAA;AACzG,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2CAA2C,CAAA;AAC1E,OAAO,EAA+B,KAAK,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAInF,OAAO,EAAqB,KAAK,WAAW,EAAE,MAAM,cAAc,CAAA;AAClE,OAAO,EAQN,KAAK,qBAAqB,EAC1B,MAAM,uBAAuB,CAAA;AAC9B,OAAO,EAAyB,KAAK,iBAAiB,EAAE,MAAM,6BAA6B,CAAA;AAe3F;;;;GAIG;AACH,MAAM,WAAW,iBAAiB;IACjC,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,KAAK,CAAC,EAAE,YAAY,CAAA;IACpB,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,cAAc,EAAE,MAAM,CAAA;IACtB,mBAAmB,EAAE,MAAM,CAAA;CAC3B;AAED;;;GAGG;AACH,MAAM,MAAM,yBAAyB,GAAG,4BAA4B,GAAG,oBAAoB,GAAG,0BAA0B,CAAA;AAExH,MAAM,MAAM,oBAAoB,GAC7B;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,qBAAqB,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,OAAO,CAAA;CAAE,GACzF;IAAE,IAAI,EAAE,gBAAgB,CAAC;IAAC,GAAG,EAAE,iBAAiB,CAAA;CAAE,GAClD;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,yBAAyB,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,CAAA;AAEzE;;;;;;;GAOG;AACH,MAAM,MAAM,6BAA6B,GACtC,SAAS;AACX;;;GAGG;GACD,eAAe;AACjB;;;GAGG;GACD,iBAAiB;AACnB;;;;GAIG;GACD,eAAe;AACjB;;;;GAIG;GACD,gBAAgB,CAAA;AAEnB;;;GAGG;AACH,MAAM,WAAW,0BAA0B;IAC1C,MAAM,EAAE,6BAA6B,CAAA;IACrC,QAAQ,EAAE,6BAA6B,CAAA;CACvC;AAED,MAAM,WAAW,kBAAkB;IAClC,KAAK,EAAE,iBAAiB,CAAA;IACxB,cAAc,EAAE,oBAAoB,EAAE,CAAA;IACtC,mBAAmB,EAAE,MAAM,GAAG,KAAK,GAAG,0BAA0B,CAAA;IAChE;;;OAGG;IACH,eAAe,EAAE,0BAA0B,CAAA;IAC3C;;;;OAIG;IACH,gBAAgB,EAAE,OAAO,GAAG,uBAAuB,CAAA;IACnD;;;OAGG;IACH,OAAO,EAAE,MAAM,GAAG,IAAI,CAAA;CACtB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,WAAW;IAC3B,GAAG,EAAE,MAAM,GAAG,IAAI,CAAA;IAClB,GAAG,EAAE,MAAM,GAAG,IAAI,CAAA;CAClB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,mBAAmB;IACnC,MAAM,EAAE,SAAS,CAAA;IACjB,UAAU,EAAE,cAAc,CAAC,qBAAqB,CAAC,CAAA;CACjD;AAED,MAAM,WAAW,gBAAgB;IAChC,KAAK,CAAC,EAAE,cAAc,CAAC,WAAW,CAAC,CAAA;IACnC,GAAG,CAAC,EAAE,mBAAmB,CAAA;IACzB,OAAO,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC,WAAW,CAAC,CAAA;CACnD;AAED;;;;GAIG;AACH,eAAO,MAAM,qCAAqC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAM7F,CAAA;AAED;;;GAGG;AACH,wBAAgB,+BAA+B,CAAC,cAAc,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAEzF;AA2GD;;;;;GAKG;AACH,wBAAsB,iBAAiB,CAAC,KAAK,EAAE,iBAAiB,EAAE,IAAI,EAAE,gBAAgB,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAgHrH"}

package/out/sdk/plausibility.js

@@ -3,13 +3,13 @@
  * @license AGPL-3.0
  * @author Teffen Ellis, et al.
  *
- *   `plausibilityCheck` (2b task 5, spec §3.2/§4) — the heart of the BDC plausibility vertical. Composes
- *   `filingLandscape` (2a) + `nearestInfrastructure` (2b task 4) into ONE evidence bundle over a single
- *   broadband-service claim, under the registry-backed doctrine's positive-evidence-only invariant (spec
- *   §4): a BDC filing or a nearby infrastructure hit can RAISE confidence; their absence can only ever
- *   read as "unknown" or "no supporting evidence found, coverage permitting" — NEVER as "implausible."
- *   The four §7-2b acceptance gates land in Task 6 as their own test file; this module is designed for
- *   them but doesn't assert them itself.
+ *   `plausibilityCheck` (spec §3.2/§4) — the heart of the BDC plausibility vertical. Composes
+ *   `filingLandscape` (`bdc/sdk/filing-landscape.ts`) + `nearestInfrastructure` into ONE evidence bundle
+ *   over a single broadband-service claim, under the registry-backed doctrine's positive-evidence-only
+ *   invariant (spec §4): a BDC filing or a nearby infrastructure hit can RAISE confidence; their absence
+ *   can only ever read as "unknown" or "no supporting evidence found, coverage permitting" — NEVER as
+ *   "implausible." The four §7-2b acceptance gates are asserted in `plausibility.test.ts`'s
+ *   `describe("§7-2b gates")` block; this module is designed for them but doesn't assert them itself.
  *
  *   **Claim resolution (decision 4).** A claim's spatial key resolves two INDEPENDENT ways:
  *
@@ -88,25 +88,26 @@
  *   filing coverage alone — it degrades to filing-covered → `"low"`, filing-unknown/absent →
  *   `"insufficient_survey_data"`. Rationale: spec §4 frames physical co-presence as the vertical's
  *   distinguishing "falsifier that only fires positively" and reserves `"high"` for genuine two-channel
- *   corroboration (Gate 2 in Task 6: "matching filing + nearby plant in covered cells… high"); a tech
+ *   corroboration (§7-2b Gate 2: "matching filing + nearby plant in covered cells… high"); a tech
  *   that structurally can never offer a second channel should not be able to claim the same top
  *   confidence a fiber claim earns by actually having one available. This reading is more conservative
- *   than the alternative (treating the missing axis as inert and reporting `"high"` off filing alone) —
- *   flagged here for review since Task 6's four gates don't exercise a no-physical-falsifier tech code.
+ *   than the alternative (treating the missing axis as inert and reporting `"high"` off filing alone),
+ *   and nothing pins it: none of the four §7-2b gates exercises a no-physical-falsifier tech code.
  *
- *   **Ledger note (task 4 review; extended task 5 fix round 1, finding 2) — the per-layer coverage-resolution sanity
- *   check.** Neither bdc.db's nor poi.db's `layer_manifest` records the COVERAGE-cell h3 resolution (6) that
- *   `res9ShortCellToRes6Parent` hardcodes on both sides — only each layer's ROW-spine resolution (9,
- *   `spineKeys.h3.resolution`) is ever recorded. A real fix needs a layer-contract schema addition (out
- *   of scope for this task; the same follow-up task 4's report already ticketed). What IS practical and
+ *   **The per-layer coverage-resolution sanity check.** Neither bdc.db's nor poi.db's `layer_manifest`
+ *   records the COVERAGE-cell h3 resolution (6) that `res9ShortCellToRes6Parent` hardcodes on both sides
+ *   — only each layer's ROW-spine resolution (9, `spineKeys.h3.resolution`) is ever recorded. Closing
+ *   that gap properly needs an addition to the layer contract itself (`@mailwoman/core/layers`), which
+ *   does not exist yet. What IS practical and
  *   cheap: each manifest is a single-row table already read at most once per call here, so whenever a layer is
  *   WIRED — `bdcDB`, `poi`, or both, checked independently — {@link assertLayerSpineResolution} compares that one
  *   layer's recorded `spineKeys.h3.resolution` directly against the `BDC_H3_RESOLUTION` constant `pointCell` is
  *   actually derived from, and throws on a mismatch, catching a layer built at a different spine resolution before it
  *   silently mis-joins a coverage cell. This is TWO-SIDED, not gated on both layers being present together: a
  *   poi-only call still checks poi's own recorded resolution, since `readLayerCoverage`'s poi-side join key (below)
- *   is derived from `BDC_H3_RESOLUTION` regardless of whether `bdcDB` is wired at all (the original one-sided version
- *   compared the two manifests to each other, so it silently skipped poi entirely whenever `bdcDB` was absent). It
+ *   is derived from `BDC_H3_RESOLUTION` regardless of whether `bdcDB` is wired at all — comparing each manifest
+ *   against the constant, rather than the two manifests against each other, is what makes a single-layer call
+ *   checkable at all. It
  *   can NOT catch a layer whose row spine is 9 but whose COVERAGE cells were derived at some OTHER resolution than 6
  *   — that gap needs the schema addition, not a runtime assertion.
  */
@@ -125,10 +126,9 @@ import { BroadbandTechnologyCategory, BroadbandTechnologyCategoryToCodeSet, Broa
  */
 const FIXED_WIRELESS_CODES = BroadbandTechnologyCategoryToCodeSet[BroadbandTechnologyCategory.FixedWireless];
 /**
- * Tech → physical-plant category mapping (exported per the task brief). Fiber implies the three
- * infrastructure-extension categories a fiber network plausibly touches; the three fixed-wireless codes imply a comms
- * tower; every other code maps to `[]` — no physical falsifier is claimed for it (see
- * {@link physicalCategoriesForTechnology}).
+ * Tech → physical-plant category mapping. Fiber implies the three infrastructure-extension categories a fiber network
+ * plausibly touches; the three fixed-wireless codes imply a comms tower; every other code maps to `[]` — no physical
+ * falsifier is claimed for it (see {@link physicalCategoriesForTechnology}).
  */
 export const PLAUSIBILITY_TECH_PHYSICAL_CATEGORIES = {
     [BroadbandTechnologyCode.OpticalCarrierFiber]: ["telecom_exchange", "telecom_cabinet", "data_center"],
@@ -204,18 +204,17 @@ function combineCoverage(filingState, physicalState) {
     return "low";
 }
 /**
- * See the module docstring's "ledger note" section. Throws when a WIRED layer's manifest disagrees with
+ * See the module docstring's coverage-resolution note. Throws when a WIRED layer's manifest disagrees with
  * `BDC_H3_RESOLUTION` — the single constant `plausibilityCheck` actually uses at runtime to derive both the
  * filing-lookup cell (bdc side, via `pointCell`) and the coverage-cell join key `readLayerCoverage` is read against
  * (poi side, via `res9ShortCellToRes6Parent(pointCell)`).
  *
- * Task 5 fix round 1 (review finding 2): checked independently PER LAYER, whenever THAT layer is wired, rather than
- * only when both `bdcDB` and `poi` are wired together. The original one-sided assertion compared the two manifests to
- * EACH OTHER, which meant a poi-only call (no `bdcDB`) never checked poi's recorded resolution at all — even though
- * `pointCell` (computed unconditionally from `BDC_H3_RESOLUTION`) still drives the poi coverage-cell read below.
- * Comparing each layer directly against the constant is also strictly stronger than the retired manifest-vs-manifest
- * check: it catches a layer built under a since-changed `BDC_H3_RESOLUTION` even when the OTHER layer is absent
- * entirely, not just a disagreement between two present layers.
+ * Checked independently PER LAYER, whenever THAT layer is wired — not only when `bdcDB` and `poi` are wired together. A
+ * poi-only call still needs poi's own recorded resolution checked, because `pointCell` is computed unconditionally from
+ * `BDC_H3_RESOLUTION` and still drives the poi coverage-cell read below. Comparing each layer directly against the
+ * constant, rather than the two manifests against each other, is also strictly stronger: it catches a layer built under
+ * a since-changed `BDC_H3_RESOLUTION` even when the OTHER layer is absent entirely, not just a disagreement between two
+ * present layers.
  */
 async function assertLayerSpineResolution(layer, contractDB, expectedResolution) {
     const manifest = await readLayerManifest(contractDB);
@@ -256,9 +255,9 @@ export async function plausibilityCheck(claim, deps) {
     const pointCell = point
         ? shortCellToInt(latLngToCell(point.coordinates[1], point.coordinates[0], BDC_H3_RESOLUTION))
         : undefined;
-    // Ledger note (task 4 review; task 5 fix round 1 finding 2): cheap, one-time per-layer sanity check — see the
-    // module docstring. Runs independently per WIRED layer, not only when both are present — a poi-only call still
-    // joins poi's coverage table against a BDC_H3_RESOLUTION-derived cell (below) and must not do so unchecked.
+    // Cheap, one-time per-layer sanity check — see the module docstring's coverage-resolution note. Runs
+    // independently per WIRED layer, not only when both are present: a poi-only call still joins poi's coverage
+    // table against a BDC_H3_RESOLUTION-derived cell (below) and must not do so unchecked.
     if (deps.bdcDB) {
         await assertLayerSpineResolution("bdc", asContractDB(deps.bdcDB), BDC_H3_RESOLUTION);
     }
@@ -305,9 +304,8 @@ export async function plausibilityCheck(claim, deps) {
         else if (!point) {
             // Geoid-only claim, no coordinate resolvable — see the module docstring's claim-resolution note. A real
             // capability gap, not a missing-layer abstain: no evidence entry is fabricated, but the axis still
-            // degrades honestly for coverage_confidence (and now names ITS OWN reason in `coverage_detail`, distinct
-            // from `"layer_missing"`, rather than folding into the same generic "unknown" — task 5 fix round 1
-            // finding 1).
+            // degrades honestly for coverage_confidence, naming ITS OWN reason in `coverage_detail` rather than
+            // folding into the same generic "unknown" as `"layer_missing"`.
             physicalCoverage = "no_coordinate";
         }
         else {

package/out/sdk/plausibility.js.map

@@ -1 +1 @@
-{"version":3,"file":"plausibility.js","sourceRoot":"","sources":["../../sdk/plausibility.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+GG;AAGH,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAA8B,MAAM,wBAAwB,CAAA;AAEzG,OAAO,EAAE,cAAc,EAAkC,MAAM,oBAAoB,CAAA;AACnF,OAAO,EAAE,YAAY,EAAE,MAAM,OAAO,CAAA;AAGpC,OAAO,EAAE,iBAAiB,EAAoB,MAAM,cAAc,CAAA;AAClE,OAAO,EACN,yBAAyB,EACzB,uBAAuB,EACvB,wBAAwB,EACxB,yBAAyB,EACzB,eAAe,EACf,yBAAyB,EACzB,2BAA2B,GAE3B,MAAM,uBAAuB,CAAA;AAC9B,OAAO,EAAE,qBAAqB,EAA0B,MAAM,6BAA6B,CAAA;AAC3F,OAAO,EACN,2BAA2B,EAC3B,oCAAoC,EACpC,uBAAuB,GACvB,MAAM,mBAAmB,CAAA;AAE1B;;;;;GAKG;AACH,MAAM,oBAAoB,GAAG,oCAAoC,CAAC,2BAA2B,CAAC,aAAa,CAAC,CAAA;AAwH5G;;;;;GAKG;AACH,MAAM,CAAC,MAAM,qCAAqC,GAAgD;IACjG,CAAC,uBAAuB,CAAC,mBAAmB,CAAC,EAAE,CAAC,kBAAkB,EAAE,iBAAiB,EAAE,aAAa,CAAC;IACrG,GAAI,MAAM,CAAC,WAAW,CAAC,CAAC,GAAG,oBAAoB,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,CAGrF;CACF,CAAA;AAED;;;GAGG;AACH,MAAM,UAAU,+BAA+B,CAAC,cAAsB;IACrE,OAAO,qCAAqC,CAAC,cAAc,CAAC,IAAI,EAAE,CAAA;AACnE,CAAC;AAED;;;GAGG;AACH,MAAM,iBAAiB,GAAqC;IAC3D,CAAC,yBAAyB,CAAC,EAAE,CAAC;IAC9B,CAAC,uBAAuB,CAAC,EAAE,CAAC;IAC5B,CAAC,yBAAyB,CAAC,EAAE,CAAC;IAC9B,CAAC,wBAAwB,CAAC,EAAE,CAAC;CAC7B,CAAA;AAED;;;;GAIG;AACH,SAAS,YAAY,CAAC,GAAgC;IACrD,OAAO,GAA+C,CAAA;AACvD,CAAC;AAED;;;;GAIG;AACH,SAAS,kBAAkB,CAAC,MAA6B,EAAE,KAAwB;IAClF,IAAI,MAAM,CAAC,eAAe,KAAK,KAAK,CAAC,cAAc;QAAE,OAAO,KAAK,CAAA;IAEjE,MAAM,UAAU,GAAG,iBAAiB,CAAC,MAAM,CAAC,YAAY,CAAC,CAAA;IAEzD,wGAAwG;IACxG,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,KAAK,CAAA;IAE1C,MAAM,WAAW,GAAG,iBAAiB,CAAC,2BAA2B,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAE,CAAA;IAE9F,OAAO,UAAU,IAAI,WAAW,CAAA;AACjC,CAAC;AAED;;;;GAIG;AACH,SAAS,sBAAsB,CAAC,KAAoC;IACnE,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IAEzC,IAAI,KAAK,KAAK,gBAAgB;QAAE,OAAO,gBAAgB,CAAA;IAEvD,OAAO,SAAS,CAAA;AACjB,CAAC;AAED;;;;GAIG;AACH,SAAS,eAAe,CACvB,WAA0C,EAC1C,aAA4C;IAE5C,MAAM,MAAM,GAAG,sBAAsB,CAAC,WAAW,CAAC,CAAA;IAClD,MAAM,QAAQ,GAAG,sBAAsB,CAAC,aAAa,CAAC,CAAA;IAEtD,IAAI,QAAQ,KAAK,gBAAgB,EAAE,CAAC;QACnC,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,0BAA0B,CAAA;IACjE,CAAC;IAED,IAAI,MAAM,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,MAAM,CAAA;IAEjE,IAAI,MAAM,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,0BAA0B,CAAA;IAErF,OAAO,KAAK,CAAA;AACb,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,KAAK,UAAU,0BAA0B,CACxC,KAAoB,EACpB,UAAyC,EACzC,kBAA0B;IAE1B,MAAM,QAAQ,GAAG,MAAM,iBAAiB,CAAC,UAAU,CAAC,CAAA;IACpD,MAAM,UAAU,GAAG,QAAQ,CAAC,SAAS,CAAC,EAAE,EAAE,UAAU,CAAA;IAEpD,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,kBAAkB,EAAE,CAAC;QACnE,MAAM,IAAI,KAAK,CACd,sBAAsB,KAAK,uCAAuC,MAAM,CAAC,UAAU,CAAC,mBAAmB;YACtG,sBAAsB,kBAAkB,+DAA+D;YACvG,oGAAoG;YACpG,uCAAuC,CACxC,CAAA;IACF,CAAC;AACF,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,KAAwB,EAAE,IAAsB;IACvF,gHAAgH;IAChH,oEAAoE;IACpE,IAAI,KAAK,GAA6B,KAAK,CAAC,KAAK,CAAA;IAEjD,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAC7B,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YACnB,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAA;QAC1E,CAAC;QAED,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;QAElD,IAAI,QAAQ,CAAC,GAAG,IAAI,IAAI,IAAI,QAAQ,CAAC,GAAG,IAAI,IAAI,EAAE,CAAC;YAClD,MAAM,IAAI,KAAK,CAAC,iEAAiE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;QAClH,CAAC;QAED,KAAK,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAA;IACrE,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CAAC,yFAAyF,CAAC,CAAA;IAC3G,CAAC;IAED,+GAA+G;IAC/G,sDAAsD;IACtD,MAAM,eAAe,GAA2C,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,uBAAuB,CAAA;IAE/G,MAAM,SAAS,GAAG,KAAK;QACtB,CAAC,CAAC,cAAc,CAAC,YAAY,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,iBAAiB,CAAW,CAAC;QACvG,CAAC,CAAC,SAAS,CAAA;IAEZ,8GAA8G;IAC9G,+GAA+G;IAC/G,4GAA4G;IAC5G,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAChB,MAAM,0BAA0B,CAAC,KAAK,EAAE,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,iBAAiB,CAAC,CAAA;IACrF,CAAC;IAED,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;QACd,MAAM,0BAA0B,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAA;IAChF,CAAC;IAED,MAAM,QAAQ,GAA2B,EAAE,CAAA;IAC3C,IAAI,OAAO,GAAkB,IAAI,CAAA;IACjC,IAAI,cAAc,GAAkC,eAAe,CAAA;IAEnE,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;QACjB,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,oBAAoB,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAA;IAC/E,CAAC;SAAM,CAAC;QACP,4GAA4G;QAC5G,4GAA4G;QAC5G,6GAA6G;QAC7G,MAAM,SAAS,GACd,eAAe,KAAK,OAAO;YAC1B,CAAC,CAAC,MAAM,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,KAAM,CAAC,EAAE,CAAC;YAC/D,CAAC,CAAC,MAAM,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,OAAO,EAAE,CAAC,SAAU,CAAC,EAAE,CAAC,CAAA;QAEhE,OAAO,GAAG,SAAS,CAAC,OAAO,CAAA;QAE3B,IAAI,SAAS,CAAC,oBAAoB,GAAG,CAAC,EAAE,CAAC;YACxC,cAAc,GAAG,SAAS,CAAA;YAE1B,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;gBACxC,QAAQ,CAAC,IAAI,CAAC;oBACb,IAAI,EAAE,QAAQ;oBACd,MAAM;oBACN,OAAO,EAAE,SAAS,CAAC,OAAO;oBAC1B,YAAY,EAAE,kBAAkB,CAAC,MAAM,EAAE,KAAK,CAAC;iBAC/C,CAAC,CAAA;YACH,CAAC;QACF,CAAC;aAAM,CAAC;YACP,cAAc,GAAG,iBAAiB,CAAA;YAClC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,0BAA0B,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAA;QACrF,CAAC;IACF,CAAC;IAED,MAAM,kBAAkB,GAAG,+BAA+B,CAAC,KAAK,CAAC,cAAc,CAAC,CAAA;IAChF,IAAI,gBAAgB,GAAkC,gBAAgB,CAAA;IAEtE,IAAI,kBAAkB,CAAC,MAAM,EAAE,CAAC;QAC/B,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;YACf,gBAAgB,GAAG,eAAe,CAAA;YAClC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,4BAA4B,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAA;QACvF,CAAC;aAAM,IAAI,CAAC,KAAK,EAAE,CAAC;YACnB,wGAAwG;YACxG,mGAAmG;YACnG,yGAAyG;YACzG,mGAAmG;YACnG,cAAc;YACd,gBAAgB,GAAG,eAAe,CAAA;QACnC,CAAC;aAAM,CAAC;YACP,MAAM,IAAI,GAAG,MAAM,qBAAqB,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE;gBAC9E,MAAM,EAAE,KAAK;gBACb,WAAW,EAAE,CAAC,GAAG,kBAAkB,CAAC;aACpC,CAAC,CAAA;YAEF,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;gBACxB,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,CAAC,CAAA;YAC/C,CAAC;YAED,MAAM,YAAY,GAAG,MAAM,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,yBAAyB,CAAC,SAAU,CAAC,CAAC,CAAA;YACxG,gBAAgB,GAAG,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,iBAAiB,CAAA;QAChE,CAAC;IACF,CAAC;IAED,OAAO;QACN,KAAK;QACL,cAAc,EAAE,QAAQ;QACxB,mBAAmB,EAAE,eAAe,CAAC,cAAc,EAAE,gBAAgB,CAAC;QACtE,eAAe,EAAE,EAAE,MAAM,EAAE,cAAc,EAAE,QAAQ,EAAE,gBAAgB,EAAE;QACvE,gBAAgB,EAAE,eAAe;QACjC,OAAO;KACP,CAAA;AACF,CAAC"}
+{"version":3,"file":"plausibility.js","sourceRoot":"","sources":["../../sdk/plausibility.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgHG;AAGH,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAA8B,MAAM,wBAAwB,CAAA;AAEzG,OAAO,EAAE,cAAc,EAAkC,MAAM,oBAAoB,CAAA;AACnF,OAAO,EAAE,YAAY,EAAE,MAAM,OAAO,CAAA;AAGpC,OAAO,EAAE,iBAAiB,EAAoB,MAAM,cAAc,CAAA;AAClE,OAAO,EACN,yBAAyB,EACzB,uBAAuB,EACvB,wBAAwB,EACxB,yBAAyB,EACzB,eAAe,EACf,yBAAyB,EACzB,2BAA2B,GAE3B,MAAM,uBAAuB,CAAA;AAC9B,OAAO,EAAE,qBAAqB,EAA0B,MAAM,6BAA6B,CAAA;AAC3F,OAAO,EACN,2BAA2B,EAC3B,oCAAoC,EACpC,uBAAuB,GACvB,MAAM,mBAAmB,CAAA;AAE1B;;;;;GAKG;AACH,MAAM,oBAAoB,GAAG,oCAAoC,CAAC,2BAA2B,CAAC,aAAa,CAAC,CAAA;AAwH5G;;;;GAIG;AACH,MAAM,CAAC,MAAM,qCAAqC,GAAgD;IACjG,CAAC,uBAAuB,CAAC,mBAAmB,CAAC,EAAE,CAAC,kBAAkB,EAAE,iBAAiB,EAAE,aAAa,CAAC;IACrG,GAAI,MAAM,CAAC,WAAW,CAAC,CAAC,GAAG,oBAAoB,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,CAGrF;CACF,CAAA;AAED;;;GAGG;AACH,MAAM,UAAU,+BAA+B,CAAC,cAAsB;IACrE,OAAO,qCAAqC,CAAC,cAAc,CAAC,IAAI,EAAE,CAAA;AACnE,CAAC;AAED;;;GAGG;AACH,MAAM,iBAAiB,GAAqC;IAC3D,CAAC,yBAAyB,CAAC,EAAE,CAAC;IAC9B,CAAC,uBAAuB,CAAC,EAAE,CAAC;IAC5B,CAAC,yBAAyB,CAAC,EAAE,CAAC;IAC9B,CAAC,wBAAwB,CAAC,EAAE,CAAC;CAC7B,CAAA;AAED;;;;GAIG;AACH,SAAS,YAAY,CAAC,GAAgC;IACrD,OAAO,GAA+C,CAAA;AACvD,CAAC;AAED;;;;GAIG;AACH,SAAS,kBAAkB,CAAC,MAA6B,EAAE,KAAwB;IAClF,IAAI,MAAM,CAAC,eAAe,KAAK,KAAK,CAAC,cAAc;QAAE,OAAO,KAAK,CAAA;IAEjE,MAAM,UAAU,GAAG,iBAAiB,CAAC,MAAM,CAAC,YAAY,CAAC,CAAA;IAEzD,wGAAwG;IACxG,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,KAAK,CAAA;IAE1C,MAAM,WAAW,GAAG,iBAAiB,CAAC,2BAA2B,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAE,CAAA;IAE9F,OAAO,UAAU,IAAI,WAAW,CAAA;AACjC,CAAC;AAED;;;;GAIG;AACH,SAAS,sBAAsB,CAAC,KAAoC;IACnE,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IAEzC,IAAI,KAAK,KAAK,gBAAgB;QAAE,OAAO,gBAAgB,CAAA;IAEvD,OAAO,SAAS,CAAA;AACjB,CAAC;AAED;;;;GAIG;AACH,SAAS,eAAe,CACvB,WAA0C,EAC1C,aAA4C;IAE5C,MAAM,MAAM,GAAG,sBAAsB,CAAC,WAAW,CAAC,CAAA;IAClD,MAAM,QAAQ,GAAG,sBAAsB,CAAC,aAAa,CAAC,CAAA;IAEtD,IAAI,QAAQ,KAAK,gBAAgB,EAAE,CAAC;QACnC,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,0BAA0B,CAAA;IACjE,CAAC;IAED,IAAI,MAAM,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,MAAM,CAAA;IAEjE,IAAI,MAAM,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,0BAA0B,CAAA;IAErF,OAAO,KAAK,CAAA;AACb,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,KAAK,UAAU,0BAA0B,CACxC,KAAoB,EACpB,UAAyC,EACzC,kBAA0B;IAE1B,MAAM,QAAQ,GAAG,MAAM,iBAAiB,CAAC,UAAU,CAAC,CAAA;IACpD,MAAM,UAAU,GAAG,QAAQ,CAAC,SAAS,CAAC,EAAE,EAAE,UAAU,CAAA;IAEpD,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,kBAAkB,EAAE,CAAC;QACnE,MAAM,IAAI,KAAK,CACd,sBAAsB,KAAK,uCAAuC,MAAM,CAAC,UAAU,CAAC,mBAAmB;YACtG,sBAAsB,kBAAkB,+DAA+D;YACvG,oGAAoG;YACpG,uCAAuC,CACxC,CAAA;IACF,CAAC;AACF,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,KAAwB,EAAE,IAAsB;IACvF,gHAAgH;IAChH,oEAAoE;IACpE,IAAI,KAAK,GAA6B,KAAK,CAAC,KAAK,CAAA;IAEjD,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAC7B,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YACnB,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAA;QAC1E,CAAC;QAED,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;QAElD,IAAI,QAAQ,CAAC,GAAG,IAAI,IAAI,IAAI,QAAQ,CAAC,GAAG,IAAI,IAAI,EAAE,CAAC;YAClD,MAAM,IAAI,KAAK,CAAC,iEAAiE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;QAClH,CAAC;QAED,KAAK,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAA;IACrE,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CAAC,yFAAyF,CAAC,CAAA;IAC3G,CAAC;IAED,+GAA+G;IAC/G,sDAAsD;IACtD,MAAM,eAAe,GAA2C,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,uBAAuB,CAAA;IAE/G,MAAM,SAAS,GAAG,KAAK;QACtB,CAAC,CAAC,cAAc,CAAC,YAAY,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,iBAAiB,CAAW,CAAC;QACvG,CAAC,CAAC,SAAS,CAAA;IAEZ,qGAAqG;IACrG,4GAA4G;IAC5G,uFAAuF;IACvF,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAChB,MAAM,0BAA0B,CAAC,KAAK,EAAE,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,iBAAiB,CAAC,CAAA;IACrF,CAAC;IAED,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;QACd,MAAM,0BAA0B,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAA;IAChF,CAAC;IAED,MAAM,QAAQ,GAA2B,EAAE,CAAA;IAC3C,IAAI,OAAO,GAAkB,IAAI,CAAA;IACjC,IAAI,cAAc,GAAkC,eAAe,CAAA;IAEnE,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;QACjB,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,oBAAoB,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAA;IAC/E,CAAC;SAAM,CAAC;QACP,4GAA4G;QAC5G,4GAA4G;QAC5G,6GAA6G;QAC7G,MAAM,SAAS,GACd,eAAe,KAAK,OAAO;YAC1B,CAAC,CAAC,MAAM,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,KAAM,CAAC,EAAE,CAAC;YAC/D,CAAC,CAAC,MAAM,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,OAAO,EAAE,CAAC,SAAU,CAAC,EAAE,CAAC,CAAA;QAEhE,OAAO,GAAG,SAAS,CAAC,OAAO,CAAA;QAE3B,IAAI,SAAS,CAAC,oBAAoB,GAAG,CAAC,EAAE,CAAC;YACxC,cAAc,GAAG,SAAS,CAAA;YAE1B,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;gBACxC,QAAQ,CAAC,IAAI,CAAC;oBACb,IAAI,EAAE,QAAQ;oBACd,MAAM;oBACN,OAAO,EAAE,SAAS,CAAC,OAAO;oBAC1B,YAAY,EAAE,kBAAkB,CAAC,MAAM,EAAE,KAAK,CAAC;iBAC/C,CAAC,CAAA;YACH,CAAC;QACF,CAAC;aAAM,CAAC;YACP,cAAc,GAAG,iBAAiB,CAAA;YAClC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,0BAA0B,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAA;QACrF,CAAC;IACF,CAAC;IAED,MAAM,kBAAkB,GAAG,+BAA+B,CAAC,KAAK,CAAC,cAAc,CAAC,CAAA;IAChF,IAAI,gBAAgB,GAAkC,gBAAgB,CAAA;IAEtE,IAAI,kBAAkB,CAAC,MAAM,EAAE,CAAC;QAC/B,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;YACf,gBAAgB,GAAG,eAAe,CAAA;YAClC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,4BAA4B,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAA;QACvF,CAAC;aAAM,IAAI,CAAC,KAAK,EAAE,CAAC;YACnB,wGAAwG;YACxG,mGAAmG;YACnG,oGAAoG;YACpG,gEAAgE;YAChE,gBAAgB,GAAG,eAAe,CAAA;QACnC,CAAC;aAAM,CAAC;YACP,MAAM,IAAI,GAAG,MAAM,qBAAqB,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE;gBAC9E,MAAM,EAAE,KAAK;gBACb,WAAW,EAAE,CAAC,GAAG,kBAAkB,CAAC;aACpC,CAAC,CAAA;YAEF,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;gBACxB,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,CAAC,CAAA;YAC/C,CAAC;YAED,MAAM,YAAY,GAAG,MAAM,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,yBAAyB,CAAC,SAAU,CAAC,CAAC,CAAA;YACxG,gBAAgB,GAAG,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,iBAAiB,CAAA;QAChE,CAAC;IACF,CAAC;IAED,OAAO;QACN,KAAK;QACL,cAAc,EAAE,QAAQ;QACxB,mBAAmB,EAAE,eAAe,CAAC,cAAc,EAAE,gBAAgB,CAAC;QACtE,eAAe,EAAE,EAAE,MAAM,EAAE,cAAc,EAAE,QAAQ,EAAE,gBAAgB,EAAE;QACvE,gBAAgB,EAAE,eAAe;QACjC,OAAO;KACP,CAAA;AACF,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@mailwoman/bdc",
-  "version": "8.6.0",
+  "version": "9.0.0",
   "description": "FCC Broadband Data Collection (BDC) availability data — fetch/parse/ingest provider and bdc.db layer reader",
   "keywords": [
     "bdc",
@@ -78,11 +78,11 @@
     "test": "vitest run"
   },
   "dependencies": {
-    "@mailwoman/core": "8.6.0",
-    "@mailwoman/filer": "8.6.0",
-    "@mailwoman/resolver-wof-sqlite": "8.6.0",
-    "@mailwoman/spatial": "8.6.0",
-    "@mailwoman/tiger": "8.6.0",
+    "@mailwoman/core": "9.0.0",
+    "@mailwoman/filer": "9.0.0",
+    "@mailwoman/resolver-wof-sqlite": "9.0.0",
+    "@mailwoman/spatial": "9.0.0",
+    "@mailwoman/tiger": "9.0.0",
     "h3-js": "^4.5.0",
     "kysely": "^0.29.4",
     "type-fest": "^5.8.0",

package/schema.ts

@@ -71,32 +71,30 @@ export interface BDCAvailabilityTable {
 }
 
 /**
- * Provider dictionary keyed on `provider_id`. Populated by a later registry-join task (2a decision 8) — that task is 3a
- * Task 8's optional `BuildBDCOptions.providers` (`bdc/sdk/build-bdc.ts`'s `populateBDCProviderTable`); when that option
- * is omitted (the default), this table stays empty, exactly as it did before Task 8. No FK constraint against
- * `bdc_availability.provider_id` — SQLite doesn't enforce FKs without `PRAGMA foreign_keys`, and the join happens at
- * read time, not write time.
+ * Provider dictionary keyed on `provider_id`. Populated by the registry join (2a decision 8) behind the optional
+ * `BuildBDCOptions.providers` (`bdc/sdk/build-bdc.ts`'s `populateBDCProviderTable`); when that option is omitted (the
+ * default), this table stays empty. No FK constraint against `bdc_availability.provider_id` — SQLite doesn't enforce
+ * FKs without `PRAGMA foreign_keys`, and the join happens at read time, not write time.
  *
  * **Decision 6 — this table is an explicitly LOSSY denormalization, not the source of truth.** `provider_id` is the PK
  * (one row per provider), but the FCC's BDC provider list lets one `provider_id` carry MULTIPLE `frn` values — and
- * conflicting `holding_company` strings — across its rows (Task 3's `parseProviderList` preserves every one of them;
- * see `filer/sdk/provider-list.ts`). A single-row-per-provider table cannot express that cardinality. `filer.db`
+ * conflicting `holding_company` strings — across its rows (`parseProviderList` preserves every one of them; see
+ * `filer/sdk/provider-list.ts`). A single-row-per-provider table cannot express that cardinality. `filer.db`
  * (`@mailwoman/filer`) is the source of truth: it retains every `provider_id`↔`frn` (and
  * `provider_id`↔`holding_company_name`) edge, never folded or last-wins. When `bdc.db` is built with
  * `BuildBDCOptions.providers` supplied:
  *
  * - `frn` holds only the PRIMARY FRN — the one carrying the most recent Form 499 filing date, per
  *   `@mailwoman/filer/sdk`'s `readFRNFilingCandidates` + `pickPrimaryFRN` (imported into `build-bdc.ts`, never
- *   reimplemented — Task 7's review found and fixed a temporal bug in that exact query, one a fresh implementation
- *   would reintroduce). Every OTHER FRN that `provider_id` carries is discarded here but stays fully recoverable from
- *   `filer.db`.
- * - `holding_company` gets the SAME single-distinct-value shortcut `frn` gets (review fix round 1, IMPORTANT-3): when a
- *   `provider_id`'s rows carry exactly one distinct non-null `holding_company` string, there is no conflict to resolve,
- *   so it's populated directly — no rule needed, same as a single-FRN provider needs no `filerDB` query. When they
- *   carry MORE than one distinct value, that ambiguity is the real conflict decision 6 refuses to paper over with
- *   last-wins (`holding_company` has no most-recent-filing-date rule the way `frn` does), so it stays NULL and every
- *   discarded value remains recoverable from `filer.db`'s `holding_company_name` edges — the identical discipline
- *   `frn`'s primary pick already applies.
+ *   reimplemented — that query's half-open `valid_from`/`valid_to` scoping is easy to get wrong, and a second
+ *   implementation would be a second place to get it wrong). Every OTHER FRN that `provider_id` carries is discarded
+ *   here but stays fully recoverable from `filer.db`.
+ * - `holding_company` gets the SAME single-distinct-value shortcut `frn` gets: when a `provider_id`'s rows carry exactly
+ *   one distinct non-null `holding_company` string, there is no conflict to resolve, so it's populated directly — no
+ *   rule needed, same as a single-FRN provider needs no `filerDB` query. When they carry MORE than one distinct value,
+ *   that ambiguity is the real conflict decision 6 refuses to paper over with last-wins (`holding_company` has no
+ *   most-recent-filing-date rule the way `frn` does), so it stays NULL and every discarded value remains recoverable
+ *   from `filer.db`'s `holding_company_name` edges — the identical discipline `frn`'s primary pick already applies.
  * - `brand_name` stays NULL unconditionally: the provider list carries no brand-name column at all, primary or otherwise,
  *   so there is nothing to populate it from.
  */