@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.
@@ -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,CAwC/D;AAED,wBAAgB,uBAAuB,CACnC,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,gBAAgB,GAC1B;IAAE,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAa/B;AAED,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"}
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 `role: "supporting"`. proposit-core 0.8.0+
30
- // auto-sets the first premise as conclusion regardless of the
31
- // requested role, so we have to address the mismatch here.
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
- // Under `@proposit/proposit-core@^1.0.2` the engine refuses to
34
- // leave a non-empty argument without a conclusion (the E-7
35
- // invariant), so this `clearConclusionPremise()` call is a no-op
36
- // when the new premise is the first/only one — the auto-assigned
37
- // conclusion role correctly stays in place. For premises 2+ on
38
- // 1.0.2, and for all premises on `^1.0.0`/`^1.0.1`, the call
39
- // clears the conclusion-role designation the caller did not
40
- // request.
41
- const { changes: clearChanges } = engine.clearConclusionPremise();
42
- allChanges = mergeChangesets(changes, clearChanges);
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 { changes } = engine.setConclusionPremise(premiseId);
52
- return { changes };
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
- const { changes } = engine.clearConclusionPremise();
57
- return { changes };
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
- return { changes: {} };
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
- /** Build a read-only TArgumentEvaluationContext from a ProjectEngine. */
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,EAIH,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;AAE3D,yEAAyE;AACzE,wBAAgB,mBAAmB,CAC/B,SAAS,EAAE,aAAa,GACzB,0BAA0B,CAW5B;AAED;;;;;;GAMG;AACH,wBAAgB,yBAAyB,CACrC,KAAK,EAAE,YAAY,EACnB,SAAS,EAAE,aAAa,GACzB,yBAAyB,CAuB3B;AAED,wBAAgB,yBAAyB,CACrC,KAAK,EAAE,YAAY,EACnB,SAAS,EAAE,aAAa,GACzB,6BAA6B,CAgC/B;AAgDD,wBAAgB,sBAAsB,CAClC,SAAS,EAAE,aAAa,EACxB,OAAO,GAAE;IAAE,YAAY,CAAC,EAAE,MAAM,CAAC;IAAC,qBAAqB,CAAC,EAAE,MAAM,CAAA;CAAO,GACxE,wBAAwB,CAQ1B;AAED;;;;;;GAMG;AACH,wBAAgB,+BAA+B,CAC3C,MAAM,EAAE,6BAA6B,GAAG,SAAS,GAClD,uBAAuB,CAEzB"}
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 { evaluateArgument, checkArgumentValidity, canonicalizeOperatorAssignments, } from "@proposit/proposit-core";
2
- /** Build a read-only TArgumentEvaluationContext from a ProjectEngine. */
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: () => argEngine.getConclusionPremise(),
7
- listSupportingPremises: () => argEngine.listSupportingPremises(),
8
- listPremises: () => argEngine.listPremises(),
9
- conclusionPremiseId: argEngine.getConclusionPremise()?.getId(),
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) => argEngine.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 doesn't
47
- // reference every claim-bound variable in the argument.
48
- const result = evaluateArgument(ctx, assignment, {
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
- return checkArgumentValidity(toEvaluationContext(argEngine), {
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,gBAAgB,EAChB,qBAAqB,EACrB,+BAA+B,GAQlC,MAAM,yBAAyB,CAAA;AAIhC,yEAAyE;AACzE,MAAM,UAAU,mBAAmB,CAC/B,SAAwB;IAExB,OAAO;QACH,UAAU,EAAE,SAAS,CAAC,WAAW,EAAE,CAAC,EAAE;QACtC,oBAAoB,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,oBAAoB,EAAE;QAC5D,sBAAsB,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,sBAAsB,EAAE;QAChE,YAAY,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,YAAY,EAAE;QAC5C,mBAAmB,EAAE,SAAS,CAAC,oBAAoB,EAAE,EAAE,KAAK,EAAE;QAC9D,WAAW,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC;QAC9C,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;QAC5C,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,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,GAAG,GAAG,mBAAmB,CAAC,SAAS,CAAC,CAAA;IAC1C,MAAM,UAAU,GAAG,yBAAyB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAA;IAC9D,wEAAwE;IACxE,6EAA6E;IAC7E,wDAAwD;IACxD,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,EAAE,UAAU,EAAE;QAC7C,aAAa,EAAE,IAAI;QACnB,2BAA2B,EAAE,KAAK;QAClC,kBAAkB,EAAE,IAAI;QACxB,uBAAuB,EAAE,IAAI;KAChC,CAAC,CAAA;IACF,qEAAqE;IACrE,2DAA2D;IAC3D,IAAI,CAAC;QACD,OAAO,CAAC,GAAG,CACP,qBAAqB,EACrB,IAAI,CAAC,SAAS,CACV,2BAA2B,CACvB,KAAK,EACL,SAAS,EACT,UAAU,EACV,MAAM,CACT,EACD,IAAI,EACJ,CAAC,CACJ,CACJ,CAAA;IACL,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACX,OAAO,CAAC,IAAI,CAAC,kCAAkC,EAAE,GAAG,CAAC,CAAA;IACzD,CAAC;IACD,OAAO,MAAM,CAAA;AACjB,CAAC;AAED,SAAS,2BAA2B,CAChC,KAAmB,EACnB,SAAwB,EACxB,UAAqC,EACrC,MAAqC;IAErC,MAAM,SAAS,GAAG,SAAS,CAAC,YAAY,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACnD,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,OAAO,EAAE,SAAS,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;QAC/C,cAAc,EAAE,gBAAgB,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS;KACvE,CAAC,CAAC,CAAA;IACH,MAAM,QAAQ,GAAG,SAAS,CAAC,YAAY,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAChD,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,CAAA;QACpB,MAAM,WAAW,GAAG,CAAC,CAAC,cAAc,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC/C,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,QAAQ,EAAE,UAAU,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS;YAClD,UAAU,EAAE,YAAY,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS;YACxD,QAAQ,EAAE,CAAC,CAAC,QAAQ;YACpB,QAAQ,EAAE,CAAC,CAAC,QAAQ;SACvB,CAAC,CAAC,CAAA;QACH,OAAO;YACH,EAAE;YACF,IAAI,EACA,SAAS,CAAC,oBAAoB,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE;gBAC5C,CAAC,CAAC,YAAY;gBACd,CAAC,CAAC,YAAY;YACtB,gBAAgB,EAAE,CAAC,CAAC,mBAAmB,EAAE;YACzC,WAAW;SACd,CAAA;IACL,CAAC,CAAC,CAAA;IACF,OAAO;QACH,UAAU,EAAE,SAAS,CAAC,WAAW,EAAE,CAAC,EAAE;QACtC,eAAe,EAAE,SAAS,CAAC,WAAW,EAAE,CAAC,OAAO;QAChD,SAAS;QACT,QAAQ;QACR,KAAK,EAAE;YACH,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;YACxC,mBAAmB,EAAE,KAAK,CAAC,mBAAmB;SACjD;QACD,mBAAmB,EAAE,UAAU;QAC/B,MAAM;KACT,CAAA;AACL,CAAC;AAED,MAAM,UAAU,sBAAsB,CAClC,SAAwB,EACxB,UAAqE,EAAE;IAEvE,OAAO,qBAAqB,CAAC,mBAAmB,CAAC,SAAS,CAAC,EAAE;QACzD,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"}
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;AAKD,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;EAGlC,CAAA;AACF,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAA"}
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
- // Re-based on NormalClaimSchema. Server's getClaims() filters by
118
- // type='normal' before populating childClaimIds/childCitationIds, so this
119
- // type accurately describes only Normal-with-children rows.
120
- export const ClaimWithChildrenSchema = Type.Interface([NormalClaimSchema], {
121
- childClaimIds: Type.Array(UUID),
122
- childCitationIds: Type.Array(UUID),
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,iEAAiE;AACjE,0EAA0E;AAC1E,4DAA4D;AAC5D,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,iBAAiB,CAAC,EAAE;IACvE,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;IAC/B,gBAAgB,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;CACrC,CAAC,CAAA"}
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,2 @@
1
+ export type { TProcessingFailure } from "@proposit/proposit-core";
2
+ //# sourceMappingURL=processing-failure.d.ts.map
@@ -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.12.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.0.0"
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.0.0",
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",