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

speccoder_core/
lib.rs
