E.14:5.3 - Assurance‑2: Logical (from Working‑Model relations to label semantics)

Purpose. Give each Working-Model relation one precise intended meaning and its admissible use cases, keeping the Working-Model vocabulary small.

Guarantee. When Logical assurance is selected, a Working-Model edge such as Component-of or Aspect-of carries one stated reading, including the scope and relation properties needed for the current use, so an auditor can assess whether that use is legitimate.

Deliverable. When the current use needs an explicit label-meaning account, give a short rule such as: “When an edge is labeled Component-of in the Working-Model text, it intends the direct structural reading whose participants, relation occurrence, construction rule, and identity conditions must be recovered before the assertion is accepted.” The Logical shoulder ties the human label to that accepted meaning; it does not make the relation obtain. When a calculus or other expression carries a reasoning or construction step, explain its interpretation, operation and prerequisites or cite their subject guidance under E.5.2. Keep the readable claim recoverable from that expression.

(Rationale: logical label alignment protects the small Working-Model text from relation proliferation while keeping meanings crisp.)