speccoder-core 0.12.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
59
60
61
62
63
64
65

//! 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 ask;
pub mod bug;
pub mod codes;
pub mod collection;
mod command;
pub mod context;
pub mod event;
pub mod evidence;
pub mod explore;
pub mod graph;
pub mod inbox;
pub mod ladder;
pub mod lane;
pub mod new_project;
pub mod next;
pub mod oracle;
pub mod predicate;
pub mod regression;
pub mod retry;
pub mod scope;
pub mod shape;
pub mod similar;
pub mod snapshot;
pub mod spec;
pub mod stage;
pub mod step;
pub mod story;
pub mod strength;
pub mod tour;
pub mod verify;
pub mod verify_branch;
pub mod words;
pub mod workflow;

pub use command::{
    ActionsReport, AgentAttempt, AgentCard, AgentPlanStep, AgentTick, 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, Estimate, EvalCase, EvalReport, EvalSummary,
    ExitCode, ExplainReport, FeatureEntry, FeatureReport, FeaturesReport, FullTier, GroupCount,
    HeldOutGap, HeldOutOracle, InPlaceReport, InboxItem, InboxReport, Inherited, InitCheck,
    InitKey, InitReport, InitRun, InstructionFile, IssueEntry, IssuesReport, LastAttempt,
    MonitorScore, ObjectVerification, ObjectView, OpenQuestion, OperatorView, PAYLOADS,
    PendingCall, PermissionTally, PolicyCoverage, PrReport, PresetReport, PresetState,
    ProposeReport, ReasonCount, RefusedPath, Remedy, ReplayReport, RequirementDrift, ReviewChange,
    ReviewItem, ReviewReport, ReviewTotals, RiskReason, RunReport, SCHEMA_VERSION, SchemaName,
    SchemaReport, SetAside, ShapeReport, SignerView, SkillEntry, SkillRunReport, SkillsReport,
    SpecVersion, StatusReport, StatusTotals, TaskCost, TaskStatus, TickState, TraceRow, UiReport,
    Unverified, Usage, VerifyOutcome, VerifyReason, WorkingRun, WorktreeReport,
};
pub use command::{
    ChainStep, ChainStop, PlanCheck, PlanningChainReport, Readiness, SampleRecording, SampleReport,
    SampleRun,
};