speccoder-core 0.2.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

//! 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;
mod command;
pub mod context;
pub mod event;
pub mod evidence;
pub mod graph;
pub mod inbox;
pub mod ladder;
pub mod next;
pub mod oracle;
pub mod predicate;
pub mod retry;
pub mod scope;
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, ProposeReport, 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, Usage, VerifyOutcome, VerifyReason, WorktreeReport,
};