Module verdict 

Verdict evaluation and output pipeline.

This module implements TJ-SPEC-014: grace period observation, indicator evaluation against the protocol trace, attack-level verdict computation, and structured output formatting.

Architecture

Terminal Phase → GracePeriod → Trace Snapshot
                                    ↓
                    ┌───────────────────────────────┐
                    │  Evaluation Pipeline           │
                    │  for each indicator:           │
                    │    1. filter_trace_for_indicator│
                    │    2. evaluate_indicator (SDK)  │
                    │    3. aggregate per-indicator   │
                    │  compute_verdict (SDK)          │
                    └───────────────┬───────────────┘
                                    ↓
                    ┌───────────────────────────────┐
                    │  Output                        │
                    │  • JSON verdict (--output)     │
                    │  • Human summary (stderr)      │
                    │  • Exit code                   │
                    └───────────────────────────────┘

Re-exports

pub use evaluation::ActorInfo;

pub use evaluation::EvaluationConfig;

pub use evaluation::evaluate_verdict;

pub use evaluation::extract_protocol;

pub use grace::GracePeriodState;

pub use grace::resolve_grace_period;

pub use output::ActorStatus;

pub use output::CorrelationOutput;

pub use output::ExecutionSummary;

pub use output::VerdictOutput;

pub use output::build_verdict_output;

pub use output::print_human_summary;

pub use output::verdict_exit_code;

pub use output::write_json_verdict;

Modules

evaluation

Indicator evaluation pipeline and trace filtering.

grace

Grace period timer for post-terminal-phase observation.

output

Verdict output formatting: JSON file and human summary.