package.json

{
  "name": "llmbda-ts",
  "version": "0.2.1",
  "description": "A TypeScript reference implementation of the LLMbda calculus (Garby, Gordon, Sands 2026) — a labeled, dynamically information-flow-tracked lambda calculus for agentic LLM programs. NOT a proof: the noninterference theorem (TIPNI) is machine-checked only in the paper's Lean development. This port re-implements the operational semantics and tests the security-critical rules against the paper's own leak examples, but carries no formal guarantee.",
  "type": "module",
  "license": "Apache-2.0",
  "repository": {
    "type": "git",
    "url": "git+https://github.com/schlpbch/LLMbdaJS.git"
  },
  "homepage": "https://github.com/schlpbch/LLMbdaJS#readme",
  "bugs": {
    "url": "https://github.com/schlpbch/LLMbdaJS/issues"
  },
  "author": "Andreas Schlapbach",
  "scripts": {
    "build": "tsc -p tsconfig.json",
    "typecheck": "tsc -p tsconfig.examples.json",
    "test": "node --import tsx test/run.ts",
    "coverage": "c8 --all --src src --include \"src/**/*.ts\" --exclude \"test/**\" --exclude \"examples/**\" --reporter text --reporter html --reporter json-summary --check-coverage --statements 100 --functions 100 --lines 100 --branches 99 node --import tsx test/run.ts",
    "example:postcode": "node --import tsx examples/postcode.ts",
    "example:retry": "node --import tsx examples/retry-loop.ts",
    "example:leak": "node --import tsx examples/fenton-denning-leak.ts",
    "example:confinement": "node --import tsx examples/var-pc-confinement.ts",
    "example:quarantine": "node --import tsx examples/quarantine-classify.ts",
    "example:robust-endorse": "node --import tsx examples/robust-endorse-cascade.ts",
    "example:endorse": "node --import tsx examples/endorse.ts",
    "example:camel-provenance": "node --import tsx examples/camel-provenance-quarantine.ts",
    "example:dynamic-label": "node --import tsx examples/dynamic-label.ts",
    "example:clear-isolation": "node --import tsx examples/clear-isolation.ts",
    "example:deep-label-confinement": "node --import tsx examples/deep-label-confinement.ts",
    "example:prim-wrap-values": "node --import tsx examples/prim-wrap-values.ts",
    "example:recv-scope-isolation": "node --import tsx examples/recv-scope-isolation.ts",
    "example:binop-prim-consistency": "node --import tsx examples/binop-prim-consistency.ts",
    "example:camel-readers-flowsto": "node --import tsx examples/camel-readers-flowsto.ts",
    "example:missing-binops": "node --import tsx examples/missing-binops.ts",
    "example:record-duplicate-field": "node --import tsx examples/record-duplicate-field.ts",
    "example:index-non-integer": "node --import tsx examples/index-non-integer.ts",
    "example:deep-label-closure-env": "node --import tsx examples/deep-label-closure-env.ts",
    "example:bounded-endorse-boolean-domain": "node --import tsx examples/bounded-endorse-boolean-domain.ts",
    "example:primeval-error-type": "node --import tsx examples/primeval-error-type.ts",
    "example:label-test": "node --import tsx examples/label-test.ts",
    "example:scalar-error-paths": "node --import tsx examples/scalar-error-paths.ts",
    "example:security-checks-standalone": "node --import tsx examples/security-checks-standalone.ts",
    "example:endorse-unfactored-lattice": "node --import tsx examples/endorse-unfactored-lattice.ts",
    "example:model-primitives-coverage": "node --import tsx examples/model-primitives-coverage.ts",
    "example:camel-lattice-any-source": "node --import tsx examples/camel-lattice-any-source.ts",
    "example:run-program-base-env": "node --import tsx examples/run-program-base-env.ts",
    "example:label-lit-decodable": "node --import tsx examples/label-lit-decodable.ts"
  },
  "devDependencies": {
    "@types/node": "^26.1.1",
    "c8": "^12.0.0",
    "tsx": "^4.19.0",
    "typescript": "^5.6.0"
  }
}