A.6.B:4.2 — The square
| Truth‑conditional (definitions & invariants) | Governance (governance conditions & obligations) | |
|---|---|---|
| In-description or in-theory | L — Laws & Definitions | D — Deontics & Commitments |
| In-work or in-execution | E — Work‑Effects & Evidence | A — Admissibility & Gates |
Clarification (classify the claim by its job, not by its subject pattern).
- Classify the exact atomic claim by what its sentence states and by the conditions that let a reader decide it.
- The exact ClaimGraph located through the subject pattern supplies the referenced object’s predicate and obtaining conditions; it does not choose the claim’s quadrant.
- When permission wording is present, use the single permission-word branch in §8.4.1. It separates the possible jobs of that wording without inventing a common “permission result” kind.
Normative rule (single quadrant). Each atomic claim MUST be classifiable under exactly one quadrant L/A/D/E.
Normative rule (no mixed sentences). A conforming boundary text SHALL decompose any sentence that bundles multiple quadrants (typical form: “MUST … if … then … and it is logged …”) into multiple atomic claims before those claims are treated as normative.