proofdiff/package.json at main · hzw0813/proofdiff · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
{
  "name": "proofdiff",
  "version": "0.5.3",
  "description": "Deterministic evidence for code changes: what changed, what verification ran, and what remains unverified.",
  "type": "module",
  "bin": {
    "proofdiff": "dist/cli.js"
  },
  "main": "dist/index.js",
  "types": "dist/index.d.ts",
  "exports": {
    ".": {
      "types": "./dist/index.d.ts",
      "import": "./dist/index.js"
    }
  },
  "files": [
    "dist",
    "README.md",
    "LICENSE"
  ],
  "engines": {
    "node": ">=22"
  },
  "keywords": [
    "code-review",
    "developer-tools",
    "git",
    "testing",
    "static-analysis",
    "verification",
    "test-impact-analysis",
    "change-impact-analysis",
    "continuous-integration",
    "github-actions",
    "ai-generated-code"
  ],
  "license": "MIT",
  "repository": {
    "type": "git",
    "url": "git+https://github.com/hzw0813/proofdiff.git"
  },
  "bugs": {
    "url": "https://github.com/hzw0813/proofdiff/issues"
  },
  "homepage": "https://github.com/hzw0813/proofdiff#readme",
  "scripts": {
    "build": "tsc -p tsconfig.json",
    "clean": "node scripts/clean.mjs",
    "typecheck": "tsc -p tsconfig.json --noEmit",
    "test:compile": "tsc -p tsconfig.test.json && npm run evaluation:validate",
    "test": "npm run build && npm run test:compile && node scripts/verify-test-manifest.mjs && node --test --test-concurrency=1 dist-test/tests/adapters.test.js dist-test/tests/analyze.test.js dist-test/tests/checks.test.js dist-test/tests/coverage.test.js dist-test/tests/demo.test.js dist-test/tests/e2e.test.js dist-test/tests/explanation.test.js dist-test/tests/git.test.js dist-test/tests/js-runners.test.js dist-test/tests/privacy.test.js dist-test/tests/report.test.js dist-test/tests/resolution.test.js dist-test/tests/selection-workspace.test.js dist-test/tests/test-map.test.js",
    "test:e2e": "npm run build && npm run test:compile && node --test dist-test/tests/e2e.test.js",
    "test:action": "npm run build && node scripts/verify-action.mjs",
    "test:coverage": "npm run build && npm run test:compile && node scripts/run-compiled-tests.mjs --coverage",
    "lint": "npm run typecheck",
    "demo": "npm run build && node scripts/generate-demo.mjs",
    "dogfood": "npm run build && npm run test:compile && node scripts/dogfood.mjs",
    "evaluation:validate": "node scripts/evaluation/validate.mjs",
    "evaluation:controlled": "node scripts/evaluation/run-controlled.mjs",
    "evaluation:external": "node scripts/evaluation/run-external.mjs",
    "prepack": "npm run clean && npm run build && npm test"
  },
  "dependencies": {
    "@babel/parser": "^7.28.0"
  },
  "devDependencies": {
    "@types/node": "^22.0.0",
    "typescript": "^5.9.0"
  }
}