{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://openeik.org/schemas/0.1/proposed/ifc-read/shape.schema.json",
  "$comment": "Proposed for OpenEik 0.2: Part VIII, 2.3, rule 1. Written by hand, not generated. In 0.1, shape is a member the element schema does not know, kept; a validator holds it to this schema, and a compiler and a bridge read it, only when asked for the proposal (@openeik/tools: proposals [\"ifc-read\"]).",
  "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"
}