Design

The design keeps methodology, execution, storage, and UI concerns separate.

flowchart LR Risk[Risk map] --> Methodology[Methodology layer] Methodology --> Scenario[Scenario resolver] Scenario --> Probe[Probe runner] Probe --> Oracle[Oracle evaluator] Oracle --> Finding[Finding writer] Finding --> Replay[Replay contract] Finding --> Report[Reporter]
Methodology
Execution
Evidence

Turns risks and invariants into scenario intent.

Runs probes under profile constraints, sandboxing, and budget controls.

Writes findings, reports, replay scripts, and audit events.

Design pressure

The system favors explicit contracts over clever inference. That is why schema packages sit near the center of the architecture.