@galileodev/verify 0.1.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 (77) hide show
  1. package/dist/guide/composer.d.ts +10 -0
  2. package/dist/guide/composer.d.ts.map +1 -0
  3. package/dist/guide/composer.js +48 -0
  4. package/dist/guide/composer.js.map +1 -0
  5. package/dist/guide/constraints.d.ts +3 -0
  6. package/dist/guide/constraints.d.ts.map +1 -0
  7. package/dist/guide/constraints.js +12 -0
  8. package/dist/guide/constraints.js.map +1 -0
  9. package/dist/guide/file-tree.d.ts +2 -0
  10. package/dist/guide/file-tree.d.ts.map +1 -0
  11. package/dist/guide/file-tree.js +24 -0
  12. package/dist/guide/file-tree.js.map +1 -0
  13. package/dist/index.d.ts +22 -0
  14. package/dist/index.d.ts.map +1 -0
  15. package/dist/index.js +25 -0
  16. package/dist/index.js.map +1 -0
  17. package/dist/karpathy/loop.d.ts +6 -0
  18. package/dist/karpathy/loop.d.ts.map +1 -0
  19. package/dist/karpathy/loop.js +169 -0
  20. package/dist/karpathy/loop.js.map +1 -0
  21. package/dist/orchestrator/acdc.d.ts +14 -0
  22. package/dist/orchestrator/acdc.d.ts.map +1 -0
  23. package/dist/orchestrator/acdc.js +91 -0
  24. package/dist/orchestrator/acdc.js.map +1 -0
  25. package/dist/solve/agent.d.ts +8 -0
  26. package/dist/solve/agent.d.ts.map +1 -0
  27. package/dist/solve/agent.js +151 -0
  28. package/dist/solve/agent.js.map +1 -0
  29. package/dist/solve/hint-matcher.d.ts +8 -0
  30. package/dist/solve/hint-matcher.d.ts.map +1 -0
  31. package/dist/solve/hint-matcher.js +36 -0
  32. package/dist/solve/hint-matcher.js.map +1 -0
  33. package/dist/solve/staged-pipeline.d.ts +12 -0
  34. package/dist/solve/staged-pipeline.d.ts.map +1 -0
  35. package/dist/solve/staged-pipeline.js +51 -0
  36. package/dist/solve/staged-pipeline.js.map +1 -0
  37. package/dist/trust/trust-evaluator.d.ts +9 -0
  38. package/dist/trust/trust-evaluator.d.ts.map +1 -0
  39. package/dist/trust/trust-evaluator.js +30 -0
  40. package/dist/trust/trust-evaluator.js.map +1 -0
  41. package/dist/trust/trust-store.d.ts +16 -0
  42. package/dist/trust/trust-store.d.ts.map +1 -0
  43. package/dist/trust/trust-store.js +86 -0
  44. package/dist/trust/trust-store.js.map +1 -0
  45. package/dist/trust/types.d.ts +15 -0
  46. package/dist/trust/types.d.ts.map +1 -0
  47. package/dist/trust/types.js +2 -0
  48. package/dist/trust/types.js.map +1 -0
  49. package/dist/types.d.ts +132 -0
  50. package/dist/types.d.ts.map +1 -0
  51. package/dist/types.js +2 -0
  52. package/dist/types.js.map +1 -0
  53. package/dist/utils/secret-strip.d.ts +6 -0
  54. package/dist/utils/secret-strip.d.ts.map +1 -0
  55. package/dist/utils/secret-strip.js +34 -0
  56. package/dist/utils/secret-strip.js.map +1 -0
  57. package/dist/verifier/plugins/eslint.d.ts +9 -0
  58. package/dist/verifier/plugins/eslint.d.ts.map +1 -0
  59. package/dist/verifier/plugins/eslint.js +59 -0
  60. package/dist/verifier/plugins/eslint.js.map +1 -0
  61. package/dist/verifier/plugins/semgrep.d.ts +9 -0
  62. package/dist/verifier/plugins/semgrep.d.ts.map +1 -0
  63. package/dist/verifier/plugins/semgrep.js +46 -0
  64. package/dist/verifier/plugins/semgrep.js.map +1 -0
  65. package/dist/verifier/plugins/test-runner.d.ts +11 -0
  66. package/dist/verifier/plugins/test-runner.d.ts.map +1 -0
  67. package/dist/verifier/plugins/test-runner.js +46 -0
  68. package/dist/verifier/plugins/test-runner.js.map +1 -0
  69. package/dist/verifier/plugins/tsc.d.ts +9 -0
  70. package/dist/verifier/plugins/tsc.d.ts.map +1 -0
  71. package/dist/verifier/plugins/tsc.js +41 -0
  72. package/dist/verifier/plugins/tsc.js.map +1 -0
  73. package/dist/verifier/runner.d.ts +14 -0
  74. package/dist/verifier/runner.d.ts.map +1 -0
  75. package/dist/verifier/runner.js +45 -0
  76. package/dist/verifier/runner.js.map +1 -0
  77. package/package.json +28 -0
