trellis-core 0.2.1

Deterministic reconciler: state changes in; resource commands, output frames, and auditable receipts out.
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
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102

//! Core graph skeleton for Trellis.
//!
//! This crate currently defines typed identities, graph metadata, scope
//! metadata, declared dependencies, deterministic inspection, input
//! transactions, pure derived node recomputation, collection diffs, and
//! data-only resource plans with recursive scope teardown and materialized
//! output frames. Transaction results include deterministic phase traces, and
//! failures expose typed categories.
//!
//! # API stability
//!
//! Trellis is pre-1.0. Core semantics are intended to be more stable than item
//! names and exact signatures: resource plans are data, graph mutation is
//! transactional, dependencies are explicit, scopes own lifecycle, outputs are
//! revisioned, and incremental behavior must remain checkable against full
//! recompute.

#![forbid(unsafe_code)]
#![deny(missing_docs)]

mod audit;
mod audit_types;
mod collection;
mod collection_build;
mod collection_diff;
mod collection_recompute;
mod collection_storage;
mod debug;
mod dependency;
mod dependency_validate;
mod derive;
mod error;
mod graph;
mod graph_support;
mod host_status;
mod ids;
mod input;
mod model;
mod node;
mod oracle;
mod output;
mod output_build;
mod output_frame;
mod output_payload;
mod output_reconcile;
mod read;
mod resource;
mod resource_build;
mod resource_key;
mod resource_reconcile;
mod scope;
mod scope_lifecycle;
mod topology;
mod trace;
mod transaction;
mod transaction_build;
mod transaction_trace_build;
mod transaction_types;

pub(crate) use audit_types::AuditState;
pub use audit_types::{
    NodeChangeExplanation, OutputFrameExplanation, ResourceCoalescedTrace, ResourceCommandCause,
    ResourceCommandExplanation, ScopeResourceInventory,
};
pub use collection::CollectionContext;
pub use collection_diff::{Added, MapDiff, Removed, SetDiff, Unchanged, Updated};
pub use dependency::DependencyList;
pub use derive::{DeriveContext, DeriveError};
pub use error::{
    ErrorAuditEvent, ErrorCategory, ErrorTarget, FullRecomputeOutputMismatch,
    FullRecomputeResourceMismatch, GraphError, GraphResult, OutputError, PlanError,
    ResourcePayloadConflict,
};
pub use graph::Graph;
pub use host_status::{
    HostResourceCommandState, HostResourceOutcome, HostResourceStatus, HostStatusClass,
    classify_host_resource_status,
};
pub use ids::{NodeId, OutputKey, Revision, ScopeId, TransactionId};
pub use node::{CollectionNode, DerivedNode, InputNode, NodeHandle, NodeKind, NodeMeta};
pub use oracle::FullRecomputeCheck;
pub use output::{MaterializedOutput, OutputContext, OutputMeta, OutputOptions};
pub use output_frame::{ClearReason, OutputFrame, OutputFrameKind, RebaselineReason};
pub use output_payload::OutputPayload;
pub use resource::{PlanContext, ResourceCommand, ResourcePlan};
pub use resource_key::ResourceKey;
pub use scope::ScopeMeta;
pub use trace::{
    OutputFrameKindTrace, OutputFrameTrace, ResourceCommandKind, ResourceCommandTrace,
    TraceMismatch, TransactionTrace, assert_transaction_traces_match,
};
pub use transaction::Transaction;
pub use transaction_types::{
    AuditEntry, AuditEvent, AuditExplanationLevel, CollectionDiffKind, CollectionDiffTrace,
    InvariantResultTrace, ScopeLifecycleKind, ScopeLifecycleTrace, StagedInputChange,
    StagedInputOutcome, TransactionOptions, TransactionPhase, TransactionResult,
};

/// Deterministic model-test helpers for oracle and replay checks.
pub mod testing {
    pub use crate::model::{ModelGenerator, ModelScript, ModelStep, ModelTopology};
}