For: CEO · CISO · GC · Head of AI · 2 pages · ~15 min

Product datasheet

Promethean · Product Datasheet

Document type Executive datasheet · CEO · CISO · GC · Head of AI Length 2 pages Last revised 2026-05-18 (v1.3 — post-launch hardening) Companion docs TECHNICAL_ARCHITECTURE · SECURITY_BRIEF · COMMERCIAL_DATASHEET · PROMETHEAN_THEORY_AND_FINDINGS (canonical theory paper)


What it is

A deterministic substrate that contains, audits, and cryptographically attests every LLM call made inside a regulated software product — at build time AND at runtime. Each AI decision becomes one signed entry in a Bitcoin-anchored hash chain a regulator can verify in 50 KB of plain JavaScript.

What it solves

Every regulated enterprise has the same stuck pilot: ship an LLM feature inside a regulated product without killing audit, liability, or compliance. The current vendor stack is partial:

  • Vanta / Drata audit the software around the LLM
  • Credo AI / Fiddler audit the model's behaviour
  • LangChain / Vellum orchestrate the calls
  • None constrain the LLM's output surface by construction
  • None carry the call into a regulator-verifiable record

Promethean does both. The same closed-enum + reviewer-queue + signed-receipt pattern that governs the substrate's build-time generators now runs at request-time inside emitted products.

Why this matters now

Three forces converging this decade:

  1. EU AI Act binds through 2025–26. DORA effective Jan 2025. NIS 2 in force. PSD3 finalising. Each requires verifiability the current vendor landscape doesn't deliver.
  2. LLM code volume grows 100× by 2027. Human review at human throughput becomes the bottleneck.
  3. Frontier-model commoditisation. Margin compresses for model providers; margin expands for the deterministic layer they feed.

How it works (in one paragraph)

You declare a RuntimeAISpec: a closed-enum category, an output schema (Zod / Pydantic), a reviewer-gate predicate, and a declared fallback. The SDK enforces the spec at request time. Every call writes one signed entry into an L12 receipt chain (Ed25519, hash-chained, OpenTimestamps-anchored to Bitcoin). A regulator verifies the chain offline by running node verify.mjs — plain JS (~500 lines, exact LoC at /api/facts/verifier-loc), zero dependencies, no Promethean software running on the regulator's side. Theory + threat model in PROMETHEAN_THEORY_AND_FINDINGS.

What ships today (Phase R · v1.3 · post-launch hardening)

L12 runtime-AI receipt chain Append-only · SHA-256 chained · Ed25519-signed-per-entry · OpenTimestamps-anchored to Bitcoin
runConstrainedAI SDK (BSL-1.1) TypeScript reference implementation · email-verified workspaces · per-workspace ingest lock · reveal-webhook-secret route for HMAC operators · Python parity layer ships today (Rust crate Q3 roadmap)
Seven reliability pillars Golden chains · property-based fuzz (700+ scenarios) · differential verifier · continuous-verify daemon · Stryker mutation testing · cross-language port · direct OTS anchor
31 post-launch findings closed Six adversarial stress-test rounds (2026-05-17 → 2026-05-18); severity curve monotonically decreasing after round 2; full trajectory in PROMETHEAN_THEORY_AND_FINDINGS §5; per-commit references on /release-notes
243 tests, 0 failed Across 16 test suites · tsc clean · mutation kill-rate ≥ 75% gates CI
3 live reference deployments paysafe (PSD3+DORA) · cliniclens (HIPAA+MDR+AI Act) · civicgate (eIDAS+GDPR Art. 22) — each verifies in <250 ms
/api/facts/* provenance layer Six endpoints with machine-readable values: verifier LoC + sha256, trust-anchor keys + fingerprints, OTS calendar reachability, anchor cadence, tier allowances, regulatory coverage
Operator surfaces /admin/insights (operator dashboard: funnel, cohorts, recovery candidates) · /release-notes (buyer-friendly roadmap) · /examples (three runnable chain examples with HowTo schema) · /customers (case-study scaffold) · /md/* (LLM-friendly markdown alternates) · daily operator digest at 08:00 UTC · 5-stage lifecycle drip emails
Open-core licensing Verifier · Python port · ADRs · test suites all Apache 2.0; SDK is BSL-1.1; factory + multi-tenant + federation + HSM ops commercial

What a regulator can verify

Eight independent checks, all offline-runnable, all falsifiable:

  1. Hash-chain integrity (entries cannot be retroactively edited)
  2. Per-entry Ed25519 signature against published trust anchor
  3. Closed-enum schema enforcement at request time
  4. PII-safe inputs (only inputHash recorded, never raw)
  5. Bitcoin time attestation via OpenTimestamps
  6. Cross-language byte parity (Python port verifies JS chains)
  7. Continuous reproducibility (reference chains verify across all releases)
  8. Mutation-tested test suite (Stryker break-threshold 75%)

Mapped to GDPR Articles 5/22/25/32, AI Act Articles 12/13/14/15, DORA Articles 6/8, NIS 2 Article 21, PSD3. See SECURITY_BRIEF §3.

Deployment options

Pricing has moved to a self-service ladder driven by lib/workspaces.ts TIER_PRICING. Live values are exposed at /api/facts/tier-allowances. Current tiers:

Tier Price Form
Dev €0 / forever Self-service · 1 spec · 10K entries/mo · self-managed anchoring
Team €79 / spec / month Stripe checkout · unlimited specs · 100K entries/spec/mo · daily OTS
Production €499 / month flat 25 specs · 1M entries/mo · hourly OTS
Scale €1,199 / month flat 50 specs · 5M entries/mo · 30-min OTS
Enterprise €2,499 / month flat Unlimited specs · 10M entries/mo fair-use · 15-min Bitcoin-anchored OTS · framework templates

Stripe live mode + Resend + npm publish are in-progress for 2026-06 (see /roadmap). Today the SDK ships via signed tarball at https://promethean.software/runtime-ai/latest.tgz. Full commercial detail: COMMERCIAL_DATASHEET.

Why now, why this team

The architecture is operationally complete — Phase R closed May 13, 2026 (ADR (xx) v1.2 closeout); post-launch hardening (May 17–18) closed an additional 31 adversarial findings. 50 ADRs publicly document every decision with falsifiable predictions. 7,400+ tests across 223 files. Three live regulator-verifiable references. The technical bottleneck is behind us; the next move is the first paying operator with a real runtime-AI workload.

What this is not

  • Not a model evaluator. We don't replace Fiddler / Credo AI / Lakera; we record what they evaluate.
  • Not a compliance certification body. We produce verifiable artifacts; you retain audit authority.
  • Not a competitor to LangChain / Vellum. Those orchestrate; we contain and attest.
  • Not a hosted observability platform. The verifier runs on your machine, against your copy of the chain.

Next step

You are Go to
CISO / CEO / GC SOLUTION_BRIEF · 6 pages · the buyer narrative
CTO / staff engineer TECHNICAL_ARCHITECTURE · 8 pages
VP Procurement / Finance COMMERCIAL_DATASHEET · 3 pages
Security review SECURITY_BRIEF · 6 pages
Vendor benchmark COMPETITIVE_POSITIONING · 3 pages
Run the verifier yourself curl /paysafe-runtime-ai-receipts.jsonl && node verify.mjs ...

Operator-fit interview · 30 minutes · operators@promethean.software

Canonical source: substrate/docs/product/PRODUCT_DATASHEET.md · kept in sync at every release · Apache 2.0

← All docs