speccoder_core/
lib.rs

1//! Pure domain types of speccoder.
2//!
3//! This crate has no IO and no async: its state machines, task graph and
4//! verdict rules stay property-testable without a runtime. The layering test
5//! in the `speccoder` crate keeps its dependency closure free of IO and async
6//! crates.
7
8pub mod actions;
9pub mod codes;
10mod command;
11pub mod evidence;
12pub mod graph;
13pub mod next;
14pub mod retry;
15pub mod scope;
16pub mod snapshot;
17pub mod spec;
18pub mod stage;
19pub mod strength;
20pub mod verify;
21
22pub use command::{
23    ApprovalView, ApprovalsReport, ArchiveReport, AttestReport, AuthReport, BenchReport,
24    ChecklistStatus, CodeInfo, CommandData, CommandResult, CommandStatus, ConfigChange, ConfigKey,
25    ConfigReport, ConfigSection, ConfigTable, ControlReport, ConvergeReport, ConvergenceRound,
26    CostReport, DecidedCall, DoctorCheck, DoctorLevel, DoctorReport, Drift, EarlierAttempt,
27    EvalCase, EvalReport, EvalSummary, ExitCode, ExplainReport, FeatureEntry, FeatureReport,
28    FeaturesReport, FullTier, HeldOutGap, HeldOutOracle, InPlaceReport, InboxItem, InboxReport,
29    InitCheck, InitKey, InitReport, InitRun, InstructionFile, IssueEntry, IssuesReport,
30    LastAttempt, MonitorScore, ObjectVerification, OpenQuestion, OperatorView, PAYLOADS,
31    PendingCall, PrReport, ProposeReport, RefusedPath, ReplayReport, RequirementDrift, ReviewItem,
32    ReviewReport, ReviewTotals, RunReport, SCHEMA_VERSION, SchemaName, SchemaReport, SignerView,
33    SkillEntry, SkillRunReport, SkillsReport, SpecVersion, StatusReport, StatusTotals, TaskCost,
34    TaskStatus, TraceRow, UiReport, Usage, VerifyOutcome, VerifyReason, WorktreeReport,
35};
speccoder_core/lib.rs

speccoder_core/
lib.rs
