@polintpro/proposit-core 0.8.0 → 0.8.3

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.
Files changed (116) hide show
  1. package/README.md +30 -3
  2. package/dist/cli/commands/analysis.d.ts.map +1 -1
  3. package/dist/cli/commands/analysis.js +148 -42
  4. package/dist/cli/commands/analysis.js.map +1 -1
  5. package/dist/cli/commands/arguments.d.ts.map +1 -1
  6. package/dist/cli/commands/arguments.js +25 -7
  7. package/dist/cli/commands/arguments.js.map +1 -1
  8. package/dist/cli/commands/claims.d.ts.map +1 -1
  9. package/dist/cli/commands/claims.js +16 -16
  10. package/dist/cli/commands/claims.js.map +1 -1
  11. package/dist/cli/commands/diff.d.ts.map +1 -1
  12. package/dist/cli/commands/diff.js +19 -4
  13. package/dist/cli/commands/diff.js.map +1 -1
  14. package/dist/cli/commands/expressions.d.ts.map +1 -1
  15. package/dist/cli/commands/expressions.js +56 -0
  16. package/dist/cli/commands/expressions.js.map +1 -1
  17. package/dist/cli/commands/graph.d.ts +13 -0
  18. package/dist/cli/commands/graph.d.ts.map +1 -0
  19. package/dist/cli/commands/graph.js +382 -0
  20. package/dist/cli/commands/graph.js.map +1 -0
  21. package/dist/cli/commands/parse.d.ts.map +1 -1
  22. package/dist/cli/commands/parse.js +13 -6
  23. package/dist/cli/commands/parse.js.map +1 -1
  24. package/dist/cli/commands/premises.d.ts.map +1 -1
  25. package/dist/cli/commands/premises.js +21 -17
  26. package/dist/cli/commands/premises.js.map +1 -1
  27. package/dist/cli/commands/render.d.ts.map +1 -1
  28. package/dist/cli/commands/render.js +23 -12
  29. package/dist/cli/commands/render.js.map +1 -1
  30. package/dist/cli/commands/repair.d.ts +3 -0
  31. package/dist/cli/commands/repair.d.ts.map +1 -0
  32. package/dist/cli/commands/repair.js +53 -0
  33. package/dist/cli/commands/repair.js.map +1 -0
  34. package/dist/cli/commands/sources.d.ts.map +1 -1
  35. package/dist/cli/commands/sources.js +17 -17
  36. package/dist/cli/commands/sources.js.map +1 -1
  37. package/dist/cli/commands/validate.d.ts +3 -0
  38. package/dist/cli/commands/validate.d.ts.map +1 -0
  39. package/dist/cli/commands/validate.js +27 -0
  40. package/dist/cli/commands/validate.js.map +1 -0
  41. package/dist/cli/commands/variables.d.ts.map +1 -1
  42. package/dist/cli/commands/variables.js +11 -4
  43. package/dist/cli/commands/variables.js.map +1 -1
  44. package/dist/cli/engine.d.ts +6 -19
  45. package/dist/cli/engine.d.ts.map +1 -1
  46. package/dist/cli/engine.js +72 -73
  47. package/dist/cli/engine.js.map +1 -1
  48. package/dist/cli/output.d.ts.map +1 -1
  49. package/dist/cli/output.js +4 -0
  50. package/dist/cli/output.js.map +1 -1
  51. package/dist/cli/storage/analysis.d.ts +2 -1
  52. package/dist/cli/storage/analysis.d.ts.map +1 -1
  53. package/dist/cli/storage/analysis.js +40 -2
  54. package/dist/cli/storage/analysis.js.map +1 -1
  55. package/dist/cli/storage/libraries.d.ts +3 -0
  56. package/dist/cli/storage/libraries.d.ts.map +1 -1
  57. package/dist/cli/storage/libraries.js +19 -0
  58. package/dist/cli/storage/libraries.js.map +1 -1
  59. package/dist/cli.js +6 -0
  60. package/dist/cli.js.map +1 -1
  61. package/dist/lib/consts.d.ts.map +1 -1
  62. package/dist/lib/consts.js +4 -7
  63. package/dist/lib/consts.js.map +1 -1
  64. package/dist/lib/core/argument-engine.d.ts +12 -1
  65. package/dist/lib/core/argument-engine.d.ts.map +1 -1
  66. package/dist/lib/core/argument-engine.js +295 -17
  67. package/dist/lib/core/argument-engine.js.map +1 -1
  68. package/dist/lib/core/argument-library.d.ts.map +1 -1
  69. package/dist/lib/core/argument-library.js +1 -1
  70. package/dist/lib/core/argument-library.js.map +1 -1
  71. package/dist/lib/core/evaluation/grading.d.ts +28 -0
  72. package/dist/lib/core/evaluation/grading.d.ts.map +1 -0
  73. package/dist/lib/core/evaluation/grading.js +44 -0
  74. package/dist/lib/core/evaluation/grading.js.map +1 -0
  75. package/dist/lib/core/expression-manager.d.ts +2 -1
  76. package/dist/lib/core/expression-manager.d.ts.map +1 -1
  77. package/dist/lib/core/expression-manager.js +12 -8
  78. package/dist/lib/core/expression-manager.js.map +1 -1
  79. package/dist/lib/core/fork.d.ts.map +1 -1
  80. package/dist/lib/core/fork.js +3 -3
  81. package/dist/lib/core/fork.js.map +1 -1
  82. package/dist/lib/core/interfaces/library.interfaces.d.ts +2 -0
  83. package/dist/lib/core/interfaces/library.interfaces.d.ts.map +1 -1
  84. package/dist/lib/core/premise-engine.d.ts +3 -2
  85. package/dist/lib/core/premise-engine.d.ts.map +1 -1
  86. package/dist/lib/core/premise-engine.js +17 -11
  87. package/dist/lib/core/premise-engine.js.map +1 -1
  88. package/dist/lib/core/proposit-core.d.ts +3 -2
  89. package/dist/lib/core/proposit-core.d.ts.map +1 -1
  90. package/dist/lib/core/proposit-core.js +19 -11
  91. package/dist/lib/core/proposit-core.js.map +1 -1
  92. package/dist/lib/index.d.ts +3 -1
  93. package/dist/lib/index.d.ts.map +1 -1
  94. package/dist/lib/index.js +2 -1
  95. package/dist/lib/index.js.map +1 -1
  96. package/dist/lib/parsing/argument-parser.d.ts.map +1 -1
  97. package/dist/lib/parsing/argument-parser.js +17 -14
  98. package/dist/lib/parsing/argument-parser.js.map +1 -1
  99. package/dist/lib/parsing/clamp-max-lengths.d.ts +11 -0
  100. package/dist/lib/parsing/clamp-max-lengths.d.ts.map +1 -0
  101. package/dist/lib/parsing/clamp-max-lengths.js +56 -0
  102. package/dist/lib/parsing/clamp-max-lengths.js.map +1 -0
  103. package/dist/lib/parsing/prompt-builder.d.ts.map +1 -1
  104. package/dist/lib/parsing/prompt-builder.js +14 -1
  105. package/dist/lib/parsing/prompt-builder.js.map +1 -1
  106. package/dist/lib/parsing/types.d.ts +2 -0
  107. package/dist/lib/parsing/types.d.ts.map +1 -1
  108. package/dist/lib/schemata/analysis.d.ts +1 -1
  109. package/dist/lib/schemata/analysis.d.ts.map +1 -1
  110. package/dist/lib/schemata/analysis.js +2 -2
  111. package/dist/lib/schemata/analysis.js.map +1 -1
  112. package/dist/lib/types/checksum.d.ts +7 -7
  113. package/dist/lib/types/checksum.d.ts.map +1 -1
  114. package/dist/lib/types/evaluation.d.ts +5 -3
  115. package/dist/lib/types/evaluation.d.ts.map +1 -1
  116. package/package.json +1 -1
