# T-box ontology — relationships between terms in terms.yaml
# Each entry: subject, predicate, object.
# Closed set of predicates: is_a, part_of, governs, mirrors, instance_of, binds, supersedes, verifies

version: 0.1.0
generated: 2026-07-09

predicates:
  - is_a          # A is a kind of B
  - part_of       # A is a component of B
  - governs       # A defines the rules for B
  - mirrors       # A is the A-box mirror of T-box A
  - instance_of   # A is an A-box instance whose T-box term is B
  - binds         # standing rule A applies to B
  - supersedes    # A replaces B
  - verifies      # A checks the coherence of B

relations:

  # ── Ontology tiers ─────────────────────────────────────────────
  - [tbox,   supersedes, abox]      # false — kept as anti-example, delete on first TCR
  - [abox,   mirrors,    tbox]
  - [rbox,   part_of,    abox]
  - [cbox,   governs,    tbox]      # C-box may activate but not relax T-box

  # ── Registers govern namespaces ────────────────────────────────
  - [register.gap, governs, "gap namespace"]
  - [register.adr, governs, "adr namespace"]
  - [register.bb,  governs, "abb namespace"]
  - [register.bb,  governs, "sbb namespace"]
  - [register.lgm, governs, "lgm namespace"]
  - [register.tcr, governs, "tcr namespace"]

  # ── Registers are peers, all under WPE-4 ───────────────────────
  - [register.gap, part_of, "WPE-4 Enterprise Architecture Practice"]
  - [register.adr, part_of, "WPE-4 Enterprise Architecture Practice"]
  - [register.bb,  part_of, "WPE-4 Enterprise Architecture Practice"]
  - [register.lgm, part_of, "WPE-4 Enterprise Architecture Practice"]
  - [register.tcr, part_of, "WPE-4 Enterprise Architecture Practice"]

  # ── Terminals are instances of terminal grammar ────────────────
  - [terminal.perplexity, instance_of, terminal]
  - [terminal.claude,     instance_of, terminal]
  - [terminal.vps-agent,  instance_of, terminal]

  # ── Standing rules bind all terminals ──────────────────────────
  - [rule.language,        binds, terminal]
  - [rule.word-cap,        binds, terminal]
  - [rule.reasoning,       binds, terminal]
  - [rule.principle,       binds, terminal]
  - [rule.citation,        binds, terminal]
  - [rule.preamble,        binds, terminal]
  - [rule.rollback-window, binds, register.tcr]

  # ── TCR is the A-box of T-box changes ──────────────────────────
  - [tcr,             instance_of, register.tcr]
  - [prompt.verification, verifies, tbox]

  # ── ADR-WPE-016 authorises this whole ontology ────────────────
  - ["ADR-WPE-016", governs, tbox]
  - ["ADR-WPE-016", supersedes, "ADR-WPE-013"]

  # ── Anti-relations (declared to prevent drift) ────────────────
  # These are things some prior terminal might assert; declared false.
  - [register.lgm, is_a, "active register"]   # FALSE — LGM is Archived
  - ["WPE-89",     is_a, "finance ticket"]    # FALSE — repurposed 2026-07-09