// SPDX-License-Identifier: CC-BY-SA-4.0
// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
= DYADT / PLASMA Naming Resolution
:icons: font

== The collision

"PLASMA" has been used in the estate for two unrelated things:

. *palimpsest-plasma* — licence tooling / exactness engine for the Palimpsest
  licence family (the "distrust the neural for exactness" authority for
  licences, invariants, equivalence).
. *A claim-grounder* — the idea, referenced in several places, of an engine that
  checks whether an agent's asserted outcomes are true.

Using one name for both is a live source of confusion: an audit that says
"grounded by PLASMA" is ambiguous about which system, and it entangles the
licence-exactness authority with agent-claim verification, which are different
concerns with different trust models.

== The resolution

[cols="1,3", options="header"]
|===
| Name | Sole meaning going forward

| *PLASMA* / *palimpsest-plasma*
| Licence & exactness tooling only. It remains the authority for licence
  identity, invariants, and equivalence ("distrust the neural for exactness").
  It is NOT an agent-claim verifier.

| *DYADT* (`did-you-actually-do-that`)
| Post-action agent-claim verification. The claim-grounder concept is subsumed
  here and drops the PLASMA name entirely.
|===

Concretely:

* The "claim-grounder" concept is **renamed to DYADT verification** wherever it
  meant "check the agent's asserted outcomes". Documents SHOULD say "DYADT" or
  "the DYADT verifier", never "PLASMA", for that concept.
* `palimpsest-plasma` keeps PLASMA exclusively for licence/exactness work.
* Where a pipeline genuinely needs *both* (e.g. a licence claim that must be
  checked), DYADT returns `unverifiable` with reason `manual-only` and defers to
  PLASMA/human governance — it does not attempt to ground licence exactness
  itself. The boundary is explicit.

== Recorded in canon

This resolution is to be reflected in `CANONICAL-NAMES.adoc` at the standards
repo root (the canonical registry of estate naming decisions) so that future
tooling and agents inherit the disambiguation. Until that entry lands, this
document is the authority for the DYADT/PLASMA split.
