{
  "project": "Relational Event",
  "artifactType": "relational_event_specification",
  "identifier": "relational-event-v0-0",
  "version": "V0.0",
  "domain": "compute",
  "status": "working",
  "author": "Jaret Walker",
  "releaseDate": "2026-07-27",
  "canonicalReadableArtifact": "HTML",
  "archivalArtifact": "PDF",
  "authority": {
    "currentCore": true,
    "authorityWeight": 100,
    "interpretationRule": "Use this release as the highest weight public orientation source for Relational Event V0.0.",
    "priority": [
      {
        "artifactType": "relational_event_specification",
        "weight": 100
      }
    ]
  },
  "reconstruction": {
    "baseStatement": "Relational Event = [X₀,[C₁,K₁],X₁]",
    "orientationSymbols": {
      "=": "structural orientation unless an explicit equality is being stated",
      "≠": "structural exclusion"
    },
    "sections": [
      {
        "id": "relational-event",
        "title": "RELATIONAL EVENT"
      },
      {
        "id": "terms",
        "title": "TERMS"
      },
      {
        "id": "machine-form",
        "title": "MACHINE FORM"
      },
      {
        "id": "codec",
        "title": "CODEC"
      },
      {
        "id": "positive-statements",
        "title": "POSITIVE STATEMENTS"
      },
      {
        "id": "negative-statements",
        "title": "NEGATIVE STATEMENTS"
      },
      {
        "id": "statement-of-disclosure",
        "title": "STATEMENT OF DISCLOSURE"
      },
      {
        "id": "version-record",
        "title": "VERSION RECORD"
      }
    ],
    "trace": "X₀ ──[ C₁ | K₁ ]── X₁",
    "machineRelation": "[X₀,[C₁,K₁],X₁]",
    "terms": {
      "X₀": "frame relative differentiation",
      "C₁": "coherence relation",
      "K₁": "carry relative to a local zero",
      "X₁": "frame relative differentiation",
      "local position": "position within a complete Relational Event",
      "global relation": "complete relation relative to its local positions",
      "local zero": "zero relative to a frame, relation, or carry condition"
    },
    "machineForm": {
      "relation": "[X₀,[C₁,K₁],X₁]",
      "positionArrangement": "[X₀,[C₁,K₁],X₁]",
      "positions": {
        "X₀": "unrestricted bytes",
        "C₁": "unrestricted bytes",
        "K₁": "unrestricted bytes",
        "X₁": "unrestricted bytes"
      },
      "positionPresence": "All four positions are physically present in every complete Relational Event.",
      "emptyPosition": "valid and physically present",
      "nesting": "Any local position may contain another complete encoded Relational Event.",
      "completion": "The complete body of X₀, C₁, K₁, and X₁, together with the exact end of the Relational Event, must be physically recoverable."
    },
    "codec": {
      "form": "LEN64LE(X₀) || X₀ || LEN64LE(C₁) || C₁ || LEN64LE(K₁) || K₁ || LEN64LE(X₁) || X₁",
      "lengthWidth": "8 bytes",
      "lengthType": "u64",
      "byteOrder": "little endian",
      "encodingOrder": [
        "X₀",
        "C₁",
        "K₁",
        "X₁"
      ],
      "trailingBytes": "rejected",
      "truncatedLength": "rejected",
      "truncatedBody": "rejected",
      "overflow": "rejected",
      "roundTrip": "decode(encode(event)) = event",
      "preservation": "All four position bodies are preserved byte for byte."
    },
    "positiveStatements": [
      "Relational Event = X₀ ──[ C₁ | K₁ ]── X₁",
      "Relational Event = [X₀,[C₁,K₁],X₁]",
      "Relational Event = one complete relation",
      "Relational Event = four physically present relational positions",
      "complete relation = global relative to its local positions",
      "X₀ = local relational position",
      "C₁ = local relational position",
      "K₁ = local relational position",
      "X₁ = local relational position",
      "local position = unrestricted bytes",
      "empty position = valid physically present position",
      "complete relation and relational placement of its positions = consistent",
      "contents, naming, use, and interpretation of local positions = open",
      "local position = may contain another complete Relational Event",
      "contained Relational Event = local relative to its containing relation",
      "contained Relational Event = global relative to its own local positions",
      "K₁ = carry relative to a local zero",
      "carry = may resolve to local zero without removing K₁ or the complete relation",
      "local zero = zero relative to a frame, relation, or carry condition",
      "codec = physical serialization and recovery of the complete relation",
      "codec = byte for byte preservation of all four position bodies"
    ],
    "negativeStatements": [
      "Relational Event ≠ four separate mechanisms",
      "Relational Event ≠ fixed position contents",
      "Relational Event ≠ permanent position semantics",
      "global relation ≠ universal absolute frame",
      "local position ≠ permanently local",
      "local zero ≠ universal absolute zero",
      "K₁ = 0 ≠ absent K₁",
      "empty position ≠ absent position",
      "contained Relational Event ≠ different base relation",
      "relational position arrangement ≠ temporal sequence",
      "relational position arrangement ≠ causal sequence",
      "relational position arrangement ≠ operational sequence",
      "relational position arrangement ≠ computational sequence",
      "codec encoding order ≠ relational behavior",
      "codec ≠ position meaning",
      "codec ≠ prescribed carry encoding",
      "codec ≠ prescribed local zero encoding"
    ],
    "statementOfDisclosure": {
      "title": "STATEMENT OF DISCLOSURE",
      "statement": "This document establishes a public technical description of the Relational Event as disclosed in this release.",
      "equivalence": "Equivalent encodings, serialization methods, or physical representations that preserve the same complete relation [X₀,[C₁,K₁],X₁], its four relational positions, and its complete event boundary are considered implementations of the Relational Event."
    },
    "versionRecord": [
      {
        "version": "V0.0",
        "status": "working"
      }
    ]
  }
}