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

speccoder_core/
lib.rs
