Expand description
dsfb-semiconductor — deterministic DSFB kernel and SECOM benchmark companion.
§Non-Intrusion Guarantees
DSFB is a read-only supervisory system operating on residual streams.
| Guarantee | Enforcement |
|---|---|
| No mutation of upstream data | Observer API accepts only &[f64] (shared ref) |
| No control-path influence | No write path into any upstream data structure |
| Deterministic outputs under identical inputs | Pure function composition over fixed params |
| Removable without system impact | Advisory outputs only; zero coupling |
§Feature flags
| Feature | Default | Effect |
|---|---|---|
std | yes | Enables CLI, I/O, plotting, networking, and all dataset adapters. |
| (none) | — | Kernel-only build: sign, grammar, syntax, semantics, policy, process_context, units. Suitable for bare-metal / RTOS / FPGA deployments. |
§no_std kernel surface
When compiled with --no-default-features, the following modules are
available and require only alloc:
process_context— recipe-step admissibility LUT and maintenance hysteresisunits— type-safe physical quantity newtypessigns— residual sign computation (drift, slew)sign— streaming sign point constructiongrammar— three-state admissibility FSM with hysteresisgrammar::layer— six-state streaming grammarsyntax— motif classifierpolicy— decision rankingsemantics— heuristics bank lookupconfig— pipeline configurationnominal— healthy-window modelresidual— residual set constructioninput— residual and alarm stream types
Modules§
- baselines
- calibration
- cli
- cohort
- Deterministic feature-cohort DSA selection and rating-delta forecast.
- config
- dataset
- error
- failure_
driven - grammar
- heuristics
- input
- interface
- metrics
- missingness
- Missingness-aware grammar: invalidates drift computation when sensor data
is absent for more than
MAX_CONSECUTIVE_MISSING_RUNSconsecutive runs. - multivariate_
observer - Multivariate observer — ingests PCA/FDC residual streams and provides
structural interpretation via the
StructuralPCAmodule. - nominal
- non_
intrusive - output_
paths - phm2018_
loader - pipeline
- plots
- policy
- precursor
- preprocessing
- process_
context - Recipe-step and tool-state context for admissibility gating.
- report
- residual
- secom_
addendum - semantics
- semiotics
- sign
- signature
- Schema-validated JSON signature format for DSFB heuristics and motifs.
- signs
- syntax
- traceability
- unified_
value_ figure - units
- Type-safe physical quantity wrappers for semiconductor process variables.
Structs§
- Episode
- A structured episode produced by the DSFB observer layer.
Functions§
- observe
- Read-only observation of a raw residual slice.