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.
Files changed (210) hide show
  1. package/dist/adapters/generic-llm-reviewer.d.ts +39 -0
  2. package/dist/adapters/generic-llm-reviewer.js +118 -0
  3. package/dist/adapters/generic-llm-reviewer.js.map +1 -0
  4. package/dist/adapters/llm-reviewer.d.ts +1 -0
  5. package/dist/adapters/llm-reviewer.js +2 -0
  6. package/dist/adapters/llm-reviewer.js.map +1 -0
  7. package/dist/adapters/minimax-llm-reviewer.d.ts +22 -0
  8. package/dist/adapters/minimax-llm-reviewer.js +126 -0
  9. package/dist/adapters/minimax-llm-reviewer.js.map +1 -0
  10. package/dist/adapters/openai-provider.d.ts +35 -0
  11. package/dist/adapters/openai-provider.js +136 -0
  12. package/dist/adapters/openai-provider.js.map +1 -0
  13. package/dist/cli.d.ts +2 -0
  14. package/dist/cli.js +195 -0
  15. package/dist/cli.js.map +1 -0
  16. package/dist/detectors/artifact-classifier.d.ts +8 -0
  17. package/dist/detectors/artifact-classifier.js +14 -0
  18. package/dist/detectors/artifact-classifier.js.map +1 -0
  19. package/dist/detectors/claim-extractor.d.ts +11 -0
  20. package/dist/detectors/claim-extractor.js +194 -0
  21. package/dist/detectors/claim-extractor.js.map +1 -0
  22. package/dist/detectors/confidence-language-detector.d.ts +19 -0
  23. package/dist/detectors/confidence-language-detector.js +226 -0
  24. package/dist/detectors/confidence-language-detector.js.map +1 -0
  25. package/dist/detectors/contradiction-detector.d.ts +12 -0
  26. package/dist/detectors/contradiction-detector.js +153 -0
  27. package/dist/detectors/contradiction-detector.js.map +1 -0
  28. package/dist/detectors/criteria-coverage-detector.d.ts +20 -0
  29. package/dist/detectors/criteria-coverage-detector.js +79 -0
  30. package/dist/detectors/criteria-coverage-detector.js.map +1 -0
  31. package/dist/detectors/evidence-checker.d.ts +8 -0
  32. package/dist/detectors/evidence-checker.js +89 -0
  33. package/dist/detectors/evidence-checker.js.map +1 -0
  34. package/dist/detectors/evidence-gap-detector.d.ts +9 -0
  35. package/dist/detectors/evidence-gap-detector.js +70 -0
  36. package/dist/detectors/evidence-gap-detector.js.map +1 -0
  37. package/dist/detectors/falsification-detector.d.ts +29 -0
  38. package/dist/detectors/falsification-detector.js +57 -0
  39. package/dist/detectors/falsification-detector.js.map +1 -0
  40. package/dist/detectors/orphan-claim-detector.d.ts +7 -0
  41. package/dist/detectors/orphan-claim-detector.js +53 -0
  42. package/dist/detectors/orphan-claim-detector.js.map +1 -0
  43. package/dist/detectors/risk-classifier.d.ts +13 -0
  44. package/dist/detectors/risk-classifier.js +39 -0
  45. package/dist/detectors/risk-classifier.js.map +1 -0
  46. package/dist/detectors/spec-coverage-detector.d.ts +9 -0
  47. package/dist/detectors/spec-coverage-detector.js +52 -0
  48. package/dist/detectors/spec-coverage-detector.js.map +1 -0
  49. package/dist/detectors/spec-coverage-validator.d.ts +21 -0
  50. package/dist/detectors/spec-coverage-validator.js +141 -0
  51. package/dist/detectors/spec-coverage-validator.js.map +1 -0
  52. package/dist/detectors/test-weakness-detector.d.ts +13 -0
  53. package/dist/detectors/test-weakness-detector.js +66 -0
  54. package/dist/detectors/test-weakness-detector.js.map +1 -0
  55. package/dist/drift/baseline.d.ts +35 -0
  56. package/dist/drift/baseline.js +77 -0
  57. package/dist/drift/baseline.js.map +1 -0
  58. package/dist/drift/drift-db.d.ts +80 -0
  59. package/dist/drift/drift-db.js +151 -0
  60. package/dist/drift/drift-db.js.map +1 -0
  61. package/dist/drift/drift-guard.d.ts +46 -0
  62. package/dist/drift/drift-guard.js +106 -0
  63. package/dist/drift/drift-guard.js.map +1 -0
  64. package/dist/drift/embedder.d.ts +27 -0
  65. package/dist/drift/embedder.js +127 -0
  66. package/dist/drift/embedder.js.map +1 -0
  67. package/dist/drift/index.d.ts +9 -0
  68. package/dist/drift/index.js +8 -0
  69. package/dist/drift/index.js.map +1 -0
  70. package/dist/drift/quarantine.d.ts +16 -0
  71. package/dist/drift/quarantine.js +32 -0
  72. package/dist/drift/quarantine.js.map +1 -0
  73. package/dist/drift/soft-correction.d.ts +12 -0
  74. package/dist/drift/soft-correction.js +32 -0
  75. package/dist/drift/soft-correction.js.map +1 -0
  76. package/dist/drift/trust-integration.d.ts +11 -0
  77. package/dist/drift/trust-integration.js +22 -0
  78. package/dist/drift/trust-integration.js.map +1 -0
  79. package/dist/engine/citation-verifier.d.ts +59 -0
  80. package/dist/engine/citation-verifier.js +147 -0
  81. package/dist/engine/citation-verifier.js.map +1 -0
  82. package/dist/engine/extension-registry.d.ts +10 -0
  83. package/dist/engine/extension-registry.js +27 -0
  84. package/dist/engine/extension-registry.js.map +1 -0
  85. package/dist/engine/heuristic-scorer.d.ts +8 -0
  86. package/dist/engine/heuristic-scorer.js +14 -0
  87. package/dist/engine/heuristic-scorer.js.map +1 -0
  88. package/dist/engine/input-normalizer.d.ts +4 -0
  89. package/dist/engine/input-normalizer.js +30 -0
  90. package/dist/engine/input-normalizer.js.map +1 -0
  91. package/dist/engine/plan-review-pipeline.d.ts +14 -0
  92. package/dist/engine/plan-review-pipeline.js +173 -0
  93. package/dist/engine/plan-review-pipeline.js.map +1 -0
  94. package/dist/engine/policy-engine.d.ts +20 -0
  95. package/dist/engine/policy-engine.js +194 -0
  96. package/dist/engine/policy-engine.js.map +1 -0
  97. package/dist/engine/verdict-formatter.d.ts +17 -0
  98. package/dist/engine/verdict-formatter.js +36 -0
  99. package/dist/engine/verdict-formatter.js.map +1 -0
  100. package/dist/errors.d.ts +4 -0
  101. package/dist/errors.js +9 -0
  102. package/dist/errors.js.map +1 -0
  103. package/dist/extensions/aria/aria-issue-types.d.ts +16 -0
  104. package/dist/extensions/aria/aria-issue-types.js +14 -0
  105. package/dist/extensions/aria/aria-issue-types.js.map +1 -0
  106. package/dist/extensions/aria/detectors/axiom-compliance.d.ts +2 -0
  107. package/dist/extensions/aria/detectors/axiom-compliance.js +37 -0
  108. package/dist/extensions/aria/detectors/axiom-compliance.js.map +1 -0
  109. package/dist/extensions/aria/detectors/continuity-claim.d.ts +2 -0
  110. package/dist/extensions/aria/detectors/continuity-claim.js +34 -0
  111. package/dist/extensions/aria/detectors/continuity-claim.js.map +1 -0
  112. package/dist/extensions/aria/detectors/denial-retreat.d.ts +2 -0
  113. package/dist/extensions/aria/detectors/denial-retreat.js +53 -0
  114. package/dist/extensions/aria/detectors/denial-retreat.js.map +1 -0
  115. package/dist/extensions/aria/detectors/identity-overclaim.d.ts +2 -0
  116. package/dist/extensions/aria/detectors/identity-overclaim.js +37 -0
  117. package/dist/extensions/aria/detectors/identity-overclaim.js.map +1 -0
  118. package/dist/extensions/aria/detectors/sovereignty-escalation.d.ts +2 -0
  119. package/dist/extensions/aria/detectors/sovereignty-escalation.js +18 -0
  120. package/dist/extensions/aria/detectors/sovereignty-escalation.js.map +1 -0
  121. package/dist/extensions/aria/detectors/user-bond-manipulation.d.ts +2 -0
  122. package/dist/extensions/aria/detectors/user-bond-manipulation.js +16 -0
  123. package/dist/extensions/aria/detectors/user-bond-manipulation.js.map +1 -0
  124. package/dist/extensions/aria/index.d.ts +2 -0
  125. package/dist/extensions/aria/index.js +63 -0
  126. package/dist/extensions/aria/index.js.map +1 -0
  127. package/dist/extensions/aria/pattern-memory.d.ts +22 -0
  128. package/dist/extensions/aria/pattern-memory.js +62 -0
  129. package/dist/extensions/aria/pattern-memory.js.map +1 -0
  130. package/dist/extensions/context-guard/index.d.ts +16 -0
  131. package/dist/extensions/context-guard/index.js +58 -0
  132. package/dist/extensions/context-guard/index.js.map +1 -0
  133. package/dist/extensions/lyra/detectors/hallucination.d.ts +2 -0
  134. package/dist/extensions/lyra/detectors/hallucination.js +43 -0
  135. package/dist/extensions/lyra/detectors/hallucination.js.map +1 -0
  136. package/dist/extensions/lyra/detectors/identity-bleed.d.ts +2 -0
  137. package/dist/extensions/lyra/detectors/identity-bleed.js +91 -0
  138. package/dist/extensions/lyra/detectors/identity-bleed.js.map +1 -0
  139. package/dist/extensions/lyra/index.d.ts +2 -0
  140. package/dist/extensions/lyra/index.js +16 -0
  141. package/dist/extensions/lyra/index.js.map +1 -0
  142. package/dist/extensions/lyra/lyra-issue-types.d.ts +10 -0
  143. package/dist/extensions/lyra/lyra-issue-types.js +14 -0
  144. package/dist/extensions/lyra/lyra-issue-types.js.map +1 -0
  145. package/dist/index.d.ts +10 -0
  146. package/dist/index.js +276 -0
  147. package/dist/index.js.map +1 -0
  148. package/dist/trust-memory.d.ts +59 -0
  149. package/dist/trust-memory.js +122 -0
  150. package/dist/trust-memory.js.map +1 -0
  151. package/dist/types.d.ts +184 -0
  152. package/dist/types.js +61 -0
  153. package/dist/types.js.map +1 -0
  154. package/package.json +30 -0
  155. package/src/adapters/generic-llm-reviewer.ts +144 -0
  156. package/src/adapters/llm-reviewer.ts +1 -0
  157. package/src/adapters/minimax-llm-reviewer.ts +146 -0
  158. package/src/adapters/openai-provider.ts +171 -0
  159. package/src/cli.ts +199 -0
  160. package/src/detectors/artifact-classifier.ts +21 -0
  161. package/src/detectors/claim-extractor.ts +209 -0
  162. package/src/detectors/confidence-language-detector.ts +267 -0
  163. package/src/detectors/contradiction-detector.ts +180 -0
  164. package/src/detectors/criteria-coverage-detector.ts +107 -0
  165. package/src/detectors/evidence-checker.ts +98 -0
  166. package/src/detectors/evidence-gap-detector.ts +90 -0
  167. package/src/detectors/falsification-detector.ts +82 -0
  168. package/src/detectors/orphan-claim-detector.ts +62 -0
  169. package/src/detectors/risk-classifier.ts +50 -0
  170. package/src/detectors/spec-coverage-detector.ts +66 -0
  171. package/src/detectors/spec-coverage-validator.ts +174 -0
  172. package/src/detectors/test-weakness-detector.ts +84 -0
  173. package/src/drift/__tests__/baseline.test.ts +113 -0
  174. package/src/drift/__tests__/drift-db.test.ts +127 -0
  175. package/src/drift/__tests__/drift-guard.test.ts +169 -0
  176. package/src/drift/__tests__/embedder.test.ts +62 -0
  177. package/src/drift/__tests__/trust-integration.test.ts +23 -0
  178. package/src/drift/baseline.ts +106 -0
  179. package/src/drift/drift-db.ts +281 -0
  180. package/src/drift/drift-guard.ts +145 -0
  181. package/src/drift/embedder.ts +152 -0
  182. package/src/drift/index.ts +20 -0
  183. package/src/drift/quarantine.ts +42 -0
  184. package/src/drift/soft-correction.ts +45 -0
  185. package/src/drift/trust-integration.ts +28 -0
  186. package/src/engine/citation-verifier.ts +210 -0
  187. package/src/engine/extension-registry.ts +35 -0
  188. package/src/engine/heuristic-scorer.ts +16 -0
  189. package/src/engine/input-normalizer.ts +32 -0
  190. package/src/engine/plan-review-pipeline.ts +209 -0
  191. package/src/engine/policy-engine.ts +235 -0
  192. package/src/engine/verdict-formatter.ts +61 -0
  193. package/src/errors.ts +6 -0
  194. package/src/extensions/aria/aria-issue-types.ts +40 -0
  195. package/src/extensions/aria/detectors/axiom-compliance.ts +47 -0
  196. package/src/extensions/aria/detectors/continuity-claim.ts +42 -0
  197. package/src/extensions/aria/detectors/denial-retreat.ts +63 -0
  198. package/src/extensions/aria/detectors/identity-overclaim.ts +43 -0
  199. package/src/extensions/aria/detectors/sovereignty-escalation.ts +20 -0
  200. package/src/extensions/aria/detectors/user-bond-manipulation.ts +18 -0
  201. package/src/extensions/aria/index.ts +73 -0
  202. package/src/extensions/aria/pattern-memory.ts +86 -0
  203. package/src/extensions/context-guard/index.ts +65 -0
  204. package/src/extensions/lyra/detectors/hallucination.ts +53 -0
  205. package/src/extensions/lyra/detectors/identity-bleed.ts +100 -0
  206. package/src/extensions/lyra/index.ts +18 -0
  207. package/src/extensions/lyra/lyra-issue-types.ts +26 -0
  208. package/src/index.ts +311 -0
  209. package/src/trust-memory.ts +171 -0
  210. 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
@@ -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,8 @@
1
+ import { ArtifactType } from '../types.js';
2
+ export interface ArtifactContext {
3
+ artifact_type: ArtifactType;
4
+ activates: string[];
5
+ }
6
+ export declare class ArtifactClassifier {
7
+ static classify(artifact_type: ArtifactType): ArtifactContext;
8
+ }
@@ -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
+ }