{
  "node": {
    "id": "block:native-while-iterator-submodel",
    "type": "Block",
    "label": "Bounded while iterator",
    "properties": {
      "id": "native-while-iterator-submodel",
      "name": "Bounded while iterator",
      "kind": "studio",
      "summary": "Feeds each child result back as its next input, testing the condition before each call. A nonterminating loop stops without committing state.",
      "behavior": "Feeds each child result back as its next input, testing the condition before each call. A nonterminating loop stops without committing state. Outputs are held between accepted samples; numerical evaluation does not commit hidden state.",
      "ports": [
        {
          "name": "in0",
          "direction": "input",
          "unit": "—",
          "description": "Value; real scalar."
        },
        {
          "name": "out0",
          "direction": "output",
          "unit": "—",
          "description": "Scaled; real scalar."
        },
        {
          "name": "out1",
          "direction": "output",
          "unit": "—",
          "description": "Invocations this sample; u32 scalar."
        }
      ],
      "parameters": [
        {
          "key": "sampleTimeS",
          "label": "Sample period",
          "unit": "s",
          "default": 1,
          "min": 0,
          "description": "Positive interval between accepted control samples. Outputs hold between these instants."
        },
        {
          "key": "params[0]",
          "label": "Maximum iterations",
          "unit": "—",
          "default": 10,
          "description": "1–256."
        },
        {
          "key": "params[1]",
          "label": "Comparison",
          "unit": "—",
          "default": 0,
          "description": "0 <; 1 ≤; 2 >; 3 ≥; 4 ≠; 5 =."
        },
        {
          "key": "params[2]",
          "label": "Comparison value",
          "unit": "—",
          "default": 8,
          "description": "Configured comparison or case value."
        },
        {
          "key": "params[3]",
          "label": "Reset for each invocation",
          "unit": "—",
          "default": 1,
          "description": "1 reset child memory; 0 retain child memory between invocations."
        },
        {
          "key": "nested",
          "label": "Child operation",
          "unit": "—",
          "default": "Adjustable gain",
          "description": "One configurable native computation operation. Its declared input/output types must match the wrapper."
        },
        {
          "key": "tables[0]",
          "label": "Initial held outputs",
          "unit": "—",
          "default": [
            1
          ],
          "description": "Initial values for all child output lanes, in output order. For independent elements, supply one value per element."
        }
      ],
      "equations": [
        "While comparison(output, threshold): output ← child(state, output)",
        "Test before the first call; exceeding the iteration limit aborts the entire invocation"
      ],
      "example": {
        "title": "Bounded while iterator worked example",
        "text": "Default editable example at the first accepted sample (t = 0 s). Child operation: adjustable gain. The output checks below are execution oracles for this example.",
        "url": "https://design.lemonergy.com/cosim.html?example=block-native-while-iterator-submodel",
        "label": "Open Studio example",
        "inputs": [
          {
            "port": "in0",
            "label": "Value",
            "value": 1,
            "unit": "—"
          }
        ],
        "checks": [
          {
            "port": "out0",
            "label": "Scaled",
            "atS": 0,
            "value": 8,
            "unit": "—",
            "tolerance": 1e-08
          },
          {
            "port": "out1",
            "label": "Invocations this sample",
            "atS": 0,
            "value": 3,
            "unit": "—",
            "tolerance": 1e-08
          }
        ]
      },
      "limits": [
        "Control executes on an explicit sampled clock. Continuous states, history/delay kernels, residual equations, and event-source children are not supported.",
        "The wrapper contains one original computation operation; arbitrary multi-block submodels are not supported.",
        "A sampled child advances once per invocation using its own declared period. Repeated calls share the same outer timestamp and do not advance physical time.",
        "The child has matching real scalar input/output. At most 256 calls are allowed; nontermination raises a run error without committing a partial result."
      ],
      "references": [
        "control-dataflow"
      ],
      "availability": {
        "status": "released",
        "label": "Available in Lemonergy Studio",
        "detail": "The bundled example is available in the production release verified on 28 October 2026. The parameters and examples here are synthetic teaching fixtures, not a characterized cell or a validated operating limit."
      },
      "evidence": [
        "docs/glossary/native-block-verification.json"
      ],
      "sourceRepository": "Lemonergy Studio public contract",
      "sourceRevision": "verification-2026-10-27",
      "caseIds": [
        "native-native-while-iterator-submodel"
      ],
      "exampleTraces": [
        {
          "id": "native-while-iterator-submodel",
          "url": "https://lemonergy.com/learn/glossary/api/traces/native-while-iterator-submodel.json?v=d773ea166020",
          "title": "Bounded while iterator recorded example",
          "exampleId": "block-native-while-iterator-submodel",
          "source": "Executed synthetic Lemonergy Studio example",
          "recordedOn": "2026-10-28",
          "points": 3,
          "channels": 2,
          "omittedChannels": 0,
          "interpolation": "step",
          "solver": {
            "method": "dormand-prince-45",
            "reason": "no-continuous-states"
          }
        }
      ],
      "type": "native-while-iterator-submodel",
      "implementationId": "native-while-iterator-submodel",
      "url": "https://lemonergy.com/learn/glossary/blocks/native-while-iterator-submodel/",
      "documentationUrl": "https://lemonergy.com/learn/glossary/blocks/native-while-iterator-submodel/",
      "sourceFile": "block-library.json",
      "reviewed": "2026-10-27",
      "releaseEvidence": {
        "environment": "production",
        "status": "verified",
        "revision": "e76cadfc203e15eb41f3478d8b1044a5b851953d",
        "verifiedOn": "2026-10-28",
        "exampleUrls": [
          "https://design.lemonergy.com/cosim.html?example=block-native-while-iterator-submodel"
        ]
      }
    }
  },
  "incoming": [
    {
      "id": "edge:usesBlock/native-native-while-iterator-submodel/0",
      "type": "usesBlock",
      "source": "workflow:native-native-while-iterator-submodel",
      "target": "block:native-while-iterator-submodel",
      "properties": {
        "sourceFile": "wiki-blocks.json",
        "position": 0,
        "name": "Bounded while iterator",
        "type": "native-while-iterator-submodel",
        "role": "Feeds each child result back as its next input, testing the condition before each call. A nonterminating loop stops without committing state. Outputs are held between accepted samples; numerical evaluation does not commit hidden state.",
        "settings": [
          "Use the block reference for settings and connections.",
          "Bundled example verified on the production release of 28 October 2026."
        ]
      }
    }
  ],
  "outgoing": [
    {
      "id": "edge:cites/block:native-while-iterator-submodel/reference:control-dataflow",
      "type": "cites",
      "source": "block:native-while-iterator-submodel",
      "target": "reference:control-dataflow",
      "properties": {
        "sourceFile": "block-library.json",
        "scope": "Scientific or mathematical background; implementation scope is stated by the block contract"
      }
    }
  ],
  "neighbors": [
    {
      "id": "workflow:native-native-while-iterator-submodel",
      "type": "Workflow",
      "label": "Bounded while iterator worked example",
      "properties": {
        "id": "native-native-while-iterator-submodel",
        "title": "Bounded while iterator worked example",
        "kind": "studio",
        "summary": "Feeds each child result back as its next input, testing the condition before each call. A nonterminating loop stops without committing state.",
        "steps": [
          "Review the interface, units and model limits.",
          "Open the Studio example and run its bundled model.",
          "Compare outputs with the numerical checks; change one input and run again."
        ],
        "example": "Default editable example at the first accepted sample (t = 0 s). Child operation: adjustable gain. The output checks below are execution oracles for this example.",
        "observe": "Inspect the output channels and checks on the block reference page.",
        "limits": "Control executes on an explicit sampled clock. Continuous states, history/delay kernels, residual equations, and event-source children are not supported. The wrapper contains one original computation operation; arbitrary multi-block submodels are not supported. A sampled child advances once per invocation using its own declared period. Repeated calls share the same outer timestamp and do not advance physical time. The child has matching real scalar input/output. At most 256 calls are allowed; nontermination raises a run error without committing a partial result.",
        "url": "https://design.lemonergy.com/cosim.html?example=block-native-while-iterator-submodel",
        "label": "Open Studio example",
        "evidence": [
          "docs/glossary/native-block-verification.json"
        ]
      }
    },
    {
      "id": "reference:control-dataflow",
      "type": "Reference",
      "label": "Synchronous Data Flow",
      "properties": {
        "title": "Synchronous Data Flow",
        "authors": [
          "Edward A. Lee",
          "David G. Messerschmitt"
        ],
        "year": 1987,
        "url": "https://ptolemy.berkeley.edu/publications/papers/87/index.htm",
        "publisher": "Proceedings of the IEEE, 75(9), 1235–1245",
        "type": "Research article",
        "scope": "Background on actor firing and explicit dataflow. The sampled conditional semantics documented here are Lemonergy design choices, not a claim of a complete SDF implementation.",
        "accessed": "2026-10-27"
      }
    }
  ]
}