speccoder-core 0.3.0

Pure domain of speccoder: project snapshots, the task graph, verdict rules and command results. No IO, no async.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58

//! Pure domain types of speccoder.
//!
//! This crate has no IO and no async: its state machines, task graph and
//! verdict rules stay property-testable without a runtime. The layering test
//! in the `speccoder` crate keeps its dependency closure free of IO and async
//! crates.

pub mod acceptance;
pub mod actions;
pub mod bug;
pub mod codes;
pub mod collection;
mod command;
pub mod context;
pub mod event;
pub mod evidence;
pub mod graph;
pub mod inbox;
pub mod ladder;
pub mod new_project;
pub mod next;
pub mod oracle;
pub mod predicate;
pub mod regression;
pub mod retry;
pub mod scope;
pub mod similar;
pub mod snapshot;
pub mod spec;
pub mod stage;
pub mod strength;
pub mod tour;
pub mod verify;
pub mod verify_branch;
pub mod words;
pub mod workflow;

pub use command::{
    ActionsReport, ApprovalView, ApprovalsReport, ArchiveReport, AttestReport, AuthReport,
    BatchGroup, BatchView, BenchReport, ChecklistStatus, CodeInfo, CommandData, CommandResult,
    CommandStatus, ConfigChange, ConfigKey, ConfigReport, ConfigSection, ConfigTable,
    ControlReport, ConvergeReport, ConvergenceRound, CostReport, CoverageDecision, CoverageEntry,
    CoverageRow, DecidedCall, DoctorCheck, DoctorLevel, DoctorReport, Drift, EarlierAttempt,
    EvalCase, EvalReport, EvalSummary, ExitCode, ExplainReport, FeatureEntry, FeatureReport,
    FeaturesReport, FullTier, HeldOutGap, HeldOutOracle, InPlaceReport, InboxItem, InboxReport,
    InitCheck, InitKey, InitReport, InitRun, InstructionFile, IssueEntry, IssuesReport,
    LastAttempt, MonitorScore, ObjectVerification, ObjectView, OpenQuestion, OperatorView,
    PAYLOADS, PendingCall, PolicyCoverage, PrReport, PresetReport, PresetState, ProposeReport,
    ReasonCount, RefusedPath, Remedy, ReplayReport, RequirementDrift, ReviewChange, ReviewItem,
    ReviewReport, ReviewTotals, RunReport, SCHEMA_VERSION, SchemaName, SchemaReport, SetAside,
    SignerView, SkillEntry, SkillRunReport, SkillsReport, SpecVersion, StatusReport, StatusTotals,
    TaskCost, TaskStatus, TraceRow, UiReport, Unverified, Usage, VerifyOutcome, VerifyReason,
    WorktreeReport,
};
pub use command::{
    ChainStep, ChainStop, PlanCheck, PlanningChainReport, Readiness, SampleRecording, SampleReport,
    SampleRun,
};