@tracecart/cli 0.1.0

package/dist/commands/presets.js

@@ -0,0 +1,14 @@
+import { listPresets } from '../preset.js';
+export async function cmdPresets(pkgRoot) {
+    const presets = listPresets(pkgRoot);
+    if (presets.length === 0) {
+        process.stderr.write('No presets found.\n');
+        return;
+    }
+    for (const p of presets) {
+        const source = p.source === 'project-local' ? ' [local]' : '';
+        const desc = p.description ? ` — ${p.description}` : '';
+        process.stdout.write(`${p.name}${source}${desc}\n`);
+    }
+}
+//# sourceMappingURL=presets.js.map

package/dist/commands/presets.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"presets.js","sourceRoot":"","sources":["../../src/commands/presets.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAE3C,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,OAAe;IAC9C,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;IAErC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;QAC5C,OAAO;IACT,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,KAAK,eAAe,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9D,MAAM,IAAI,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACxD,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,GAAG,MAAM,GAAG,IAAI,IAAI,CAAC,CAAC;IACtD,CAAC;AACH,CAAC"}

package/dist/commands/remainder.d.ts

@@ -0,0 +1 @@
+export declare function cmdRemainder(args: string[]): Promise<void>;

package/dist/commands/remainder.js

@@ -0,0 +1,19 @@
+import { readFileSync } from 'node:fs';
+import { computeRemainder, isComplete, extractionStats } from '../extract/remainder.js';
+export async function cmdRemainder(args) {
+    if (args.length < 2) {
+        process.stderr.write('Usage: tracecart remainder <clauses.json> <traces.json>\n');
+        process.exit(1);
+    }
+    const clausesData = JSON.parse(readFileSync(args[0], 'utf-8'));
+    const clauses = (clausesData.clauses ?? (Array.isArray(clausesData) ? clausesData : []));
+    const tracesData = JSON.parse(readFileSync(args[1], 'utf-8'));
+    const traces = (tracesData.traces ?? (Array.isArray(tracesData) ? tracesData : []));
+    const contentClauses = clauses.filter(c => !c.is_header);
+    const remainder = computeRemainder(contentClauses, traces);
+    const stats = extractionStats(contentClauses, traces, remainder);
+    const complete = isComplete(remainder, null);
+    const result = { stats, remainder, complete };
+    process.stdout.write(JSON.stringify(result, null, 2));
+}
+//# sourceMappingURL=remainder.js.map

package/dist/commands/remainder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"remainder.js","sourceRoot":"","sources":["../../src/commands/remainder.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,gBAAgB,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAGxF,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,IAAc;IAC/C,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,2DAA2D,CAAC,CAAC;QAClF,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;IAC/D,MAAM,OAAO,GAAa,CAAC,WAAW,CAAC,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAEnG,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;IAC9D,MAAM,MAAM,GAAY,CAAC,UAAU,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAE7F,MAAM,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACzD,MAAM,SAAS,GAAG,gBAAgB,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IAC3D,MAAM,KAAK,GAAG,eAAe,CAAC,cAAc,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;IACjE,MAAM,QAAQ,GAAG,UAAU,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;IAE7C,MAAM,MAAM,GAAG,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;IAC9C,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;AACxD,CAAC"}

package/dist/commands/reverse-extract-validate.d.ts

@@ -0,0 +1 @@
+export declare function cmdReverseExtractValidate(args: string[]): Promise<void>;

package/dist/commands/reverse-extract-validate.js

@@ -0,0 +1,20 @@
+import { readFileSync } from 'node:fs';
+import { validateTraces } from '../extract/extract.js';
+export async function cmdReverseExtractValidate(args) {
+    if (args.length < 2) {
+        process.stderr.write('Usage: tracecart reverse-extract-validate <llm_output.txt> <clauses.json> [--target <file>]\n');
+        process.exit(1);
+    }
+    const rawOutput = readFileSync(args[0], 'utf-8');
+    const data = JSON.parse(readFileSync(args[1], 'utf-8'));
+    const clauses = data.clauses ?? (Array.isArray(data) ? data : []);
+    let targetFile = '';
+    for (let i = 2; i < args.length; i++) {
+        if (args[i] === '--target' && args[i + 1]) {
+            targetFile = args[++i];
+        }
+    }
+    const result = validateTraces(rawOutput, clauses, targetFile, 'RT');
+    process.stdout.write(JSON.stringify(result, null, 2));
+}
+//# sourceMappingURL=reverse-extract-validate.js.map

