Process optimization
Analyzes telemetry and quality data, diagnoses drift, proposes setpoint changes within spec. Abstains cleanly when data is insufficient — a guessed diagnosis counts as a failure.
Evidence comes only from the historian.
Verified, memory-backed agents for the factory floor
Two specialist agents — process optimization and production scheduling — where every claim cites replayable evidence, every schedule is a reproducible solver output, and every risky action waits for a human signature. Nothing unverified leaves the pipeline. Nothing unverified enters memory.
Each gate blocks a specific failure mode. Code gates outrank the model: a generous reviewer cannot approve what deterministic checks refuted.
Every output parses against fail-closed Pydantic schemas. Out-of-spec setpoints and understated risk never leave the agent.
BLOCKS: structural hallucinationEach evidence reference encodes its exact query. The verifier re-runs it against the historian and compares.
BLOCKS: invented evidenceSchedules carry a solution_id. The verifier re-runs the deterministic solver — match or reject.
BLOCKS: invented schedulesHigh risk, irreversible actions and late schedules force approval. The flag is computed — a model cannot unset it.
HOLDS: consequential actionsOnly verified outcomes are remembered. Rejected and errored runs never poison future recalls.
ADMITS: verified history only| Property | Enforced by |
|---|---|
| Setpoints stay inside spec envelopes | schema validator + verifier re-check against the real spec sheet |
| No invented citations | deterministic replay against the plant historian |
| No invented schedules | solver re-run + solution_id comparison |
| Risky actions gated by humans | computed approval flag, not model-settable |
| No memory poisoning | writes only in orchestrator code, verified outcomes only |
| Fail closed | rejected or errored runs emit no results and no memories |
Analyzes telemetry and quality data, diagnoses drift, proposes setpoint changes within spec. Abstains cleanly when data is insufficient — a guessed diagnosis counts as a failure.
Evidence comes only from the historian.
Plans the horizon by invoking a deterministic EDD solver, then interprets: late orders, unschedulable orders, line utilization risks. The model interprets; the solver decides.
Schedules come only from the solver.
A durable journal of verified incidents — including the verifier objections earned along the way. Agents recall similar past cases as priors, never as evidence. The plant in month six knows what month one didn't.
Only the orchestrator writes memory.
Every industrial system — SCADA, historian, MES, ERP, even a supervisor's spreadsheet — can export tabular files. That makes onboarding a data export, not an IT integration project. Native connectors (SQL, OPC UA) plug in behind the same interface when a deployment needs them.
The offline eval suite needs no API key: solver physics, citation replay, tampered-schedule detection, memory gating and the full orchestration loop are all verified deterministically.
# install
python -m venv .venv && .venv/bin/pip install -e .
# offline eval suite — no API key required
python eval_verifier.py EVAL PASSED
python eval_orchestrator.py EVAL PASSED
python eval_memory.py EVAL PASSED
python eval_scheduling.py EVAL PASSED
# live pipeline against the demo plant
export ANTHROPIC_API_KEY=sk-ant-…
python orchestrator.py