Zero-overshoot safety layer for recursive systems.

A bounded signal filter designed to resist runaway amplification and keep feedback-driven systems inside deterministic envelopes.

Choose an industry (launches the demo with real parameters)

Each launch loads an industry preset: dataset scale, axis labels, and metric wording. Figures below are examples.

Autonomous control
Vehicle yaw / flight attitude stabilization
A controller optimizes tracking error and settling time. Runaway updates show up as oscillation and overshoot beyond safe bounds.
Examples: 0.6° peak overshoot; 0.18 s time-to-stability (example)
Robotics
Adaptive grasp / learned torque control
A policy optimizes task success and smoothness. Feedback amplification shows as drift in torque commands and unstable corrections.
Examples: 12% peak deviation; 35 steps to stability window (example)
Finance / Trading systems
Recursive signal + position sizing loop
An optimizer targets return vs risk. Runaway recursion shows as amplified exposure changes and unstable signal chasing.
Examples: 2.5× peak amplitude; 6 band crossings (example)
Industrial control
Process control / PLC loop (temperature, flow)
A loop optimizes stability and constraint compliance. Runaway updates show as slow drift, saturation, and delayed divergence.
Examples: 3.0% overshoot; 0.9 s settling (example)
Deterministic bounds
Bounded-by-design
Constrains update dynamics structurally rather than relying on late detection.
Runaway recursion prevention
Stops amplification paths
Designed to prevent compounding error growth in feedback loops.
Zero-overshoot goal
Targeted behavior
Aims to stay within a configured band under stated assumptions (see demo + papers).

What you’ll see in 10 seconds

  • Step/ramp/sine inputs with controllable noise
  • GSRF vs EMA side-by-side behavior under identical inputs
  • Overshoot + crossings metrics as a fast boundedness read

Synthetic demo signals; filter math unchanged.

Start here

Fast path to understanding: run the demo, read the short explanation, then go deep with the papers.

Step 1
Run the demo
See bounded vs unbounded behavior immediately. Use overshoot and band-crossings to read stability at a glance.
Run the Demo →
Step 2
Read the 1-page explanation
Understand why recursive systems fail and what “bounded-by-construction” means in practice.
Read deterministic safety →
Step 3
Download papers
Formal write-ups with assumptions and technical structure. Start with the framework paper first.
Jump to papers →

Gradient-Stabilized Recursive Filtering (GSRF)

A deterministic safety layer for systems that cannot fail unpredictably.

GSRF (Zero Overshoot) is a deterministic safety filter for recursive and safety-critical systems.

What problem this solves

Recursive systems—whether in control loops, optimisation engines, or autonomous agents—exhibit a class of failure modes that conventional safeguards cannot reliably prevent. The core issue is structural: when a system's output feeds back into its own inputs, small errors can compound exponentially.

Runaway gradients occur when optimisation processes update parameters without bounds, leading to values that grow unboundedly large or oscillate violently. In recursive systems, this is not an edge case but a predictable failure mode under specific conditions.

Recursive amplification compounds errors across iterations. A 1% deviation in iteration n can become a 50% deviation by iteration n+10 if the system lacks inherent stability constraints. This is why systems that "usually work" fail catastrophically under pressure.

Delayed failure detection is endemic to recursive architectures. By the time monitoring systems register anomalous behaviour, the underlying state may already be irrecoverable. Probabilistic safeguards, which trigger on statistical anomalies, often activate too late or not at all when the system drifts gradually rather than failing abruptly.

Optimisation loops in safety-critical systems present a specific risk: they are designed to seek extrema, but without deterministic constraints, they cannot distinguish between beneficial optimisation and runaway optimisation toward destructive states. Alignment—ensuring a system pursues intended goals—is necessary but insufficient. A well-aligned system can still exhibit recursive instability if its underlying dynamics are unbounded.

In safety-critical systems, probabilistic safeguards provide statistical guarantees that hold on average. But averages do not prevent the single catastrophic failure that destroys a turbine, crashes an aircraft, or corrupts a financial system. Deterministic constraints that guarantee zero overshoot behaviour, by contrast, provide guarantees that hold in every execution, without exception.