package/dist/commands/reverse-extract-validate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reverse-extract-validate.js","sourceRoot":"","sources":["../../src/commands/reverse-extract-validate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAGvD,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAAC,IAAc;IAC5D,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,+FAA+F,CAAC,CAAC;QACtH,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,MAAM,SAAS,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IACjD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;IACxD,MAAM,OAAO,GAAa,IAAI,CAAC,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAE5E,IAAI,UAAU,GAAG,EAAE,CAAC;IACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,UAAU,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAAC,UAAU,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;QAAC,CAAC;IACxE,CAAC;IAED,MAAM,MAAM,GAAG,cAAc,CAAC,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;IACpE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;AACxD,CAAC"}

package/dist/commands/reverse-match-prompt.d.ts

@@ -0,0 +1,2 @@
+import type { Preset } from '../preset.js';
+export declare function cmdReverseMatchPrompt(args: string[], pkgRoot: string, preset: Preset): Promise<void>;

package/dist/commands/reverse-match-prompt.js

@@ -0,0 +1,50 @@
+import { readFileSync } from 'node:fs';
+import { resolve } from 'node:path';
+import { batchTraces } from '../match/coverage.js';
+export async function cmdReverseMatchPrompt(args, pkgRoot, preset) {
+    if (args.length < 2) {
+        process.stderr.write('Usage: tracecart reverse-match-prompt <reverse_traces.json> <source_traces.json> [--preset <name>]\n');
+        process.exit(1);
+    }
+    const reverseData = JSON.parse(readFileSync(args[0], 'utf-8'));
+    const reverseTraces = reverseData.traces ?? (Array.isArray(reverseData) ? reverseData : []);
+    const sourceData = JSON.parse(readFileSync(args[1], 'utf-8'));
+    const sourceTraces = sourceData.traces ?? (Array.isArray(sourceData) ? sourceData : []);
+    const templateFile = preset.prompts.reverse_check ?? 'reverse_check.txt';
+    const templatePath = resolve(pkgRoot, 'prompts', templateFile);
+    const template = readFileSync(templatePath, 'utf-8');
+    function formatFromPreset(batch) {
+        const claimLines = [];
+        for (const t of batch) {
+            const tid = (t.id ?? '');
+            const text = (t.text ?? '');
+            const ttype = (t.type ?? 'REQUIREMENT');
+            claimLines.push(`[${tid}] (${ttype}) ${text}`);
+        }
+        const evidenceLines = [];
+        for (const t of sourceTraces) {
+            const tid = (t.id ?? '');
+            const text = (t.text ?? '');
+            const ttype = (t.type ?? 'REQUIREMENT');
+            const implicit = t.implicit ? ' [implicit]' : '';
+            evidenceLines.push(`[${tid}] (${ttype}${implicit}) ${text}`);
+        }
+        let prompt = template.replace('{claims}', claimLines.join('\n'));
+        prompt = prompt.replace('{evidence}', evidenceLines.join('\n'));
+        return prompt;
+    }
+    const batches = batchTraces(reverseTraces);
+    if (batches.length === 1) {
+        process.stdout.write(formatFromPreset(reverseTraces));
+    }
+    else {
+        for (let bi = 0; bi < batches.length; bi++) {
+            process.stderr.write(`--- BATCH ${bi + 1}/${batches.length} ---\n`);
+            process.stdout.write(formatFromPreset(batches[bi]));
+            if (bi < batches.length - 1) {
+                process.stdout.write('\n---BATCH_SEPARATOR---\n');
+            }
+        }
+    }
+}
+//# sourceMappingURL=reverse-match-prompt.js.map

package/dist/commands/reverse-match-prompt.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reverse-match-prompt.js","sourceRoot":"","sources":["../../src/commands/reverse-match-prompt.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAGnD,MAAM,CAAC,KAAK,UAAU,qBAAqB,CAAC,IAAc,EAAE,OAAe,EAAE,MAAc;IACzF,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,sGAAsG,CAAC,CAAC;QAC7H,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;IAC/D,MAAM,aAAa,GAA8B,WAAW,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACvH,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;IAC9D,MAAM,YAAY,GAA8B,UAAU,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAEnH,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,CAAC,aAAa,IAAI,mBAAmB,CAAC;IACzE,MAAM,YAAY,GAAG,OAAO,CAAC,OAAO,EAAE,SAAS,EAAE,YAAY,CAAC,CAAC;IAC/D,MAAM,QAAQ,GAAG,YAAY,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAErD,SAAS,gBAAgB,CAAC,KAAgC;QACxD,MAAM,UAAU,GAAa,EAAE,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAW,CAAC;YACnC,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAW,CAAC;YACtC,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,aAAa,CAAW,CAAC;YAClD,UAAU,CAAC,IAAI,CAAC,IAAI,GAAG,MAAM,KAAK,KAAK,IAAI,EAAE,CAAC,CAAC;QACjD,CAAC;QAED,MAAM,aAAa,GAAa,EAAE,CAAC;QACnC,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;YAC7B,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAW,CAAC;YACnC,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAW,CAAC;YACtC,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,aAAa,CAAW,CAAC;YAClD,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;YACjD,aAAa,CAAC,IAAI,CAAC,IAAI,GAAG,MAAM,KAAK,GAAG,QAAQ,KAAK,IAAI,EAAE,CAAC,CAAC;QAC/D,CAAC;QAED,IAAI,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,UAAU,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACjE,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,YAAY,EAAE,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAChE,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,MAAM,OAAO,GAAG,WAAW,CAAC,aAAa,CAAC,CAAC;IAC3C,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,aAAa,CAAC,CAAC,CAAC;IACxD,CAAC;SAAM,CAAC;QACN,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,OAAO,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;YAC3C,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,aAAa,EAAE,GAAG,CAAC,IAAI,OAAO,CAAC,MAAM,QAAQ,CAAC,CAAC;YACpE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACpD,IAAI,EAAE,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC5B,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,2BAA2B,CAAC,CAAC;YACpD,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/commands/reverse-match-validate.d.ts

