{
  "node": {
    "id": "block:type-duplicate",
    "type": "Block",
    "label": "Same-type constraint",
    "properties": {
      "id": "type-duplicate",
      "name": "Same-type constraint",
      "kind": "studio",
      "summary": "Requires two independent signals to have the same numeric type; forwards the first.",
      "behavior": "Checks the numeric type of two independent signals and forwards the first without changing its value.",
      "ports": [
        {
          "name": "in0",
          "direction": "input",
          "unit": "1",
          "description": "Input 1; i32 signal.",
          "shape": [],
          "elementType": "i32"
        },
        {
          "name": "in1",
          "direction": "input",
          "unit": "1",
          "description": "Input 2; i32 signal.",
          "shape": [],
          "elementType": "i32"
        },
        {
          "name": "out0",
          "direction": "output",
          "unit": "1",
          "description": "Output 1; i32 signal.",
          "shape": [],
          "elementType": "i32"
        }
      ],
      "parameters": [
        {
          "key": "first.quantity",
          "label": "first quantity",
          "unit": "1",
          "default": "dimensionless",
          "description": "Explicit first quantity in the worked model."
        },
        {
          "key": "first.shape",
          "label": "first shape",
          "unit": "1",
          "default": [],
          "description": "Explicit first shape in the worked model."
        },
        {
          "key": "first.elementType",
          "label": "first element Type",
          "unit": "1",
          "default": "real",
          "description": "Explicit first elementType in the worked model."
        },
        {
          "key": "second.quantity",
          "label": "second quantity",
          "unit": "1",
          "default": "dimensionless",
          "description": "Explicit second quantity in the worked model."
        },
        {
          "key": "second.shape",
          "label": "second shape",
          "unit": "1",
          "default": [],
          "description": "Explicit second shape in the worked model."
        },
        {
          "key": "second.elementType",
          "label": "second element Type",
          "unit": "1",
          "default": "real",
          "description": "Explicit second elementType in the worked model."
        }
      ],
      "equations": [
        "type(first) = type(second); y = first"
      ],
      "example": {
        "title": "Same-type constraint — executable model",
        "text": "Two signed32 inputs10 and20 pass; the output is10. Changing the second input to real-valued storage is rejected.",
        "url": "https://design.lemonergy.com/cosim.html?example=routing-type-duplicate",
        "label": "Open Studio example",
        "inputs": [],
        "checks": [
          {
            "port": "Result",
            "label": "Result",
            "atS": 0.2,
            "value": 10,
            "unit": "1",
            "tolerance": 1e-09
          }
        ]
      },
      "limits": [
        "Type equality includes enumeration identity and scaled-integer metadata. Different quantities or dimensions may still be independent inputs; this is a numeric-type constraint."
      ],
      "references": [],
      "referenceNote": "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.",
      "caseIds": [
        "native-type-duplicate"
      ],
      "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",
      "type": "type-duplicate",
      "implementationId": "type-duplicate",
      "url": "https://lemonergy.com/learn/glossary/blocks/type-duplicate/",
      "documentationUrl": "https://lemonergy.com/learn/glossary/blocks/type-duplicate/",
      "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=routing-type-duplicate"
        ]
      }
    }
  },
  "incoming": [
    {
      "id": "edge:usesBlock/native-type-duplicate/0",
      "type": "usesBlock",
      "source": "workflow:native-type-duplicate",
      "target": "block:type-duplicate",
      "properties": {
        "sourceFile": "wiki-blocks.json",
        "position": 0,
        "name": "Same-type constraint",
        "type": "type-duplicate",
        "role": "Checks the numeric type of two independent signals and forwards the first without changing its value.",
        "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-type-duplicate",
      "type": "Workflow",
      "label": "Same-type constraint — executable model",
      "properties": {
        "id": "native-type-duplicate",
        "title": "Same-type constraint — executable model",
        "kind": "studio",
        "summary": "Requires two independent signals to have the same numeric type; forwards the first.",
        "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": "Two signed32 inputs10 and20 pass; the output is10. Changing the second input to real-valued storage is rejected.",
        "observe": "Inspect the output channels and checks on the block reference page.",
        "limits": "Type equality includes enumeration identity and scaled-integer metadata. Different quantities or dimensions may still be independent inputs; this is a numeric-type constraint.",
        "url": "https://design.lemonergy.com/cosim.html?example=routing-type-duplicate",
        "label": "Open Studio example",
        "evidence": [
          "docs/glossary/native-block-verification.json"
        ]
      }
    }
  ]
}
