@proposit/proposit-core 0.9.0 → 0.10.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +59 -26
- package/dist/cli/commands/arguments.d.ts.map +1 -1
- package/dist/cli/commands/arguments.js +8 -16
- package/dist/cli/commands/arguments.js.map +1 -1
- package/dist/cli/commands/citations.d.ts +3 -0
- package/dist/cli/commands/citations.d.ts.map +1 -0
- package/dist/cli/commands/citations.js +89 -0
- package/dist/cli/commands/citations.js.map +1 -0
- package/dist/cli/commands/claims.d.ts.map +1 -1
- package/dist/cli/commands/claims.js +10 -2
- package/dist/cli/commands/claims.js.map +1 -1
- package/dist/cli/commands/parse.d.ts.map +1 -1
- package/dist/cli/commands/parse.js +9 -17
- package/dist/cli/commands/parse.js.map +1 -1
- package/dist/cli/commands/render.d.ts.map +1 -1
- package/dist/cli/commands/render.js +44 -18
- package/dist/cli/commands/render.js.map +1 -1
- package/dist/cli/commands/variables.d.ts.map +1 -1
- package/dist/cli/commands/variables.js +1 -0
- package/dist/cli/commands/variables.js.map +1 -1
- package/dist/cli/engine.d.ts.map +1 -1
- package/dist/cli/engine.js +12 -9
- package/dist/cli/engine.js.map +1 -1
- package/dist/cli/import.d.ts +2 -4
- package/dist/cli/import.d.ts.map +1 -1
- package/dist/cli/import.js +8 -7
- package/dist/cli/import.js.map +1 -1
- package/dist/cli/router.js +1 -1
- package/dist/cli/router.js.map +1 -1
- package/dist/cli/storage/libraries.d.ts +4 -7
- package/dist/cli/storage/libraries.d.ts.map +1 -1
- package/dist/cli/storage/libraries.js +9 -28
- package/dist/cli/storage/libraries.js.map +1 -1
- package/dist/cli/storage/migrate-v0.10.d.ts +10 -0
- package/dist/cli/storage/migrate-v0.10.d.ts.map +1 -0
- package/dist/cli/storage/migrate-v0.10.js +213 -0
- package/dist/cli/storage/migrate-v0.10.js.map +1 -0
- package/dist/cli.js +2 -2
- package/dist/cli.js.map +1 -1
- package/dist/extensions/basics/argument-parser.d.ts +1 -2
- package/dist/extensions/basics/argument-parser.d.ts.map +1 -1
- package/dist/extensions/basics/argument-parser.js.map +1 -1
- package/dist/extensions/basics/schemata.d.ts +1 -0
- package/dist/extensions/basics/schemata.d.ts.map +1 -1
- package/dist/extensions/ieee/{source.d.ts → citation-claim.d.ts} +5 -3
- package/dist/extensions/ieee/citation-claim.d.ts.map +1 -0
- package/dist/extensions/ieee/{source.js → citation-claim.js} +5 -4
- package/dist/extensions/ieee/citation-claim.js.map +1 -0
- package/dist/extensions/ieee/index.d.ts +1 -1
- package/dist/extensions/ieee/index.d.ts.map +1 -1
- package/dist/extensions/ieee/index.js +1 -1
- package/dist/extensions/ieee/index.js.map +1 -1
- package/dist/lib/consts.d.ts.map +1 -1
- package/dist/lib/consts.js +9 -13
- package/dist/lib/consts.js.map +1 -1
- package/dist/lib/core/argument-engine.d.ts +8 -8
- package/dist/lib/core/argument-engine.d.ts.map +1 -1
- package/dist/lib/core/argument-engine.js +7 -9
- package/dist/lib/core/argument-engine.js.map +1 -1
- package/dist/lib/core/argument-library.d.ts +13 -15
- package/dist/lib/core/argument-library.d.ts.map +1 -1
- package/dist/lib/core/argument-library.js +23 -9
- package/dist/lib/core/argument-library.js.map +1 -1
- package/dist/lib/core/claim-citation-library.d.ts +44 -0
- package/dist/lib/core/claim-citation-library.d.ts.map +1 -0
- package/dist/lib/core/claim-citation-library.js +336 -0
- package/dist/lib/core/claim-citation-library.js.map +1 -0
- package/dist/lib/core/claim-library.d.ts +33 -1
- package/dist/lib/core/claim-library.d.ts.map +1 -1
- package/dist/lib/core/claim-library.js +71 -3
- package/dist/lib/core/claim-library.js.map +1 -1
- package/dist/lib/core/fork-library.d.ts +19 -10
- package/dist/lib/core/fork-library.d.ts.map +1 -1
- package/dist/lib/core/fork-library.js +16 -13
- package/dist/lib/core/fork-library.js.map +1 -1
- package/dist/lib/core/fork.d.ts +6 -7
- package/dist/lib/core/fork.d.ts.map +1 -1
- package/dist/lib/core/fork.js +8 -3
- 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 +66 -160
- package/dist/lib/core/interfaces/library.interfaces.d.ts.map +1 -1
- package/dist/lib/core/proposit-core.d.ts +30 -32
- package/dist/lib/core/proposit-core.d.ts.map +1 -1
- package/dist/lib/core/proposit-core.js +68 -89
- package/dist/lib/core/proposit-core.js.map +1 -1
- package/dist/lib/index.d.ts +2 -3
- package/dist/lib/index.d.ts.map +1 -1
- package/dist/lib/index.js +2 -3
- package/dist/lib/index.js.map +1 -1
- package/dist/lib/parsing/argument-parser.d.ts +9 -12
- package/dist/lib/parsing/argument-parser.d.ts.map +1 -1
- package/dist/lib/parsing/argument-parser.js +27 -45
- package/dist/lib/parsing/argument-parser.js.map +1 -1
- package/dist/lib/parsing/index.d.ts +2 -2
- package/dist/lib/parsing/index.d.ts.map +1 -1
- package/dist/lib/parsing/index.js +1 -1
- package/dist/lib/parsing/index.js.map +1 -1
- package/dist/lib/parsing/prompt-builder.d.ts.map +1 -1
- package/dist/lib/parsing/prompt-builder.js +31 -24
- package/dist/lib/parsing/prompt-builder.js.map +1 -1
- package/dist/lib/parsing/schemata.d.ts +7 -19
- package/dist/lib/parsing/schemata.d.ts.map +1 -1
- package/dist/lib/parsing/schemata.js +7 -14
- package/dist/lib/parsing/schemata.js.map +1 -1
- package/dist/lib/parsing/types.d.ts +1 -2
- package/dist/lib/parsing/types.d.ts.map +1 -1
- package/dist/lib/schemata/claim-citation.d.ts +11 -0
- package/dist/lib/schemata/claim-citation.d.ts.map +1 -0
- package/dist/lib/schemata/claim-citation.js +25 -0
- package/dist/lib/schemata/claim-citation.js.map +1 -0
- package/dist/lib/schemata/claim.d.ts +1 -0
- package/dist/lib/schemata/claim.d.ts.map +1 -1
- package/dist/lib/schemata/claim.js +3 -0
- package/dist/lib/schemata/claim.js.map +1 -1
- package/dist/lib/schemata/fork.d.ts +0 -11
- package/dist/lib/schemata/fork.d.ts.map +1 -1
- package/dist/lib/schemata/fork.js +0 -10
- package/dist/lib/schemata/fork.js.map +1 -1
- package/dist/lib/schemata/index.d.ts +1 -1
- package/dist/lib/schemata/index.d.ts.map +1 -1
- package/dist/lib/schemata/index.js +1 -1
- package/dist/lib/schemata/index.js.map +1 -1
- package/dist/lib/types/checksum.d.ts +3 -5
- package/dist/lib/types/checksum.d.ts.map +1 -1
- package/dist/lib/types/validation.d.ts +9 -7
- package/dist/lib/types/validation.d.ts.map +1 -1
- package/dist/lib/types/validation.js +10 -8
- package/dist/lib/types/validation.js.map +1 -1
- package/dist/lib/utils/lookup.d.ts +7 -15
- package/dist/lib/utils/lookup.d.ts.map +1 -1
- package/dist/lib/utils/lookup.js +8 -18
- package/dist/lib/utils/lookup.js.map +1 -1
- package/package.json +7 -4
- package/dist/cli/commands/sources.d.ts +0 -3
- package/dist/cli/commands/sources.d.ts.map +0 -1
- package/dist/cli/commands/sources.js +0 -103
- package/dist/cli/commands/sources.js.map +0 -1
- package/dist/extensions/ieee/source.d.ts.map +0 -1
- package/dist/extensions/ieee/source.js.map +0 -1
- package/dist/lib/core/claim-source-library.d.ts +0 -32
- package/dist/lib/core/claim-source-library.d.ts.map +0 -1
- package/dist/lib/core/claim-source-library.js +0 -193
- package/dist/lib/core/claim-source-library.js.map +0 -1
- package/dist/lib/core/source-library.d.ts +0 -23
- package/dist/lib/core/source-library.d.ts.map +0 -1
- package/dist/lib/core/source-library.js +0 -21
- package/dist/lib/core/source-library.js.map +0 -1
- package/dist/lib/schemata/source.d.ts +0 -18
- package/dist/lib/schemata/source.d.ts.map +0 -1
- package/dist/lib/schemata/source.js +0 -35
- package/dist/lib/schemata/source.js.map +0 -1
|
@@ -0,0 +1,213 @@
|
|
|
1
|
+
import fs from "node:fs/promises";
|
|
2
|
+
import path from "node:path";
|
|
3
|
+
import { getStateDir } from "../config.js";
|
|
4
|
+
import { readClaimLibrary, readClaimCitationLibrary, writeClaimLibrary, writeClaimCitationLibrary, } from "./libraries.js";
|
|
5
|
+
import { entityChecksum } from "../../lib/core/checksum.js";
|
|
6
|
+
import { DEFAULT_CHECKSUM_CONFIG } from "../../lib/consts.js";
|
|
7
|
+
const MARKER = ".proposit-v0.10";
|
|
8
|
+
/**
|
|
9
|
+
* One-time migration of CLI state directories from pre-v0.10.0 layout to the
|
|
10
|
+
* unified Source-as-Claim layout.
|
|
11
|
+
*
|
|
12
|
+
* Detected via the absence of a `.proposit-v0.10` marker in the state dir;
|
|
13
|
+
* once migration completes (or there is nothing to migrate) the marker is
|
|
14
|
+
* written so subsequent CLI invocations no-op immediately.
|
|
15
|
+
*/
|
|
16
|
+
export async function migrateV010() {
|
|
17
|
+
const stateDir = getStateDir();
|
|
18
|
+
const markerPath = path.join(stateDir, MARKER);
|
|
19
|
+
// Step 1: Detection — skip if marker exists.
|
|
20
|
+
try {
|
|
21
|
+
await fs.access(markerPath);
|
|
22
|
+
return; // Already migrated.
|
|
23
|
+
}
|
|
24
|
+
catch {
|
|
25
|
+
// Marker missing — proceed with migration.
|
|
26
|
+
}
|
|
27
|
+
// If the state dir doesn't exist yet (fresh install), there's nothing to
|
|
28
|
+
// migrate. Create the directory and drop the marker so we don't re-check
|
|
29
|
+
// every invocation.
|
|
30
|
+
try {
|
|
31
|
+
await fs.mkdir(stateDir, { recursive: true });
|
|
32
|
+
}
|
|
33
|
+
catch {
|
|
34
|
+
// mkdir failures are surfaced by later steps when they touch files.
|
|
35
|
+
}
|
|
36
|
+
// Step 2: Source extras collision check.
|
|
37
|
+
await checkSourceExtrasCollision(stateDir);
|
|
38
|
+
// Step 3: Sources → claims conversion.
|
|
39
|
+
await convertSourcesToClaims(stateDir);
|
|
40
|
+
// Step 4: Existing claim type backfill.
|
|
41
|
+
await backfillClaimTypes(stateDir);
|
|
42
|
+
// Step 5: Associations → citations conversion.
|
|
43
|
+
await convertAssociationsToCitations(stateDir);
|
|
44
|
+
// Step 6: Forks fold.
|
|
45
|
+
await foldForkSourcesIntoClaims(stateDir);
|
|
46
|
+
// Step 7: Checksum recompute. Pre-v0.10 claim and citation entities were
|
|
47
|
+
// hashed without the new `type`, `citingClaim*`, and `sourceClaim*` fields
|
|
48
|
+
// (and without the field-renaming applied above), so the stored checksums
|
|
49
|
+
// no longer match their content. Rewrite each entity's checksum directly
|
|
50
|
+
// from disk before hydrating, so consumers that verify stored-vs-computed
|
|
51
|
+
// checksums don't see mismatches.
|
|
52
|
+
await recomputeChecksums(stateDir);
|
|
53
|
+
// Step 8: Acyclicity validation — hydrate the libraries (which exercises
|
|
54
|
+
// ClaimCitationLibrary.fromSnapshot's cycle check) and write back so any
|
|
55
|
+
// structural normalization is captured.
|
|
56
|
+
await validateAndRewriteLibraries();
|
|
57
|
+
// Step 9: Marker write.
|
|
58
|
+
await fs.writeFile(markerPath, new Date().toISOString());
|
|
59
|
+
process.stderr.write(`[proposit] Migrated state directory to v0.10.0 format at ${stateDir}\n`);
|
|
60
|
+
}
|
|
61
|
+
async function readJsonFile(filePath) {
|
|
62
|
+
try {
|
|
63
|
+
const content = await fs.readFile(filePath, "utf-8");
|
|
64
|
+
return JSON.parse(content);
|
|
65
|
+
}
|
|
66
|
+
catch {
|
|
67
|
+
return null;
|
|
68
|
+
}
|
|
69
|
+
}
|
|
70
|
+
async function writeJsonFile(filePath, data) {
|
|
71
|
+
await fs.mkdir(path.dirname(filePath), { recursive: true });
|
|
72
|
+
await fs.writeFile(filePath, JSON.stringify(data, null, 2));
|
|
73
|
+
}
|
|
74
|
+
async function checkSourceExtrasCollision(stateDir) {
|
|
75
|
+
const sourcesPath = path.join(stateDir, "sources.json");
|
|
76
|
+
const snapshot = await readJsonFile(sourcesPath);
|
|
77
|
+
if (!snapshot?.sources)
|
|
78
|
+
return;
|
|
79
|
+
const colliding = snapshot.sources.filter((s) => s.type !== undefined);
|
|
80
|
+
if (colliding.length > 0) {
|
|
81
|
+
const ids = colliding
|
|
82
|
+
.map((s) => {
|
|
83
|
+
const id = s.id;
|
|
84
|
+
return typeof id === "string" ? id : "<unknown>";
|
|
85
|
+
})
|
|
86
|
+
.join(", ");
|
|
87
|
+
throw new Error(`[proposit migration] Cannot migrate: source records have a 'type' extra that would collide with the new top-level 'type' field. Conflicting source IDs: ${ids}. Rename the extra (e.g., to 'kind') in sources.json and re-run.`);
|
|
88
|
+
}
|
|
89
|
+
}
|
|
90
|
+
async function convertSourcesToClaims(stateDir) {
|
|
91
|
+
const sourcesPath = path.join(stateDir, "sources.json");
|
|
92
|
+
const claimsPath = path.join(stateDir, "claims.json");
|
|
93
|
+
const sourcesSnapshot = await readJsonFile(sourcesPath);
|
|
94
|
+
if (!sourcesSnapshot?.sources)
|
|
95
|
+
return;
|
|
96
|
+
const claimsSnapshot = (await readJsonFile(claimsPath)) ?? { claims: [] };
|
|
97
|
+
claimsSnapshot.claims ??= [];
|
|
98
|
+
for (const source of sourcesSnapshot.sources) {
|
|
99
|
+
claimsSnapshot.claims.push({
|
|
100
|
+
...source,
|
|
101
|
+
type: "citation",
|
|
102
|
+
});
|
|
103
|
+
}
|
|
104
|
+
await writeJsonFile(claimsPath, claimsSnapshot);
|
|
105
|
+
await fs.unlink(sourcesPath);
|
|
106
|
+
process.stderr.write(`[proposit migration] Converted ${sourcesSnapshot.sources.length} sources to citation-type claims\n`);
|
|
107
|
+
}
|
|
108
|
+
async function backfillClaimTypes(stateDir) {
|
|
109
|
+
const claimsPath = path.join(stateDir, "claims.json");
|
|
110
|
+
const snapshot = await readJsonFile(claimsPath);
|
|
111
|
+
if (!snapshot?.claims)
|
|
112
|
+
return;
|
|
113
|
+
let backfilled = 0;
|
|
114
|
+
for (const claim of snapshot.claims) {
|
|
115
|
+
if (claim.type === undefined) {
|
|
116
|
+
claim.type = "normal";
|
|
117
|
+
backfilled++;
|
|
118
|
+
}
|
|
119
|
+
}
|
|
120
|
+
if (backfilled > 0) {
|
|
121
|
+
await writeJsonFile(claimsPath, snapshot);
|
|
122
|
+
process.stderr.write(`[proposit migration] Backfilled type='normal' on ${backfilled} pre-existing claims\n`);
|
|
123
|
+
}
|
|
124
|
+
}
|
|
125
|
+
async function convertAssociationsToCitations(stateDir) {
|
|
126
|
+
const oldPath = path.join(stateDir, "claim-source-associations.json");
|
|
127
|
+
const newPath = path.join(stateDir, "claim-citations.json");
|
|
128
|
+
const snapshot = await readJsonFile(oldPath);
|
|
129
|
+
if (!snapshot?.claimSourceAssociations)
|
|
130
|
+
return;
|
|
131
|
+
const RESERVED_KEYS = new Set([
|
|
132
|
+
"id",
|
|
133
|
+
"claimId",
|
|
134
|
+
"claimVersion",
|
|
135
|
+
"sourceId",
|
|
136
|
+
"sourceVersion",
|
|
137
|
+
"checksum",
|
|
138
|
+
]);
|
|
139
|
+
const citations = snapshot.claimSourceAssociations.map((a) => ({
|
|
140
|
+
id: a.id,
|
|
141
|
+
citingClaimId: a.claimId,
|
|
142
|
+
citingClaimVersion: a.claimVersion,
|
|
143
|
+
sourceClaimId: a.sourceId,
|
|
144
|
+
sourceClaimVersion: a.sourceVersion,
|
|
145
|
+
checksum: a.checksum,
|
|
146
|
+
// Preserve any additional properties under their original key names.
|
|
147
|
+
...Object.fromEntries(Object.entries(a).filter(([k]) => !RESERVED_KEYS.has(k))),
|
|
148
|
+
}));
|
|
149
|
+
await writeJsonFile(newPath, { claimCitations: citations });
|
|
150
|
+
await fs.unlink(oldPath);
|
|
151
|
+
process.stderr.write(`[proposit migration] Converted ${citations.length} claim-source associations to citations\n`);
|
|
152
|
+
}
|
|
153
|
+
async function foldForkSourcesIntoClaims(stateDir) {
|
|
154
|
+
const forksPath = path.join(stateDir, "forks.json");
|
|
155
|
+
const snapshot = await readJsonFile(forksPath);
|
|
156
|
+
if (!snapshot)
|
|
157
|
+
return;
|
|
158
|
+
if (!("sources" in snapshot))
|
|
159
|
+
return;
|
|
160
|
+
const sources = snapshot.sources ?? [];
|
|
161
|
+
if (sources.length === 0) {
|
|
162
|
+
// Empty sources array — drop the key and rewrite for cleanliness.
|
|
163
|
+
delete snapshot.sources;
|
|
164
|
+
await writeJsonFile(forksPath, snapshot);
|
|
165
|
+
return;
|
|
166
|
+
}
|
|
167
|
+
snapshot.claims ??= [];
|
|
168
|
+
snapshot.claims.push(...sources);
|
|
169
|
+
const sourceCount = sources.length;
|
|
170
|
+
delete snapshot.sources;
|
|
171
|
+
await writeJsonFile(forksPath, snapshot);
|
|
172
|
+
process.stderr.write(`[proposit migration] Folded ${sourceCount} source fork records into claims namespace\n`);
|
|
173
|
+
}
|
|
174
|
+
async function recomputeChecksums(stateDir) {
|
|
175
|
+
const claimFields = DEFAULT_CHECKSUM_CONFIG.claimFields ?? new Set();
|
|
176
|
+
const claimCitationFields = DEFAULT_CHECKSUM_CONFIG.claimCitationFields ?? new Set();
|
|
177
|
+
// Recompute claim checksums.
|
|
178
|
+
const claimsPath = path.join(stateDir, "claims.json");
|
|
179
|
+
const claimsSnapshot = await readJsonFile(claimsPath);
|
|
180
|
+
let claimCount = 0;
|
|
181
|
+
if (claimsSnapshot?.claims) {
|
|
182
|
+
for (const claim of claimsSnapshot.claims) {
|
|
183
|
+
claim.checksum = entityChecksum(claim, claimFields);
|
|
184
|
+
claimCount++;
|
|
185
|
+
}
|
|
186
|
+
await writeJsonFile(claimsPath, claimsSnapshot);
|
|
187
|
+
}
|
|
188
|
+
// Recompute citation checksums.
|
|
189
|
+
const citationsPath = path.join(stateDir, "claim-citations.json");
|
|
190
|
+
const citationsSnapshot = await readJsonFile(citationsPath);
|
|
191
|
+
let citationCount = 0;
|
|
192
|
+
if (citationsSnapshot?.claimCitations) {
|
|
193
|
+
for (const citation of citationsSnapshot.claimCitations) {
|
|
194
|
+
citation.checksum = entityChecksum(citation, claimCitationFields);
|
|
195
|
+
citationCount++;
|
|
196
|
+
}
|
|
197
|
+
await writeJsonFile(citationsPath, citationsSnapshot);
|
|
198
|
+
}
|
|
199
|
+
process.stderr.write(`[proposit migration] Recomputed checksums for ${claimCount} claim(s) and ${citationCount} citation(s)\n`);
|
|
200
|
+
}
|
|
201
|
+
async function validateAndRewriteLibraries() {
|
|
202
|
+
// Hydrate libraries via fromSnapshot — exercises ClaimCitationLibrary's
|
|
203
|
+
// acyclicity and type-strictness validation paths — then write back
|
|
204
|
+
// through the standard storage helpers so any structural normalization
|
|
205
|
+
// (e.g., ordering, key shapes) is captured. Order matters: hydrate claims
|
|
206
|
+
// first so the citation library has a populated claim lookup.
|
|
207
|
+
const claimLibrary = await readClaimLibrary();
|
|
208
|
+
await writeClaimLibrary(claimLibrary);
|
|
209
|
+
const claimCitationLibrary = await readClaimCitationLibrary(claimLibrary);
|
|
210
|
+
await writeClaimCitationLibrary(claimCitationLibrary);
|
|
211
|
+
process.stderr.write(`[proposit migration] Citation graph validated (no cycles)\n`);
|
|
212
|
+
}
|
|
213
|
+
//# sourceMappingURL=migrate-v0.10.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"migrate-v0.10.js","sourceRoot":"","sources":["../../../src/cli/storage/migrate-v0.10.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,kBAAkB,CAAA;AACjC,OAAO,IAAI,MAAM,WAAW,CAAA;AAC5B,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAC1C,OAAO,EACH,gBAAgB,EAChB,wBAAwB,EACxB,iBAAiB,EACjB,yBAAyB,GAC5B,MAAM,gBAAgB,CAAA;AACvB,OAAO,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAA;AAC3D,OAAO,EAAE,uBAAuB,EAAE,MAAM,qBAAqB,CAAA;AAE7D,MAAM,MAAM,GAAG,iBAAiB,CAAA;AAEhC;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW;IAC7B,MAAM,QAAQ,GAAG,WAAW,EAAE,CAAA;IAC9B,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAA;IAE9C,6CAA6C;IAC7C,IAAI,CAAC;QACD,MAAM,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;QAC3B,OAAM,CAAC,oBAAoB;IAC/B,CAAC;IAAC,MAAM,CAAC;QACL,2CAA2C;IAC/C,CAAC;IAED,yEAAyE;IACzE,yEAAyE;IACzE,oBAAoB;IACpB,IAAI,CAAC;QACD,MAAM,EAAE,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IACjD,CAAC;IAAC,MAAM,CAAC;QACL,oEAAoE;IACxE,CAAC;IAED,yCAAyC;IACzC,MAAM,0BAA0B,CAAC,QAAQ,CAAC,CAAA;IAE1C,uCAAuC;IACvC,MAAM,sBAAsB,CAAC,QAAQ,CAAC,CAAA;IAEtC,wCAAwC;IACxC,MAAM,kBAAkB,CAAC,QAAQ,CAAC,CAAA;IAElC,+CAA+C;IAC/C,MAAM,8BAA8B,CAAC,QAAQ,CAAC,CAAA;IAE9C,sBAAsB;IACtB,MAAM,yBAAyB,CAAC,QAAQ,CAAC,CAAA;IAEzC,yEAAyE;IACzE,2EAA2E;IAC3E,0EAA0E;IAC1E,yEAAyE;IACzE,0EAA0E;IAC1E,kCAAkC;IAClC,MAAM,kBAAkB,CAAC,QAAQ,CAAC,CAAA;IAElC,yEAAyE;IACzE,yEAAyE;IACzE,wCAAwC;IACxC,MAAM,2BAA2B,EAAE,CAAA;IAEnC,wBAAwB;IACxB,MAAM,EAAE,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAA;IAExD,OAAO,CAAC,MAAM,CAAC,KAAK,CAChB,4DAA4D,QAAQ,IAAI,CAC3E,CAAA;AACL,CAAC;AAED,KAAK,UAAU,YAAY,CAAI,QAAgB;IAC3C,IAAI,CAAC;QACD,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;QACpD,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAM,CAAA;IACnC,CAAC;IAAC,MAAM,CAAC;QACL,OAAO,IAAI,CAAA;IACf,CAAC;AACL,CAAC;AAED,KAAK,UAAU,aAAa,CAAC,QAAgB,EAAE,IAAa;IACxD,MAAM,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IAC3D,MAAM,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;AAC/D,CAAC;AAED,KAAK,UAAU,0BAA0B,CAAC,QAAgB;IACtD,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAA;IACvD,MAAM,QAAQ,GAAG,MAAM,YAAY,CAEhC,WAAW,CAAC,CAAA;IACf,IAAI,CAAC,QAAQ,EAAE,OAAO;QAAE,OAAM;IAC9B,MAAM,SAAS,GAAG,QAAQ,CAAC,OAAO,CAAC,MAAM,CACrC,CAAC,CAAC,EAAE,EAAE,CAAE,CAAwB,CAAC,IAAI,KAAK,SAAS,CACtD,CAAA;IACD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,MAAM,GAAG,GAAG,SAAS;aAChB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACP,MAAM,EAAE,GAAI,CAAsB,CAAC,EAAE,CAAA;YACrC,OAAO,OAAO,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAA;QACpD,CAAC,CAAC;aACD,IAAI,CAAC,IAAI,CAAC,CAAA;QACf,MAAM,IAAI,KAAK,CACX,2JAA2J,GAAG,kEAAkE,CACnO,CAAA;IACL,CAAC;AACL,CAAC;AAED,KAAK,UAAU,sBAAsB,CAAC,QAAgB;IAClD,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAA;IACvD,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAA;IACrD,MAAM,eAAe,GAAG,MAAM,YAAY,CAEvC,WAAW,CAAC,CAAA;IACf,IAAI,CAAC,eAAe,EAAE,OAAO;QAAE,OAAM;IACrC,MAAM,cAAc,GAAG,CAAC,MAAM,YAAY,CAEvC,UAAU,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAA;IACjC,cAAc,CAAC,MAAM,KAAK,EAAE,CAAA;IAC5B,KAAK,MAAM,MAAM,IAAI,eAAe,CAAC,OAAO,EAAE,CAAC;QAC3C,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC;YACvB,GAAG,MAAM;YACT,IAAI,EAAE,UAAU;SACnB,CAAC,CAAA;IACN,CAAC;IACD,MAAM,aAAa,CAAC,UAAU,EAAE,cAAc,CAAC,CAAA;IAC/C,MAAM,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,CAAA;IAC5B,OAAO,CAAC,MAAM,CAAC,KAAK,CAChB,kCAAkC,eAAe,CAAC,OAAO,CAAC,MAAM,oCAAoC,CACvG,CAAA;AACL,CAAC;AAED,KAAK,UAAU,kBAAkB,CAAC,QAAgB;IAC9C,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAA;IACrD,MAAM,QAAQ,GAAG,MAAM,YAAY,CAEhC,UAAU,CAAC,CAAA;IACd,IAAI,CAAC,QAAQ,EAAE,MAAM;QAAE,OAAM;IAC7B,IAAI,UAAU,GAAG,CAAC,CAAA;IAClB,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QAClC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC3B,KAAK,CAAC,IAAI,GAAG,QAAQ,CAAA;YACrB,UAAU,EAAE,CAAA;QAChB,CAAC;IACL,CAAC;IACD,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;QACjB,MAAM,aAAa,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAA;QACzC,OAAO,CAAC,MAAM,CAAC,KAAK,CAChB,oDAAoD,UAAU,wBAAwB,CACzF,CAAA;IACL,CAAC;AACL,CAAC;AAED,KAAK,UAAU,8BAA8B,CAAC,QAAgB;IAC1D,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,gCAAgC,CAAC,CAAA;IACrE,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,sBAAsB,CAAC,CAAA;IAC3D,MAAM,QAAQ,GAAG,MAAM,YAAY,CAEhC,OAAO,CAAC,CAAA;IACX,IAAI,CAAC,QAAQ,EAAE,uBAAuB;QAAE,OAAM;IAC9C,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC;QAC1B,IAAI;QACJ,SAAS;QACT,cAAc;QACd,UAAU;QACV,eAAe;QACf,UAAU;KACb,CAAC,CAAA;IACF,MAAM,SAAS,GAAG,QAAQ,CAAC,uBAAuB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC3D,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,aAAa,EAAE,CAAC,CAAC,OAAO;QACxB,kBAAkB,EAAE,CAAC,CAAC,YAAY;QAClC,aAAa,EAAE,CAAC,CAAC,QAAQ;QACzB,kBAAkB,EAAE,CAAC,CAAC,aAAa;QACnC,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,qEAAqE;QACrE,GAAG,MAAM,CAAC,WAAW,CACjB,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAC3D;KACJ,CAAC,CAAC,CAAA;IACH,MAAM,aAAa,CAAC,OAAO,EAAE,EAAE,cAAc,EAAE,SAAS,EAAE,CAAC,CAAA;IAC3D,MAAM,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IACxB,OAAO,CAAC,MAAM,CAAC,KAAK,CAChB,kCAAkC,SAAS,CAAC,MAAM,2CAA2C,CAChG,CAAA;AACL,CAAC;AAED,KAAK,UAAU,yBAAyB,CAAC,QAAgB;IACrD,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAA;IACnD,MAAM,QAAQ,GAAG,MAAM,YAAY,CAIhC,SAAS,CAAC,CAAA;IACb,IAAI,CAAC,QAAQ;QAAE,OAAM;IACrB,IAAI,CAAC,CAAC,SAAS,IAAI,QAAQ,CAAC;QAAE,OAAM;IAEpC,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,IAAI,EAAE,CAAA;IACtC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,kEAAkE;QAClE,OAAO,QAAQ,CAAC,OAAO,CAAA;QACvB,MAAM,aAAa,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAA;QACxC,OAAM;IACV,CAAC;IAED,QAAQ,CAAC,MAAM,KAAK,EAAE,CAAA;IACtB,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAA;IAChC,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAA;IAClC,OAAO,QAAQ,CAAC,OAAO,CAAA;IACvB,MAAM,aAAa,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAA;IACxC,OAAO,CAAC,MAAM,CAAC,KAAK,CAChB,+BAA+B,WAAW,8CAA8C,CAC3F,CAAA;AACL,CAAC;AAED,KAAK,UAAU,kBAAkB,CAAC,QAAgB;IAC9C,MAAM,WAAW,GAAG,uBAAuB,CAAC,WAAW,IAAI,IAAI,GAAG,EAAU,CAAA;IAC5E,MAAM,mBAAmB,GACrB,uBAAuB,CAAC,mBAAmB,IAAI,IAAI,GAAG,EAAU,CAAA;IAEpE,6BAA6B;IAC7B,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAA;IACrD,MAAM,cAAc,GAAG,MAAM,YAAY,CAEtC,UAAU,CAAC,CAAA;IACd,IAAI,UAAU,GAAG,CAAC,CAAA;IAClB,IAAI,cAAc,EAAE,MAAM,EAAE,CAAC;QACzB,KAAK,MAAM,KAAK,IAAI,cAAc,CAAC,MAAM,EAAE,CAAC;YACxC,KAAK,CAAC,QAAQ,GAAG,cAAc,CAAC,KAAK,EAAE,WAAW,CAAC,CAAA;YACnD,UAAU,EAAE,CAAA;QAChB,CAAC;QACD,MAAM,aAAa,CAAC,UAAU,EAAE,cAAc,CAAC,CAAA;IACnD,CAAC;IAED,gCAAgC;IAChC,MAAM,aAAa,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,sBAAsB,CAAC,CAAA;IACjE,MAAM,iBAAiB,GAAG,MAAM,YAAY,CAEzC,aAAa,CAAC,CAAA;IACjB,IAAI,aAAa,GAAG,CAAC,CAAA;IACrB,IAAI,iBAAiB,EAAE,cAAc,EAAE,CAAC;QACpC,KAAK,MAAM,QAAQ,IAAI,iBAAiB,CAAC,cAAc,EAAE,CAAC;YACtD,QAAQ,CAAC,QAAQ,GAAG,cAAc,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAA;YACjE,aAAa,EAAE,CAAA;QACnB,CAAC;QACD,MAAM,aAAa,CAAC,aAAa,EAAE,iBAAiB,CAAC,CAAA;IACzD,CAAC;IAED,OAAO,CAAC,MAAM,CAAC,KAAK,CAChB,iDAAiD,UAAU,iBAAiB,aAAa,gBAAgB,CAC5G,CAAA;AACL,CAAC;AAED,KAAK,UAAU,2BAA2B;IACtC,wEAAwE;IACxE,oEAAoE;IACpE,uEAAuE;IACvE,0EAA0E;IAC1E,8DAA8D;IAC9D,MAAM,YAAY,GAAG,MAAM,gBAAgB,EAAE,CAAA;IAC7C,MAAM,iBAAiB,CAAC,YAAY,CAAC,CAAA;IAErC,MAAM,oBAAoB,GAAG,MAAM,wBAAwB,CAAC,YAAY,CAAC,CAAA;IACzE,MAAM,yBAAyB,CAAC,oBAAoB,CAAC,CAAA;IAErD,OAAO,CAAC,MAAM,CAAC,KAAK,CAChB,6DAA6D,CAChE,CAAA;AACL,CAAC"}
|
package/dist/cli.js
CHANGED
|
@@ -10,7 +10,7 @@ import { registerExpressionCommands } from "./cli/commands/expressions.js";
|
|
|
10
10
|
import { registerAnalysisCommands } from "./cli/commands/analysis.js";
|
|
11
11
|
import { registerValidateCommand } from "./cli/commands/validate.js";
|
|
12
12
|
import { registerRepairCommand } from "./cli/commands/repair.js";
|
|
13
|
-
import {
|
|
13
|
+
import { registerCitationCommands } from "./cli/commands/citations.js";
|
|
14
14
|
import { registerClaimCommands } from "./cli/commands/claims.js";
|
|
15
15
|
import { registerRenderCommand } from "./cli/commands/render.js";
|
|
16
16
|
import { registerGraphCommand } from "./cli/commands/graph.js";
|
|
@@ -30,7 +30,7 @@ registerMetaCommands(program);
|
|
|
30
30
|
registerArgumentCommands(program);
|
|
31
31
|
registerClaimCommands(program);
|
|
32
32
|
registerDiffCommand(program);
|
|
33
|
-
|
|
33
|
+
registerCitationCommands(program);
|
|
34
34
|
// ── Version-scoped commands ───────────────────────────────────────────────────
|
|
35
35
|
// If the first user argument is not a named command, treat it as an argument ID
|
|
36
36
|
// followed by a version specifier, then dispatch to the appropriate sub-program.
|
package/dist/cli.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"cli.js","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":";AACA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAA;AAC7D,OAAO,EAAE,wBAAwB,EAAE,MAAM,6BAA6B,CAAA;AACtE,OAAO,EAAE,0BAA0B,EAAE,MAAM,gCAAgC,CAAA;AAC3E,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAA;AAC9D,OAAO,EAAE,wBAAwB,EAAE,MAAM,6BAA6B,CAAA;AACtE,OAAO,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAA;AACpE,OAAO,EAAE,0BAA0B,EAAE,MAAM,+BAA+B,CAAA;AAC1E,OAAO,EAAE,wBAAwB,EAAE,MAAM,4BAA4B,CAAA;AACrE,OAAO,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAA;AACpE,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAA;AAChE,OAAO,EAAE,
|
|
1
|
+
{"version":3,"file":"cli.js","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":";AACA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAA;AAC7D,OAAO,EAAE,wBAAwB,EAAE,MAAM,6BAA6B,CAAA;AACtE,OAAO,EAAE,0BAA0B,EAAE,MAAM,gCAAgC,CAAA;AAC3E,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAA;AAC9D,OAAO,EAAE,wBAAwB,EAAE,MAAM,6BAA6B,CAAA;AACtE,OAAO,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAA;AACpE,OAAO,EAAE,0BAA0B,EAAE,MAAM,+BAA+B,CAAA;AAC1E,OAAO,EAAE,wBAAwB,EAAE,MAAM,4BAA4B,CAAA;AACrE,OAAO,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAA;AACpE,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAA;AAChE,OAAO,EAAE,wBAAwB,EAAE,MAAM,6BAA6B,CAAA;AACtE,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAA;AAChE,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAA;AAChE,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAA;AAC9D,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAA;AAC5D,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAA;AAChE,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAC3C,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAA;AAEzC,MAAM,OAAO,GAAG,IAAI,OAAO,EAAE,CAAA;AAC7B,OAAO;KACF,IAAI,CAAC,eAAe,CAAC;KACrB,WAAW,CAAC,mBAAmB,CAAC;KAChC,uBAAuB,EAAE;KACzB,kBAAkB,CAAC,KAAK,CAAC,CAAA;AAE9B,MAAM,MAAM,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;AAExD,iFAAiF;AACjF,oBAAoB,CAAC,OAAO,CAAC,CAAA;AAC7B,wBAAwB,CAAC,OAAO,CAAC,CAAA;AACjC,qBAAqB,CAAC,OAAO,CAAC,CAAA;AAC9B,mBAAmB,CAAC,OAAO,CAAC,CAAA;AAC5B,wBAAwB,CAAC,OAAO,CAAC,CAAA;AAEjC,iFAAiF;AACjF,gFAAgF;AAChF,iFAAiF;AACjF,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;IAChC,MAAM,CAAC,EAAE,AAAD,EAAG,UAAU,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC,GAAG,OAAO,CAAC,IAAI,CAAA;IAE1D,IAAI,CAAC,UAAU,IAAI,CAAC,UAAU,EAAE,CAAC;QAC7B,SAAS,CACL,sHAAsH,CACzH,CAAA;IACL,CAAC;IAED,0EAA0E;IAC1E,MAAM,OAAO,GAAG,MAAM,cAAc,CAAC,UAAU,EAAE,UAAU,CAAC,CAAA;IAE5D,MAAM,GAAG,GAAG,IAAI,OAAO,EAAE,CAAA;IACzB,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC;SACpB,WAAW,CAAC,gBAAgB,UAAU,IAAI,OAAO,EAAE,CAAC;SACpD,uBAAuB,EAAE,CAAA;IAE9B,0BAA0B,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IACpD,qBAAqB,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IAC/C,oBAAoB,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IAC9C,oBAAoB,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IAC9C,wBAAwB,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IAClD,uBAAuB,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IACjD,0BAA0B,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IACpD,wBAAwB,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IAClD,uBAAuB,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IACjD,qBAAqB,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IAE/C,uEAAuE;IACvE,8DAA8D;IAC9D,MAAM,GAAG,CAAC,UAAU,CAAC,CAAC,MAAM,EAAE,eAAe,EAAE,GAAG,IAAI,CAAC,CAAC,CAAA;AAC5D,CAAC;KAAM,CAAC;IACJ,MAAM,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;AAC1C,CAAC"}
|
|
@@ -2,8 +2,7 @@ import { ArgumentParser } from "../../lib/parsing/argument-parser.js";
|
|
|
2
2
|
import type { TParsedArgument, TParsedClaim, TParsedPremise } from "../../lib/parsing/schemata.js";
|
|
3
3
|
import type { TBasicsArgument, TBasicsClaim, TBasicsPremise } from "./schemata.js";
|
|
4
4
|
import type { TCorePropositionalExpression, TCorePropositionalVariable } from "../../lib/schemata/propositional.js";
|
|
5
|
-
|
|
6
|
-
export declare class BasicsArgumentParser extends ArgumentParser<TBasicsArgument, TBasicsPremise, TCorePropositionalExpression, TCorePropositionalVariable, TCoreSource, TBasicsClaim, TCoreClaimSourceAssociation> {
|
|
5
|
+
export declare class BasicsArgumentParser extends ArgumentParser<TBasicsArgument, TBasicsPremise, TCorePropositionalExpression, TCorePropositionalVariable, TBasicsClaim> {
|
|
7
6
|
constructor();
|
|
8
7
|
protected mapArgument(parsed: TParsedArgument): Record<string, unknown>;
|
|
9
8
|
protected mapClaim(parsed: TParsedClaim): Record<string, unknown>;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"argument-parser.d.ts","sourceRoot":"","sources":["../../../src/extensions/basics/argument-parser.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,sCAAsC,CAAA;AACrE,OAAO,KAAK,EACR,eAAe,EACf,YAAY,EACZ,cAAc,EACjB,MAAM,+BAA+B,CAAA;AAEtC,OAAO,KAAK,EACR,eAAe,EACf,YAAY,EACZ,cAAc,EACjB,MAAM,eAAe,CAAA;AACtB,OAAO,KAAK,EACR,4BAA4B,EAC5B,0BAA0B,EAC7B,MAAM,qCAAqC,CAAA;
|
|
1
|
+
{"version":3,"file":"argument-parser.d.ts","sourceRoot":"","sources":["../../../src/extensions/basics/argument-parser.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,sCAAsC,CAAA;AACrE,OAAO,KAAK,EACR,eAAe,EACf,YAAY,EACZ,cAAc,EACjB,MAAM,+BAA+B,CAAA;AAEtC,OAAO,KAAK,EACR,eAAe,EACf,YAAY,EACZ,cAAc,EACjB,MAAM,eAAe,CAAA;AACtB,OAAO,KAAK,EACR,4BAA4B,EAC5B,0BAA0B,EAC7B,MAAM,qCAAqC,CAAA;AAE5C,qBAAa,oBAAqB,SAAQ,cAAc,CACpD,eAAe,EACf,cAAc,EACd,4BAA4B,EAC5B,0BAA0B,EAC1B,YAAY,CACf;;IAKG,SAAS,CAAC,WAAW,CAAC,MAAM,EAAE,eAAe,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAOvE,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,YAAY,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAQjE,SAAS,CAAC,UAAU,CAAC,MAAM,EAAE,cAAc,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;CAMxE"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"argument-parser.js","sourceRoot":"","sources":["../../../src/extensions/basics/argument-parser.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,sCAAsC,CAAA;AAMrE,OAAO,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAA;
|
|
1
|
+
{"version":3,"file":"argument-parser.js","sourceRoot":"","sources":["../../../src/extensions/basics/argument-parser.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,sCAAsC,CAAA;AAMrE,OAAO,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAA;AAWnD,MAAM,OAAO,oBAAqB,SAAQ,cAMzC;IACG;QACI,KAAK,CAAC,mBAAmB,CAAC,CAAA;IAC9B,CAAC;IAES,WAAW,CAAC,MAAuB;QACzC,MAAM,GAAG,GAAG,MAAiC,CAAA;QAC7C,OAAO;YACH,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC3D,CAAA;IACL,CAAC;IAES,QAAQ,CAAC,MAAoB;QACnC,MAAM,GAAG,GAAG,MAAiC,CAAA;QAC7C,OAAO;YACH,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACxD,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACxD,CAAA;IACL,CAAC;IAES,UAAU,CAAC,MAAsB;QACvC,MAAM,GAAG,GAAG,MAAiC,CAAA;QAC7C,OAAO;YACH,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC3D,CAAA;IACL,CAAC;CACJ"}
|
|
@@ -15,6 +15,7 @@ export declare const BasicsClaimSchema: Type.TIntersect<[Type.TObject<{
|
|
|
15
15
|
version: Type.TNumber;
|
|
16
16
|
frozen: Type.TBoolean;
|
|
17
17
|
checksum: Type.TString;
|
|
18
|
+
type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">]>;
|
|
18
19
|
}>, Type.TObject<{
|
|
19
20
|
title: Type.TString;
|
|
20
21
|
body: Type.TString;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"schemata.d.ts","sourceRoot":"","sources":["../../../src/extensions/basics/schemata.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAO3C,eAAO,MAAM,oBAAoB;;;;;;;;;IAM/B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAEjE,eAAO,MAAM,iBAAiB
|
|
1
|
+
{"version":3,"file":"schemata.d.ts","sourceRoot":"","sources":["../../../src/extensions/basics/schemata.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAO3C,eAAO,MAAM,oBAAoB;;;;;;;;;IAM/B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAEjE,eAAO,MAAM,iBAAiB;;;;;;;;;IAM5B,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAE3D,eAAO,MAAM,mBAAmB;;;;;;;;;IAK9B,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AA4B/D,eAAO,MAAM,mBAAmB,cAI9B,CAAA"}
|
|
@@ -1,10 +1,12 @@
|
|
|
1
1
|
import Type, { type Static } from "typebox";
|
|
2
|
-
export declare const
|
|
2
|
+
export declare const IEEECitationClaimSchema: Type.TIntersect<[Type.TObject<{
|
|
3
3
|
id: Type.TString;
|
|
4
4
|
version: Type.TNumber;
|
|
5
5
|
frozen: Type.TBoolean;
|
|
6
6
|
checksum: Type.TString;
|
|
7
|
+
type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">]>;
|
|
7
8
|
}>, Type.TObject<{
|
|
9
|
+
type: Type.TLiteral<"citation">;
|
|
8
10
|
url: Type.TUnion<[Type.TString, Type.TNull]>;
|
|
9
11
|
citation: Type.TUnion<[Type.TIntersect<[Type.TObject<{
|
|
10
12
|
type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">, Type.TLiteral<"UnparsedURL">]>;
|
|
@@ -436,5 +438,5 @@ export declare const IEEESourceSchema: Type.TIntersect<[Type.TObject<{
|
|
|
436
438
|
text: Type.TOptional<Type.TString>;
|
|
437
439
|
}>]>]>;
|
|
438
440
|
}>]>;
|
|
439
|
-
export type
|
|
440
|
-
//# sourceMappingURL=
|
|
441
|
+
export type TIEEECitationClaim = Static<typeof IEEECitationClaimSchema>;
|
|
442
|
+
//# sourceMappingURL=citation-claim.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"citation-claim.d.ts","sourceRoot":"","sources":["../../../src/extensions/ieee/citation-claim.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAK3C,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAOlC,CAAA;AACF,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAA"}
|
|
@@ -1,12 +1,13 @@
|
|
|
1
1
|
import Type, {} from "typebox";
|
|
2
|
-
import {
|
|
2
|
+
import { CoreClaimSchema } from "../../lib/schemata/index.js";
|
|
3
3
|
import { Nullable } from "../../lib/schemata/shared.js";
|
|
4
4
|
import { IEEEReferenceSchema } from "./references.js";
|
|
5
|
-
export const
|
|
6
|
-
|
|
5
|
+
export const IEEECitationClaimSchema = Type.Intersect([
|
|
6
|
+
CoreClaimSchema,
|
|
7
7
|
Type.Object({
|
|
8
|
+
type: Type.Literal("citation"),
|
|
8
9
|
url: Nullable(Type.String()),
|
|
9
10
|
citation: IEEEReferenceSchema,
|
|
10
11
|
}),
|
|
11
12
|
]);
|
|
12
|
-
//# sourceMappingURL=
|
|
13
|
+
//# sourceMappingURL=citation-claim.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"citation-claim.js","sourceRoot":"","sources":["../../../src/extensions/ieee/citation-claim.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAA;AAC7D,OAAO,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AACvD,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAA;AAErD,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,SAAS,CAAC;IAClD,eAAe;IACf,IAAI,CAAC,MAAM,CAAC;QACR,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;QAC9B,GAAG,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QAC5B,QAAQ,EAAE,mBAAmB;KAChC,CAAC;CACL,CAAC,CAAA"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/extensions/ieee/index.ts"],"names":[],"mappings":"AAAA,cAAc,iBAAiB,CAAA;AAC/B,cAAc,cAAc,CAAA;AAC5B,cAAc,
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/extensions/ieee/index.ts"],"names":[],"mappings":"AAAA,cAAc,iBAAiB,CAAA;AAC/B,cAAc,cAAc,CAAA;AAC5B,cAAc,qBAAqB,CAAA;AACnC,cAAc,iBAAiB,CAAA;AAC/B,cAAc,wBAAwB,CAAA"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/extensions/ieee/index.ts"],"names":[],"mappings":"AAAA,cAAc,iBAAiB,CAAA;AAC/B,cAAc,cAAc,CAAA;AAC5B,cAAc,
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/extensions/ieee/index.ts"],"names":[],"mappings":"AAAA,cAAc,iBAAiB,CAAA;AAC/B,cAAc,cAAc,CAAA;AAC5B,cAAc,qBAAqB,CAAA;AACnC,cAAc,iBAAiB,CAAA;AAC/B,cAAc,wBAAwB,CAAA"}
|
package/dist/lib/consts.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"consts.d.ts","sourceRoot":"","sources":["../../src/lib/consts.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAA;AAE9D,eAAO,MAAM,uBAAuB,EAAE,QAAQ,CAAC,mBAAmB,
|
|
1
|
+
{"version":3,"file":"consts.d.ts","sourceRoot":"","sources":["../../src/lib/consts.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAA;AAE9D,eAAO,MAAM,uBAAuB,EAAE,QAAQ,CAAC,mBAAmB,CA+BjE,CAAA;AAED;;;;;GAKG;AACH,wBAAgB,uBAAuB,CACnC,MAAM,EAAE,mBAAmB,GAAG,SAAS,GACxC,mBAAmB,GAAG,SAAS,CAuBjC;AAED;;;;GAIG;AACH,wBAAgB,uBAAuB,CACnC,MAAM,EAAE,mBAAmB,GAAG,SAAS,GACxC,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,GAAG,SAAS,CAkBtC;AAED;;;GAGG;AACH,wBAAgB,oBAAoB,CAChC,UAAU,EAAE,mBAAmB,GAChC,mBAAmB,CAiBrB"}
|
package/dist/lib/consts.js
CHANGED
|
@@ -22,13 +22,12 @@ export const DEFAULT_CHECKSUM_CONFIG = {
|
|
|
22
22
|
premiseFields: new Set(["argumentId", "argumentVersion"]),
|
|
23
23
|
argumentFields: new Set(["version"]),
|
|
24
24
|
roleFields: new Set(["conclusionPremiseId"]),
|
|
25
|
-
claimFields: new Set(["version"]),
|
|
26
|
-
|
|
27
|
-
|
|
28
|
-
"
|
|
29
|
-
"
|
|
30
|
-
"
|
|
31
|
-
"sourceVersion",
|
|
25
|
+
claimFields: new Set(["version", "type"]),
|
|
26
|
+
claimCitationFields: new Set([
|
|
27
|
+
"citingClaimId",
|
|
28
|
+
"citingClaimVersion",
|
|
29
|
+
"sourceClaimId",
|
|
30
|
+
"sourceClaimVersion",
|
|
32
31
|
]),
|
|
33
32
|
};
|
|
34
33
|
/**
|
|
@@ -47,8 +46,7 @@ export function normalizeChecksumConfig(config) {
|
|
|
47
46
|
"argumentFields",
|
|
48
47
|
"roleFields",
|
|
49
48
|
"claimFields",
|
|
50
|
-
"
|
|
51
|
-
"claimSourceAssociationFields",
|
|
49
|
+
"claimCitationFields",
|
|
52
50
|
];
|
|
53
51
|
const result = {};
|
|
54
52
|
for (const key of keys) {
|
|
@@ -79,8 +77,7 @@ export function serializeChecksumConfig(config) {
|
|
|
79
77
|
"argumentFields",
|
|
80
78
|
"roleFields",
|
|
81
79
|
"claimFields",
|
|
82
|
-
"
|
|
83
|
-
"claimSourceAssociationFields",
|
|
80
|
+
"claimCitationFields",
|
|
84
81
|
];
|
|
85
82
|
const result = {};
|
|
86
83
|
for (const key of keys) {
|
|
@@ -103,8 +100,7 @@ export function createChecksumConfig(additional) {
|
|
|
103
100
|
"argumentFields",
|
|
104
101
|
"roleFields",
|
|
105
102
|
"claimFields",
|
|
106
|
-
"
|
|
107
|
-
"claimSourceAssociationFields",
|
|
103
|
+
"claimCitationFields",
|
|
108
104
|
];
|
|
109
105
|
const result = {};
|
|
110
106
|
for (const key of keys) {
|
package/dist/lib/consts.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"consts.js","sourceRoot":"","sources":["../../src/lib/consts.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,uBAAuB,GAAkC;IAClE,gBAAgB,EAAE,IAAI,GAAG,CAAC;QACtB,MAAM;QACN,UAAU;QACV,UAAU;QACV,YAAY;QACZ,iBAAiB;QACjB,WAAW;QACX,YAAY;QACZ,UAAU;KACb,CAAC;IACF,cAAc,EAAE,IAAI,GAAG,CAAC;QACpB,QAAQ;QACR,YAAY;QACZ,iBAAiB;QACjB,SAAS;QACT,cAAc;QACd,gBAAgB;QAChB,iBAAiB;QACjB,sBAAsB;KACzB,CAAC;IACF,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,YAAY,EAAE,iBAAiB,CAAC,CAAC;IACzD,cAAc,EAAE,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;IACpC,UAAU,EAAE,IAAI,GAAG,CAAC,CAAC,qBAAqB,CAAC,CAAC;IAC5C,WAAW,EAAE,IAAI,GAAG,CAAC,CAAC,SAAS,
|
|
1
|
+
{"version":3,"file":"consts.js","sourceRoot":"","sources":["../../src/lib/consts.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,uBAAuB,GAAkC;IAClE,gBAAgB,EAAE,IAAI,GAAG,CAAC;QACtB,MAAM;QACN,UAAU;QACV,UAAU;QACV,YAAY;QACZ,iBAAiB;QACjB,WAAW;QACX,YAAY;QACZ,UAAU;KACb,CAAC;IACF,cAAc,EAAE,IAAI,GAAG,CAAC;QACpB,QAAQ;QACR,YAAY;QACZ,iBAAiB;QACjB,SAAS;QACT,cAAc;QACd,gBAAgB;QAChB,iBAAiB;QACjB,sBAAsB;KACzB,CAAC;IACF,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,YAAY,EAAE,iBAAiB,CAAC,CAAC;IACzD,cAAc,EAAE,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;IACpC,UAAU,EAAE,IAAI,GAAG,CAAC,CAAC,qBAAqB,CAAC,CAAC;IAC5C,WAAW,EAAE,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;IACzC,mBAAmB,EAAE,IAAI,GAAG,CAAC;QACzB,eAAe;QACf,oBAAoB;QACpB,eAAe;QACf,oBAAoB;KACvB,CAAC;CACL,CAAA;AAED;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CACnC,MAAuC;IAEvC,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IAC1C,MAAM,IAAI,GAAG;QACT,kBAAkB;QAClB,gBAAgB;QAChB,eAAe;QACf,gBAAgB;QAChB,YAAY;QACZ,aAAa;QACb,qBAAqB;KACf,CAAA;IACV,MAAM,MAAM,GAAwB,EAAE,CAAA;IACtC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAA;QACzB,IAAI,KAAK,KAAK,SAAS;YAAE,SAAQ;QACjC,MAAM,CAAC,GAAG,CAAC;YACP,KAAK,YAAY,GAAG;gBAChB,CAAC,CAAC,KAAK;gBACP,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;oBACpB,CAAC,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC;oBAChB,CAAC,CAAC,IAAI,GAAG,EAAE,CAAA;IACzB,CAAC;IACD,OAAO,MAAM,CAAA;AACjB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,uBAAuB,CACnC,MAAuC;IAEvC,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IAC1C,MAAM,IAAI,GAAG;QACT,kBAAkB;QAClB,gBAAgB;QAChB,eAAe;QACf,gBAAgB;QAChB,YAAY;QACZ,aAAa;QACb,qBAAqB;KACf,CAAA;IACV,MAAM,MAAM,GAA6B,EAAE,CAAA;IAC3C,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAA;QACzB,IAAI,KAAK,KAAK,SAAS;YAAE,SAAQ;QACjC,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IACnC,CAAC;IACD,OAAO,MAAM,CAAA;AACjB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAChC,UAA+B;IAE/B,MAAM,IAAI,GAAG;QACT,kBAAkB;QAClB,gBAAgB;QAChB,eAAe;QACf,gBAAgB;QAChB,YAAY;QACZ,aAAa;QACb,qBAAqB;KACf,CAAA;IACV,MAAM,MAAM,GAAwB,EAAE,CAAA;IACtC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,IAAI,GAAG,uBAAuB,CAAC,GAAG,CAAE,CAAA;QAC1C,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAA;QAC7B,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,CAAA;IACtE,CAAC;IACD,OAAO,MAAM,CAAA;AACjB,CAAC"}
|
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
import { type TClaimBoundVariable, type TPremiseBoundVariable, type TCoreArgument, type TCoreClaim, type
|
|
1
|
+
import { type TClaimBoundVariable, type TPremiseBoundVariable, type TCoreArgument, type TCoreClaim, type TCoreClaimCitation, type TCorePremise, type TCorePropositionalExpression, type TCorePropositionalVariable, type TOptionalChecksum } from "../schemata/index.js";
|
|
2
2
|
import type { TCoreArgumentEvaluationOptions, TCoreArgumentEvaluationResult, TCoreArgumentRoleState, TCoreExpressionAssignment, TCoreValidationResult, TCoreValidityCheckOptions, TCoreValidityCheckResult } from "../types/evaluation.js";
|
|
3
3
|
import type { TCoreChecksumConfig } from "../types/checksum.js";
|
|
4
4
|
import { type TGrammarConfig } from "../types/grammar.js";
|
|
@@ -10,7 +10,8 @@ import type { TExpressionInput } from "./expression-manager.js";
|
|
|
10
10
|
import { PremiseEngine } from "./premise-engine.js";
|
|
11
11
|
import type { TPremiseEngineSnapshot } from "./premise-engine.js";
|
|
12
12
|
import type { TVariableManagerSnapshot } from "./variable-manager.js";
|
|
13
|
-
import type { TPremiseCrud, TVariableManagement, TArgumentExpressionQueries, TArgumentRoleState, TArgumentEvaluation, TArgumentLifecycle, TArgumentIdentity, TDisplayable, THierarchicalChecksummable, TClaimLookup
|
|
13
|
+
import type { TPremiseCrud, TVariableManagement, TArgumentExpressionQueries, TArgumentRoleState, TArgumentEvaluation, TArgumentLifecycle, TArgumentIdentity, TDisplayable, THierarchicalChecksummable, TClaimLookup } from "./interfaces/index.js";
|
|
14
|
+
import type { TClaimCitationLookup } from "./interfaces/library.interfaces.js";
|
|
14
15
|
/** Default ID generator using the Web Crypto API (Node.js 20+, all modern browsers). */
|
|
15
16
|
export declare const defaultGenerateId: () => string;
|
|
16
17
|
export type TLogicEngineOptions = {
|
|
@@ -34,13 +35,12 @@ export type TArgumentEngineSnapshot<TArg extends TCoreArgument = TCoreArgument,
|
|
|
34
35
|
* Provides premise CRUD, role management, evaluation of individual
|
|
35
36
|
* assignments, and exhaustive validity checking via truth-table enumeration.
|
|
36
37
|
*/
|
|
37
|
-
export declare class ArgumentEngine<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable,
|
|
38
|
+
export declare class ArgumentEngine<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim, TCitation extends TCoreClaimCitation = TCoreClaimCitation> implements TPremiseCrud<TArg, TPremise, TExpr, TVar>, TVariableManagement<TArg, TPremise, TExpr, TVar>, TArgumentExpressionQueries<TExpr>, TArgumentRoleState<TArg, TPremise, TExpr, TVar>, TArgumentEvaluation, TArgumentLifecycle<TArg, TPremise, TExpr, TVar>, TArgumentIdentity<TArg>, TDisplayable, THierarchicalChecksummable<"premises" | "variables"> {
|
|
38
39
|
private argument;
|
|
39
40
|
private premises;
|
|
40
41
|
private variables;
|
|
41
42
|
private claimLibrary;
|
|
42
|
-
private
|
|
43
|
-
private claimSourceLibrary;
|
|
43
|
+
private claimCitationLibrary;
|
|
44
44
|
private conclusionPremiseId;
|
|
45
45
|
private checksumConfig?;
|
|
46
46
|
private positionConfig?;
|
|
@@ -57,7 +57,7 @@ export declare class ArgumentEngine<TArg extends TCoreArgument = TCoreArgument,
|
|
|
57
57
|
private listeners;
|
|
58
58
|
private reactiveDirty;
|
|
59
59
|
private cachedReactiveSnapshot;
|
|
60
|
-
constructor(argument: TOptionalChecksum<TArg>, claimLibrary: TClaimLookup<TClaim>,
|
|
60
|
+
constructor(argument: TOptionalChecksum<TArg>, claimLibrary: TClaimLookup<TClaim>, claimCitationLibrary: TClaimCitationLookup<TCitation>, options?: TLogicEngineOptions);
|
|
61
61
|
private createCircularityCheck;
|
|
62
62
|
private wouldCreateCycle;
|
|
63
63
|
private wireCircularityCheck;
|
|
@@ -123,14 +123,14 @@ export declare class ArgumentEngine<TArg extends TCoreArgument = TCoreArgument,
|
|
|
123
123
|
listSupportingPremises(): PremiseEngine<TArg, TPremise, TExpr, TVar>[];
|
|
124
124
|
snapshot(): TArgumentEngineSnapshot<TArg, TPremise, TExpr, TVar>;
|
|
125
125
|
/** Creates a new ArgumentEngine from a previously captured snapshot. */
|
|
126
|
-
static fromSnapshot<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable,
|
|
126
|
+
static fromSnapshot<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim, TCitation extends TCoreClaimCitation = TCoreClaimCitation>(snapshot: TArgumentEngineSnapshot<TArg, TPremise, TExpr, TVar>, claimLibrary: TClaimLookup<TClaim>, claimCitationLibrary: TClaimCitationLookup<TCitation>, grammarConfig?: TGrammarConfig, checksumVerification?: "ignore" | "strict", generateId?: () => string): ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim, TCitation>;
|
|
127
127
|
/**
|
|
128
128
|
* Creates a new ArgumentEngine from flat arrays of entities, as typically
|
|
129
129
|
* stored in a relational database. Expressions are grouped by their
|
|
130
130
|
* `premiseId` field and loaded in BFS order (roots first, then children
|
|
131
131
|
* of already-added nodes) to satisfy parent-existence requirements.
|
|
132
132
|
*/
|
|
133
|
-
static fromData<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable,
|
|
133
|
+
static fromData<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim, TCitation extends TCoreClaimCitation = TCoreClaimCitation>(argument: TOptionalChecksum<TArg>, claimLibrary: TClaimLookup<TClaim>, claimCitationLibrary: TClaimCitationLookup<TCitation>, variables: TOptionalChecksum<TVar>[], premises: TOptionalChecksum<TPremise>[], expressions: TExpressionInput<TExpr>[], roles: TCoreArgumentRoleState, config?: TLogicEngineOptions, grammarConfig?: TGrammarConfig, checksumVerification?: "ignore" | "strict"): ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim, TCitation>;
|
|
134
134
|
/**
|
|
135
135
|
* Verifies that all checksum fields in the snapshot match the recomputed
|
|
136
136
|
* checksums on the restored engine. Throws on the first mismatch.
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"argument-engine.d.ts","sourceRoot":"","sources":["../../../src/lib/core/argument-engine.ts"],"names":[],"mappings":"AAAA,OAAO,EAGH,KAAK,mBAAmB,EACxB,KAAK,qBAAqB,EAC1B,KAAK,aAAa,EAClB,KAAK,UAAU,EACf,KAAK,
|
|
1
|
+
{"version":3,"file":"argument-engine.d.ts","sourceRoot":"","sources":["../../../src/lib/core/argument-engine.ts"],"names":[],"mappings":"AAAA,OAAO,EAGH,KAAK,mBAAmB,EACxB,KAAK,qBAAqB,EAC1B,KAAK,aAAa,EAClB,KAAK,UAAU,EACf,KAAK,kBAAkB,EACvB,KAAK,YAAY,EACjB,KAAK,4BAA4B,EACjC,KAAK,0BAA0B,EAC/B,KAAK,iBAAiB,EACzB,MAAM,sBAAsB,CAAA;AAC7B,OAAO,KAAK,EACR,8BAA8B,EAC9B,6BAA6B,EAC7B,sBAAsB,EACtB,yBAAyB,EACzB,qBAAqB,EACrB,yBAAyB,EACzB,wBAAwB,EAC3B,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAC/D,OAAO,EAGH,KAAK,cAAc,EACtB,MAAM,qBAAqB,CAAA;AAC5B,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAC/D,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,wBAAwB,CAAA;AAMxE,OAAO,KAAK,EAAE,mBAAmB,EAAkB,MAAM,sBAAsB,CAAA;AAC/E,OAAO,KAAK,EACR,iBAAiB,EAEpB,MAAM,sBAAsB,CAAA;AAiB7B,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAA;AAE/D,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACnD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAA;AAEjE,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAA;AACrE,OAAO,KAAK,EACR,YAAY,EACZ,mBAAmB,EACnB,0BAA0B,EAC1B,kBAAkB,EAClB,mBAAmB,EACnB,kBAAkB,EAClB,iBAAiB,EACjB,YAAY,EACZ,0BAA0B,EAC1B,YAAY,EACf,MAAM,uBAAuB,CAAA;AAC9B,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,oCAAoC,CAAA;AAE9E,wFAAwF;AACxF,eAAO,MAAM,iBAAiB,QAAO,MAAwC,CAAA;AAE7E,MAAM,MAAM,mBAAmB,GAAG;IAC9B,cAAc,CAAC,EAAE,mBAAmB,CAAA;IACpC,cAAc,CAAC,EAAE,mBAAmB,CAAA;IACpC,aAAa,CAAC,EAAE,cAAc,CAAA;IAC9B,uFAAuF;IACvF,UAAU,CAAC,EAAE,MAAM,MAAM,CAAA;CAC5B,CAAA;AAED,MAAM,MAAM,uBAAuB,CAC/B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,IACpE;IACA,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,CAAA;IACjC,SAAS,EAAE,wBAAwB,CAAC,IAAI,CAAC,CAAA;IACzC,QAAQ,EAAE,sBAAsB,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAA;IACnD,mBAAmB,CAAC,EAAE,MAAM,CAAA;IAC5B,MAAM,CAAC,EAAE,mBAAmB,CAAA;CAC/B,CAAA;AAED;;;;;;GAMG;AACH,qBAAa,cAAc,CACvB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,SAAS,SAAS,kBAAkB,GAAG,kBAAkB,CAEzD,YACI,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EACzC,mBAAmB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAChD,0BAA0B,CAAC,KAAK,CAAC,EACjC,kBAAkB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC/C,mBAAmB,EACnB,kBAAkB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC/C,iBAAiB,CAAC,IAAI,CAAC,EACvB,YAAY,EACZ,0BAA0B,CAAC,UAAU,GAAG,WAAW,CAAC;IAExD,OAAO,CAAC,QAAQ,CAAyB;IACzC,OAAO,CAAC,QAAQ,CAAyD;IACzE,OAAO,CAAC,SAAS,CAAuB;IACxC,OAAO,CAAC,YAAY,CAAsB;IAC1C,OAAO,CAAC,oBAAoB,CAAiC;IAC7D,OAAO,CAAC,mBAAmB,CAAoB;IAC/C,OAAO,CAAC,cAAc,CAAC,CAAqB;IAC5C,OAAO,CAAC,cAAc,CAAC,CAAqB;IAC5C,OAAO,CAAC,aAAa,CAAC,CAAgB;IACtC,OAAO,CAAC,UAAU,CAAc;IAChC,OAAO,CAAC,qBAAqB,CAAQ;IACrC,OAAO,CAAC,aAAa,CAAO;IAC5B,OAAO,CAAC,kBAAkB,CAAoB;IAC9C,OAAO,CAAC,wBAAwB,CAA2B;IAC3D,OAAO,CAAC,sBAAsB,CAAoB;IAClD,OAAO,CAAC,gCAAgC,CAA2B;IACnE,OAAO,CAAC,iCAAiC,CAA2B;IACpE,OAAO,CAAC,eAAe,CAAqB;IAC5C,OAAO,CAAC,SAAS,CAAwB;IACzC,OAAO,CAAC,aAAa,CAMpB;IACD,OAAO,CAAC,sBAAsB,CAEf;gBAGX,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,EACjC,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC,EAClC,oBAAoB,EAAE,oBAAoB,CAAC,SAAS,CAAC,EACrD,OAAO,CAAC,EAAE,mBAAmB;IAmBjC,OAAO,CAAC,sBAAsB;IAS9B,OAAO,CAAC,gBAAgB;IA0CxB,OAAO,CAAC,oBAAoB;IAM5B,OAAO,CAAC,0BAA0B;IAiBlC,OAAO,CAAC,oBAAoB;IAUrB,SAAS,GAAI,UAAU,MAAM,IAAI,KAAG,CAAC,MAAM,IAAI,CAAC,CAKtD;IAED,SAAS,CAAC,iBAAiB,IAAI,IAAI;IAMnC,OAAO,CAAC,eAAe;IAUvB,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,oBAAoB,CAG3C;IAED,OAAO,CAAC,yBAAyB;IAQjC,OAAO,CAAC,wBAAwB;IAQhC,SAAS,CAAC,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC;IA0BpC,WAAW,QAAO,iBAAiB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAEtE;IAED,SAAS,CAAC,qBAAqB,IAAI,iBAAiB,CAChD,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,CACP;IAyED,OAAO,CAAC,oBAAoB;IAQ5B,OAAO,CAAC,sBAAsB;IAc9B,OAAO,CAAC,kBAAkB;IAc1B,OAAO,CAAC,iBAAiB;IAmClB,WAAW,IAAI,IAAI;IAUnB,SAAS,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAYpC,SAAS,CACZ,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAChC,mBAAmB,CAClB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACvB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAoBM,YAAY,CACf,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC,mBAAmB,CAClB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACvB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAIM,eAAe,IAAI,MAAM;IA0BzB,aAAa,CAChB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAChC,MAAM,CAAC,EAAE,MAAM,GAChB,mBAAmB,CAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAIM,mBAAmB,CACtB,EAAE,EAAE,MAAM,EACV,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAChC,MAAM,CAAC,EAAE,MAAM,GAChB,mBAAmB,CAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IA4EM,aAAa,CAChB,SAAS,EAAE,MAAM,GAClB,mBAAmB,CAAC,QAAQ,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAuClE,UAAU,CACb,SAAS,EAAE,MAAM,GAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,SAAS;IAIlD,UAAU,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO;IAItC,cAAc,IAAI,MAAM,EAAE;IAM1B,YAAY,IAAI,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE;IAS5D,WAAW,CACd,QAAQ,EAAE,iBAAiB,CAAC,mBAAmB,CAAC,GAC5C,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC5B,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IA4ClD,qBAAqB,CACxB,QAAQ,EAAE,iBAAiB,CAAC,qBAAqB,CAAC,GAC9C,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC5B,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAqCzD,uFAAuF;IAChF,6BAA6B,CAChC,QAAQ,EAAE,iBAAiB,CAAC,qBAAqB,CAAC,GAC9C,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC5B,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IA0CzD,2FAA2F;IACpF,sBAAsB,CACzB,QAAQ,EAAE,IAAI,CACV,iBAAiB,CAAC,qBAAqB,CAAC,EACxC,gBAAgB,CACnB,GACG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC3B,mBAAmB,EAAE,MAAM,GAC5B,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAOlD,cAAc,CACjB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC,mBAAmB,CAAC,IAAI,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IA8FrE,OAAO,CAAC,kBAAkB;IA8BnB,cAAc,CACjB,UAAU,EAAE,MAAM,GACnB,mBAAmB,CAAC,IAAI,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAM9D,YAAY,IAAI,IAAI,EAAE;IAItB,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS;IAIjD,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO;IAIxC,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS;IAIrD,kBAAkB,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,IAAI,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC;IAQ1D,0BAA0B,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,EAAE;IAOrD,aAAa,CAAC,YAAY,EAAE,MAAM,GAAG,KAAK,GAAG,SAAS;IAMtD,aAAa,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO;IAI5C,sBAAsB,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAIhE,yBAAyB,CAC5B,YAAY,EAAE,MAAM,GACrB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,SAAS;IAMlD,iBAAiB,IAAI,KAAK,EAAE;IAQ5B,0BAA0B,CAAC,UAAU,EAAE,MAAM,GAAG,KAAK,EAAE;IAiBvD,mBAAmB,IAAI,KAAK,EAAE;IASrC;;;;OAIG;IACI,uBAAuB,IAAI,mBAAmB,CACjD,IAAI,EACJ,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAoBM,YAAY,IAAI,sBAAsB;IAQtC,oBAAoB,CACvB,SAAS,EAAE,MAAM,GAClB,mBAAmB,CAClB,sBAAsB,EACtB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAkBM,sBAAsB,IAAI,mBAAmB,CAChD,sBAAsB,EACtB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAcM,oBAAoB,IACrB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAC1C,SAAS;IAOR,sBAAsB,IAAI,aAAa,CAC1C,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,CACP,EAAE;IAMI,QAAQ,IAAI,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC;IAsBvE,wEAAwE;WAC1D,YAAY,CACtB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GACtC,4BAA4B,EAChC,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,SAAS,SAAS,kBAAkB,GAAG,kBAAkB,EAEzD,QAAQ,EAAE,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC9D,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC,EAClC,oBAAoB,EAAE,oBAAoB,CAAC,SAAS,CAAC,EACrD,aAAa,CAAC,EAAE,cAAc,EAC9B,oBAAoB,CAAC,EAAE,QAAQ,GAAG,QAAQ,EAC1C,UAAU,CAAC,EAAE,MAAM,MAAM,GAC1B,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC;IA+GjE;;;;;OAKG;WACW,QAAQ,CAClB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GACtC,4BAA4B,EAChC,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,SAAS,SAAS,kBAAkB,GAAG,kBAAkB,EAEzD,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,EACjC,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC,EAClC,oBAAoB,EAAE,oBAAoB,CAAC,SAAS,CAAC,EACrD,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,EAAE,EACpC,QAAQ,EAAE,iBAAiB,CAAC,QAAQ,CAAC,EAAE,EACvC,WAAW,EAAE,gBAAgB,CAAC,KAAK,CAAC,EAAE,EACtC,KAAK,EAAE,sBAAsB,EAC7B,MAAM,CAAC,EAAE,mBAAmB,EAC5B,aAAa,CAAC,EAAE,cAAc,EAC9B,oBAAoB,CAAC,EAAE,QAAQ,GAAG,QAAQ,GAC3C,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC;IA+HjE;;;OAGG;IACH,OAAO,CAAC,MAAM,CAAC,uBAAuB;IA6FtC;;;OAGG;IACH,OAAO,CAAC,MAAM,CAAC,mBAAmB;IAkE3B,QAAQ,CACX,QAAQ,EAAE,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAC/D,IAAI;IAUP,OAAO,CAAC,gBAAgB;IAkDjB,QAAQ,IAAI,MAAM;IAOlB,kBAAkB,IAAI,MAAM,GAAG,IAAI;IAOnC,gBAAgB,IAAI,MAAM;IAO1B,qBAAqB,CACxB,IAAI,EAAE,UAAU,GAAG,WAAW,GAC/B,MAAM,GAAG,IAAI;IAST,cAAc,IAAI,IAAI;IAuE7B,OAAO,CAAC,SAAS;IASjB,sEAAsE;IACtE,OAAO,CAAC,oBAAoB;IAM5B,OAAO,CAAC,sBAAsB;IAavB,0BAA0B,IAAI;QACjC,WAAW,EAAE,MAAM,EAAE,CAAA;QACrB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE;YAAE,MAAM,EAAE,MAAM,CAAC;YAAC,UAAU,EAAE,MAAM,EAAE,CAAA;SAAE,CAAC,CAAA;QAC9D,QAAQ,EAAE,MAAM,CACZ,MAAM,EACN;YAAE,WAAW,EAAE,MAAM,EAAE,CAAC;YAAC,UAAU,EAAE,MAAM,EAAE,CAAA;SAAE,CAClD,CAAA;KACJ;IAMD,OAAO,CAAC,4BAA4B;IAM7B,QAAQ,IAAI,0BAA0B;IAItC,oBAAoB,IAAI,qBAAqB;IAMpD,OAAO,CAAC,mBAAmB;IAiC3B,OAAO,CAAC,mBAAmB;IAmBpB,QAAQ,CACX,UAAU,EAAE,yBAAyB,EACrC,OAAO,CAAC,EAAE,8BAA8B,GACzC,6BAA6B;IAQzB,aAAa,CAChB,OAAO,CAAC,EAAE,yBAAyB,GACpC,wBAAwB;IAW3B;;;OAGG;IACI,OAAO,IAAI,OAAO;IAIzB;;;OAGG;IACH,SAAS,CAAC,OAAO,CACb,gBAAgB,EAAE,MAAM,EACxB,qBAAqB,EAAE,MAAM,GAC9B,OAAO;CAGb"}
|