@@ -0,0 +1 @@
+export declare function cmdReverseMatchValidate(args: string[]): Promise<void>;

package/dist/commands/reverse-match-validate.js

@@ -0,0 +1,14 @@
+import { readFileSync } from 'node:fs';
+import { validateReverseMatches } from '../match/coverage.js';
+export async function cmdReverseMatchValidate(args) {
+    if (args.length < 2) {
+        process.stderr.write('Usage: tracecart reverse-match-validate <llm_output.txt> <reverse_traces.json>\n');
+        process.exit(1);
+    }
+    const rawOutput = readFileSync(args[0], 'utf-8');
+    const reverseData = JSON.parse(readFileSync(args[1], 'utf-8'));
+    const reverseTraces = reverseData.traces ?? (Array.isArray(reverseData) ? reverseData : []);
+    const result = validateReverseMatches(rawOutput, reverseTraces);
+    process.stdout.write(JSON.stringify(result, null, 2));
+}
+//# sourceMappingURL=reverse-match-validate.js.map

package/dist/commands/reverse-match-validate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reverse-match-validate.js","sourceRoot":"","sources":["../../src/commands/reverse-match-validate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAE9D,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAAC,IAAc;IAC1D,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,kFAAkF,CAAC,CAAC;QACzG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,MAAM,SAAS,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IACjD,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;IAC/D,MAAM,aAAa,GAAG,WAAW,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAE5F,MAAM,MAAM,GAAG,sBAAsB,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;IAChE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;AACxD,CAAC"}

package/dist/commands/split.d.ts

@@ -0,0 +1 @@
+export declare function cmdSplit(args: string[]): Promise<void>;

package/dist/commands/split.js

@@ -0,0 +1,26 @@
+import { readFileSync } from 'node:fs';
+import { processDocument } from '../parse/clause-split.js';
+export async function cmdSplit(args) {
+    if (!args[0]) {
+        process.stderr.write('Usage: tracecart split <source.md> [--lang hu|en]\n');
+        process.exit(1);
+    }
+    const sourcePath = args[0];
+    const text = readFileSync(sourcePath, 'utf-8');
+    const clauses = processDocument(text);
+    const contentClauses = clauses.filter(c => !c.is_header);
+    const compoundLines = new Set();
+    for (const c of contentClauses) {
+        if (c.clause_index > 0)
+            compoundLines.add(c.line_number);
+    }
+    const result = {
+        source_file: sourcePath,
+        total_lines: text.split('\n').length,
+        content_clauses: contentClauses.length,
+        compound_lines_split: compoundLines.size,
+        clauses,
+    };
+    process.stdout.write(JSON.stringify(result, null, 2));
+}
+//# sourceMappingURL=split.js.map

package/dist/commands/split.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"split.js","sourceRoot":"","sources":["../../src/commands/split.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAE3D,MAAM,CAAC,KAAK,UAAU,QAAQ,CAAC,IAAc;IAC3C,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QACb,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,qDAAqD,CAAC,CAAC;QAC5E,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3B,MAAM,IAAI,GAAG,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC/C,MAAM,OAAO,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IAEtC,MAAM,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACzD,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IACxC,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;QAC/B,IAAI,CAAC,CAAC,YAAY,GAAG,CAAC;YAAE,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IAC3D,CAAC;IAED,MAAM,MAAM,GAAG;QACb,WAAW,EAAE,UAAU;QACvB,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM;QACpC,eAAe,EAAE,cAAc,CAAC,MAAM;QACtC,oBAAoB,EAAE,aAAa,CAAC,IAAI;QACxC,OAAO;KACR,CAAC;IAEF,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;AACxD,CAAC"}

