A.6.C:4.3 — “Guarantee” disambiguation

When “guarantee” leaves a consequential ambiguity, use the applicable distinction below:

• Semantic guarantee → L (“by definition or invariant”).
• Runtime-entry guarantee → A (“the mechanism admits this application iff …”).
• Governance guarantee → D (“provider commits or implementer must”).
• Operational result → E (the exact Work, evaluation, or observation and its measured or evaluated result; add an A.10 evidence path and exact carrier when the receiving decision relies on that support).

If none of these fits, the statement is likely rhetorical and should be rewritten or explicitly marked as aspirational or informative.