Skip to main content

Crate soma_som_ring

Crate soma_som_ring 

Source
Expand description

§soma-som-ring

Universal ring substrate for the soma(som) circular architecture: Quad<R,P,T> + Unit trait + concrete Ring { fu, mu, cu, ou, su, hu } + SuccessionDriver (OPUS-derived) + CycleObserver + constitutive observer/vault primitives. Single-crate composition tier.

§OPUS traceability

ItemOPUS §
Quad<R, P, T>§sec:quad — universal structural element
Unit trait§sec:vertical def:ring — σ: U → U; Successor chain; Interrogative
FU..HU§sec:units (line 851) — six named elements of U
Ring§sec:vertical def:ring — concrete directed cycle; σ^6 = id (Inv. 2)
SuccessionDriver§sec:vertical def:ring — OPUS-derived σ successor driver trait
CycleObserver§sec:constitutive Inv. 10 — meta-observer external to units
asymmetry§sec:constitutive Inv. 7 + §sec:crypto-authz
observer§sec:constitutive Inv. 10 (Observed Commitment)
projection§sec:horizontal SU.Interface (Body, Widget, Specification)
layers§sec:horizontal Data →P Server →P Client →P Interface
types§sec:quad + §sec:tree + §sec:crypto-ledger
federation§sec:inter-ring — inter-ring crossing + genesis fingerprint
lexicon§sec:mu / §app:vocabulary — Grammar/Expression/Dictionary is MU.Interface

Re-exports§

pub use asymmetry::ActionInputEdge;
pub use asymmetry::Committed;
pub use asymmetry::LedgerError;
pub use asymmetry::RingCloseEmit;
pub use asymmetry::RingCloseReception;
pub use asymmetry::TemporalLedgerDeposit;
pub use asymmetry::WayAuthenticationAnchor;
pub use asymmetry::WireEgressEdge;
pub use federation::Bridge;
pub use federation::CurvePointValidator;
pub use federation::GenesisFingerprint;
pub use federation::InvalidCurvePoint;
pub use federation::MetaCrossing;
pub use federation::MetaCrossingWitness;
pub use federation::Verified;
pub use federation::WitnessVerificationError;
pub use layers::ClientLayer;
pub use layers::DataLayer;
pub use layers::InterfaceLayer;
pub use layers::ServerLayer;
pub use lexicon::Atom;
pub use lexicon::AtomStore;
pub use lexicon::AtomUriError;
pub use lexicon::Capability as LexiconCapability;
pub use lexicon::LexiconEntry;
pub use lexicon::LexiconResolver;
pub use lexicon::MapBackedResolver;
pub use lexicon::StoreError;
pub use lexicon::VocabCoord;
pub use observer::AppendReport;
pub use observer::Attestor;
pub use observer::BatchError;
pub use observer::ChainError;
pub use observer::LedgerChain;
pub use observer::LedgerEntry;
pub use observer::Signature;
pub use observer::Verifier;
pub use observer::VerifyingKey;
pub use participation::Crossing;
pub use participation::CycleError;
pub use participation::GateReject;
pub use participation::ParticipationRegistry;
pub use projection::Interrogative;
pub use propagation::AccumulatorAlreadyRegistered;
pub use propagation::AccumulatorSlot;
pub use propagation::AdmissionHandle;
pub use propagation::ContextAccumulator;
pub use propagation::CorrelationExhausted;
pub use propagation::CorrelationId;
pub use propagation::EmitError;
pub use propagation::PropagationSubstrate;
pub use propagation::QuadRingCmd;
pub use propagation::RingAdmissionEmitter;
pub use propagation::RingCmd;
pub use types::events::ClientEvent;
pub use types::events::ClientOutput;
pub use types::events::ServerEvent;
pub use types::CycleIndex;
pub use types::ElementId;
pub use types::Fork;
pub use types::InterfaceDelta;
pub use types::IntraSigningView;
pub use types::IntraSigningViewBuilder;
pub use types::Path;
pub use types::PathSegment;
pub use types::PrevHash;
pub use types::RingSigningViewBuilder;
pub use types::Sequence;
pub use types::SigningView;
pub use types::SomLayerId;
pub use types::SomSnapshot;
pub use types::StateHash;

Modules§

asymmetry
Unit-asymmetry marker traits — encoding per-unit extra responsibilities.
federation
Federation substrate — ring-tier inter-ring primitives per OPUS §sec:inter-ring.
layers
SOM layer traits — the semantic interfaces for the four SOM layers.
lexicon
lexicon — Ring-native semantic lexicon substrate
observer
Meta-observer substrate per §sec:constitutive Inv. 10.
participation
Ring-participation contract primitives: Crossing, GateReject, ParticipationRegistry, and CycleError.
projection
projection — OPUS-canonical SU.Interface projection substrate
propagation
Ring-cmd propagation substrate — OPUS-derived.
types
Foundation value types for the soma(som) ring.
unit
Unit-position marker types — zero-sized structs encoding SOMA unit positions.

Structs§

CU
Conscience Unit — WCN commitment evaluation.
FU
Factory Unit — WAI environmental self-location.
HU
Hub Unit — WDW action/lifecycle.
HopWitness
Per-σ-hop witness produced by SuccessionDriver::drive_succession.
MU
Machine Unit — WIU context interpretation.
NoopObserver
No-op CycleObserver for tests and consumers that don’t require meta-observer integration.
OU
Operator Unit — WAY identity/authentication.
Quad
Universal structural element per OPUS §sec:quad.
Report
Report wrapper for SuccessionDriver::drive_succession.
Ring
Concrete 6-unit directed ring per OPUS §sec:vertical def:ring (line 699).
SU
Screen Unit — WAW presentation/orientation.
SomaQuad
Cross-layer SOMA composite per OPUS §sec:horizontal line 725.

Traits§

CycleObserver
Observer hook for ring cycle events per §sec:constitutive Inv. 10.
SuccessionDriver
OPUS-derived driver trait for the succession function σ per §sec:vertical def:ring.
Unit
Ring-unit trait per OPUS §sec:vertical def:ring — σ: U → U.