package/dist/commands/status.d.ts

@@ -0,0 +1 @@
+export declare function cmdStatus(args: string[]): Promise<void>;

package/dist/commands/status.js

@@ -0,0 +1,34 @@
+import { readFileSync } from 'node:fs';
+import { computeRemainder, extractionStats } from '../extract/remainder.js';
+import { computeSummary } from '../output/trace-map.js';
+export async function cmdStatus(args) {
+    if (args.length < 2) {
+        process.stderr.write('Usage: tracecart status <traces.json> <clauses.json>\n');
+        process.exit(1);
+    }
+    const tracesData = JSON.parse(readFileSync(args[0], 'utf-8'));
+    // eslint-disable-next-line @typescript-eslint/no-explicit-any
+    const traces = tracesData.traces ?? (Array.isArray(tracesData) ? tracesData : []);
+    const clausesData = JSON.parse(readFileSync(args[1], 'utf-8'));
+    // eslint-disable-next-line @typescript-eslint/no-explicit-any
+    const clauses = clausesData.clauses ?? (Array.isArray(clausesData) ? clausesData : []);
+    const contentClauses = clauses.filter((c) => !c.is_header);
+    const remainder = computeRemainder(contentClauses, traces);
+    const stats = extractionStats(contentClauses, traces, remainder);
+    const hasStatus = traces.some((t) => 'status' in t);
+    process.stderr.write(`Clauses: ${stats.total_clauses}\n`);
+    process.stderr.write(`Traces extracted: ${stats.traces_extracted}\n`);
+    process.stderr.write(`Clauses consumed: ${stats.clauses_consumed}/${stats.total_clauses} (${stats.coverage_pct.toFixed(1)}%)\n`);
+    process.stderr.write(`Remainder: ${stats.clauses_remaining} clauses\n`);
+    process.stderr.write(`Extraction complete: ${stats.complete}\n`);
+    if (hasStatus) {
+        const summary = computeSummary(traces);
+        process.stderr.write(`\nCoverage matching:\n`);
+        process.stderr.write(`  Score: ${summary.coverage_score_pct}%\n`);
+        process.stderr.write(`  COVERED: ${summary.covered}\n`);
+        process.stderr.write(`  PARTIAL: ${summary.partial}\n`);
+        process.stderr.write(`  MISSING: ${summary.missing}\n`);
+        process.stderr.write(`  DEFERRED: ${summary.deferred}\n`);
+    }
+}
+//# sourceMappingURL=status.js.map

package/dist/commands/status.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"status.js","sourceRoot":"","sources":["../../src/commands/status.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC5E,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAExD,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,IAAc;IAC5C,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,wDAAwD,CAAC,CAAC;QAC/E,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;IAC9D,8DAA8D;IAC9D,MAAM,MAAM,GAAU,UAAU,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACzF,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;IAC/D,8DAA8D;IAC9D,MAAM,OAAO,GAAU,WAAW,CAAC,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAE9F,MAAM,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAChE,MAAM,SAAS,GAAG,gBAAgB,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IAC3D,MAAM,KAAK,GAAG,eAAe,CAAC,cAAc,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;IAEjE,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC;IAEzD,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,KAAK,CAAC,aAAa,IAAI,CAAC,CAAC;IAC1D,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,qBAAqB,KAAK,CAAC,gBAAgB,IAAI,CAAC,CAAC;IACtE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,qBAAqB,KAAK,CAAC,gBAAgB,IAAI,KAAK,CAAC,aAAa,KAAK,KAAK,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACjI,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,cAAc,KAAK,CAAC,iBAAiB,YAAY,CAAC,CAAC;IACxE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,wBAAwB,KAAK,CAAC,QAAQ,IAAI,CAAC,CAAC;IAEjE,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;QACvC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,wBAAwB,CAAC,CAAC;QAC/C,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,OAAO,CAAC,kBAAkB,KAAK,CAAC,CAAC;QAClE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,cAAc,OAAO,CAAC,OAAO,IAAI,CAAC,CAAC;QACxD,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,cAAc,OAAO,CAAC,OAAO,IAAI,CAAC,CAAC;QACxD,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,cAAc,OAAO,CAAC,OAAO,IAAI,CAAC,CAAC;QACxD,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,eAAe,OAAO,CAAC,QAAQ,IAAI,CAAC,CAAC;IAC5D,CAAC;AACH,CAAC"}

package/dist/commands/update.d.ts

@@ -0,0 +1 @@
+export declare function cmdUpdate(args: string[], pkgRoot: string): Promise<void>;

package/dist/commands/update.js

@@ -0,0 +1,5 @@
+import { cmdInit } from './init.js';
+export async function cmdUpdate(args, pkgRoot) {
+    await cmdInit(args, pkgRoot);
+}
+//# sourceMappingURL=update.js.map

