format_version: "0.1"
id: fbd_seal_in
name: "seal in (Function Block Diagram rendering)"
domain: motor_control
language: FBD
source:
  origin: authored
  reference: "One of five renderings of the same seal-in latch; the feedback path is an inVariable reading the coil's own output"
  license: CC-BY-4.0
properties_file: props.yaml
safety_intent: "Stop always drops the seal-in coil: Run and Stop must never hold together."
validation_status: candidate
syntax_pair_of: ld_seal_in
variants:
  - file: program.xml
    expected_verdict: true
    ground_truth:
      method: expert
metrics:
  pous: 1
  variables: 3
features: [blocks, latch, feedback]
difficulty: easy
tags: [feature, semantics, syntax-pair, language-coverage]