package.json

{
  "name": "polygraph",
  "version": "6.3.0",
  "description": "A polygraph for your state machine: an LLM derives a transition-function spec from your code (default: SAM v2 strict-profile module; --legacy-bare-next for the bare next(state, action, data) artifact), then Polygraph replays real traces against it (conformance) AND model-checks it against invariants (finds bugs by exhaustive iteration), with an optional TLC escalation tier (--tla). Also includes polygen: author NEW verifiable code from a feature description.",
  "type": "module",
  "license": "Apache-2.0",
  "keywords": [
    "verification",
    "state-machine",
    "trace-validation",
    "model-checking",
    "invariants",
    "llm",
    "consistency-check",
    "polygraph",
    "polygen",
    "code-generation"
  ],
  "scripts": {
    "test": "node test/selftest.mjs && node test/selftest-v2.mjs && node test/selftest-prompts.mjs && node test/selftest-polygen.mjs && node test/selftest-tla.mjs",
    "test:tla": "node test/selftest-tla.mjs",
    "test:polygen": "node test/selftest-polygen.mjs",
    "test:legacy": "node test/selftest.mjs",
    "test:v2": "node test/selftest-v2.mjs",
    "test:prompts": "node test/selftest-prompts.mjs",
    "test:polyrun": "node --no-warnings --test polyrun/test/kernel.test.mjs polyrun/test/m1.test.mjs polyrun/test/m2.test.mjs polyrun/test/m3.test.mjs polyrun/test/check-product.test.mjs polyrun/test/simulate.test.mjs polyrun/test/soak.test.mjs",
    "test:polyvers": "node --no-warnings --test polyvers/test/m0.test.mjs polyvers/test/product.test.mjs",
    "test:polynv": "node --no-warnings --test polynv/test/m0.test.mjs polynv/test/m1.test.mjs polynv/test/m2.test.mjs polynv/test/review-fixes.test.mjs polynv/test/completion.test.mjs",
    "test:polyviz": "node --no-warnings --test polyviz/test/determinism.test.mjs polyviz/test/counterexample.test.mjs polyviz/test/state-machine.test.mjs polyviz/test/compat.test.mjs polyviz/test/adapter.test.mjs polyviz/test/adapter-machine.test.mjs polyviz/test/adapter-ce.test.mjs polyviz/test/example.test.mjs polyviz/test/golden.test.mjs polyviz/test/schema.test.mjs polyviz/test/overflow.test.mjs polyviz/test/theme.test.mjs polyviz/test/png.test.mjs polyviz/test/report.test.mjs polyviz/test/no-hex.test.mjs",
    "polyvers": "node polyvers/bin/polyvers.mjs",
    "polynv": "node polynv/bin/polynv.mjs",
    "polyviz": "node polyviz/bin/polyviz.mjs",
    "bench:polyrun": "node --no-warnings polyrun/bench/bench.mjs",
    "demo:polyrun": "node --no-warnings polyrun/demo/run-demo.mjs",
    "test:oms": "node --no-warnings --test examples/polyrun-oms/test/oms.test.mjs",
    "demo:oms": "node --no-warnings examples/polyrun-oms/demo/run-demo.mjs",
    "oms": "node --no-warnings examples/polyrun-oms/bin/oms-server.mjs",
    "verify:turnstile": "node scripts/verify.mjs --contract examples/turnstile/contract.json --traces examples/turnstile/traces --specs examples/turnstile/specs --legacy-bare-next --out examples/turnstile/out",
    "verify:turnstile-v2": "node scripts/verify.mjs --contract examples/turnstile-v2/contract.json --traces examples/turnstile-v2/traces --specs examples/turnstile-v2/specs --out examples/turnstile-v2/out",
    "check": "node scripts/check.mjs",
    "polygen": "node scripts/polygen.mjs",
    "eval:mechanism": "node eval/mechanism-eval.mjs",
    "eval:check": "node eval/check-eval.mjs",
    "eval:ab": "node eval/skill-ab.mjs",
    "eval:ab-v2": "node eval/ab-v2.mjs",
    "study:tier1": "node eval/fleet-study/tier1/run.mjs",
    "study:capture": "node examples/fleet-study-stripe/capture/capture.mjs --offline"
  },
  "bin": {
    "polygraph": "scripts/verify.mjs",
    "polygen": "scripts/polygen.mjs"
  },
  "engines": {
    "node": ">=20"
  },
  "devDependencies": {
    "@cognitive-fab/sam-fsm": "^2.1.0"
  },
  "dependencies": {
    "@cognitive-fab/sam-pattern": "^2.2.0",
    "acorn": "^8.17.0",
    "pg": "^8.22.0"
  },
  "optionalDependencies": {
    "@resvg/resvg-js": "^2.6.2",
    "elkjs": "^0.9.3"
  }
}