-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathpackage.json
More file actions
145 lines (145 loc) · 13.1 KB
/
Copy pathpackage.json
File metadata and controls
145 lines (145 loc) · 13.1 KB
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
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
{
"name": "truth-harness",
"version": "0.0.0",
"private": true,
"type": "module",
"description": "Local-first evidence receipts for AI agents: exact computation, refutation, replay, and benchmark artifacts.",
"license": "SEE LICENSE IN LICENSE",
"workspaces": [
"apps/*",
"packages/*"
],
"scripts": {
"build": "tsc -b",
"check": "npm run check:native",
"check:native": "npm run build && npm test",
"verify:default": "npm run docker:engines && npm run docker:check",
"verify:native": "npm run check:native",
"docker:build": "docker compose build",
"docker:check": "docker compose run --rm truth-harness npm run check:native",
"docker:cli": "docker compose run --rm truth-harness node apps/cli/dist/index.js",
"docker:engines": "node tools/docker-engines.mjs",
"docker:professor": "node tools/docker-professor.mjs",
"docker:professor:all": "node tools/docker-professor.mjs --all-engines",
"docker:reviewer": "npm run docker:professor",
"docker:reviewer:all": "npm run docker:professor:all",
"docker:storage": "node tools/docker-storage.mjs",
"docker:cleanup": "node tools/docker-cleanup.mjs",
"docker:sandbox": "docker compose run --build --rm truth-harness node apps/cli/dist/index.js code sandbox-status --json",
"docker:sandbox:write": "docker compose run --build --rm truth-harness node apps/cli/dist/index.js code sandbox-status --write --workspace /workspace --json",
"docker:sage": "docker compose run --build --rm sage-math",
"docker:all-engines": "docker compose run --build --rm all-engines",
"docker:all-engines:write": "docker compose run --build --rm all-engines node apps/cli/dist/index.js engines verify --write --require-all-engines",
"docker:mcp": "docker compose run --rm -i mcp",
"docker:proof": "docker compose run --rm truth-harness npm run proof:launch:engines",
"docker:proof-repair": "docker compose run --build --rm lean-proof npm run proof:repair-fixture:gate",
"docker:theorem-template": "docker compose run --build --rm lean-proof npm run proof:theorem-template",
"docker:mathlib-template:build": "docker build --target mathlib-proof -t truth-harness:mathlib-proof .",
"docker:mathlib-template": "npm run docker:mathlib-template:build && docker compose run --rm mathlib-proof",
"docker:mathlib-template:write": "npm run docker:mathlib-template:build && docker compose run --rm mathlib-proof npm run proof:mathlib-template:write",
"docker:lean-suite": "docker compose run --build --rm lean-proof npm run proof:lean-suite",
"docker:verify": "docker build --target verify -t truth-harness:verify .",
"docker:web": "docker compose up --build web-gateway",
"cli": "node apps/cli/dist/index.js",
"dev:cli": "tsx apps/cli/src/index.ts",
"web:serve": "node tools/serve-web.mjs",
"web:restart": "powershell -ExecutionPolicy Bypass -File tools/restart-web.ps1",
"web:doctor": "node tools/web-runtime-doctor.mjs",
"web:smoke": "vitest run apps/web/src/app-ui-contract.test.ts apps/web/src/serve-web.test.ts",
"workspace:repair": "node apps/cli/dist/index.js workspace repair",
"workspace:status": "node apps/cli/dist/index.js workspace status .",
"workspace:validate": "node apps/cli/dist/index.js workspace validate .",
"workspace:events": "node apps/cli/dist/index.js workspace events . --limit 50",
"workspace:repair-artifacts": "node apps/cli/dist/index.js workspace repair-artifacts .",
"workspace:repair-artifacts:preview": "node apps/cli/dist/index.js workspace repair-artifacts . --preview",
"workspace:archive": "node apps/cli/dist/index.js workspace archive .",
"workspace:archives": "node apps/cli/dist/index.js workspace archives .",
"workspace:restore-preview": "node apps/cli/dist/index.js workspace restore-archive",
"workspace:clean": "node apps/cli/dist/index.js workspace clean .",
"workspace:ui-review:pass": "node apps/cli/dist/index.js workspace ui-review . --pass \"Browser reviewed for clipping, overflow, focus state, scroll behavior, and report readability\" --write",
"reviewer:status": "npm run audit:release && npm run docker:storage",
"reviewer:docker": "npm run docker:professor",
"professor:evidence": "node tools/professor-evidence.mjs",
"audit:release": "node apps/cli/dist/index.js workspace release-audit .",
"audit:release:gate": "node apps/cli/dist/index.js workspace release-audit . --require-all-engines --require-saved-strict-engine-run --require-sandbox --fail-on-blocked",
"demo": "node apps/cli/dist/index.js demo",
"demo:recording": "node apps/cli/dist/index.js demo --require-symbolic-cross-check",
"docker:demo": "docker compose run --rm truth-harness node apps/cli/dist/index.js demo --require-symbolic-cross-check",
"demo:build-week": "node apps/cli/dist/index.js demo --focus build-week --report .truth-harness/reports/build-week-demo-report.html",
"docker:build-week:prepare": "docker compose build demo web",
"docker:build-week": "docker compose run --rm demo",
"demo:bench": "node apps/cli/dist/index.js bench run packages/benchmarks/suites/foundations-seed.json",
"demo:math-ladder": "node apps/cli/dist/index.js bench run packages/benchmarks/suites/math-credibility-ladder.json --fail-on-failures",
"docker:math-ladder": "docker compose run --rm truth-harness node apps/cli/dist/index.js bench run packages/benchmarks/suites/math-credibility-ladder.json --fail-on-failures",
"hard-math:closure": "npm run build && node tools/hard-math-closure.mjs",
"docker:hard-math-closure": "docker compose run --rm truth-harness npm run hard-math:closure",
"hard-math:symbolic-closure": "npm run build && node tools/hard-math-closure.mjs symbolic-cas-closure-fixture",
"docker:symbolic-closure": "docker compose run --rm truth-harness npm run hard-math:symbolic-closure -- --require-trust cross-checked",
"hard-math:smt-closure": "npm run build && node tools/hard-math-closure.mjs smt-bounded-closure-fixture --require-trust smt-checked",
"docker:smt-closure": "docker compose run --rm truth-harness npm run hard-math:smt-closure",
"demo:ai-failures": "node apps/cli/dist/index.js bench run packages/benchmarks/suites/ai-failure-seed.json",
"demo:check": "node apps/cli/dist/index.js check docs/examples/strict-claims.md",
"demo:physics": "node apps/cli/dist/index.js bench run packages/benchmarks/suites/physics-seed.json",
"demo:professor-math": "node apps/cli/dist/index.js bench run packages/benchmarks/suites/professor-math-challenge.json --fail-on-failures",
"demo:frontier-honesty": "node apps/cli/dist/index.js bench run packages/benchmarks/suites/frontier-honesty-challenge.json --fail-on-failures",
"demo:public-probes": "node apps/cli/dist/index.js bench run packages/benchmarks/suites/public-problem-probes.json --fail-on-failures",
"demo:public-catalog": "node apps/cli/dist/index.js bench catalog packages/benchmarks/catalog/public-math-problem-catalog.json",
"demo:public-symbolic": "node apps/cli/dist/index.js bench run packages/benchmarks/suites/public-symbolic-probes.json --fail-on-failures",
"demo:engine-math": "node apps/cli/dist/index.js bench run packages/benchmarks/suites/engine-math-seed.json --fail-on-failures",
"docker:public-probes": "docker compose run --rm truth-harness node apps/cli/dist/index.js bench run packages/benchmarks/suites/public-problem-probes.json --fail-on-failures",
"docker:public-catalog": "docker compose run --rm truth-harness node apps/cli/dist/index.js bench catalog packages/benchmarks/catalog/public-math-problem-catalog.json",
"docker:public-symbolic": "docker compose run --rm truth-harness node apps/cli/dist/index.js bench run packages/benchmarks/suites/public-symbolic-probes.json --fail-on-failures",
"docker:engine-math": "docker compose run --rm truth-harness node apps/cli/dist/index.js bench run packages/benchmarks/suites/engine-math-seed.json --fail-on-failures",
"docker:frontier-honesty": "docker compose run --rm truth-harness node apps/cli/dist/index.js bench run packages/benchmarks/suites/frontier-honesty-challenge.json --fail-on-failures",
"docker:professor-math": "docker compose run --rm truth-harness node apps/cli/dist/index.js bench run packages/benchmarks/suites/professor-math-challenge.json --fail-on-failures",
"demo:parity": "node apps/cli/dist/index.js ask \"for all integers n, n^2+n is even\"",
"demo:prove": "npm run demo:parity",
"demo:numeric": "node apps/cli/dist/index.js bench run packages/benchmarks/suites/numeric-seed.json",
"demo:cas": "node apps/cli/dist/index.js cas check --operation simplify --expression \"sin(x)^2 + cos(x)^2\" --result 1 --fail-on-unverified",
"demo:sage": "node apps/cli/dist/index.js cas check --backend sage --operation simplify --expression \"sin(x)^2 + cos(x)^2\" --result 1 --fail-on-unverified",
"demo:replay": "node apps/cli/dist/index.js ask \"for all integers n, n^2+n+1 is even\" --out receipts/false-parity.json && node apps/cli/dist/index.js replay receipts/false-parity.json",
"demo:render": "node apps/cli/dist/index.js render receipts/false-parity.json markdown receipts/false-parity.md && node apps/cli/dist/index.js render receipts/false-parity.json html receipts/false-parity.html",
"demo:smt": "node apps/cli/dist/index.js smt check docs/examples/constraints.smt2 --fail-on-unverified",
"demo:symbolic": "node apps/cli/dist/index.js bench run packages/benchmarks/suites/symbolic-seed.json",
"engines:readiness": "node apps/cli/dist/index.js engines readiness",
"engines:readiness:saved": "node apps/cli/dist/index.js engines readiness --include-saved-sandbox",
"engines:verify": "node apps/cli/dist/index.js engines verify",
"engines:verify:docker-core": "node apps/cli/dist/index.js engines verify --require-maxima --require-z3 --require-cvc5",
"engines:verify:lean": "node apps/cli/dist/index.js engines verify --require-lean",
"engines:verify:cvc5": "node apps/cli/dist/index.js engines verify --require-cvc5",
"engines:verify:sage": "node apps/cli/dist/index.js engines verify --require-sage",
"engines:verify:all": "node apps/cli/dist/index.js engines verify --require-all-engines",
"mcp": "node packages/mcp-server/dist/index.js",
"proof:lean-fixture": "node apps/cli/dist/index.js proof project docs/examples/lean-fixture --json && node apps/cli/dist/index.js proof check docs/examples/lean-fixture/TruthHarnessFixture/Trivial.lean --timeout-ms 30000 --fail-on-unproved --json",
"proof:theorem-template": "node apps/cli/dist/index.js proof project docs/examples/lean-theorem-template --json && node apps/cli/dist/index.js proof check docs/examples/lean-theorem-template/TruthHarnessTemplate/Basics.lean --timeout-ms 30000 --fail-on-unproved --json",
"proof:mathlib-template": "node apps/cli/dist/index.js proof project docs/examples/lean-mathlib-template --json",
"proof:mathlib-template:check": "node apps/cli/dist/index.js proof check docs/examples/lean-mathlib-template/TruthHarnessMathlib/Algebra.lean --project docs/examples/lean-mathlib-template --timeout-ms 30000 --fail-on-unproved --json",
"proof:mathlib-template:write": "node apps/cli/dist/index.js proof check docs/examples/lean-mathlib-template/TruthHarnessMathlib/Algebra.lean --project docs/examples/lean-mathlib-template --timeout-ms 30000 --fail-on-unproved --write --json",
"proof:mathlib-template:plan": "node apps/cli/dist/index.js validation mathlib-plan docs/examples/lean-mathlib-template",
"proof:repair-fixture": "node apps/cli/dist/index.js proof repair-fixture docs/examples/lean-repair-fixture --timeout-ms 30000",
"proof:repair-fixture:gate": "node apps/cli/dist/index.js proof repair-fixture docs/examples/lean-repair-fixture --timeout-ms 30000 --fail-on-open",
"proof:lean-suite": "npm run proof:lean-fixture && npm run proof:theorem-template && npm run proof:repair-fixture:gate",
"proof:launch": "npm run demo:replay && npm run demo:render && npm run demo:parity && npm run demo:bench && npm run demo:physics && npm run demo:numeric && npm run demo:symbolic && npm run demo:check",
"proof:launch:engines": "npm run proof:launch && npm run demo:cas && npm run demo:smt",
"test": "vitest run",
"demo:millennium-stress": "node apps/cli/dist/index.js bench run packages/benchmarks/suites/frontier-honesty-challenge.json --fail-on-failures",
"demo:millennium-catalog": "node apps/cli/dist/index.js bench catalog packages/benchmarks/catalog/millennium-stress-test-catalog.json --handoff",
"docker:millennium-stress": "docker compose run --rm truth-harness node apps/cli/dist/index.js bench run packages/benchmarks/suites/frontier-honesty-challenge.json --fail-on-failures",
"docker:millennium-catalog": "docker compose run --rm truth-harness node apps/cli/dist/index.js bench catalog packages/benchmarks/catalog/millennium-stress-test-catalog.json --handoff"
},
"devDependencies": {
"@types/better-sqlite3": "^7.6.13",
"@types/node": "^22.15.30",
"tsx": "^4.19.4",
"typescript": "^5.8.3",
"vitest": "^3.2.2"
},
"dependencies": {
"@modelcontextprotocol/sdk": "^1.29.0",
"better-sqlite3": "^12.10.1",
"zod": "^4.4.3"
},
"overrides": {
"hono": "4.12.25"
}
}