speccoder-core 0.1.0

Pure domain types of speccoder: ids, task graph, state machines, 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

//! 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 actions;
pub mod codes;
mod command;
pub mod evidence;
pub mod graph;
pub mod next;
pub mod retry;
pub mod scope;
pub mod snapshot;
pub mod spec;
pub mod stage;
pub mod strength;
pub mod verify;

pub use command::{
    ApprovalView, ApprovalsReport, ArchiveReport, AttestReport, AuthReport, BenchReport,
    ChecklistStatus, CodeInfo, CommandData, CommandResult, CommandStatus, ConfigChange, ConfigKey,
    ConfigReport, ConfigSection, ConfigTable, ControlReport, ConvergeReport, ConvergenceRound,
    CostReport, 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, OpenQuestion, OperatorView, PAYLOADS,
    PendingCall, PrReport, ProposeReport, RefusedPath, ReplayReport, RequirementDrift, ReviewItem,
    ReviewReport, ReviewTotals, RunReport, SCHEMA_VERSION, SchemaName, SchemaReport, SignerView,
    SkillEntry, SkillRunReport, SkillsReport, SpecVersion, StatusReport, StatusTotals, TaskCost,
    TaskStatus, TraceRow, UiReport, Usage, VerifyOutcome, VerifyReason, WorktreeReport,
};