How GSRF works (high level)

GSRF is a zero-overshoot safety filter for recursive and safety-critical systems. It enforces deterministic constraints before execution, not after failure detection. The framework is designed to maintain stability with zero overshoot under recursion.

Gradient bounding ensures that update magnitudes remain within predefined envelopes. Rather than allowing gradients to grow without limit and then attempting to detect runaway states, GSRF constrains the rate of change structurally. The system cannot produce unbounded updates because the update mechanism itself is bounded.

Recursive depth constraints limit how far feedback can propagate through the system before encountering a stabilising checkpoint. This prevents the exponential error amplification that characterises unconstrained recursion.

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.

Prevention of uncontrolled system divergence follows from the above. By bounding gradients, limiting recursion depth, and filtering decisions prior to execution, GSRF eliminates the pathways through which recursive systems typically fail.

The framework operates on mathematical guarantees rather than empirical heuristics. The stability bounds are derived analytically and 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.

Limitations / what it isn’t

Clarity about scope prevents misapplication:

  • Not a plug-and-play library. GSRF requires system-specific analysis to configure stability bounds and integration points. There is no generic "install and run" implementation.
  • Not a SaaS product. GSRF is a framework deployed through tailored engineering work, not a hosted service.
  • Not a general AI alignment solution. GSRF addresses recursive stability, not value alignment, goal specification, or intent interpretation. These are separate problems.
  • Not probabilistic or heuristic-based. The guarantees GSRF provides are deterministic. If probabilistic monitoring is sufficient for your application, GSRF may be more rigorous than necessary.
Use cases

GSRF is designed for systems where failure is not tolerable and where recursive dynamics create instability risk. Zero overshoot behaviour is essential in safety-critical control systems where even momentary excursions beyond acceptable bounds can cause irreversible damage:

  • Autonomous control systems — including vehicle control, flight systems, and process control where feedback loops must remain stable under all conditions
  • Robotics — particularly systems with learned controllers or adaptive behaviours that could exhibit runaway optimisation
  • Optimisation engines — any system that iteratively improves toward an objective and risks divergence if unconstrained
  • Reinforcement learning pipelines — where reward-seeking behaviour must be bounded to prevent unsafe policy development
  • Industrial automation — control systems governing physical processes where instability has immediate physical consequences
  • Financial or operational decision systems — automated trading, resource allocation, or scheduling systems where recursive optimisation must be bounded
  • Safety-critical software environments — any context where deterministic guarantees are required by regulation, liability, or operational necessity

Consulting & Integration

GSRF is deployed through tailored system analysis rather than off-the-shelf implementation. Each engagement is structured around the specific stability requirements and failure modes of the target system.

Typical engagements involve:

  • System audit — analysis of existing architecture, feedback pathways, and potential instability sources
  • Failure-mode analysis — identification of conditions under which the system could exhibit runaway behaviour or recursive instability
  • Constraint design — derivation of stability bounds and integration architecture specific to the system
  • Validation guidance — methodology for verifying that implemented constraints achieve the required stability guarantees

For technical collaboration or consulting inquiries:

Technical Papers

Start with the demo if you want the intuition first.

Gradient-Stabilized Recursive Filtering: A Structurally Bounded Framework for Safety-Critical Applications

A formal technical paper describing the mathematical foundations and stability guarantees of GSRF in recursive and safety-critical systems.

View PDF Abstract

GSRF Safety Filter

Technical specification of the GSRF safety filter mechanism and its application to pre-decision constraint enforcement.

View PDF Abstract

GSRF: The Safety Brake for Computer Systems That Can't Get It Wrong

An accessible technical overview of GSRF principles and their application to systems requiring deterministic safety guarantees.

View PDF Abstract

FAQ

What does the demo show?

It compares bounded (GSRF) versus unbounded (EMA) recursive filtering on synthetic signals, and surfaces overshoot and band-crossing metrics.

Is GSRF a plug-and-play library?

No. It’s a framework that requires system-specific bounds and integration points.

Is this claiming industrial efficacy?

No. The demo is synthetic-only and is meant to build intuition; the papers document the framework and assumptions.

Run the Demo