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

speccoder_core/
lib.rs
