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
| Name | Direction | Unit | Meaning |
|---|---|---|---|
in0 | input | 1 | Value; real scalar. |
out0 | output | 1 | Outside forbidden interval; bool scalar. |
Parameters
Defaults are initial model values. Select values for your own model and operating conditions.
| Parameter | Unit | Default | Meaning and limits |
|---|---|---|---|
Forbidden interval lower boundparams[0] | 1 | 2 | Configured value for Forbidden interval lower bound. |
Forbidden interval upper boundparams[1] | 1 | 4 | Configured 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 →| Output | Time (s) | Expected value | Unit | Absolute tolerance |
|---|---|---|---|---|
Outside forbidden intervalout0 | 0 | 0 | 1 | 1e-09 |
Explore the recorded outputs
Forbidden interval check recorded example
Forbidden interval check2 actual recorded samples. Lines are visual guides between samples. Synthetic example, not measured cell data.
Read the selected signal as a table
| Time (s) | Value |
|---|
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.
- Forbidden interval check: pass = (value < lower OR value > upper).
- Use the block reference for settings and connections.
- Implementation tested locally; public release pending.
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)