Source changed 2026-10-03 11:52:20 UTC · snapshot created 2026-10-03 11:53:41 UTC · last check 2026-10-03 12:05:13 UTC
E.17:10 - Common Anti-Patterns and How to Avoid Them
“Presentation logic” as semantics.Fix: Keep every claim in the source ClaimGraph. When a reader needs to know how a claim arose, name the exact authoring, measurement, observation, model, source-use, representation, or refinement relation. Use an exact specification-use gate, CG-Spec, or KD-CAL when it owns the requirement; keep views declarative; publication adds zero claims.
Publishing only endpoint faces.Fix: The optional formal profile constructs faces for g o f, not only endpoint faces for FaceObj_s(X), FaceObj_s(Y), and FaceObj_s(Z). A system performs the construction work.
Unpinned numbers.Fix: Reject card; supply pins plus CG and CHR references.
Face presented as a view without conformance.Fix: Resolve the exact viewpoint episteme and apply E.17.0 to the exact candidate episteme; redesign or re-emit the face only after the semantic repair.
InteropCard equivalent to TechCard duplication.Fix:InteropCard can refine typing or shape but cannot contradict TechCard (reindexing monotone).