Skip to main content

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 acceptance;
9pub mod actions;
10pub mod bug;
11pub mod codes;
12mod command;
13pub mod context;
14pub mod event;
15pub mod evidence;
16pub mod graph;
17pub mod inbox;
18pub mod ladder;
19pub mod next;
20pub mod oracle;
21pub mod predicate;
22pub mod retry;
23pub mod scope;
24pub mod snapshot;
25pub mod spec;
26pub mod stage;
27pub mod strength;
28pub mod tour;
29pub mod verify;
30pub mod verify_branch;
31pub mod words;
32pub mod workflow;
33
34pub use command::{
35    ActionsReport, ApprovalView, ApprovalsReport, ArchiveReport, AttestReport, AuthReport,
36    BatchGroup, BatchView, BenchReport, ChecklistStatus, CodeInfo, CommandData, CommandResult,
37    CommandStatus, ConfigChange, ConfigKey, ConfigReport, ConfigSection, ConfigTable,
38    ControlReport, ConvergeReport, ConvergenceRound, CostReport, CoverageDecision, CoverageEntry,
39    CoverageRow, DecidedCall, DoctorCheck, DoctorLevel, DoctorReport, Drift, EarlierAttempt,
40    EvalCase, EvalReport, EvalSummary, ExitCode, ExplainReport, FeatureEntry, FeatureReport,
41    FeaturesReport, FullTier, HeldOutGap, HeldOutOracle, InPlaceReport, InboxItem, InboxReport,
42    InitCheck, InitKey, InitReport, InitRun, InstructionFile, IssueEntry, IssuesReport,
43    LastAttempt, MonitorScore, ObjectVerification, ObjectView, OpenQuestion, OperatorView,
44    PAYLOADS, PendingCall, PolicyCoverage, PrReport, ProposeReport, RefusedPath, Remedy,
45    ReplayReport, RequirementDrift, ReviewChange, ReviewItem, ReviewReport, ReviewTotals,
46    RunReport, SCHEMA_VERSION, SchemaName, SchemaReport, SetAside, SignerView, SkillEntry,
47    SkillRunReport, SkillsReport, SpecVersion, StatusReport, StatusTotals, TaskCost, TaskStatus,
48    TraceRow, UiReport, Usage, VerifyOutcome, VerifyReason, WorktreeReport,
49};