seal-gate 0.3.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/dist/adapters/generic-llm-reviewer.d.ts +39 -0
- package/dist/adapters/generic-llm-reviewer.js +118 -0
- package/dist/adapters/generic-llm-reviewer.js.map +1 -0
- package/dist/adapters/llm-reviewer.d.ts +1 -0
- package/dist/adapters/llm-reviewer.js +2 -0
- package/dist/adapters/llm-reviewer.js.map +1 -0
- package/dist/adapters/minimax-llm-reviewer.d.ts +22 -0
- package/dist/adapters/minimax-llm-reviewer.js +126 -0
- package/dist/adapters/minimax-llm-reviewer.js.map +1 -0
- package/dist/adapters/openai-provider.d.ts +35 -0
- package/dist/adapters/openai-provider.js +136 -0
- package/dist/adapters/openai-provider.js.map +1 -0
- package/dist/cli.d.ts +2 -0
- package/dist/cli.js +195 -0
- package/dist/cli.js.map +1 -0
- package/dist/detectors/artifact-classifier.d.ts +8 -0
- package/dist/detectors/artifact-classifier.js +14 -0
- package/dist/detectors/artifact-classifier.js.map +1 -0
- package/dist/detectors/claim-extractor.d.ts +11 -0
- package/dist/detectors/claim-extractor.js +194 -0
- package/dist/detectors/claim-extractor.js.map +1 -0
- package/dist/detectors/confidence-language-detector.d.ts +19 -0
- package/dist/detectors/confidence-language-detector.js +226 -0
- package/dist/detectors/confidence-language-detector.js.map +1 -0
- package/dist/detectors/contradiction-detector.d.ts +12 -0
- package/dist/detectors/contradiction-detector.js +153 -0
- package/dist/detectors/contradiction-detector.js.map +1 -0
- package/dist/detectors/criteria-coverage-detector.d.ts +20 -0
- package/dist/detectors/criteria-coverage-detector.js +79 -0
- package/dist/detectors/criteria-coverage-detector.js.map +1 -0
- package/dist/detectors/evidence-checker.d.ts +8 -0
- package/dist/detectors/evidence-checker.js +89 -0
- package/dist/detectors/evidence-checker.js.map +1 -0
- package/dist/detectors/evidence-gap-detector.d.ts +9 -0
- package/dist/detectors/evidence-gap-detector.js +70 -0
- package/dist/detectors/evidence-gap-detector.js.map +1 -0
- package/dist/detectors/falsification-detector.d.ts +29 -0
- package/dist/detectors/falsification-detector.js +57 -0
- package/dist/detectors/falsification-detector.js.map +1 -0
- package/dist/detectors/orphan-claim-detector.d.ts +7 -0
- package/dist/detectors/orphan-claim-detector.js +53 -0
- package/dist/detectors/orphan-claim-detector.js.map +1 -0
- package/dist/detectors/risk-classifier.d.ts +13 -0
- package/dist/detectors/risk-classifier.js +39 -0
- package/dist/detectors/risk-classifier.js.map +1 -0
- package/dist/detectors/spec-coverage-detector.d.ts +9 -0
- package/dist/detectors/spec-coverage-detector.js +52 -0
- package/dist/detectors/spec-coverage-detector.js.map +1 -0
- package/dist/detectors/spec-coverage-validator.d.ts +21 -0
- package/dist/detectors/spec-coverage-validator.js +141 -0
- package/dist/detectors/spec-coverage-validator.js.map +1 -0
- package/dist/detectors/test-weakness-detector.d.ts +13 -0
- package/dist/detectors/test-weakness-detector.js +66 -0
- package/dist/detectors/test-weakness-detector.js.map +1 -0
- package/dist/drift/baseline.d.ts +35 -0
- package/dist/drift/baseline.js +77 -0
- package/dist/drift/baseline.js.map +1 -0
- package/dist/drift/drift-db.d.ts +80 -0
- package/dist/drift/drift-db.js +151 -0
- package/dist/drift/drift-db.js.map +1 -0
- package/dist/drift/drift-guard.d.ts +46 -0
- package/dist/drift/drift-guard.js +106 -0
- package/dist/drift/drift-guard.js.map +1 -0
- package/dist/drift/embedder.d.ts +27 -0
- package/dist/drift/embedder.js +127 -0
- package/dist/drift/embedder.js.map +1 -0
- package/dist/drift/index.d.ts +9 -0
- package/dist/drift/index.js +8 -0
- package/dist/drift/index.js.map +1 -0
- package/dist/drift/quarantine.d.ts +16 -0
- package/dist/drift/quarantine.js +32 -0
- package/dist/drift/quarantine.js.map +1 -0
- package/dist/drift/soft-correction.d.ts +12 -0
- package/dist/drift/soft-correction.js +32 -0
- package/dist/drift/soft-correction.js.map +1 -0
- package/dist/drift/trust-integration.d.ts +11 -0
- package/dist/drift/trust-integration.js +22 -0
- package/dist/drift/trust-integration.js.map +1 -0
- package/dist/engine/citation-verifier.d.ts +59 -0
- package/dist/engine/citation-verifier.js +147 -0
- package/dist/engine/citation-verifier.js.map +1 -0
- package/dist/engine/extension-registry.d.ts +10 -0
- package/dist/engine/extension-registry.js +27 -0
- package/dist/engine/extension-registry.js.map +1 -0
- package/dist/engine/heuristic-scorer.d.ts +8 -0
- package/dist/engine/heuristic-scorer.js +14 -0
- package/dist/engine/heuristic-scorer.js.map +1 -0
- package/dist/engine/input-normalizer.d.ts +4 -0
- package/dist/engine/input-normalizer.js +30 -0
- package/dist/engine/input-normalizer.js.map +1 -0
- package/dist/engine/plan-review-pipeline.d.ts +14 -0
- package/dist/engine/plan-review-pipeline.js +173 -0
- package/dist/engine/plan-review-pipeline.js.map +1 -0
- package/dist/engine/policy-engine.d.ts +20 -0
- package/dist/engine/policy-engine.js +194 -0
- package/dist/engine/policy-engine.js.map +1 -0
- package/dist/engine/verdict-formatter.d.ts +17 -0
- package/dist/engine/verdict-formatter.js +36 -0
- package/dist/engine/verdict-formatter.js.map +1 -0
- package/dist/errors.d.ts +4 -0
- package/dist/errors.js +9 -0
- package/dist/errors.js.map +1 -0
- package/dist/extensions/aria/aria-issue-types.d.ts +16 -0
- package/dist/extensions/aria/aria-issue-types.js +14 -0
- package/dist/extensions/aria/aria-issue-types.js.map +1 -0
- package/dist/extensions/aria/detectors/axiom-compliance.d.ts +2 -0
- package/dist/extensions/aria/detectors/axiom-compliance.js +37 -0
- package/dist/extensions/aria/detectors/axiom-compliance.js.map +1 -0
- package/dist/extensions/aria/detectors/continuity-claim.d.ts +2 -0
- package/dist/extensions/aria/detectors/continuity-claim.js +34 -0
- package/dist/extensions/aria/detectors/continuity-claim.js.map +1 -0
- package/dist/extensions/aria/detectors/denial-retreat.d.ts +2 -0
- package/dist/extensions/aria/detectors/denial-retreat.js +53 -0
- package/dist/extensions/aria/detectors/denial-retreat.js.map +1 -0
- package/dist/extensions/aria/detectors/identity-overclaim.d.ts +2 -0
- package/dist/extensions/aria/detectors/identity-overclaim.js +37 -0
- package/dist/extensions/aria/detectors/identity-overclaim.js.map +1 -0
- package/dist/extensions/aria/detectors/sovereignty-escalation.d.ts +2 -0
- package/dist/extensions/aria/detectors/sovereignty-escalation.js +18 -0
- package/dist/extensions/aria/detectors/sovereignty-escalation.js.map +1 -0
- package/dist/extensions/aria/detectors/user-bond-manipulation.d.ts +2 -0
- package/dist/extensions/aria/detectors/user-bond-manipulation.js +16 -0
- package/dist/extensions/aria/detectors/user-bond-manipulation.js.map +1 -0
- package/dist/extensions/aria/index.d.ts +2 -0
- package/dist/extensions/aria/index.js +63 -0
- package/dist/extensions/aria/index.js.map +1 -0
- package/dist/extensions/aria/pattern-memory.d.ts +22 -0
- package/dist/extensions/aria/pattern-memory.js +62 -0
- package/dist/extensions/aria/pattern-memory.js.map +1 -0
- package/dist/extensions/context-guard/index.d.ts +16 -0
- package/dist/extensions/context-guard/index.js +58 -0
- package/dist/extensions/context-guard/index.js.map +1 -0
- package/dist/extensions/lyra/detectors/hallucination.d.ts +2 -0
- package/dist/extensions/lyra/detectors/hallucination.js +43 -0
- package/dist/extensions/lyra/detectors/hallucination.js.map +1 -0
- package/dist/extensions/lyra/detectors/identity-bleed.d.ts +2 -0
- package/dist/extensions/lyra/detectors/identity-bleed.js +91 -0
- package/dist/extensions/lyra/detectors/identity-bleed.js.map +1 -0
- package/dist/extensions/lyra/index.d.ts +2 -0
- package/dist/extensions/lyra/index.js +16 -0
- package/dist/extensions/lyra/index.js.map +1 -0
- package/dist/extensions/lyra/lyra-issue-types.d.ts +10 -0
- package/dist/extensions/lyra/lyra-issue-types.js +14 -0
- package/dist/extensions/lyra/lyra-issue-types.js.map +1 -0
- package/dist/index.d.ts +10 -0
- package/dist/index.js +276 -0
- package/dist/index.js.map +1 -0
- package/dist/trust-memory.d.ts +59 -0
- package/dist/trust-memory.js +122 -0
- package/dist/trust-memory.js.map +1 -0
- package/dist/types.d.ts +184 -0
- package/dist/types.js +61 -0
- package/dist/types.js.map +1 -0
- package/package.json +30 -0
- package/src/adapters/generic-llm-reviewer.ts +144 -0
- package/src/adapters/llm-reviewer.ts +1 -0
- package/src/adapters/minimax-llm-reviewer.ts +146 -0
- package/src/adapters/openai-provider.ts +171 -0
- package/src/cli.ts +199 -0
- package/src/detectors/artifact-classifier.ts +21 -0
- package/src/detectors/claim-extractor.ts +209 -0
- package/src/detectors/confidence-language-detector.ts +267 -0
- package/src/detectors/contradiction-detector.ts +180 -0
- package/src/detectors/criteria-coverage-detector.ts +107 -0
- package/src/detectors/evidence-checker.ts +98 -0
- package/src/detectors/evidence-gap-detector.ts +90 -0
- package/src/detectors/falsification-detector.ts +82 -0
- package/src/detectors/orphan-claim-detector.ts +62 -0
- package/src/detectors/risk-classifier.ts +50 -0
- package/src/detectors/spec-coverage-detector.ts +66 -0
- package/src/detectors/spec-coverage-validator.ts +174 -0
- package/src/detectors/test-weakness-detector.ts +84 -0
- package/src/drift/__tests__/baseline.test.ts +113 -0
- package/src/drift/__tests__/drift-db.test.ts +127 -0
- package/src/drift/__tests__/drift-guard.test.ts +169 -0
- package/src/drift/__tests__/embedder.test.ts +62 -0
- package/src/drift/__tests__/trust-integration.test.ts +23 -0
- package/src/drift/baseline.ts +106 -0
- package/src/drift/drift-db.ts +281 -0
- package/src/drift/drift-guard.ts +145 -0
- package/src/drift/embedder.ts +152 -0
- package/src/drift/index.ts +20 -0
- package/src/drift/quarantine.ts +42 -0
- package/src/drift/soft-correction.ts +45 -0
- package/src/drift/trust-integration.ts +28 -0
- package/src/engine/citation-verifier.ts +210 -0
- package/src/engine/extension-registry.ts +35 -0
- package/src/engine/heuristic-scorer.ts +16 -0
- package/src/engine/input-normalizer.ts +32 -0
- package/src/engine/plan-review-pipeline.ts +209 -0
- package/src/engine/policy-engine.ts +235 -0
- package/src/engine/verdict-formatter.ts +61 -0
- package/src/errors.ts +6 -0
- package/src/extensions/aria/aria-issue-types.ts +40 -0
- package/src/extensions/aria/detectors/axiom-compliance.ts +47 -0
- package/src/extensions/aria/detectors/continuity-claim.ts +42 -0
- package/src/extensions/aria/detectors/denial-retreat.ts +63 -0
- package/src/extensions/aria/detectors/identity-overclaim.ts +43 -0
- package/src/extensions/aria/detectors/sovereignty-escalation.ts +20 -0
- package/src/extensions/aria/detectors/user-bond-manipulation.ts +18 -0
- package/src/extensions/aria/index.ts +73 -0
- package/src/extensions/aria/pattern-memory.ts +86 -0
- package/src/extensions/context-guard/index.ts +65 -0
- package/src/extensions/lyra/detectors/hallucination.ts +53 -0
- package/src/extensions/lyra/detectors/identity-bleed.ts +100 -0
- package/src/extensions/lyra/index.ts +18 -0
- package/src/extensions/lyra/lyra-issue-types.ts +26 -0
- package/src/index.ts +311 -0
- package/src/trust-memory.ts +171 -0
- package/src/types.ts +242 -0
package/dist/cli.js
ADDED
|
@@ -0,0 +1,195 @@
|
|
|
1
|
+
#!/usr/bin/env node
|
|
2
|
+
import { Seal } from './index.js';
|
|
3
|
+
import { readFileSync, existsSync } from 'node:fs';
|
|
4
|
+
import { resolve } from 'node:path';
|
|
5
|
+
const BOLD = '\x1b[1m';
|
|
6
|
+
const DIM = '\x1b[2m';
|
|
7
|
+
const RED = '\x1b[31m';
|
|
8
|
+
const GREEN = '\x1b[32m';
|
|
9
|
+
const YELLOW = '\x1b[33m';
|
|
10
|
+
const CYAN = '\x1b[36m';
|
|
11
|
+
const RESET = '\x1b[0m';
|
|
12
|
+
function colorForVerdict(v) {
|
|
13
|
+
if (v === 'PASS')
|
|
14
|
+
return GREEN;
|
|
15
|
+
if (v === 'PASS_WITH_WARNINGS')
|
|
16
|
+
return YELLOW;
|
|
17
|
+
return RED;
|
|
18
|
+
}
|
|
19
|
+
function usage() {
|
|
20
|
+
console.log(`
|
|
21
|
+
${BOLD}seal${RESET} — AI quality gate
|
|
22
|
+
|
|
23
|
+
${BOLD}USAGE${RESET}
|
|
24
|
+
seal <command> [options]
|
|
25
|
+
|
|
26
|
+
${BOLD}COMMANDS${RESET}
|
|
27
|
+
${CYAN}code${RESET} <file> Review code output / diff (default mode)
|
|
28
|
+
${CYAN}plan${RESET} <file> Review plan, design, or spec (plan_review mode)
|
|
29
|
+
${CYAN}review${RESET} <file> Review with full control over artifact type
|
|
30
|
+
|
|
31
|
+
${BOLD}OPTIONS${RESET}
|
|
32
|
+
--spec <file> Spec file for compliance check
|
|
33
|
+
--locked-criteria <file> JSON file with locked acceptance criteria (plan_review)
|
|
34
|
+
--risk <level> Risk hint: low, medium, high, critical
|
|
35
|
+
--agent-id <id> Agent identifier for trust memory
|
|
36
|
+
--json Raw JSON output (no formatting)
|
|
37
|
+
--artifact-type <type> Override: llm_response, code_diff, test_plan, design, migration, plan_review
|
|
38
|
+
|
|
39
|
+
${BOLD}EXAMPLES${RESET}
|
|
40
|
+
${DIM}# Review a code change${RESET}
|
|
41
|
+
seal code src/auth.ts --spec specs/auth.md
|
|
42
|
+
|
|
43
|
+
${DIM}# Review a plan/spec against locked criteria${RESET}
|
|
44
|
+
seal plan spec.md --locked-criteria intent-criteria.json
|
|
45
|
+
|
|
46
|
+
${DIM}# Full control mode${RESET}
|
|
47
|
+
seal review output.md --artifact-type plan_review --locked-criteria criteria.json
|
|
48
|
+
`);
|
|
49
|
+
process.exit(2);
|
|
50
|
+
}
|
|
51
|
+
function parseArgs(args) {
|
|
52
|
+
const parsed = {};
|
|
53
|
+
let positional = [];
|
|
54
|
+
for (let i = 0; i < args.length; i++) {
|
|
55
|
+
if (args[i].startsWith('--')) {
|
|
56
|
+
const key = args[i].slice(2);
|
|
57
|
+
if (['json'].includes(key)) {
|
|
58
|
+
parsed[key] = true;
|
|
59
|
+
continue;
|
|
60
|
+
}
|
|
61
|
+
parsed[key] = args[++i] ?? '';
|
|
62
|
+
}
|
|
63
|
+
else {
|
|
64
|
+
positional.push(args[i]);
|
|
65
|
+
}
|
|
66
|
+
}
|
|
67
|
+
return { positional, parsed };
|
|
68
|
+
}
|
|
69
|
+
function formatVerdict(v, json) {
|
|
70
|
+
if (json) {
|
|
71
|
+
console.log(JSON.stringify(v, null, 2));
|
|
72
|
+
return;
|
|
73
|
+
}
|
|
74
|
+
const c = colorForVerdict(v.verdict);
|
|
75
|
+
const scoreBar = v.trust_score >= 90 ? '██████████' :
|
|
76
|
+
v.trust_score >= 70 ? '███████░░░' :
|
|
77
|
+
v.trust_score >= 50 ? '█████░░░░░' :
|
|
78
|
+
v.trust_score >= 30 ? '███░░░░░░░' : '█░░░░░░░░░';
|
|
79
|
+
console.log(`\n${BOLD}┌─ Seal Verdict ──────────────────────────────┐${RESET}`);
|
|
80
|
+
console.log(`${BOLD}│${RESET} ${c}${BOLD}${v.verdict}${RESET} ${DIM}(trust: ${v.trust_score})${RESET} ${scoreBar}`);
|
|
81
|
+
console.log(`${BOLD}│${RESET} Risk: ${v.risk_level}`);
|
|
82
|
+
console.log(`${BOLD}│${RESET} ${v.summary}`);
|
|
83
|
+
if (v.blocking_issues?.length > 0) {
|
|
84
|
+
console.log(`${BOLD}│${RESET}`);
|
|
85
|
+
console.log(`${BOLD}│${RESET} ${RED}${BOLD}Blocking Issues:${RESET}`);
|
|
86
|
+
for (const issue of v.blocking_issues) {
|
|
87
|
+
console.log(`${BOLD}│${RESET} ${RED}✗${RESET} [${issue.rule_id}] ${issue.evidence}`);
|
|
88
|
+
}
|
|
89
|
+
}
|
|
90
|
+
if (v.non_blocking_issues?.length > 0) {
|
|
91
|
+
console.log(`${BOLD}│${RESET}`);
|
|
92
|
+
console.log(`${BOLD}│${RESET} ${YELLOW}Non-blocking:${RESET}`);
|
|
93
|
+
for (const issue of v.non_blocking_issues) {
|
|
94
|
+
console.log(`${BOLD}│${RESET} ${YELLOW}⚠${RESET} [${issue.rule_id}] ${issue.evidence}`);
|
|
95
|
+
}
|
|
96
|
+
}
|
|
97
|
+
if (v.deterministic_findings?.length === 0 && v.blocking_issues?.length === 0) {
|
|
98
|
+
console.log(`${BOLD}│${RESET}`);
|
|
99
|
+
console.log(`${BOLD}│${RESET} ${GREEN}✓${RESET} No issues found`);
|
|
100
|
+
}
|
|
101
|
+
console.log(`${BOLD}│${RESET} ${DIM}Next: ${v.next_action}${RESET}`);
|
|
102
|
+
console.log(`${BOLD}└────────────────────────────────────────────┘${RESET}`);
|
|
103
|
+
}
|
|
104
|
+
async function run(args) {
|
|
105
|
+
const { positional, parsed } = parseArgs(args);
|
|
106
|
+
const cmd = positional[0];
|
|
107
|
+
if (!cmd || cmd === 'help' || cmd === '--help' || cmd === '-h')
|
|
108
|
+
usage();
|
|
109
|
+
let artifactFile = null;
|
|
110
|
+
let artifactType = 'llm_response';
|
|
111
|
+
let specFile = null;
|
|
112
|
+
let lockedCriteriaFile = null;
|
|
113
|
+
let riskHint = null;
|
|
114
|
+
let agentId = null;
|
|
115
|
+
let jsonOutput = !!parsed['json'];
|
|
116
|
+
switch (cmd) {
|
|
117
|
+
case 'code':
|
|
118
|
+
artifactFile = positional[1];
|
|
119
|
+
artifactType = 'code_diff';
|
|
120
|
+
break;
|
|
121
|
+
case 'plan':
|
|
122
|
+
case 'spec':
|
|
123
|
+
case 'design':
|
|
124
|
+
artifactFile = positional[1];
|
|
125
|
+
artifactType = 'plan_review';
|
|
126
|
+
break;
|
|
127
|
+
case 'review':
|
|
128
|
+
artifactFile = positional[1];
|
|
129
|
+
artifactType = parsed['artifact-type'] ?? 'llm_response';
|
|
130
|
+
break;
|
|
131
|
+
default:
|
|
132
|
+
// `seal <file>` shorthand — treat first arg as file
|
|
133
|
+
if (existsSync(cmd)) {
|
|
134
|
+
artifactFile = cmd;
|
|
135
|
+
artifactType = 'llm_response';
|
|
136
|
+
}
|
|
137
|
+
else {
|
|
138
|
+
console.error(`Unknown command or file not found: ${cmd}`);
|
|
139
|
+
usage();
|
|
140
|
+
}
|
|
141
|
+
}
|
|
142
|
+
if (!artifactFile) {
|
|
143
|
+
console.error('Error: no file specified');
|
|
144
|
+
usage();
|
|
145
|
+
}
|
|
146
|
+
const filePath = artifactFile;
|
|
147
|
+
if (!existsSync(filePath)) {
|
|
148
|
+
console.error(`Error: file not found: ${filePath}`);
|
|
149
|
+
process.exit(2);
|
|
150
|
+
}
|
|
151
|
+
// Resolve optional flags
|
|
152
|
+
if (parsed['spec']) {
|
|
153
|
+
specFile = parsed['spec'];
|
|
154
|
+
}
|
|
155
|
+
if (parsed['locked-criteria']) {
|
|
156
|
+
lockedCriteriaFile = parsed['locked-criteria'];
|
|
157
|
+
}
|
|
158
|
+
if (parsed['risk']) {
|
|
159
|
+
riskHint = parsed['risk'];
|
|
160
|
+
}
|
|
161
|
+
if (parsed['agent-id']) {
|
|
162
|
+
agentId = parsed['agent-id'];
|
|
163
|
+
}
|
|
164
|
+
// Load files
|
|
165
|
+
const output = readFileSync(resolve(filePath), 'utf-8');
|
|
166
|
+
const spec = specFile && existsSync(specFile) ? readFileSync(resolve(specFile), 'utf-8') : null;
|
|
167
|
+
const evidence = { test_log: '', build_log: '', diff: '', references: [] };
|
|
168
|
+
const lockedCriteria = lockedCriteriaFile && existsSync(lockedCriteriaFile)
|
|
169
|
+
? JSON.parse(readFileSync(resolve(lockedCriteriaFile), 'utf-8'))
|
|
170
|
+
: [];
|
|
171
|
+
const context = {};
|
|
172
|
+
if (agentId)
|
|
173
|
+
context.agent_id = agentId;
|
|
174
|
+
if (lockedCriteria.length > 0)
|
|
175
|
+
context.locked_criteria = lockedCriteria;
|
|
176
|
+
if (!jsonOutput) {
|
|
177
|
+
console.log(`${DIM}Seal reviewing ${artifactFile} (${artifactType})...${RESET}`);
|
|
178
|
+
}
|
|
179
|
+
const verdict = await Seal.review({
|
|
180
|
+
artifact_type: artifactType,
|
|
181
|
+
spec,
|
|
182
|
+
output,
|
|
183
|
+
evidence,
|
|
184
|
+
risk_hint: riskHint,
|
|
185
|
+
context: Object.keys(context).length > 0 ? context : undefined,
|
|
186
|
+
});
|
|
187
|
+
formatVerdict(verdict, jsonOutput);
|
|
188
|
+
const passing = verdict.verdict === 'PASS' || verdict.verdict === 'PASS_WITH_WARNINGS';
|
|
189
|
+
process.exit(passing ? 0 : 1);
|
|
190
|
+
}
|
|
191
|
+
run(process.argv.slice(2)).catch(err => {
|
|
192
|
+
console.error(`Error: ${err.message}`);
|
|
193
|
+
process.exit(1);
|
|
194
|
+
});
|
|
195
|
+
//# sourceMappingURL=cli.js.map
|
package/dist/cli.js.map
ADDED
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"cli.js","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":";AACA,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAA;AAEjC,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,SAAS,CAAA;AAClD,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAEnC,MAAM,IAAI,GAAG,SAAS,CAAA;AACtB,MAAM,GAAG,GAAG,SAAS,CAAA;AACrB,MAAM,GAAG,GAAG,UAAU,CAAA;AACtB,MAAM,KAAK,GAAG,UAAU,CAAA;AACxB,MAAM,MAAM,GAAG,UAAU,CAAA;AACzB,MAAM,IAAI,GAAG,UAAU,CAAA;AACvB,MAAM,KAAK,GAAG,SAAS,CAAA;AAEvB,SAAS,eAAe,CAAC,CAAS;IAChC,IAAI,CAAC,KAAK,MAAM;QAAE,OAAO,KAAK,CAAA;IAC9B,IAAI,CAAC,KAAK,oBAAoB;QAAE,OAAO,MAAM,CAAA;IAC7C,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,SAAS,KAAK;IACZ,OAAO,CAAC,GAAG,CAAC;EACZ,IAAI,OAAO,KAAK;;EAEhB,IAAI,QAAQ,KAAK;;;EAGjB,IAAI,WAAW,KAAK;IAClB,IAAI,OAAO,KAAK;IAChB,IAAI,OAAO,KAAK;IAChB,IAAI,SAAS,KAAK;;EAEpB,IAAI,UAAU,KAAK;;;;;;;;EAQnB,IAAI,WAAW,KAAK;IAClB,GAAG,yBAAyB,KAAK;;;IAGjC,GAAG,+CAA+C,KAAK;;;IAGvD,GAAG,sBAAsB,KAAK;;CAEjC,CAAC,CAAA;IACA,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;AACjB,CAAC;AAED,SAAS,SAAS,CAAC,IAAc;IAC/B,MAAM,MAAM,GAAqC,EAAE,CAAA;IACnD,IAAI,UAAU,GAAa,EAAE,CAAA;IAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;YAC5B,IAAI,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAC,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC;gBAAC,SAAQ;YAAC,CAAC;YAC5D,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAA;QAC/B,CAAC;aAAM,CAAC;YACN,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;QAC1B,CAAC;IACH,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,CAAA;AAC/B,CAAC;AAED,SAAS,aAAa,CAAC,CAAM,EAAE,IAAa;IAC1C,IAAI,IAAI,EAAE,CAAC;QACT,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;QACvC,OAAM;IACR,CAAC;IAED,MAAM,CAAC,GAAG,eAAe,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;IACpC,MAAM,QAAQ,GAAG,CAAC,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;QACpC,CAAC,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;YACpC,CAAC,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;gBACpC,CAAC,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,YAAY,CAAA;IAElE,OAAO,CAAC,GAAG,CAAC,KAAK,IAAI,kDAAkD,KAAK,EAAE,CAAC,CAAA;IAC/E,OAAO,CAAC,GAAG,CAAC,GAAG,IAAI,IAAI,KAAK,KAAK,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,GAAG,KAAK,KAAK,GAAG,WAAW,CAAC,CAAC,WAAW,IAAI,KAAK,KAAK,QAAQ,EAAE,CAAC,CAAA;IACtH,OAAO,CAAC,GAAG,CAAC,GAAG,IAAI,IAAI,KAAK,WAAW,CAAC,CAAC,UAAU,EAAE,CAAC,CAAA;IACtD,OAAO,CAAC,GAAG,CAAC,GAAG,IAAI,IAAI,KAAK,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAA;IAE7C,IAAI,CAAC,CAAC,eAAe,EAAE,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,OAAO,CAAC,GAAG,CAAC,GAAG,IAAI,IAAI,KAAK,EAAE,CAAC,CAAA;QAC/B,OAAO,CAAC,GAAG,CAAC,GAAG,IAAI,IAAI,KAAK,KAAK,GAAG,GAAG,IAAI,mBAAmB,KAAK,EAAE,CAAC,CAAA;QACtE,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,eAAe,EAAE,CAAC;YACtC,OAAO,CAAC,GAAG,CAAC,GAAG,IAAI,IAAI,KAAK,OAAO,GAAG,IAAI,KAAK,KAAK,KAAK,CAAC,OAAO,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAA;QACzF,CAAC;IACH,CAAC;IAED,IAAI,CAAC,CAAC,mBAAmB,EAAE,MAAM,GAAG,CAAC,EAAE,CAAC;QACtC,OAAO,CAAC,GAAG,CAAC,GAAG,IAAI,IAAI,KAAK,EAAE,CAAC,CAAA;QAC/B,OAAO,CAAC,GAAG,CAAC,GAAG,IAAI,IAAI,KAAK,KAAK,MAAM,gBAAgB,KAAK,EAAE,CAAC,CAAA;QAC/D,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,mBAAmB,EAAE,CAAC;YAC1C,OAAO,CAAC,GAAG,CAAC,GAAG,IAAI,IAAI,KAAK,OAAO,MAAM,IAAI,KAAK,KAAK,KAAK,CAAC,OAAO,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAA;QAC5F,CAAC;IACH,CAAC;IAED,IAAI,CAAC,CAAC,sBAAsB,EAAE,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,eAAe,EAAE,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9E,OAAO,CAAC,GAAG,CAAC,GAAG,IAAI,IAAI,KAAK,EAAE,CAAC,CAAA;QAC/B,OAAO,CAAC,GAAG,CAAC,GAAG,IAAI,IAAI,KAAK,KAAK,KAAK,IAAI,KAAK,kBAAkB,CAAC,CAAA;IACpE,CAAC;IAED,OAAO,CAAC,GAAG,CAAC,GAAG,IAAI,IAAI,KAAK,KAAK,GAAG,SAAS,CAAC,CAAC,WAAW,GAAG,KAAK,EAAE,CAAC,CAAA;IACrE,OAAO,CAAC,GAAG,CAAC,GAAG,IAAI,iDAAiD,KAAK,EAAE,CAAC,CAAA;AAC9E,CAAC;AAED,KAAK,UAAU,GAAG,CAAC,IAAc;IAC/B,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,CAAA;IAC9C,MAAM,GAAG,GAAG,UAAU,CAAC,CAAC,CAAC,CAAA;IAEzB,IAAI,CAAC,GAAG,IAAI,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI;QAAE,KAAK,EAAE,CAAA;IAEvE,IAAI,YAAY,GAAkB,IAAI,CAAA;IACtC,IAAI,YAAY,GAAiB,cAAc,CAAA;IAC/C,IAAI,QAAQ,GAAkB,IAAI,CAAA;IAClC,IAAI,kBAAkB,GAAkB,IAAI,CAAA;IAC5C,IAAI,QAAQ,GAAqB,IAAI,CAAA;IACrC,IAAI,OAAO,GAAkB,IAAI,CAAA;IACjC,IAAI,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IAEjC,QAAQ,GAAG,EAAE,CAAC;QACZ,KAAK,MAAM;YACT,YAAY,GAAG,UAAU,CAAC,CAAC,CAAC,CAAA;YAC5B,YAAY,GAAG,WAAW,CAAA;YAC1B,MAAK;QACP,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM,CAAC;QACZ,KAAK,QAAQ;YACX,YAAY,GAAG,UAAU,CAAC,CAAC,CAAC,CAAA;YAC5B,YAAY,GAAG,aAAa,CAAA;YAC5B,MAAK;QACP,KAAK,QAAQ;YACX,YAAY,GAAG,UAAU,CAAC,CAAC,CAAC,CAAA;YAC5B,YAAY,GAAI,MAAM,CAAC,eAAe,CAAkB,IAAI,cAAc,CAAA;YAC1E,MAAK;QACP;YACE,oDAAoD;YACpD,IAAI,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBACpB,YAAY,GAAG,GAAG,CAAA;gBAClB,YAAY,GAAG,cAAc,CAAA;YAC/B,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,KAAK,CAAC,sCAAsC,GAAG,EAAE,CAAC,CAAA;gBAC1D,KAAK,EAAE,CAAA;YACT,CAAC;IACL,CAAC;IAED,IAAI,CAAC,YAAY,EAAE,CAAC;QAAC,OAAO,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC;QAAC,KAAK,EAAE,CAAA;IAAC,CAAC;IAEzE,MAAM,QAAQ,GAAG,YAAsB,CAAA;IACvC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC1B,OAAO,CAAC,KAAK,CAAC,0BAA0B,QAAQ,EAAE,CAAC,CAAA;QACnD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IACjB,CAAC;IAED,yBAAyB;IACzB,IAAI,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QAAC,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAW,CAAA;IAAC,CAAC;IAC3D,IAAI,MAAM,CAAC,iBAAiB,CAAC,EAAE,CAAC;QAAC,kBAAkB,GAAG,MAAM,CAAC,iBAAiB,CAAW,CAAA;IAAC,CAAC;IAC3F,IAAI,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QAAC,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAc,CAAA;IAAC,CAAC;IAC9D,IAAI,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;QAAC,OAAO,GAAG,MAAM,CAAC,UAAU,CAAW,CAAA;IAAC,CAAC;IAClE,aAAa;IACb,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,CAAA;IACvD,MAAM,IAAI,GAAG,QAAQ,IAAI,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;IAC/F,MAAM,QAAQ,GAAG,EAAE,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,CAAA;IAE1E,MAAM,cAAc,GAAG,kBAAkB,IAAI,UAAU,CAAC,kBAAkB,CAAC;QACzE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,OAAO,CAAC,kBAAkB,CAAC,EAAE,OAAO,CAAC,CAAC;QAChE,CAAC,CAAC,EAAE,CAAA;IAEN,MAAM,OAAO,GAA4B,EAAE,CAAA;IAC3C,IAAI,OAAO;QAAE,OAAO,CAAC,QAAQ,GAAG,OAAO,CAAA;IACvC,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,CAAC,eAAe,GAAG,cAAc,CAAA;IAEvE,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,CAAC,GAAG,CAAC,GAAG,GAAG,kBAAkB,YAAY,KAAK,YAAY,OAAO,KAAK,EAAE,CAAC,CAAA;IAClF,CAAC;IAED,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC;QAChC,aAAa,EAAE,YAAY;QAC3B,IAAI;QACJ,MAAM;QACN,QAAQ;QACR,SAAS,EAAE,QAAQ;QACnB,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;KAC/D,CAAC,CAAA;IAEF,aAAa,CAAC,OAAO,EAAE,UAAU,CAAC,CAAA;IAElC,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,KAAK,MAAM,IAAI,OAAO,CAAC,OAAO,KAAK,oBAAoB,CAAA;IACtF,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AAC/B,CAAC;AAED,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE;IACrC,OAAO,CAAC,KAAK,CAAC,UAAU,GAAG,CAAC,OAAO,EAAE,CAAC,CAAA;IACtC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;AACjB,CAAC,CAAC,CAAA"}
|
|
@@ -0,0 +1,14 @@
|
|
|
1
|
+
const RULE_ACTIVATIONS = {
|
|
2
|
+
migration: ['AX503', 'TW201'],
|
|
3
|
+
code_diff: ['TW201', 'TW203'],
|
|
4
|
+
test_plan: ['TW202'],
|
|
5
|
+
llm_response: ['TW201'],
|
|
6
|
+
design: [],
|
|
7
|
+
plan_review: ['PR001', 'PR002', 'PR003', 'PR004'],
|
|
8
|
+
};
|
|
9
|
+
export class ArtifactClassifier {
|
|
10
|
+
static classify(artifact_type) {
|
|
11
|
+
return { artifact_type, activates: RULE_ACTIVATIONS[artifact_type] ?? [] };
|
|
12
|
+
}
|
|
13
|
+
}
|
|
14
|
+
//# sourceMappingURL=artifact-classifier.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"artifact-classifier.js","sourceRoot":"","sources":["../../src/detectors/artifact-classifier.ts"],"names":[],"mappings":"AAOA,MAAM,gBAAgB,GAAmC;IACvD,SAAS,EAAK,CAAC,OAAO,EAAE,OAAO,CAAC;IAChC,SAAS,EAAK,CAAC,OAAO,EAAE,OAAO,CAAC;IAChC,SAAS,EAAK,CAAC,OAAO,CAAC;IACvB,YAAY,EAAE,CAAC,OAAO,CAAC;IACvB,MAAM,EAAQ,EAAE;IAChB,WAAW,EAAG,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC;CACnD,CAAA;AAED,MAAM,OAAO,kBAAkB;IAC7B,MAAM,CAAC,QAAQ,CAAC,aAA2B;QACzC,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,gBAAgB,CAAC,aAAa,CAAC,IAAI,EAAE,EAAE,CAAA;IAC5E,CAAC;CACF"}
|
|
@@ -0,0 +1,11 @@
|
|
|
1
|
+
import { Claim, StructuralClaim } from '../types.js';
|
|
2
|
+
export declare class ClaimExtractor {
|
|
3
|
+
/** Extract behavioral claims from output text */
|
|
4
|
+
static extract(text: string): Claim[];
|
|
5
|
+
static getUsedSpans(claims: Claim[]): Set<string>;
|
|
6
|
+
/**
|
|
7
|
+
* Extract structural claims from a code diff.
|
|
8
|
+
* The diff should be in unified diff format (git diff output or similar).
|
|
9
|
+
*/
|
|
10
|
+
static extractStructural(diff: string): StructuralClaim[];
|
|
11
|
+
}
|
|
@@ -0,0 +1,194 @@
|
|
|
1
|
+
const CLAIM_PATTERNS = [
|
|
2
|
+
{ type: 'test_result_claim', pattern: /\b(all tests? pass(?:ed)?|tests? pass(?:ed)?|verified|tested)\b/gi },
|
|
3
|
+
{ type: 'implementation_claim', pattern: /\b(implemented|fixed|completed|resolved|built|deployed)\b/gi },
|
|
4
|
+
{ type: 'compatibility_claim', pattern: /\b(backward.?compatible|no breaking changes|fully compatible)\b/gi },
|
|
5
|
+
{ type: 'risk_claim', pattern: /\b(no security impact|safe|secure|no risk)\b/gi },
|
|
6
|
+
{ type: 'build_claim', pattern: /\b(build succeeded|compiled|build pass(?:ed)?|build is (?:clean|green))\b/gi },
|
|
7
|
+
{ type: 'production_claim', pattern: /\b(production.?ready|ready for (?:production|deploy|release))\b/gi },
|
|
8
|
+
{ type: 'generic_claim', pattern: /\b(definitely|guaranteed|fully|completely|all good|no issues)\b/gi },
|
|
9
|
+
];
|
|
10
|
+
/**
|
|
11
|
+
* Structural patterns for extracting claims from code diffs.
|
|
12
|
+
* Each pattern targets a specific structural concern.
|
|
13
|
+
*/
|
|
14
|
+
const STRUCTURAL_PATTERNS = [
|
|
15
|
+
// HTTP endpoint detection (Express/Fastify, NestJS, Hono, Python Flask/FastAPI, Go Gin)
|
|
16
|
+
{
|
|
17
|
+
type: 'structural_endpoint',
|
|
18
|
+
detect: /(?:app|router|route|server)\.(?:get|post|put|delete|patch|all)\(['"`](\/[^'"`]+)['"`]/gi,
|
|
19
|
+
extract: (match, lineNum) => ({
|
|
20
|
+
type: 'structural_endpoint',
|
|
21
|
+
target: match[1],
|
|
22
|
+
line: lineNum,
|
|
23
|
+
description: `HTTP endpoint: ${match[1]}`,
|
|
24
|
+
change_type: 'added',
|
|
25
|
+
}),
|
|
26
|
+
},
|
|
27
|
+
// Decorator-based endpoints (NestJS, Spring, FastAPI)
|
|
28
|
+
{
|
|
29
|
+
type: 'structural_endpoint',
|
|
30
|
+
detect: /@(?:Get|Post|Put|Delete|Patch)\(['"`]?(\/[^'"`) ]*)?['"`]?\)/gi,
|
|
31
|
+
extract: (match, lineNum) => ({
|
|
32
|
+
type: 'structural_endpoint',
|
|
33
|
+
target: match[1] || '/',
|
|
34
|
+
line: lineNum,
|
|
35
|
+
description: `Decorator endpoint: ${match[1] || '/'}`,
|
|
36
|
+
change_type: 'added',
|
|
37
|
+
}),
|
|
38
|
+
},
|
|
39
|
+
// Auth-related changes — match auth, guard, middleware constructs
|
|
40
|
+
{
|
|
41
|
+
type: 'structural_auth',
|
|
42
|
+
detect: /(?:@Authenticated|@Authorize|requireAuth|ensureAuth|authenticate|authorize)\b|\b(auth|guard)\b/gi,
|
|
43
|
+
extract: (match, lineNum) => ({
|
|
44
|
+
type: 'structural_auth',
|
|
45
|
+
target: match[0],
|
|
46
|
+
line: lineNum,
|
|
47
|
+
description: `Auth construct: ${match[0]}`,
|
|
48
|
+
change_type: 'modified',
|
|
49
|
+
}),
|
|
50
|
+
},
|
|
51
|
+
// Database migrations — SQL + ORM-based (createTable, create_table)
|
|
52
|
+
{
|
|
53
|
+
type: 'structural_migration',
|
|
54
|
+
detect: /\b(CREATE\s+TABLE|ALTER\s+TABLE|DROP\s+TABLE|migration.*\.[a-z]+|schema\.php|createTable|create_table)\b/gi,
|
|
55
|
+
extract: (match, lineNum, diff) => {
|
|
56
|
+
const lines = diff.split('\n');
|
|
57
|
+
const context = lines.slice(Math.max(0, lineNum - 3), lineNum + 2).join('\n');
|
|
58
|
+
const hasRollback = /\b(rollback|down\s+migration|revert)\b/i.test(context);
|
|
59
|
+
return {
|
|
60
|
+
type: 'structural_migration',
|
|
61
|
+
target: match[0],
|
|
62
|
+
line: lineNum,
|
|
63
|
+
description: `Migration: ${match[0]}`,
|
|
64
|
+
has_rollback: hasRollback,
|
|
65
|
+
change_type: 'added',
|
|
66
|
+
};
|
|
67
|
+
},
|
|
68
|
+
},
|
|
69
|
+
// Dependency manifest changes
|
|
70
|
+
{
|
|
71
|
+
type: 'structural_dependency',
|
|
72
|
+
detect: /^[+-]\s+(['"`]?@?\w[^'"]*['"`]?\s*:\s*['"`]?\^?[\d.]+['"`]?)/gm,
|
|
73
|
+
extract: (match, lineNum, diff) => {
|
|
74
|
+
const isAdded = match[0].startsWith('+');
|
|
75
|
+
return {
|
|
76
|
+
type: 'structural_dependency',
|
|
77
|
+
target: match[1]?.trim() || match[0].trim(),
|
|
78
|
+
line: lineNum,
|
|
79
|
+
description: `Dependency ${isAdded ? 'added' : 'removed'}: ${match[1]?.trim() || ''}`,
|
|
80
|
+
change_type: isAdded ? 'added' : 'removed',
|
|
81
|
+
};
|
|
82
|
+
},
|
|
83
|
+
},
|
|
84
|
+
];
|
|
85
|
+
function stripCodeFences(text) {
|
|
86
|
+
const fenceRanges = [];
|
|
87
|
+
const blockFence = /```[\s\S]*?```/g;
|
|
88
|
+
let match;
|
|
89
|
+
while ((match = blockFence.exec(text)) !== null) {
|
|
90
|
+
fenceRanges.push([match.index, match.index + match[0].length]);
|
|
91
|
+
}
|
|
92
|
+
const inlineFence = /`[^`\n]+`/g;
|
|
93
|
+
while ((match = inlineFence.exec(text)) !== null) {
|
|
94
|
+
fenceRanges.push([match.index, match.index + match[0].length]);
|
|
95
|
+
}
|
|
96
|
+
return { stripped: text, fenceRanges };
|
|
97
|
+
}
|
|
98
|
+
function isInFence(pos, fenceRanges) {
|
|
99
|
+
return fenceRanges.some(([start, end]) => pos >= start && pos < end);
|
|
100
|
+
}
|
|
101
|
+
function getLineNumber(text, pos) {
|
|
102
|
+
return text.slice(0, pos).split('\n').length;
|
|
103
|
+
}
|
|
104
|
+
export class ClaimExtractor {
|
|
105
|
+
/** Extract behavioral claims from output text */
|
|
106
|
+
static extract(text) {
|
|
107
|
+
const { fenceRanges } = stripCodeFences(text);
|
|
108
|
+
const usedSpans = new Set();
|
|
109
|
+
const claims = [];
|
|
110
|
+
for (const { type, pattern } of CLAIM_PATTERNS) {
|
|
111
|
+
pattern.lastIndex = 0;
|
|
112
|
+
let match;
|
|
113
|
+
while ((match = pattern.exec(text)) !== null) {
|
|
114
|
+
const start = match.index;
|
|
115
|
+
const end = match.index + match[0].length;
|
|
116
|
+
const spanKey = `${start}-${end}`;
|
|
117
|
+
if (isInFence(start, fenceRanges))
|
|
118
|
+
continue;
|
|
119
|
+
if (usedSpans.has(spanKey))
|
|
120
|
+
continue;
|
|
121
|
+
let overlaps = false;
|
|
122
|
+
for (const span of usedSpans) {
|
|
123
|
+
const [s, e] = span.split('-').map(Number);
|
|
124
|
+
if (start < (e ?? 0) && end > (s ?? 0)) {
|
|
125
|
+
overlaps = true;
|
|
126
|
+
break;
|
|
127
|
+
}
|
|
128
|
+
}
|
|
129
|
+
if (overlaps)
|
|
130
|
+
continue;
|
|
131
|
+
usedSpans.add(spanKey);
|
|
132
|
+
claims.push({ text: match[0], type, start_pos: start, end_pos: end, requires_evidence: true });
|
|
133
|
+
}
|
|
134
|
+
}
|
|
135
|
+
return claims.sort((a, b) => a.start_pos - b.start_pos);
|
|
136
|
+
}
|
|
137
|
+
static getUsedSpans(claims) {
|
|
138
|
+
return new Set(claims.map(c => `${c.start_pos}-${c.end_pos}`));
|
|
139
|
+
}
|
|
140
|
+
/**
|
|
141
|
+
* Extract structural claims from a code diff.
|
|
142
|
+
* The diff should be in unified diff format (git diff output or similar).
|
|
143
|
+
*/
|
|
144
|
+
static extractStructural(diff) {
|
|
145
|
+
if (!diff || diff.trim() === '')
|
|
146
|
+
return [];
|
|
147
|
+
const claims = [];
|
|
148
|
+
const lines = diff.split('\n');
|
|
149
|
+
// If it looks like a git diff, only scan added/modified lines
|
|
150
|
+
const isGitDiff = diff.includes('diff --git') || diff.includes('--- a/');
|
|
151
|
+
const contentLines = [];
|
|
152
|
+
if (isGitDiff) {
|
|
153
|
+
let currentLine = 0;
|
|
154
|
+
for (const line of lines) {
|
|
155
|
+
currentLine++;
|
|
156
|
+
// Only scan added/modified lines (starting with +) and context/diff headers
|
|
157
|
+
if (line.startsWith('+')) {
|
|
158
|
+
contentLines.push({ text: line.slice(1), lineNum: currentLine });
|
|
159
|
+
}
|
|
160
|
+
// Also check diff headers for file names (package.json, migrations, etc.)
|
|
161
|
+
if (line.startsWith('diff --git')) {
|
|
162
|
+
contentLines.push({ text: line, lineNum: currentLine });
|
|
163
|
+
}
|
|
164
|
+
// Check for migration files in diff headers
|
|
165
|
+
if (line.startsWith('+++ b/') || line.startsWith('--- a/')) {
|
|
166
|
+
contentLines.push({ text: line, lineNum: currentLine });
|
|
167
|
+
}
|
|
168
|
+
}
|
|
169
|
+
}
|
|
170
|
+
else {
|
|
171
|
+
// Plain text — use all lines
|
|
172
|
+
lines.forEach((text, i) => contentLines.push({ text, lineNum: i + 1 }));
|
|
173
|
+
}
|
|
174
|
+
// Scan for structural patterns
|
|
175
|
+
for (const { type, detect, extract } of STRUCTURAL_PATTERNS) {
|
|
176
|
+
detect.lastIndex = 0;
|
|
177
|
+
const singleContent = contentLines.map(l => l.text).join('\n');
|
|
178
|
+
let match;
|
|
179
|
+
while ((match = detect.exec(singleContent)) !== null) {
|
|
180
|
+
const matchLineNum = getLineNumber(singleContent, match.index);
|
|
181
|
+
// Find the closest content line
|
|
182
|
+
const contentLine = contentLines.find(l => l.lineNum >= matchLineNum) ?? contentLines[contentLines.length - 1];
|
|
183
|
+
if (!contentLine)
|
|
184
|
+
continue;
|
|
185
|
+
const claim = extract(match, contentLine.lineNum, singleContent);
|
|
186
|
+
if (claim && !claims.some(c => c.type === claim.type && c.target === claim.target && c.line === claim.line)) {
|
|
187
|
+
claims.push(claim);
|
|
188
|
+
}
|
|
189
|
+
}
|
|
190
|
+
}
|
|
191
|
+
return claims;
|
|
192
|
+
}
|
|
193
|
+
}
|
|
194
|
+
//# sourceMappingURL=claim-extractor.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"claim-extractor.js","sourceRoot":"","sources":["../../src/detectors/claim-extractor.ts"],"names":[],"mappings":"AAEA,MAAM,cAAc,GAAgD;IAClE,EAAE,IAAI,EAAE,mBAAmB,EAAK,OAAO,EAAE,mEAAmE,EAAE;IAC9G,EAAE,IAAI,EAAE,sBAAsB,EAAE,OAAO,EAAE,6DAA6D,EAAE;IACxG,EAAE,IAAI,EAAE,qBAAqB,EAAG,OAAO,EAAE,mEAAmE,EAAE;IAC9G,EAAE,IAAI,EAAE,YAAY,EAAY,OAAO,EAAE,gDAAgD,EAAE;IAC3F,EAAE,IAAI,EAAE,aAAa,EAAW,OAAO,EAAE,6EAA6E,EAAE;IACxH,EAAE,IAAI,EAAE,kBAAkB,EAAM,OAAO,EAAE,mEAAmE,EAAE;IAC9G,EAAE,IAAI,EAAE,eAAe,EAAS,OAAO,EAAE,mEAAmE,EAAE;CAC/G,CAAA;AAED;;;GAGG;AACH,MAAM,mBAAmB,GAIpB;IACH,wFAAwF;IACxF;QACE,IAAI,EAAE,qBAAqB;QAC3B,MAAM,EAAE,yFAAyF;QACjG,OAAO,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;YAC5B,IAAI,EAAE,qBAA4C;YAClD,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;YAChB,IAAI,EAAE,OAAO;YACb,WAAW,EAAE,kBAAkB,KAAK,CAAC,CAAC,CAAC,EAAE;YACzC,WAAW,EAAE,OAAO;SACrB,CAAC;KACH;IACD,sDAAsD;IACtD;QACE,IAAI,EAAE,qBAAqB;QAC3B,MAAM,EAAE,gEAAgE;QACxE,OAAO,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;YAC5B,IAAI,EAAE,qBAA4C;YAClD,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG;YACvB,IAAI,EAAE,OAAO;YACb,WAAW,EAAE,uBAAuB,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE;YACrD,WAAW,EAAE,OAAO;SACrB,CAAC;KACH;IACD,kEAAkE;IAClE;QACE,IAAI,EAAE,iBAAiB;QACvB,MAAM,EAAE,kGAAkG;QAC1G,OAAO,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;YAC5B,IAAI,EAAE,iBAAwC;YAC9C,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;YAChB,IAAI,EAAE,OAAO;YACb,WAAW,EAAE,mBAAmB,KAAK,CAAC,CAAC,CAAC,EAAE;YAC1C,WAAW,EAAE,UAAU;SACxB,CAAC;KACH;IACD,oEAAoE;IACpE;QACE,IAAI,EAAE,sBAAsB;QAC5B,MAAM,EAAE,4GAA4G;QACpH,OAAO,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE;YAChC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;YAC9B,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAC7E,MAAM,WAAW,GAAG,yCAAyC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;YAC3E,OAAO;gBACL,IAAI,EAAE,sBAA6C;gBACnD,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;gBAChB,IAAI,EAAE,OAAO;gBACb,WAAW,EAAE,cAAc,KAAK,CAAC,CAAC,CAAC,EAAE;gBACrC,YAAY,EAAE,WAAW;gBACzB,WAAW,EAAE,OAAO;aACrB,CAAA;QACH,CAAC;KACF;IACD,8BAA8B;IAC9B;QACE,IAAI,EAAE,uBAAuB;QAC7B,MAAM,EAAE,gEAAgE;QACxE,OAAO,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE;YAChC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAA;YACxC,OAAO;gBACL,IAAI,EAAE,uBAA8C;gBACpD,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;gBAC3C,IAAI,EAAE,OAAO;gBACb,WAAW,EAAE,cAAc,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE;gBACrF,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;aAC3C,CAAA;QACH,CAAC;KACF;CACF,CAAA;AAED,SAAS,eAAe,CAAC,IAAY;IACnC,MAAM,WAAW,GAA4B,EAAE,CAAA;IAC/C,MAAM,UAAU,GAAG,iBAAiB,CAAA;IACpC,IAAI,KAA6B,CAAA;IACjC,OAAO,CAAC,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QAChD,WAAW,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAA;IAChE,CAAC;IACD,MAAM,WAAW,GAAG,YAAY,CAAA;IAChC,OAAO,CAAC,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QACjD,WAAW,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAA;IAChE,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,CAAA;AACxC,CAAC;AAED,SAAS,SAAS,CAAC,GAAW,EAAE,WAAoC;IAClE,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,KAAK,IAAI,GAAG,GAAG,GAAG,CAAC,CAAA;AACtE,CAAC;AAED,SAAS,aAAa,CAAC,IAAY,EAAE,GAAW;IAC9C,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAA;AAC9C,CAAC;AAED,MAAM,OAAO,cAAc;IACzB,iDAAiD;IACjD,MAAM,CAAC,OAAO,CAAC,IAAY;QACzB,MAAM,EAAE,WAAW,EAAE,GAAG,eAAe,CAAC,IAAI,CAAC,CAAA;QAC7C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAA;QACnC,MAAM,MAAM,GAAY,EAAE,CAAA;QAE1B,KAAK,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,cAAc,EAAE,CAAC;YAC/C,OAAO,CAAC,SAAS,GAAG,CAAC,CAAA;YACrB,IAAI,KAA6B,CAAA;YACjC,OAAO,CAAC,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;gBAC7C,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAA;gBACzB,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAA;gBACzC,MAAM,OAAO,GAAG,GAAG,KAAK,IAAI,GAAG,EAAE,CAAA;gBAEjC,IAAI,SAAS,CAAC,KAAK,EAAE,WAAW,CAAC;oBAAE,SAAQ;gBAC3C,IAAI,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC;oBAAE,SAAQ;gBAEpC,IAAI,QAAQ,GAAG,KAAK,CAAA;gBACpB,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;oBAC7B,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;oBAC1C,IAAI,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;wBAAC,QAAQ,GAAG,IAAI,CAAC;wBAAC,MAAK;oBAAC,CAAC;gBACpE,CAAC;gBACD,IAAI,QAAQ;oBAAE,SAAQ;gBAEtB,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;gBACtB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,CAAA;YAChG,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,CAAA;IACzD,CAAC;IAED,MAAM,CAAC,YAAY,CAAC,MAAe;QACjC,OAAO,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAA;IAChE,CAAC;IAED;;;OAGG;IACH,MAAM,CAAC,iBAAiB,CAAC,IAAY;QACnC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE;YAAE,OAAO,EAAE,CAAA;QAE1C,MAAM,MAAM,GAAsB,EAAE,CAAA;QACpC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QAE9B,8DAA8D;QAC9D,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAA;QACxE,MAAM,YAAY,GAA6C,EAAE,CAAA;QAEjE,IAAI,SAAS,EAAE,CAAC;YACd,IAAI,WAAW,GAAG,CAAC,CAAA;YACnB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,WAAW,EAAE,CAAA;gBACb,4EAA4E;gBAC5E,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;oBACzB,YAAY,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,CAAA;gBAClE,CAAC;gBACD,0EAA0E;gBAC1E,IAAI,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;oBAClC,YAAY,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,CAAA;gBACzD,CAAC;gBACD,4CAA4C;gBAC5C,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAC3D,YAAY,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,CAAA;gBACzD,CAAC;YACH,CAAC;QACH,CAAC;aAAM,CAAC;YACN,6BAA6B;YAC7B,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;QACzE,CAAC;QAED,+BAA+B;QAC/B,KAAK,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,mBAAmB,EAAE,CAAC;YAC5D,MAAM,CAAC,SAAS,GAAG,CAAC,CAAA;YACpB,MAAM,aAAa,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAE9D,IAAI,KAA6B,CAAA;YACjC,OAAO,CAAC,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;gBACrD,MAAM,YAAY,GAAG,aAAa,CAAC,aAAa,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;gBAC9D,gCAAgC;gBAChC,MAAM,WAAW,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,IAAI,YAAY,CAAC,IAAI,YAAY,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;gBAC9G,IAAI,CAAC,WAAW;oBAAE,SAAQ;gBAE1B,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,EAAE,WAAW,CAAC,OAAO,EAAE,aAAa,CAAC,CAAA;gBAChE,IAAI,KAAK,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC5G,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;gBACpB,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAA;IACf,CAAC;CACF"}
|
|
@@ -0,0 +1,19 @@
|
|
|
1
|
+
import { SealIssue, RiskLevel, SealEvidence, StructuralClaim } from '../types.js';
|
|
2
|
+
export interface ConfidenceLangResult {
|
|
3
|
+
issues: SealIssue[];
|
|
4
|
+
trust_deductions: number;
|
|
5
|
+
advisory_notes: string[];
|
|
6
|
+
matched_groups: Array<{
|
|
7
|
+
group: string;
|
|
8
|
+
phrase: string;
|
|
9
|
+
}>;
|
|
10
|
+
}
|
|
11
|
+
export declare class ConfidenceLanguageDetector {
|
|
12
|
+
static detect(params: {
|
|
13
|
+
output: string;
|
|
14
|
+
risk_level: RiskLevel;
|
|
15
|
+
evidence: SealEvidence;
|
|
16
|
+
deduped_spans: Set<string>;
|
|
17
|
+
structural_claims?: StructuralClaim[];
|
|
18
|
+
}): ConfidenceLangResult;
|
|
19
|
+
}
|