package/dist/commands/update.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"update.js","sourceRoot":"","sources":["../../src/commands/update.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAEpC,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,IAAc,EAAE,OAAe;IAC7D,MAAM,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AAC/B,CAAC"}

package/dist/extract/extract.d.ts

@@ -0,0 +1,37 @@
+export declare const VALID_TYPES: Set<"REQUIREMENT" | "DECISION" | "WISH" | "OPEN_QUESTION" | "EXCLUSION">;
+export type TraceType = 'REQUIREMENT' | 'DECISION' | 'WISH' | 'OPEN_QUESTION' | 'EXCLUSION';
+export interface TraceSource {
+    file: string;
+    line: number;
+    col_start: number;
+    col_end: number;
+}
+export interface Trace {
+    id: string;
+    text: string;
+    type: TraceType;
+    source: TraceSource;
+    clause_id: string;
+    clause_ids: string[];
+    topics: string[];
+    implicit: boolean;
+    triple?: unknown;
+    signal?: string;
+}
+export interface Clause {
+    clause_id: string;
+    text: string;
+    line_number: number;
+    clause_index: number;
+    is_header?: boolean;
+    is_meta?: boolean;
+}
+export interface ValidationResult {
+    traces: Trace[];
+    errors: string[];
+}
+export declare function formatPrompt(clauses: Clause[], sourceFile: string | undefined, language: string | undefined, pkgRoot: string): string;
+export declare function sourceHash(filepath: string): string;
+export declare function validateTraces(rawOutput: string, clauses: Clause[], sourceFile?: string, idPrefix?: string, validTypes?: Set<string>): ValidationResult;
+export declare function parseJsonOutput(raw: string): unknown[] | null;
+export declare function mergeTraces(existing: Trace[], newTraces: Trace[]): Trace[];

package/dist/extract/extract.js

