@empressaio/atom-contract 1.23.0 → 1.24.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.
- package/CHANGELOG.md +14 -0
- package/dist/conformance/index.d.ts +1 -0
- package/dist/conformance/index.d.ts.map +1 -1
- package/dist/conformance/index.js +1 -0
- package/dist/conformance/index.js.map +1 -1
- package/dist/identity/index.d.ts +1 -0
- package/dist/identity/index.d.ts.map +1 -1
- package/dist/identity/index.js +1 -0
- package/dist/identity/index.js.map +1 -1
- package/dist/index.d.ts +1 -0
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +1 -0
- package/dist/index.js.map +1 -1
- package/dist/property/buildable-envelope.d.ts +20 -20
- package/dist/property/building-footprint.d.ts +20 -20
- package/dist/property/cad-parcel-roll.d.ts +20 -20
- package/dist/property/common.d.ts +12 -12
- package/dist/property/flood-hazard-fact.d.ts +20 -20
- package/dist/property/land-use-fact.d.ts +20 -20
- package/dist/property/owner-fact.d.ts +20 -20
- package/dist/property/parcel-node.d.ts +20 -20
- package/dist/property/parcel-terrain-model.d.ts +20 -20
- package/dist/property/rail-corridor-fact.d.ts +20 -20
- package/dist/property/road-node.d.ts +16 -16
- package/dist/property/rrc-pipeline-fact.d.ts +20 -20
- package/dist/property/setback-rule.d.ts +20 -20
- package/dist/property/special-district-fact.d.ts +20 -20
- package/dist/property/utility-easement.d.ts +20 -20
- package/dist/property/well-fact.d.ts +20 -20
- package/dist/property/zoning-fact.d.ts +20 -20
- package/dist/read-contract/reasoning-axes.d.ts +28 -28
- package/package.json +1 -1
|
@@ -102,15 +102,15 @@ export declare const RRC_PIPELINE_FACT_SCHEMA: z.ZodEffects<z.ZodObject<{
|
|
|
102
102
|
assertedAt: z.ZodString;
|
|
103
103
|
auditRef: z.ZodOptional<z.ZodString>;
|
|
104
104
|
}, "strip", z.ZodTypeAny, {
|
|
105
|
+
kind: "property-risk";
|
|
105
106
|
stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
|
|
106
107
|
assertedAt: string;
|
|
107
|
-
kind: "property-risk";
|
|
108
108
|
basis: string;
|
|
109
109
|
auditRef?: string | undefined;
|
|
110
110
|
}, {
|
|
111
|
+
kind: "property-risk";
|
|
111
112
|
stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
|
|
112
113
|
assertedAt: string;
|
|
113
|
-
kind: "property-risk";
|
|
114
114
|
basis: string;
|
|
115
115
|
auditRef?: string | undefined;
|
|
116
116
|
}>, z.ZodObject<{
|
|
@@ -118,12 +118,12 @@ export declare const RRC_PIPELINE_FACT_SCHEMA: z.ZodEffects<z.ZodObject<{
|
|
|
118
118
|
reason: z.ZodString;
|
|
119
119
|
assertedAt: z.ZodString;
|
|
120
120
|
}, "strip", z.ZodTypeAny, {
|
|
121
|
-
assertedAt: string;
|
|
122
121
|
kind: "not-applicable";
|
|
122
|
+
assertedAt: string;
|
|
123
123
|
reason: string;
|
|
124
124
|
}, {
|
|
125
|
-
assertedAt: string;
|
|
126
125
|
kind: "not-applicable";
|
|
126
|
+
assertedAt: string;
|
|
127
127
|
reason: string;
|
|
128
128
|
}>]>;
|
|
129
129
|
}, "strip", z.ZodTypeAny, {
|
|
@@ -140,14 +140,14 @@ export declare const RRC_PIPELINE_FACT_SCHEMA: z.ZodEffects<z.ZodObject<{
|
|
|
140
140
|
provenance: "asserted" | "backtest" | "seed" | "live";
|
|
141
141
|
}>;
|
|
142
142
|
consequence: {
|
|
143
|
+
kind: "property-risk";
|
|
143
144
|
stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
|
|
144
145
|
assertedAt: string;
|
|
145
|
-
kind: "property-risk";
|
|
146
146
|
basis: string;
|
|
147
147
|
auditRef?: string | undefined;
|
|
148
148
|
} | {
|
|
149
|
-
assertedAt: string;
|
|
150
149
|
kind: "not-applicable";
|
|
150
|
+
assertedAt: string;
|
|
151
151
|
reason: string;
|
|
152
152
|
};
|
|
153
153
|
}, {
|
|
@@ -164,14 +164,14 @@ export declare const RRC_PIPELINE_FACT_SCHEMA: z.ZodEffects<z.ZodObject<{
|
|
|
164
164
|
provenance: "asserted" | "backtest" | "seed" | "live";
|
|
165
165
|
}>;
|
|
166
166
|
consequence: {
|
|
167
|
+
kind: "property-risk";
|
|
167
168
|
stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
|
|
168
169
|
assertedAt: string;
|
|
169
|
-
kind: "property-risk";
|
|
170
170
|
basis: string;
|
|
171
171
|
auditRef?: string | undefined;
|
|
172
172
|
} | {
|
|
173
|
-
assertedAt: string;
|
|
174
173
|
kind: "not-applicable";
|
|
174
|
+
assertedAt: string;
|
|
175
175
|
reason: string;
|
|
176
176
|
};
|
|
177
177
|
}>>;
|
|
@@ -238,14 +238,14 @@ export declare const RRC_PIPELINE_FACT_SCHEMA: z.ZodEffects<z.ZodObject<{
|
|
|
238
238
|
provenance: "asserted" | "backtest" | "seed" | "live";
|
|
239
239
|
}>;
|
|
240
240
|
consequence: {
|
|
241
|
+
kind: "property-risk";
|
|
241
242
|
stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
|
|
242
243
|
assertedAt: string;
|
|
243
|
-
kind: "property-risk";
|
|
244
244
|
basis: string;
|
|
245
245
|
auditRef?: string | undefined;
|
|
246
246
|
} | {
|
|
247
|
-
assertedAt: string;
|
|
248
247
|
kind: "not-applicable";
|
|
248
|
+
assertedAt: string;
|
|
249
249
|
reason: string;
|
|
250
250
|
};
|
|
251
251
|
}>;
|
|
@@ -278,14 +278,14 @@ export declare const RRC_PIPELINE_FACT_SCHEMA: z.ZodEffects<z.ZodObject<{
|
|
|
278
278
|
provenance: "asserted" | "backtest" | "seed" | "live";
|
|
279
279
|
}>;
|
|
280
280
|
consequence: {
|
|
281
|
+
kind: "property-risk";
|
|
281
282
|
stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
|
|
282
283
|
assertedAt: string;
|
|
283
|
-
kind: "property-risk";
|
|
284
284
|
basis: string;
|
|
285
285
|
auditRef?: string | undefined;
|
|
286
286
|
} | {
|
|
287
|
-
assertedAt: string;
|
|
288
287
|
kind: "not-applicable";
|
|
288
|
+
assertedAt: string;
|
|
289
289
|
reason: string;
|
|
290
290
|
};
|
|
291
291
|
}>;
|
|
@@ -389,14 +389,14 @@ export declare const RRC_PIPELINE_FACT_SCHEMA: z.ZodEffects<z.ZodObject<{
|
|
|
389
389
|
provenance: "asserted" | "backtest" | "seed" | "live";
|
|
390
390
|
}>;
|
|
391
391
|
consequence: {
|
|
392
|
+
kind: "property-risk";
|
|
392
393
|
stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
|
|
393
394
|
assertedAt: string;
|
|
394
|
-
kind: "property-risk";
|
|
395
395
|
basis: string;
|
|
396
396
|
auditRef?: string | undefined;
|
|
397
397
|
} | {
|
|
398
|
-
assertedAt: string;
|
|
399
398
|
kind: "not-applicable";
|
|
399
|
+
assertedAt: string;
|
|
400
400
|
reason: string;
|
|
401
401
|
};
|
|
402
402
|
}>;
|
|
@@ -468,14 +468,14 @@ export declare const RRC_PIPELINE_FACT_SCHEMA: z.ZodEffects<z.ZodObject<{
|
|
|
468
468
|
provenance: "asserted" | "backtest" | "seed" | "live";
|
|
469
469
|
}>;
|
|
470
470
|
consequence: {
|
|
471
|
+
kind: "property-risk";
|
|
471
472
|
stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
|
|
472
473
|
assertedAt: string;
|
|
473
|
-
kind: "property-risk";
|
|
474
474
|
basis: string;
|
|
475
475
|
auditRef?: string | undefined;
|
|
476
476
|
} | {
|
|
477
|
-
assertedAt: string;
|
|
478
477
|
kind: "not-applicable";
|
|
478
|
+
assertedAt: string;
|
|
479
479
|
reason: string;
|
|
480
480
|
};
|
|
481
481
|
}>;
|
|
@@ -547,14 +547,14 @@ export declare const RRC_PIPELINE_FACT_SCHEMA: z.ZodEffects<z.ZodObject<{
|
|
|
547
547
|
provenance: "asserted" | "backtest" | "seed" | "live";
|
|
548
548
|
}>;
|
|
549
549
|
consequence: {
|
|
550
|
+
kind: "property-risk";
|
|
550
551
|
stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
|
|
551
552
|
assertedAt: string;
|
|
552
|
-
kind: "property-risk";
|
|
553
553
|
basis: string;
|
|
554
554
|
auditRef?: string | undefined;
|
|
555
555
|
} | {
|
|
556
|
-
assertedAt: string;
|
|
557
556
|
kind: "not-applicable";
|
|
557
|
+
assertedAt: string;
|
|
558
558
|
reason: string;
|
|
559
559
|
};
|
|
560
560
|
}>;
|
|
@@ -626,14 +626,14 @@ export declare const RRC_PIPELINE_FACT_SCHEMA: z.ZodEffects<z.ZodObject<{
|
|
|
626
626
|
provenance: "asserted" | "backtest" | "seed" | "live";
|
|
627
627
|
}>;
|
|
628
628
|
consequence: {
|
|
629
|
+
kind: "property-risk";
|
|
629
630
|
stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
|
|
630
631
|
assertedAt: string;
|
|
631
|
-
kind: "property-risk";
|
|
632
632
|
basis: string;
|
|
633
633
|
auditRef?: string | undefined;
|
|
634
634
|
} | {
|
|
635
|
-
assertedAt: string;
|
|
636
635
|
kind: "not-applicable";
|
|
636
|
+
assertedAt: string;
|
|
637
637
|
reason: string;
|
|
638
638
|
};
|
|
639
639
|
}>;
|
|
@@ -79,15 +79,15 @@ export declare const SETBACK_RULE_SCHEMA: z.ZodEffects<z.ZodObject<{
|
|
|
79
79
|
assertedAt: z.ZodString;
|
|
80
80
|
auditRef: z.ZodOptional<z.ZodString>;
|
|
81
81
|
}, "strip", z.ZodTypeAny, {
|
|
82
|
+
kind: "property-risk";
|
|
82
83
|
stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
|
|
83
84
|
assertedAt: string;
|
|
84
|
-
kind: "property-risk";
|
|
85
85
|
basis: string;
|
|
86
86
|
auditRef?: string | undefined;
|
|
87
87
|
}, {
|
|
88
|
+
kind: "property-risk";
|
|
88
89
|
stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
|
|
89
90
|
assertedAt: string;
|
|
90
|
-
kind: "property-risk";
|
|
91
91
|
basis: string;
|
|
92
92
|
auditRef?: string | undefined;
|
|
93
93
|
}>, z.ZodObject<{
|
|
@@ -95,12 +95,12 @@ export declare const SETBACK_RULE_SCHEMA: z.ZodEffects<z.ZodObject<{
|
|
|
95
95
|
reason: z.ZodString;
|
|
96
96
|
assertedAt: z.ZodString;
|
|
97
97
|
}, "strip", z.ZodTypeAny, {
|
|
98
|
-
assertedAt: string;
|
|
99
98
|
kind: "not-applicable";
|
|
99
|
+
assertedAt: string;
|
|
100
100
|
reason: string;
|
|
101
101
|
}, {
|
|
102
|
-
assertedAt: string;
|
|
103
102
|
kind: "not-applicable";
|
|
103
|
+
assertedAt: string;
|
|
104
104
|
reason: string;
|
|
105
105
|
}>]>;
|
|
106
106
|
}, "strip", z.ZodTypeAny, {
|
|
@@ -117,14 +117,14 @@ export declare const SETBACK_RULE_SCHEMA: z.ZodEffects<z.ZodObject<{
|
|
|
117
117
|
provenance: "asserted" | "backtest" | "seed" | "live";
|
|
118
118
|
}>;
|
|
119
119
|
consequence: {
|
|
120
|
+
kind: "property-risk";
|
|
120
121
|
stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
|
|
121
122
|
assertedAt: string;
|
|
122
|
-
kind: "property-risk";
|
|
123
123
|
basis: string;
|
|
124
124
|
auditRef?: string | undefined;
|
|
125
125
|
} | {
|
|
126
|
-
assertedAt: string;
|
|
127
126
|
kind: "not-applicable";
|
|
127
|
+
assertedAt: string;
|
|
128
128
|
reason: string;
|
|
129
129
|
};
|
|
130
130
|
}, {
|
|
@@ -141,14 +141,14 @@ export declare const SETBACK_RULE_SCHEMA: z.ZodEffects<z.ZodObject<{
|
|
|
141
141
|
provenance: "asserted" | "backtest" | "seed" | "live";
|
|
142
142
|
}>;
|
|
143
143
|
consequence: {
|
|
144
|
+
kind: "property-risk";
|
|
144
145
|
stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
|
|
145
146
|
assertedAt: string;
|
|
146
|
-
kind: "property-risk";
|
|
147
147
|
basis: string;
|
|
148
148
|
auditRef?: string | undefined;
|
|
149
149
|
} | {
|
|
150
|
-
assertedAt: string;
|
|
151
150
|
kind: "not-applicable";
|
|
151
|
+
assertedAt: string;
|
|
152
152
|
reason: string;
|
|
153
153
|
};
|
|
154
154
|
}>>;
|
|
@@ -215,14 +215,14 @@ export declare const SETBACK_RULE_SCHEMA: z.ZodEffects<z.ZodObject<{
|
|
|
215
215
|
provenance: "asserted" | "backtest" | "seed" | "live";
|
|
216
216
|
}>;
|
|
217
217
|
consequence: {
|
|
218
|
+
kind: "property-risk";
|
|
218
219
|
stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
|
|
219
220
|
assertedAt: string;
|
|
220
|
-
kind: "property-risk";
|
|
221
221
|
basis: string;
|
|
222
222
|
auditRef?: string | undefined;
|
|
223
223
|
} | {
|
|
224
|
-
assertedAt: string;
|
|
225
224
|
kind: "not-applicable";
|
|
225
|
+
assertedAt: string;
|
|
226
226
|
reason: string;
|
|
227
227
|
};
|
|
228
228
|
}>;
|
|
@@ -255,14 +255,14 @@ export declare const SETBACK_RULE_SCHEMA: z.ZodEffects<z.ZodObject<{
|
|
|
255
255
|
provenance: "asserted" | "backtest" | "seed" | "live";
|
|
256
256
|
}>;
|
|
257
257
|
consequence: {
|
|
258
|
+
kind: "property-risk";
|
|
258
259
|
stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
|
|
259
260
|
assertedAt: string;
|
|
260
|
-
kind: "property-risk";
|
|
261
261
|
basis: string;
|
|
262
262
|
auditRef?: string | undefined;
|
|
263
263
|
} | {
|
|
264
|
-
assertedAt: string;
|
|
265
264
|
kind: "not-applicable";
|
|
265
|
+
assertedAt: string;
|
|
266
266
|
reason: string;
|
|
267
267
|
};
|
|
268
268
|
}>;
|
|
@@ -535,14 +535,14 @@ export declare const SETBACK_RULE_SCHEMA: z.ZodEffects<z.ZodObject<{
|
|
|
535
535
|
provenance: "asserted" | "backtest" | "seed" | "live";
|
|
536
536
|
}>;
|
|
537
537
|
consequence: {
|
|
538
|
+
kind: "property-risk";
|
|
538
539
|
stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
|
|
539
540
|
assertedAt: string;
|
|
540
|
-
kind: "property-risk";
|
|
541
541
|
basis: string;
|
|
542
542
|
auditRef?: string | undefined;
|
|
543
543
|
} | {
|
|
544
|
-
assertedAt: string;
|
|
545
544
|
kind: "not-applicable";
|
|
545
|
+
assertedAt: string;
|
|
546
546
|
reason: string;
|
|
547
547
|
};
|
|
548
548
|
}>;
|
|
@@ -631,14 +631,14 @@ export declare const SETBACK_RULE_SCHEMA: z.ZodEffects<z.ZodObject<{
|
|
|
631
631
|
provenance: "asserted" | "backtest" | "seed" | "live";
|
|
632
632
|
}>;
|
|
633
633
|
consequence: {
|
|
634
|
+
kind: "property-risk";
|
|
634
635
|
stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
|
|
635
636
|
assertedAt: string;
|
|
636
|
-
kind: "property-risk";
|
|
637
637
|
basis: string;
|
|
638
638
|
auditRef?: string | undefined;
|
|
639
639
|
} | {
|
|
640
|
-
assertedAt: string;
|
|
641
640
|
kind: "not-applicable";
|
|
641
|
+
assertedAt: string;
|
|
642
642
|
reason: string;
|
|
643
643
|
};
|
|
644
644
|
}>;
|
|
@@ -727,14 +727,14 @@ export declare const SETBACK_RULE_SCHEMA: z.ZodEffects<z.ZodObject<{
|
|
|
727
727
|
provenance: "asserted" | "backtest" | "seed" | "live";
|
|
728
728
|
}>;
|
|
729
729
|
consequence: {
|
|
730
|
+
kind: "property-risk";
|
|
730
731
|
stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
|
|
731
732
|
assertedAt: string;
|
|
732
|
-
kind: "property-risk";
|
|
733
733
|
basis: string;
|
|
734
734
|
auditRef?: string | undefined;
|
|
735
735
|
} | {
|
|
736
|
-
assertedAt: string;
|
|
737
736
|
kind: "not-applicable";
|
|
737
|
+
assertedAt: string;
|
|
738
738
|
reason: string;
|
|
739
739
|
};
|
|
740
740
|
}>;
|
|
@@ -823,14 +823,14 @@ export declare const SETBACK_RULE_SCHEMA: z.ZodEffects<z.ZodObject<{
|
|
|
823
823
|
provenance: "asserted" | "backtest" | "seed" | "live";
|
|
824
824
|
}>;
|
|
825
825
|
consequence: {
|
|
826
|
+
kind: "property-risk";
|
|
826
827
|
stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
|
|
827
828
|
assertedAt: string;
|
|
828
|
-
kind: "property-risk";
|
|
829
829
|
basis: string;
|
|
830
830
|
auditRef?: string | undefined;
|
|
831
831
|
} | {
|
|
832
|
-
assertedAt: string;
|
|
833
832
|
kind: "not-applicable";
|
|
833
|
+
assertedAt: string;
|
|
834
834
|
reason: string;
|
|
835
835
|
};
|
|
836
836
|
}>;
|
|
@@ -84,15 +84,15 @@ export declare const SPECIAL_DISTRICT_FACT_SCHEMA: z.ZodEffects<z.ZodObject<{
|
|
|
84
84
|
assertedAt: z.ZodString;
|
|
85
85
|
auditRef: z.ZodOptional<z.ZodString>;
|
|
86
86
|
}, "strip", z.ZodTypeAny, {
|
|
87
|
+
kind: "property-risk";
|
|
87
88
|
stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
|
|
88
89
|
assertedAt: string;
|
|
89
|
-
kind: "property-risk";
|
|
90
90
|
basis: string;
|
|
91
91
|
auditRef?: string | undefined;
|
|
92
92
|
}, {
|
|
93
|
+
kind: "property-risk";
|
|
93
94
|
stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
|
|
94
95
|
assertedAt: string;
|
|
95
|
-
kind: "property-risk";
|
|
96
96
|
basis: string;
|
|
97
97
|
auditRef?: string | undefined;
|
|
98
98
|
}>, z.ZodObject<{
|
|
@@ -100,12 +100,12 @@ export declare const SPECIAL_DISTRICT_FACT_SCHEMA: z.ZodEffects<z.ZodObject<{
|
|
|
100
100
|
reason: z.ZodString;
|
|
101
101
|
assertedAt: z.ZodString;
|
|
102
102
|
}, "strip", z.ZodTypeAny, {
|
|
103
|
-
assertedAt: string;
|
|
104
103
|
kind: "not-applicable";
|
|
104
|
+
assertedAt: string;
|
|
105
105
|
reason: string;
|
|
106
106
|
}, {
|
|
107
|
-
assertedAt: string;
|
|
108
107
|
kind: "not-applicable";
|
|
108
|
+
assertedAt: string;
|
|
109
109
|
reason: string;
|
|
110
110
|
}>]>;
|
|
111
111
|
}, "strip", z.ZodTypeAny, {
|
|
@@ -122,14 +122,14 @@ export declare const SPECIAL_DISTRICT_FACT_SCHEMA: z.ZodEffects<z.ZodObject<{
|
|
|
122
122
|
provenance: "asserted" | "backtest" | "seed" | "live";
|
|
123
123
|
}>;
|
|
124
124
|
consequence: {
|
|
125
|
+
kind: "property-risk";
|
|
125
126
|
stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
|
|
126
127
|
assertedAt: string;
|
|
127
|
-
kind: "property-risk";
|
|
128
128
|
basis: string;
|
|
129
129
|
auditRef?: string | undefined;
|
|
130
130
|
} | {
|
|
131
|
-
assertedAt: string;
|
|
132
131
|
kind: "not-applicable";
|
|
132
|
+
assertedAt: string;
|
|
133
133
|
reason: string;
|
|
134
134
|
};
|
|
135
135
|
}, {
|
|
@@ -146,14 +146,14 @@ export declare const SPECIAL_DISTRICT_FACT_SCHEMA: z.ZodEffects<z.ZodObject<{
|
|
|
146
146
|
provenance: "asserted" | "backtest" | "seed" | "live";
|
|
147
147
|
}>;
|
|
148
148
|
consequence: {
|
|
149
|
+
kind: "property-risk";
|
|
149
150
|
stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
|
|
150
151
|
assertedAt: string;
|
|
151
|
-
kind: "property-risk";
|
|
152
152
|
basis: string;
|
|
153
153
|
auditRef?: string | undefined;
|
|
154
154
|
} | {
|
|
155
|
-
assertedAt: string;
|
|
156
155
|
kind: "not-applicable";
|
|
156
|
+
assertedAt: string;
|
|
157
157
|
reason: string;
|
|
158
158
|
};
|
|
159
159
|
}>>;
|
|
@@ -220,14 +220,14 @@ export declare const SPECIAL_DISTRICT_FACT_SCHEMA: z.ZodEffects<z.ZodObject<{
|
|
|
220
220
|
provenance: "asserted" | "backtest" | "seed" | "live";
|
|
221
221
|
}>;
|
|
222
222
|
consequence: {
|
|
223
|
+
kind: "property-risk";
|
|
223
224
|
stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
|
|
224
225
|
assertedAt: string;
|
|
225
|
-
kind: "property-risk";
|
|
226
226
|
basis: string;
|
|
227
227
|
auditRef?: string | undefined;
|
|
228
228
|
} | {
|
|
229
|
-
assertedAt: string;
|
|
230
229
|
kind: "not-applicable";
|
|
230
|
+
assertedAt: string;
|
|
231
231
|
reason: string;
|
|
232
232
|
};
|
|
233
233
|
}>;
|
|
@@ -260,14 +260,14 @@ export declare const SPECIAL_DISTRICT_FACT_SCHEMA: z.ZodEffects<z.ZodObject<{
|
|
|
260
260
|
provenance: "asserted" | "backtest" | "seed" | "live";
|
|
261
261
|
}>;
|
|
262
262
|
consequence: {
|
|
263
|
+
kind: "property-risk";
|
|
263
264
|
stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
|
|
264
265
|
assertedAt: string;
|
|
265
|
-
kind: "property-risk";
|
|
266
266
|
basis: string;
|
|
267
267
|
auditRef?: string | undefined;
|
|
268
268
|
} | {
|
|
269
|
-
assertedAt: string;
|
|
270
269
|
kind: "not-applicable";
|
|
270
|
+
assertedAt: string;
|
|
271
271
|
reason: string;
|
|
272
272
|
};
|
|
273
273
|
}>;
|
|
@@ -380,14 +380,14 @@ export declare const SPECIAL_DISTRICT_FACT_SCHEMA: z.ZodEffects<z.ZodObject<{
|
|
|
380
380
|
provenance: "asserted" | "backtest" | "seed" | "live";
|
|
381
381
|
}>;
|
|
382
382
|
consequence: {
|
|
383
|
+
kind: "property-risk";
|
|
383
384
|
stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
|
|
384
385
|
assertedAt: string;
|
|
385
|
-
kind: "property-risk";
|
|
386
386
|
basis: string;
|
|
387
387
|
auditRef?: string | undefined;
|
|
388
388
|
} | {
|
|
389
|
-
assertedAt: string;
|
|
390
389
|
kind: "not-applicable";
|
|
390
|
+
assertedAt: string;
|
|
391
391
|
reason: string;
|
|
392
392
|
};
|
|
393
393
|
}>;
|
|
@@ -458,14 +458,14 @@ export declare const SPECIAL_DISTRICT_FACT_SCHEMA: z.ZodEffects<z.ZodObject<{
|
|
|
458
458
|
provenance: "asserted" | "backtest" | "seed" | "live";
|
|
459
459
|
}>;
|
|
460
460
|
consequence: {
|
|
461
|
+
kind: "property-risk";
|
|
461
462
|
stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
|
|
462
463
|
assertedAt: string;
|
|
463
|
-
kind: "property-risk";
|
|
464
464
|
basis: string;
|
|
465
465
|
auditRef?: string | undefined;
|
|
466
466
|
} | {
|
|
467
|
-
assertedAt: string;
|
|
468
467
|
kind: "not-applicable";
|
|
468
|
+
assertedAt: string;
|
|
469
469
|
reason: string;
|
|
470
470
|
};
|
|
471
471
|
}>;
|
|
@@ -536,14 +536,14 @@ export declare const SPECIAL_DISTRICT_FACT_SCHEMA: z.ZodEffects<z.ZodObject<{
|
|
|
536
536
|
provenance: "asserted" | "backtest" | "seed" | "live";
|
|
537
537
|
}>;
|
|
538
538
|
consequence: {
|
|
539
|
+
kind: "property-risk";
|
|
539
540
|
stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
|
|
540
541
|
assertedAt: string;
|
|
541
|
-
kind: "property-risk";
|
|
542
542
|
basis: string;
|
|
543
543
|
auditRef?: string | undefined;
|
|
544
544
|
} | {
|
|
545
|
-
assertedAt: string;
|
|
546
545
|
kind: "not-applicable";
|
|
546
|
+
assertedAt: string;
|
|
547
547
|
reason: string;
|
|
548
548
|
};
|
|
549
549
|
}>;
|
|
@@ -614,14 +614,14 @@ export declare const SPECIAL_DISTRICT_FACT_SCHEMA: z.ZodEffects<z.ZodObject<{
|
|
|
614
614
|
provenance: "asserted" | "backtest" | "seed" | "live";
|
|
615
615
|
}>;
|
|
616
616
|
consequence: {
|
|
617
|
+
kind: "property-risk";
|
|
617
618
|
stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
|
|
618
619
|
assertedAt: string;
|
|
619
|
-
kind: "property-risk";
|
|
620
620
|
basis: string;
|
|
621
621
|
auditRef?: string | undefined;
|
|
622
622
|
} | {
|
|
623
|
-
assertedAt: string;
|
|
624
623
|
kind: "not-applicable";
|
|
624
|
+
assertedAt: string;
|
|
625
625
|
reason: string;
|
|
626
626
|
};
|
|
627
627
|
}>;
|
|
@@ -100,15 +100,15 @@ export declare const UTILITY_EASEMENT_SCHEMA: z.ZodEffects<z.ZodObject<{
|
|
|
100
100
|
assertedAt: z.ZodString;
|
|
101
101
|
auditRef: z.ZodOptional<z.ZodString>;
|
|
102
102
|
}, "strip", z.ZodTypeAny, {
|
|
103
|
+
kind: "property-risk";
|
|
103
104
|
stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
|
|
104
105
|
assertedAt: string;
|
|
105
|
-
kind: "property-risk";
|
|
106
106
|
basis: string;
|
|
107
107
|
auditRef?: string | undefined;
|
|
108
108
|
}, {
|
|
109
|
+
kind: "property-risk";
|
|
109
110
|
stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
|
|
110
111
|
assertedAt: string;
|
|
111
|
-
kind: "property-risk";
|
|
112
112
|
basis: string;
|
|
113
113
|
auditRef?: string | undefined;
|
|
114
114
|
}>, z.ZodObject<{
|
|
@@ -116,12 +116,12 @@ export declare const UTILITY_EASEMENT_SCHEMA: z.ZodEffects<z.ZodObject<{
|
|
|
116
116
|
reason: z.ZodString;
|
|
117
117
|
assertedAt: z.ZodString;
|
|
118
118
|
}, "strip", z.ZodTypeAny, {
|
|
119
|
-
assertedAt: string;
|
|
120
119
|
kind: "not-applicable";
|
|
120
|
+
assertedAt: string;
|
|
121
121
|
reason: string;
|
|
122
122
|
}, {
|
|
123
|
-
assertedAt: string;
|
|
124
123
|
kind: "not-applicable";
|
|
124
|
+
assertedAt: string;
|
|
125
125
|
reason: string;
|
|
126
126
|
}>]>;
|
|
127
127
|
}, "strip", z.ZodTypeAny, {
|
|
@@ -138,14 +138,14 @@ export declare const UTILITY_EASEMENT_SCHEMA: z.ZodEffects<z.ZodObject<{
|
|
|
138
138
|
provenance: "asserted" | "backtest" | "seed" | "live";
|
|
139
139
|
}>;
|
|
140
140
|
consequence: {
|
|
141
|
+
kind: "property-risk";
|
|
141
142
|
stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
|
|
142
143
|
assertedAt: string;
|
|
143
|
-
kind: "property-risk";
|
|
144
144
|
basis: string;
|
|
145
145
|
auditRef?: string | undefined;
|
|
146
146
|
} | {
|
|
147
|
-
assertedAt: string;
|
|
148
147
|
kind: "not-applicable";
|
|
148
|
+
assertedAt: string;
|
|
149
149
|
reason: string;
|
|
150
150
|
};
|
|
151
151
|
}, {
|
|
@@ -162,14 +162,14 @@ export declare const UTILITY_EASEMENT_SCHEMA: z.ZodEffects<z.ZodObject<{
|
|
|
162
162
|
provenance: "asserted" | "backtest" | "seed" | "live";
|
|
163
163
|
}>;
|
|
164
164
|
consequence: {
|
|
165
|
+
kind: "property-risk";
|
|
165
166
|
stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
|
|
166
167
|
assertedAt: string;
|
|
167
|
-
kind: "property-risk";
|
|
168
168
|
basis: string;
|
|
169
169
|
auditRef?: string | undefined;
|
|
170
170
|
} | {
|
|
171
|
-
assertedAt: string;
|
|
172
171
|
kind: "not-applicable";
|
|
172
|
+
assertedAt: string;
|
|
173
173
|
reason: string;
|
|
174
174
|
};
|
|
175
175
|
}>>;
|
|
@@ -236,14 +236,14 @@ export declare const UTILITY_EASEMENT_SCHEMA: z.ZodEffects<z.ZodObject<{
|
|
|
236
236
|
provenance: "asserted" | "backtest" | "seed" | "live";
|
|
237
237
|
}>;
|
|
238
238
|
consequence: {
|
|
239
|
+
kind: "property-risk";
|
|
239
240
|
stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
|
|
240
241
|
assertedAt: string;
|
|
241
|
-
kind: "property-risk";
|
|
242
242
|
basis: string;
|
|
243
243
|
auditRef?: string | undefined;
|
|
244
244
|
} | {
|
|
245
|
-
assertedAt: string;
|
|
246
245
|
kind: "not-applicable";
|
|
246
|
+
assertedAt: string;
|
|
247
247
|
reason: string;
|
|
248
248
|
};
|
|
249
249
|
}>;
|
|
@@ -276,14 +276,14 @@ export declare const UTILITY_EASEMENT_SCHEMA: z.ZodEffects<z.ZodObject<{
|
|
|
276
276
|
provenance: "asserted" | "backtest" | "seed" | "live";
|
|
277
277
|
}>;
|
|
278
278
|
consequence: {
|
|
279
|
+
kind: "property-risk";
|
|
279
280
|
stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
|
|
280
281
|
assertedAt: string;
|
|
281
|
-
kind: "property-risk";
|
|
282
282
|
basis: string;
|
|
283
283
|
auditRef?: string | undefined;
|
|
284
284
|
} | {
|
|
285
|
-
assertedAt: string;
|
|
286
285
|
kind: "not-applicable";
|
|
286
|
+
assertedAt: string;
|
|
287
287
|
reason: string;
|
|
288
288
|
};
|
|
289
289
|
}>;
|
|
@@ -404,14 +404,14 @@ export declare const UTILITY_EASEMENT_SCHEMA: z.ZodEffects<z.ZodObject<{
|
|
|
404
404
|
provenance: "asserted" | "backtest" | "seed" | "live";
|
|
405
405
|
}>;
|
|
406
406
|
consequence: {
|
|
407
|
+
kind: "property-risk";
|
|
407
408
|
stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
|
|
408
409
|
assertedAt: string;
|
|
409
|
-
kind: "property-risk";
|
|
410
410
|
basis: string;
|
|
411
411
|
auditRef?: string | undefined;
|
|
412
412
|
} | {
|
|
413
|
-
assertedAt: string;
|
|
414
413
|
kind: "not-applicable";
|
|
414
|
+
assertedAt: string;
|
|
415
415
|
reason: string;
|
|
416
416
|
};
|
|
417
417
|
}>;
|
|
@@ -491,14 +491,14 @@ export declare const UTILITY_EASEMENT_SCHEMA: z.ZodEffects<z.ZodObject<{
|
|
|
491
491
|
provenance: "asserted" | "backtest" | "seed" | "live";
|
|
492
492
|
}>;
|
|
493
493
|
consequence: {
|
|
494
|
+
kind: "property-risk";
|
|
494
495
|
stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
|
|
495
496
|
assertedAt: string;
|
|
496
|
-
kind: "property-risk";
|
|
497
497
|
basis: string;
|
|
498
498
|
auditRef?: string | undefined;
|
|
499
499
|
} | {
|
|
500
|
-
assertedAt: string;
|
|
501
500
|
kind: "not-applicable";
|
|
501
|
+
assertedAt: string;
|
|
502
502
|
reason: string;
|
|
503
503
|
};
|
|
504
504
|
}>;
|
|
@@ -578,14 +578,14 @@ export declare const UTILITY_EASEMENT_SCHEMA: z.ZodEffects<z.ZodObject<{
|
|
|
578
578
|
provenance: "asserted" | "backtest" | "seed" | "live";
|
|
579
579
|
}>;
|
|
580
580
|
consequence: {
|
|
581
|
+
kind: "property-risk";
|
|
581
582
|
stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
|
|
582
583
|
assertedAt: string;
|
|
583
|
-
kind: "property-risk";
|
|
584
584
|
basis: string;
|
|
585
585
|
auditRef?: string | undefined;
|
|
586
586
|
} | {
|
|
587
|
-
assertedAt: string;
|
|
588
587
|
kind: "not-applicable";
|
|
588
|
+
assertedAt: string;
|
|
589
589
|
reason: string;
|
|
590
590
|
};
|
|
591
591
|
}>;
|
|
@@ -665,14 +665,14 @@ export declare const UTILITY_EASEMENT_SCHEMA: z.ZodEffects<z.ZodObject<{
|
|
|
665
665
|
provenance: "asserted" | "backtest" | "seed" | "live";
|
|
666
666
|
}>;
|
|
667
667
|
consequence: {
|
|
668
|
+
kind: "property-risk";
|
|
668
669
|
stratum: import("../read-contract/reasoning-axes.js").PropertyRiskStratum;
|
|
669
670
|
assertedAt: string;
|
|
670
|
-
kind: "property-risk";
|
|
671
671
|
basis: string;
|
|
672
672
|
auditRef?: string | undefined;
|
|
673
673
|
} | {
|
|
674
|
-
assertedAt: string;
|
|
675
674
|
kind: "not-applicable";
|
|
675
|
+
assertedAt: string;
|
|
676
676
|
reason: string;
|
|
677
677
|
};
|
|
678
678
|
}>;
|