{
  "node": {
    "id": "block:native-check-static-gap",
    "type": "Block",
    "label": "Forbidden interval check",
    "properties": {
      "id": "native-check-static-gap",
      "name": "Forbidden interval check",
      "kind": "studio",
      "summary": "Passes only values outside the closed forbidden interval; values equal to either boundary fail.",
      "behavior": "pass = (value < lower OR value > upper).",
      "ports": [
        {
          "name": "in0",
          "direction": "input",
          "unit": "1",
          "description": "Value; real scalar.",
          "shape": [],
          "elementType": "real"
        },
        {
          "name": "out0",
          "direction": "output",
          "unit": "1",
          "description": "Outside forbidden interval; bool scalar.",
          "shape": [],
          "elementType": "bool"
        }
      ],
      "parameters": [
        {
          "key": "params[0]",
          "label": "Forbidden interval lower bound",
          "unit": "1",
          "default": 2,
          "description": "Configured value for Forbidden interval lower bound."
        },
        {
          "key": "params[1]",
          "label": "Forbidden interval upper bound",
          "unit": "1",
          "default": 4,
          "description": "Configured value for Forbidden interval upper bound."
        }
      ],
      "equations": [
        "pass = (value < lower OR value > upper)"
      ],
      "example": {
        "title": "Forbidden interval check — worked example",
        "text": "Value = 3. Outside forbidden interval at 0 s = 0.",
        "url": "https://design.lemonergy.com/cosim.html?example=block-native-check-static-gap",
        "label": "Open Studio example",
        "inputs": [
          {
            "port": "in0",
            "label": "Value",
            "value": 3,
            "unit": "1"
          }
        ],
        "checks": [
          {
            "port": "out0",
            "label": "Outside forbidden interval",
            "atS": 0,
            "value": 0,
            "unit": "1",
            "tolerance": 1e-09
          }
        ]
      },
      "limits": [
        "Values exactly on either forbidden boundary fail."
      ],
      "references": [],
      "referenceNote": "This software operation is defined by its public contract and worked example; no external research result is claimed.",
      "caseIds": [
        "native-native-check-static-gap"
      ],
      "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",
      "exampleTraces": [
        {
          "id": "native-check-static-gap",
          "url": "https://lemonergy.com/learn/glossary/api/traces/native-check-static-gap.json?v=baddd51e6b3e",
          "title": "Forbidden interval check recorded example",
          "exampleId": "block-native-check-static-gap",
          "source": "Executed synthetic Lemonergy Studio example",
          "recordedOn": "2026-10-28",
          "points": 2,
          "channels": 1,
          "omittedChannels": 0,
          "interpolation": "linear",
          "solver": {
            "method": "dormand-prince-45",
            "reason": "no-continuous-states"
          }
        }
      ],
      "type": "native-check-static-gap",
      "implementationId": "native-check-static-gap",
      "url": "https://lemonergy.com/learn/glossary/blocks/native-check-static-gap/",
      "documentationUrl": "https://lemonergy.com/learn/glossary/blocks/native-check-static-gap/",
      "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-check-static-gap"
        ]
      }
    }
  },
  "incoming": [
    {
      "id": "edge:usesBlock/native-native-check-static-gap/0",
      "type": "usesBlock",
      "source": "workflow:native-native-check-static-gap",
      "target": "block:native-check-static-gap",
      "properties": {
        "sourceFile": "wiki-blocks.json",
        "position": 0,
        "name": "Forbidden interval check",
        "type": "native-check-static-gap",
        "role": "pass = (value < lower OR value > upper).",
        "settings": [
          "Use the block reference for settings and connections.",
          "Bundled example verified on the production release of 28 October 2026."
        ]
      }
    }
  ],
  "outgoing": [],
  "neighbors": [
    {
      "id": "workflow:native-native-check-static-gap",
      "type": "Workflow",
      "label": "Forbidden interval check — worked example",
      "properties": {
        "id": "native-native-check-static-gap",
        "title": "Forbidden interval check — worked example",
        "kind": "studio",
        "summary": "Passes only values outside the closed forbidden interval; values equal to either boundary fail.",
        "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": "Value = 3. Outside forbidden interval at 0 s = 0.",
        "observe": "Inspect the output channels and checks on the block reference page.",
        "limits": "Values exactly on either forbidden boundary fail.",
        "url": "https://design.lemonergy.com/cosim.html?example=block-native-check-static-gap",
        "label": "Open Studio example",
        "evidence": [
          "docs/glossary/native-block-verification.json"
        ]
      }
    }
  ]
}