{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://openeik.org/schemas/0.4/ifc-read/shape.schema.json",
  "$comment": "OpenEik 0.2: folded by tools/fold-schemas.mjs from the proposal ifc-read, which 0.2 makes a rule (decision D5). Written by hand from the text, not generated.",
  "title": "An element whose shape is given",
  "description": "`given`: the element's shape is the body its reader gave, a result of the derived layer keyed elements/<id> (Part IV, 1.1.1), and not its record's members, which place it and nothing more (Part VIII, 2.3, rule 2). A compiler derives no body from them and a bridge prints the given body. A rule that recognises the element natively writes its record's own members and leaves shape out (Part VIII, 2.6).",
  "const": "given"
}