@@ -0,0 +1,382 @@
1
+ import { Command } from "commander";
2
+ import { hydrateEngine, hydratePropositCore } from "../engine.js";
3
+ import { isClaimBound, isPremiseBound } from "../../lib/schemata/index.js";
4
+ import { gradeEvaluation } from "../../lib/core/evaluation/grading.js";
5
+ import { printJson, printLine, errorExit } from "../output.js";
6
+ import { readAnalysis, resolveAnalysisFilename, analysisFileExists, } from "../storage/analysis.js";
7
+ import { readVariables } from "../storage/variables.js";
8
+ function dotEscape(s) {
9
+ return s.replace(/\\/g, "\\\\").replace(/"/g, '\\"');
10
+ }
11
+ function htmlEscape(s) {
12
+ return s.replace(/&/g, "&amp;").replace(/</g, "&lt;").replace(/>/g, "&gt;");
13
+ }
14
+ function wordWrap(s, maxWidth) {
15
+ const lines = [];
16
+ const words = s.split(/\s+/);
17
+ let current = "";
18
+ for (const word of words) {
19
+ if (current && current.length + 1 + word.length > maxWidth) {
20
+ lines.push(current);
21
+ current = word;
22
+ }
23
+ else {
24
+ current = current ? current + " " + word : word;
25
+ }
26
+ }
27
+ if (current)
28
+ lines.push(current);
29
+ return lines;
30
+ }
31
+ function shortId(id) {
32
+ return id.slice(0, 8);
33
+ }
34
+ function operatorLabel(op) {
35
+ switch (op) {
36
+ case "not":
37
+ return "NOT";
38
+ case "and":
39
+ return "AND";
40
+ case "or":
41
+ return "OR";
42
+ case "implies":
43
+ return "IMPLIES";
44
+ case "iff":
45
+ return "IFF";
46
+ default:
47
+ return op.toUpperCase();
48
+ }
49
+ }
50
+ function truthColor(value) {
51
+ if (value === true)
52
+ return "green3";
53
+ if (value === false)
54
+ return "red";
55
+ return "gray70";
56
+ }
57
+ function truthFillColor(value, vacuous) {
58
+ if (value === true && vacuous)
59
+ return '"#fff3cd"'; // yellow for vacuous truth
60
+ if (value === true)
61
+ return '"#d4edda"';
62
+ if (value === false)
63
+ return '"#f8d7da"';
64
+ return '"#e2e3e5"';
65
+ }
66
+ export function buildDotGraph(engine, core, overlay) {
67
+ const lines = [];
68
+ const arg = engine.getArgument();
69
+ const roles = engine.getRoleState();
70
+ const conclusionId = roles.conclusionPremiseId;
71
+ const variables = engine.getVariables();
72
+ const varMap = new Map();
73
+ for (const v of variables) {
74
+ varMap.set(v.id, v);
75
+ }
76
+ const argTitle = typeof arg.title === "string" ? arg.title : "(untitled)";
77
+ lines.push("digraph argument {");
78
+ lines.push(" compound=true;");
79
+ lines.push(" rankdir=TB;");
80
+ lines.push(` label="${dotEscape(argTitle)}";`);
81
+ lines.push(" labelloc=t;");
82
+ lines.push(" fontsize=16;");
83
+ lines.push("");
84
+ // Evaluation summary box (top-right)
85
+ if (overlay) {
86
+ const r = overlay.result;
87
+ const grading = gradeEvaluation(r);
88
+ const gradeColorMap = {
89
+ green: "#28a745",
90
+ orange: "#d48806",
91
+ red: "#dc3545",
92
+ gray: "#6c757d",
93
+ };
94
+ const gradeHtmlColor = gradeColorMap[grading.color] ?? "#6c757d";
95
+ const tri = (v) => v === true ? "true" : v === false ? "false" : "unknown";
96
+ const summaryHtml = [
97
+ `<TABLE BORDER="1" CELLBORDER="0" CELLSPACING="0" CELLPADDING="6" BGCOLOR="white">`,
98
+ `<TR><TD COLSPAN="2"><FONT POINT-SIZE="14" COLOR="${gradeHtmlColor}"><B>${htmlEscape(grading.label)}</B></FONT></TD></TR>`,
99
+ `<TR><TD ALIGN="LEFT">admissible</TD><TD ALIGN="RIGHT">${tri(r.isAdmissibleAssignment)}</TD></TR>`,
100
+ `<TR><TD ALIGN="LEFT">all supporting</TD><TD ALIGN="RIGHT">${tri(r.allSupportingPremisesTrue)}</TD></TR>`,
101
+ `<TR><TD ALIGN="LEFT">conclusion true</TD><TD ALIGN="RIGHT">${tri(r.conclusionTrue)}</TD></TR>`,
102
+ `<TR><TD ALIGN="LEFT">counterexample</TD><TD ALIGN="RIGHT">${tri(r.isCounterexample)}</TD></TR>`,
103
+ `</TABLE>`,
104
+ ].join("");
105
+ lines.push(` eval_summary [shape=plaintext label=<${summaryHtml}>];`);
106
+ lines.push("");
107
+ }
108
+ const premises = engine.listPremises();
109
+ for (const pm of premises) {
110
+ const pid = pm.getId();
111
+ const isConclusion = pid === conclusionId;
112
+ const clusterName = `cluster_${shortId(pid)}`;
113
+ const displayStr = pm.toDisplayString() || "(empty)";
114
+ const premiseData = pm.toPremiseData();
115
+ const premiseTitle = typeof premiseData.title === "string" ? premiseData.title : "";
116
+ const clusterLabel = premiseTitle
117
+ ? `${dotEscape(premiseTitle)}\\n${dotEscape(displayStr)}`
118
+ : dotEscape(displayStr);
119
+ const premResult = overlay?.premiseResults.get(pid);
120
+ lines.push(` subgraph ${clusterName} {`);
121
+ if (overlay && premResult?.rootValue !== undefined) {
122
+ // Detect vacuous truth: root is true but inference diagnostic
123
+ // shows the implication fired vacuously (antecedent false)
124
+ const isVacuous = premResult.rootValue === true &&
125
+ premResult.inferenceDiagnostic?.kind === "implies" &&
126
+ premResult.inferenceDiagnostic.isVacuouslyTrue === true;
127
+ const borderColor = isVacuous
128
+ ? "goldenrod"
129
+ : truthColor(premResult.rootValue);
130
+ lines.push(` label="${clusterLabel}";`);
131
+ lines.push(` style=bold;`);
132
+ lines.push(` color=${borderColor};`);
133
+ lines.push(` penwidth=2;`);
134
+ }
135
+ else if (isConclusion) {
136
+ lines.push(` label="${clusterLabel} [CONCLUSION]";`);
137
+ lines.push(" style=bold;");
138
+ lines.push(" color=red;");
139
+ lines.push(" penwidth=2;");
140
+ }
141
+ else {
142
+ lines.push(` label="${clusterLabel}";`);
143
+ lines.push(" style=dashed;");
144
+ lines.push(" color=gray40;");
145
+ }
146
+ const expressions = pm.getExpressions();
147
+ if (expressions.length === 0) {
148
+ lines.push(` "${shortId(pid)}_empty" [label="(empty)" shape=plaintext];`);
149
+ }
150
+ for (const expr of expressions) {
151
+ const nid = shortId(expr.id);
152
+ let label;
153
+ let shape;
154
+ const attrs = [];
155
+ if (expr.type === "variable") {
156
+ const v = varMap.get(expr.variableId);
157
+ label = v ? v.symbol : "?";
158
+ shape = "box";
159
+ }
160
+ else if (expr.type === "operator") {
161
+ label = operatorLabel(expr.operator);
162
+ shape = "diamond";
163
+ }
164
+ else {
165
+ label = "\u24D5";
166
+ shape = "ellipse";
167
+ }
168
+ attrs.push(`label="${dotEscape(label)}"`);
169
+ attrs.push(`shape=${shape}`);
170
+ // Evaluation overlay: color nodes by truth value
171
+ if (overlay && premResult) {
172
+ let exprValue = premResult.expressionValues[expr.id];
173
+ // For variable expressions without a direct value (e.g. under
174
+ // a rejected operator), inherit the variable's assignment value
175
+ if (exprValue === undefined &&
176
+ expr.type === "variable" &&
177
+ overlay.result.assignment) {
178
+ const varVal = overlay.result.assignment.variables[expr.variableId];
179
+ if (varVal !== undefined)
180
+ exprValue = varVal;
181
+ }
182
+ if (exprValue !== undefined) {
183
+ attrs.push(`style=filled`);
184
+ attrs.push(`fillcolor=${truthFillColor(exprValue)}`);
185
+ }
186
+ const opState = overlay.operatorAssignments[expr.id];
187
+ if (opState === "rejected") {
188
+ attrs.push(`peripheries=2`);
189
+ attrs.push(`color=red`);
190
+ }
191
+ else if (opState === "accepted") {
192
+ attrs.push(`peripheries=2`);
193
+ attrs.push(`color=green`);
194
+ }
195
+ }
196
+ lines.push(` "${nid}" [${attrs.join(" ")}];`);
197
+ }
198
+ // Parent-child edges within expression tree (sorted by position
199
+ // so Graphviz renders siblings left-to-right in ascending order)
200
+ const byPosition = [...expressions].sort((a, b) => a.position - b.position);
201
+ for (const expr of byPosition) {
202
+ if (expr.parentId !== null) {
203
+ lines.push(` "${shortId(expr.parentId)}" -> "${shortId(expr.id)}";`);
204
+ }
205
+ }
206
+ // Anchor node for cross-premise edge targeting
207
+ lines.push(` "${shortId(pid)}_anchor" [shape=point style=invis width=0];`);
208
+ lines.push(" }");
209
+ lines.push("");
210
+ }
211
+ // Variable definition nodes (outside clusters)
212
+ for (const v of variables) {
213
+ const typed = v;
214
+ let bindingLabel;
215
+ let fillColor;
216
+ if (isClaimBound(typed)) {
217
+ const claim = core.claims.get(typed.claimId, typed.claimVersion);
218
+ const claimTitle = claim &&
219
+ typeof claim.title === "string"
220
+ ? claim.title
221
+ : `${typed.claimId.slice(0, 8)}@${typed.claimVersion}`;
222
+ bindingLabel = `${typed.symbol}\\n(claim: ${dotEscape(claimTitle)})`;
223
+ fillColor = "lightyellow";
224
+ }
225
+ else {
226
+ bindingLabel = `${typed.symbol}\\n(premise-bound)`;
227
+ fillColor = "lightblue";
228
+ }
229
+ // Overlay: color variable node by assignment value
230
+ if (overlay) {
231
+ // Find variable value from any premise result
232
+ let varValue;
233
+ for (const pr of overlay.premiseResults.values()) {
234
+ if (pr.variableValues[v.id] !== undefined) {
235
+ varValue = pr.variableValues[v.id];
236
+ break;
237
+ }
238
+ }
239
+ if (varValue !== undefined) {
240
+ fillColor = truthFillColor(varValue).replace(/"/g, "");
241
+ bindingLabel += `\\n= ${varValue ?? "unknown"}`;
242
+ }
243
+ }
244
+ lines.push(` "var_${shortId(v.id)}" [label="${bindingLabel}" shape=box style=filled fillcolor="${fillColor}"];`);
245
+ }
246
+ lines.push("");
247
+ // Edges from variable expression nodes to variable definition nodes
248
+ for (const pm of premises) {
249
+ for (const expr of pm.getExpressions()) {
250
+ if (expr.type === "variable") {
251
+ lines.push(` "${shortId(expr.id)}" -> "var_${shortId(expr.variableId)}" [style=dotted arrowhead=none];`);
252
+ }
253
+ }
254
+ }
255
+ lines.push("");
256
+ // Cross-premise edges for premise-bound variables
257
+ const emittedPremiseBindings = new Set();
258
+ for (const v of variables) {
259
+ const typed = v;
260
+ if (isPremiseBound(typed)) {
261
+ const key = `${v.id}:${typed.boundPremiseId}`;
262
+ if (!emittedPremiseBindings.has(key)) {
263
+ emittedPremiseBindings.add(key);
264
+ lines.push(` "var_${shortId(v.id)}" -> "${shortId(typed.boundPremiseId)}_anchor" [style=bold color=blue label="${dotEscape(typed.symbol)}" lhead=cluster_${shortId(typed.boundPremiseId)}];`);
265
+ }
266
+ }
267
+ }
268
+ // Claim detail tiles (below the graph)
269
+ const claimTiles = [];
270
+ for (const v of variables) {
271
+ const typed = v;
272
+ if (!isClaimBound(typed))
273
+ continue;
274
+ const claim = core.claims.get(typed.claimId, typed.claimVersion);
275
+ if (!claim)
276
+ continue;
277
+ const rec = claim;
278
+ const title = typeof rec.title === "string" ? rec.title : "(untitled)";
279
+ const body = typeof rec.body === "string" ? rec.body : "";
280
+ if (!body)
281
+ continue;
282
+ const bodyLines = wordWrap(body, 60)
283
+ .map((l) => htmlEscape(l))
284
+ .join("<BR/>");
285
+ claimTiles.push(` "claim_${shortId(v.id)}" [shape=plaintext label=<` +
286
+ `<TABLE BORDER="1" CELLBORDER="0" CELLSPACING="0" CELLPADDING="6" BGCOLOR="lightyellow">` +
287
+ `<TR><TD><B>${htmlEscape(typed.symbol)}</B></TD></TR>` +
288
+ `<TR><TD><I>${htmlEscape(title)}</I></TD></TR>` +
289
+ `<TR><TD BALIGN="LEFT">${bodyLines}</TD></TR>` +
290
+ `</TABLE>>];`);
291
+ }
292
+ if (claimTiles.length > 0) {
293
+ lines.push("");
294
+ lines.push(" // Claim detail tiles");
295
+ lines.push(" subgraph cluster_claims {");
296
+ lines.push(" rank=sink;");
297
+ lines.push(" style=invis;");
298
+ for (const tile of claimTiles) {
299
+ lines.push(tile);
300
+ }
301
+ lines.push(" }");
302
+ // Invisible edges to push tiles below variable nodes
303
+ for (const v of variables) {
304
+ const typed = v;
305
+ if (!isClaimBound(typed))
306
+ continue;
307
+ const claim = core.claims.get(typed.claimId, typed.claimVersion);
308
+ if (!claim)
309
+ continue;
310
+ const rec = claim;
311
+ if (typeof rec.body !== "string" || !rec.body)
312
+ continue;
313
+ lines.push(` "var_${shortId(v.id)}" -> "claim_${shortId(v.id)}" [style=invis];`);
314
+ }
315
+ }
316
+ lines.push("}");
317
+ return lines.join("\n");
318
+ }
319
+ export function registerGraphCommand(versionedCmd, argumentId, version) {
320
+ versionedCmd
321
+ .command("graph")
322
+ .description("Output a DOT (Graphviz) directed graph of the argument")
323
+ .option("--json", "Output the DOT string as JSON")
324
+ .option("--analysis <filename>", "Overlay evaluation results from an analysis file")
325
+ .action(async (opts) => {
326
+ const core = await hydratePropositCore();
327
+ const engine = await hydrateEngine(argumentId, version, core);
328
+ let overlay;
329
+ if (opts.analysis) {
330
+ const filename = await resolveAnalysisFilename(opts.analysis, argumentId, version);
331
+ if (!(await analysisFileExists(argumentId, version, filename))) {
332
+ errorExit(`Analysis file "${filename}" does not exist.`);
333
+ }
334
+ const [analysisData, allVariables] = await Promise.all([
335
+ readAnalysis(argumentId, version, filename),
336
+ readVariables(argumentId, version),
337
+ ]);
338
+ const symbolToId = new Map(allVariables.map((v) => [v.symbol, v.id]));
339
+ const variableAssignment = {};
340
+ for (const [sym, val] of Object.entries(analysisData.assignments)) {
341
+ const id = symbolToId.get(sym);
342
+ if (id !== undefined)
343
+ variableAssignment[id] = val;
344
+ }
345
+ const result = engine.evaluate({
346
+ variables: variableAssignment,
347
+ operatorAssignments: {
348
+ ...analysisData.operatorAssignments,
349
+ },
350
+ }, {
351
+ includeExpressionValues: true,
352
+ includeDiagnostics: true,
353
+ validateFirst: false,
354
+ });
355
+ if (!result.ok) {
356
+ errorExit("Evaluation failed. Run 'analysis validate-argument' for details.");
357
+ }
358
+ const premiseResults = new Map();
359
+ if (result.conclusion)
360
+ premiseResults.set(result.conclusion.premiseId, result.conclusion);
361
+ for (const pr of result.supportingPremises ?? [])
362
+ premiseResults.set(pr.premiseId, pr);
363
+ for (const pr of result.constraintPremises ?? [])
364
+ premiseResults.set(pr.premiseId, pr);
365
+ overlay = {
366
+ result,
367
+ premiseResults,
368
+ operatorAssignments: {
369
+ ...analysisData.operatorAssignments,
370
+ },
371
+ };
372
+ }
373
+ const dot = buildDotGraph(engine, core, overlay);
374
+ if (opts.json) {
375
+ printJson({ dot });
376
+ }
377
+ else {
378
+ printLine(dot);
379
+ }
380
+ });
381
+ }
382
+ //# sourceMappingURL=graph.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"graph.js","sourceRoot":"","sources":["../../../src/cli/commands/graph.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAA;AACjE,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAA;AAO1E,OAAO,EAAE,eAAe,EAAE,MAAM,sCAAsC,CAAA;AAGtE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAC9D,OAAO,EACH,YAAY,EACZ,uBAAuB,EACvB,kBAAkB,GACrB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAA;AAEvD,SAAS,SAAS,CAAC,CAAS;IACxB,OAAO,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;AACxD,CAAC;AAED,SAAS,UAAU,CAAC,CAAS;IACzB,OAAO,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;AAC/E,CAAC;AAED,SAAS,QAAQ,CAAC,CAAS,EAAE,QAAgB;IACzC,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;IAC5B,IAAI,OAAO,GAAG,EAAE,CAAA;IAChB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACvB,IAAI,OAAO,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,GAAG,QAAQ,EAAE,CAAC;YACzD,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;YACnB,OAAO,GAAG,IAAI,CAAA;QAClB,CAAC;aAAM,CAAC;YACJ,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,GAAG,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAA;QACnD,CAAC;IACL,CAAC;IACD,IAAI,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IAChC,OAAO,KAAK,CAAA;AAChB,CAAC;AAED,SAAS,OAAO,CAAC,EAAU;IACvB,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AACzB,CAAC;AAED,SAAS,aAAa,CAAC,EAAU;IAC7B,QAAQ,EAAE,EAAE,CAAC;QACT,KAAK,KAAK;YACN,OAAO,KAAK,CAAA;QAChB,KAAK,KAAK;YACN,OAAO,KAAK,CAAA;QAChB,KAAK,IAAI;YACL,OAAO,IAAI,CAAA;QACf,KAAK,SAAS;YACV,OAAO,SAAS,CAAA;QACpB,KAAK,KAAK;YACN,OAAO,KAAK,CAAA;QAChB;YACI,OAAO,EAAE,CAAC,WAAW,EAAE,CAAA;IAC/B,CAAC;AACL,CAAC;AAED,SAAS,UAAU,CAAC,KAA0B;IAC1C,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,QAAQ,CAAA;IACnC,IAAI,KAAK,KAAK,KAAK;QAAE,OAAO,KAAK,CAAA;IACjC,OAAO,QAAQ,CAAA;AACnB,CAAC;AAED,SAAS,cAAc,CAAC,KAA0B,EAAE,OAAiB;IACjE,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO;QAAE,OAAO,WAAW,CAAA,CAAC,2BAA2B;IAC7E,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,WAAW,CAAA;IACtC,IAAI,KAAK,KAAK,KAAK;QAAE,OAAO,WAAW,CAAA;IACvC,OAAO,WAAW,CAAA;AACtB,CAAC;AAQD,MAAM,UAAU,aAAa,CACzB,MAAsB,EACtB,IAAkB,EAClB,OAA4B;IAE5B,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,MAAM,GAAG,GAAG,MAAM,CAAC,WAAW,EAA6B,CAAA;IAC3D,MAAM,KAAK,GAAG,MAAM,CAAC,YAAY,EAAE,CAAA;IACnC,MAAM,YAAY,GAAG,KAAK,CAAC,mBAAmB,CAAA;IAC9C,MAAM,SAAS,GAAG,MAAM,CAAC,YAAY,EAAE,CAAA;IAEvC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAsC,CAAA;IAC5D,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QACxB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAA0C,CAAC,CAAA;IAChE,CAAC;IAED,MAAM,QAAQ,GAAG,OAAO,GAAG,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAA;IAEzE,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAA;IAChC,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAA;IAC9B,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAA;IAE3B,KAAK,CAAC,IAAI,CAAC,YAAY,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;IAC/C,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAA;IAC3B,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAA;IAC5B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAEd,qCAAqC;IACrC,IAAI,OAAO,EAAE,CAAC;QACV,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAA;QACxB,MAAM,OAAO,GAAG,eAAe,CAAC,CAAC,CAAC,CAAA;QAElC,MAAM,aAAa,GAA2B;YAC1C,KAAK,EAAE,SAAS;YAChB,MAAM,EAAE,SAAS;YACjB,GAAG,EAAE,SAAS;YACd,IAAI,EAAE,SAAS;SAClB,CAAA;QACD,MAAM,cAAc,GAAG,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,SAAS,CAAA;QAEhE,MAAM,GAAG,GAAG,CAAC,CAAkC,EAAU,EAAE,CACvD,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAA;QAE3D,MAAM,WAAW,GAAG;YAChB,mFAAmF;YACnF,oDAAoD,cAAc,QAAQ,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,uBAAuB;YAC1H,yDAAyD,GAAG,CAAC,CAAC,CAAC,sBAAsB,CAAC,YAAY;YAClG,6DAA6D,GAAG,CAAC,CAAC,CAAC,yBAAyB,CAAC,YAAY;YACzG,8DAA8D,GAAG,CAAC,CAAC,CAAC,cAAc,CAAC,YAAY;YAC/F,6DAA6D,GAAG,CAAC,CAAC,CAAC,gBAAgB,CAAC,YAAY;YAChG,UAAU;SACb,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QAEV,KAAK,CAAC,IAAI,CAAC,0CAA0C,WAAW,KAAK,CAAC,CAAA;QACtE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAClB,CAAC;IAED,MAAM,QAAQ,GAAG,MAAM,CAAC,YAAY,EAAE,CAAA;IACtC,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;QACxB,MAAM,GAAG,GAAG,EAAE,CAAC,KAAK,EAAE,CAAA;QACtB,MAAM,YAAY,GAAG,GAAG,KAAK,YAAY,CAAA;QACzC,MAAM,WAAW,GAAG,WAAW,OAAO,CAAC,GAAG,CAAC,EAAE,CAAA;QAC7C,MAAM,UAAU,GAAG,EAAE,CAAC,eAAe,EAAE,IAAI,SAAS,CAAA;QACpD,MAAM,WAAW,GAAG,EAAE,CAAC,aAAa,EAA6B,CAAA;QACjE,MAAM,YAAY,GACd,OAAO,WAAW,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAA;QAClE,MAAM,YAAY,GAAG,YAAY;YAC7B,CAAC,CAAC,GAAG,SAAS,CAAC,YAAY,CAAC,MAAM,SAAS,CAAC,UAAU,CAAC,EAAE;YACzD,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAA;QAE3B,MAAM,UAAU,GAAG,OAAO,EAAE,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAEnD,KAAK,CAAC,IAAI,CAAC,cAAc,WAAW,IAAI,CAAC,CAAA;QAEzC,IAAI,OAAO,IAAI,UAAU,EAAE,SAAS,KAAK,SAAS,EAAE,CAAC;YACjD,8DAA8D;YAC9D,2DAA2D;YAC3D,MAAM,SAAS,GACX,UAAU,CAAC,SAAS,KAAK,IAAI;gBAC7B,UAAU,CAAC,mBAAmB,EAAE,IAAI,KAAK,SAAS;gBAClD,UAAU,CAAC,mBAAmB,CAAC,eAAe,KAAK,IAAI,CAAA;YAC3D,MAAM,WAAW,GAAG,SAAS;gBACzB,CAAC,CAAC,WAAW;gBACb,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;YACtC,KAAK,CAAC,IAAI,CAAC,cAAc,YAAY,IAAI,CAAC,CAAA;YAC1C,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAA;YAC7B,KAAK,CAAC,IAAI,CAAC,aAAa,WAAW,GAAG,CAAC,CAAA;YACvC,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAA;QACjC,CAAC;aAAM,IAAI,YAAY,EAAE,CAAC;YACtB,KAAK,CAAC,IAAI,CAAC,cAAc,YAAY,kBAAkB,CAAC,CAAA;YACxD,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAA;YAC7B,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAA;YAC5B,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAA;QACjC,CAAC;aAAM,CAAC;YACJ,KAAK,CAAC,IAAI,CAAC,cAAc,YAAY,IAAI,CAAC,CAAA;YAC1C,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAA;YAC/B,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAA;QACnC,CAAC;QAED,MAAM,WAAW,GAAG,EAAE,CAAC,cAAc,EAAE,CAAA;QAEvC,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3B,KAAK,CAAC,IAAI,CACN,QAAQ,OAAO,CAAC,GAAG,CAAC,4CAA4C,CACnE,CAAA;QACL,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;YAC7B,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;YAC5B,IAAI,KAAa,CAAA;YACjB,IAAI,KAAa,CAAA;YACjB,MAAM,KAAK,GAAa,EAAE,CAAA;YAE1B,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC3B,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;gBACrC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAA;gBAC1B,KAAK,GAAG,KAAK,CAAA;YACjB,CAAC;iBAAM,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAClC,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;gBACpC,KAAK,GAAG,SAAS,CAAA;YACrB,CAAC;iBAAM,CAAC;gBACJ,KAAK,GAAG,QAAQ,CAAA;gBAChB,KAAK,GAAG,SAAS,CAAA;YACrB,CAAC;YAED,KAAK,CAAC,IAAI,CAAC,UAAU,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;YACzC,KAAK,CAAC,IAAI,CAAC,SAAS,KAAK,EAAE,CAAC,CAAA;YAE5B,iDAAiD;YACjD,IAAI,OAAO,IAAI,UAAU,EAAE,CAAC;gBACxB,IAAI,SAAS,GACT,UAAU,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBACxC,8DAA8D;gBAC9D,gEAAgE;gBAChE,IACI,SAAS,KAAK,SAAS;oBACvB,IAAI,CAAC,IAAI,KAAK,UAAU;oBACxB,OAAO,CAAC,MAAM,CAAC,UAAU,EAC3B,CAAC;oBACC,MAAM,MAAM,GACR,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;oBACxD,IAAI,MAAM,KAAK,SAAS;wBAAE,SAAS,GAAG,MAAM,CAAA;gBAChD,CAAC;gBACD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;oBAC1B,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAA;oBAC1B,KAAK,CAAC,IAAI,CAAC,aAAa,cAAc,CAAC,SAAS,CAAC,EAAE,CAAC,CAAA;gBACxD,CAAC;gBACD,MAAM,OAAO,GAAG,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBACpD,IAAI,OAAO,KAAK,UAAU,EAAE,CAAC;oBACzB,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAA;oBAC3B,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAA;gBAC3B,CAAC;qBAAM,IAAI,OAAO,KAAK,UAAU,EAAE,CAAC;oBAChC,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAA;oBAC3B,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAA;gBAC7B,CAAC;YACL,CAAC;YAED,KAAK,CAAC,IAAI,CAAC,QAAQ,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QACpD,CAAC;QAED,gEAAgE;QAChE,iEAAiE;QACjE,MAAM,UAAU,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC,IAAI,CACpC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CACpC,CAAA;QACD,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;YAC5B,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;gBACzB,KAAK,CAAC,IAAI,CACN,QAAQ,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAC9D,CAAA;YACL,CAAC;QACL,CAAC;QAED,+CAA+C;QAC/C,KAAK,CAAC,IAAI,CACN,QAAQ,OAAO,CAAC,GAAG,CAAC,6CAA6C,CACpE,CAAA;QAED,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACjB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAClB,CAAC;IAED,+CAA+C;IAC/C,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,CAA0C,CAAA;QACxD,IAAI,YAAoB,CAAA;QACxB,IAAI,SAAiB,CAAA;QAErB,IAAI,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;YACtB,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,YAAY,CAAC,CAAA;YAChE,MAAM,UAAU,GACZ,KAAK;gBACL,OAAQ,KAAiC,CAAC,KAAK,KAAK,QAAQ;gBACxD,CAAC,CAAG,KAAiC,CAAC,KAAgB;gBACtD,CAAC,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,KAAK,CAAC,YAAY,EAAE,CAAA;YAC9D,YAAY,GAAG,GAAG,KAAK,CAAC,MAAM,cAAc,SAAS,CAAC,UAAU,CAAC,GAAG,CAAA;YACpE,SAAS,GAAG,aAAa,CAAA;QAC7B,CAAC;aAAM,CAAC;YACJ,YAAY,GAAG,GAAG,KAAK,CAAC,MAAM,oBAAoB,CAAA;YAClD,SAAS,GAAG,WAAW,CAAA;QAC3B,CAAC;QAED,mDAAmD;QACnD,IAAI,OAAO,EAAE,CAAC;YACV,8CAA8C;YAC9C,IAAI,QAAyC,CAAA;YAC7C,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,cAAc,CAAC,MAAM,EAAE,EAAE,CAAC;gBAC/C,IAAI,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,SAAS,EAAE,CAAC;oBACxC,QAAQ,GAAG,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;oBAClC,MAAK;gBACT,CAAC;YACL,CAAC;YACD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBACzB,SAAS,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;gBACtD,YAAY,IAAI,QAAQ,QAAQ,IAAI,SAAS,EAAE,CAAA;YACnD,CAAC;QACL,CAAC;QAED,KAAK,CAAC,IAAI,CACN,UAAU,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,YAAY,uCAAuC,SAAS,KAAK,CACxG,CAAA;IACL,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAEd,oEAAoE;IACpE,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;QACxB,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,cAAc,EAAE,EAAE,CAAC;YACrC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC3B,KAAK,CAAC,IAAI,CACN,MAAM,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,aAAa,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,kCAAkC,CAChG,CAAA;YACL,CAAC;QACL,CAAC;IACL,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAEd,kDAAkD;IAClD,MAAM,sBAAsB,GAAG,IAAI,GAAG,EAAU,CAAA;IAChD,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,CAA0C,CAAA;QACxD,IAAI,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC;YACxB,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,CAAC,cAAc,EAAE,CAAA;YAC7C,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnC,sBAAsB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;gBAC/B,KAAK,CAAC,IAAI,CACN,UAAU,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,OAAO,CAAC,KAAK,CAAC,cAAc,CAAC,0CAA0C,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,mBAAmB,OAAO,CAAC,KAAK,CAAC,cAAc,CAAC,IAAI,CACrL,CAAA;YACL,CAAC;QACL,CAAC;IACL,CAAC;IAED,uCAAuC;IACvC,MAAM,UAAU,GAAa,EAAE,CAAA;IAC/B,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,CAA0C,CAAA;QACxD,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC;YAAE,SAAQ;QAClC,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,YAAY,CAAC,CAAA;QAChE,IAAI,CAAC,KAAK;YAAE,SAAQ;QACpB,MAAM,GAAG,GAAG,KAAgC,CAAA;QAC5C,MAAM,KAAK,GAAG,OAAO,GAAG,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAA;QACtE,MAAM,IAAI,GAAG,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAA;QACzD,IAAI,CAAC,IAAI;YAAE,SAAQ;QAEnB,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC;aAC/B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;aACzB,IAAI,CAAC,OAAO,CAAC,CAAA;QAElB,UAAU,CAAC,IAAI,CACX,cAAc,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,4BAA4B;YACnD,yFAAyF;YACzF,cAAc,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,gBAAgB;YACtD,cAAc,UAAU,CAAC,KAAK,CAAC,gBAAgB;YAC/C,yBAAyB,SAAS,YAAY;YAC9C,aAAa,CACpB,CAAA;IACL,CAAC;IAED,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QACd,KAAK,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAA;QACrC,KAAK,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAA;QACzC,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAA;QAC5B,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAA;QAC9B,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;YAC5B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACpB,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAEjB,qDAAqD;QACrD,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YACxB,MAAM,KAAK,GAAG,CAA0C,CAAA;YACxD,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC;gBAAE,SAAQ;YAClC,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,YAAY,CAAC,CAAA;YAChE,IAAI,CAAC,KAAK;gBAAE,SAAQ;YACpB,MAAM,GAAG,GAAG,KAAgC,CAAA;YAC5C,IAAI,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,GAAG,CAAC,IAAI;gBAAE,SAAQ;YACvD,KAAK,CAAC,IAAI,CACN,UAAU,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,eAAe,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,kBAAkB,CACxE,CAAA;QACL,CAAC;IACL,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IACf,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AAC3B,CAAC;AAED,MAAM,UAAU,oBAAoB,CAChC,YAAqB,EACrB,UAAkB,EAClB,OAAe;IAEf,YAAY;SACP,OAAO,CAAC,OAAO,CAAC;SAChB,WAAW,CAAC,wDAAwD,CAAC;SACrE,MAAM,CAAC,QAAQ,EAAE,+BAA+B,CAAC;SACjD,MAAM,CACH,uBAAuB,EACvB,kDAAkD,CACrD;SACA,MAAM,CAAC,KAAK,EAAE,IAA2C,EAAE,EAAE;QAC1D,MAAM,IAAI,GAAG,MAAM,mBAAmB,EAAE,CAAA;QACxC,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,IAAI,CAAC,CAAA;QAE7D,IAAI,OAAuC,CAAA;QAE3C,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAChB,MAAM,QAAQ,GAAG,MAAM,uBAAuB,CAC1C,IAAI,CAAC,QAAQ,EACb,UAAU,EACV,OAAO,CACV,CAAA;YACD,IACI,CAAC,CAAC,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,EAC5D,CAAC;gBACC,SAAS,CAAC,kBAAkB,QAAQ,mBAAmB,CAAC,CAAA;YAC5D,CAAC;YAED,MAAM,CAAC,YAAY,EAAE,YAAY,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;gBACnD,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC;gBAC3C,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC;aACrC,CAAC,CAAA;YAEF,MAAM,UAAU,GAAG,IAAI,GAAG,CACtB,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAC5C,CAAA;YACD,MAAM,kBAAkB,GAAmC,EAAE,CAAA;YAC7D,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CACnC,YAAY,CAAC,WAAW,CAC3B,EAAE,CAAC;gBACA,MAAM,EAAE,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;gBAC9B,IAAI,EAAE,KAAK,SAAS;oBAAE,kBAAkB,CAAC,EAAE,CAAC,GAAG,GAAG,CAAA;YACtD,CAAC;YAED,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAC1B;gBACI,SAAS,EAAE,kBAAkB;gBAC7B,mBAAmB,EAAE;oBACjB,GAAG,YAAY,CAAC,mBAAmB;iBACtC;aACJ,EACD;gBACI,uBAAuB,EAAE,IAAI;gBAC7B,kBAAkB,EAAE,IAAI;gBACxB,aAAa,EAAE,KAAK;aACvB,CACJ,CAAA;YAED,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;gBACb,SAAS,CACL,kEAAkE,CACrE,CAAA;YACL,CAAC;YAED,MAAM,cAAc,GAAG,IAAI,GAAG,EAG3B,CAAA;YACH,IAAI,MAAM,CAAC,UAAU;gBACjB,cAAc,CAAC,GAAG,CACd,MAAM,CAAC,UAAU,CAAC,SAAS,EAC3B,MAAM,CAAC,UAAU,CACpB,CAAA;YACL,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,kBAAkB,IAAI,EAAE;gBAC5C,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,EAAE,EAAE,CAAC,CAAA;YACxC,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,kBAAkB,IAAI,EAAE;gBAC5C,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,EAAE,EAAE,CAAC,CAAA;YAExC,OAAO,GAAG;gBACN,MAAM;gBACN,cAAc;gBACd,mBAAmB,EAAE;oBACjB,GAAG,YAAY,CAAC,mBAAmB;iBACtC;aACJ,CAAA;QACL,CAAC;QAED,MAAM,GAAG,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,CAAA;QAEhD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,EAAE,GAAG,EAAE,CAAC,CAAA;QACtB,CAAC;aAAM,CAAC;YACJ,SAAS,CAAC,GAAG,CAAC,CAAA;QAClB,CAAC;IACL,CAAC,CAAC,CAAA;AACV,CAAC"}
@@ -1 +1 @@
1
- {"version":3,"file":"parse.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/parse.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AA+CxC,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI,CA0KxD"}
1
+ {"version":3,"file":"parse.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/parse.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAgDxC,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI,CA6KxD"}
@@ -1,6 +1,7 @@
1
1
  import { buildParsingPrompt } from "../../lib/parsing/index.js";
2
2
  import { BasicsArgumentParser, BasicsParsingSchema, } from "../../extensions/basics/index.js";
3
- import { hydrateLibraries, persistEngine, persistLibraries } from "../engine.js";
3
+ import { hydratePropositCore, persistEngine, persistCore } from "../engine.js";
4
+ import { PropositCore } from "../../lib/core/proposit-core.js";
4
5
  import { ClaimLibrary } from "../../lib/core/claim-library.js";
5
6
  import { SourceLibrary } from "../../lib/core/source-library.js";
6
7
  import { ClaimSourceLibrary } from "../../lib/core/claim-source-library.js";
@@ -134,30 +135,36 @@ export function registerParseCommand(args) {
134
135
  }
135
136
  }
136
137
  // 10. Merge libraries with existing global state
137
- const existing = await hydrateLibraries();
138
+ const existing = await hydratePropositCore();
138
139
  const mergedClaims = ClaimLibrary.fromSnapshot({
139
140
  claims: [
140
- ...existing.claimLibrary.snapshot().claims,
141
+ ...existing.claims.snapshot().claims,
141
142
  ...built.claimLibrary.snapshot().claims,
142
143
  ],
143
144
  });
144
145
  const mergedSources = SourceLibrary.fromSnapshot({
145
146
  sources: [
146
- ...existing.sourceLibrary.snapshot().sources,
147
+ ...existing.sources.snapshot().sources,
147
148
  ...built.sourceLibrary.snapshot().sources,
148
149
  ],
149
150
  });
150
151
  const mergedAssocs = ClaimSourceLibrary.fromSnapshot({
151
152
  claimSourceAssociations: [
152
- ...existing.claimSourceLibrary.snapshot()
153
+ ...existing.claimSources.snapshot()
153
154
  .claimSourceAssociations,
154
155
  ...built.claimSourceLibrary.snapshot()
155
156
  .claimSourceAssociations,
156
157
  ],
157
158
  }, mergedClaims, mergedSources);
159
+ const merged = new PropositCore({
160
+ claimLibrary: mergedClaims,
161
+ sourceLibrary: mergedSources,
162
+ claimSourceLibrary: mergedAssocs,
163
+ forkLibrary: existing.forks,
164
+ });
158
165
  // 11. Persist and output
159
166
  await persistEngine(built.engine);
160
- await persistLibraries(mergedClaims, mergedSources, mergedAssocs);
167
+ await persistCore(merged);
161
168
  printLine(built.engine.getArgument().id);
162
169
  });
