Skip to content

ldtc.cli

LDTC CLI: run baseline and Ω perturbation demos.

Defines the ldtc command with subcommands for the baseline run and omega perturbations (power sag, ingress flood, command conflict, exogenous subsidy). It orchestrates runtime scheduling, measurement, guardrails, attestation, and reporting.

See Also

paper/main.tex — Verification Pipeline; CLI orchestration.

AdapterProtocol

Bases: Protocol

Protocol for plant adapters used by the CLI.

Implementations must support reading state, writing actuators, and applying omega stimuli.