@@ -0,0 +1,34 @@
1
+ const PATTERNS = [
2
+ { regex: /sk-[a-zA-Z0-9_-]{20,}/g, label: 'api_key' },
3
+ { regex: /AKIA[A-Z0-9]{16}/g, label: 'aws_key' },
4
+ { regex: /-----BEGIN (?:RSA |EC |DSA )?PRIVATE KEY-----[\s\S]*?-----END (?:RSA |EC |DSA )?PRIVATE KEY-----/g, label: 'private_key' },
5
+ { regex: /Bearer [A-Za-z0-9_-]+\.[A-Za-z0-9_-]+\.[A-Za-z0-9_-]+/g, label: 'bearer_token' },
6
+ ];
7
+ export function stripSecrets(content, mode = 'remediation') {
8
+ let stripped = content;
9
+ const restorationMap = {};
10
+ let counter = 0;
11
+ let hasRedactions = false;
12
+ for (const pattern of PATTERNS) {
13
+ // Create a fresh regex each call to avoid lastIndex issues
14
+ const re = new RegExp(pattern.regex.source, pattern.regex.flags);
15
+ stripped = stripped.replace(re, (match) => {
16
+ hasRedactions = true;
17
+ // Use counter-indexed placeholders so multiple secrets of the same type
18
+ // get unique keys in the restoration map
19
+ const placeholder = `[REDACTED:${pattern.label}:${counter++}]`;
20
+ if (mode === 'context') {
21
+ restorationMap[placeholder] = match;
22
+ }
23
+ return placeholder;
24
+ });
25
+ }
26
+ if (!hasRedactions) {
27
+ return { stripped: content };
28
+ }
29
+ if (mode === 'context' && Object.keys(restorationMap).length > 0) {
30
+ return { stripped, restorationMap };
31
+ }
32
+ return { stripped };
33
+ }
34
+ //# sourceMappingURL=secret-strip.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"secret-strip.js","sourceRoot":"","sources":["../../src/utils/secret-strip.ts"],"names":[],"mappings":"AAKA,MAAM,QAAQ,GAAoB;IAChC,EAAE,KAAK,EAAE,wBAAwB,EAAE,KAAK,EAAE,SAAS,EAAE;IACrD,EAAE,KAAK,EAAE,mBAAmB,EAAE,KAAK,EAAE,SAAS,EAAE;IAChD,EAAE,KAAK,EAAE,mGAAmG,EAAE,KAAK,EAAE,aAAa,EAAE;IACpI,EAAE,KAAK,EAAE,wDAAwD,EAAE,KAAK,EAAE,cAAc,EAAE;CAC3F,CAAC;AAOF,MAAM,UAAU,YAAY,CAC1B,OAAe,EACf,OAAkC,aAAa;IAE/C,IAAI,QAAQ,GAAG,OAAO,CAAC;IACvB,MAAM,cAAc,GAA2B,EAAE,CAAC;IAClD,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,aAAa,GAAG,KAAK,CAAC;IAE1B,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,2DAA2D;QAC3D,MAAM,EAAE,GAAG,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACjE,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,EAAE;YACxC,aAAa,GAAG,IAAI,CAAC;YACrB,wEAAwE;YACxE,yCAAyC;YACzC,MAAM,WAAW,GAAG,aAAa,OAAO,CAAC,KAAK,IAAI,OAAO,EAAE,GAAG,CAAC;YAC/D,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,cAAc,CAAC,WAAW,CAAC,GAAG,KAAK,CAAC;YACtC,CAAC;YACD,OAAO,WAAW,CAAC;QACrB,CAAC,CAAC,CAAC;IACL,CAAC;IAED,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;IAC/B,CAAC;IAED,IAAI,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjE,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAE,CAAC;IACtC,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,CAAC;AACtB,CAAC"}
@@ -0,0 +1,9 @@
1
+ import type { VerifierPlugin, VerifyTarget, VerificationFinding } from '../../types.js';
2
+ export declare class EslintVerifier implements VerifierPlugin {
3
+ readonly id = "eslint";
4
+ readonly name = "ESLint";
5
+ available(): Promise<boolean>;
6
+ run(target: VerifyTarget): Promise<VerificationFinding[]>;
7
+ parseOutput(output: string, workingDir?: string): VerificationFinding[];
8
+ }
9
+ //# sourceMappingURL=eslint.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"eslint.d.ts","sourceRoot":"","sources":["../../../src/verifier/plugins/eslint.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,cAAc,EAAE,YAAY,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAexF,qBAAa,cAAe,YAAW,cAAc;IACnD,QAAQ,CAAC,EAAE,YAAY;IACvB,QAAQ,CAAC,IAAI,YAAY;IAEnB,SAAS,IAAI,OAAO,CAAC,OAAO,CAAC;IAS7B,GAAG,CAAC,MAAM,EAAE,YAAY,GAAG,OAAO,CAAC,mBAAmB,EAAE,CAAC;IAgB/D,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,MAAM,GAAG,mBAAmB,EAAE;CA+BxE"}
@@ -0,0 +1,59 @@
1
+ import { execSync } from 'node:child_process';
2
+ import { relative, isAbsolute } from 'node:path';
3
+ export class EslintVerifier {
4
+ id = 'eslint';
5
+ name = 'ESLint';
6
+ async available() {
7
+ try {
8
+ execSync('npx eslint --version', { stdio: 'ignore' });
9
+ return true;
10
+ }
11
+ catch {
12
+ return false;
13
+ }
14
+ }
15
+ async run(target) {
16
+ const args = ['eslint', '--format', 'json'];
17
+ if (target.files && target.files.length > 0) {
18
+ args.push(...target.files);
19
+ }
20
+ else {
21
+ args.push('.');
22
+ }
23
+ const result = await target.sandbox.exec('npx', args, {
24
+ workingDir: target.workingDir,
25
+ timeoutMs: 60000,
26
+ });
27
+ return this.parseOutput(result.stdout, target.workingDir);
28
+ }
29
+ parseOutput(output, workingDir) {
30
+ const findings = [];
31
+ let results;
32
+ try {
33
+ results = JSON.parse(output);
34
+ }
35
+ catch {
36
+ return [];
37
+ }
38
+ for (const file of results) {
39
+ // Normalize absolute paths to relative
40
+ let filePath = file.filePath;
41
+ if (workingDir && isAbsolute(filePath)) {
42
+ filePath = relative(workingDir, filePath);
43
+ }
44
+ for (const msg of file.messages) {
45
+ findings.push({
46
+ verifierId: 'eslint',
47
+ severity: msg.severity === 2 ? 'error' : 'warning',
48
+ ruleId: msg.ruleId ?? 'unknown',
49
+ message: msg.message,
50
+ file: filePath,
51
+ line: msg.line,
52
+ column: msg.column,
53
+ });
54
+ }
55
+ }
56
+ return findings;
57
+ }
58
+ }
59
+ //# sourceMappingURL=eslint.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"eslint.js","sourceRoot":"","sources":["../../../src/verifier/plugins/eslint.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAgBjD,MAAM,OAAO,cAAc;IAChB,EAAE,GAAG,QAAQ,CAAC;IACd,IAAI,GAAG,QAAQ,CAAC;IAEzB,KAAK,CAAC,SAAS;QACb,IAAI,CAAC;YACH,QAAQ,CAAC,sBAAsB,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;YACtD,OAAO,IAAI,CAAC;QACd,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED,KAAK,CAAC,GAAG,CAAC,MAAoB;QAC5B,MAAM,IAAI,GAAG,CAAC,QAAQ,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;QAC5C,IAAI,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5C,IAAI,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QAC7B,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACjB,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE;YACpD,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,SAAS,EAAE,KAAK;SACjB,CAAC,CAAC;QAEH,OAAO,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IAC5D,CAAC;IAED,WAAW,CAAC,MAAc,EAAE,UAAmB;QAC7C,MAAM,QAAQ,GAA0B,EAAE,CAAC;QAC3C,IAAI,OAA2B,CAAC;QAChC,IAAI,CAAC;YACH,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAC/B,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;YAC3B,uCAAuC;YACvC,IAAI,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;YAC7B,IAAI,UAAU,IAAI,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACvC,QAAQ,GAAG,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;YAC5C,CAAC;YAED,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAChC,QAAQ,CAAC,IAAI,CAAC;oBACZ,UAAU,EAAE,QAAQ;oBACpB,QAAQ,EAAE,GAAG,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;oBAClD,MAAM,EAAE,GAAG,CAAC,MAAM,IAAI,SAAS;oBAC/B,OAAO,EAAE,GAAG,CAAC,OAAO;oBACpB,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,GAAG,CAAC,IAAI;oBACd,MAAM,EAAE,GAAG,CAAC,MAAM;iBACnB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;CACF"}
@@ -0,0 +1,9 @@
1
+ import type { VerifierPlugin, VerifyTarget, VerificationFinding } from '../../types.js';
2
+ export declare class SemgrepVerifier implements VerifierPlugin {
3
+ readonly id = "semgrep";
4
+ readonly name = "Semgrep";
5
+ available(): Promise<boolean>;
6
+ run(target: VerifyTarget): Promise<VerificationFinding[]>;
7
+ parseOutput(output: string): VerificationFinding[];
8
+ }
9
+ //# sourceMappingURL=semgrep.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"semgrep.d.ts","sourceRoot":"","sources":["../../../src/verifier/plugins/semgrep.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,YAAY,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAaxF,qBAAa,eAAgB,YAAW,cAAc;IACpD,QAAQ,CAAC,EAAE,aAAa;IACxB,QAAQ,CAAC,IAAI,aAAa;IAEpB,SAAS,IAAI,OAAO,CAAC,OAAO,CAAC;IAS7B,GAAG,CAAC,MAAM,EAAE,YAAY,GAAG,OAAO,CAAC,mBAAmB,EAAE,CAAC;IAgB/D,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,mBAAmB,EAAE;CAkBnD"}
@@ -0,0 +1,46 @@
1
+ import { execSync } from 'node:child_process';
2
+ export class SemgrepVerifier {
3
+ id = 'semgrep';
4
+ name = 'Semgrep';
5
+ async available() {
6
+ try {
7
+ execSync('semgrep --version', { stdio: 'ignore' });
8
+ return true;
9
+ }
10
+ catch {
11
+ return false;
12
+ }
13
+ }
14
+ async run(target) {
15
+ const args = ['--json', '--config', 'auto'];
16
+ if (target.files && target.files.length > 0) {
17
+ for (const file of target.files) {
18
+ args.push('--include', file);
19
+ }
20
+ }
21
+ const result = await target.sandbox.exec('semgrep', args, {
22
+ workingDir: target.workingDir,
23
+ timeoutMs: 120000,
24
+ });
25
+ return this.parseOutput(result.stdout);
26
+ }
27
+ parseOutput(output) {
28
+ let parsed;
29
+ try {
30
+ parsed = JSON.parse(output);
31
+ }
32
+ catch {
33
+ return [];
34
+ }
35
+ return parsed.results.map((r) => ({
36
+ verifierId: 'semgrep',
37
+ severity: r.extra.severity.toLowerCase() === 'error' ? 'error' : 'warning',
38
+ ruleId: r.check_id,
39
+ message: r.extra.message,
40
+ file: r.path,
41
+ line: r.start.line,
42
+ column: r.start.col,
43
+ }));
44
+ }
45
+ }
46
+ //# sourceMappingURL=semgrep.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"semgrep.js","sourceRoot":"","sources":["../../../src/verifier/plugins/semgrep.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAc9C,MAAM,OAAO,eAAe;IACjB,EAAE,GAAG,SAAS,CAAC;IACf,IAAI,GAAG,SAAS,CAAC;IAE1B,KAAK,CAAC,SAAS;QACb,IAAI,CAAC;YACH,QAAQ,CAAC,mBAAmB,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;YACnD,OAAO,IAAI,CAAC;QACd,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED,KAAK,CAAC,GAAG,CAAC,MAAoB;QAC5B,MAAM,IAAI,GAAG,CAAC,QAAQ,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;QAC5C,IAAI,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;gBAChC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;YAC/B,CAAC;QACH,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE;YACxD,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,SAAS,EAAE,MAAM;SAClB,CAAC,CAAC;QAEH,OAAO,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACzC,CAAC;IAED,WAAW,CAAC,MAAc;QACxB,IAAI,MAAqB,CAAC;QAC1B,IAAI,CAAC;YACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAC9B,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,OAAO,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAChC,UAAU,EAAE,SAAS;YACrB,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,EAAE,KAAK,OAAO,CAAC,CAAC,CAAC,OAAgB,CAAC,CAAC,CAAC,SAAkB;YAC5F,MAAM,EAAE,CAAC,CAAC,QAAQ;YAClB,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO;YACxB,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI;YAClB,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG;SACpB,CAAC,CAAC,CAAC;IACN,CAAC;CACF"}
@@ -0,0 +1,11 @@
1
+ import type { VerifierPlugin, VerifyTarget, VerificationFinding } from '../../types.js';
2
+ export declare class TestRunnerVerifier implements VerifierPlugin {
3
+ private readonly command;
4
+ readonly id = "vitest";
5
+ readonly name = "Test Runner";
6
+ constructor(command?: string);
7
+ available(): Promise<boolean>;
8
+ run(target: VerifyTarget): Promise<VerificationFinding[]>;
9
+ parseOutput(output: string): VerificationFinding[];
10
+ }
11
+ //# sourceMappingURL=test-runner.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"test-runner.d.ts","sourceRoot":"","sources":["../../../src/verifier/plugins/test-runner.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,YAAY,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAExF,qBAAa,kBAAmB,YAAW,cAAc;IAI3C,OAAO,CAAC,QAAQ,CAAC,OAAO;IAHpC,QAAQ,CAAC,EAAE,YAAY;IACvB,QAAQ,CAAC,IAAI,iBAAiB;gBAED,OAAO,GAAE,MAAyB;IAEzD,SAAS,IAAI,OAAO,CAAC,OAAO,CAAC;IAS7B,GAAG,CAAC,MAAM,EAAE,YAAY,GAAG,OAAO,CAAC,mBAAmB,EAAE,CAAC;IAW/D,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,mBAAmB,EAAE;CAmBnD"}
@@ -0,0 +1,46 @@
1
+ import { execSync } from 'node:child_process';
2
+ export class TestRunnerVerifier {
3
+ command;
4
+ id = 'vitest';
5
+ name = 'Test Runner';
6
+ constructor(command = 'npx vitest run') {
7
+ this.command = command;
8
+ }
9
+ async available() {
10
+ try {
11
+ execSync('npx vitest --version', { stdio: 'ignore' });
12
+ return true;
13
+ }
14
+ catch {
15
+ return false;
16
+ }
17
+ }
18
+ async run(target) {
19
+ const [cmd, ...args] = this.command.split(' ');
20
+ const result = await target.sandbox.exec(cmd, args, {
21
+ workingDir: target.workingDir,
22
+ timeoutMs: 120000,
23
+ });
24
+ if (result.exitCode === 0)
25
+ return [];
26
+ return this.parseOutput(result.stdout + result.stderr);
27
+ }
28
+ parseOutput(output) {
29
+ const findings = [];
30
+ const pattern = /FAIL\s+(.+?)(?:\s+>.*?)?\n[\s\S]*?❯\s+(.+?):(\d+)(?::(\d+))?/g;
31
+ let match;
32
+ while ((match = pattern.exec(output)) !== null) {
33
+ findings.push({
34
+ verifierId: 'vitest',
35
+ severity: 'error',
36
+ ruleId: 'test-failure',
37
+ message: `Test failed in ${match[1].trim()}`,
38
+ file: match[2],
39
+ line: parseInt(match[3], 10),
40
+ column: match[4] ? parseInt(match[4], 10) : undefined,
41
+ });
42
+ }
43
+ return findings;
44
+ }
45
+ }
46
+ //# sourceMappingURL=test-runner.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"test-runner.js","sourceRoot":"","sources":["../../../src/verifier/plugins/test-runner.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAG9C,MAAM,OAAO,kBAAkB;IAIA;IAHpB,EAAE,GAAG,QAAQ,CAAC;IACd,IAAI,GAAG,aAAa,CAAC;IAE9B,YAA6B,UAAkB,gBAAgB;QAAlC,YAAO,GAAP,OAAO,CAA2B;IAAG,CAAC;IAEnE,KAAK,CAAC,SAAS;QACb,IAAI,CAAC;YACH,QAAQ,CAAC,sBAAsB,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;YACtD,OAAO,IAAI,CAAC;QACd,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED,KAAK,CAAC,GAAG,CAAC,MAAoB;QAC5B,MAAM,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC/C,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE;YAClD,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,SAAS,EAAE,MAAM;SAClB,CAAC,CAAC;QAEH,IAAI,MAAM,CAAC,QAAQ,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QACrC,OAAO,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IACzD,CAAC;IAED,WAAW,CAAC,MAAc;QACxB,MAAM,QAAQ,GAA0B,EAAE,CAAC;QAC3C,MAAM,OAAO,GAAG,+DAA+D,CAAC;QAEhF,IAAI,KAA6B,CAAC;QAClC,OAAO,CAAC,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YAC/C,QAAQ,CAAC,IAAI,CAAC;gBACZ,UAAU,EAAE,QAAQ;gBACpB,QAAQ,EAAE,OAAO;gBACjB,MAAM,EAAE,cAAc;gBACtB,OAAO,EAAE,kBAAkB,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE;gBAC5C,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;gBACd,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;gBAC5B,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS;aACtD,CAAC,CAAC;QACL,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;CACF"}
@@ -0,0 +1,9 @@
1
+ import type { VerifierPlugin, VerifyTarget, VerificationFinding } from '../../types.js';
2
+ export declare class TscVerifier implements VerifierPlugin {
3
+ readonly id = "tsc";
4
+ readonly name = "TypeScript Compiler";
5
+ available(): Promise<boolean>;
6
+ run(target: VerifyTarget): Promise<VerificationFinding[]>;
7
+ parseOutput(output: string): VerificationFinding[];
8
+ }
9
+ //# sourceMappingURL=tsc.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"tsc.d.ts","sourceRoot":"","sources":["../../../src/verifier/plugins/tsc.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,YAAY,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAExF,qBAAa,WAAY,YAAW,cAAc;IAChD,QAAQ,CAAC,EAAE,SAAS;IACpB,QAAQ,CAAC,IAAI,yBAAyB;IAEhC,SAAS,IAAI,OAAO,CAAC,OAAO,CAAC;IAS7B,GAAG,CAAC,MAAM,EAAE,YAAY,GAAG,OAAO,CAAC,mBAAmB,EAAE,CAAC;IAU/D,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,mBAAmB,EAAE;CAmBnD"}
@@ -0,0 +1,41 @@
1
+ import { execSync } from 'node:child_process';
2
+ export class TscVerifier {
3
+ id = 'tsc';
4
+ name = 'TypeScript Compiler';
5
+ async available() {
6
+ try {
7
+ execSync('npx tsc --version', { stdio: 'ignore' });
8
+ return true;
9
+ }
10
+ catch {
11
+ return false;
12
+ }
13
+ }
14
+ async run(target) {
15
+ const result = await target.sandbox.exec('npx', ['tsc', '--noEmit', '--pretty', 'false'], {
16
+ workingDir: target.workingDir,
17
+ timeoutMs: 30000,
18
+ });
19
+ if (result.exitCode === 0)
20
+ return [];
21
+ return this.parseOutput(result.stdout + result.stderr);
22
+ }
23
+ parseOutput(output) {
24
+ const findings = [];
25
+ const pattern = /^(.+?)\((\d+),(\d+)\):\s+error\s+(TS\d+):\s+(.+)$/gm;
26
+ let match;
27
+ while ((match = pattern.exec(output)) !== null) {
28
+ findings.push({
29
+ verifierId: 'tsc',
30
+ severity: 'error',
31
+ ruleId: match[4],
32
+ message: match[5],
33
+ file: match[1],
34
+ line: parseInt(match[2], 10),
35
+ column: parseInt(match[3], 10),
36
+ });
37
+ }
38
+ return findings;
39
+ }
40
+ }
41
+ //# sourceMappingURL=tsc.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"tsc.js","sourceRoot":"","sources":["../../../src/verifier/plugins/tsc.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAG9C,MAAM,OAAO,WAAW;IACb,EAAE,GAAG,KAAK,CAAC;IACX,IAAI,GAAG,qBAAqB,CAAC;IAEtC,KAAK,CAAC,SAAS;QACb,IAAI,CAAC;YACH,QAAQ,CAAC,mBAAmB,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;YACnD,OAAO,IAAI,CAAC;QACd,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED,KAAK,CAAC,GAAG,CAAC,MAAoB;QAC5B,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE;YACxF,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,SAAS,EAAE,KAAK;SACjB,CAAC,CAAC;QAEH,IAAI,MAAM,CAAC,QAAQ,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QACrC,OAAO,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IACzD,CAAC;IAED,WAAW,CAAC,MAAc;QACxB,MAAM,QAAQ,GAA0B,EAAE,CAAC;QAC3C,MAAM,OAAO,GAAG,qDAAqD,CAAC;QAEtE,IAAI,KAA6B,CAAC;QAClC,OAAO,CAAC,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YAC/C,QAAQ,CAAC,IAAI,CAAC;gBACZ,UAAU,EAAE,KAAK;gBACjB,QAAQ,EAAE,OAAO;gBACjB,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;gBAChB,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;gBACjB,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;gBACd,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;gBAC5B,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;aAC/B,CAAC,CAAC;QACL,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;CACF"}
@@ -0,0 +1,14 @@
1
+ import type { VerifierPlugin, VerifyTarget, VerificationReport, VerificationFinding } from '../types.js';
2
+ interface RunnerOptions {
3
+ failFast?: boolean;
4
+ }
5
+ export declare class VerifierRunner {
6
+ private plugins;
7
+ private readonly failFast;
8
+ constructor(options?: RunnerOptions);
9
+ register(plugin: VerifierPlugin): void;
10
+ runAll(target: VerifyTarget): Promise<VerificationReport>;
11
+ runSingle(pluginId: string, target: VerifyTarget): Promise<VerificationFinding[]>;
12
+ }
13
+ export {};
14
+ //# sourceMappingURL=runner.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"runner.d.ts","sourceRoot":"","sources":["../../src/verifier/runner.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,YAAY,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAEzG,UAAU,aAAa;IACrB,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED,qBAAa,cAAc;IACzB,OAAO,CAAC,OAAO,CAAwB;IACvC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAU;gBAEvB,OAAO,CAAC,EAAE,aAAa;IAInC,QAAQ,CAAC,MAAM,EAAE,cAAc,GAAG,IAAI;IAIhC,MAAM,CAAC,MAAM,EAAE,YAAY,GAAG,OAAO,CAAC,kBAAkB,CAAC;IA8BzD,SAAS,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,GAAG,OAAO,CAAC,mBAAmB,EAAE,CAAC;CAOxF"}
@@ -0,0 +1,45 @@
1
+ export class VerifierRunner {
2
+ plugins = [];
3
+ failFast;
4
+ constructor(options) {
5
+ this.failFast = options?.failFast ?? false;
6
+ }
7
+ register(plugin) {
8
+ this.plugins.push(plugin);
9
+ }
10
+ async runAll(target) {
11
+ const start = Date.now();
12
+ const allFindings = [];
13
+ for (const plugin of this.plugins) {
14
+ const isAvailable = await plugin.available();
15
+ if (!isAvailable)
16
+ continue;
17
+ const findings = await plugin.run(target);
18
+ allFindings.push(...findings);
19
+ if (this.failFast && findings.some((f) => f.severity === 'error')) {
20
+ break;
21
+ }
22
+ }
23
+ const summary = {
24
+ errors: allFindings.filter((f) => f.severity === 'error').length,
25
+ warnings: allFindings.filter((f) => f.severity === 'warning').length,
26
+ info: allFindings.filter((f) => f.severity === 'info').length,
27
+ };
28
+ return {
29
+ passed: summary.errors === 0,
30
+ findings: allFindings,
31
+ summary,
32
+ duration: Date.now() - start,
33
+ };
34
+ }
35
+ async runSingle(pluginId, target) {
36
+ const plugin = this.plugins.find((p) => p.id === pluginId);
37
+ if (!plugin)
38
+ return [];
39
+ const isAvailable = await plugin.available();
40
+ if (!isAvailable)
41
+ return [];
42
+ return plugin.run(target);
43
+ }
44
+ }
45
+ //# sourceMappingURL=runner.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"runner.js","sourceRoot":"","sources":["../../src/verifier/runner.ts"],"names":[],"mappings":"AAMA,MAAM,OAAO,cAAc;IACjB,OAAO,GAAqB,EAAE,CAAC;IACtB,QAAQ,CAAU;IAEnC,YAAY,OAAuB;QACjC,IAAI,CAAC,QAAQ,GAAG,OAAO,EAAE,QAAQ,IAAI,KAAK,CAAC;IAC7C,CAAC;IAED,QAAQ,CAAC,MAAsB;QAC7B,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC5B,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,MAAoB;QAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACzB,MAAM,WAAW,GAA0B,EAAE,CAAC;QAE9C,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAClC,MAAM,WAAW,GAAG,MAAM,MAAM,CAAC,SAAS,EAAE,CAAC;YAC7C,IAAI,CAAC,WAAW;gBAAE,SAAS;YAE3B,MAAM,QAAQ,GAAG,MAAM,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC1C,WAAW,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC;YAE9B,IAAI,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,EAAE,CAAC;gBAClE,MAAM;YACR,CAAC;QACH,CAAC;QAED,MAAM,OAAO,GAAG;YACd,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,MAAM;YAChE,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,MAAM;YACpE,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,MAAM,CAAC,CAAC,MAAM;SAC9D,CAAC;QAEF,OAAO;YACL,MAAM,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC;YAC5B,QAAQ,EAAE,WAAW;YACrB,OAAO;YACP,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;SAC7B,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,SAAS,CAAC,QAAgB,EAAE,MAAoB;QACpD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC;QAC3D,IAAI,CAAC,MAAM;YAAE,OAAO,EAAE,CAAC;QACvB,MAAM,WAAW,GAAG,MAAM,MAAM,CAAC,SAAS,EAAE,CAAC;QAC7C,IAAI,CAAC,WAAW;YAAE,OAAO,EAAE,CAAC;QAC5B,OAAO,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC5B,CAAC;CACF"}
package/package.json ADDED
@@ -0,0 +1,28 @@
1
+ {
2
+ "name": "@galileodev/verify",
3
+ "version": "0.1.0",
4
+ "type": "module",
5
+ "main": "dist/index.js",
6
+ "types": "dist/index.d.ts",
7
+ "exports": {
8
+ ".": {
9
+ "types": "./dist/index.d.ts",
10
+ "import": "./dist/index.js"
11
+ }
12
+ },
13
+ "files": ["dist"],
14
+ "publishConfig": {
15
+ "access": "public"
16
+ },
17
+ "scripts": {
18
+ "build": "tsc",
19
+ "test": "vitest run"
20
+ },
21
+ "dependencies": {
22
+ "@galileodev/core": "*",
23
+ "zod": "^3.24.0"
24
+ },
25
+ "devDependencies": {
26
+ "@types/node": "^25.5.0"
27
+ }
28
+ }