@@ -0,0 +1,158 @@
+import { readFileSync } from 'node:fs';
+import { resolve } from 'node:path';
+import { createHash } from 'node:crypto';
+export const VALID_TYPES = new Set([
+    'REQUIREMENT', 'DECISION', 'WISH', 'OPEN_QUESTION', 'EXCLUSION',
+]);
+export function formatPrompt(clauses, sourceFile = '', language = 'hu', pkgRoot) {
+    const templatePath = language === 'en'
+        ? resolve(pkgRoot, 'prompts', 'en', 'extract.txt')
+        : resolve(pkgRoot, 'prompts', 'extract.txt');
+    const template = readFileSync(templatePath, 'utf-8');
+    const clauseLines = [];
+    for (const c of clauses) {
+        if (c.is_header || c.is_meta)
+            continue;
+        clauseLines.push(`[${c.clause_id}] ${c.text}`);
+    }
+    return template.replace('{clauses}', clauseLines.join('\n'));
+}
+export function sourceHash(filepath) {
+    return createHash('sha256').update(filepath, 'utf-8').digest('hex').slice(0, 6);
+}
+export function validateTraces(rawOutput, clauses, sourceFile = '', idPrefix = 'T', validTypes = VALID_TYPES) {
+    const errors = [];
+    const traces = [];
+    const parsed = parseJsonOutput(rawOutput);
+    if (parsed === null) {
+        return { traces: [], errors: ['Failed to parse LLM output as JSON'] };
+    }
+    if (!Array.isArray(parsed)) {
+        return { traces: [], errors: ['LLM output is not a JSON array'] };
+    }
+    const clauseMap = new Map();
+    for (const c of clauses) {
+        if (!c.is_header && !c.is_meta) {
+            clauseMap.set(c.clause_id, c);
+        }
+    }
+    const fileHash = sourceHash(sourceFile);
+    const idCounter = new Map();
+    for (let i = 0; i < parsed.length; i++) {
+        const raw = parsed[i];
+        if (typeof raw !== 'object' || raw === null || Array.isArray(raw)) {
+            errors.push(`Entry ${i}: not a dict`);
+            continue;
+        }
+        const entry = raw;
+        let clauseId = entry.clause_id;
+        if (!clauseId) {
+            const clauseIds = (entry.clause_ids ?? []);
+            if (clauseIds.length > 0) {
+                clauseId = clauseIds[0];
+            }
+            else {
+                errors.push(`Entry ${i}: missing clause_id`);
+                continue;
+            }
+        }
+        let traceType = (entry.type ?? '').toUpperCase();
+        if (!validTypes.has(traceType)) {
+            errors.push(`Entry ${i}: invalid type "${traceType}"`);
+            traceType = 'REQUIREMENT';
+        }
+        const text = (entry.text ?? '');
+        if (!text) {
+            errors.push(`Entry ${i}: missing text`);
+            continue;
+        }
+        const clause = clauseMap.get(clauseId);
+        const lineNum = clause ? clause.line_number : 0;
+        const clauseIdx = clause ? clause.clause_index : 0;
+        const baseId = `${idPrefix}-${fileHash}-${String(lineNum).padStart(3, '0')}-${clauseIdx}`;
+        const seq = idCounter.get(baseId) ?? 0;
+        idCounter.set(baseId, seq + 1);
+        const traceId = seq === 0 ? baseId : `${baseId}-${seq}`;
+        const trace = {
+            id: traceId,
+            text,
+            type: traceType,
+            source: {
+                file: sourceFile,
+                line: lineNum,
+                col_start: 0,
+                col_end: clause ? clause.text.length : text.length,
+            },
+            clause_id: clauseId,
+            clause_ids: (entry.clause_ids ?? [clauseId]),
+            topics: (entry.tags ?? entry.topics ?? []),
+            implicit: (entry.implicit ?? false),
+            triple: entry.triple,
+        };
+        if (entry.signal) {
+            trace.signal = entry.signal;
+        }
+        traces.push(trace);
+    }
+    return { traces, errors };
+}
+export function parseJsonOutput(raw) {
+    raw = raw.trim();
+    if (raw.startsWith('```json')) {
+        raw = raw.slice(7);
+    }
+    if (raw.startsWith('```')) {
+        raw = raw.slice(3);
+    }
+    if (raw.endsWith('```')) {
+        raw = raw.slice(0, -3);
+    }
+    raw = raw.trim();
+    try {
+        const result = JSON.parse(raw);
+        return result;
+    }
+    catch {
+        // fall through
+    }
+    const start = raw.indexOf('[');
+    const end = raw.lastIndexOf(']');
+    if (start !== -1 && end !== -1 && end > start) {
+        try {
+            return JSON.parse(raw.slice(start, end + 1));
+        }
+        catch {
+            // fall through
+        }
+    }
+    return null;
+}
+export function mergeTraces(existing, newTraces) {
+    const existingClauseIds = new Set();
+    for (const t of existing) {
+        if (t.clause_id)
+            existingClauseIds.add(t.clause_id);
+        if (t.clause_ids) {
+            for (const id of t.clause_ids)
+                existingClauseIds.add(id);
+        }
+    }
+    const merged = [...existing];
+    for (const t of newTraces) {
+        const tIds = new Set(t.clause_ids ?? [t.clause_id ?? '']);
+        let allExist = true;
+        for (const id of tIds) {
+            if (!existingClauseIds.has(id)) {
+                allExist = false;
+                break;
+            }
+        }
+        if (!allExist) {
+            merged.push(t);
+            for (const id of tIds)
+                existingClauseIds.add(id);
+        }
+    }
+    return merged;
+}
+//# sourceMappingURL=extract.js.map

