dsfb_semiotics_calculus/
lib.rs

1//! # DSFB Structural Semiotics Calculus (`dsfb-semiotics-calculus`)
2//!
3//! **Invariant Forge LLC** — April 2026 — Version 0.1.0
4//!
5//! This crate is the Rust type-level realization of the *DSFB Structural Semiotics Calculus*
6//! (DSSC), a typed algebraic framework for deterministic, non-interfering, auditable
7//! structural interpretation of residual trajectories.
8//!
9//! ## What this crate provides
10//!
11//! The crate encodes the core DSSC types and traits exactly as they appear in the companion
12//! paper *"DSFB Structural Semiotics Calculus: Formal Syntax, Composition Rules, and Provable
13//! Properties of Endoductive Inference over Residual Trajectories"* (Invariant Forge LLC,
14//! DOI: 10.5281/zenodo.19446580). The type system enforces at compile time:
15//!
16//! - **Non-interference** (SC-2): `Observer` is a pure function over `Trajectory`; it holds
17//!   no mutable references to the observed system.
18//! - **Totality** (SC-1): `Enduce::enduce` returns `Episode` for every input, never panics,
19//!   never returns `None`. An empty heuristics bank yields `Motif::Unknown`.
20//! - **Auditability** (SC-3): Every `Episode` carries a `ProvenanceTag` recording the full
21//!   `(sign_sequence, grammar_path, add_descriptor)` derivation.
22//!
23//! ## IP Notice
24//!
25//! The Apache 2.0 license applies to this software artifact as an executable and distributable
26//! work. It does not constitute a license to the underlying theoretical framework, mathematical
27//! architecture, formal constructions, or supervisory methods described in the companion paper,
28//! which constitute proprietary Background IP of Invariant Forge LLC (Delaware LLC No. 10529072).
29//! Commercial deployment requires a separate written license. Inquiries: licensing@invariantforge.net
30
31#![forbid(unsafe_code)]
32#![warn(missing_docs, clippy::all)]
33
34pub mod sign;
35pub mod envelope;
36pub mod grammar;
37pub mod motif;
38pub mod provenance;
39pub mod episode;
40pub mod enduce;
41pub mod bank;
42pub mod observer;
43pub mod composition;
44pub mod figures;
45
46// Re-export the primary public API
47pub use sign::ResidualSign;
48pub use envelope::{AdmissibilityEnvelope, EnvelopeFamily};
49pub use grammar::{GrammarState, GrammarFsm};
50pub use motif::Motif;
51pub use provenance::ProvenanceTag;
52pub use episode::Episode;
53pub use enduce::Enduce;
54pub use bank::{HeuristicsBank, MotifPattern};
55pub use observer::Observer;
dsfb_semiotics_calculus/lib.rs

dsfb_semiotics_calculus/
lib.rs
