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;
12pub mod collection;
13mod command;
14pub mod context;
15pub mod event;
16pub mod evidence;
17pub mod graph;
18pub mod inbox;
19pub mod ladder;
20pub mod lane;
21pub mod new_project;
22pub mod next;
23pub mod oracle;
24pub mod predicate;
25pub mod regression;
26pub mod retry;
27pub mod scope;
28pub mod similar;
29pub mod snapshot;
30pub mod spec;
31pub mod stage;
32pub mod step;
33pub mod strength;
34pub mod tour;
35pub mod verify;
36pub mod verify_branch;
37pub mod words;
38pub mod workflow;
39
40pub use command::{
41    ActionsReport, AgentAttempt, AgentCard, AgentPlanStep, AgentTick, ApprovalView,
42    ApprovalsReport, ArchiveReport, AttestReport, AuthReport, BatchGroup, BatchView, BenchReport,
43    ChecklistStatus, CodeInfo, CommandData, CommandResult, CommandStatus, ConfigChange, ConfigKey,
44    ConfigReport, ConfigSection, ConfigTable, ControlReport, ConvergeReport, ConvergenceRound,
45    CostReport, CoverageDecision, CoverageEntry, CoverageRow, DecidedCall, DoctorCheck,
46    DoctorLevel, DoctorReport, Drift, EarlierAttempt, EvalCase, EvalReport, EvalSummary, ExitCode,
47    ExplainReport, FeatureEntry, FeatureReport, FeaturesReport, FullTier, HeldOutGap,
48    HeldOutOracle, InPlaceReport, InboxItem, InboxReport, InitCheck, InitKey, InitReport, InitRun,
49    InstructionFile, IssueEntry, IssuesReport, LastAttempt, MonitorScore, ObjectVerification,
50    ObjectView, OpenQuestion, OperatorView, PAYLOADS, PendingCall, PermissionTally, PolicyCoverage,
51    PrReport, PresetReport, PresetState, ProposeReport, ReasonCount, RefusedPath, Remedy,
52    ReplayReport, RequirementDrift, ReviewChange, ReviewItem, ReviewReport, ReviewTotals,
53    RunReport, SCHEMA_VERSION, SchemaName, SchemaReport, SetAside, SignerView, SkillEntry,
54    SkillRunReport, SkillsReport, SpecVersion, StatusReport, StatusTotals, TaskCost, TaskStatus,
55    TickState, TraceRow, UiReport, Unverified, Usage, VerifyOutcome, VerifyReason, WorktreeReport,
56};
57pub use command::{
58    ChainStep, ChainStop, PlanCheck, PlanningChainReport, Readiness, SampleRecording, SampleReport,
59    SampleRun,
60};
speccoder_core/lib.rs

speccoder_core/
lib.rs
