Crate dsfb_semiotics_calculus

Expand description

§DSFB Structural Semiotics Calculus (`dsfb-semiotics-calculus`)

Invariant Forge LLC — April 2026 — Version 0.1.0

This crate is the Rust type-level realization of the DSFB Structural Semiotics Calculus (DSSC), a typed algebraic framework for deterministic, non-interfering, auditable structural interpretation of residual trajectories.

§What this crate provides

The crate encodes the core DSSC types and traits exactly as they appear in the companion paper “DSFB Structural Semiotics Calculus: Formal Syntax, Composition Rules, and Provable Properties of Endoductive Inference over Residual Trajectories” (Invariant Forge LLC, DOI: 10.5281/zenodo.19446580). The type system enforces at compile time:

Non-interference (SC-2): Observer is a pure function over Trajectory; it holds no mutable references to the observed system.
Totality (SC-1): Enduce::enduce returns Episode for every input, never panics, never returns None. An empty heuristics bank yields Motif::Unknown.
Auditability (SC-3): Every Episode carries a ProvenanceTag recording the full (sign_sequence, grammar_path, add_descriptor) derivation.

§IP Notice

The Apache 2.0 license applies to this software artifact as an executable and distributable work. It does not constitute a license to the underlying theoretical framework, mathematical architecture, formal constructions, or supervisory methods described in the companion paper, which constitute proprietary Background IP of Invariant Forge LLC (Delaware LLC No. 10529072). Commercial deployment requires a separate written license. Inquiries: licensing@invariantforge.net

Re-exports§

pub use sign::ResidualSign;
pub use envelope::AdmissibilityEnvelope;
pub use envelope::EnvelopeFamily;
pub use grammar::GrammarState;
pub use grammar::GrammarFsm;
pub use motif::Motif;
pub use provenance::ProvenanceTag;
pub use episode::Episode;
pub use enduce::Enduce;
pub use bank::HeuristicsBank;
pub use bank::MotifPattern;
pub use observer::Observer;

Modules§

bank: Heuristics Bank (τ_h)
composition: Composition Operators (Section 7 of the DSSC paper)
enduce: Endoductive Operator (ℰ)
envelope: Admissibility Envelope (τ_E)
episode: Episode (τ_m × τ_φ)
figures: Figure Generation (dsfb-semiotics-calculus)
grammar: Grammar FSM (τ_g)
motif: Motif Descriptor (τ_m)
observer: Observer (𝒪: Traj → Ep)
provenance: Provenance Tag (τ_φ)
sign: Residual Sign (τ_σ)