@proposit/shared 0.12.0 → 0.13.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/dist/engine/mutations/premises.d.ts.map +1 -1
- package/dist/engine/mutations/premises.js +137 -18
- package/dist/engine/mutations/premises.js.map +1 -1
- package/dist/engine/review/evaluation.d.ts +11 -1
- package/dist/engine/review/evaluation.d.ts.map +1 -1
- package/dist/engine/review/evaluation.js +101 -60
- package/dist/engine/review/evaluation.js.map +1 -1
- package/dist/schemas/ingest-argument/index.d.ts +20 -0
- package/dist/schemas/ingest-argument/index.d.ts.map +1 -0
- package/dist/schemas/ingest-argument/index.js +21 -0
- package/dist/schemas/ingest-argument/index.js.map +1 -0
- package/dist/schemas/model/claims.d.ts +22 -2
- package/dist/schemas/model/claims.d.ts.map +1 -1
- package/dist/schemas/model/claims.js +18 -7
- package/dist/schemas/model/claims.js.map +1 -1
- package/dist/schemas/processing-failure.d.ts +2 -0
- package/dist/schemas/processing-failure.d.ts.map +1 -0
- package/dist/schemas/processing-failure.js +22 -0
- package/dist/schemas/processing-failure.js.map +1 -0
- package/package.json +13 -3
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"premises.d.ts","sourceRoot":"","sources":["../../../src/engine/mutations/premises.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACR,gBAAgB,EAChB,qBAAqB,EACrB,sBAAsB,EACtB,gCAAgC,EACnC,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAA;AACpE,OAAO,KAAK,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAA;AAajE,wBAAgB,mBAAmB,CAC/B,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE;IACF,UAAU,EAAE,MAAM,CAAA;IAClB,eAAe,EAAE,MAAM,CAAA;IACvB,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,IAAI,CAAA;IACf,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;IACpB,IAAI,EAAE,gBAAgB,CAAA;CACzB,GACF;IAAE,OAAO,EAAE,qBAAqB,CAAC;IAAC,OAAO,EAAE,gBAAgB,CAAA;CAAE,
|
|
1
|
+
{"version":3,"file":"premises.d.ts","sourceRoot":"","sources":["../../../src/engine/mutations/premises.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACR,gBAAgB,EAChB,qBAAqB,EACrB,sBAAsB,EACtB,gCAAgC,EACnC,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAA;AACpE,OAAO,KAAK,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAA;AAajE,wBAAgB,mBAAmB,CAC/B,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE;IACF,UAAU,EAAE,MAAM,CAAA;IAClB,eAAe,EAAE,MAAM,CAAA;IACvB,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,IAAI,CAAA;IACf,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;IACpB,IAAI,EAAE,gBAAgB,CAAA;CACzB,GACF;IAAE,OAAO,EAAE,qBAAqB,CAAC;IAAC,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAmE/D;AAED,wBAAgB,uBAAuB,CACnC,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,gBAAgB,GAC1B;IAAE,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAgH/B;AAwBD,wBAAgB,yBAAyB,CACrC,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC;IAAE,OAAO,EAAE,qBAAqB,CAAC;IAAC,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAO/D;AAED,wBAAgB,mBAAmB,CAC/B,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,GAClB;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAGjD;AAID;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,wBAAgB,6BAA6B,CACzC,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE;IACF,UAAU,EAAE,MAAM,CAAA;IAClB,eAAe,EAAE,MAAM,CAAA;IACvB,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,IAAI,CAAA;IACf,cAAc,EAAE,MAAM,CAAA;IACtB,oBAAoB,CAAC,EAAE,MAAM,CAAA;IAC7B,4BAA4B,CAAC,EAAE,MAAM,CAAA;IACrC,sBAAsB,EAAE,MAAM,CAAA;CACjC,GACF;IACC,OAAO,EAAE,qBAAqB,CAAA;IAC9B,kBAAkB,EAAE,sBAAsB,CAAA;IAC1C,oBAAoB,EAAE,gCAAgC,CAAA;IACtD,OAAO,EAAE,gBAAgB,CAAA;CAC5B,CA4KA;AAED;;;;;;;GAOG;AACH,wBAAgB,yBAAyB,CACrC,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,GAClB;IAAE,OAAO,EAAE,gBAAgB,CAAA;CAAE,CA+H/B;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,wBAAgB,+BAA+B,CAC3C,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,EACjB,kBAAkB,EAAE,MAAM,EAAE,GAC7B;IAAE,OAAO,EAAE,gBAAgB,CAAA;CAAE,CA6L/B;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,wBAAgB,2BAA2B,CACvC,MAAM,EAAE,aAAa,EACrB,mBAAmB,EAAE,MAAM,EAC3B,cAAc,EAAE,eAAe,GAChC;IAAE,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAqI/B"}
|
|
@@ -26,20 +26,40 @@ export function mutateCreatePremise(engine, premiseId, data) {
|
|
|
26
26
|
allChanges = mergeChangesets(changes, roleChanges);
|
|
27
27
|
}
|
|
28
28
|
else if (engine.getConclusionPremise()?.getId() === premiseId) {
|
|
29
|
-
// Caller requested
|
|
30
|
-
//
|
|
31
|
-
//
|
|
29
|
+
// Caller requested a non-conclusion role for the first premise of
|
|
30
|
+
// a new argument. Core's `createPremiseWithId` unconditionally
|
|
31
|
+
// auto-assigns the first premise as conclusion (the
|
|
32
|
+
// "auto-conclusion assignment" rule), and core@1.0.2's E-7
|
|
33
|
+
// invariant ("a non-empty argument always has a conclusion
|
|
34
|
+
// designated") makes `engine.clearConclusionPremise()` a no-op
|
|
35
|
+
// when premises exist — so the helper cannot undo the
|
|
36
|
+
// auto-assignment. The previous implementation called
|
|
37
|
+
// `clearConclusionPremise()` here and let `extras.role` retain
|
|
38
|
+
// the caller's requested value, which silently desynced the
|
|
39
|
+
// engine's `conclusionPremiseId` slot (still pointing at this
|
|
40
|
+
// premise) from `extras.role` (set to "supporting"). That drift
|
|
41
|
+
// is exactly the role-state-vs-extras gap this helper layer
|
|
42
|
+
// exists to prevent.
|
|
32
43
|
//
|
|
33
|
-
//
|
|
34
|
-
//
|
|
35
|
-
//
|
|
36
|
-
//
|
|
37
|
-
//
|
|
38
|
-
//
|
|
39
|
-
//
|
|
40
|
-
//
|
|
41
|
-
const { changes:
|
|
42
|
-
|
|
44
|
+
// Sync `extras.role` to "conclusion" to match the engine's
|
|
45
|
+
// auto-assigned designation. The helper's contract becomes:
|
|
46
|
+
// "the first premise of a brand-new argument is always conclusion,
|
|
47
|
+
// regardless of the caller-requested role — both at the engine
|
|
48
|
+
// slot AND in `extras.role`." Symmetric with slice 1E.A's
|
|
49
|
+
// `mutateUpdatePremiseRole` demote refusal: when the engine's
|
|
50
|
+
// invariants are incompatible with the caller's exact intent,
|
|
51
|
+
// surface the actual outcome rather than half-apply.
|
|
52
|
+
const { changes: extrasChanges } = syncPremiseExtrasRole(engine, premiseId, "conclusion");
|
|
53
|
+
// `syncPremiseExtrasRole` routes through `updateExtras` which marks
|
|
54
|
+
// the premise as `modified` in its changeset. The outer
|
|
55
|
+
// `engine.createPremiseWithId(...)` already added the premise in
|
|
56
|
+
// its own changeset — the same id appearing in both `added` and
|
|
57
|
+
// `modified` trips `mergeChangesets`'s single-bucket invariant.
|
|
58
|
+
// Drop the redundant `modified` entry so the merged result carries
|
|
59
|
+
// only the `added` row (whose data reflects the final post-sync
|
|
60
|
+
// state, since `updateExtras` mutated the same in-memory premise).
|
|
61
|
+
const cleanedExtrasChanges = withoutPremiseModifications(extrasChanges, premiseId);
|
|
62
|
+
allChanges = mergeChangesets(changes, cleanedExtrasChanges);
|
|
43
63
|
}
|
|
44
64
|
return {
|
|
45
65
|
premise: pm.toPremiseData(),
|
|
@@ -47,16 +67,115 @@ export function mutateCreatePremise(engine, premiseId, data) {
|
|
|
47
67
|
};
|
|
48
68
|
}
|
|
49
69
|
export function mutateUpdatePremiseRole(engine, premiseId, newRole) {
|
|
70
|
+
// `engine.setConclusionPremise(id)` / `engine.clearConclusionPremise()`
|
|
71
|
+
// only mutate the engine's `conclusionPremiseId` slot — they don't touch
|
|
72
|
+
// the affected premise's `extras.role`. Without this sync, callers that
|
|
73
|
+
// persist the engine's premise data after a role change would write a
|
|
74
|
+
// stale `role` field to storage (matching the server-side cycle-5
|
|
75
|
+
// workaround at proposit-server/src/model/logic.ts:1318 ff.). Lift the
|
|
76
|
+
// sync inside the mutation helper so every consumer — server, mobile,
|
|
77
|
+
// tests — gets a self-consistent in-memory model after the call returns.
|
|
78
|
+
//
|
|
79
|
+
// Three sync sites:
|
|
80
|
+
// 1. The target premise's `extras.role` matches `newRole`.
|
|
81
|
+
// 2. (Promotion-only) The prior conclusion's `extras.role` is demoted
|
|
82
|
+
// to "supporting" — `setConclusionPremise(newId)` implicitly
|
|
83
|
+
// replaces the old conclusion at the role-state slot, but leaves
|
|
84
|
+
// its extras-bag stale at "conclusion".
|
|
85
|
+
// 3. (Demotion-only) The target premise is what we're clearing, so
|
|
86
|
+
// sync site 1 covers it; no other premise needs touching.
|
|
87
|
+
// No-op short-circuit (followups-sweep-2026-05 C bundle P2 fold):
|
|
88
|
+
// when the engine's role-state AND the premise's `extras.role` already
|
|
89
|
+
// both match the requested role, every downstream call below would emit
|
|
90
|
+
// a redundant changeset entry — `setConclusionPremise(currentConclusion)`
|
|
91
|
+
// re-emits a `roles` entry unconditionally, and `syncPremiseExtrasRole`
|
|
92
|
+
// routes through core's `setExtras` which always `markDirty()`s + emits
|
|
93
|
+
// `modifiedPremise` regardless of value equality. Skipping the work
|
|
94
|
+
// here keeps the helper a true no-op when called with the premise's
|
|
95
|
+
// current role, so downstream consumers (`persistChangeset` writing the
|
|
96
|
+
// row, engine cache invalidation, UI subscribers) don't fire on every
|
|
97
|
+
// redundant call. Self-consistency is the qualifier: if `extras.role`
|
|
98
|
+
// has drifted from the engine's role-state slot (the entire reason this
|
|
99
|
+
// helper exists), fall through and let the sync repair the drift.
|
|
100
|
+
const existingPremise = engine.getPremise(premiseId);
|
|
101
|
+
if (existingPremise) {
|
|
102
|
+
const isCurrentlyConclusion = engine.getConclusionPremise()?.getId() === premiseId;
|
|
103
|
+
const wantsConclusion = newRole === "conclusion";
|
|
104
|
+
const existingExtrasRole = existingPremise.toPremiseData().role;
|
|
105
|
+
if (isCurrentlyConclusion === wantsConclusion &&
|
|
106
|
+
existingExtrasRole === newRole) {
|
|
107
|
+
return { changes: {} };
|
|
108
|
+
}
|
|
109
|
+
}
|
|
50
110
|
if (newRole === "conclusion") {
|
|
51
|
-
const
|
|
52
|
-
|
|
111
|
+
const collected = [];
|
|
112
|
+
const priorConclusion = engine.getConclusionPremise();
|
|
113
|
+
if (priorConclusion && priorConclusion.getId() !== premiseId) {
|
|
114
|
+
const { changes: priorExtrasChanges } = syncPremiseExtrasRole(engine, priorConclusion.getId(), "supporting");
|
|
115
|
+
collected.push(priorExtrasChanges);
|
|
116
|
+
}
|
|
117
|
+
const { changes: roleChanges } = engine.setConclusionPremise(premiseId);
|
|
118
|
+
collected.push(roleChanges);
|
|
119
|
+
const { changes: extrasChanges } = syncPremiseExtrasRole(engine, premiseId, "conclusion");
|
|
120
|
+
collected.push(extrasChanges);
|
|
121
|
+
return { changes: collected.reduce(mergeChangesets, {}) };
|
|
53
122
|
}
|
|
54
123
|
const currentConclusion = engine.getConclusionPremise();
|
|
55
124
|
if (currentConclusion?.getId() === premiseId) {
|
|
56
|
-
|
|
57
|
-
|
|
125
|
+
// E-7 invariant (core@^1.0.2): a non-empty argument always has a
|
|
126
|
+
// conclusion designated. Demoting the current conclusion in place
|
|
127
|
+
// would leave the argument conclusion-less mid-mutation, which the
|
|
128
|
+
// engine forbids — `engine.clearConclusionPremise()` is a no-op
|
|
129
|
+
// when premises exist (it returns the current role state unchanged
|
|
130
|
+
// with an empty changeset). Calling it here and chasing with
|
|
131
|
+
// `syncPremiseExtrasRole(..., "supporting")` would silently desync
|
|
132
|
+
// `extras.role` from the engine's role-state slot (the engine
|
|
133
|
+
// keeps the premise as conclusion, but extras now says
|
|
134
|
+
// supporting) — exactly the drift this helper was created to
|
|
135
|
+
// prevent. The legitimate way to swap the conclusion on a non-
|
|
136
|
+
// empty argument is to promote a different premise via
|
|
137
|
+
// `mutateUpdatePremiseRole(otherId, "conclusion")`, which
|
|
138
|
+
// atomically replaces the conclusion designation at the role-state
|
|
139
|
+
// slot AND syncs both premises' extras-roles in one shot.
|
|
140
|
+
//
|
|
141
|
+
// Throw with core's `InvariantViolationError` so server route
|
|
142
|
+
// handlers can map this to a 409 Conflict and surface a clear
|
|
143
|
+
// message to the user (matches the Proposit "no changes without
|
|
144
|
+
// consent" principle: refuse and explain rather than half-apply).
|
|
145
|
+
throw new InvariantViolationError([
|
|
146
|
+
{
|
|
147
|
+
code: "ARGUMENT_NO_CONCLUSION",
|
|
148
|
+
message: "Cannot demote the current conclusion premise in place — a non-empty argument must always have a conclusion designated (E-7). Promote a different premise to conclusion instead, which atomically replaces the designation.",
|
|
149
|
+
entityType: "premise",
|
|
150
|
+
entityId: premiseId,
|
|
151
|
+
premiseId,
|
|
152
|
+
},
|
|
153
|
+
]);
|
|
58
154
|
}
|
|
59
|
-
|
|
155
|
+
// The premise is already in the requested role-state. Still sync the
|
|
156
|
+
// extras-bag in case a prior caller's update left `extras.role`
|
|
157
|
+
// mismatched with the engine's role-state slot (defense in depth — the
|
|
158
|
+
// role-state-vs-extras gap is the entire reason this helper exists).
|
|
159
|
+
const { changes: extrasChanges } = syncPremiseExtrasRole(engine, premiseId, newRole);
|
|
160
|
+
return { changes: extrasChanges };
|
|
161
|
+
}
|
|
162
|
+
/**
|
|
163
|
+
* Sets `extras.role` to `role` on the named premise. Used by
|
|
164
|
+
* `mutateUpdatePremiseRole` to keep `extras.role` in sync with the engine's
|
|
165
|
+
* `conclusionPremiseId` slot. Returns the standard `{ changes }` shape so
|
|
166
|
+
* callers can merge into their own changeset.
|
|
167
|
+
*
|
|
168
|
+
* Returns `{ changes: {} }` when the premise doesn't exist — keeping the
|
|
169
|
+
* surface lenient mirrors `mutateUpdatePremiseRole`'s "no-op when
|
|
170
|
+
* already-in-state" branch and matches the server's update-premise route
|
|
171
|
+
* which checks existence before delegating.
|
|
172
|
+
*/
|
|
173
|
+
function syncPremiseExtrasRole(engine, premiseId, role) {
|
|
174
|
+
const pe = engine.getPremise(premiseId);
|
|
175
|
+
if (!pe)
|
|
176
|
+
return { changes: {} };
|
|
177
|
+
const { changes } = pe.updateExtras({ role });
|
|
178
|
+
return { changes };
|
|
60
179
|
}
|
|
61
180
|
export function mutateUpdatePremiseExtras(engine, premiseId, updates) {
|
|
62
181
|
const pm = engine.getPremise(premiseId);
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"premises.js","sourceRoot":"","sources":["../../../src/engine/mutations/premises.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAA;AASjE,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AAE5C,+EAA+E;AAC/E,0EAA0E;AAC1E,+EAA+E;AAC/E,wEAAwE;AACxE,2EAA2E;AAC3E,8EAA8E;AAC9E,oDAAoD;AACpD,MAAM,wBAAwB,GAAG,0BAA0B,CAAA;AAC3D,MAAM,+BAA+B,GAAG,iCAAiC,CAAA;AAEzE,MAAM,UAAU,mBAAmB,CAC/B,MAAqB,EACrB,SAAiB,EACjB,IAOC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,MAAM,CAAC,oBAAoB,EAAE,EAAE,CAAC;QAC9D,MAAM,IAAI,KAAK,CACX,+DAA+D,CAClE,CAAA;IACL,CAAC;IAED,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,mBAAmB,CAAC,SAAS,EAAE;QAClE,IAAI,EAAE,UAAU;QAChB,MAAM,EAAE,IAAI;KACf,CAAC,CAAA;IAEF,IAAI,UAAU,GAAG,OAAO,CAAA;IACxB,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC7B,mEAAmE;QACnE,iEAAiE;QACjE,yCAAyC;QACzC,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,MAAM,CAAC,oBAAoB,CAAC,SAAS,CAAC,CAAA;QACvE,UAAU,GAAG,eAAe,CAAC,OAAO,EAAE,WAAW,CAAC,CAAA;IACtD,CAAC;SAAM,IAAI,MAAM,CAAC,oBAAoB,EAAE,EAAE,KAAK,EAAE,KAAK,SAAS,EAAE,CAAC;QAC9D,8DAA8D;QAC9D,8DAA8D;QAC9D,2DAA2D;QAC3D,EAAE;QACF,+DAA+D;QAC/D,2DAA2D;QAC3D,iEAAiE;QACjE,iEAAiE;QACjE,+DAA+D;QAC/D,6DAA6D;QAC7D,4DAA4D;QAC5D,WAAW;QACX,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,GAAG,MAAM,CAAC,sBAAsB,EAAE,CAAA;QACjE,UAAU,GAAG,eAAe,CAAC,OAAO,EAAE,YAAY,CAAC,CAAA;IACvD,CAAC;IAED,OAAO;QACH,OAAO,EAAE,EAAE,CAAC,aAAa,EAAE;QAC3B,OAAO,EAAE,UAAU;KACtB,CAAA;AACL,CAAC;AAED,MAAM,UAAU,uBAAuB,CACnC,MAAqB,EACrB,SAAiB,EACjB,OAAyB;IAEzB,IAAI,OAAO,KAAK,YAAY,EAAE,CAAC;QAC3B,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,oBAAoB,CAAC,SAAS,CAAC,CAAA;QAC1D,OAAO,EAAE,OAAO,EAAE,CAAA;IACtB,CAAC;IAED,MAAM,iBAAiB,GAAG,MAAM,CAAC,oBAAoB,EAAE,CAAA;IACvD,IAAI,iBAAiB,EAAE,KAAK,EAAE,KAAK,SAAS,EAAE,CAAC;QAC3C,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,sBAAsB,EAAE,CAAA;QACnD,OAAO,EAAE,OAAO,EAAE,CAAA;IACtB,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;AAC1B,CAAC;AAED,MAAM,UAAU,yBAAyB,CACrC,MAAqB,EACrB,SAAiB,EACjB,OAAgC;IAEhC,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;IACvC,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,WAAW,SAAS,YAAY,CAAC,CAAA;IACrD,CAAC;IACD,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,CAAA;IAC5C,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC,aAAa,EAAE,EAAE,OAAO,EAAE,CAAA;AACnD,CAAC;AAED,MAAM,UAAU,mBAAmB,CAC/B,MAAqB,EACrB,SAAiB;IAEjB,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,CAAA;IAC3D,OAAO,EAAE,OAAO,EAAE,MAAM,KAAK,SAAS,EAAE,OAAO,EAAE,CAAA;AACrD,CAAC;AAED,8EAA8E;AAE9E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,MAAM,UAAU,6BAA6B,CACzC,MAAqB,EACrB,SAAiB,EACjB,IASC;IAOD,sDAAsD;IACtD,MAAM,QAAQ,GAAG,IAAI,CAAC,oBAAoB,IAAI,IAAI,CAAA;IAClD,MAAM,SAAS,GAAG,IAAI,CAAC,4BAA4B,IAAI,IAAI,CAAA;IAC3D,IAAI,QAAQ,IAAI,SAAS,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CACX,kIAAkI,CACrI,CAAA;IACL,CAAC;IACD,IAAI,CAAC,QAAQ,IAAI,CAAC,SAAS,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CACX,+HAA+H,CAClI,CAAA;IACL,CAAC;IACD,IAAI,SAAS,EAAE,CAAC;QACZ,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,4BAA6B,CAAC,CAAA;QACvE,IAAI,CAAC,QAAQ,EAAE,CAAC;YACZ,MAAM,IAAI,KAAK,CACX,+DAA+D,IAAI,CAAC,4BAA4B,sBAAsB,CACzH,CAAA;QACL,CAAC;QACD,IAAI,CAAC,CAAC,SAAS,IAAI,QAAQ,CAAC,EAAE,CAAC;YAC3B,MAAM,IAAI,KAAK,CACX,+DAA+D,IAAI,CAAC,4BAA4B,qBAAqB,CACxH,CAAA;QACL,CAAC;QACD,IAAI,QAAQ,CAAC,OAAO,KAAK,IAAI,CAAC,cAAc,EAAE,CAAC;YAC3C,MAAM,IAAI,KAAK,CACX,+DAA+D,IAAI,CAAC,4BAA4B,sBAAsB,QAAQ,CAAC,OAAO,6BAA6B,IAAI,CAAC,cAAc,EAAE,CAC3L,CAAA;QACL,CAAC;IACL,CAAC;IAED,uEAAuE;IACvE,qEAAqE;IACrE,wEAAwE;IACxE,qDAAqD;IACrD,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC,mBAAmB,CACtE,SAAS,EACT;QACI,IAAI,EAAE,YAAY;QAClB,cAAc,EAAE,IAAI,CAAC,cAAc;QACnC,MAAM,EAAE;YACJ,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,IAAI,EAAE,YAAqB;SAC9B;KACJ,CACJ,CAAA;IAED,0EAA0E;IAC1E,wEAAwE;IACxE,MAAM,eAAe,GAAG,EAAE,CAAC,cAAc,EAAE,CAAA;IAC3C,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CACX,oFAAoF,eAAe,CAAC,MAAM,EAAE,CAC/G,CAAA;IACL,CAAC;IACD,MAAM,QAAQ,GAAG,eAAe,CAAC,CAAC,CAAC,CAAA;IACnC,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,IAAI,QAAQ,CAAC,UAAU,IAAI,IAAI,EAAE,CAAC;QAC9D,MAAM,IAAI,KAAK,CACX,6FAA6F,CAChG,CAAA;IACL,CAAC;IACD,MAAM,SAAS,GAAG,QAAQ,CAAC,UAAU,CAAA;IACrC,MAAM,OAAO,GAAG,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,CAAA;IAC7C,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC,SAAS,IAAI,OAAO,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,KAAK,CACX,oFAAoF,CACvF,CAAA;IACL,CAAC;IAED,0EAA0E;IAC1E,2EAA2E;IAC3E,yEAAyE;IACzE,0CAA0C;IAC1C,EAAE;IACF,gDAAgD;IAChD,wEAAwE;IACxE,0EAA0E;IAC1E,sBAAsB;IACtB,0EAA0E;IAC1E,wEAAwE;IACxE,gEAAgE;IAChE,uEAAuE;IACvE,qCAAqC;IACrC,EAAE,CAAC,gBAAgB,CAAC,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC,CAAA;IAEtC,IAAI,kBAA0C,CAAA;IAC9C,IAAI,yBAA2C,CAAA;IAC/C,IAAI,+BAAuC,CAAA;IAC3C,IAAI,QAAQ,EAAE,CAAC;QACX,MAAM,CAAC,cAAc,CAAC,SAAS,CAAC,CAAA;QAChC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,WAAW,CAAC;YAC3C,EAAE,EAAE,IAAI,CAAC,oBAAqB;YAC9B,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,eAAe,EAAE,IAAI,CAAC,eAAe;YACrC,OAAO,EAAE,IAAI,CAAC,cAAc;YAC5B,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,SAAS,EAAE,IAAI,CAAC,SAAS;SACgB,CAAC,CAAA;QAC9C,kBAAkB,GAAG,MAAM,CAAA;QAC3B,yBAAyB,GAAG,OAAO,CAAA;QACnC,+BAA+B,GAAG,IAAI,CAAC,oBAAqB,CAAA;IAChE,CAAC;SAAM,CAAC;QACJ,kEAAkE;QAClE,uEAAuE;QACvE,wEAAwE;QACxE,IAAI,SAAS,KAAK,IAAI,CAAC,4BAA4B,EAAE,CAAC;YAClD,MAAM,IAAI,KAAK,CACX,wFAAwF,SAAS,uBAAuB,IAAI,CAAC,cAAc,0CAA0C,IAAI,CAAC,4BAA4B,EAAE,CAC3N,CAAA;QACL,CAAC;QACD,kBAAkB,GAAG,OAAiC,CAAA;QACtD,yBAAyB,GAAG,EAAE,CAAA;QAC9B,+BAA+B,GAAG,IAAI,CAAC,4BAA6B,CAAA;IACxE,CAAC;IAED,MAAM,EAAE,MAAM,EAAE,oBAAoB,EAAE,OAAO,EAAE,cAAc,EAAE,GAC3D,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE;QACtB,EAAE,EAAE,IAAI,CAAC,sBAAsB;QAC/B,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,eAAe,EAAE,IAAI,CAAC,eAAe;QACrC,SAAS;QACT,QAAQ,EAAE,IAAI;QACd,IAAI,EAAE,UAAU;QAChB,UAAU,EAAE,+BAA+B;QAC3C,QAAQ,EAAE,IAAI;QACd,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,SAAS,EAAE,IAAI,CAAC,SAAS;KACiB,CAAC,CAAA;IAEnD,sEAAsE;IACtE,gEAAgE;IAChE,yEAAyE;IACzE,sDAAsD;IACtD,EAAE;IACF,qEAAqE;IACrE,oEAAoE;IACpE,sEAAsE;IACtE,sEAAsE;IACtE,2DAA2D;IAC3D,mEAAmE;IACnE,+CAA+C;IAC/C,MAAM,sBAAsB,GAAG,yBAAyB,CACpD,eAAe,CAAC,cAAc,EAAE;QAC5B,WAAW,EAAE,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;QACjC,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;KACxC,CAAC,CACL,CAAA;IACD,MAAM,4BAA4B,GAAG,2BAA2B,CAC5D,yBAAyB,EACzB,SAAS,CACZ,CAAA;IACD,MAAM,6BAA6B,GAAG,2BAA2B,CAC7D,cAAc,EACd,SAAS,CACZ,CAAA;IAED,MAAM,UAAU,GAAG,eAAe,CAC9B,eAAe,CAAC,sBAAsB,EAAE,4BAA4B,CAAC,EACrE,6BAA6B,CAChC,CAAA;IAED,OAAO;QACH,OAAO,EAAE,EAAE,CAAC,aAAa,EAAE;QAC3B,kBAAkB;QAClB,oBAAoB;QACpB,OAAO,EAAE,UAAU;KACtB,CAAA;AACL,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,yBAAyB,CACrC,MAAqB,EACrB,SAAiB;IAEjB,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;IACvC,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,WAAW,SAAS,YAAY,CAAC,CAAA;IACrD,CAAC;IACD,MAAM,WAAW,GAAG,EAAE,CAAC,aAAa,EAAE,CAAA;IACtC,IAAI,WAAW,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACpC,MAAM,IAAI,uBAAuB,CAAC;YAC9B;gBACI,IAAI,EAAE,wBAAwB;gBAC9B,OAAO,EAAE,GAAG,wBAAwB,aAAa,SAAS,sCAAsC,WAAW,CAAC,IAAI,IAAI,UAAU,GAAG;gBACjI,UAAU,EAAE,SAAS;gBACrB,QAAQ,EAAE,SAAS;gBACnB,SAAS;aACZ;SACJ,CAAC,CAAA;IACN,CAAC;IAED,MAAM,UAAU,GAAG,EAAE,CAAC,mBAAmB,EAAE,CAAA;IAC3C,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;IACpD,MAAM,IAAI,GAAG,EAAE,CAAC,aAAa,CAAC,UAAU,CAAC,CAAA;IACzC,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;IAEjC,yEAAyE;IACzE,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;IAEpD,yEAAyE;IACzE,yCAAyC;IACzC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC1D,MAAM,IAAI,KAAK,CACX,+DAA+D,SAAS,wCAAwC,IAAI,CAAC,IAAI,IACrH,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAC/C,EAAE,CACL,CAAA;IACL,CAAC;IAED,MAAM,YAAY,GAAG,EAAE;SAClB,mBAAmB,CAAC,UAAU,CAAC;SAC/B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAA;IAC5C,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CACX,+CAA+C,YAAY,CAAC,MAAM,uBAAuB,CAC5F,CAAA;IACL,CAAC;IACD,MAAM,UAAU,GAAG,YAAY,CAAC,CAAC,CAAC,CAAA;IAClC,MAAM,UAAU,GAAG,YAAY,CAAC,CAAC,CAAC,CAAA;IAClC,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CACX,0GAA0G,CAC7G,CAAA;IACL,CAAC;IAED,0EAA0E;IAC1E,mEAAmE;IACnE,aAAa;IACb,kEAAkE;IAClE,qEAAqE;IACrE,sEAAsE;IACtE,yEAAyE;IACzE,0EAA0E;IAC1E,4EAA4E;IAC5E,4BAA4B;IAC5B,MAAM,mBAAmB,GAAa,EAAE,CAAA;IACxC,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACjC,IAAI,UAAU,CAAC,UAAU,IAAI,IAAI,EAAE,CAAC;YAChC,mBAAmB,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAA;QACnD,CAAC;IACL,CAAC;SAAM,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,IAAI,UAAU,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;QACxE,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,mBAAmB,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC;YACxD,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,UAAU,IAAI,IAAI,EAAE,CAAC;gBACxD,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAA;YAC9C,CAAC;QACL,CAAC;IACL,CAAC;SAAM,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACvC,MAAM,eAAe,GAAG,EAAE,CAAC,mBAAmB,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;QAC7D,IACI,eAAe,CAAC,MAAM,KAAK,CAAC;YAC5B,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU;YACtC,eAAe,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,EACtC,CAAC;YACC,MAAM,IAAI,KAAK,CACX,0FAA0F,SAAS,EAAE,CACxG,CAAA;QACL,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,mBAAmB,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;YAChE,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,UAAU,IAAI,IAAI,EAAE,CAAC;gBACxD,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAA;YAC9C,CAAC;QACL,CAAC;IACL,CAAC;SAAM,CAAC;QACJ,MAAM,IAAI,KAAK,CACX,sEAAsE,SAAS,EAAE,CACpF,CAAA;IACL,CAAC;IAED,MAAM,SAAS,GAAuB,EAAE,CAAA;IAExC,2EAA2E;IAC3E,4EAA4E;IAC5E,uEAAuE;IACvE,2DAA2D;IAC3D,MAAM,EAAE,OAAO,EAAE,uBAAuB,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAC5D,UAAU,CAAC,EAAE,EACb,IAAI,CACP,CAAA;IACD,SAAS,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAA;IAEvC,uEAAuE;IACvE,yEAAyE;IACzE,yEAAyE;IACzE,uEAAuE;IACvE,MAAM,EAAE,OAAO,EAAE,oBAAoB,EAAE,GAAG,EAAE,CAAC,gBAAgB,CACzD,UAAU,EACV,KAAK,CACR,CAAA;IACD,SAAS,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAA;IAEpC,iEAAiE;IACjE,wEAAwE;IACxE,oEAAoE;IACpE,4CAA4C;IAC5C,KAAK,MAAM,KAAK,IAAI,mBAAmB,EAAE,CAAC;QACtC,MAAM,EAAE,OAAO,EAAE,gBAAgB,EAAE,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAA;QAClE,SAAS,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAA;IACpC,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,sBAAsB,CAAC,SAAS,CAAC,EAAE,CAAA;AACzD,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,MAAM,UAAU,+BAA+B,CAC3C,MAAqB,EACrB,SAAiB,EACjB,kBAA4B;IAE5B,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;IACvC,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,WAAW,SAAS,YAAY,CAAC,CAAA;IACrD,CAAC;IACD,MAAM,WAAW,GAAG,EAAE,CAAC,aAAa,EAAE,CAAA;IACtC,IAAI,WAAW,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACpC,MAAM,IAAI,uBAAuB,CAAC;YAC9B;gBACI,IAAI,EAAE,wBAAwB;gBAC9B,OAAO,EAAE,GAAG,wBAAwB,aAAa,SAAS,sCAAsC,WAAW,CAAC,IAAI,IAAI,UAAU,GAAG;gBACjI,UAAU,EAAE,SAAS;gBACrB,QAAQ,EAAE,SAAS;gBACnB,SAAS;aACZ;SACJ,CAAC,CAAA;IACN,CAAC;IAED,MAAM,UAAU,GAAG,EAAE,CAAC,mBAAmB,EAAE,CAAA;IAC3C,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CACX,4CAA4C,SAAS,yBAAyB,CACjF,CAAA;IACL,CAAC;IACD,MAAM,IAAI,GAAG,EAAE,CAAC,aAAa,CAAC,UAAU,CAAC,CAAA;IACzC,IAAI,CAAC,IAAI,EAAE,CAAC;QACR,MAAM,IAAI,KAAK,CACX,oDAAoD,UAAU,yBAAyB,SAAS,EAAE,CACrG,CAAA;IACL,CAAC;IAED,uEAAuE;IACvE,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC3B,MAAM,IAAI,uBAAuB,CAAC;YAC9B;gBACI,IAAI,EAAE,+BAA+B;gBACrC,OAAO,EAAE,GAAG,+BAA+B,wBAAwB,SAAS,qCAAqC;gBACjH,UAAU,EAAE,SAAS;gBACrB,QAAQ,EAAE,SAAS;gBACnB,SAAS;aACZ;SACJ,CAAC,CAAA;IACN,CAAC;IACD,IAAI,kBAAkB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;IAE3D,MAAM,cAAc,GAAG,IAAI,CAAA;IAC3B,IAAI,cAAc,CAAC,UAAU,IAAI,IAAI,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CACX,mFAAmF,CACtF,CAAA;IACL,CAAC;IACD,MAAM,UAAU,GAAG;QACf,UAAU,EAAE,cAAc,CAAC,UAAU;QACrC,eAAe,EAAE,cAAc,CAAC,eAAe;QAC/C,SAAS;QACT,SAAS,EAAE,cAAc,CAAC,SAAS;QACnC,SAAS,EAAE,cAAc,CAAC,SAAS;KACtC,CAAA;IAED,MAAM,SAAS,GAAuB,EAAE,CAAA;IAExC,2EAA2E;IAC3E,sEAAsE;IACtE,6DAA6D;IAC7D,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACvE,MAAM,eAAe,GAA6B,EAAE,CAAA;IACpD,KAAK,MAAM,iBAAiB,IAAI,kBAAkB,EAAE,CAAC;QACjD,MAAM,CAAC,GAAG,MAAM,CAAC,wBAAwB,CAAC,iBAAiB,CAAC,CAAA;QAC5D,eAAe,CAAC,IAAI,CAAC,CAAsC,CAAC,CAAA;IAChE,CAAC;IACD,MAAM,mBAAmB,GAAG,eAAe,CAAC,MAAM,CAC9C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CACpC,CAAA;IACD,IAAI,mBAAmB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,SAAS,CAAC,IAAI,CAAC;YACX,SAAS,EAAE;gBACP,KAAK,EAAE,mBAAmB;gBAC1B,QAAQ,EAAE,EAAE;gBACZ,OAAO,EAAE,EAAE;aACd;SACJ,CAAC,CAAA;IACN,CAAC;IAED,oEAAoE;IACpE,2EAA2E;IAC3E,sEAAsE;IACtE,sEAAsE;IACtE,mEAAmE;IACnE,iCAAiC;IACjC,EAAE;IACF,uEAAuE;IACvE,qEAAqE;IACrE,uEAAuE;IACvE,qEAAqE;IACrE,4DAA4D;IAC5D,8DAA8D;IAC9D,EAAE;IACF,uEAAuE;IACvE,qEAAqE;IACrE,kEAAkE;IAClE,qEAAqE;IACrE,qEAAqE;IACrE,iEAAiE;IACjE,oEAAoE;IACpE,mBAAmB;IACnB,EAAE;IACF,mEAAmE;IACnE,2DAA2D;IAC3D,uEAAuE;IACvE,qEAAqE;IACrE,kEAAkE;IAClE,mEAAmE;IACnE,wEAAwE;IACxE,uEAAuE;IACvE,sEAAsE;IACtE,uEAAuE;IACvE,mEAAmE;IACnE,wCAAwC;IACxC,EAAE;IACF,gEAAgE;IAChE,qEAAqE;IACrE,mEAAmE;IACnE,MAAM,SAAS,GAAG,UAAU,EAAE,CAAA;IAC9B,MAAM,SAAS,GAAG;QACd,EAAE,EAAE,SAAS;QACb,GAAG,UAAU;QACb,QAAQ,EAAE,IAAI;QACd,IAAI,EAAE,UAAmB;QACzB,QAAQ,EAAE,SAAkB;QAC5B,UAAU,EAAE,IAAI;KACnB,CAAA;IACD,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG;YACZ,EAAE,EAAE,UAAU,EAAE;YAChB,GAAG,UAAU;YACb,QAAQ,EAAE,IAAI,EAAE,wCAAwC;YACxD,IAAI,EAAE,UAAmB;YACzB,UAAU,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE;YACjC,QAAQ,EAAE,IAAI;SACjB,CAAA;QACD,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,cAAc,CACvC,SAAoD,EACpD,OAAkD,EAClD,SAAS,EACT,cAAc,CAAC,EAAE,CACpB,CAAA;QACD,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACpB,OAAO,EAAE,OAAO,EAAE,sBAAsB,CAAC,SAAS,CAAC,EAAE,CAAA;IACzD,CAAC;IACD,6CAA6C;IAC7C,MAAM,IAAI,GAAG,UAAU,EAAE,CAAA;IACzB,MAAM,SAAS,GAAG;QACd,EAAE,EAAE,IAAI;QACR,GAAG,UAAU;QACb,QAAQ,EAAE,IAAI;QACd,IAAI,EAAE,UAAmB;QACzB,QAAQ,EAAE,IAAa;QACvB,UAAU,EAAE,IAAI;KACnB,CAAA;IACD,MAAM,aAAa,GAAG,MAAM,CAAC,QAAQ,CAAA;IACrC,IAAI,aAAa,KAAK,YAAY,EAAE,CAAC;QACjC,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,CAAA;IACpC,CAAC;IACD,IAAI,CAAC;QACD,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,cAAc,CACvC,SAAoD,EACpD,SAAoD,EACpD,SAAS,EACT,cAAc,CAAC,EAAE,CACpB,CAAA;QACD,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACpB,KAAK,MAAM,SAAS,IAAI,eAAe,EAAE,CAAC;YACtC,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE;gBACzD,EAAE,EAAE,UAAU,EAAE;gBAChB,GAAG,UAAU;gBACb,QAAQ,EAAE,IAAI;gBACd,IAAI,EAAE,UAAmB;gBACzB,UAAU,EAAE,SAAS,CAAC,EAAE;gBACxB,QAAQ,EAAE,IAAI;aAC4B,CAAC,CAAA;YAC/C,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,CAAA;QACjC,CAAC;IACL,CAAC;YAAS,CAAC;QACP,IAAI,aAAa,KAAK,YAAY,EAAE,CAAC;YACjC,MAAM,CAAC,WAAW,CAAC,aAAa,CAAC,CAAA;QACrC,CAAC;IACL,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,sBAAsB,CAAC,SAAS,CAAC,EAAE,CAAA;AACzD,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,MAAM,UAAU,2BAA2B,CACvC,MAAqB,EACrB,mBAA2B,EAC3B,cAA+B;IAE/B,IAAI,cAAc,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACtC,MAAM,IAAI,KAAK,CACX,kFACK,cAAoC,CAAC,IAAI,IAAI,WAClD,EAAE,CACL,CAAA;IACL,CAAC;IAED,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,mBAAmB,CAAC,CAAA;IACjD,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,WAAW,mBAAmB,YAAY,CAAC,CAAA;IAC/D,CAAC;IACD,+DAA+D;IAC/D,iEAAiE;IACjE,MAAM,WAAW,GAAG,EAAE,CAAC,aAAa,EAAE,CAAA;IACtC,IAAI,WAAW,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACpC,MAAM,IAAI,uBAAuB,CAAC;YAC9B;gBACI,IAAI,EAAE,0BAA0B;gBAChC,OAAO,EAAE,qCAAqC,mBAAmB,sCAAsC,WAAW,CAAC,IAAI,IAAI,UAAU,GAAG;gBACxI,UAAU,EAAE,SAAS;gBACrB,QAAQ,EAAE,mBAAmB;gBAC7B,SAAS,EAAE,mBAAmB;aACjC;SACJ,CAAC,CAAA;IACN,CAAC;IAED,oDAAoD;IACpD,uEAAuE;IACvE,iEAAiE;IACjE,uEAAuE;IACvE,8DAA8D;IAC9D,gEAAgE;IAChE,kBAAkB;IAClB,IAAI,oBAAoB,CAAC,MAAM,EAAE,EAAE,EAAE,cAAc,CAAC,EAAE,CAAC,EAAE,CAAC;QACtD,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;IAC1B,CAAC;IAED,MAAM,SAAS,GAAuB,EAAE,CAAA;IAExC,sEAAsE;IACtE,iEAAiE;IACjE,+DAA+D;IAC/D,mEAAmE;IACnE,oEAAoE;IACpE,iCAAiC;IACjC,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,GAAG,yBAAyB,CACvD,MAAM,EACN,mBAAmB,CACtB,CAAA;IACD,SAAS,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;IAE5B,mEAAmE;IACnE,MAAM,UAAU,GAAG,EAAE,CAAC,mBAAmB,EAAE,CAAA;IAC3C,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CACX,wCAAwC,mBAAmB,qCAAqC,CACnG,CAAA;IACL,CAAC;IACD,MAAM,cAAc,GAAG,EAAE,CAAC,aAAa,CAAC,UAAU,CAAC,CAAA;IACnD,IAAI,cAAc,EAAE,IAAI,KAAK,UAAU,EAAE,CAAC;QACtC,MAAM,IAAI,KAAK,CACX,uFACI,cAAc,EAAE,IAAI,IAAI,WAC5B,GAAG,CACN,CAAA;IACL,CAAC;IACD,IAAI,cAAc,CAAC,UAAU,IAAI,IAAI,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CACX,+EAA+E,CAClF,CAAA;IACL,CAAC;IAED,MAAM,UAAU,GAAG;QACf,UAAU,EAAE,cAAc,CAAC,UAAU;QACrC,eAAe,EAAE,cAAc,CAAC,eAAe;QAC/C,SAAS,EAAE,mBAAmB;QAC9B,SAAS,EAAE,cAAc,CAAC,SAAS;QACnC,SAAS,EAAE,cAAc,CAAC,SAAS;KACtC,CAAA;IAED,mEAAmE;IACnE,uEAAuE;IACvE,oEAAoE;IACpE,mEAAmE;IACnE,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACvE,MAAM,QAAQ,GAAG,MAAM,CAAC,wBAAwB,CAC5C,cAAc,CAAC,EAAE,CACiB,CAAA;IACtC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;QACpC,SAAS,CAAC,IAAI,CAAC;YACX,SAAS,EAAE;gBACP,KAAK,EAAE,CAAC,QAAQ,CAAC;gBACjB,QAAQ,EAAE,EAAE;gBACZ,OAAO,EAAE,EAAE;aACd;SACJ,CAAC,CAAA;IACN,CAAC;IAED,mEAAmE;IACnE,qEAAqE;IACrE,kEAAkE;IAClE,kEAAkE;IAClE,qEAAqE;IACrE,qEAAqE;IACrE,wCAAwC;IACxC,MAAM,SAAS,GAAG,UAAU,EAAE,CAAA;IAC9B,MAAM,SAAS,GAAG;QACd,EAAE,EAAE,SAAS;QACb,GAAG,UAAU;QACb,QAAQ,EAAE,IAAI;QACd,IAAI,EAAE,UAAmB;QACzB,QAAQ,EAAE,SAAkB;QAC5B,UAAU,EAAE,IAAI;KACnB,CAAA;IACD,MAAM,SAAS,GAAG;QACd,EAAE,EAAE,UAAU,EAAE;QAChB,GAAG,UAAU;QACb,QAAQ,EAAE,IAAI,EAAE,wCAAwC;QACxD,IAAI,EAAE,UAAmB;QACzB,UAAU,EAAE,QAAQ,CAAC,EAAE;QACvB,QAAQ,EAAE,IAAI;KACjB,CAAA;IACD,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,cAAc,CACvC,SAAoD,EACpD,SAAoD,EACpD,SAAS,EACT,cAAc,CAAC,EAAE,CACpB,CAAA;IACD,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAEpB,OAAO,EAAE,OAAO,EAAE,sBAAsB,CAAC,SAAS,CAAC,EAAE,CAAA;AACzD,CAAC;AAED;;;;;GAKG;AACH,SAAS,oBAAoB,CACzB,MAAqB,EACrB,EAAwD,EACxD,YAAoB;IAEpB,MAAM,UAAU,GAAG,EAAE,CAAC,mBAAmB,EAAE,CAAA;IAC3C,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,KAAK,CAAA;IAC1C,MAAM,IAAI,GAAG,EAAE,CAAC,aAAa,CAAC,UAAU,CAAC,CAAA;IACzC,IAAI,IAAI,EAAE,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3D,OAAO,KAAK,CAAA;IAChB,CAAC;IACD,MAAM,YAAY,GAAG,EAAE;SAClB,mBAAmB,CAAC,UAAU,CAAC;SAC/B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAA;IAC5C,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAA;IAC3C,MAAM,UAAU,GAAG,YAAY,CAAC,CAAC,CAAC,CAAA;IAClC,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,IAAI,UAAU,CAAC,UAAU,IAAI,IAAI,EAAE,CAAC;QAClE,OAAO,KAAK,CAAA;IAChB,CAAC;IACD,MAAM,aAAa,GAAG,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,UAAU,CAAC,CAAA;IAC/D,IAAI,CAAC,aAAa,IAAI,CAAC,CAAC,SAAS,IAAI,aAAa,CAAC;QAAE,OAAO,KAAK,CAAA;IACjE,OAAO,aAAa,CAAC,OAAO,KAAK,YAAY,CAAA;AACjD,CAAC;AAED,8EAA8E;AAE9E;;;;GAIG;AACH,SAAS,eAAe,CACpB,OAAyB,EACzB,IAAgE;IAEhE,MAAM,MAAM,GAAqB,EAAE,GAAG,OAAO,EAAE,CAAA;IAC/C,IACI,OAAO,CAAC,WAAW;QACnB,IAAI,CAAC,aAAa;QAClB,IAAI,CAAC,aAAa,CAAC,IAAI,GAAG,CAAC,EAC7B,CAAC;QACC,MAAM,GAAG,GAAG,IAAI,CAAC,aAAa,CAAA;QAC9B,MAAM,CAAC,WAAW,GAAG;YACjB,KAAK,EAAE,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC9D,QAAQ,EAAE,OAAO,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,CACzC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CACxB;YACD,OAAO,EAAE,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;SACrE,CAAA;IACL,CAAC;IACD,IAAI,OAAO,CAAC,SAAS,IAAI,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACrE,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAA;QAC5B,MAAM,CAAC,SAAS,GAAG;YACf,KAAK,EAAE,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC5D,QAAQ,EAAE,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAClE,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;SACnE,CAAA;IACL,CAAC;IACD,OAAO,MAAM,CAAA;AACjB,CAAC;AAED,+EAA+E;AAC/E,SAAS,UAAU;IACf,OAAO,MAAM,CAAC,UAAU,EAAE,CAAA;AAC9B,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,2BAA2B,CAChC,OAAyB,EACzB,SAAiB;IAEjB,IAAI,CAAC,OAAO,CAAC,QAAQ;QAAE,OAAO,OAAO,CAAA;IACrC,MAAM,gBAAgB,GAAG,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CACrD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,SAAS,CAC5B,CAAA;IACD,IAAI,gBAAgB,CAAC,MAAM,KAAK,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC/D,OAAO,OAAO,CAAA;IAClB,CAAC;IACD,OAAO;QACH,GAAG,OAAO;QACV,QAAQ,EAAE;YACN,GAAG,OAAO,CAAC,QAAQ;YACnB,QAAQ,EAAE,gBAAgB;SAC7B;KACJ,CAAA;AACL,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,yBAAyB,CAC9B,OAAyB;IAEzB,MAAM,MAAM,GAAqB,EAAE,GAAG,OAAO,EAAE,CAAA;IAC/C,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACnB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;QACjE,MAAM,CAAC,QAAQ,GAAG;YACd,GAAG,OAAO,CAAC,QAAQ;YACnB,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CACtC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAC7B;SACJ,CAAA;IACL,CAAC;IACD,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;QACpB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;QAClE,MAAM,CAAC,SAAS,GAAG;YACf,GAAG,OAAO,CAAC,SAAS;YACpB,QAAQ,EAAE,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CACvC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAC7B;SACJ,CAAA;IACL,CAAC;IACD,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QACtB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;QACpE,MAAM,CAAC,WAAW,GAAG;YACjB,GAAG,OAAO,CAAC,WAAW;YACtB,QAAQ,EAAE,OAAO,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,CACzC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAC7B;SACJ,CAAA;IACL,CAAC;IACD,OAAO,MAAM,CAAA;AACjB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,SAAS,sBAAsB,CAC3B,UAA8B;IAE9B,MAAM,QAAQ,GAAG;QACb,QAAQ,EAAE,IAAI,GAAG,EAAU;QAC3B,SAAS,EAAE,IAAI,GAAG,EAAU;QAC5B,WAAW,EAAE,IAAI,GAAG,EAAU;KACjC,CAAA;IACD,MAAM,UAAU,GAAG;QACf,QAAQ,EAAE,IAAI,GAAG,EAAU;QAC3B,SAAS,EAAE,IAAI,GAAG,EAAU;QAC5B,WAAW,EAAE,IAAI,GAAG,EAAU;KACjC,CAAA;IACD,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QACzB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,KAAK,IAAI,EAAE;YAAE,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QACpE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,KAAK,IAAI,EAAE;YAAE,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QACtE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,KAAK,IAAI,EAAE;YACtC,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QAClC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,OAAO,IAAI,EAAE;YAAE,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QACxE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,OAAO,IAAI,EAAE;YACtC,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QAClC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,OAAO,IAAI,EAAE;YACxC,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;IACxC,CAAC;IACD,IAAI,MAAM,GAAqB,EAAE,CAAA;IACjC,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QACzB,MAAM,SAAS,GAAqB,EAAE,GAAG,CAAC,EAAE,CAAA;QAC5C,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YACb,SAAS,CAAC,QAAQ,GAAG;gBACjB,GAAG,CAAC,CAAC,QAAQ;gBACb,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAChC,CAAC,CAAC,EAAE,EAAE,CACF,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC5B,CAAC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CACrC;aACJ,CAAA;QACL,CAAC;QACD,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC;YACd,SAAS,CAAC,SAAS,GAAG;gBAClB,GAAG,CAAC,CAAC,SAAS;gBACd,QAAQ,EAAE,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CACjC,CAAC,CAAC,EAAE,EAAE,CACF,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC7B,CAAC,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CACtC;aACJ,CAAA;QACL,CAAC;QACD,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;YAChB,SAAS,CAAC,WAAW,GAAG;gBACpB,GAAG,CAAC,CAAC,WAAW;gBAChB,QAAQ,EAAE,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,CACnC,CAAC,CAAC,EAAE,EAAE,CACF,CAAC,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC/B,CAAC,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CACxC;aACJ,CAAA;QACL,CAAC;QACD,MAAM,GAAG,eAAe,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;IAC/C,CAAC;IACD,OAAO,MAAM,CAAA;AACjB,CAAC"}
|
|
1
|
+
{"version":3,"file":"premises.js","sourceRoot":"","sources":["../../../src/engine/mutations/premises.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAA;AASjE,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AAE5C,+EAA+E;AAC/E,0EAA0E;AAC1E,+EAA+E;AAC/E,wEAAwE;AACxE,2EAA2E;AAC3E,8EAA8E;AAC9E,oDAAoD;AACpD,MAAM,wBAAwB,GAAG,0BAA0B,CAAA;AAC3D,MAAM,+BAA+B,GAAG,iCAAiC,CAAA;AAEzE,MAAM,UAAU,mBAAmB,CAC/B,MAAqB,EACrB,SAAiB,EACjB,IAOC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,MAAM,CAAC,oBAAoB,EAAE,EAAE,CAAC;QAC9D,MAAM,IAAI,KAAK,CACX,+DAA+D,CAClE,CAAA;IACL,CAAC;IAED,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,mBAAmB,CAAC,SAAS,EAAE;QAClE,IAAI,EAAE,UAAU;QAChB,MAAM,EAAE,IAAI;KACf,CAAC,CAAA;IAEF,IAAI,UAAU,GAAG,OAAO,CAAA;IACxB,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC7B,mEAAmE;QACnE,iEAAiE;QACjE,yCAAyC;QACzC,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,MAAM,CAAC,oBAAoB,CAAC,SAAS,CAAC,CAAA;QACvE,UAAU,GAAG,eAAe,CAAC,OAAO,EAAE,WAAW,CAAC,CAAA;IACtD,CAAC;SAAM,IAAI,MAAM,CAAC,oBAAoB,EAAE,EAAE,KAAK,EAAE,KAAK,SAAS,EAAE,CAAC;QAC9D,kEAAkE;QAClE,+DAA+D;QAC/D,oDAAoD;QACpD,2DAA2D;QAC3D,2DAA2D;QAC3D,+DAA+D;QAC/D,sDAAsD;QACtD,sDAAsD;QACtD,+DAA+D;QAC/D,4DAA4D;QAC5D,8DAA8D;QAC9D,gEAAgE;QAChE,4DAA4D;QAC5D,qBAAqB;QACrB,EAAE;QACF,2DAA2D;QAC3D,4DAA4D;QAC5D,mEAAmE;QACnE,+DAA+D;QAC/D,0DAA0D;QAC1D,8DAA8D;QAC9D,8DAA8D;QAC9D,qDAAqD;QACrD,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,GAAG,qBAAqB,CACpD,MAAM,EACN,SAAS,EACT,YAAY,CACf,CAAA;QACD,oEAAoE;QACpE,wDAAwD;QACxD,iEAAiE;QACjE,gEAAgE;QAChE,gEAAgE;QAChE,mEAAmE;QACnE,gEAAgE;QAChE,mEAAmE;QACnE,MAAM,oBAAoB,GAAG,2BAA2B,CACpD,aAAa,EACb,SAAS,CACZ,CAAA;QACD,UAAU,GAAG,eAAe,CAAC,OAAO,EAAE,oBAAoB,CAAC,CAAA;IAC/D,CAAC;IAED,OAAO;QACH,OAAO,EAAE,EAAE,CAAC,aAAa,EAAE;QAC3B,OAAO,EAAE,UAAU;KACtB,CAAA;AACL,CAAC;AAED,MAAM,UAAU,uBAAuB,CACnC,MAAqB,EACrB,SAAiB,EACjB,OAAyB;IAEzB,wEAAwE;IACxE,yEAAyE;IACzE,wEAAwE;IACxE,sEAAsE;IACtE,kEAAkE;IAClE,uEAAuE;IACvE,sEAAsE;IACtE,yEAAyE;IACzE,EAAE;IACF,oBAAoB;IACpB,6DAA6D;IAC7D,wEAAwE;IACxE,kEAAkE;IAClE,sEAAsE;IACtE,6CAA6C;IAC7C,qEAAqE;IACrE,+DAA+D;IAE/D,kEAAkE;IAClE,uEAAuE;IACvE,wEAAwE;IACxE,0EAA0E;IAC1E,wEAAwE;IACxE,wEAAwE;IACxE,oEAAoE;IACpE,oEAAoE;IACpE,wEAAwE;IACxE,sEAAsE;IACtE,sEAAsE;IACtE,wEAAwE;IACxE,kEAAkE;IAClE,MAAM,eAAe,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;IACpD,IAAI,eAAe,EAAE,CAAC;QAClB,MAAM,qBAAqB,GACvB,MAAM,CAAC,oBAAoB,EAAE,EAAE,KAAK,EAAE,KAAK,SAAS,CAAA;QACxD,MAAM,eAAe,GAAG,OAAO,KAAK,YAAY,CAAA;QAChD,MAAM,kBAAkB,GAAG,eAAe,CAAC,aAAa,EAAE,CAAC,IAAI,CAAA;QAC/D,IACI,qBAAqB,KAAK,eAAe;YACzC,kBAAkB,KAAK,OAAO,EAChC,CAAC;YACC,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;QAC1B,CAAC;IACL,CAAC;IAED,IAAI,OAAO,KAAK,YAAY,EAAE,CAAC;QAC3B,MAAM,SAAS,GAAuB,EAAE,CAAA;QACxC,MAAM,eAAe,GAAG,MAAM,CAAC,oBAAoB,EAAE,CAAA;QACrD,IAAI,eAAe,IAAI,eAAe,CAAC,KAAK,EAAE,KAAK,SAAS,EAAE,CAAC;YAC3D,MAAM,EAAE,OAAO,EAAE,kBAAkB,EAAE,GAAG,qBAAqB,CACzD,MAAM,EACN,eAAe,CAAC,KAAK,EAAE,EACvB,YAAY,CACf,CAAA;YACD,SAAS,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAA;QACtC,CAAC;QACD,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,MAAM,CAAC,oBAAoB,CAAC,SAAS,CAAC,CAAA;QACvE,SAAS,CAAC,IAAI,CAAC,WAAW,CAAC,CAAA;QAC3B,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,GAAG,qBAAqB,CACpD,MAAM,EACN,SAAS,EACT,YAAY,CACf,CAAA;QACD,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,CAAA;QAC7B,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,MAAM,CAAC,eAAe,EAAE,EAAE,CAAC,EAAE,CAAA;IAC7D,CAAC;IAED,MAAM,iBAAiB,GAAG,MAAM,CAAC,oBAAoB,EAAE,CAAA;IACvD,IAAI,iBAAiB,EAAE,KAAK,EAAE,KAAK,SAAS,EAAE,CAAC;QAC3C,iEAAiE;QACjE,kEAAkE;QAClE,mEAAmE;QACnE,gEAAgE;QAChE,mEAAmE;QACnE,6DAA6D;QAC7D,mEAAmE;QACnE,8DAA8D;QAC9D,uDAAuD;QACvD,6DAA6D;QAC7D,+DAA+D;QAC/D,uDAAuD;QACvD,0DAA0D;QAC1D,mEAAmE;QACnE,0DAA0D;QAC1D,EAAE;QACF,8DAA8D;QAC9D,8DAA8D;QAC9D,gEAAgE;QAChE,kEAAkE;QAClE,MAAM,IAAI,uBAAuB,CAAC;YAC9B;gBACI,IAAI,EAAE,wBAAwB;gBAC9B,OAAO,EACH,4NAA4N;gBAChO,UAAU,EAAE,SAAS;gBACrB,QAAQ,EAAE,SAAS;gBACnB,SAAS;aACZ;SACJ,CAAC,CAAA;IACN,CAAC;IAED,qEAAqE;IACrE,gEAAgE;IAChE,uEAAuE;IACvE,qEAAqE;IACrE,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,GAAG,qBAAqB,CACpD,MAAM,EACN,SAAS,EACT,OAAO,CACV,CAAA;IACD,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,CAAA;AACrC,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,qBAAqB,CAC1B,MAAqB,EACrB,SAAiB,EACjB,IAAsB;IAEtB,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;IACvC,IAAI,CAAC,EAAE;QAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;IAC/B,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,CAAC,CAAA;IAC7C,OAAO,EAAE,OAAO,EAAE,CAAA;AACtB,CAAC;AAED,MAAM,UAAU,yBAAyB,CACrC,MAAqB,EACrB,SAAiB,EACjB,OAAgC;IAEhC,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;IACvC,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,WAAW,SAAS,YAAY,CAAC,CAAA;IACrD,CAAC;IACD,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,CAAA;IAC5C,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC,aAAa,EAAE,EAAE,OAAO,EAAE,CAAA;AACnD,CAAC;AAED,MAAM,UAAU,mBAAmB,CAC/B,MAAqB,EACrB,SAAiB;IAEjB,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,CAAA;IAC3D,OAAO,EAAE,OAAO,EAAE,MAAM,KAAK,SAAS,EAAE,OAAO,EAAE,CAAA;AACrD,CAAC;AAED,8EAA8E;AAE9E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,MAAM,UAAU,6BAA6B,CACzC,MAAqB,EACrB,SAAiB,EACjB,IASC;IAOD,sDAAsD;IACtD,MAAM,QAAQ,GAAG,IAAI,CAAC,oBAAoB,IAAI,IAAI,CAAA;IAClD,MAAM,SAAS,GAAG,IAAI,CAAC,4BAA4B,IAAI,IAAI,CAAA;IAC3D,IAAI,QAAQ,IAAI,SAAS,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CACX,kIAAkI,CACrI,CAAA;IACL,CAAC;IACD,IAAI,CAAC,QAAQ,IAAI,CAAC,SAAS,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CACX,+HAA+H,CAClI,CAAA;IACL,CAAC;IACD,IAAI,SAAS,EAAE,CAAC;QACZ,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,4BAA6B,CAAC,CAAA;QACvE,IAAI,CAAC,QAAQ,EAAE,CAAC;YACZ,MAAM,IAAI,KAAK,CACX,+DAA+D,IAAI,CAAC,4BAA4B,sBAAsB,CACzH,CAAA;QACL,CAAC;QACD,IAAI,CAAC,CAAC,SAAS,IAAI,QAAQ,CAAC,EAAE,CAAC;YAC3B,MAAM,IAAI,KAAK,CACX,+DAA+D,IAAI,CAAC,4BAA4B,qBAAqB,CACxH,CAAA;QACL,CAAC;QACD,IAAI,QAAQ,CAAC,OAAO,KAAK,IAAI,CAAC,cAAc,EAAE,CAAC;YAC3C,MAAM,IAAI,KAAK,CACX,+DAA+D,IAAI,CAAC,4BAA4B,sBAAsB,QAAQ,CAAC,OAAO,6BAA6B,IAAI,CAAC,cAAc,EAAE,CAC3L,CAAA;QACL,CAAC;IACL,CAAC;IAED,uEAAuE;IACvE,qEAAqE;IACrE,wEAAwE;IACxE,qDAAqD;IACrD,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC,mBAAmB,CACtE,SAAS,EACT;QACI,IAAI,EAAE,YAAY;QAClB,cAAc,EAAE,IAAI,CAAC,cAAc;QACnC,MAAM,EAAE;YACJ,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,IAAI,EAAE,YAAqB;SAC9B;KACJ,CACJ,CAAA;IAED,0EAA0E;IAC1E,wEAAwE;IACxE,MAAM,eAAe,GAAG,EAAE,CAAC,cAAc,EAAE,CAAA;IAC3C,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CACX,oFAAoF,eAAe,CAAC,MAAM,EAAE,CAC/G,CAAA;IACL,CAAC;IACD,MAAM,QAAQ,GAAG,eAAe,CAAC,CAAC,CAAC,CAAA;IACnC,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,IAAI,QAAQ,CAAC,UAAU,IAAI,IAAI,EAAE,CAAC;QAC9D,MAAM,IAAI,KAAK,CACX,6FAA6F,CAChG,CAAA;IACL,CAAC;IACD,MAAM,SAAS,GAAG,QAAQ,CAAC,UAAU,CAAA;IACrC,MAAM,OAAO,GAAG,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,CAAA;IAC7C,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC,SAAS,IAAI,OAAO,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,KAAK,CACX,oFAAoF,CACvF,CAAA;IACL,CAAC;IAED,0EAA0E;IAC1E,2EAA2E;IAC3E,yEAAyE;IACzE,0CAA0C;IAC1C,EAAE;IACF,gDAAgD;IAChD,wEAAwE;IACxE,0EAA0E;IAC1E,sBAAsB;IACtB,0EAA0E;IAC1E,wEAAwE;IACxE,gEAAgE;IAChE,uEAAuE;IACvE,qCAAqC;IACrC,EAAE,CAAC,gBAAgB,CAAC,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC,CAAA;IAEtC,IAAI,kBAA0C,CAAA;IAC9C,IAAI,yBAA2C,CAAA;IAC/C,IAAI,+BAAuC,CAAA;IAC3C,IAAI,QAAQ,EAAE,CAAC;QACX,MAAM,CAAC,cAAc,CAAC,SAAS,CAAC,CAAA;QAChC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,WAAW,CAAC;YAC3C,EAAE,EAAE,IAAI,CAAC,oBAAqB;YAC9B,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,eAAe,EAAE,IAAI,CAAC,eAAe;YACrC,OAAO,EAAE,IAAI,CAAC,cAAc;YAC5B,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,SAAS,EAAE,IAAI,CAAC,SAAS;SACgB,CAAC,CAAA;QAC9C,kBAAkB,GAAG,MAAM,CAAA;QAC3B,yBAAyB,GAAG,OAAO,CAAA;QACnC,+BAA+B,GAAG,IAAI,CAAC,oBAAqB,CAAA;IAChE,CAAC;SAAM,CAAC;QACJ,kEAAkE;QAClE,uEAAuE;QACvE,wEAAwE;QACxE,IAAI,SAAS,KAAK,IAAI,CAAC,4BAA4B,EAAE,CAAC;YAClD,MAAM,IAAI,KAAK,CACX,wFAAwF,SAAS,uBAAuB,IAAI,CAAC,cAAc,0CAA0C,IAAI,CAAC,4BAA4B,EAAE,CAC3N,CAAA;QACL,CAAC;QACD,kBAAkB,GAAG,OAAiC,CAAA;QACtD,yBAAyB,GAAG,EAAE,CAAA;QAC9B,+BAA+B,GAAG,IAAI,CAAC,4BAA6B,CAAA;IACxE,CAAC;IAED,MAAM,EAAE,MAAM,EAAE,oBAAoB,EAAE,OAAO,EAAE,cAAc,EAAE,GAC3D,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE;QACtB,EAAE,EAAE,IAAI,CAAC,sBAAsB;QAC/B,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,eAAe,EAAE,IAAI,CAAC,eAAe;QACrC,SAAS;QACT,QAAQ,EAAE,IAAI;QACd,IAAI,EAAE,UAAU;QAChB,UAAU,EAAE,+BAA+B;QAC3C,QAAQ,EAAE,IAAI;QACd,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,SAAS,EAAE,IAAI,CAAC,SAAS;KACiB,CAAC,CAAA;IAEnD,sEAAsE;IACtE,gEAAgE;IAChE,yEAAyE;IACzE,sDAAsD;IACtD,EAAE;IACF,qEAAqE;IACrE,oEAAoE;IACpE,sEAAsE;IACtE,sEAAsE;IACtE,2DAA2D;IAC3D,mEAAmE;IACnE,+CAA+C;IAC/C,MAAM,sBAAsB,GAAG,yBAAyB,CACpD,eAAe,CAAC,cAAc,EAAE;QAC5B,WAAW,EAAE,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;QACjC,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;KACxC,CAAC,CACL,CAAA;IACD,MAAM,4BAA4B,GAAG,2BAA2B,CAC5D,yBAAyB,EACzB,SAAS,CACZ,CAAA;IACD,MAAM,6BAA6B,GAAG,2BAA2B,CAC7D,cAAc,EACd,SAAS,CACZ,CAAA;IAED,MAAM,UAAU,GAAG,eAAe,CAC9B,eAAe,CAAC,sBAAsB,EAAE,4BAA4B,CAAC,EACrE,6BAA6B,CAChC,CAAA;IAED,OAAO;QACH,OAAO,EAAE,EAAE,CAAC,aAAa,EAAE;QAC3B,kBAAkB;QAClB,oBAAoB;QACpB,OAAO,EAAE,UAAU;KACtB,CAAA;AACL,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,yBAAyB,CACrC,MAAqB,EACrB,SAAiB;IAEjB,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;IACvC,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,WAAW,SAAS,YAAY,CAAC,CAAA;IACrD,CAAC;IACD,MAAM,WAAW,GAAG,EAAE,CAAC,aAAa,EAAE,CAAA;IACtC,IAAI,WAAW,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACpC,MAAM,IAAI,uBAAuB,CAAC;YAC9B;gBACI,IAAI,EAAE,wBAAwB;gBAC9B,OAAO,EAAE,GAAG,wBAAwB,aAAa,SAAS,sCAAsC,WAAW,CAAC,IAAI,IAAI,UAAU,GAAG;gBACjI,UAAU,EAAE,SAAS;gBACrB,QAAQ,EAAE,SAAS;gBACnB,SAAS;aACZ;SACJ,CAAC,CAAA;IACN,CAAC;IAED,MAAM,UAAU,GAAG,EAAE,CAAC,mBAAmB,EAAE,CAAA;IAC3C,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;IACpD,MAAM,IAAI,GAAG,EAAE,CAAC,aAAa,CAAC,UAAU,CAAC,CAAA;IACzC,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;IAEjC,yEAAyE;IACzE,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;IAEpD,yEAAyE;IACzE,yCAAyC;IACzC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC1D,MAAM,IAAI,KAAK,CACX,+DAA+D,SAAS,wCAAwC,IAAI,CAAC,IAAI,IACrH,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAC/C,EAAE,CACL,CAAA;IACL,CAAC;IAED,MAAM,YAAY,GAAG,EAAE;SAClB,mBAAmB,CAAC,UAAU,CAAC;SAC/B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAA;IAC5C,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CACX,+CAA+C,YAAY,CAAC,MAAM,uBAAuB,CAC5F,CAAA;IACL,CAAC;IACD,MAAM,UAAU,GAAG,YAAY,CAAC,CAAC,CAAC,CAAA;IAClC,MAAM,UAAU,GAAG,YAAY,CAAC,CAAC,CAAC,CAAA;IAClC,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CACX,0GAA0G,CAC7G,CAAA;IACL,CAAC;IAED,0EAA0E;IAC1E,mEAAmE;IACnE,aAAa;IACb,kEAAkE;IAClE,qEAAqE;IACrE,sEAAsE;IACtE,yEAAyE;IACzE,0EAA0E;IAC1E,4EAA4E;IAC5E,4BAA4B;IAC5B,MAAM,mBAAmB,GAAa,EAAE,CAAA;IACxC,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACjC,IAAI,UAAU,CAAC,UAAU,IAAI,IAAI,EAAE,CAAC;YAChC,mBAAmB,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAA;QACnD,CAAC;IACL,CAAC;SAAM,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,IAAI,UAAU,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;QACxE,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,mBAAmB,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC;YACxD,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,UAAU,IAAI,IAAI,EAAE,CAAC;gBACxD,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAA;YAC9C,CAAC;QACL,CAAC;IACL,CAAC;SAAM,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACvC,MAAM,eAAe,GAAG,EAAE,CAAC,mBAAmB,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;QAC7D,IACI,eAAe,CAAC,MAAM,KAAK,CAAC;YAC5B,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU;YACtC,eAAe,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,EACtC,CAAC;YACC,MAAM,IAAI,KAAK,CACX,0FAA0F,SAAS,EAAE,CACxG,CAAA;QACL,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,mBAAmB,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;YAChE,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,UAAU,IAAI,IAAI,EAAE,CAAC;gBACxD,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAA;YAC9C,CAAC;QACL,CAAC;IACL,CAAC;SAAM,CAAC;QACJ,MAAM,IAAI,KAAK,CACX,sEAAsE,SAAS,EAAE,CACpF,CAAA;IACL,CAAC;IAED,MAAM,SAAS,GAAuB,EAAE,CAAA;IAExC,2EAA2E;IAC3E,4EAA4E;IAC5E,uEAAuE;IACvE,2DAA2D;IAC3D,MAAM,EAAE,OAAO,EAAE,uBAAuB,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAC5D,UAAU,CAAC,EAAE,EACb,IAAI,CACP,CAAA;IACD,SAAS,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAA;IAEvC,uEAAuE;IACvE,yEAAyE;IACzE,yEAAyE;IACzE,uEAAuE;IACvE,MAAM,EAAE,OAAO,EAAE,oBAAoB,EAAE,GAAG,EAAE,CAAC,gBAAgB,CACzD,UAAU,EACV,KAAK,CACR,CAAA;IACD,SAAS,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAA;IAEpC,iEAAiE;IACjE,wEAAwE;IACxE,oEAAoE;IACpE,4CAA4C;IAC5C,KAAK,MAAM,KAAK,IAAI,mBAAmB,EAAE,CAAC;QACtC,MAAM,EAAE,OAAO,EAAE,gBAAgB,EAAE,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAA;QAClE,SAAS,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAA;IACpC,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,sBAAsB,CAAC,SAAS,CAAC,EAAE,CAAA;AACzD,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,MAAM,UAAU,+BAA+B,CAC3C,MAAqB,EACrB,SAAiB,EACjB,kBAA4B;IAE5B,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;IACvC,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,WAAW,SAAS,YAAY,CAAC,CAAA;IACrD,CAAC;IACD,MAAM,WAAW,GAAG,EAAE,CAAC,aAAa,EAAE,CAAA;IACtC,IAAI,WAAW,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACpC,MAAM,IAAI,uBAAuB,CAAC;YAC9B;gBACI,IAAI,EAAE,wBAAwB;gBAC9B,OAAO,EAAE,GAAG,wBAAwB,aAAa,SAAS,sCAAsC,WAAW,CAAC,IAAI,IAAI,UAAU,GAAG;gBACjI,UAAU,EAAE,SAAS;gBACrB,QAAQ,EAAE,SAAS;gBACnB,SAAS;aACZ;SACJ,CAAC,CAAA;IACN,CAAC;IAED,MAAM,UAAU,GAAG,EAAE,CAAC,mBAAmB,EAAE,CAAA;IAC3C,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CACX,4CAA4C,SAAS,yBAAyB,CACjF,CAAA;IACL,CAAC;IACD,MAAM,IAAI,GAAG,EAAE,CAAC,aAAa,CAAC,UAAU,CAAC,CAAA;IACzC,IAAI,CAAC,IAAI,EAAE,CAAC;QACR,MAAM,IAAI,KAAK,CACX,oDAAoD,UAAU,yBAAyB,SAAS,EAAE,CACrG,CAAA;IACL,CAAC;IAED,uEAAuE;IACvE,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC3B,MAAM,IAAI,uBAAuB,CAAC;YAC9B;gBACI,IAAI,EAAE,+BAA+B;gBACrC,OAAO,EAAE,GAAG,+BAA+B,wBAAwB,SAAS,qCAAqC;gBACjH,UAAU,EAAE,SAAS;gBACrB,QAAQ,EAAE,SAAS;gBACnB,SAAS;aACZ;SACJ,CAAC,CAAA;IACN,CAAC;IACD,IAAI,kBAAkB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;IAE3D,MAAM,cAAc,GAAG,IAAI,CAAA;IAC3B,IAAI,cAAc,CAAC,UAAU,IAAI,IAAI,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CACX,mFAAmF,CACtF,CAAA;IACL,CAAC;IACD,MAAM,UAAU,GAAG;QACf,UAAU,EAAE,cAAc,CAAC,UAAU;QACrC,eAAe,EAAE,cAAc,CAAC,eAAe;QAC/C,SAAS;QACT,SAAS,EAAE,cAAc,CAAC,SAAS;QACnC,SAAS,EAAE,cAAc,CAAC,SAAS;KACtC,CAAA;IAED,MAAM,SAAS,GAAuB,EAAE,CAAA;IAExC,2EAA2E;IAC3E,sEAAsE;IACtE,6DAA6D;IAC7D,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACvE,MAAM,eAAe,GAA6B,EAAE,CAAA;IACpD,KAAK,MAAM,iBAAiB,IAAI,kBAAkB,EAAE,CAAC;QACjD,MAAM,CAAC,GAAG,MAAM,CAAC,wBAAwB,CAAC,iBAAiB,CAAC,CAAA;QAC5D,eAAe,CAAC,IAAI,CAAC,CAAsC,CAAC,CAAA;IAChE,CAAC;IACD,MAAM,mBAAmB,GAAG,eAAe,CAAC,MAAM,CAC9C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CACpC,CAAA;IACD,IAAI,mBAAmB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,SAAS,CAAC,IAAI,CAAC;YACX,SAAS,EAAE;gBACP,KAAK,EAAE,mBAAmB;gBAC1B,QAAQ,EAAE,EAAE;gBACZ,OAAO,EAAE,EAAE;aACd;SACJ,CAAC,CAAA;IACN,CAAC;IAED,oEAAoE;IACpE,2EAA2E;IAC3E,sEAAsE;IACtE,sEAAsE;IACtE,mEAAmE;IACnE,iCAAiC;IACjC,EAAE;IACF,uEAAuE;IACvE,qEAAqE;IACrE,uEAAuE;IACvE,qEAAqE;IACrE,4DAA4D;IAC5D,8DAA8D;IAC9D,EAAE;IACF,uEAAuE;IACvE,qEAAqE;IACrE,kEAAkE;IAClE,qEAAqE;IACrE,qEAAqE;IACrE,iEAAiE;IACjE,oEAAoE;IACpE,mBAAmB;IACnB,EAAE;IACF,mEAAmE;IACnE,2DAA2D;IAC3D,uEAAuE;IACvE,qEAAqE;IACrE,kEAAkE;IAClE,mEAAmE;IACnE,wEAAwE;IACxE,uEAAuE;IACvE,sEAAsE;IACtE,uEAAuE;IACvE,mEAAmE;IACnE,wCAAwC;IACxC,EAAE;IACF,gEAAgE;IAChE,qEAAqE;IACrE,mEAAmE;IACnE,MAAM,SAAS,GAAG,UAAU,EAAE,CAAA;IAC9B,MAAM,SAAS,GAAG;QACd,EAAE,EAAE,SAAS;QACb,GAAG,UAAU;QACb,QAAQ,EAAE,IAAI;QACd,IAAI,EAAE,UAAmB;QACzB,QAAQ,EAAE,SAAkB;QAC5B,UAAU,EAAE,IAAI;KACnB,CAAA;IACD,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG;YACZ,EAAE,EAAE,UAAU,EAAE;YAChB,GAAG,UAAU;YACb,QAAQ,EAAE,IAAI,EAAE,wCAAwC;YACxD,IAAI,EAAE,UAAmB;YACzB,UAAU,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE;YACjC,QAAQ,EAAE,IAAI;SACjB,CAAA;QACD,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,cAAc,CACvC,SAAoD,EACpD,OAAkD,EAClD,SAAS,EACT,cAAc,CAAC,EAAE,CACpB,CAAA;QACD,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACpB,OAAO,EAAE,OAAO,EAAE,sBAAsB,CAAC,SAAS,CAAC,EAAE,CAAA;IACzD,CAAC;IACD,6CAA6C;IAC7C,MAAM,IAAI,GAAG,UAAU,EAAE,CAAA;IACzB,MAAM,SAAS,GAAG;QACd,EAAE,EAAE,IAAI;QACR,GAAG,UAAU;QACb,QAAQ,EAAE,IAAI;QACd,IAAI,EAAE,UAAmB;QACzB,QAAQ,EAAE,IAAa;QACvB,UAAU,EAAE,IAAI;KACnB,CAAA;IACD,MAAM,aAAa,GAAG,MAAM,CAAC,QAAQ,CAAA;IACrC,IAAI,aAAa,KAAK,YAAY,EAAE,CAAC;QACjC,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,CAAA;IACpC,CAAC;IACD,IAAI,CAAC;QACD,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,cAAc,CACvC,SAAoD,EACpD,SAAoD,EACpD,SAAS,EACT,cAAc,CAAC,EAAE,CACpB,CAAA;QACD,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACpB,KAAK,MAAM,SAAS,IAAI,eAAe,EAAE,CAAC;YACtC,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE;gBACzD,EAAE,EAAE,UAAU,EAAE;gBAChB,GAAG,UAAU;gBACb,QAAQ,EAAE,IAAI;gBACd,IAAI,EAAE,UAAmB;gBACzB,UAAU,EAAE,SAAS,CAAC,EAAE;gBACxB,QAAQ,EAAE,IAAI;aAC4B,CAAC,CAAA;YAC/C,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,CAAA;QACjC,CAAC;IACL,CAAC;YAAS,CAAC;QACP,IAAI,aAAa,KAAK,YAAY,EAAE,CAAC;YACjC,MAAM,CAAC,WAAW,CAAC,aAAa,CAAC,CAAA;QACrC,CAAC;IACL,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,sBAAsB,CAAC,SAAS,CAAC,EAAE,CAAA;AACzD,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,MAAM,UAAU,2BAA2B,CACvC,MAAqB,EACrB,mBAA2B,EAC3B,cAA+B;IAE/B,IAAI,cAAc,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACtC,MAAM,IAAI,KAAK,CACX,kFACK,cAAoC,CAAC,IAAI,IAAI,WAClD,EAAE,CACL,CAAA;IACL,CAAC;IAED,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,mBAAmB,CAAC,CAAA;IACjD,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,WAAW,mBAAmB,YAAY,CAAC,CAAA;IAC/D,CAAC;IACD,+DAA+D;IAC/D,iEAAiE;IACjE,MAAM,WAAW,GAAG,EAAE,CAAC,aAAa,EAAE,CAAA;IACtC,IAAI,WAAW,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACpC,MAAM,IAAI,uBAAuB,CAAC;YAC9B;gBACI,IAAI,EAAE,0BAA0B;gBAChC,OAAO,EAAE,qCAAqC,mBAAmB,sCAAsC,WAAW,CAAC,IAAI,IAAI,UAAU,GAAG;gBACxI,UAAU,EAAE,SAAS;gBACrB,QAAQ,EAAE,mBAAmB;gBAC7B,SAAS,EAAE,mBAAmB;aACjC;SACJ,CAAC,CAAA;IACN,CAAC;IAED,oDAAoD;IACpD,uEAAuE;IACvE,iEAAiE;IACjE,uEAAuE;IACvE,8DAA8D;IAC9D,gEAAgE;IAChE,kBAAkB;IAClB,IAAI,oBAAoB,CAAC,MAAM,EAAE,EAAE,EAAE,cAAc,CAAC,EAAE,CAAC,EAAE,CAAC;QACtD,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;IAC1B,CAAC;IAED,MAAM,SAAS,GAAuB,EAAE,CAAA;IAExC,sEAAsE;IACtE,iEAAiE;IACjE,+DAA+D;IAC/D,mEAAmE;IACnE,oEAAoE;IACpE,iCAAiC;IACjC,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,GAAG,yBAAyB,CACvD,MAAM,EACN,mBAAmB,CACtB,CAAA;IACD,SAAS,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;IAE5B,mEAAmE;IACnE,MAAM,UAAU,GAAG,EAAE,CAAC,mBAAmB,EAAE,CAAA;IAC3C,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CACX,wCAAwC,mBAAmB,qCAAqC,CACnG,CAAA;IACL,CAAC;IACD,MAAM,cAAc,GAAG,EAAE,CAAC,aAAa,CAAC,UAAU,CAAC,CAAA;IACnD,IAAI,cAAc,EAAE,IAAI,KAAK,UAAU,EAAE,CAAC;QACtC,MAAM,IAAI,KAAK,CACX,uFACI,cAAc,EAAE,IAAI,IAAI,WAC5B,GAAG,CACN,CAAA;IACL,CAAC;IACD,IAAI,cAAc,CAAC,UAAU,IAAI,IAAI,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CACX,+EAA+E,CAClF,CAAA;IACL,CAAC;IAED,MAAM,UAAU,GAAG;QACf,UAAU,EAAE,cAAc,CAAC,UAAU;QACrC,eAAe,EAAE,cAAc,CAAC,eAAe;QAC/C,SAAS,EAAE,mBAAmB;QAC9B,SAAS,EAAE,cAAc,CAAC,SAAS;QACnC,SAAS,EAAE,cAAc,CAAC,SAAS;KACtC,CAAA;IAED,mEAAmE;IACnE,uEAAuE;IACvE,oEAAoE;IACpE,mEAAmE;IACnE,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACvE,MAAM,QAAQ,GAAG,MAAM,CAAC,wBAAwB,CAC5C,cAAc,CAAC,EAAE,CACiB,CAAA;IACtC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;QACpC,SAAS,CAAC,IAAI,CAAC;YACX,SAAS,EAAE;gBACP,KAAK,EAAE,CAAC,QAAQ,CAAC;gBACjB,QAAQ,EAAE,EAAE;gBACZ,OAAO,EAAE,EAAE;aACd;SACJ,CAAC,CAAA;IACN,CAAC;IAED,mEAAmE;IACnE,qEAAqE;IACrE,kEAAkE;IAClE,kEAAkE;IAClE,qEAAqE;IACrE,qEAAqE;IACrE,wCAAwC;IACxC,MAAM,SAAS,GAAG,UAAU,EAAE,CAAA;IAC9B,MAAM,SAAS,GAAG;QACd,EAAE,EAAE,SAAS;QACb,GAAG,UAAU;QACb,QAAQ,EAAE,IAAI;QACd,IAAI,EAAE,UAAmB;QACzB,QAAQ,EAAE,SAAkB;QAC5B,UAAU,EAAE,IAAI;KACnB,CAAA;IACD,MAAM,SAAS,GAAG;QACd,EAAE,EAAE,UAAU,EAAE;QAChB,GAAG,UAAU;QACb,QAAQ,EAAE,IAAI,EAAE,wCAAwC;QACxD,IAAI,EAAE,UAAmB;QACzB,UAAU,EAAE,QAAQ,CAAC,EAAE;QACvB,QAAQ,EAAE,IAAI;KACjB,CAAA;IACD,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,cAAc,CACvC,SAAoD,EACpD,SAAoD,EACpD,SAAS,EACT,cAAc,CAAC,EAAE,CACpB,CAAA;IACD,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAEpB,OAAO,EAAE,OAAO,EAAE,sBAAsB,CAAC,SAAS,CAAC,EAAE,CAAA;AACzD,CAAC;AAED;;;;;GAKG;AACH,SAAS,oBAAoB,CACzB,MAAqB,EACrB,EAAwD,EACxD,YAAoB;IAEpB,MAAM,UAAU,GAAG,EAAE,CAAC,mBAAmB,EAAE,CAAA;IAC3C,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,KAAK,CAAA;IAC1C,MAAM,IAAI,GAAG,EAAE,CAAC,aAAa,CAAC,UAAU,CAAC,CAAA;IACzC,IAAI,IAAI,EAAE,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3D,OAAO,KAAK,CAAA;IAChB,CAAC;IACD,MAAM,YAAY,GAAG,EAAE;SAClB,mBAAmB,CAAC,UAAU,CAAC;SAC/B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAA;IAC5C,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAA;IAC3C,MAAM,UAAU,GAAG,YAAY,CAAC,CAAC,CAAC,CAAA;IAClC,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,IAAI,UAAU,CAAC,UAAU,IAAI,IAAI,EAAE,CAAC;QAClE,OAAO,KAAK,CAAA;IAChB,CAAC;IACD,MAAM,aAAa,GAAG,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,UAAU,CAAC,CAAA;IAC/D,IAAI,CAAC,aAAa,IAAI,CAAC,CAAC,SAAS,IAAI,aAAa,CAAC;QAAE,OAAO,KAAK,CAAA;IACjE,OAAO,aAAa,CAAC,OAAO,KAAK,YAAY,CAAA;AACjD,CAAC;AAED,8EAA8E;AAE9E;;;;GAIG;AACH,SAAS,eAAe,CACpB,OAAyB,EACzB,IAAgE;IAEhE,MAAM,MAAM,GAAqB,EAAE,GAAG,OAAO,EAAE,CAAA;IAC/C,IACI,OAAO,CAAC,WAAW;QACnB,IAAI,CAAC,aAAa;QAClB,IAAI,CAAC,aAAa,CAAC,IAAI,GAAG,CAAC,EAC7B,CAAC;QACC,MAAM,GAAG,GAAG,IAAI,CAAC,aAAa,CAAA;QAC9B,MAAM,CAAC,WAAW,GAAG;YACjB,KAAK,EAAE,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC9D,QAAQ,EAAE,OAAO,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,CACzC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CACxB;YACD,OAAO,EAAE,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;SACrE,CAAA;IACL,CAAC;IACD,IAAI,OAAO,CAAC,SAAS,IAAI,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACrE,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAA;QAC5B,MAAM,CAAC,SAAS,GAAG;YACf,KAAK,EAAE,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC5D,QAAQ,EAAE,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAClE,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;SACnE,CAAA;IACL,CAAC;IACD,OAAO,MAAM,CAAA;AACjB,CAAC;AAED,+EAA+E;AAC/E,SAAS,UAAU;IACf,OAAO,MAAM,CAAC,UAAU,EAAE,CAAA;AAC9B,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,2BAA2B,CAChC,OAAyB,EACzB,SAAiB;IAEjB,IAAI,CAAC,OAAO,CAAC,QAAQ;QAAE,OAAO,OAAO,CAAA;IACrC,MAAM,gBAAgB,GAAG,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CACrD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,SAAS,CAC5B,CAAA;IACD,IAAI,gBAAgB,CAAC,MAAM,KAAK,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC/D,OAAO,OAAO,CAAA;IAClB,CAAC;IACD,OAAO;QACH,GAAG,OAAO;QACV,QAAQ,EAAE;YACN,GAAG,OAAO,CAAC,QAAQ;YACnB,QAAQ,EAAE,gBAAgB;SAC7B;KACJ,CAAA;AACL,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,yBAAyB,CAC9B,OAAyB;IAEzB,MAAM,MAAM,GAAqB,EAAE,GAAG,OAAO,EAAE,CAAA;IAC/C,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACnB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;QACjE,MAAM,CAAC,QAAQ,GAAG;YACd,GAAG,OAAO,CAAC,QAAQ;YACnB,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CACtC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAC7B;SACJ,CAAA;IACL,CAAC;IACD,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;QACpB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;QAClE,MAAM,CAAC,SAAS,GAAG;YACf,GAAG,OAAO,CAAC,SAAS;YACpB,QAAQ,EAAE,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CACvC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAC7B;SACJ,CAAA;IACL,CAAC;IACD,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QACtB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;QACpE,MAAM,CAAC,WAAW,GAAG;YACjB,GAAG,OAAO,CAAC,WAAW;YACtB,QAAQ,EAAE,OAAO,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,CACzC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAC7B;SACJ,CAAA;IACL,CAAC;IACD,OAAO,MAAM,CAAA;AACjB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,SAAS,sBAAsB,CAC3B,UAA8B;IAE9B,MAAM,QAAQ,GAAG;QACb,QAAQ,EAAE,IAAI,GAAG,EAAU;QAC3B,SAAS,EAAE,IAAI,GAAG,EAAU;QAC5B,WAAW,EAAE,IAAI,GAAG,EAAU;KACjC,CAAA;IACD,MAAM,UAAU,GAAG;QACf,QAAQ,EAAE,IAAI,GAAG,EAAU;QAC3B,SAAS,EAAE,IAAI,GAAG,EAAU;QAC5B,WAAW,EAAE,IAAI,GAAG,EAAU;KACjC,CAAA;IACD,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QACzB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,KAAK,IAAI,EAAE;YAAE,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QACpE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,KAAK,IAAI,EAAE;YAAE,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QACtE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,KAAK,IAAI,EAAE;YACtC,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QAClC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,OAAO,IAAI,EAAE;YAAE,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QACxE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,OAAO,IAAI,EAAE;YACtC,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QAClC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,OAAO,IAAI,EAAE;YACxC,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;IACxC,CAAC;IACD,IAAI,MAAM,GAAqB,EAAE,CAAA;IACjC,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QACzB,MAAM,SAAS,GAAqB,EAAE,GAAG,CAAC,EAAE,CAAA;QAC5C,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YACb,SAAS,CAAC,QAAQ,GAAG;gBACjB,GAAG,CAAC,CAAC,QAAQ;gBACb,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAChC,CAAC,CAAC,EAAE,EAAE,CACF,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC5B,CAAC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CACrC;aACJ,CAAA;QACL,CAAC;QACD,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC;YACd,SAAS,CAAC,SAAS,GAAG;gBAClB,GAAG,CAAC,CAAC,SAAS;gBACd,QAAQ,EAAE,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CACjC,CAAC,CAAC,EAAE,EAAE,CACF,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC7B,CAAC,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CACtC;aACJ,CAAA;QACL,CAAC;QACD,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;YAChB,SAAS,CAAC,WAAW,GAAG;gBACpB,GAAG,CAAC,CAAC,WAAW;gBAChB,QAAQ,EAAE,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,CACnC,CAAC,CAAC,EAAE,EAAE,CACF,CAAC,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC/B,CAAC,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CACxC;aACJ,CAAA;QACL,CAAC;QACD,MAAM,GAAG,eAAe,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;IAC/C,CAAC;IACD,OAAO,MAAM,CAAA;AACjB,CAAC"}
|
|
@@ -1,7 +1,17 @@
|
|
|
1
1
|
import { type TArgumentEvaluationContext, type TCoreArgumentEvaluationResult, type TCoreExpressionAssignment, type TCoreValidityCheckResult, type TCoreVariableAssignment } from "@proposit/proposit-core";
|
|
2
2
|
import type { ProjectEngine } from "../mutations/types.js";
|
|
3
3
|
import type { TReviewDraft } from "../../schemas/review.js";
|
|
4
|
-
/**
|
|
4
|
+
/**
|
|
5
|
+
* Build a read-only TArgumentEvaluationContext from a ProjectEngine.
|
|
6
|
+
*
|
|
7
|
+
* Mirrors `ArgumentEngine.asEvaluationContext()` (private in core 1.0+):
|
|
8
|
+
* filters naked-Q derivation premises out of every premise listing so
|
|
9
|
+
* downstream `canonicalizeOperatorAssignments` sees the same view of the
|
|
10
|
+
* argument that the engine's own `evaluate(...)` / `checkValidity(...)`
|
|
11
|
+
* use. Without this filter, premise-scope operator decisions would attempt
|
|
12
|
+
* to fan out across naked-Q premises (a harmless no-op today since naked-Q
|
|
13
|
+
* has no operator expressions, but a correctness drift waiting to bite).
|
|
14
|
+
*/
|
|
5
15
|
export declare function toEvaluationContext(argEngine: ProjectEngine): TArgumentEvaluationContext;
|
|
6
16
|
/**
|
|
7
17
|
* Build a per-expression core assignment from the draft's mixed-scope entries.
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"evaluation.d.ts","sourceRoot":"","sources":["../../../src/engine/review/evaluation.ts"],"names":[],"mappings":"AAAA,OAAO,
|
|
1
|
+
{"version":3,"file":"evaluation.d.ts","sourceRoot":"","sources":["../../../src/engine/review/evaluation.ts"],"names":[],"mappings":"AAAA,OAAO,EAEH,KAAK,0BAA0B,EAC/B,KAAK,6BAA6B,EAClC,KAAK,yBAAyB,EAC9B,KAAK,wBAAwB,EAE7B,KAAK,uBAAuB,EAE/B,MAAM,yBAAyB,CAAA;AAChC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAA;AAC1D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AAgC3D;;;;;;;;;;GAUG;AACH,wBAAgB,mBAAmB,CAC/B,SAAS,EAAE,aAAa,GACzB,0BAA0B,CA2B5B;AAED;;;;;;GAMG;AACH,wBAAgB,yBAAyB,CACrC,KAAK,EAAE,YAAY,EACnB,SAAS,EAAE,aAAa,GACzB,yBAAyB,CAkC3B;AAED,wBAAgB,yBAAyB,CACrC,KAAK,EAAE,YAAY,EACnB,SAAS,EAAE,aAAa,GACzB,6BAA6B,CA6B/B;AAED,wBAAgB,sBAAsB,CAClC,SAAS,EAAE,aAAa,EACxB,OAAO,GAAE;IAAE,YAAY,CAAC,EAAE,MAAM,CAAC;IAAC,qBAAqB,CAAC,EAAE,MAAM,CAAA;CAAO,GACxE,wBAAwB,CAa1B;AAED;;;;;;GAMG;AACH,wBAAgB,+BAA+B,CAC3C,MAAM,EAAE,6BAA6B,GAAG,SAAS,GAClD,uBAAuB,CAEzB"}
|
|
@@ -1,14 +1,69 @@
|
|
|
1
|
-
import {
|
|
2
|
-
/**
|
|
1
|
+
import { canonicalizeOperatorAssignments, } from "@proposit/proposit-core";
|
|
2
|
+
/**
|
|
3
|
+
* Returns true iff `pe` is a derivation-typed premise whose expression tree
|
|
4
|
+
* is in naked-Q form (root is a single variable expression).
|
|
5
|
+
*
|
|
6
|
+
* Mirrors `@proposit/proposit-core`'s internal `isNakedQDerivationPremise`
|
|
7
|
+
* (in `src/lib/grammar/naked-q.ts`) — which the core uses to filter naked-Q
|
|
8
|
+
* scaffold premises out of `ArgumentEngine.asEvaluationContext()`'s premise
|
|
9
|
+
* listings. Core does not re-export the predicate from its public surface,
|
|
10
|
+
* so we re-implement it here against the public PremiseEngine API
|
|
11
|
+
* (`toPremiseData`, `getExpressions`, `getRootExpression`).
|
|
12
|
+
*
|
|
13
|
+
* Used by `toEvaluationContext` so the review path's premise listings mirror
|
|
14
|
+
* the engine's evaluation context. The shared review evaluation path
|
|
15
|
+
* (`evaluateArgumentForReview`, `checkValidityForReview`) routes through
|
|
16
|
+
* `argEngine.evaluate(...)` / `argEngine.checkValidity(...)` directly so the
|
|
17
|
+
* engine's internal axiom-forcing pre-pass + naked-Q filter both fire; this
|
|
18
|
+
* predicate is only used by `canonicalizeOperatorAssignments`'s
|
|
19
|
+
* premise-scope fan-out via `toEvaluationContext`.
|
|
20
|
+
*/
|
|
21
|
+
function isNakedQDerivationPremise(pe) {
|
|
22
|
+
if (pe.toPremiseData().type !== "derivation")
|
|
23
|
+
return false;
|
|
24
|
+
const exprs = pe.getExpressions();
|
|
25
|
+
if (exprs.length !== 1)
|
|
26
|
+
return false;
|
|
27
|
+
const root = pe.getRootExpression();
|
|
28
|
+
if (root === undefined)
|
|
29
|
+
return false;
|
|
30
|
+
return root.type === "variable";
|
|
31
|
+
}
|
|
32
|
+
/**
|
|
33
|
+
* Build a read-only TArgumentEvaluationContext from a ProjectEngine.
|
|
34
|
+
*
|
|
35
|
+
* Mirrors `ArgumentEngine.asEvaluationContext()` (private in core 1.0+):
|
|
36
|
+
* filters naked-Q derivation premises out of every premise listing so
|
|
37
|
+
* downstream `canonicalizeOperatorAssignments` sees the same view of the
|
|
38
|
+
* argument that the engine's own `evaluate(...)` / `checkValidity(...)`
|
|
39
|
+
* use. Without this filter, premise-scope operator decisions would attempt
|
|
40
|
+
* to fan out across naked-Q premises (a harmless no-op today since naked-Q
|
|
41
|
+
* has no operator expressions, but a correctness drift waiting to bite).
|
|
42
|
+
*/
|
|
3
43
|
export function toEvaluationContext(argEngine) {
|
|
44
|
+
const conclusion = argEngine.getConclusionPremise();
|
|
45
|
+
const filteredConclusion = conclusion && isNakedQDerivationPremise(conclusion)
|
|
46
|
+
? undefined
|
|
47
|
+
: conclusion;
|
|
4
48
|
return {
|
|
5
49
|
argumentId: argEngine.getArgument().id,
|
|
6
|
-
getConclusionPremise: () =>
|
|
7
|
-
listSupportingPremises: () => argEngine
|
|
8
|
-
|
|
9
|
-
|
|
50
|
+
getConclusionPremise: () => filteredConclusion,
|
|
51
|
+
listSupportingPremises: () => argEngine
|
|
52
|
+
.listSupportingPremises()
|
|
53
|
+
.filter((pm) => !isNakedQDerivationPremise(pm)),
|
|
54
|
+
listPremises: () => argEngine
|
|
55
|
+
.listPremises()
|
|
56
|
+
.filter((pm) => !isNakedQDerivationPremise(pm)),
|
|
57
|
+
conclusionPremiseId: filteredConclusion?.getId(),
|
|
10
58
|
getVariable: (id) => argEngine.getVariable(id),
|
|
11
|
-
getPremise: (id) =>
|
|
59
|
+
getPremise: (id) => {
|
|
60
|
+
const pe = argEngine.getPremise(id);
|
|
61
|
+
if (pe === undefined)
|
|
62
|
+
return undefined;
|
|
63
|
+
if (isNakedQDerivationPremise(pe))
|
|
64
|
+
return undefined;
|
|
65
|
+
return pe;
|
|
66
|
+
},
|
|
12
67
|
validateEvaluability: () => argEngine.validateEvaluability(),
|
|
13
68
|
};
|
|
14
69
|
}
|
|
@@ -23,6 +78,18 @@ export function buildExpressionAssignment(draft, argEngine) {
|
|
|
23
78
|
const variables = {};
|
|
24
79
|
for (const v of argEngine.getVariables()) {
|
|
25
80
|
const claimId = "claimId" in v ? v.claimId : undefined;
|
|
81
|
+
// Axiomatic-claim-bound variables MUST NOT appear in the assignment
|
|
82
|
+
// map — `ArgumentEngine.evaluate()` throws
|
|
83
|
+
// `AXIOM_VARIABLE_ASSIGNMENT_FORBIDDEN` on any caller-supplied key
|
|
84
|
+
// for an axiom variable (presence check, not value check). The
|
|
85
|
+
// engine's pre-pass forces them to `true` internally before
|
|
86
|
+
// delegating to the standalone evaluator, so we leave them out and
|
|
87
|
+
// let the safety net populate them.
|
|
88
|
+
if (claimId != null && "claimVersion" in v) {
|
|
89
|
+
const boundClaim = argEngine.getClaim(claimId, v.claimVersion);
|
|
90
|
+
if (boundClaim?.type === "axiomatic")
|
|
91
|
+
continue;
|
|
92
|
+
}
|
|
26
93
|
const c = claimId ? draft.claimAssignments[claimId] : undefined;
|
|
27
94
|
variables[v.id] = c ? (c.skipped ? null : c.value) : null;
|
|
28
95
|
}
|
|
@@ -40,68 +107,42 @@ export function buildExpressionAssignment(draft, argEngine) {
|
|
|
40
107
|
return { variables, operatorAssignments };
|
|
41
108
|
}
|
|
42
109
|
export function evaluateArgumentForReview(draft, argEngine) {
|
|
43
|
-
const ctx = toEvaluationContext(argEngine);
|
|
44
110
|
const assignment = buildExpressionAssignment(draft, argEngine);
|
|
111
|
+
// Route through `argEngine.evaluate(...)` rather than the standalone
|
|
112
|
+
// `evaluateArgument(ctx, ...)` so the engine's safety nets fire:
|
|
113
|
+
// 1. Axiomatic-bound variables are forced to `true` before evaluation
|
|
114
|
+
// (`applyAxiomaticForcedAssignments` in core 1.0+). The user-facing
|
|
115
|
+
// review wizard never assigns axiomatic claims, so without this
|
|
116
|
+
// pre-pass the axiom variable enters the evaluator as `null` and
|
|
117
|
+
// propagates → "Indeterminate" verdict.
|
|
118
|
+
// 2. Naked-Q derivation premises are filtered out of the engine's
|
|
119
|
+
// internal eval context — so the scaffold premises minted by
|
|
120
|
+
// `addClaim` for every non-conclusion normal claim don't appear as
|
|
121
|
+
// supporting premises during evaluation.
|
|
122
|
+
//
|
|
123
|
+
// Pre-fix this path constructed the context manually via
|
|
124
|
+
// `toEvaluationContext` and called the standalone `evaluateArgument`,
|
|
125
|
+
// bypassing both safety nets. See followups-sweep-2026-05 C1 and the
|
|
126
|
+
// investigation report at
|
|
127
|
+
// proposit-server/docs/research/2026-05-16-review-indeterminate-bug.md.
|
|
128
|
+
//
|
|
45
129
|
// `strictUnknownAssignmentKeys: false` because we pass an argument-wide
|
|
46
|
-
// assignment; per-premise strictness would reject every premise that
|
|
47
|
-
// reference every claim-bound variable in the argument.
|
|
48
|
-
|
|
130
|
+
// assignment; per-premise strictness would reject every premise that
|
|
131
|
+
// doesn't reference every claim-bound variable in the argument.
|
|
132
|
+
return argEngine.evaluate(assignment, {
|
|
49
133
|
validateFirst: true,
|
|
50
134
|
strictUnknownAssignmentKeys: false,
|
|
51
135
|
includeDiagnostics: true,
|
|
52
136
|
includeExpressionValues: true,
|
|
53
137
|
});
|
|
54
|
-
// Diagnostic dump for proposit-core debugging: full argument shape +
|
|
55
|
-
// assignment + evaluation result as a single JSON payload.
|
|
56
|
-
try {
|
|
57
|
-
console.log("[review:evaluation]", JSON.stringify(buildEvaluationDebugPayload(draft, argEngine, assignment, result), null, 2));
|
|
58
|
-
}
|
|
59
|
-
catch (err) {
|
|
60
|
-
console.warn("[review:evaluation] dump failed:", err);
|
|
61
|
-
}
|
|
62
|
-
return result;
|
|
63
|
-
}
|
|
64
|
-
function buildEvaluationDebugPayload(draft, argEngine, assignment, result) {
|
|
65
|
-
const variables = argEngine.getVariables().map((v) => ({
|
|
66
|
-
id: v.id,
|
|
67
|
-
symbol: v.symbol,
|
|
68
|
-
claimId: "claimId" in v ? v.claimId : undefined,
|
|
69
|
-
boundPremiseId: "boundPremiseId" in v ? v.boundPremiseId : undefined,
|
|
70
|
-
}));
|
|
71
|
-
const premises = argEngine.listPremises().map((p) => {
|
|
72
|
-
const id = p.getId();
|
|
73
|
-
const expressions = p.getExpressions().map((e) => ({
|
|
74
|
-
id: e.id,
|
|
75
|
-
type: e.type,
|
|
76
|
-
operator: "operator" in e ? e.operator : undefined,
|
|
77
|
-
variableId: "variableId" in e ? e.variableId : undefined,
|
|
78
|
-
parentId: e.parentId,
|
|
79
|
-
position: e.position,
|
|
80
|
-
}));
|
|
81
|
-
return {
|
|
82
|
-
id,
|
|
83
|
-
role: argEngine.getConclusionPremise()?.getId() === id
|
|
84
|
-
? "conclusion"
|
|
85
|
-
: "supporting",
|
|
86
|
-
rootExpressionId: p.getRootExpressionId(),
|
|
87
|
-
expressions,
|
|
88
|
-
};
|
|
89
|
-
});
|
|
90
|
-
return {
|
|
91
|
-
argumentId: argEngine.getArgument().id,
|
|
92
|
-
argumentVersion: argEngine.getArgument().version,
|
|
93
|
-
variables,
|
|
94
|
-
premises,
|
|
95
|
-
draft: {
|
|
96
|
-
claimAssignments: draft.claimAssignments,
|
|
97
|
-
operatorAssignments: draft.operatorAssignments,
|
|
98
|
-
},
|
|
99
|
-
canonicalAssignment: assignment,
|
|
100
|
-
result,
|
|
101
|
-
};
|
|
102
138
|
}
|
|
103
139
|
export function checkValidityForReview(argEngine, options = {}) {
|
|
104
|
-
|
|
140
|
+
// Route through `argEngine.checkValidity(...)` so axiomatic-bound
|
|
141
|
+
// variables are excluded from the free-choice enumeration AND pinned to
|
|
142
|
+
// `true` in every generated assignment (core's
|
|
143
|
+
// `getAxiomaticBoundVariableIds` carve-out). Same C1 safety-net story as
|
|
144
|
+
// `evaluateArgumentForReview` above.
|
|
145
|
+
return argEngine.checkValidity({
|
|
105
146
|
mode: "exhaustive",
|
|
106
147
|
maxVariables: options.maxVariables ?? 16,
|
|
107
148
|
maxAssignmentsChecked: options.maxAssignmentsChecked ?? 10_000,
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"evaluation.js","sourceRoot":"","sources":["../../../src/engine/review/evaluation.ts"],"names":[],"mappings":"AAAA,OAAO,EACH
|
|
1
|
+
{"version":3,"file":"evaluation.js","sourceRoot":"","sources":["../../../src/engine/review/evaluation.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,+BAA+B,GAQlC,MAAM,yBAAyB,CAAA;AAIhC;;;;;;;;;;;;;;;;;;GAkBG;AACH,SAAS,yBAAyB,CAC9B,EAAwD;IAExD,IAAI,EAAE,CAAC,aAAa,EAAE,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,KAAK,CAAA;IAC1D,MAAM,KAAK,GAAG,EAAE,CAAC,cAAc,EAAE,CAAA;IACjC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAA;IACpC,MAAM,IAAI,GAAG,EAAE,CAAC,iBAAiB,EAAE,CAAA;IACnC,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,KAAK,CAAA;IACpC,OAAO,IAAI,CAAC,IAAI,KAAK,UAAU,CAAA;AACnC,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,mBAAmB,CAC/B,SAAwB;IAExB,MAAM,UAAU,GAAG,SAAS,CAAC,oBAAoB,EAAE,CAAA;IACnD,MAAM,kBAAkB,GACpB,UAAU,IAAI,yBAAyB,CAAC,UAAU,CAAC;QAC/C,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,UAAU,CAAA;IACpB,OAAO;QACH,UAAU,EAAE,SAAS,CAAC,WAAW,EAAE,CAAC,EAAE;QACtC,oBAAoB,EAAE,GAAG,EAAE,CAAC,kBAAkB;QAC9C,sBAAsB,EAAE,GAAG,EAAE,CACzB,SAAS;aACJ,sBAAsB,EAAE;aACxB,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,yBAAyB,CAAC,EAAE,CAAC,CAAC;QACvD,YAAY,EAAE,GAAG,EAAE,CACf,SAAS;aACJ,YAAY,EAAE;aACd,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,yBAAyB,CAAC,EAAE,CAAC,CAAC;QACvD,mBAAmB,EAAE,kBAAkB,EAAE,KAAK,EAAE;QAChD,WAAW,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC;QAC9C,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE;YACf,MAAM,EAAE,GAAG,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;YACnC,IAAI,EAAE,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAA;YACtC,IAAI,yBAAyB,CAAC,EAAE,CAAC;gBAAE,OAAO,SAAS,CAAA;YACnD,OAAO,EAAE,CAAA;QACb,CAAC;QACD,oBAAoB,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,oBAAoB,EAAE;KAC/D,CAAA;AACL,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,yBAAyB,CACrC,KAAmB,EACnB,SAAwB;IAExB,MAAM,SAAS,GAAwC,EAAE,CAAA;IACzD,KAAK,MAAM,CAAC,IAAI,SAAS,CAAC,YAAY,EAAE,EAAE,CAAC;QACvC,MAAM,OAAO,GAAG,SAAS,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAA;QACtD,oEAAoE;QACpE,2CAA2C;QAC3C,mEAAmE;QACnE,+DAA+D;QAC/D,4DAA4D;QAC5D,mEAAmE;QACnE,oCAAoC;QACpC,IAAI,OAAO,IAAI,IAAI,IAAI,cAAc,IAAI,CAAC,EAAE,CAAC;YACzC,MAAM,UAAU,GAAG,SAAS,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,YAAY,CAAC,CAAA;YAC9D,IAAI,UAAU,EAAE,IAAI,KAAK,WAAW;gBAAE,SAAQ;QAClD,CAAC;QACD,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;QAC/D,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;IAC7D,CAAC;IAED,MAAM,YAAY,GAA4C,EAAE,CAAA;IAChE,MAAM,mBAAmB,GAA4C,EAAE,CAAA;IACvE,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,mBAAmB,EAAE,CAAC;QACzC,IAAI,EAAE,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACzB,YAAY,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAA;QAC5C,CAAC;aAAM,IAAI,EAAE,CAAC,KAAK,KAAK,YAAY,IAAI,EAAE,CAAC,YAAY,EAAE,CAAC;YACtD,mBAAmB,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAA;QACtD,CAAC;IACL,CAAC;IAED,MAAM,mBAAmB,GAAG,+BAA+B,CACvD,mBAAmB,CAAC,SAAS,CAAC,EAC9B,EAAE,YAAY,EAAE,mBAAmB,EAAE,CACxC,CAAA;IACD,OAAO,EAAE,SAAS,EAAE,mBAAmB,EAAE,CAAA;AAC7C,CAAC;AAED,MAAM,UAAU,yBAAyB,CACrC,KAAmB,EACnB,SAAwB;IAExB,MAAM,UAAU,GAAG,yBAAyB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAA;IAC9D,qEAAqE;IACrE,iEAAiE;IACjE,wEAAwE;IACxE,yEAAyE;IACzE,qEAAqE;IACrE,sEAAsE;IACtE,6CAA6C;IAC7C,oEAAoE;IACpE,kEAAkE;IAClE,wEAAwE;IACxE,8CAA8C;IAC9C,EAAE;IACF,yDAAyD;IACzD,sEAAsE;IACtE,qEAAqE;IACrE,0BAA0B;IAC1B,wEAAwE;IACxE,EAAE;IACF,wEAAwE;IACxE,qEAAqE;IACrE,gEAAgE;IAChE,OAAO,SAAS,CAAC,QAAQ,CAAC,UAAU,EAAE;QAClC,aAAa,EAAE,IAAI;QACnB,2BAA2B,EAAE,KAAK;QAClC,kBAAkB,EAAE,IAAI;QACxB,uBAAuB,EAAE,IAAI;KAChC,CAAC,CAAA;AACN,CAAC;AAED,MAAM,UAAU,sBAAsB,CAClC,SAAwB,EACxB,UAAqE,EAAE;IAEvE,kEAAkE;IAClE,wEAAwE;IACxE,+CAA+C;IAC/C,yEAAyE;IACzE,qCAAqC;IACrC,OAAO,SAAS,CAAC,aAAa,CAAC;QAC3B,IAAI,EAAE,YAAY;QAClB,YAAY,EAAE,OAAO,CAAC,YAAY,IAAI,EAAE;QACxC,qBAAqB,EAAE,OAAO,CAAC,qBAAqB,IAAI,MAAM;QAC9D,gCAAgC,EAAE,IAAI;QACtC,aAAa,EAAE,IAAI;KACtB,CAAC,CAAA;AACN,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,+BAA+B,CAC3C,MAAiD;IAEjD,OAAO,MAAM,EAAE,wBAAwB,IAAI,EAAE,CAAA;AACjD,CAAC"}
|
|
@@ -0,0 +1,20 @@
|
|
|
1
|
+
import Type, { type Static } from "typebox";
|
|
2
|
+
export declare const IngestionPipelineVersionSchema: Type.TUnion<[Type.TLiteral<"v1-single-shot">, Type.TLiteral<"v2-multi-stage">]>;
|
|
3
|
+
export type TIngestionPipelineVersion = Static<typeof IngestionPipelineVersionSchema>;
|
|
4
|
+
/**
|
|
5
|
+
* Internal task input passed from a server route handler into the
|
|
6
|
+
* ingestion pipeline executor. NOT a public route body — the public
|
|
7
|
+
* `/api/v1/argument/import/raw_text` route still accepts the existing
|
|
8
|
+
* `CreateArgumentSchema` shape (`{ origin: "raw_text", data: { text } }`).
|
|
9
|
+
* The server constructs this internal shape from the public body plus the
|
|
10
|
+
* server-side `INGESTION_PIPELINE_VERSION` env (never from the request body)
|
|
11
|
+
* and passes it to `executePipeline(...)` in `@proposit/proposit-core`.
|
|
12
|
+
*/
|
|
13
|
+
export declare const IngestArgumentTaskInputSchema: Type.TObject<{
|
|
14
|
+
text: Type.TString;
|
|
15
|
+
pipelineVersion: Type.TUnion<[Type.TLiteral<"v1-single-shot">, Type.TLiteral<"v2-multi-stage">]>;
|
|
16
|
+
title: Type.TOptional<Type.TString>;
|
|
17
|
+
description: Type.TOptional<Type.TString>;
|
|
18
|
+
}>;
|
|
19
|
+
export type TIngestArgumentTaskInput = Static<typeof IngestArgumentTaskInputSchema>;
|
|
20
|
+
//# sourceMappingURL=index.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/schemas/ingest-argument/index.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAE3C,eAAO,MAAM,8BAA8B,iFAGzC,CAAA;AACF,MAAM,MAAM,yBAAyB,GAAG,MAAM,CAC1C,OAAO,8BAA8B,CACxC,CAAA;AAED;;;;;;;;GAQG;AACH,eAAO,MAAM,6BAA6B;;;;;EAKxC,CAAA;AACF,MAAM,MAAM,wBAAwB,GAAG,MAAM,CACzC,OAAO,6BAA6B,CACvC,CAAA"}
|
|
@@ -0,0 +1,21 @@
|
|
|
1
|
+
import Type, {} from "typebox";
|
|
2
|
+
export const IngestionPipelineVersionSchema = Type.Union([
|
|
3
|
+
Type.Literal("v1-single-shot"),
|
|
4
|
+
Type.Literal("v2-multi-stage"),
|
|
5
|
+
]);
|
|
6
|
+
/**
|
|
7
|
+
* Internal task input passed from a server route handler into the
|
|
8
|
+
* ingestion pipeline executor. NOT a public route body — the public
|
|
9
|
+
* `/api/v1/argument/import/raw_text` route still accepts the existing
|
|
10
|
+
* `CreateArgumentSchema` shape (`{ origin: "raw_text", data: { text } }`).
|
|
11
|
+
* The server constructs this internal shape from the public body plus the
|
|
12
|
+
* server-side `INGESTION_PIPELINE_VERSION` env (never from the request body)
|
|
13
|
+
* and passes it to `executePipeline(...)` in `@proposit/proposit-core`.
|
|
14
|
+
*/
|
|
15
|
+
export const IngestArgumentTaskInputSchema = Type.Object({
|
|
16
|
+
text: Type.String({ minLength: 1, maxLength: 50_000 }),
|
|
17
|
+
pipelineVersion: IngestionPipelineVersionSchema,
|
|
18
|
+
title: Type.Optional(Type.String()),
|
|
19
|
+
description: Type.Optional(Type.String()),
|
|
20
|
+
});
|
|
21
|
+
//# sourceMappingURL=index.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/schemas/ingest-argument/index.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAE3C,MAAM,CAAC,MAAM,8BAA8B,GAAG,IAAI,CAAC,KAAK,CAAC;IACrD,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC;IAC9B,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC;CACjC,CAAC,CAAA;AAKF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAG,IAAI,CAAC,MAAM,CAAC;IACrD,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IACtD,eAAe,EAAE,8BAA8B;IAC/C,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACnC,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CAC5C,CAAC,CAAA"}
|
|
@@ -999,7 +999,7 @@ export type TClaim = Static<typeof ClaimSchema>;
|
|
|
999
999
|
export declare function isNormalClaim(claim: TClaim): claim is TNormalClaim;
|
|
1000
1000
|
export declare function isCitationClaim(claim: TClaim): claim is TCitationClaim;
|
|
1001
1001
|
export declare function isAxiomaticClaim(claim: TClaim): claim is TAxiomaticClaim;
|
|
1002
|
-
export declare const ClaimWithChildrenSchema: Type.TObject<{
|
|
1002
|
+
export declare const ClaimWithChildrenSchema: Type.TUnion<[Type.TObject<{
|
|
1003
1003
|
digest: Type.TString;
|
|
1004
1004
|
id: Type.TString;
|
|
1005
1005
|
argumentId: Type.TString;
|
|
@@ -1019,6 +1019,26 @@ export declare const ClaimWithChildrenSchema: Type.TObject<{
|
|
|
1019
1019
|
axiom: Type.TNull;
|
|
1020
1020
|
childClaimIds: Type.TArray<Type.TString>;
|
|
1021
1021
|
childCitationIds: Type.TArray<Type.TString>;
|
|
1022
|
-
}
|
|
1022
|
+
}>, Type.TObject<{
|
|
1023
|
+
digest: Type.TString;
|
|
1024
|
+
id: Type.TString;
|
|
1025
|
+
argumentId: Type.TString;
|
|
1026
|
+
version: Type.TNumber;
|
|
1027
|
+
claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
|
|
1028
|
+
creatorId: Type.TString;
|
|
1029
|
+
createdOn: import("../common.js").TDateType;
|
|
1030
|
+
parentId: Type.TUnion<[Type.TString, Type.TNull]>;
|
|
1031
|
+
type: Type.TLiteral<"axiomatic">;
|
|
1032
|
+
kind: Type.TNull;
|
|
1033
|
+
title: Type.TNull;
|
|
1034
|
+
body: Type.TNull;
|
|
1035
|
+
titleContentHash: Type.TNull;
|
|
1036
|
+
url: Type.TNull;
|
|
1037
|
+
citation: Type.TNull;
|
|
1038
|
+
citationContentHash: Type.TNull;
|
|
1039
|
+
axiom: Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"stipulation">, Type.TLiteral<"logical-principle">, Type.TLiteral<"mathematical-principle">, Type.TLiteral<"domain-rule">, Type.TLiteral<"background-assumption">]>;
|
|
1040
|
+
childClaimIds: Type.TArray<Type.TString>;
|
|
1041
|
+
childCitationIds: Type.TArray<Type.TString>;
|
|
1042
|
+
}>]>;
|
|
1023
1043
|
export type TClaimWithChildren = Static<typeof ClaimWithChildrenSchema>;
|
|
1024
1044
|
//# sourceMappingURL=claims.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../../src/schemas/model/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAY3C,eAAO,MAAM,eAAe,+FAAsB,CAAA;AAClD,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,eAAe,CAAC,CAAA;AAEvD,eAAO,MAAM,eAAe,6NAyB1B,CAAA;AACF,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,eAAe,CAAC,CAAA;AAUvD,eAAO,MAAM,wBAAwB;;;;EAInC,CAAA;AACF,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAIzE,eAAO,MAAM,wBAAwB;;;;;EAGpC,CAAA;AACD,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAIxE,eAAO,MAAM,gBAAgB;;;;;CAKnB,CAAA;AAWV,eAAO,MAAM,sBAAsB,2JAGjC,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAA;AAarE,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;EAU7B,CAAA;AACD,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAE3D,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAU9B,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAE/D,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;EAU/B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAEjE,eAAO,MAAM,WAAW;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAItB,CAAA;AACF,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,WAAW,CAAC,CAAA;AAE/C,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,YAAY,CAElE;AACD,wBAAgB,eAAe,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,cAAc,CAEtE;AACD,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,eAAe,CAExE;
|
|
1
|
+
{"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../../src/schemas/model/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAY3C,eAAO,MAAM,eAAe,+FAAsB,CAAA;AAClD,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,eAAe,CAAC,CAAA;AAEvD,eAAO,MAAM,eAAe,6NAyB1B,CAAA;AACF,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,eAAe,CAAC,CAAA;AAUvD,eAAO,MAAM,wBAAwB;;;;EAInC,CAAA;AACF,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAIzE,eAAO,MAAM,wBAAwB;;;;;EAGpC,CAAA;AACD,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAIxE,eAAO,MAAM,gBAAgB;;;;;CAKnB,CAAA;AAWV,eAAO,MAAM,sBAAsB,2JAGjC,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAA;AAarE,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;EAU7B,CAAA;AACD,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAE3D,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAU9B,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAE/D,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;EAU/B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAEjE,eAAO,MAAM,WAAW;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAItB,CAAA;AACF,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,WAAW,CAAC,CAAA;AAE/C,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,YAAY,CAElE;AACD,wBAAgB,eAAe,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,cAAc,CAEtE;AACD,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,eAAe,CAExE;AAUD,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IASlC,CAAA;AACF,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAA"}
|
|
@@ -114,11 +114,22 @@ export function isCitationClaim(claim) {
|
|
|
114
114
|
export function isAxiomaticClaim(claim) {
|
|
115
115
|
return claim.type === "axiomatic";
|
|
116
116
|
}
|
|
117
|
-
//
|
|
118
|
-
//
|
|
119
|
-
//
|
|
120
|
-
|
|
121
|
-
|
|
122
|
-
|
|
123
|
-
|
|
117
|
+
// Union of NormalClaim | AxiomaticClaim with `childClaimIds` /
|
|
118
|
+
// `childCitationIds` arrays attached. Citation claims are excluded — they
|
|
119
|
+
// have no children of their own (they're leaf citations).
|
|
120
|
+
//
|
|
121
|
+
// Widened from NormalClaim-only in `@proposit/shared@0.12.1` to admit
|
|
122
|
+
// axiomatic claims. Server's `getClaims()` filtered by `type='normal'` in
|
|
123
|
+
// pre-axiom releases; the R5 axiom-mutation server slice removed that filter
|
|
124
|
+
// so axiomatic claims now flow through this surface. The schema follows.
|
|
125
|
+
export const ClaimWithChildrenSchema = Type.Union([
|
|
126
|
+
Type.Interface([NormalClaimSchema], {
|
|
127
|
+
childClaimIds: Type.Array(UUID),
|
|
128
|
+
childCitationIds: Type.Array(UUID),
|
|
129
|
+
}),
|
|
130
|
+
Type.Interface([AxiomaticClaimSchema], {
|
|
131
|
+
childClaimIds: Type.Array(UUID),
|
|
132
|
+
childCitationIds: Type.Array(UUID),
|
|
133
|
+
}),
|
|
134
|
+
]);
|
|
124
135
|
//# sourceMappingURL=claims.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"claims.js","sourceRoot":"","sources":["../../../src/schemas/model/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAC5D,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAA;AACrD,OAAO,EACH,4BAA4B,EAC5B,2BAA2B,EAC3B,yBAAyB,EACzB,mBAAmB,GACtB,MAAM,yBAAyB,CAAA;AAEhC,4EAA4E;AAC5E,iEAAiE;AACjE,MAAM,CAAC,MAAM,eAAe,GAAG,mBAAmB,CAAA;AAGlD,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,CAAC,KAAK,CAAC;IACtC,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE;QACvB,WAAW,EACP,qFAAqF;KAC5F,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE;QACxB,WAAW,EACP,gGAAgG;KACvG,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE;QAC9B,WAAW,EACP,wFAAwF;KAC/F,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,wBAAwB,EAAE;QACnC,WAAW,EACP,6DAA6D;KACpE,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE;QACxB,WAAW,EACP,+FAA+F;KACtG,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,uBAAuB,EAAE;QAClC,WAAW,EACP,mEAAmE;KAC1E,CAAC;CACL,CAAC,CAAA;AAGF,6EAA6E;AAC7E,gDAAgD;AAChD,MAAM,yBAAyB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1C,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;CACxB,CAAC,CAAA;AAEF,8EAA8E;AAC9E,2EAA2E;AAC3E,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,MAAM,CAAC;IAChD,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;IACpB,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;IACnB,gBAAgB,EAAE,IAAI,CAAC,MAAM,EAAE;CAClC,CAAC,CAAA;AAGF,2EAA2E;AAC3E,kEAAkE;AAClE,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,SAAS,CAClD,CAAC,wBAAwB,EAAE,yBAAyB,CAAC,EACrD,EAAE,CACL,CAAA;AAGD,4EAA4E;AAC5E,oBAAoB;AACpB,MAAM,CAAC,MAAM,gBAAgB,GAAG;IAC5B,KAAK,EAAE,OAAO;IACd,UAAU,EAAE,YAAY;IACxB,UAAU,EAAE,YAAY;IACxB,SAAS,EAAE,WAAW;CAChB,CAAA;AAEV,MAAM,2BAA2B,GAAG,IAAI,CAAC,KAAK,CAAC;IAC3C,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,UAAU,CAAC;IACzC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,SAAS,CAAC;CAC3C,CAAC,CAAA;AACF,MAAM,6BAA6B,GAAG,IAAI,CAAC,KAAK,CAAC;IAC7C,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,UAAU,CAAC;IACzC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC;CACvC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC7C,2BAA2B;IAC3B,6BAA6B;CAChC,CAAC,CAAA;AAGF,2EAA2E;AAC3E,MAAM,uBAAuB,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,yBAAyB,CAAC,EAAE;IACxE,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,WAAW,EAAE,QAAQ,CAAC,IAAI,CAAC;IAC3B,SAAS,EAAE,IAAI;IACf,SAAS,EAAE,aAAa;IACxB,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC;CAC3B,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,SAAS,CAC3C,CAAC,uBAAuB,EAAE,wBAAwB,CAAC,EACnD;IACI,IAAI,EAAE,yBAAyB;IAC/B,IAAI,EAAE,sBAAsB;IAC5B,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE;IAChB,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE;IACrB,mBAAmB,EAAE,IAAI,CAAC,IAAI,EAAE;IAChC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE;CACrB,CACJ,CAAA;AAGD,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,uBAAuB,CAAC,EAAE;IACzE,IAAI,EAAE,2BAA2B;IACjC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE;IACjB,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE;IAClB,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE;IACjB,gBAAgB,EAAE,IAAI,CAAC,IAAI,EAAE;IAC7B,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE;IAClB,QAAQ,EAAE,mBAAmB;IAC7B,mBAAmB,EAAE,IAAI,CAAC,MAAM,EAAE;IAClC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE;CACrB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,uBAAuB,CAAC,EAAE;IAC1E,IAAI,EAAE,4BAA4B;IAClC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE;IACjB,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE;IAClB,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE;IACjB,gBAAgB,EAAE,IAAI,CAAC,IAAI,EAAE;IAC7B,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE;IAChB,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE;IACrB,mBAAmB,EAAE,IAAI,CAAC,IAAI,EAAE;IAChC,KAAK,EAAE,eAAe;CACzB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC;IAClC,iBAAiB;IACjB,mBAAmB;IACnB,oBAAoB;CACvB,CAAC,CAAA;AAGF,MAAM,UAAU,aAAa,CAAC,KAAa;IACvC,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAA;AAClC,CAAC;AACD,MAAM,UAAU,eAAe,CAAC,KAAa;IACzC,OAAO,KAAK,CAAC,IAAI,KAAK,UAAU,CAAA;AACpC,CAAC;AACD,MAAM,UAAU,gBAAgB,CAAC,KAAa;IAC1C,OAAO,KAAK,CAAC,IAAI,KAAK,WAAW,CAAA;AACrC,CAAC;AAED,
|
|
1
|
+
{"version":3,"file":"claims.js","sourceRoot":"","sources":["../../../src/schemas/model/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAC5D,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAA;AACrD,OAAO,EACH,4BAA4B,EAC5B,2BAA2B,EAC3B,yBAAyB,EACzB,mBAAmB,GACtB,MAAM,yBAAyB,CAAA;AAEhC,4EAA4E;AAC5E,iEAAiE;AACjE,MAAM,CAAC,MAAM,eAAe,GAAG,mBAAmB,CAAA;AAGlD,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,CAAC,KAAK,CAAC;IACtC,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE;QACvB,WAAW,EACP,qFAAqF;KAC5F,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE;QACxB,WAAW,EACP,gGAAgG;KACvG,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE;QAC9B,WAAW,EACP,wFAAwF;KAC/F,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,wBAAwB,EAAE;QACnC,WAAW,EACP,6DAA6D;KACpE,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE;QACxB,WAAW,EACP,+FAA+F;KACtG,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,uBAAuB,EAAE;QAClC,WAAW,EACP,mEAAmE;KAC1E,CAAC;CACL,CAAC,CAAA;AAGF,6EAA6E;AAC7E,gDAAgD;AAChD,MAAM,yBAAyB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1C,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;CACxB,CAAC,CAAA;AAEF,8EAA8E;AAC9E,2EAA2E;AAC3E,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,MAAM,CAAC;IAChD,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;IACpB,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;IACnB,gBAAgB,EAAE,IAAI,CAAC,MAAM,EAAE;CAClC,CAAC,CAAA;AAGF,2EAA2E;AAC3E,kEAAkE;AAClE,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,SAAS,CAClD,CAAC,wBAAwB,EAAE,yBAAyB,CAAC,EACrD,EAAE,CACL,CAAA;AAGD,4EAA4E;AAC5E,oBAAoB;AACpB,MAAM,CAAC,MAAM,gBAAgB,GAAG;IAC5B,KAAK,EAAE,OAAO;IACd,UAAU,EAAE,YAAY;IACxB,UAAU,EAAE,YAAY;IACxB,SAAS,EAAE,WAAW;CAChB,CAAA;AAEV,MAAM,2BAA2B,GAAG,IAAI,CAAC,KAAK,CAAC;IAC3C,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,UAAU,CAAC;IACzC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,SAAS,CAAC;CAC3C,CAAC,CAAA;AACF,MAAM,6BAA6B,GAAG,IAAI,CAAC,KAAK,CAAC;IAC7C,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,UAAU,CAAC;IACzC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC;CACvC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC7C,2BAA2B;IAC3B,6BAA6B;CAChC,CAAC,CAAA;AAGF,2EAA2E;AAC3E,MAAM,uBAAuB,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,yBAAyB,CAAC,EAAE;IACxE,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,WAAW,EAAE,QAAQ,CAAC,IAAI,CAAC;IAC3B,SAAS,EAAE,IAAI;IACf,SAAS,EAAE,aAAa;IACxB,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC;CAC3B,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,SAAS,CAC3C,CAAC,uBAAuB,EAAE,wBAAwB,CAAC,EACnD;IACI,IAAI,EAAE,yBAAyB;IAC/B,IAAI,EAAE,sBAAsB;IAC5B,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE;IAChB,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE;IACrB,mBAAmB,EAAE,IAAI,CAAC,IAAI,EAAE;IAChC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE;CACrB,CACJ,CAAA;AAGD,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,uBAAuB,CAAC,EAAE;IACzE,IAAI,EAAE,2BAA2B;IACjC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE;IACjB,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE;IAClB,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE;IACjB,gBAAgB,EAAE,IAAI,CAAC,IAAI,EAAE;IAC7B,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE;IAClB,QAAQ,EAAE,mBAAmB;IAC7B,mBAAmB,EAAE,IAAI,CAAC,MAAM,EAAE;IAClC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE;CACrB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,uBAAuB,CAAC,EAAE;IAC1E,IAAI,EAAE,4BAA4B;IAClC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE;IACjB,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE;IAClB,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE;IACjB,gBAAgB,EAAE,IAAI,CAAC,IAAI,EAAE;IAC7B,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE;IAChB,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE;IACrB,mBAAmB,EAAE,IAAI,CAAC,IAAI,EAAE;IAChC,KAAK,EAAE,eAAe;CACzB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC;IAClC,iBAAiB;IACjB,mBAAmB;IACnB,oBAAoB;CACvB,CAAC,CAAA;AAGF,MAAM,UAAU,aAAa,CAAC,KAAa;IACvC,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAA;AAClC,CAAC;AACD,MAAM,UAAU,eAAe,CAAC,KAAa;IACzC,OAAO,KAAK,CAAC,IAAI,KAAK,UAAU,CAAA;AACpC,CAAC;AACD,MAAM,UAAU,gBAAgB,CAAC,KAAa;IAC1C,OAAO,KAAK,CAAC,IAAI,KAAK,WAAW,CAAA;AACrC,CAAC;AAED,+DAA+D;AAC/D,0EAA0E;AAC1E,0DAA0D;AAC1D,EAAE;AACF,sEAAsE;AACtE,0EAA0E;AAC1E,6EAA6E;AAC7E,yEAAyE;AACzE,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC9C,IAAI,CAAC,SAAS,CAAC,CAAC,iBAAiB,CAAC,EAAE;QAChC,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;QAC/B,gBAAgB,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;KACrC,CAAC;IACF,IAAI,CAAC,SAAS,CAAC,CAAC,oBAAoB,CAAC,EAAE;QACnC,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;QAC/B,gBAAgB,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;KACrC,CAAC;CACL,CAAC,CAAA"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"processing-failure.d.ts","sourceRoot":"","sources":["../../src/schemas/processing-failure.ts"],"names":[],"mappings":"AAqBA,YAAY,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAA"}
|
|
@@ -0,0 +1,22 @@
|
|
|
1
|
+
// Re-export of the pipeline ProcessingFailure wire format from
|
|
2
|
+
// `@proposit/proposit-core`. Server and mobile import the type through
|
|
3
|
+
// `@proposit/shared/schemas/processing-failure` for the ergonomic
|
|
4
|
+
// single-import path; the source of truth is core (its
|
|
5
|
+
// `src/lib/pipelines/types.ts`).
|
|
6
|
+
//
|
|
7
|
+
// Mirrors the grammar wire-format re-export at `./schemas/grammar`
|
|
8
|
+
// (introduced in shared 0.9.0 during the Grammar Tiers initiative). Same
|
|
9
|
+
// coordination chain: adding or extending the ProcessingFailure shape
|
|
10
|
+
// is a core → shared → consumers publish chain; shared bumps minor
|
|
11
|
+
// (no code changes here — the re-export automatically reflects core's
|
|
12
|
+
// shape via the dep range).
|
|
13
|
+
//
|
|
14
|
+
// As of `@proposit/proposit-core@1.1.1` (slice 1A of the ingestion
|
|
15
|
+
// pipeline initiative), only the TypeScript type `TProcessingFailure`
|
|
16
|
+
// ships from core — no TypeBox `ProcessingFailureSchema` runtime value
|
|
17
|
+
// is exported yet. This file is intentionally type-only for now; when a
|
|
18
|
+
// future core minor adds the runtime schema, extend this re-export to
|
|
19
|
+
// include the value alongside the type (same template as
|
|
20
|
+
// `./schemas/grammar/index.ts`).
|
|
21
|
+
export {};
|
|
22
|
+
//# sourceMappingURL=processing-failure.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"processing-failure.js","sourceRoot":"","sources":["../../src/schemas/processing-failure.ts"],"names":[],"mappings":"AAAA,+DAA+D;AAC/D,uEAAuE;AACvE,kEAAkE;AAClE,uDAAuD;AACvD,iCAAiC;AACjC,EAAE;AACF,mEAAmE;AACnE,yEAAyE;AACzE,sEAAsE;AACtE,mEAAmE;AACnE,sEAAsE;AACtE,4BAA4B;AAC5B,EAAE;AACF,mEAAmE;AACnE,sEAAsE;AACtE,uEAAuE;AACvE,wEAAwE;AACxE,sEAAsE;AACtE,yDAAyD;AACzD,iCAAiC"}
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@proposit/shared",
|
|
3
|
-
"version": "0.
|
|
3
|
+
"version": "0.13.0",
|
|
4
4
|
"description": "Runtime-agnostic TypeScript shared between proposit-server and proposit-mobile. Schemas, engine, api-client, and utilities.",
|
|
5
5
|
"license": "MIT",
|
|
6
6
|
"homepage": "https://github.com/Proposit-App/proposit-shared",
|
|
@@ -63,6 +63,16 @@
|
|
|
63
63
|
"import": "./dist/schemas/grammar/index.js",
|
|
64
64
|
"default": "./dist/schemas/grammar/index.js"
|
|
65
65
|
},
|
|
66
|
+
"./schemas/ingest-argument": {
|
|
67
|
+
"types": "./dist/schemas/ingest-argument/index.d.ts",
|
|
68
|
+
"import": "./dist/schemas/ingest-argument/index.js",
|
|
69
|
+
"default": "./dist/schemas/ingest-argument/index.js"
|
|
70
|
+
},
|
|
71
|
+
"./schemas/processing-failure": {
|
|
72
|
+
"types": "./dist/schemas/processing-failure.d.ts",
|
|
73
|
+
"import": "./dist/schemas/processing-failure.js",
|
|
74
|
+
"default": "./dist/schemas/processing-failure.js"
|
|
75
|
+
},
|
|
66
76
|
"./schemas/*": {
|
|
67
77
|
"types": "./dist/schemas/*.d.ts",
|
|
68
78
|
"import": "./dist/schemas/*.js",
|
|
@@ -136,14 +146,14 @@
|
|
|
136
146
|
"access": "public"
|
|
137
147
|
},
|
|
138
148
|
"peerDependencies": {
|
|
139
|
-
"@proposit/proposit-core": "^1.
|
|
149
|
+
"@proposit/proposit-core": "^1.1.1"
|
|
140
150
|
},
|
|
141
151
|
"dependencies": {
|
|
142
152
|
"typebox": "^1.1.14"
|
|
143
153
|
},
|
|
144
154
|
"devDependencies": {
|
|
145
155
|
"@eslint/js": "^9.39.4",
|
|
146
|
-
"@proposit/proposit-core": "^1.
|
|
156
|
+
"@proposit/proposit-core": "^1.1.1",
|
|
147
157
|
"@types/node": "^25.5.2",
|
|
148
158
|
"eslint": "^9.39.4",
|
|
149
159
|
"eslint-plugin-check-file": "^3.3.1",
|