Lemonergy · Studio block
Dynamic upper-bound check
Checks a scalar against a connected inclusive upper bound.
- Implementation ID
native-check-dynamic-upper- Reviewed
- 2026-10-27
Behavior
pass = (value ≤ connected upper).
Interface
| Name | Direction | Unit | Meaning |
|---|---|---|---|
in0 | input | 1 | Value; real scalar. |
in1 | input | 1 | Upper bound; real scalar. |
out0 | output | 1 | Pass; bool scalar. |
Parameters
No configurable parameters for this component.
Equations and rules
pass = (value ≤ connected upper)
Worked example
Dynamic upper-bound check — worked example
Value = 2; Upper bound = 3. Pass at 0 s = 1.
Open Studio example after release →| Output | Time (s) | Expected value | Unit | Absolute tolerance |
|---|---|---|---|---|
Passout0 | 0 | 1 | 1 | 1e-09 |
Explore the recorded outputs
Dynamic upper-bound check recorded example
Dynamic upper-bound 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
Dynamic upper-bound check — worked example
Checks a scalar against a connected inclusive upper bound.
- Dynamic upper-bound check: pass = (value ≤ connected upper).
- Use the block reference for settings and connections.
- Implementation tested locally; public release pending.
Connected concepts
Limits and interpretation
- Scalar real inputs with the same quantity; equality passes.
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)