@empressaio/atom-contract 1.17.0 → 1.19.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
@@ -0,0 +1,666 @@
1
+ import { z } from "zod";
2
+ import type { AccessPolicy } from "../registration.js";
3
+ import type { AtomTier } from "../conformance/common.js";
4
+ import type { ReasoningChain } from "../reasoning-chain.js";
5
+ import type { ReasoningReadContract } from "../read-contract/reasoning-axes.js";
6
+ import { type SpecialDistrictAbsence, type SpecialDistrictMembershipBasis, type SpecialDistrictSourceTier, type SpecialDistrictTaxRate, type SiteLayerVerifiedAbsence } from "./common.js";
7
+ /**
8
+ * Special district FACT atom — TCEQ water-district boundary membership.
9
+ *
10
+ * Membership is BINARY point-in-polygon only. Adjacency to a district boundary
11
+ * does NOT imply membership and must never be inferred with buffers or
12
+ * proximity thresholds — a false "in MUD" tax claim is a closing-cost defect.
13
+ *
14
+ * Parcels outside every polygon in this source carry scoped absence
15
+ * (`outside-tceq-source-boundaries`), not a statewide negative.
16
+ */
17
+ export interface SpecialDistrictFactAtomInstance {
18
+ entityType: "special-district-fact";
19
+ atomDid: string;
20
+ parcelNodeId: string;
21
+ reasoningChain: Extract<ReasoningChain, {
22
+ reasoningKind: "observed";
23
+ }>;
24
+ sourceTier: SpecialDistrictSourceTier;
25
+ districtName?: string;
26
+ districtId?: string;
27
+ districtType?: string;
28
+ countyFips?: string;
29
+ membershipBasis?: SpecialDistrictMembershipBasis;
30
+ taxRate?: SpecialDistrictTaxRate;
31
+ absence?: SpecialDistrictAbsence;
32
+ verifiedAbsence?: SiteLayerVerifiedAbsence;
33
+ accessPolicy: AccessPolicy;
34
+ sourceCitation: string;
35
+ extractedAt: string;
36
+ asOf?: string;
37
+ sourceVintage?: string;
38
+ verificationStatus: "machine" | "human" | "unsurveyed";
39
+ sourceAdapter: string;
40
+ evaluatedAt: string;
41
+ atomTier: AtomTier;
42
+ readContract?: ReasoningReadContract;
43
+ }
44
+ export declare const SPECIAL_DISTRICT_FACT_SCHEMA: z.ZodEffects<z.ZodObject<{
45
+ atomTier: z.ZodLiteral<AtomTier>;
46
+ readContract: z.ZodOptional<z.ZodReadonly<z.ZodObject<{
47
+ axes: z.ZodReadonly<z.ZodObject<{
48
+ calibratedConfidence: z.ZodReadonly<z.ZodObject<{
49
+ readonly estimate: z.ZodNumber;
50
+ readonly n: z.ZodNumber;
51
+ readonly intervalWidth: z.ZodNumber;
52
+ readonly provenance: z.ZodEnum<["asserted", "backtest", "seed", "live"]>;
53
+ }, "strip", z.ZodTypeAny, {
54
+ estimate: number;
55
+ n: number;
56
+ intervalWidth: number;
57
+ provenance: "asserted" | "backtest" | "seed" | "live";
58
+ }, {
59
+ estimate: number;
60
+ n: number;
61
+ intervalWidth: number;
62
+ provenance: "asserted" | "backtest" | "seed" | "live";
63
+ }>>;
64
+ assertedConfidence: z.ZodReadonly<z.ZodObject<{
65
+ readonly estimate: z.ZodNumber;
66
+ readonly n: z.ZodNumber;
67
+ readonly intervalWidth: z.ZodNumber;
68
+ readonly provenance: z.ZodEnum<["asserted", "backtest", "seed", "live"]>;
69
+ }, "strip", z.ZodTypeAny, {
70
+ estimate: number;
71
+ n: number;
72
+ intervalWidth: number;
73
+ provenance: "asserted" | "backtest" | "seed" | "live";
74
+ }, {
75
+ estimate: number;
76
+ n: number;
77
+ intervalWidth: number;
78
+ provenance: "asserted" | "backtest" | "seed" | "live";
79
+ }>>;
80
+ consequence: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
81
+ kind: z.ZodLiteral<"property-risk">;
82
+ stratum: z.ZodEnum<[import("../read-contract/reasoning-axes.js").PropertyRiskStratum, ...import("../read-contract/reasoning-axes.js").PropertyRiskStratum[]]>;
83
+ basis: z.ZodString;
84
+ assertedAt: z.ZodString;
85
+ auditRef: z.ZodOptional<z.ZodString>;
86
+ }, "strip", z.ZodTypeAny, {
87
+ stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
88
+ assertedAt: string;
89
+ kind: "property-risk";
90
+ basis: string;
91
+ auditRef?: string | undefined;
92
+ }, {
93
+ stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
94
+ assertedAt: string;
95
+ kind: "property-risk";
96
+ basis: string;
97
+ auditRef?: string | undefined;
98
+ }>, z.ZodObject<{
99
+ kind: z.ZodLiteral<"not-applicable">;
100
+ reason: z.ZodString;
101
+ assertedAt: z.ZodString;
102
+ }, "strip", z.ZodTypeAny, {
103
+ assertedAt: string;
104
+ kind: "not-applicable";
105
+ reason: string;
106
+ }, {
107
+ assertedAt: string;
108
+ kind: "not-applicable";
109
+ reason: string;
110
+ }>]>;
111
+ }, "strip", z.ZodTypeAny, {
112
+ calibratedConfidence: Readonly<{
113
+ estimate: number;
114
+ n: number;
115
+ intervalWidth: number;
116
+ provenance: "asserted" | "backtest" | "seed" | "live";
117
+ }>;
118
+ assertedConfidence: Readonly<{
119
+ estimate: number;
120
+ n: number;
121
+ intervalWidth: number;
122
+ provenance: "asserted" | "backtest" | "seed" | "live";
123
+ }>;
124
+ consequence: {
125
+ stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
126
+ assertedAt: string;
127
+ kind: "property-risk";
128
+ basis: string;
129
+ auditRef?: string | undefined;
130
+ } | {
131
+ assertedAt: string;
132
+ kind: "not-applicable";
133
+ reason: string;
134
+ };
135
+ }, {
136
+ calibratedConfidence: Readonly<{
137
+ estimate: number;
138
+ n: number;
139
+ intervalWidth: number;
140
+ provenance: "asserted" | "backtest" | "seed" | "live";
141
+ }>;
142
+ assertedConfidence: Readonly<{
143
+ estimate: number;
144
+ n: number;
145
+ intervalWidth: number;
146
+ provenance: "asserted" | "backtest" | "seed" | "live";
147
+ }>;
148
+ consequence: {
149
+ stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
150
+ assertedAt: string;
151
+ kind: "property-risk";
152
+ basis: string;
153
+ auditRef?: string | undefined;
154
+ } | {
155
+ assertedAt: string;
156
+ kind: "not-applicable";
157
+ reason: string;
158
+ };
159
+ }>>;
160
+ assembledAt: z.ZodString;
161
+ modelAttribution: z.ZodOptional<z.ZodReadonly<z.ZodObject<{
162
+ modelId: z.ZodString;
163
+ modelVersion: z.ZodString;
164
+ promptTemplateVersion: z.ZodString;
165
+ contextTemplateVersion: z.ZodString;
166
+ samplingParams: z.ZodReadonly<z.ZodObject<{
167
+ temperature: z.ZodOptional<z.ZodNumber>;
168
+ topP: z.ZodOptional<z.ZodNumber>;
169
+ maxTokens: z.ZodOptional<z.ZodNumber>;
170
+ seed: z.ZodOptional<z.ZodNumber>;
171
+ }, "strip", z.ZodUnknown, z.objectOutputType<{
172
+ temperature: z.ZodOptional<z.ZodNumber>;
173
+ topP: z.ZodOptional<z.ZodNumber>;
174
+ maxTokens: z.ZodOptional<z.ZodNumber>;
175
+ seed: z.ZodOptional<z.ZodNumber>;
176
+ }, z.ZodUnknown, "strip">, z.objectInputType<{
177
+ temperature: z.ZodOptional<z.ZodNumber>;
178
+ topP: z.ZodOptional<z.ZodNumber>;
179
+ maxTokens: z.ZodOptional<z.ZodNumber>;
180
+ seed: z.ZodOptional<z.ZodNumber>;
181
+ }, z.ZodUnknown, "strip">>>;
182
+ retrievedAtomSetId: z.ZodString;
183
+ }, "strip", z.ZodTypeAny, {
184
+ modelId: string;
185
+ modelVersion: string;
186
+ promptTemplateVersion: string;
187
+ contextTemplateVersion: string;
188
+ samplingParams: Readonly<z.objectOutputType<{
189
+ temperature: z.ZodOptional<z.ZodNumber>;
190
+ topP: z.ZodOptional<z.ZodNumber>;
191
+ maxTokens: z.ZodOptional<z.ZodNumber>;
192
+ seed: z.ZodOptional<z.ZodNumber>;
193
+ }, z.ZodUnknown, "strip">>;
194
+ retrievedAtomSetId: string;
195
+ }, {
196
+ modelId: string;
197
+ modelVersion: string;
198
+ promptTemplateVersion: string;
199
+ contextTemplateVersion: string;
200
+ samplingParams: Readonly<z.objectInputType<{
201
+ temperature: z.ZodOptional<z.ZodNumber>;
202
+ topP: z.ZodOptional<z.ZodNumber>;
203
+ maxTokens: z.ZodOptional<z.ZodNumber>;
204
+ seed: z.ZodOptional<z.ZodNumber>;
205
+ }, z.ZodUnknown, "strip">>;
206
+ retrievedAtomSetId: string;
207
+ }>>>;
208
+ }, "strip", z.ZodTypeAny, {
209
+ axes: Readonly<{
210
+ calibratedConfidence: Readonly<{
211
+ estimate: number;
212
+ n: number;
213
+ intervalWidth: number;
214
+ provenance: "asserted" | "backtest" | "seed" | "live";
215
+ }>;
216
+ assertedConfidence: Readonly<{
217
+ estimate: number;
218
+ n: number;
219
+ intervalWidth: number;
220
+ provenance: "asserted" | "backtest" | "seed" | "live";
221
+ }>;
222
+ consequence: {
223
+ stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
224
+ assertedAt: string;
225
+ kind: "property-risk";
226
+ basis: string;
227
+ auditRef?: string | undefined;
228
+ } | {
229
+ assertedAt: string;
230
+ kind: "not-applicable";
231
+ reason: string;
232
+ };
233
+ }>;
234
+ assembledAt: string;
235
+ modelAttribution?: Readonly<{
236
+ modelId: string;
237
+ modelVersion: string;
238
+ promptTemplateVersion: string;
239
+ contextTemplateVersion: string;
240
+ samplingParams: Readonly<z.objectOutputType<{
241
+ temperature: z.ZodOptional<z.ZodNumber>;
242
+ topP: z.ZodOptional<z.ZodNumber>;
243
+ maxTokens: z.ZodOptional<z.ZodNumber>;
244
+ seed: z.ZodOptional<z.ZodNumber>;
245
+ }, z.ZodUnknown, "strip">>;
246
+ retrievedAtomSetId: string;
247
+ }> | undefined;
248
+ }, {
249
+ axes: Readonly<{
250
+ calibratedConfidence: Readonly<{
251
+ estimate: number;
252
+ n: number;
253
+ intervalWidth: number;
254
+ provenance: "asserted" | "backtest" | "seed" | "live";
255
+ }>;
256
+ assertedConfidence: Readonly<{
257
+ estimate: number;
258
+ n: number;
259
+ intervalWidth: number;
260
+ provenance: "asserted" | "backtest" | "seed" | "live";
261
+ }>;
262
+ consequence: {
263
+ stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
264
+ assertedAt: string;
265
+ kind: "property-risk";
266
+ basis: string;
267
+ auditRef?: string | undefined;
268
+ } | {
269
+ assertedAt: string;
270
+ kind: "not-applicable";
271
+ reason: string;
272
+ };
273
+ }>;
274
+ assembledAt: string;
275
+ modelAttribution?: Readonly<{
276
+ modelId: string;
277
+ modelVersion: string;
278
+ promptTemplateVersion: string;
279
+ contextTemplateVersion: string;
280
+ samplingParams: Readonly<z.objectInputType<{
281
+ temperature: z.ZodOptional<z.ZodNumber>;
282
+ topP: z.ZodOptional<z.ZodNumber>;
283
+ maxTokens: z.ZodOptional<z.ZodNumber>;
284
+ seed: z.ZodOptional<z.ZodNumber>;
285
+ }, z.ZodUnknown, "strip">>;
286
+ retrievedAtomSetId: string;
287
+ }> | undefined;
288
+ }>>>;
289
+ sourceVintage: z.ZodOptional<z.ZodString>;
290
+ verificationStatus: z.ZodEnum<["machine", "human", "unsurveyed"]>;
291
+ sourceAdapter: z.ZodString;
292
+ evaluatedAt: z.ZodString;
293
+ sourceCitation: z.ZodString;
294
+ extractedAt: z.ZodString;
295
+ asOf: z.ZodOptional<z.ZodString>;
296
+ entityType: z.ZodLiteral<"special-district-fact">;
297
+ atomDid: z.ZodEffects<z.ZodString, string, string>;
298
+ parcelNodeId: z.ZodEffects<z.ZodString, string, string>;
299
+ reasoningChain: z.ZodObject<{
300
+ reasoningKind: z.ZodLiteral<"observed">;
301
+ }, "strip", z.ZodTypeAny, {
302
+ reasoningKind: "observed";
303
+ }, {
304
+ reasoningKind: "observed";
305
+ }>;
306
+ sourceTier: z.ZodEnum<["tceq-water-districts", "absent"]>;
307
+ districtName: z.ZodOptional<z.ZodString>;
308
+ districtId: z.ZodOptional<z.ZodString>;
309
+ districtType: z.ZodOptional<z.ZodString>;
310
+ countyFips: z.ZodOptional<z.ZodString>;
311
+ membershipBasis: z.ZodOptional<z.ZodEnum<["point-in-polygon"]>>;
312
+ taxRate: z.ZodOptional<z.ZodObject<{
313
+ totalRatePc: z.ZodOptional<z.ZodNumber>;
314
+ effectiveAvtRatePc: z.ZodOptional<z.ZodNumber>;
315
+ reportYear: z.ZodOptional<z.ZodNumber>;
316
+ registrySpdPublId: z.ZodOptional<z.ZodString>;
317
+ source: z.ZodLiteral<"comptroller-spdpid">;
318
+ }, "strict", z.ZodTypeAny, {
319
+ source: "comptroller-spdpid";
320
+ totalRatePc?: number | undefined;
321
+ effectiveAvtRatePc?: number | undefined;
322
+ reportYear?: number | undefined;
323
+ registrySpdPublId?: string | undefined;
324
+ }, {
325
+ source: "comptroller-spdpid";
326
+ totalRatePc?: number | undefined;
327
+ effectiveAvtRatePc?: number | undefined;
328
+ reportYear?: number | undefined;
329
+ registrySpdPublId?: string | undefined;
330
+ }>>;
331
+ absence: z.ZodOptional<z.ZodObject<{
332
+ kind: z.ZodLiteral<"outside-tceq-source-boundaries">;
333
+ reason: z.ZodString;
334
+ }, "strict", z.ZodTypeAny, {
335
+ kind: "outside-tceq-source-boundaries";
336
+ reason: string;
337
+ }, {
338
+ kind: "outside-tceq-source-boundaries";
339
+ reason: string;
340
+ }>>;
341
+ verifiedAbsence: z.ZodOptional<z.ZodObject<{
342
+ evaluated: z.ZodLiteral<true>;
343
+ provenanceScope: z.ZodArray<z.ZodString, "many">;
344
+ }, "strict", z.ZodTypeAny, {
345
+ evaluated: true;
346
+ provenanceScope: string[];
347
+ }, {
348
+ evaluated: true;
349
+ provenanceScope: string[];
350
+ }>>;
351
+ accessPolicy: z.ZodEnum<["public-free", "public-paid", "platform-internal", "tenant-private", "tenant-shared"]>;
352
+ }, "strip", z.ZodTypeAny, {
353
+ accessPolicy: "public-free" | "public-paid" | "platform-internal" | "tenant-private" | "tenant-shared";
354
+ entityType: "special-district-fact";
355
+ sourceCitation: string;
356
+ extractedAt: string;
357
+ atomDid: string;
358
+ evaluatedAt: string;
359
+ verificationStatus: "machine" | "human" | "unsurveyed";
360
+ sourceAdapter: string;
361
+ parcelNodeId: string;
362
+ reasoningChain: {
363
+ reasoningKind: "observed";
364
+ };
365
+ atomTier: AtomTier;
366
+ sourceTier: "absent" | "tceq-water-districts";
367
+ asOf?: string | undefined;
368
+ readContract?: Readonly<{
369
+ axes: Readonly<{
370
+ calibratedConfidence: Readonly<{
371
+ estimate: number;
372
+ n: number;
373
+ intervalWidth: number;
374
+ provenance: "asserted" | "backtest" | "seed" | "live";
375
+ }>;
376
+ assertedConfidence: Readonly<{
377
+ estimate: number;
378
+ n: number;
379
+ intervalWidth: number;
380
+ provenance: "asserted" | "backtest" | "seed" | "live";
381
+ }>;
382
+ consequence: {
383
+ stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
384
+ assertedAt: string;
385
+ kind: "property-risk";
386
+ basis: string;
387
+ auditRef?: string | undefined;
388
+ } | {
389
+ assertedAt: string;
390
+ kind: "not-applicable";
391
+ reason: string;
392
+ };
393
+ }>;
394
+ assembledAt: string;
395
+ modelAttribution?: Readonly<{
396
+ modelId: string;
397
+ modelVersion: string;
398
+ promptTemplateVersion: string;
399
+ contextTemplateVersion: string;
400
+ samplingParams: Readonly<z.objectOutputType<{
401
+ temperature: z.ZodOptional<z.ZodNumber>;
402
+ topP: z.ZodOptional<z.ZodNumber>;
403
+ maxTokens: z.ZodOptional<z.ZodNumber>;
404
+ seed: z.ZodOptional<z.ZodNumber>;
405
+ }, z.ZodUnknown, "strip">>;
406
+ retrievedAtomSetId: string;
407
+ }> | undefined;
408
+ }> | undefined;
409
+ countyFips?: string | undefined;
410
+ absence?: {
411
+ kind: "outside-tceq-source-boundaries";
412
+ reason: string;
413
+ } | undefined;
414
+ verifiedAbsence?: {
415
+ evaluated: true;
416
+ provenanceScope: string[];
417
+ } | undefined;
418
+ sourceVintage?: string | undefined;
419
+ districtName?: string | undefined;
420
+ districtId?: string | undefined;
421
+ districtType?: string | undefined;
422
+ membershipBasis?: "point-in-polygon" | undefined;
423
+ taxRate?: {
424
+ source: "comptroller-spdpid";
425
+ totalRatePc?: number | undefined;
426
+ effectiveAvtRatePc?: number | undefined;
427
+ reportYear?: number | undefined;
428
+ registrySpdPublId?: string | undefined;
429
+ } | undefined;
430
+ }, {
431
+ accessPolicy: "public-free" | "public-paid" | "platform-internal" | "tenant-private" | "tenant-shared";
432
+ entityType: "special-district-fact";
433
+ sourceCitation: string;
434
+ extractedAt: string;
435
+ atomDid: string;
436
+ evaluatedAt: string;
437
+ verificationStatus: "machine" | "human" | "unsurveyed";
438
+ sourceAdapter: string;
439
+ parcelNodeId: string;
440
+ reasoningChain: {
441
+ reasoningKind: "observed";
442
+ };
443
+ atomTier: AtomTier;
444
+ sourceTier: "absent" | "tceq-water-districts";
445
+ asOf?: string | undefined;
446
+ readContract?: Readonly<{
447
+ axes: Readonly<{
448
+ calibratedConfidence: Readonly<{
449
+ estimate: number;
450
+ n: number;
451
+ intervalWidth: number;
452
+ provenance: "asserted" | "backtest" | "seed" | "live";
453
+ }>;
454
+ assertedConfidence: Readonly<{
455
+ estimate: number;
456
+ n: number;
457
+ intervalWidth: number;
458
+ provenance: "asserted" | "backtest" | "seed" | "live";
459
+ }>;
460
+ consequence: {
461
+ stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
462
+ assertedAt: string;
463
+ kind: "property-risk";
464
+ basis: string;
465
+ auditRef?: string | undefined;
466
+ } | {
467
+ assertedAt: string;
468
+ kind: "not-applicable";
469
+ reason: string;
470
+ };
471
+ }>;
472
+ assembledAt: string;
473
+ modelAttribution?: Readonly<{
474
+ modelId: string;
475
+ modelVersion: string;
476
+ promptTemplateVersion: string;
477
+ contextTemplateVersion: string;
478
+ samplingParams: Readonly<z.objectInputType<{
479
+ temperature: z.ZodOptional<z.ZodNumber>;
480
+ topP: z.ZodOptional<z.ZodNumber>;
481
+ maxTokens: z.ZodOptional<z.ZodNumber>;
482
+ seed: z.ZodOptional<z.ZodNumber>;
483
+ }, z.ZodUnknown, "strip">>;
484
+ retrievedAtomSetId: string;
485
+ }> | undefined;
486
+ }> | undefined;
487
+ countyFips?: string | undefined;
488
+ absence?: {
489
+ kind: "outside-tceq-source-boundaries";
490
+ reason: string;
491
+ } | undefined;
492
+ verifiedAbsence?: {
493
+ evaluated: true;
494
+ provenanceScope: string[];
495
+ } | undefined;
496
+ sourceVintage?: string | undefined;
497
+ districtName?: string | undefined;
498
+ districtId?: string | undefined;
499
+ districtType?: string | undefined;
500
+ membershipBasis?: "point-in-polygon" | undefined;
501
+ taxRate?: {
502
+ source: "comptroller-spdpid";
503
+ totalRatePc?: number | undefined;
504
+ effectiveAvtRatePc?: number | undefined;
505
+ reportYear?: number | undefined;
506
+ registrySpdPublId?: string | undefined;
507
+ } | undefined;
508
+ }>, {
509
+ accessPolicy: "public-free" | "public-paid" | "platform-internal" | "tenant-private" | "tenant-shared";
510
+ entityType: "special-district-fact";
511
+ sourceCitation: string;
512
+ extractedAt: string;
513
+ atomDid: string;
514
+ evaluatedAt: string;
515
+ verificationStatus: "machine" | "human" | "unsurveyed";
516
+ sourceAdapter: string;
517
+ parcelNodeId: string;
518
+ reasoningChain: {
519
+ reasoningKind: "observed";
520
+ };
521
+ atomTier: AtomTier;
522
+ sourceTier: "absent" | "tceq-water-districts";
523
+ asOf?: string | undefined;
524
+ readContract?: Readonly<{
525
+ axes: Readonly<{
526
+ calibratedConfidence: Readonly<{
527
+ estimate: number;
528
+ n: number;
529
+ intervalWidth: number;
530
+ provenance: "asserted" | "backtest" | "seed" | "live";
531
+ }>;
532
+ assertedConfidence: Readonly<{
533
+ estimate: number;
534
+ n: number;
535
+ intervalWidth: number;
536
+ provenance: "asserted" | "backtest" | "seed" | "live";
537
+ }>;
538
+ consequence: {
539
+ stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
540
+ assertedAt: string;
541
+ kind: "property-risk";
542
+ basis: string;
543
+ auditRef?: string | undefined;
544
+ } | {
545
+ assertedAt: string;
546
+ kind: "not-applicable";
547
+ reason: string;
548
+ };
549
+ }>;
550
+ assembledAt: string;
551
+ modelAttribution?: Readonly<{
552
+ modelId: string;
553
+ modelVersion: string;
554
+ promptTemplateVersion: string;
555
+ contextTemplateVersion: string;
556
+ samplingParams: Readonly<z.objectOutputType<{
557
+ temperature: z.ZodOptional<z.ZodNumber>;
558
+ topP: z.ZodOptional<z.ZodNumber>;
559
+ maxTokens: z.ZodOptional<z.ZodNumber>;
560
+ seed: z.ZodOptional<z.ZodNumber>;
561
+ }, z.ZodUnknown, "strip">>;
562
+ retrievedAtomSetId: string;
563
+ }> | undefined;
564
+ }> | undefined;
565
+ countyFips?: string | undefined;
566
+ absence?: {
567
+ kind: "outside-tceq-source-boundaries";
568
+ reason: string;
569
+ } | undefined;
570
+ verifiedAbsence?: {
571
+ evaluated: true;
572
+ provenanceScope: string[];
573
+ } | undefined;
574
+ sourceVintage?: string | undefined;
575
+ districtName?: string | undefined;
576
+ districtId?: string | undefined;
577
+ districtType?: string | undefined;
578
+ membershipBasis?: "point-in-polygon" | undefined;
579
+ taxRate?: {
580
+ source: "comptroller-spdpid";
581
+ totalRatePc?: number | undefined;
582
+ effectiveAvtRatePc?: number | undefined;
583
+ reportYear?: number | undefined;
584
+ registrySpdPublId?: string | undefined;
585
+ } | undefined;
586
+ }, {
587
+ accessPolicy: "public-free" | "public-paid" | "platform-internal" | "tenant-private" | "tenant-shared";
588
+ entityType: "special-district-fact";
589
+ sourceCitation: string;
590
+ extractedAt: string;
591
+ atomDid: string;
592
+ evaluatedAt: string;
593
+ verificationStatus: "machine" | "human" | "unsurveyed";
594
+ sourceAdapter: string;
595
+ parcelNodeId: string;
596
+ reasoningChain: {
597
+ reasoningKind: "observed";
598
+ };
599
+ atomTier: AtomTier;
600
+ sourceTier: "absent" | "tceq-water-districts";
601
+ asOf?: string | undefined;
602
+ readContract?: Readonly<{
603
+ axes: Readonly<{
604
+ calibratedConfidence: Readonly<{
605
+ estimate: number;
606
+ n: number;
607
+ intervalWidth: number;
608
+ provenance: "asserted" | "backtest" | "seed" | "live";
609
+ }>;
610
+ assertedConfidence: Readonly<{
611
+ estimate: number;
612
+ n: number;
613
+ intervalWidth: number;
614
+ provenance: "asserted" | "backtest" | "seed" | "live";
615
+ }>;
616
+ consequence: {
617
+ stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
618
+ assertedAt: string;
619
+ kind: "property-risk";
620
+ basis: string;
621
+ auditRef?: string | undefined;
622
+ } | {
623
+ assertedAt: string;
624
+ kind: "not-applicable";
625
+ reason: string;
626
+ };
627
+ }>;
628
+ assembledAt: string;
629
+ modelAttribution?: Readonly<{
630
+ modelId: string;
631
+ modelVersion: string;
632
+ promptTemplateVersion: string;
633
+ contextTemplateVersion: string;
634
+ samplingParams: Readonly<z.objectInputType<{
635
+ temperature: z.ZodOptional<z.ZodNumber>;
636
+ topP: z.ZodOptional<z.ZodNumber>;
637
+ maxTokens: z.ZodOptional<z.ZodNumber>;
638
+ seed: z.ZodOptional<z.ZodNumber>;
639
+ }, z.ZodUnknown, "strip">>;
640
+ retrievedAtomSetId: string;
641
+ }> | undefined;
642
+ }> | undefined;
643
+ countyFips?: string | undefined;
644
+ absence?: {
645
+ kind: "outside-tceq-source-boundaries";
646
+ reason: string;
647
+ } | undefined;
648
+ verifiedAbsence?: {
649
+ evaluated: true;
650
+ provenanceScope: string[];
651
+ } | undefined;
652
+ sourceVintage?: string | undefined;
653
+ districtName?: string | undefined;
654
+ districtId?: string | undefined;
655
+ districtType?: string | undefined;
656
+ membershipBasis?: "point-in-polygon" | undefined;
657
+ taxRate?: {
658
+ source: "comptroller-spdpid";
659
+ totalRatePc?: number | undefined;
660
+ effectiveAvtRatePc?: number | undefined;
661
+ reportYear?: number | undefined;
662
+ registrySpdPublId?: string | undefined;
663
+ } | undefined;
664
+ }>;
665
+ export declare function createSpecialDistrictFact(input: z.input<typeof SPECIAL_DISTRICT_FACT_SCHEMA>): SpecialDistrictFactAtomInstance;
666
+ //# sourceMappingURL=special-district-fact.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"special-district-fact.d.ts","sourceRoot":"","sources":["../../src/property/special-district-fact.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACzD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAE5D,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAEhF,OAAO,EAaL,KAAK,sBAAsB,EAC3B,KAAK,8BAA8B,EACnC,KAAK,yBAAyB,EAC9B,KAAK,sBAAsB,EAC3B,KAAK,wBAAwB,EAC9B,MAAM,aAAa,CAAC;AAErB;;;;;;;;;GASG;AACH,MAAM,WAAW,+BAA+B;IAC9C,UAAU,EAAE,uBAAuB,CAAC;IACpC,OAAO,EAAE,MAAM,CAAC;IAChB,YAAY,EAAE,MAAM,CAAC;IACrB,cAAc,EAAE,OAAO,CAAC,cAAc,EAAE;QAAE,aAAa,EAAE,UAAU,CAAA;KAAE,CAAC,CAAC;IACvE,UAAU,EAAE,yBAAyB,CAAC;IACtC,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,eAAe,CAAC,EAAE,8BAA8B,CAAC;IACjD,OAAO,CAAC,EAAE,sBAAsB,CAAC;IACjC,OAAO,CAAC,EAAE,sBAAsB,CAAC;IACjC,eAAe,CAAC,EAAE,wBAAwB,CAAC;IAC3C,YAAY,EAAE,YAAY,CAAC;IAC3B,cAAc,EAAE,MAAM,CAAC;IACvB,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,kBAAkB,EAAE,SAAS,GAAG,OAAO,GAAG,YAAY,CAAC;IACvD,aAAa,EAAE,MAAM,CAAC;IACtB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,QAAQ,CAAC;IACnB,YAAY,CAAC,EAAE,qBAAqB,CAAC;CACtC;AAED,eAAO,MAAM,4BAA4B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAoHrC,CAAC;AAEL,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,4BAA4B,CAAC,GAClD,+BAA+B,CAIjC"}