GSRF is a bounded recursive safety filter for systems where overshoot, nuisance triggering, and unstable recursion matter more than maximal tracking speed. It enforces deterministic constraints before execution, not after failure detection.
Gradient-guided restoration pulls the filtered state back toward a configured target band center. Rather than letting update magnitudes grow without limit and then reacting, GSRF keeps state evolution inside a configured envelope.
Bounded memory adds short-term history through a saturating term so recent movement influences the next step without overwhelming present evaluation.
Explicit parameter envelopes keep coupling, memory, and baseline terms inside declared operating ranges. That makes the operating region inspectable, testable, and easier to audit.
Stability enforcement prior to execution means that GSRF validates system state and proposed actions against stability criteria before they are committed. GSRF acts as a deterministic, zero-overshoot safety filter: actions that would violate stability constraints are rejected or modified before they affect system state.
The framework operates on mathematical foundations. The stability bounds are derived analytically and are designed to provide deterministic bounds within the defined envelope, bounded-by-construction under stated assumptions. This is what distinguishes a deterministic safety layer from probabilistic monitoring.
An interactive demonstration compares bounded (GSRF) versus unbounded (EMA) filtering on synthetic signals. Use the evaluation pack above for assumptions, deployment shape, and validation sequence.
Non-overshooting convergence (plain language). For monotonic bounded-reference inputs approaching the target band from one side, with parameters within the defined envelopes and bounded disturbance \(|\eta_t| \le \delta\), the framework is designed so that the filtered trajectory does not overshoot the configured band.
- Deterministic. Given identical input sequence and parameters, GSRF is designed to produce bit-identical output every time. This is essential for audit and certification workflows.