package/dist/extract/extract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"extract.js","sourceRoot":"","sources":["../../src/extract/extract.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,MAAM,CAAC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC;IACjC,aAAa,EAAE,UAAU,EAAE,MAAM,EAAE,eAAe,EAAE,WAAW;CACvD,CAAC,CAAC;AAsCZ,MAAM,UAAU,YAAY,CAC1B,OAAiB,EACjB,aAAqB,EAAE,EACvB,WAAmB,IAAI,EACvB,OAAe;IAEf,MAAM,YAAY,GAAG,QAAQ,KAAK,IAAI;QACpC,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,aAAa,CAAC;QAClD,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;IAE/C,MAAM,QAAQ,GAAG,YAAY,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAErD,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,OAAO;YAAE,SAAS;QACvC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACjD,CAAC;IAED,OAAO,QAAQ,CAAC,OAAO,CAAC,WAAW,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;AAC/D,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,QAAgB;IACzC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAClF,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,SAAiB,EACjB,OAAiB,EACjB,aAAqB,EAAE,EACvB,WAAmB,GAAG,EACtB,aAA0B,WAA0B;IAEpD,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,MAAM,GAAY,EAAE,CAAC;IAE3B,MAAM,MAAM,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC;IAC1C,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACpB,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,oCAAoC,CAAC,EAAE,CAAC;IACxE,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,gCAAgC,CAAC,EAAE,CAAC;IACpE,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;YAC/B,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;IACxC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAE5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAClE,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;YACtC,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAG,GAA8B,CAAC;QAE7C,IAAI,QAAQ,GAAG,KAAK,CAAC,SAA+B,CAAC;QACrD,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,MAAM,SAAS,GAAG,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAa,CAAC;YACvD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACzB,QAAQ,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;YAC1B,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;gBAC7C,SAAS;YACX,CAAC;QACH,CAAC;QAED,IAAI,SAAS,GAAG,CAAE,KAAK,CAAC,IAA2B,IAAI,EAAE,CAAC,CAAC,WAAW,EAAe,CAAC;QACtF,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YAC/B,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,mBAAmB,SAAS,GAAG,CAAC,CAAC;YACvD,SAAS,GAAG,aAA0B,CAAC;QACzC,CAAC;QAED,MAAM,IAAI,GAAG,CAAE,KAAK,CAAC,IAA2B,IAAI,EAAE,CAAC,CAAC;QACxD,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;YACxC,SAAS;QACX,CAAC;QAED,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACvC,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;QAChD,MAAM,SAAS,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;QAEnD,MAAM,MAAM,GAAG,GAAG,QAAQ,IAAI,QAAQ,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1F,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACvC,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC;QAC/B,MAAM,OAAO,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,GAAG,EAAE,CAAC;QAExD,MAAM,KAAK,GAAU;YACnB,EAAE,EAAE,OAAO;YACX,IAAI;YACJ,IAAI,EAAE,SAAS;YACf,MAAM,EAAE;gBACN,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE,OAAO;gBACb,SAAS,EAAE,CAAC;gBACZ,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM;aACnD;YACD,SAAS,EAAE,QAAQ;YACnB,UAAU,EAAE,CAAC,KAAK,CAAC,UAAU,IAAI,CAAC,QAAQ,CAAC,CAAa;YACxD,MAAM,EAAG,CAAC,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,MAAM,IAAI,EAAE,CAAc;YACxD,QAAQ,EAAE,CAAC,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAY;YAC9C,MAAM,EAAE,KAAK,CAAC,MAAM;SACrB,CAAC;QAEF,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;YACjB,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,MAAgB,CAAC;QACxC,CAAC;QAED,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrB,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;AAC5B,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,GAAW;IACzC,GAAG,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IAEjB,IAAI,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QAC9B,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACrB,CAAC;IACD,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACrB,CAAC;IACD,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACxB,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC;IACD,GAAG,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IAEjB,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC/B,OAAO,MAAM,CAAC;IAChB,CAAC;IAAC,MAAM,CAAC;QACP,eAAe;IACjB,CAAC;IAED,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC/B,MAAM,GAAG,GAAG,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACjC,IAAI,KAAK,KAAK,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,IAAI,GAAG,GAAG,KAAK,EAAE,CAAC;QAC9C,IAAI,CAAC;YACH,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC;QAAC,MAAM,CAAC;YACP,eAAe;QACjB,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,QAAiB,EAAE,SAAkB;IAC/D,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC5C,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,SAAS;YAAE,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QACpD,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;YACjB,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,UAAU;gBAAE,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC3D,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC;IAC7B,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,CAAC;QAC1D,IAAI,QAAQ,GAAG,IAAI,CAAC;QACpB,KAAK,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC;YACtB,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC/B,QAAQ,GAAG,KAAK,CAAC;gBACjB,MAAM;YACR,CAAC;QACH,CAAC;QACD,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACf,KAAK,MAAM,EAAE,IAAI,IAAI;gBAAE,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACnD,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/extract/remainder.d.ts

@@ -0,0 +1,16 @@
+import type { Clause, Trace } from './extract.js';
+export interface ExtractionStats {
+    total_clauses: number;
+    traces_extracted: number;
+    clauses_consumed: number;
+    clauses_remaining: number;
+    coverage_pct: number;
+    complete: boolean;
+}
+export interface RemainderResult {
+    stats: ExtractionStats;
+    remainder: Clause[];
+}
+export declare function computeRemainder(clauses: Clause[], traces: Trace[]): Clause[];
+export declare function isComplete(remainder: Clause[], previousRemainder?: Clause[] | null): boolean;
+export declare function extractionStats(clauses: Clause[], traces: Trace[], remainder: Clause[]): ExtractionStats;

package/dist/extract/remainder.js

@@ -0,0 +1,34 @@
+export function computeRemainder(clauses, traces) {
+    const tracedIds = new Set();
+    for (const trace of traces) {
+        if (trace.clause_id)
+            tracedIds.add(trace.clause_id);
+        if (trace.clause_ids) {
+            for (const id of trace.clause_ids)
+                tracedIds.add(id);
+        }
+    }
+    return clauses.filter(c => !tracedIds.has(c.clause_id));
+}
+export function isComplete(remainder, previousRemainder = null) {
+    if (remainder.length === 0)
+        return true;
+    if (previousRemainder !== null) {
+        if (remainder.length >= previousRemainder.length)
+            return true;
+    }
+    return false;
+}
+export function extractionStats(clauses, traces, remainder) {
+    return {
+        total_clauses: clauses.length,
+        traces_extracted: traces.length,
+        clauses_consumed: clauses.length - remainder.length,
+        clauses_remaining: remainder.length,
+        coverage_pct: clauses.length > 0
+            ? (clauses.length - remainder.length) / clauses.length * 100
+            : 0,
+        complete: remainder.length === 0,
+    };
+}
+//# sourceMappingURL=remainder.js.map

package/dist/extract/remainder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"remainder.js","sourceRoot":"","sources":["../../src/extract/remainder.ts"],"names":[],"mappings":"AAgBA,MAAM,UAAU,gBAAgB,CAAC,OAAiB,EAAE,MAAe;IACjE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,KAAK,CAAC,SAAS;YAAE,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACpD,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;YACrB,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,UAAU;gBAAE,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;AAC1D,CAAC;AAED,MAAM,UAAU,UAAU,CACxB,SAAmB,EACnB,oBAAqC,IAAI;IAEzC,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAExC,IAAI,iBAAiB,KAAK,IAAI,EAAE,CAAC;QAC/B,IAAI,SAAS,CAAC,MAAM,IAAI,iBAAiB,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC;IAChE,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,OAAiB,EACjB,MAAe,EACf,SAAmB;IAEnB,OAAO;QACL,aAAa,EAAE,OAAO,CAAC,MAAM;QAC7B,gBAAgB,EAAE,MAAM,CAAC,MAAM;QAC/B,gBAAgB,EAAE,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,MAAM;QACnD,iBAAiB,EAAE,SAAS,CAAC,MAAM;QACnC,YAAY,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC;YAC9B,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,GAAG,GAAG;YAC5D,CAAC,CAAC,CAAC;QACL,QAAQ,EAAE,SAAS,CAAC,MAAM,KAAK,CAAC;KACjC,CAAC;AACJ,CAAC"}

