Lemonergy · Studio block

Forbidden interval check

Passes only values outside the closed forbidden interval; values equal to either boundary fail.

Implementation ID
native-check-static-gap
Reviewed
2026-10-27

Behavior

pass = (value < lower OR value > upper).

Interface

Forbidden interval check interfaceInputs or arguments on the left, observed outputs on the right. Conserving terminals appear below the component. The tables give units and behavior.Forbidden interval checkStudio blockin0out0
Original Lemonergy interface view. Lines identify ports; they are not a completed simulation circuit.
Ports and observed outputs
NameDirectionUnitMeaning
in0input1Value; real scalar.
out0output1Outside forbidden interval; bool scalar.

Parameters

Defaults are initial model values. Select values for your own model and operating conditions.

Configuration fields
ParameterUnitDefaultMeaning and limits
Forbidden interval lower bound
params[0]
12Configured value for Forbidden interval lower bound.
Forbidden interval upper bound
params[1]
14Configured value for Forbidden interval upper bound.

Equations and rules

  • pass = (value < lower OR value > upper)

Worked example

Forbidden interval check — worked example

Value = 3. Outside forbidden interval at 0 s = 0.

Open Studio example after release →
Numerical checks for the bundled synthetic example
OutputTime (s)Expected valueUnitAbsolute tolerance
Outside forbidden interval
out0
0011e-09

Explore the recorded outputs

Forbidden interval check recorded example

Forbidden interval check
Forbidden interval check against timeRecorded synthetic simulation values. Time in seconds; output in —.-0.50-0.250.2500.50.250.750.51—Time (s)
Forbidden interval check: 0 — at 0 s

2 actual recorded samples. Lines are visual guides between samples. Synthetic example, not measured cell data.

Download the recorded samples (JSON) · Open this Studio example after release

Use in a workflow

Forbidden interval check — worked example

Passes only values outside the closed forbidden interval; values equal to either boundary fail.

  1. Forbidden interval check: pass = (value < lower OR value > upper).
    • Use the block reference for settings and connections.
    • Implementation tested locally; public release pending.
Open Studio example after release

Connected concepts

Limits and interpretation

  • Values exactly on either forbidden boundary fail.

Reference basis

This software operation is defined by its public contract and worked example; no external research result is claimed.

Implementation sources

This reference follows the public interface and locally verified numerical checks for an upcoming release.

Contract: Lemonergy Studio public contract · Verification record: verification-2026-10-27

  • docs/glossary/native-block-verification.json

This implementation and its workflow uses (JSON) · Knowledge graph (JSON-LD)