163
170
  }
@@ -1 +1 @@
1
- {"version":3,"file":"parse.js","sourceRoot":"","sources":["../../../src/cli/commands/parse.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAA;AAE/D,OAAO,EACH,oBAAoB,EACpB,mBAAmB,GACtB,MAAM,kCAAkC,CAAA;AACzC,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAChF,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAA;AAC9D,OAAO,EAAE,aAAa,EAAE,MAAM,kCAAkC,CAAA;AAChE,OAAO,EAAE,kBAAkB,EAAE,MAAM,wCAAwC,CAAA;AAC3E,OAAO,EAAE,MAAM,EAAE,MAAM,eAAe,CAAA;AACtC,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,cAAc,CAAA;AAC5E,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAA;AAElE,MAAM,iBAAkB,SAAQ,oBAAoB;IAC/B,QAAQ,CAAS;IACjB,cAAc,CAAQ;IAEvC,YAAY,KAAc,EAAE,WAAoB;QAC5C,KAAK,EAAE,CAAA;QACP,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAA;QACrB,IAAI,CAAC,cAAc,GAAG,WAAW,IAAI,EAAE,CAAA;IAC3C,CAAC;IAEkB,WAAW,CAC1B,MAAuB;QAEvB,MAAM,YAAY,GAAG,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,CAAA;QAC9C,OAAO;YACH,GAAG,YAAY;YACf,GAAG,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAChE,WAAW,EAAE,IAAI,CAAC,cAAc;YAChC,SAAS,EAAE,IAAI,IAAI,EAAE;YACrB,SAAS,EAAE,KAAK;SACnB,CAAA;IACL,CAAC;CACJ;AAED,KAAK,UAAU,SAAS;IACpB,MAAM,MAAM,GAAa,EAAE,CAAA;IAC3B,IAAI,KAAK,EAAE,MAAM,KAAK,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;QACtC,MAAM,CAAC,IAAI,CAAC,KAAe,CAAC,CAAA;IAChC,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAA;AAClD,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,IAAa;IAC9C,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC;SACvB,WAAW,CACR,qEAAqE,CACxE;SACA,MAAM,CAAC,kBAAkB,EAAE,mBAAmB,EAAE,QAAQ,CAAC;SACzD,MAAM,CAAC,iBAAiB,EAAE,6BAA6B,CAAC;SACxD,MAAM,CAAC,iBAAiB,EAAE,gBAAgB,CAAC;SAC3C,MAAM,CACH,iBAAiB,EACjB,gDAAgD,CACnD;SACA,MAAM,CAAC,sBAAsB,EAAE,sBAAsB,EAAE,EAAE,CAAC;SAC1D,MAAM,CAAC,WAAW,EAAE,uCAAuC,CAAC;SAC5D,MAAM,CACH,KAAK,EACD,IAAwB,EACxB,IAOC,EACH,EAAE;QACA,qBAAqB;QACrB,IAAI,MAAc,CAAA;QAClB,IAAI,CAAC;YACD,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,CAAA;QACjD,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,SAAS,CACL,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CACzD,CAAA;QACL,CAAC;QAED,wBAAwB;QACxB,IAAI,SAAiB,CAAA;QACrB,IAAI,IAAI,EAAE,CAAC;YACP,SAAS,GAAG,IAAI,CAAA;QACpB,CAAC;aAAM,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;YAC9B,SAAS,GAAG,MAAM,SAAS,EAAE,CAAA;QACjC,CAAC;aAAM,CAAC;YACJ,SAAS,CACL,4DAA4D,CAC/D,CAAA;QACL,CAAC;QAED,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC;YACpB,SAAS,CAAC,sBAAsB,CAAC,CAAA;QACrC,CAAC;QAED,6BAA6B;QAC7B,MAAM,cAAc,GAAG,mBAAmB,CAAA;QAC1C,MAAM,YAAY,GAAG,kBAAkB,CAAC,cAAc,CAAC,CAAA;QAEvD,cAAc;QACd,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,CAAC,GAAG,EAAE;YACzC,MAAM;YACN,KAAK,EAAE,IAAI,CAAC,KAAK;SACpB,CAAC,CAAA;QAEF,IAAI,MAA+B,CAAA;QACnC,IAAI,CAAC;YACD,MAAM,GAAG,MAAM,QAAQ,CAAC,QAAQ,CAAC;gBAC7B,YAAY;gBACZ,WAAW,EAAE,SAAS;gBACtB,cAAc;aACjB,CAAC,CAAA;QACN,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,MAAM,GAAG,GACL,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;YAC1D,MAAM,MAAM,CAAC,iBAAiB,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAA;YAC/C,SAAS,CAAC,GAAG,CAAC,CAAA;QAClB,CAAC;QAED,0BAA0B;QAC1B,MAAM,MAAM,CAAC,oBAAoB,EAAE;YAC/B,QAAQ,EAAE,IAAI,CAAC,GAAG;YAClB,KAAK,EAAE,IAAI,CAAC,KAAK,IAAI,WAAW;YAChC,SAAS;YACT,QAAQ,EAAE,MAAM;SACnB,CAAC,CAAA;QAEF,0CAA0C;QAC1C,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YACd,SAAS,CAAC,MAAM,CAAC,CAAA;YACjB,OAAM;QACV,CAAC;QAED,cAAc;QACd,MAAM,MAAM,GAAG,IAAI,iBAAiB,CAChC,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,WAAW,CACnB,CAAA;QACD,IAAI,QAAQ,CAAA;QACZ,IAAI,CAAC;YACD,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;QACtC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,MAAM,GAAG,GACL,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;YAC1D,MAAM,MAAM,CAAC,wBAAwB,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAA;YACtD,SAAS,CAAC,sBAAsB,GAAG,EAAE,CAAC,CAAA;QAC1C,CAAC;QAED,6BAA6B;QAC7B,IAAI,QAAQ,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;YAC7B,MAAM,GAAG,GACL,QAAQ,CAAC,WAAW;gBACpB,mDAAmD,CAAA;YACvD,MAAM,MAAM,CAAC,qBAAqB,EAAE;gBAChC,WAAW,EAAE,QAAQ,CAAC,WAAW;aACpC,CAAC,CAAA;YACF,SAAS,CAAC,GAAG,CAAC,CAAA;QAClB,CAAC;QAED,kBAAkB;QAClB,IAAI,KAAK,CAAA;QACT,IAAI,CAAC;YACD,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAA;QACrD,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,MAAM,GAAG,GACL,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;YAC1D,MAAM,MAAM,CAAC,mBAAmB,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAA;YACjD,SAAS,CAAC,iBAAiB,GAAG,EAAE,CAAC,CAAA;QACrC,CAAC;QAED,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;gBAC7B,YAAY,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAA;YAC5C,CAAC;QACL,CAAC;QAED,iDAAiD;QACjD,MAAM,QAAQ,GAAG,MAAM,gBAAgB,EAAE,CAAA;QACzC,MAAM,YAAY,GAAG,YAAY,CAAC,YAAY,CAAC;YAC3C,MAAM,EAAE;gBACJ,GAAG,QAAQ,CAAC,YAAY,CAAC,QAAQ,EAAE,CAAC,MAAM;gBAC1C,GAAG,KAAK,CAAC,YAAY,CAAC,QAAQ,EAAE,CAAC,MAAM;aAC1C;SACJ,CAAC,CAAA;QACF,MAAM,aAAa,GAAG,aAAa,CAAC,YAAY,CAAC;YAC7C,OAAO,EAAE;gBACL,GAAG,QAAQ,CAAC,aAAa,CAAC,QAAQ,EAAE,CAAC,OAAO;gBAC5C,GAAG,KAAK,CAAC,aAAa,CAAC,QAAQ,EAAE,CAAC,OAAO;aAC5C;SACJ,CAAC,CAAA;QACF,MAAM,YAAY,GAAG,kBAAkB,CAAC,YAAY,CAChD;YACI,uBAAuB,EAAE;gBACrB,GAAG,QAAQ,CAAC,kBAAkB,CAAC,QAAQ,EAAE;qBACpC,uBAAuB;gBAC5B,GAAG,KAAK,CAAC,kBAAkB,CAAC,QAAQ,EAAE;qBACjC,uBAAuB;aAC/B;SACJ,EACD,YAAY,EACZ,aAAa,CAChB,CAAA;QAED,yBAAyB;QACzB,MAAM,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;QACjC,MAAM,gBAAgB,CAClB,YAAY,EACZ,aAAa,EACb,YAAY,CACf,CAAA;QACD,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC,CAAA;IAC5C,CAAC,CACJ,CAAA;AACT,CAAC"}
1
+ {"version":3,"file":"parse.js","sourceRoot":"","sources":["../../../src/cli/commands/parse.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAA;AAE/D,OAAO,EACH,oBAAoB,EACpB,mBAAmB,GACtB,MAAM,kCAAkC,CAAA;AACzC,OAAO,EAAE,mBAAmB,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAC9E,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAA;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAA;AAC9D,OAAO,EAAE,aAAa,EAAE,MAAM,kCAAkC,CAAA;AAChE,OAAO,EAAE,kBAAkB,EAAE,MAAM,wCAAwC,CAAA;AAC3E,OAAO,EAAE,MAAM,EAAE,MAAM,eAAe,CAAA;AACtC,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,cAAc,CAAA;AAC5E,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAA;AAElE,MAAM,iBAAkB,SAAQ,oBAAoB;IAC/B,QAAQ,CAAS;IACjB,cAAc,CAAQ;IAEvC,YAAY,KAAc,EAAE,WAAoB;QAC5C,KAAK,EAAE,CAAA;QACP,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAA;QACrB,IAAI,CAAC,cAAc,GAAG,WAAW,IAAI,EAAE,CAAA;IAC3C,CAAC;IAEkB,WAAW,CAC1B,MAAuB;QAEvB,MAAM,YAAY,GAAG,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,CAAA;QAC9C,OAAO;YACH,GAAG,YAAY;YACf,GAAG,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAChE,WAAW,EAAE,IAAI,CAAC,cAAc;YAChC,SAAS,EAAE,IAAI,IAAI,EAAE;YACrB,SAAS,EAAE,KAAK;SACnB,CAAA;IACL,CAAC;CACJ;AAED,KAAK,UAAU,SAAS;IACpB,MAAM,MAAM,GAAa,EAAE,CAAA;IAC3B,IAAI,KAAK,EAAE,MAAM,KAAK,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;QACtC,MAAM,CAAC,IAAI,CAAC,KAAe,CAAC,CAAA;IAChC,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAA;AAClD,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,IAAa;IAC9C,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC;SACvB,WAAW,CACR,qEAAqE,CACxE;SACA,MAAM,CAAC,kBAAkB,EAAE,mBAAmB,EAAE,QAAQ,CAAC;SACzD,MAAM,CAAC,iBAAiB,EAAE,6BAA6B,CAAC;SACxD,MAAM,CAAC,iBAAiB,EAAE,gBAAgB,CAAC;SAC3C,MAAM,CACH,iBAAiB,EACjB,gDAAgD,CACnD;SACA,MAAM,CAAC,sBAAsB,EAAE,sBAAsB,EAAE,EAAE,CAAC;SAC1D,MAAM,CAAC,WAAW,EAAE,uCAAuC,CAAC;SAC5D,MAAM,CACH,KAAK,EACD,IAAwB,EACxB,IAOC,EACH,EAAE;QACA,qBAAqB;QACrB,IAAI,MAAc,CAAA;QAClB,IAAI,CAAC;YACD,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,CAAA;QACjD,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,SAAS,CACL,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CACzD,CAAA;QACL,CAAC;QAED,wBAAwB;QACxB,IAAI,SAAiB,CAAA;QACrB,IAAI,IAAI,EAAE,CAAC;YACP,SAAS,GAAG,IAAI,CAAA;QACpB,CAAC;aAAM,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;YAC9B,SAAS,GAAG,MAAM,SAAS,EAAE,CAAA;QACjC,CAAC;aAAM,CAAC;YACJ,SAAS,CACL,4DAA4D,CAC/D,CAAA;QACL,CAAC;QAED,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC;YACpB,SAAS,CAAC,sBAAsB,CAAC,CAAA;QACrC,CAAC;QAED,6BAA6B;QAC7B,MAAM,cAAc,GAAG,mBAAmB,CAAA;QAC1C,MAAM,YAAY,GAAG,kBAAkB,CAAC,cAAc,CAAC,CAAA;QAEvD,cAAc;QACd,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,CAAC,GAAG,EAAE;YACzC,MAAM;YACN,KAAK,EAAE,IAAI,CAAC,KAAK;SACpB,CAAC,CAAA;QAEF,IAAI,MAA+B,CAAA;QACnC,IAAI,CAAC;YACD,MAAM,GAAG,MAAM,QAAQ,CAAC,QAAQ,CAAC;gBAC7B,YAAY;gBACZ,WAAW,EAAE,SAAS;gBACtB,cAAc;aACjB,CAAC,CAAA;QACN,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,MAAM,GAAG,GACL,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;YAC1D,MAAM,MAAM,CAAC,iBAAiB,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAA;YAC/C,SAAS,CAAC,GAAG,CAAC,CAAA;QAClB,CAAC;QAED,0BAA0B;QAC1B,MAAM,MAAM,CAAC,oBAAoB,EAAE;YAC/B,QAAQ,EAAE,IAAI,CAAC,GAAG;YAClB,KAAK,EAAE,IAAI,CAAC,KAAK,IAAI,WAAW;YAChC,SAAS;YACT,QAAQ,EAAE,MAAM;SACnB,CAAC,CAAA;QAEF,0CAA0C;QAC1C,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YACd,SAAS,CAAC,MAAM,CAAC,CAAA;YACjB,OAAM;QACV,CAAC;QAED,cAAc;QACd,MAAM,MAAM,GAAG,IAAI,iBAAiB,CAChC,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,WAAW,CACnB,CAAA;QACD,IAAI,QAAQ,CAAA;QACZ,IAAI,CAAC;YACD,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;QACtC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,MAAM,GAAG,GACL,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;YAC1D,MAAM,MAAM,CAAC,wBAAwB,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAA;YACtD,SAAS,CAAC,sBAAsB,GAAG,EAAE,CAAC,CAAA;QAC1C,CAAC;QAED,6BAA6B;QAC7B,IAAI,QAAQ,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;YAC7B,MAAM,GAAG,GACL,QAAQ,CAAC,WAAW;gBACpB,mDAAmD,CAAA;YACvD,MAAM,MAAM,CAAC,qBAAqB,EAAE;gBAChC,WAAW,EAAE,QAAQ,CAAC,WAAW;aACpC,CAAC,CAAA;YACF,SAAS,CAAC,GAAG,CAAC,CAAA;QAClB,CAAC;QAED,kBAAkB;QAClB,IAAI,KAAK,CAAA;QACT,IAAI,CAAC;YACD,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAA;QACrD,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,MAAM,GAAG,GACL,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;YAC1D,MAAM,MAAM,CAAC,mBAAmB,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAA;YACjD,SAAS,CAAC,iBAAiB,GAAG,EAAE,CAAC,CAAA;QACrC,CAAC;QAED,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;gBAC7B,YAAY,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAA;YAC5C,CAAC;QACL,CAAC;QAED,iDAAiD;QACjD,MAAM,QAAQ,GAAG,MAAM,mBAAmB,EAAE,CAAA;QAC5C,MAAM,YAAY,GAAG,YAAY,CAAC,YAAY,CAAC;YAC3C,MAAM,EAAE;gBACJ,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,MAAM;gBACpC,GAAG,KAAK,CAAC,YAAY,CAAC,QAAQ,EAAE,CAAC,MAAM;aAC1C;SACJ,CAAC,CAAA;QACF,MAAM,aAAa,GAAG,aAAa,CAAC,YAAY,CAAC;YAC7C,OAAO,EAAE;gBACL,GAAG,QAAQ,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,OAAO;gBACtC,GAAG,KAAK,CAAC,aAAa,CAAC,QAAQ,EAAE,CAAC,OAAO;aAC5C;SACJ,CAAC,CAAA;QACF,MAAM,YAAY,GAAG,kBAAkB,CAAC,YAAY,CAChD;YACI,uBAAuB,EAAE;gBACrB,GAAG,QAAQ,CAAC,YAAY,CAAC,QAAQ,EAAE;qBAC9B,uBAAuB;gBAC5B,GAAG,KAAK,CAAC,kBAAkB,CAAC,QAAQ,EAAE;qBACjC,uBAAuB;aAC/B;SACJ,EACD,YAAY,EACZ,aAAa,CAChB,CAAA;QAED,MAAM,MAAM,GAAG,IAAI,YAAY,CAAC;YAC5B,YAAY,EAAE,YAAY;YAC1B,aAAa,EAAE,aAAa;YAC5B,kBAAkB,EAAE,YAAY;YAChC,WAAW,EAAE,QAAQ,CAAC,KAAK;SAC9B,CAAC,CAAA;QAEF,yBAAyB;QACzB,MAAM,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;QACjC,MAAM,WAAW,CAAC,MAAM,CAAC,CAAA;QACzB,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC,CAAA;IAC5C,CAAC,CACJ,CAAA;AACT,CAAC"}
@@ -1 +1 @@
1
- {"version":3,"file":"premises.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/premises.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AA+CnC,wBAAgB,uBAAuB,CACnC,YAAY,EAAE,OAAO,EACrB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,GAChB,IAAI,CAkRN"}
1
+ {"version":3,"file":"premises.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/premises.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AA8CnC,wBAAgB,uBAAuB,CACnC,YAAY,EAAE,OAAO,EACrB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,GAChB,IAAI,CAyRN"}
@@ -4,8 +4,8 @@ import { PremiseEngine } from "../../lib/core/premise-engine.js";
4
4
  import { VariableManager } from "../../lib/core/variable-manager.js";
5
5
  import { errorExit, printJson, printLine, requireConfirmation, } from "../output.js";
6
6
  import { readArgumentMeta, readVersionMeta } from "../storage/arguments.js";
7
- import { deletePremiseDir, listPremiseIds, premiseExists, readPremiseData, readPremiseMeta, writePremiseData, writePremiseMeta, } from "../storage/premises.js";
8
- import { readRoles, writeRoles } from "../storage/roles.js";
7
+ import { deletePremiseDir, listPremiseIds, premiseExists, readPremiseData, readPremiseMeta, writePremiseMeta, } from "../storage/premises.js";
8
+ import { hydrateEngine, persistEngine } from "../engine.js";
9
9
  import { readVariables } from "../storage/variables.js";
10
10
  async function assertNotPublished(argumentId, version) {
11
11
  const meta = await readVersionMeta(argumentId, version);
@@ -28,17 +28,21 @@ export function registerPremiseCommands(versionedCmd, argumentId, version) {
28
28
  .command("create")
29
29
  .description("Create a new premise")
30
30
  .option("--title <title>", "Optional title for the premise")
31
+ .option("--symbol <symbol>", "Symbol for the auto-created premise-bound variable")
31
32
  .action(async (opts) => {
32
33
  await assertNotPublished(argumentId, version);
34
+ const engine = await hydrateEngine(argumentId, version);
33
35
  const id = randomUUID();
34
- await writePremiseMeta(argumentId, version, {
35
- id,
36
- ...(opts.title ? { title: opts.title } : {}),
37
- });
38
- await writePremiseData(argumentId, version, id, {
39
- variables: [],
40
- expressions: [],
41
- });
36
+ const extras = {};
37
+ if (opts.title)
38
+ extras.title = opts.title;
39
+ try {
40
+ engine.createPremiseWithId(id, extras, opts.symbol);
41
+ }
42
+ catch (err) {
43
+ errorExit(err instanceof Error ? err.message : String(err));
44
+ }
45
+ await persistEngine(engine);
42
46
  printLine(id);
43
47
  });
44
48
  premises
@@ -130,14 +134,14 @@ export function registerPremiseCommands(versionedCmd, argumentId, version) {
130
134
  if (!opts.confirm) {
131
135
  await requireConfirmation(`Delete premise "${premiseId}"?`);
132
136
  }
133
- // Clean up roles
134
- const roles = await readRoles(argumentId, version);
135
- if (roles.conclusionPremiseId === premiseId) {
136
- await writeRoles(argumentId, version, {
137
- ...roles,
138
- conclusionPremiseId: undefined,
139
- });
137
+ const engine = await hydrateEngine(argumentId, version);
138
+ try {
139
+ engine.removePremise(premiseId);
140
+ }
141
+ catch (err) {
142
+ errorExit(err instanceof Error ? err.message : String(err));
140
143
  }
144
+ await persistEngine(engine);
141
145
  await deletePremiseDir(argumentId, version, premiseId);
142
146
  printLine("success");
143
147
  });
@@ -1 +1 @@
1
- {"version":3,"file":"premises.js","sourceRoot":"","sources":["../../../src/cli/commands/premises.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,aAAa,EAAE,MAAM,kCAAkC,CAAA;AAChE,OAAO,EAAE,eAAe,EAAE,MAAM,oCAAoC,CAAA;AAGpE,OAAO,EACH,SAAS,EACT,SAAS,EACT,SAAS,EACT,mBAAmB,GACtB,MAAM,cAAc,CAAA;AACrB,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAA;AAC3E,OAAO,EACH,gBAAgB,EAChB,cAAc,EACd,aAAa,EACb,eAAe,EACf,eAAe,EACf,gBAAgB,EAChB,gBAAgB,GACnB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAA;AAC3D,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAA;AAEvD,KAAK,UAAU,kBAAkB,CAC7B,UAAkB,EAClB,OAAe;IAEf,MAAM,IAAI,GAAG,MAAM,eAAe,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;IACvD,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QACjB,SAAS,CACL,WAAW,OAAO,iBAAiB,UAAU,wCAAwC,CACxF,CAAA;IACL,CAAC;AACL,CAAC;AAED,KAAK,UAAU,aAAa,CACxB,UAAkB,EAClB,OAAe;IAEf,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QACvC,gBAAgB,CAAC,UAAU,CAAC;QAC5B,eAAe,CAAC,UAAU,EAAE,OAAO,CAAC;KACvC,CAAC,CAAA;IACF,OAAO,EAAE,GAAG,OAAO,EAAE,GAAG,KAAK,EAAE,CAAA;AACnC,CAAC;AAED,MAAM,UAAU,uBAAuB,CACnC,YAAqB,EACrB,UAAkB,EAClB,OAAe;IAEf,MAAM,QAAQ,GAAG,YAAY;SACxB,OAAO,CAAC,UAAU,CAAC;SACnB,WAAW,CAAC,iBAAiB,CAAC,CAAA;IAEnC,QAAQ;SACH,OAAO,CAAC,QAAQ,CAAC;SACjB,WAAW,CAAC,sBAAsB,CAAC;SACnC,MAAM,CAAC,iBAAiB,EAAE,gCAAgC,CAAC;SAC3D,MAAM,CAAC,KAAK,EAAE,IAAwB,EAAE,EAAE;QACvC,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC7C,MAAM,EAAE,GAAG,UAAU,EAAE,CAAA;QACvB,MAAM,gBAAgB,CAAC,UAAU,EAAE,OAAO,EAAE;YACxC,EAAE;YACF,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC/C,CAAC,CAAA;QACF,MAAM,gBAAgB,CAAC,UAAU,EAAE,OAAO,EAAE,EAAE,EAAE;YAC5C,SAAS,EAAE,EAAE;YACb,WAAW,EAAE,EAAE;SAClB,CAAC,CAAA;QACF,SAAS,CAAC,EAAE,CAAC,CAAA;IACjB,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,MAAM,CAAC;SACf,WAAW,CAAC,mBAAmB,CAAC;SAChC,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,IAAwB,EAAE,EAAE;QACvC,MAAM,QAAQ,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACzD,MAAM,YAAY,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC7D,MAAM,UAAU,GAAG,MAAM,cAAc,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAE5D,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,GAAG,CAC7B,UAAU,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE;YACzB,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;gBACnC,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,CAAC;gBACzC,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,CAAC;aAC5C,CAAC,CAAA;YAEF,uDAAuD;YACvD,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,aAAa,EAAE,GAAG,IAAI,CAAA;YAC1C,MAAM,EAAE,GAAG,IAAI,eAAe,EAAE,CAAA;YAChC,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;gBAC3B,EAAE,CAAC,WAAW,CAAC,EAAE,GAAG,CAAC,EAAE,eAAe,EAAE,OAAO,EAAE,CAAC,CAAA;YACtD,CAAC;YACD,MAAM,EAAE,GAAG,IAAI,aAAa,CACxB;gBACI,EAAE,EAAE,GAAG;gBACP,UAAU,EAAE,QAAQ,CAAC,EAAE;gBACvB,eAAe,EAAE,OAAO;gBACxB,GAAG,aAAa;aACH,EACjB,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,EAAE,CAC9B,CAAA;YAED,4BAA4B;YAC5B,MAAM,SAAS,GAAG,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,CAAA;YACvC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAA;YAC/B,KAAK,IAAI,CAAC,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC7C,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;gBACzB,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;oBACzB,EAAE,CAAC,aAAa,CAAC;wBACb,GAAG,IAAI;wBACP,SAAS,EAAE,GAAG;wBACd,eAAe,EAAE,OAAO;qBAC3B,CAAC,CAAA;oBACF,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;oBAClB,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;gBAC1B,CAAC;YACL,CAAC;YACD,IAAI,QAAQ,GAAG,IAAI,CAAA;YACnB,OAAO,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,EAAE,CAAC;gBACtC,QAAQ,GAAG,KAAK,CAAA;gBAChB,KAAK,IAAI,CAAC,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC7C,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;oBACzB,IACI,IAAI,CAAC,QAAQ,KAAK,IAAI;wBACtB,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAC1B,CAAC;wBACC,EAAE,CAAC,aAAa,CAAC;4BACb,GAAG,IAAI;4BACP,SAAS,EAAE,GAAG;4BACd,eAAe,EAAE,OAAO;yBAC3B,CAAC,CAAA;wBACF,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;wBAClB,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;wBACtB,QAAQ,GAAG,IAAI,CAAA;oBACnB,CAAC;gBACL,CAAC;YACL,CAAC;YAED,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAA;QAC7B,CAAC,CAAC,CACL,CAAA;QAED,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CACL,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;gBAC7B,GAAG,IAAI;gBACP,GAAG,IAAI;aACV,CAAC,CAAC,CACN,CAAA;QACL,CAAC;aAAM,CAAC;YACJ,KAAK,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,OAAO,EAAE,CAAC;gBACjC,MAAM,OAAO,GAAG,EAAE,CAAC,eAAe,EAAE,IAAI,SAAS,CAAA;gBACjD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,YAAY,CAAA;gBACxC,MAAM,WAAW,GAAG,EAAE,CAAC,WAAW,EAAE;oBAChC,CAAC,CAAC,WAAW;oBACb,CAAC,CAAC,YAAY,CAAA;gBAClB,SAAS,CACL,GAAG,IAAI,CAAC,EAAE,MAAM,WAAW,MAAM,OAAO,MAAM,KAAK,EAAE,CACxD,CAAA;YACL,CAAC;QACL,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,qBAAqB,CAAC;SAC9B,WAAW,CAAC,kBAAkB,CAAC;SAC/B,MAAM,CAAC,WAAW,EAAE,0BAA0B,CAAC;SAC/C,MAAM,CAAC,KAAK,EAAE,SAAiB,EAAE,IAA2B,EAAE,EAAE;QAC7D,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC7C,IAAI,CAAC,CAAC,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC;YACzD,SAAS,CAAC,YAAY,SAAS,cAAc,CAAC,CAAA;QAClD,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YAChB,MAAM,mBAAmB,CAAC,mBAAmB,SAAS,IAAI,CAAC,CAAA;QAC/D,CAAC;QAED,iBAAiB;QACjB,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAClD,IAAI,KAAK,CAAC,mBAAmB,KAAK,SAAS,EAAE,CAAC;YAC1C,MAAM,UAAU,CAAC,UAAU,EAAE,OAAO,EAAE;gBAClC,GAAG,KAAK;gBACR,mBAAmB,EAAE,SAAS;aACjC,CAAC,CAAA;QACN,CAAC;QAED,MAAM,gBAAgB,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAA;QACtD,SAAS,CAAC,SAAS,CAAC,CAAA;IACxB,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,qBAAqB,CAAC;SAC9B,WAAW,CAAC,yBAAyB,CAAC;SACtC,MAAM,CAAC,qBAAqB,EAAE,WAAW,CAAC;SAC1C,MAAM,CAAC,eAAe,EAAE,kBAAkB,CAAC;SAC3C,MAAM,CACH,KAAK,EACD,SAAiB,EACjB,IAA8C,EAChD,EAAE;QACA,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC7C,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YAC9C,SAAS,CACL,qDAAqD,CACxD,CAAA;QACL,CAAC;QACD,IAAI,CAAC,CAAC,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC;YACzD,SAAS,CAAC,YAAY,SAAS,cAAc,CAAC,CAAA;QAClD,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,eAAe,CAC9B,UAAU,EACV,OAAO,EACP,SAAS,CACZ,CAAA;QACD,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YAClB,OAAO,IAAI,CAAC,KAAK,CAAA;QACrB,CAAC;aAAM,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAClC,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAA;QAC3B,CAAC;QACD,MAAM,gBAAgB,CAAC,UAAU,EAAE,OAAO,EAAE,IAAI,CAAC,CAAA;QACjD,SAAS,CAAC,SAAS,CAAC,CAAA;IACxB,CAAC,CACJ,CAAA;IAEL,QAAQ;SACH,OAAO,CAAC,mBAAmB,CAAC;SAC5B,WAAW,CAAC,uBAAuB,CAAC;SACpC,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,SAAiB,EAAE,IAAwB,EAAE,EAAE;QAC1D,IAAI,CAAC,CAAC,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC;YACzD,SAAS,CAAC,YAAY,SAAS,cAAc,CAAC,CAAA;QAClD,CAAC;QACD,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YACnC,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC;YAC/C,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC;SAClD,CAAC,CAAA;QACF,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,EAAE,GAAG,IAAI,EAAE,GAAG,IAAI,EAAE,CAAC,CAAA;QACnC,CAAC;aAAM,CAAC;YACJ,MAAM,QAAQ,GAAG,IAAI,CAAC,gBAAgB;gBAClC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CACjB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,gBAAgB,CACxC;gBACH,CAAC,CAAC,SAAS,CAAA;YACf,MAAM,WAAW,GACb,QAAQ,EAAE,IAAI,KAAK,UAAU;gBAC7B,CAAC,QAAQ,CAAC,QAAQ,KAAK,SAAS;oBAC5B,QAAQ,CAAC,QAAQ,KAAK,KAAK,CAAC;gBAC5B,CAAC,CAAC,WAAW;gBACb,CAAC,CAAC,YAAY,CAAA;YACtB,SAAS,CAAC,iBAAiB,IAAI,CAAC,EAAE,EAAE,CAAC,CAAA;YACrC,SAAS,CAAC,iBAAiB,IAAI,CAAC,KAAK,IAAI,YAAY,EAAE,CAAC,CAAA;YACxD,SAAS,CAAC,iBAAiB,WAAW,EAAE,CAAC,CAAA;YACzC,SAAS,CAAC,iBAAiB,IAAI,CAAC,gBAAgB,IAAI,QAAQ,EAAE,CAAC,CAAA;YAC/D,SAAS,CAAC,iBAAiB,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAA;YACnD,SAAS,CAAC,iBAAiB,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAA;QACzD,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,qBAAqB,CAAC;SAC9B,WAAW,CAAC,mDAAmD,CAAC;SAChE,MAAM,CAAC,KAAK,EAAE,SAAiB,EAAE,EAAE;QAChC,IAAI,CAAC,CAAC,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC;YACzD,SAAS,CAAC,YAAY,SAAS,cAAc,CAAC,CAAA;QAClD,CAAC;QACD,MAAM,QAAQ,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACzD,MAAM,YAAY,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC7D,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YACnC,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC;YAC/C,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC;SAClD,CAAC,CAAA;QAEF,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,mBAAmB,EAAE,GAAG,IAAI,CAAA;QAChD,MAAM,QAAQ,GAAG,IAAI,eAAe,EAAE,CAAA;QACtC,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;YAC3B,QAAQ,CAAC,WAAW,CAAC,EAAE,GAAG,CAAC,EAAE,eAAe,EAAE,OAAO,EAAE,CAAC,CAAA;QAC5D,CAAC;QACD,MAAM,EAAE,GAAG,IAAI,aAAa,CACxB;YACI,EAAE,EAAE,SAAS;YACb,UAAU,EAAE,QAAQ,CAAC,EAAE;YACvB,eAAe,EAAE,OAAO;YACxB,GAAG,mBAAmB;SACT,EACjB,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,CACpC,CAAA;QAED,MAAM,SAAS,GAAG,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,CAAA;QACvC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAA;QAC/B,KAAK,IAAI,CAAC,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7C,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;YACzB,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;gBACzB,EAAE,CAAC,aAAa,CAAC;oBACb,GAAG,IAAI;oBACP,SAAS,EAAE,SAAS;oBACpB,eAAe,EAAE,OAAO;iBAC3B,CAAC,CAAA;gBACF,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBAClB,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;YAC1B,CAAC;QACL,CAAC;QACD,IAAI,QAAQ,GAAG,IAAI,CAAA;QACnB,OAAO,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,EAAE,CAAC;YACtC,QAAQ,GAAG,KAAK,CAAA;YAChB,KAAK,IAAI,CAAC,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC7C,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;gBACzB,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACrD,EAAE,CAAC,aAAa,CAAC;wBACb,GAAG,IAAI;wBACP,SAAS,EAAE,SAAS;wBACpB,eAAe,EAAE,OAAO;qBAC3B,CAAC,CAAA;oBACF,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;oBAClB,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;oBACtB,QAAQ,GAAG,IAAI,CAAA;gBACnB,CAAC;YACL,CAAC;QACL,CAAC;QAED,SAAS,CAAC,EAAE,CAAC,eAAe,EAAE,CAAC,CAAA;IACnC,CAAC,CAAC,CAAA;AACV,CAAC"}
1
+ {"version":3,"file":"premises.js","sourceRoot":"","sources":["../../../src/cli/commands/premises.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,aAAa,EAAE,MAAM,kCAAkC,CAAA;AAChE,OAAO,EAAE,eAAe,EAAE,MAAM,oCAAoC,CAAA;AAGpE,OAAO,EACH,SAAS,EACT,SAAS,EACT,SAAS,EACT,mBAAmB,GACtB,MAAM,cAAc,CAAA;AACrB,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAA;AAC3E,OAAO,EACH,gBAAgB,EAChB,cAAc,EACd,aAAa,EACb,eAAe,EACf,eAAe,EACf,gBAAgB,GACnB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAC3D,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAA;AAEvD,KAAK,UAAU,kBAAkB,CAC7B,UAAkB,EAClB,OAAe;IAEf,MAAM,IAAI,GAAG,MAAM,eAAe,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;IACvD,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QACjB,SAAS,CACL,WAAW,OAAO,iBAAiB,UAAU,wCAAwC,CACxF,CAAA;IACL,CAAC;AACL,CAAC;AAED,KAAK,UAAU,aAAa,CACxB,UAAkB,EAClB,OAAe;IAEf,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QACvC,gBAAgB,CAAC,UAAU,CAAC;QAC5B,eAAe,CAAC,UAAU,EAAE,OAAO,CAAC;KACvC,CAAC,CAAA;IACF,OAAO,EAAE,GAAG,OAAO,EAAE,GAAG,KAAK,EAAE,CAAA;AACnC,CAAC;AAED,MAAM,UAAU,uBAAuB,CACnC,YAAqB,EACrB,UAAkB,EAClB,OAAe;IAEf,MAAM,QAAQ,GAAG,YAAY;SACxB,OAAO,CAAC,UAAU,CAAC;SACnB,WAAW,CAAC,iBAAiB,CAAC,CAAA;IAEnC,QAAQ;SACH,OAAO,CAAC,QAAQ,CAAC;SACjB,WAAW,CAAC,sBAAsB,CAAC;SACnC,MAAM,CAAC,iBAAiB,EAAE,gCAAgC,CAAC;SAC3D,MAAM,CACH,mBAAmB,EACnB,oDAAoD,CACvD;SACA,MAAM,CAAC,KAAK,EAAE,IAAyC,EAAE,EAAE;QACxD,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC7C,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAEvD,MAAM,EAAE,GAAG,UAAU,EAAE,CAAA;QACvB,MAAM,MAAM,GAA4B,EAAE,CAAA;QAC1C,IAAI,IAAI,CAAC,KAAK;YAAE,MAAM,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAA;QAEzC,IAAI,CAAC;YACD,MAAM,CAAC,mBAAmB,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAA;QACvD,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACX,SAAS,CAAC,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAA;QAC/D,CAAC;QAED,MAAM,aAAa,CAAC,MAAM,CAAC,CAAA;QAC3B,SAAS,CAAC,EAAE,CAAC,CAAA;IACjB,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,MAAM,CAAC;SACf,WAAW,CAAC,mBAAmB,CAAC;SAChC,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,IAAwB,EAAE,EAAE;QACvC,MAAM,QAAQ,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACzD,MAAM,YAAY,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC7D,MAAM,UAAU,GAAG,MAAM,cAAc,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAE5D,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,GAAG,CAC7B,UAAU,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE;YACzB,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;gBACnC,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,CAAC;gBACzC,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,CAAC;aAC5C,CAAC,CAAA;YAEF,uDAAuD;YACvD,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,aAAa,EAAE,GAAG,IAAI,CAAA;YAC1C,MAAM,EAAE,GAAG,IAAI,eAAe,EAAE,CAAA;YAChC,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;gBAC3B,EAAE,CAAC,WAAW,CAAC,EAAE,GAAG,CAAC,EAAE,eAAe,EAAE,OAAO,EAAE,CAAC,CAAA;YACtD,CAAC;YACD,MAAM,EAAE,GAAG,IAAI,aAAa,CACxB;gBACI,EAAE,EAAE,GAAG;gBACP,UAAU,EAAE,QAAQ,CAAC,EAAE;gBACvB,eAAe,EAAE,OAAO;gBACxB,GAAG,aAAa;aACH,EACjB,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,EAAE,CAC9B,CAAA;YAED,4BAA4B;YAC5B,MAAM,SAAS,GAAG,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,CAAA;YACvC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAA;YAC/B,KAAK,IAAI,CAAC,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC7C,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;gBACzB,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;oBACzB,EAAE,CAAC,aAAa,CAAC;wBACb,GAAG,IAAI;wBACP,SAAS,EAAE,GAAG;wBACd,eAAe,EAAE,OAAO;qBAC3B,CAAC,CAAA;oBACF,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;oBAClB,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;gBAC1B,CAAC;YACL,CAAC;YACD,IAAI,QAAQ,GAAG,IAAI,CAAA;YACnB,OAAO,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,EAAE,CAAC;gBACtC,QAAQ,GAAG,KAAK,CAAA;gBAChB,KAAK,IAAI,CAAC,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC7C,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;oBACzB,IACI,IAAI,CAAC,QAAQ,KAAK,IAAI;wBACtB,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAC1B,CAAC;wBACC,EAAE,CAAC,aAAa,CAAC;4BACb,GAAG,IAAI;4BACP,SAAS,EAAE,GAAG;4BACd,eAAe,EAAE,OAAO;yBAC3B,CAAC,CAAA;wBACF,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;wBAClB,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;wBACtB,QAAQ,GAAG,IAAI,CAAA;oBACnB,CAAC;gBACL,CAAC;YACL,CAAC;YAED,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAA;QAC7B,CAAC,CAAC,CACL,CAAA;QAED,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CACL,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;gBAC7B,GAAG,IAAI;gBACP,GAAG,IAAI;aACV,CAAC,CAAC,CACN,CAAA;QACL,CAAC;aAAM,CAAC;YACJ,KAAK,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,OAAO,EAAE,CAAC;gBACjC,MAAM,OAAO,GAAG,EAAE,CAAC,eAAe,EAAE,IAAI,SAAS,CAAA;gBACjD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,YAAY,CAAA;gBACxC,MAAM,WAAW,GAAG,EAAE,CAAC,WAAW,EAAE;oBAChC,CAAC,CAAC,WAAW;oBACb,CAAC,CAAC,YAAY,CAAA;gBAClB,SAAS,CACL,GAAG,IAAI,CAAC,EAAE,MAAM,WAAW,MAAM,OAAO,MAAM,KAAK,EAAE,CACxD,CAAA;YACL,CAAC;QACL,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,qBAAqB,CAAC;SAC9B,WAAW,CAAC,kBAAkB,CAAC;SAC/B,MAAM,CAAC,WAAW,EAAE,0BAA0B,CAAC;SAC/C,MAAM,CAAC,KAAK,EAAE,SAAiB,EAAE,IAA2B,EAAE,EAAE;QAC7D,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC7C,IAAI,CAAC,CAAC,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC;YACzD,SAAS,CAAC,YAAY,SAAS,cAAc,CAAC,CAAA;QAClD,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YAChB,MAAM,mBAAmB,CAAC,mBAAmB,SAAS,IAAI,CAAC,CAAA;QAC/D,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACvD,IAAI,CAAC;YACD,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,CAAA;QACnC,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACX,SAAS,CAAC,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAA;QAC/D,CAAC;QAED,MAAM,aAAa,CAAC,MAAM,CAAC,CAAA;QAC3B,MAAM,gBAAgB,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAA;QACtD,SAAS,CAAC,SAAS,CAAC,CAAA;IACxB,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,qBAAqB,CAAC;SAC9B,WAAW,CAAC,yBAAyB,CAAC;SACtC,MAAM,CAAC,qBAAqB,EAAE,WAAW,CAAC;SAC1C,MAAM,CAAC,eAAe,EAAE,kBAAkB,CAAC;SAC3C,MAAM,CACH,KAAK,EACD,SAAiB,EACjB,IAA8C,EAChD,EAAE;QACA,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC7C,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YAC9C,SAAS,CACL,qDAAqD,CACxD,CAAA;QACL,CAAC;QACD,IAAI,CAAC,CAAC,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC;YACzD,SAAS,CAAC,YAAY,SAAS,cAAc,CAAC,CAAA;QAClD,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,eAAe,CAC9B,UAAU,EACV,OAAO,EACP,SAAS,CACZ,CAAA;QACD,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YAClB,OAAO,IAAI,CAAC,KAAK,CAAA;QACrB,CAAC;aAAM,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAClC,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAA;QAC3B,CAAC;QACD,MAAM,gBAAgB,CAAC,UAAU,EAAE,OAAO,EAAE,IAAI,CAAC,CAAA;QACjD,SAAS,CAAC,SAAS,CAAC,CAAA;IACxB,CAAC,CACJ,CAAA;IAEL,QAAQ;SACH,OAAO,CAAC,mBAAmB,CAAC;SAC5B,WAAW,CAAC,uBAAuB,CAAC;SACpC,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,SAAiB,EAAE,IAAwB,EAAE,EAAE;QAC1D,IAAI,CAAC,CAAC,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC;YACzD,SAAS,CAAC,YAAY,SAAS,cAAc,CAAC,CAAA;QAClD,CAAC;QACD,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YACnC,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC;YAC/C,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC;SAClD,CAAC,CAAA;QACF,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,EAAE,GAAG,IAAI,EAAE,GAAG,IAAI,EAAE,CAAC,CAAA;QACnC,CAAC;aAAM,CAAC;YACJ,MAAM,QAAQ,GAAG,IAAI,CAAC,gBAAgB;gBAClC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CACjB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,gBAAgB,CACxC;gBACH,CAAC,CAAC,SAAS,CAAA;YACf,MAAM,WAAW,GACb,QAAQ,EAAE,IAAI,KAAK,UAAU;gBAC7B,CAAC,QAAQ,CAAC,QAAQ,KAAK,SAAS;oBAC5B,QAAQ,CAAC,QAAQ,KAAK,KAAK,CAAC;gBAC5B,CAAC,CAAC,WAAW;gBACb,CAAC,CAAC,YAAY,CAAA;YACtB,SAAS,CAAC,iBAAiB,IAAI,CAAC,EAAE,EAAE,CAAC,CAAA;YACrC,SAAS,CAAC,iBAAiB,IAAI,CAAC,KAAK,IAAI,YAAY,EAAE,CAAC,CAAA;YACxD,SAAS,CAAC,iBAAiB,WAAW,EAAE,CAAC,CAAA;YACzC,SAAS,CAAC,iBAAiB,IAAI,CAAC,gBAAgB,IAAI,QAAQ,EAAE,CAAC,CAAA;YAC/D,SAAS,CAAC,iBAAiB,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAA;YACnD,SAAS,CAAC,iBAAiB,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAA;QACzD,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,qBAAqB,CAAC;SAC9B,WAAW,CAAC,mDAAmD,CAAC;SAChE,MAAM,CAAC,KAAK,EAAE,SAAiB,EAAE,EAAE;QAChC,IAAI,CAAC,CAAC,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC;YACzD,SAAS,CAAC,YAAY,SAAS,cAAc,CAAC,CAAA;QAClD,CAAC;QACD,MAAM,QAAQ,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACzD,MAAM,YAAY,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC7D,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YACnC,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC;YAC/C,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC;SAClD,CAAC,CAAA;QAEF,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,mBAAmB,EAAE,GAAG,IAAI,CAAA;QAChD,MAAM,QAAQ,GAAG,IAAI,eAAe,EAAE,CAAA;QACtC,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;YAC3B,QAAQ,CAAC,WAAW,CAAC,EAAE,GAAG,CAAC,EAAE,eAAe,EAAE,OAAO,EAAE,CAAC,CAAA;QAC5D,CAAC;QACD,MAAM,EAAE,GAAG,IAAI,aAAa,CACxB;YACI,EAAE,EAAE,SAAS;YACb,UAAU,EAAE,QAAQ,CAAC,EAAE;YACvB,eAAe,EAAE,OAAO;YACxB,GAAG,mBAAmB;SACT,EACjB,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,CACpC,CAAA;QAED,MAAM,SAAS,GAAG,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,CAAA;QACvC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAA;QAC/B,KAAK,IAAI,CAAC,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7C,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;YACzB,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;gBACzB,EAAE,CAAC,aAAa,CAAC;oBACb,GAAG,IAAI;oBACP,SAAS,EAAE,SAAS;oBACpB,eAAe,EAAE,OAAO;iBAC3B,CAAC,CAAA;gBACF,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBAClB,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;YAC1B,CAAC;QACL,CAAC;QACD,IAAI,QAAQ,GAAG,IAAI,CAAA;QACnB,OAAO,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,EAAE,CAAC;YACtC,QAAQ,GAAG,KAAK,CAAA;YAChB,KAAK,IAAI,CAAC,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC7C,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;gBACzB,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACrD,EAAE,CAAC,aAAa,CAAC;wBACb,GAAG,IAAI;wBACP,SAAS,EAAE,SAAS;wBACpB,eAAe,EAAE,OAAO;qBAC3B,CAAC,CAAA;oBACF,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;oBAClB,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;oBACtB,QAAQ,GAAG,IAAI,CAAA;gBACnB,CAAC;YACL,CAAC;QACL,CAAC;QAED,SAAS,CAAC,EAAE,CAAC,eAAe,EAAE,CAAC,CAAA;IACnC,CAAC,CAAC,CAAA;AACV,CAAC"}
@@ -1 +1 @@
1
- {"version":3,"file":"render.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/render.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAiBnC,wBAAgB,qBAAqB,CACjC,YAAY,EAAE,OAAO,EACrB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,GAChB,IAAI,CAiGN"}
1
+ {"version":3,"file":"render.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/render.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAiBnC,wBAAgB,qBAAqB,CACjC,YAAY,EAAE,OAAO,EACrB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,GAChB,IAAI,CAoHN"}