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

speccoder_core/
lib.rs
