Lemonergy · Studio block
Declared type propagation
Resolves an explicitly inherited native output type within this scope before compilation.
- Implementation ID
type-propagation- Reviewed
- 2026-10-27
Behavior
Resolves an explicitly inherited native output type in the current model scope before other graph validation.
Interface
This reference describes a studio block; its configuration fields are listed below. It has no connected Studio ports.
Parameters
Defaults are initial model values. Select values for your own model and operating conditions.
| Parameter | Unit | Default | Meaning and limits |
|---|---|---|---|
targettarget | 1 | Input | Explicit target in the worked model. |
portport | 1 | 0 | Explicit port in the worked model. |
element TypeelementType | 1 | u32 | Explicit elementType in the worked model. |
Equations and rules
inherited target type = configured concrete type
Worked example
Declared type propagation — executable model
A constant200 with an inherited output type becomes an unsigned32 signal under the declaration.
Open Studio example after release →| Output | Time (s) | Expected value | Unit | Absolute tolerance |
|---|---|---|---|---|
ResultResult | 0.2 | 200 | 1 | 1e-09 |
Use in a workflow
Declared type propagation — executable model
Resolves an explicitly inherited native output type within this scope before compilation.
- Declared type propagation: Resolves an explicitly inherited native output type in the current model scope before other graph validation.
- Use the block reference for settings and connections.
- Implementation tested locally; public release pending.
Connected concepts
Limits and interpretation
- Targets one declared native output. This is not general arithmetic fixed-point inference or automatic propagation across all submodel boundaries.
Reference basis
This compiler and software type contract is defined by the documented behavior and executable example; no external research result or full external API parity 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)