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

speccoder_core/
lib.rs
