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

Declared type propagation interfaceInputs or arguments on the left, observed outputs on the right. Conserving terminals appear below the component. The tables give units and behavior.Declared type propagationStudio block
Original Lemonergy interface view. Lines identify ports; they are not a completed simulation circuit.

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.

Configuration fields
ParameterUnitDefaultMeaning and limits
target
target
1InputExplicit target in the worked model.
port
port
10Explicit port in the worked model.
element Type
elementType
1u32Explicit 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 →
Numerical checks for the bundled synthetic example
OutputTime (s)Expected valueUnitAbsolute tolerance
Result
Result
0.220011e-09

Use in a workflow

Declared type propagation — executable model

Resolves an explicitly inherited native output type within this scope before compilation.

  1. 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.
Open Studio example after release

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)