A.3.2:4.2 - Representation-agnostic stance
Begin with the claim-bearing episteme, then distinguish how its claims are made available:
- a
C.29representation stands in a declared correspondence to the represented claims; - an
E.24.PUBpublication form expresses the selected episteme edition for one publication use; - a
U.PresentationCarrierbears that publication form.
Only the claim-bearing episteme can meet the membership rule in 4.1; keep its representation, form, carrier, and publication occurrence separate.
The representation may use procedural text, code, a diagram, functional composition, a typed pipeline, a state machine, event rules, constraints, a solver formulation, a proof script, a statistical model, or a combination of notations. Notation choice does not decide membership. Read each assertion separately: use A.6.0 or C.29 when it asserts a formal object, A.6.1 or E.20 when it declares an operation family and laws, A.15.2 when it states intended Work, and A.10 or B.3 when another claim relies on it as evidence or assurance.