@polintpro/proposit-core 0.7.5 → 0.8.2
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +91 -27
- package/dist/cli/commands/arguments.d.ts.map +1 -1
- package/dist/cli/commands/arguments.js +25 -7
- package/dist/cli/commands/arguments.js.map +1 -1
- package/dist/cli/commands/claims.d.ts.map +1 -1
- package/dist/cli/commands/claims.js +16 -16
- package/dist/cli/commands/claims.js.map +1 -1
- package/dist/cli/commands/diff.d.ts.map +1 -1
- package/dist/cli/commands/diff.js +19 -4
- package/dist/cli/commands/diff.js.map +1 -1
- package/dist/cli/commands/expressions.d.ts.map +1 -1
- package/dist/cli/commands/expressions.js +56 -0
- package/dist/cli/commands/expressions.js.map +1 -1
- package/dist/cli/commands/graph.d.ts +13 -0
- package/dist/cli/commands/graph.d.ts.map +1 -0
- package/dist/cli/commands/graph.js +347 -0
- package/dist/cli/commands/graph.js.map +1 -0
- package/dist/cli/commands/parse.d.ts.map +1 -1
- package/dist/cli/commands/parse.js +13 -6
- package/dist/cli/commands/parse.js.map +1 -1
- package/dist/cli/commands/premises.d.ts.map +1 -1
- package/dist/cli/commands/premises.js +21 -17
- package/dist/cli/commands/premises.js.map +1 -1
- package/dist/cli/commands/render.d.ts.map +1 -1
- package/dist/cli/commands/render.js +23 -12
- package/dist/cli/commands/render.js.map +1 -1
- package/dist/cli/commands/repair.d.ts +3 -0
- package/dist/cli/commands/repair.d.ts.map +1 -0
- package/dist/cli/commands/repair.js +53 -0
- package/dist/cli/commands/repair.js.map +1 -0
- package/dist/cli/commands/sources.d.ts.map +1 -1
- package/dist/cli/commands/sources.js +17 -17
- package/dist/cli/commands/sources.js.map +1 -1
- package/dist/cli/commands/validate.d.ts +3 -0
- package/dist/cli/commands/validate.d.ts.map +1 -0
- package/dist/cli/commands/validate.js +27 -0
- package/dist/cli/commands/validate.js.map +1 -0
- package/dist/cli/commands/variables.d.ts.map +1 -1
- package/dist/cli/commands/variables.js +11 -4
- package/dist/cli/commands/variables.js.map +1 -1
- package/dist/cli/engine.d.ts +6 -19
- package/dist/cli/engine.d.ts.map +1 -1
- package/dist/cli/engine.js +72 -73
- package/dist/cli/engine.js.map +1 -1
- package/dist/cli/storage/libraries.d.ts +3 -0
- package/dist/cli/storage/libraries.d.ts.map +1 -1
- package/dist/cli/storage/libraries.js +19 -0
- package/dist/cli/storage/libraries.js.map +1 -1
- package/dist/cli.js +6 -0
- package/dist/cli.js.map +1 -1
- package/dist/extensions/basics/schemata.d.ts +0 -7
- package/dist/extensions/basics/schemata.d.ts.map +1 -1
- package/dist/lib/consts.d.ts.map +1 -1
- package/dist/lib/consts.js +4 -39
- package/dist/lib/consts.js.map +1 -1
- package/dist/lib/core/argument-engine.d.ts +6 -1
- package/dist/lib/core/argument-engine.d.ts.map +1 -1
- package/dist/lib/core/argument-engine.js +14 -6
- package/dist/lib/core/argument-engine.js.map +1 -1
- package/dist/lib/core/argument-library.d.ts +84 -0
- package/dist/lib/core/argument-library.d.ts.map +1 -0
- package/dist/lib/core/argument-library.js +122 -0
- package/dist/lib/core/argument-library.js.map +1 -0
- package/dist/lib/core/diff.d.ts +0 -10
- package/dist/lib/core/diff.d.ts.map +1 -1
- package/dist/lib/core/diff.js +0 -31
- package/dist/lib/core/diff.js.map +1 -1
- package/dist/lib/core/expression-manager.d.ts +2 -1
- package/dist/lib/core/expression-manager.d.ts.map +1 -1
- package/dist/lib/core/expression-manager.js +12 -8
- package/dist/lib/core/expression-manager.js.map +1 -1
- package/dist/lib/core/fork-library.d.ts +17 -0
- package/dist/lib/core/fork-library.d.ts.map +1 -0
- package/dist/lib/core/fork-library.js +62 -0
- package/dist/lib/core/fork-library.js.map +1 -0
- package/dist/lib/core/fork-namespace.d.ts +19 -0
- package/dist/lib/core/fork-namespace.d.ts.map +1 -0
- package/dist/lib/core/fork-namespace.js +86 -0
- package/dist/lib/core/fork-namespace.js.map +1 -0
- package/dist/lib/core/fork.d.ts +1 -2
- package/dist/lib/core/fork.d.ts.map +1 -1
- package/dist/lib/core/fork.js +4 -18
- package/dist/lib/core/fork.js.map +1 -1
- package/dist/lib/core/interfaces/index.d.ts +1 -1
- package/dist/lib/core/interfaces/index.d.ts.map +1 -1
- package/dist/lib/core/interfaces/library.interfaces.d.ts +58 -24
- package/dist/lib/core/interfaces/library.interfaces.d.ts.map +1 -1
- package/dist/lib/core/premise-engine.d.ts +3 -2
- package/dist/lib/core/premise-engine.d.ts.map +1 -1
- package/dist/lib/core/premise-engine.js +14 -9
- package/dist/lib/core/premise-engine.js.map +1 -1
- package/dist/lib/core/proposit-core.d.ts +111 -0
- package/dist/lib/core/proposit-core.d.ts.map +1 -0
- package/dist/lib/core/proposit-core.js +365 -0
- package/dist/lib/core/proposit-core.js.map +1 -0
- package/dist/lib/index.d.ts +8 -3
- package/dist/lib/index.d.ts.map +1 -1
- package/dist/lib/index.js +6 -3
- package/dist/lib/index.js.map +1 -1
- package/dist/lib/parsing/argument-parser.d.ts.map +1 -1
- package/dist/lib/parsing/argument-parser.js +17 -14
- package/dist/lib/parsing/argument-parser.js.map +1 -1
- package/dist/lib/parsing/clamp-max-lengths.d.ts +11 -0
- package/dist/lib/parsing/clamp-max-lengths.d.ts.map +1 -0
- package/dist/lib/parsing/clamp-max-lengths.js +56 -0
- package/dist/lib/parsing/clamp-max-lengths.js.map +1 -0
- package/dist/lib/parsing/prompt-builder.d.ts.map +1 -1
- package/dist/lib/parsing/prompt-builder.js +14 -1
- package/dist/lib/parsing/prompt-builder.js.map +1 -1
- package/dist/lib/parsing/types.d.ts +2 -0
- package/dist/lib/parsing/types.d.ts.map +1 -1
- package/dist/lib/schemata/argument.d.ts +0 -3
- package/dist/lib/schemata/argument.d.ts.map +1 -1
- package/dist/lib/schemata/argument.js +0 -9
- package/dist/lib/schemata/argument.js.map +1 -1
- package/dist/lib/schemata/fork.d.ts +71 -12
- package/dist/lib/schemata/fork.d.ts.map +1 -1
- package/dist/lib/schemata/fork.js +47 -19
- package/dist/lib/schemata/fork.js.map +1 -1
- package/dist/lib/schemata/propositional.d.ts +0 -50
- package/dist/lib/schemata/propositional.d.ts.map +1 -1
- package/dist/lib/schemata/propositional.js +0 -39
- package/dist/lib/schemata/propositional.js.map +1 -1
- package/dist/lib/types/checksum.d.ts +7 -9
- package/dist/lib/types/checksum.d.ts.map +1 -1
- package/dist/lib/types/validation.d.ts +2 -2
- package/dist/lib/types/validation.d.ts.map +1 -1
- package/dist/lib/types/validation.js +2 -2
- package/dist/lib/types/validation.js.map +1 -1
- package/package.json +1 -1
- package/dist/lib/core/forks-library.d.ts +0 -58
- package/dist/lib/core/forks-library.d.ts.map +0 -1
- package/dist/lib/core/forks-library.js +0 -142
- package/dist/lib/core/forks-library.js.map +0 -1
|
@@ -0,0 +1,347 @@
|
|
|
1
|
+
import { Command } from "commander";
|
|
2
|
+
import { hydrateEngine, hydratePropositCore } from "../engine.js";
|
|
3
|
+
import { isClaimBound, isPremiseBound } from "../../lib/schemata/index.js";
|
|
4
|
+
import { printJson, printLine, errorExit } from "../output.js";
|
|
5
|
+
import { readAnalysis, resolveAnalysisFilename, analysisFileExists, } from "../storage/analysis.js";
|
|
6
|
+
import { readVariables } from "../storage/variables.js";
|
|
7
|
+
function dotEscape(s) {
|
|
8
|
+
return s.replace(/\\/g, "\\\\").replace(/"/g, '\\"');
|
|
9
|
+
}
|
|
10
|
+
function htmlEscape(s) {
|
|
11
|
+
return s.replace(/&/g, "&").replace(/</g, "<").replace(/>/g, ">");
|
|
12
|
+
}
|
|
13
|
+
function wordWrap(s, maxWidth) {
|
|
14
|
+
const lines = [];
|
|
15
|
+
const words = s.split(/\s+/);
|
|
16
|
+
let current = "";
|
|
17
|
+
for (const word of words) {
|
|
18
|
+
if (current && current.length + 1 + word.length > maxWidth) {
|
|
19
|
+
lines.push(current);
|
|
20
|
+
current = word;
|
|
21
|
+
}
|
|
22
|
+
else {
|
|
23
|
+
current = current ? current + " " + word : word;
|
|
24
|
+
}
|
|
25
|
+
}
|
|
26
|
+
if (current)
|
|
27
|
+
lines.push(current);
|
|
28
|
+
return lines;
|
|
29
|
+
}
|
|
30
|
+
function shortId(id) {
|
|
31
|
+
return id.slice(0, 8);
|
|
32
|
+
}
|
|
33
|
+
function operatorLabel(op) {
|
|
34
|
+
switch (op) {
|
|
35
|
+
case "not":
|
|
36
|
+
return "NOT";
|
|
37
|
+
case "and":
|
|
38
|
+
return "AND";
|
|
39
|
+
case "or":
|
|
40
|
+
return "OR";
|
|
41
|
+
case "implies":
|
|
42
|
+
return "IMPLIES";
|
|
43
|
+
case "iff":
|
|
44
|
+
return "IFF";
|
|
45
|
+
default:
|
|
46
|
+
return op.toUpperCase();
|
|
47
|
+
}
|
|
48
|
+
}
|
|
49
|
+
function truthColor(value) {
|
|
50
|
+
if (value === true)
|
|
51
|
+
return "green3";
|
|
52
|
+
if (value === false)
|
|
53
|
+
return "red";
|
|
54
|
+
return "gray70";
|
|
55
|
+
}
|
|
56
|
+
function truthFillColor(value) {
|
|
57
|
+
if (value === true)
|
|
58
|
+
return '"#d4edda"';
|
|
59
|
+
if (value === false)
|
|
60
|
+
return '"#f8d7da"';
|
|
61
|
+
return '"#e2e3e5"';
|
|
62
|
+
}
|
|
63
|
+
export function buildDotGraph(engine, core, overlay) {
|
|
64
|
+
const lines = [];
|
|
65
|
+
const arg = engine.getArgument();
|
|
66
|
+
const roles = engine.getRoleState();
|
|
67
|
+
const conclusionId = roles.conclusionPremiseId;
|
|
68
|
+
const variables = engine.getVariables();
|
|
69
|
+
const varMap = new Map();
|
|
70
|
+
for (const v of variables) {
|
|
71
|
+
varMap.set(v.id, v);
|
|
72
|
+
}
|
|
73
|
+
const argTitle = typeof arg.title === "string" ? arg.title : "(untitled)";
|
|
74
|
+
lines.push("digraph argument {");
|
|
75
|
+
lines.push(" compound=true;");
|
|
76
|
+
lines.push(" rankdir=TB;");
|
|
77
|
+
// Build graph label with optional evaluation summary
|
|
78
|
+
if (overlay) {
|
|
79
|
+
const r = overlay.result;
|
|
80
|
+
const summaryParts = [];
|
|
81
|
+
if (r.isAdmissibleAssignment !== undefined)
|
|
82
|
+
summaryParts.push(`admissible: ${r.isAdmissibleAssignment ?? "unknown"}`);
|
|
83
|
+
if (r.isCounterexample !== undefined)
|
|
84
|
+
summaryParts.push(`counterexample: ${r.isCounterexample ?? "unknown"}`);
|
|
85
|
+
if (r.preservesTruthUnderAssignment !== undefined)
|
|
86
|
+
summaryParts.push(`preserves truth: ${r.preservesTruthUnderAssignment ?? "unknown"}`);
|
|
87
|
+
const subtitle = summaryParts.join(" | ");
|
|
88
|
+
lines.push(` label="${dotEscape(argTitle)}\\n${dotEscape(subtitle)}";`);
|
|
89
|
+
}
|
|
90
|
+
else {
|
|
91
|
+
lines.push(` label="${dotEscape(argTitle)}";`);
|
|
92
|
+
}
|
|
93
|
+
lines.push(" labelloc=t;");
|
|
94
|
+
lines.push(" fontsize=16;");
|
|
95
|
+
lines.push("");
|
|
96
|
+
const premises = engine.listPremises();
|
|
97
|
+
for (const pm of premises) {
|
|
98
|
+
const pid = pm.getId();
|
|
99
|
+
const isConclusion = pid === conclusionId;
|
|
100
|
+
const clusterName = `cluster_${shortId(pid)}`;
|
|
101
|
+
const displayStr = pm.toDisplayString() || "(empty)";
|
|
102
|
+
const premiseData = pm.toPremiseData();
|
|
103
|
+
const premiseTitle = typeof premiseData.title === "string" ? premiseData.title : "";
|
|
104
|
+
const clusterLabel = premiseTitle
|
|
105
|
+
? `${dotEscape(premiseTitle)}\\n${dotEscape(displayStr)}`
|
|
106
|
+
: dotEscape(displayStr);
|
|
107
|
+
const premResult = overlay?.premiseResults.get(pid);
|
|
108
|
+
lines.push(` subgraph ${clusterName} {`);
|
|
109
|
+
if (overlay && premResult?.rootValue !== undefined) {
|
|
110
|
+
const borderColor = truthColor(premResult.rootValue);
|
|
111
|
+
lines.push(` label="${clusterLabel}";`);
|
|
112
|
+
lines.push(` style=bold;`);
|
|
113
|
+
lines.push(` color=${borderColor};`);
|
|
114
|
+
lines.push(` penwidth=2;`);
|
|
115
|
+
}
|
|
116
|
+
else if (isConclusion) {
|
|
117
|
+
lines.push(` label="${clusterLabel} [CONCLUSION]";`);
|
|
118
|
+
lines.push(" style=bold;");
|
|
119
|
+
lines.push(" color=red;");
|
|
120
|
+
lines.push(" penwidth=2;");
|
|
121
|
+
}
|
|
122
|
+
else {
|
|
123
|
+
lines.push(` label="${clusterLabel}";`);
|
|
124
|
+
lines.push(" style=dashed;");
|
|
125
|
+
lines.push(" color=gray40;");
|
|
126
|
+
}
|
|
127
|
+
const expressions = pm.getExpressions();
|
|
128
|
+
if (expressions.length === 0) {
|
|
129
|
+
lines.push(` "${shortId(pid)}_empty" [label="(empty)" shape=plaintext];`);
|
|
130
|
+
}
|
|
131
|
+
for (const expr of expressions) {
|
|
132
|
+
const nid = shortId(expr.id);
|
|
133
|
+
let label;
|
|
134
|
+
let shape;
|
|
135
|
+
const attrs = [];
|
|
136
|
+
if (expr.type === "variable") {
|
|
137
|
+
const v = varMap.get(expr.variableId);
|
|
138
|
+
label = v ? v.symbol : "?";
|
|
139
|
+
shape = "box";
|
|
140
|
+
}
|
|
141
|
+
else if (expr.type === "operator") {
|
|
142
|
+
label = operatorLabel(expr.operator);
|
|
143
|
+
shape = "diamond";
|
|
144
|
+
}
|
|
145
|
+
else {
|
|
146
|
+
label = "\u24D5";
|
|
147
|
+
shape = "ellipse";
|
|
148
|
+
}
|
|
149
|
+
attrs.push(`label="${dotEscape(label)}"`);
|
|
150
|
+
attrs.push(`shape=${shape}`);
|
|
151
|
+
// Evaluation overlay: color nodes by truth value
|
|
152
|
+
if (overlay && premResult) {
|
|
153
|
+
const exprValue = premResult.expressionValues[expr.id];
|
|
154
|
+
if (exprValue !== undefined) {
|
|
155
|
+
attrs.push(`style=filled`);
|
|
156
|
+
attrs.push(`fillcolor=${truthFillColor(exprValue)}`);
|
|
157
|
+
}
|
|
158
|
+
if (overlay.rejectedExpressionIds.has(expr.id)) {
|
|
159
|
+
attrs.push(`peripheries=2`);
|
|
160
|
+
attrs.push(`color=red`);
|
|
161
|
+
}
|
|
162
|
+
}
|
|
163
|
+
lines.push(` "${nid}" [${attrs.join(" ")}];`);
|
|
164
|
+
}
|
|
165
|
+
// Parent-child edges within expression tree (sorted by position
|
|
166
|
+
// so Graphviz renders siblings left-to-right in ascending order)
|
|
167
|
+
const byPosition = [...expressions].sort((a, b) => a.position - b.position);
|
|
168
|
+
for (const expr of byPosition) {
|
|
169
|
+
if (expr.parentId !== null) {
|
|
170
|
+
lines.push(` "${shortId(expr.parentId)}" -> "${shortId(expr.id)}";`);
|
|
171
|
+
}
|
|
172
|
+
}
|
|
173
|
+
// Anchor node for cross-premise edge targeting
|
|
174
|
+
lines.push(` "${shortId(pid)}_anchor" [shape=point style=invis width=0];`);
|
|
175
|
+
lines.push(" }");
|
|
176
|
+
lines.push("");
|
|
177
|
+
}
|
|
178
|
+
// Variable definition nodes (outside clusters)
|
|
179
|
+
for (const v of variables) {
|
|
180
|
+
const typed = v;
|
|
181
|
+
let bindingLabel;
|
|
182
|
+
let fillColor;
|
|
183
|
+
if (isClaimBound(typed)) {
|
|
184
|
+
const claim = core.claims.get(typed.claimId, typed.claimVersion);
|
|
185
|
+
const claimTitle = claim &&
|
|
186
|
+
typeof claim.title === "string"
|
|
187
|
+
? claim.title
|
|
188
|
+
: `${typed.claimId.slice(0, 8)}@${typed.claimVersion}`;
|
|
189
|
+
bindingLabel = `${typed.symbol}\\n(claim: ${dotEscape(claimTitle)})`;
|
|
190
|
+
fillColor = "lightyellow";
|
|
191
|
+
}
|
|
192
|
+
else {
|
|
193
|
+
bindingLabel = `${typed.symbol}\\n(premise-bound)`;
|
|
194
|
+
fillColor = "lightblue";
|
|
195
|
+
}
|
|
196
|
+
// Overlay: color variable node by assignment value
|
|
197
|
+
if (overlay) {
|
|
198
|
+
// Find variable value from any premise result
|
|
199
|
+
let varValue;
|
|
200
|
+
for (const pr of overlay.premiseResults.values()) {
|
|
201
|
+
if (pr.variableValues[v.id] !== undefined) {
|
|
202
|
+
varValue = pr.variableValues[v.id];
|
|
203
|
+
break;
|
|
204
|
+
}
|
|
205
|
+
}
|
|
206
|
+
if (varValue !== undefined) {
|
|
207
|
+
fillColor = truthFillColor(varValue).replace(/"/g, "");
|
|
208
|
+
bindingLabel += `\\n= ${varValue ?? "unknown"}`;
|
|
209
|
+
}
|
|
210
|
+
}
|
|
211
|
+
lines.push(` "var_${shortId(v.id)}" [label="${bindingLabel}" shape=box style=filled fillcolor="${fillColor}"];`);
|
|
212
|
+
}
|
|
213
|
+
lines.push("");
|
|
214
|
+
// Edges from variable expression nodes to variable definition nodes
|
|
215
|
+
for (const pm of premises) {
|
|
216
|
+
for (const expr of pm.getExpressions()) {
|
|
217
|
+
if (expr.type === "variable") {
|
|
218
|
+
lines.push(` "${shortId(expr.id)}" -> "var_${shortId(expr.variableId)}" [style=dotted arrowhead=none];`);
|
|
219
|
+
}
|
|
220
|
+
}
|
|
221
|
+
}
|
|
222
|
+
lines.push("");
|
|
223
|
+
// Cross-premise edges for premise-bound variables
|
|
224
|
+
const emittedPremiseBindings = new Set();
|
|
225
|
+
for (const v of variables) {
|
|
226
|
+
const typed = v;
|
|
227
|
+
if (isPremiseBound(typed)) {
|
|
228
|
+
const key = `${v.id}:${typed.boundPremiseId}`;
|
|
229
|
+
if (!emittedPremiseBindings.has(key)) {
|
|
230
|
+
emittedPremiseBindings.add(key);
|
|
231
|
+
lines.push(` "var_${shortId(v.id)}" -> "${shortId(typed.boundPremiseId)}_anchor" [style=bold color=blue label="${dotEscape(typed.symbol)}" lhead=cluster_${shortId(typed.boundPremiseId)}];`);
|
|
232
|
+
}
|
|
233
|
+
}
|
|
234
|
+
}
|
|
235
|
+
// Claim detail tiles (below the graph)
|
|
236
|
+
const claimTiles = [];
|
|
237
|
+
for (const v of variables) {
|
|
238
|
+
const typed = v;
|
|
239
|
+
if (!isClaimBound(typed))
|
|
240
|
+
continue;
|
|
241
|
+
const claim = core.claims.get(typed.claimId, typed.claimVersion);
|
|
242
|
+
if (!claim)
|
|
243
|
+
continue;
|
|
244
|
+
const rec = claim;
|
|
245
|
+
const title = typeof rec.title === "string" ? rec.title : "(untitled)";
|
|
246
|
+
const body = typeof rec.body === "string" ? rec.body : "";
|
|
247
|
+
if (!body)
|
|
248
|
+
continue;
|
|
249
|
+
const bodyLines = wordWrap(body, 60)
|
|
250
|
+
.map((l) => htmlEscape(l))
|
|
251
|
+
.join("<BR/>");
|
|
252
|
+
claimTiles.push(` "claim_${shortId(v.id)}" [shape=plaintext label=<` +
|
|
253
|
+
`<TABLE BORDER="1" CELLBORDER="0" CELLSPACING="0" CELLPADDING="6" BGCOLOR="lightyellow">` +
|
|
254
|
+
`<TR><TD><B>${htmlEscape(typed.symbol)}</B></TD></TR>` +
|
|
255
|
+
`<TR><TD><I>${htmlEscape(title)}</I></TD></TR>` +
|
|
256
|
+
`<TR><TD BALIGN="LEFT">${bodyLines}</TD></TR>` +
|
|
257
|
+
`</TABLE>>];`);
|
|
258
|
+
}
|
|
259
|
+
if (claimTiles.length > 0) {
|
|
260
|
+
lines.push("");
|
|
261
|
+
lines.push(" // Claim detail tiles");
|
|
262
|
+
lines.push(" subgraph cluster_claims {");
|
|
263
|
+
lines.push(" rank=sink;");
|
|
264
|
+
lines.push(" style=invis;");
|
|
265
|
+
for (const tile of claimTiles) {
|
|
266
|
+
lines.push(tile);
|
|
267
|
+
}
|
|
268
|
+
lines.push(" }");
|
|
269
|
+
// Invisible edges to push tiles below variable nodes
|
|
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
|
+
if (typeof rec.body !== "string" || !rec.body)
|
|
279
|
+
continue;
|
|
280
|
+
lines.push(` "var_${shortId(v.id)}" -> "claim_${shortId(v.id)}" [style=invis];`);
|
|
281
|
+
}
|
|
282
|
+
}
|
|
283
|
+
lines.push("}");
|
|
284
|
+
return lines.join("\n");
|
|
285
|
+
}
|
|
286
|
+
export function registerGraphCommand(versionedCmd, argumentId, version) {
|
|
287
|
+
versionedCmd
|
|
288
|
+
.command("graph")
|
|
289
|
+
.description("Output a DOT (Graphviz) directed graph of the argument")
|
|
290
|
+
.option("--json", "Output the DOT string as JSON")
|
|
291
|
+
.option("--analysis <filename>", "Overlay evaluation results from an analysis file")
|
|
292
|
+
.action(async (opts) => {
|
|
293
|
+
const core = await hydratePropositCore();
|
|
294
|
+
const engine = await hydrateEngine(argumentId, version, core);
|
|
295
|
+
let overlay;
|
|
296
|
+
if (opts.analysis) {
|
|
297
|
+
const filename = resolveAnalysisFilename(opts.analysis);
|
|
298
|
+
if (!(await analysisFileExists(argumentId, version, filename))) {
|
|
299
|
+
errorExit(`Analysis file "${filename}" does not exist.`);
|
|
300
|
+
}
|
|
301
|
+
const [analysisData, allVariables] = await Promise.all([
|
|
302
|
+
readAnalysis(argumentId, version, filename),
|
|
303
|
+
readVariables(argumentId, version),
|
|
304
|
+
]);
|
|
305
|
+
const symbolToId = new Map(allVariables.map((v) => [v.symbol, v.id]));
|
|
306
|
+
const variableAssignment = {};
|
|
307
|
+
for (const [sym, val] of Object.entries(analysisData.assignments)) {
|
|
308
|
+
const id = symbolToId.get(sym);
|
|
309
|
+
if (id !== undefined)
|
|
310
|
+
variableAssignment[id] = val;
|
|
311
|
+
}
|
|
312
|
+
const result = engine.evaluate({
|
|
313
|
+
variables: variableAssignment,
|
|
314
|
+
rejectedExpressionIds: [
|
|
315
|
+
...analysisData.rejectedExpressionIds,
|
|
316
|
+
],
|
|
317
|
+
}, {
|
|
318
|
+
includeExpressionValues: true,
|
|
319
|
+
includeDiagnostics: false,
|
|
320
|
+
validateFirst: false,
|
|
321
|
+
});
|
|
322
|
+
if (!result.ok) {
|
|
323
|
+
errorExit("Evaluation failed. Run 'analysis validate-argument' for details.");
|
|
324
|
+
}
|
|
325
|
+
const premiseResults = new Map();
|
|
326
|
+
if (result.conclusion)
|
|
327
|
+
premiseResults.set(result.conclusion.premiseId, result.conclusion);
|
|
328
|
+
for (const pr of result.supportingPremises ?? [])
|
|
329
|
+
premiseResults.set(pr.premiseId, pr);
|
|
330
|
+
for (const pr of result.constraintPremises ?? [])
|
|
331
|
+
premiseResults.set(pr.premiseId, pr);
|
|
332
|
+
overlay = {
|
|
333
|
+
result,
|
|
334
|
+
premiseResults,
|
|
335
|
+
rejectedExpressionIds: new Set(analysisData.rejectedExpressionIds),
|
|
336
|
+
};
|
|
337
|
+
}
|
|
338
|
+
const dot = buildDotGraph(engine, core, overlay);
|
|
339
|
+
if (opts.json) {
|
|
340
|
+
printJson({ dot });
|
|
341
|
+
}
|
|
342
|
+
else {
|
|
343
|
+
printLine(dot);
|
|
344
|
+
}
|
|
345
|
+
});
|
|
346
|
+
}
|
|
347
|
+
//# 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;AAS1E,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;IAC9C,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,qDAAqD;IACrD,IAAI,OAAO,EAAE,CAAC;QACV,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAA;QACxB,MAAM,YAAY,GAAa,EAAE,CAAA;QACjC,IAAI,CAAC,CAAC,sBAAsB,KAAK,SAAS;YACtC,YAAY,CAAC,IAAI,CACb,eAAe,CAAC,CAAC,sBAAsB,IAAI,SAAS,EAAE,CACzD,CAAA;QACL,IAAI,CAAC,CAAC,gBAAgB,KAAK,SAAS;YAChC,YAAY,CAAC,IAAI,CACb,mBAAmB,CAAC,CAAC,gBAAgB,IAAI,SAAS,EAAE,CACvD,CAAA;QACL,IAAI,CAAC,CAAC,6BAA6B,KAAK,SAAS;YAC7C,YAAY,CAAC,IAAI,CACb,oBAAoB,CAAC,CAAC,6BAA6B,IAAI,SAAS,EAAE,CACrE,CAAA;QACL,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACzC,KAAK,CAAC,IAAI,CAAC,YAAY,SAAS,CAAC,QAAQ,CAAC,MAAM,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;IAC5E,CAAC;SAAM,CAAC;QACJ,KAAK,CAAC,IAAI,CAAC,YAAY,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;IACnD,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAA;IAC3B,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAA;IAC5B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;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,MAAM,WAAW,GAAG,UAAU,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;YACpD,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,MAAM,SAAS,GAAG,UAAU,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBACtD,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,IAAI,OAAO,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;oBAC7C,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAA;oBAC3B,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAA;gBAC3B,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,uBAAuB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;YACvD,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,qBAAqB,EAAE;oBACnB,GAAG,YAAY,CAAC,qBAAqB;iBACxC;aACJ,EACD;gBACI,uBAAuB,EAAE,IAAI;gBAC7B,kBAAkB,EAAE,KAAK;gBACzB,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,qBAAqB,EAAE,IAAI,GAAG,CAC1B,YAAY,CAAC,qBAAqB,CACrC;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;
|
|
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 {
|
|
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
|
|
138
|
+
const existing = await hydratePropositCore();
|
|
138
139
|
const mergedClaims = ClaimLibrary.fromSnapshot({
|
|
139
140
|
claims: [
|
|
140
|
-
...existing.
|
|
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.
|
|
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.
|
|
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
|
|
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,
|
|
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;
|
|
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,
|
|
8
|
-
import {
|
|
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
|
-
|
|
35
|
-
|
|
36
|
-
|
|
37
|
-
|
|
38
|
-
|
|
39
|
-
|
|
40
|
-
|
|
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
|
-
|
|
134
|
-
|
|
135
|
-
|
|
136
|
-
|
|
137
|
-
|
|
138
|
-
|
|
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,
|
|
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,
|
|
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"}
|