package/dist/match/coverage.d.ts

@@ -0,0 +1,64 @@
+export declare const VALID_STATUSES: Set<"COVERED" | "PARTIAL" | "MISSING" | "DEFERRED" | "N/A">;
+export type CoverageStatus = 'COVERED' | 'PARTIAL' | 'MISSING' | 'DEFERRED' | 'N/A';
+export declare const VALID_REVERSE_STATUSES: Set<"TRACED" | "PARTIAL_SOURCE" | "UNTRACED_IN_SOURCE">;
+export type ReverseStatus = 'TRACED' | 'PARTIAL_SOURCE' | 'UNTRACED_IN_SOURCE';
+export declare const MAX_TRACES_PER_BATCH = 20;
+export interface TargetSection {
+    id: string;
+    title: string;
+    file: string;
+    line: number;
+    text: string;
+}
+export interface SpecRef {
+    file: string;
+    section: string;
+    line: number;
+}
+export interface Match {
+    trace_id: string;
+    status: string;
+    spec_ref: string;
+    notes: string;
+    refs?: unknown[];
+}
+export interface ReverseMatch {
+    claim_id: string;
+    status: string;
+    source_trace_id: string | undefined;
+    nearest_source_trace: string | undefined;
+    similarity_note: string;
+    notes: string;
+}
+export interface MatchValidationResult {
+    matches: Match[];
+    errors: string[];
+}
+export interface ReverseMatchValidationResult {
+    matches: ReverseMatch[];
+    errors: string[];
+}
+interface TraceInput {
+    id?: string;
+    sentence_id?: string;
+    text?: string;
+    type?: string;
+    implicit?: boolean;
+    status?: string;
+    source?: Record<string, unknown>;
+    refs?: unknown[];
+    nearest_source_trace?: string;
+    similarity_note?: string;
+    [key: string]: unknown;
+}
+export declare function parseTargetSections(targetText: string, targetFile?: string): TargetSection[];
+export declare function formatPrompt(traces: TraceInput[], targetText: string, exclusions?: string, language?: string): string;
+export declare function batchTraces<T>(traces: T[], batchSize?: number): T[][];
+export declare function validateMatches(rawOutput: string, traces: TraceInput[], validStatuses?: Set<string>): MatchValidationResult;
+export declare function applyMatches(traces: TraceInput[], matches: Match[]): TraceInput[];
+export declare function formatReversePrompt(reverseTraces: TraceInput[], sourceTraces: TraceInput[], language?: string): string;
+export declare function validateReverseMatches(rawOutput: string, reverseTraces: TraceInput[]): ReverseMatchValidationResult;
+export declare function applyReverseMatches(reverseTraces: TraceInput[], matches: ReverseMatch[]): TraceInput[];
+export declare function resolveRefs(traces: TraceInput[], targetFiles: string[]): TraceInput[];
+export declare function parseJsonOutput(raw: string): unknown[] | null;
+export {};