Insurance claims intake
Typed extraction into structs beats prompt-and-parse, and JSONL tracing gives you a per-claim audit trail with token and cost attribution.
Typed extraction · JSONL tracing · Per-claim attribution
Thirty-two workloads where typed AI, deterministic testing, exact decimals, capability grants, and a single binary for web, CLI, and SaaS backends are not nice-to-haves - they are the difference between a demo and something you can ship.
Where you must prove what happened
Typed extraction into structs beats prompt-and-parse, and JSONL tracing gives you a per-claim audit trail with token and cost attribution.
Typed extraction · JSONL tracing · Per-claim attribution
secret and reveal keep PII out of logs by construction, and capability grants let you prove a component never had network access.
Secrets by type · Capability grants · Offline mock mode
A package granted empty capabilities is mechanically incapable of exfiltrating PHI - a stronger claim than a policy document.
Pure extraction modules · Typed clinical structs · Trace without content
@ensures contracts in natural language catch semantic errors that types alone cannot - like summaries that invent obligations.
Natural-language contracts · Typed skeleton, semantic guard · Deterministic replay
Where being approximately right is being wrong
Ecko has a real decimal type with 19.99m literals. Financial matching in a float language is a latent bug.
Decimal literals · Typed line items · The money package
Typed extraction plus checked overflow plus contracts asserting totals reconcile.
Contracts on totals · Overflow as error · CSV and SQL in the box
Public-sector work needs offline reproducibility and no vendor lock-in. One binary, no runtime, deterministic replay.
Single static binary · Mock mode in CI · Vendored packages
cost and tokens are builtins, so the analyser can account for its own spend.
Built-in metering · Hard budgets · JSONL audit
High-volume routing and tagging
Mock mode is deterministic and schema-valid, so routing logic has real CI tests with no API key and no flakiness.
Deterministic mock mode · Typed labels · One binary on the worker
pmap for fan-out, hard budgets via ECKO_AI_MAX_CALLS so a runaway queue cannot produce a runaway invoice.
pmap · ECKO_AI_MAX_CALLS · Tracing for appeals
Marketplaces normalising millions of messy supplier feeds into one schema.
Pipeline stages · Batch economics · CSV and SQL IO
Batch personalisation where cost per record is the whole business case.
Per-record metering · Typed CRM structs · Offline replays
Internal tooling and security workflows
The mcp package does client and server, and the capability model is exactly what you want when exposing internal tools to an agent.
mcp package both ways · Grants on imports · One binary deployment
A single binary drops onto a host with no Python environment to maintain and no dependency drift.
Static binary · Mock mode for runbooks · HTTP and JSON stdlib
Capability-gated, auditable analysis where the tool cannot quietly grow network access through a transitive dependency.
Declared capabilities · Secrets for IOCs · Trace for IR
One binary in a container, fast startup, no pip install step that breaks on a Tuesday.
Copy binary, run · Pattern matching · py() escape hatch
Pipelines, retrieval, and migration at scale
Pipelines with |>, plus SQL and CSV in the box. The AI step is a stage, not a separate service.
Pipeline operator · SQL and CSV stdlib · Tracing across stages
embed and the rag/db surface, with capability isolation between the retrieval layer and everything else.
embed builtin · rag and db packages · Split grants
Deterministic output, real pattern matching, and py() when you need an existing Python library.
Pattern matching · AI for the long tail · py() bridge
Seeded, deterministic mock mode is a requirement for an eval harness that means anything.
Deterministic mock · Contracts as metrics · ecko test
Multi-tenant features, metering, and customer-facing AI
Per-tenant keys, per-request cost(), and JSONL traces that carry a tenant id - so inference spend is attributable without a separate metering microservice.
Built-in metering · Trace per request · Provider config per env
Hard ceilings via ECKO_AI_MAX_CALLS and exact decimal math when usage converts to an invoice line.
Process-wide call budget · Decimal overage rates · Typed usage records
Capability-gated handlers, secret fields for filenames, and typed extraction - an upload endpoint that cannot grow arbitrary egress.
Grant at the import · Secrets for paths and content · HTTP in the stdlib
Mock mode in CI for the whole signup funnel, typed extraction from free-text company descriptions, and contracts that block hallucinated plan features.
Deterministic funnel tests · Contracts on suggestions · Single deploy artefact
Servers, webhooks, and APIs without a second runtime
webkit gives you auto-escaping templates, signed sessions, and security middleware on top of std.web - one language from HTTP handler to HTML.
webkit batteries · std.web router · ai in the handler
Fast-start HTTP servers, typed parsing of provider payloads, and background work via channels - verify the signature, enqueue, respond 200.
Respond then process · Typed event structs · ecko dev reload
std.web routes returning http.json, capability-granted packages per domain, and mock-mode tests for every endpoint shape.
JSON first · Modular grants · Test without HTTP
This site is the case study: build.ecko renders every page to dist/, Cloudflare serves bytes - no Node, no bundler, no runtime in production.
Generator is an Ecko program · No production runtime · Docs from Markdown
Commands your team actually installs and keeps
The cli package for flags and subcommands, one binary to scp, and mock mode for dry-run paths that still execute real validation logic.
cli package · Single artefact · Dry-run in mock mode
Pipelines over CSV and SQL, progress on stderr, and pmap when you need parallelism - migrations as a typed program, not a one-off notebook.
Pipeline stages · Exact decimals · pmap for throughput
Pattern matching for deterministic transforms, ai for the long tail, and fmt --check in CI so generated output cannot drift silently.
Deterministic first · AI for irregular inputs · ecko fmt --check
The REPL for probing live systems, mock mode for repro scripts, and secrets so pasted customer data does not land in shell history.
ecko repl · secret inputs · Traceable runs