C.3.5:9 - Worked mini-examples (informative)

• K0. Account_US_GAAP_2025_Q1_Cohort: use exact candidate judgments in the pinned quarter slice; do not infer a broad kind from one query result.
• K1. CacheableRequest: make retry/idempotence behavior evaluable in a named signature edition and test diverse failure modes.
• K2. Account: use explicit posting and balance invariants, test relevant subkinds, and evaluate each candidate with the exact signature edition and slice.
• K3. UndirectedGraph up to node relabeling: state the equivalence notion and require equivalence witnesses that preserve it. Any KindBridge use additionally needs the distinct-kind correspondence and preservation basis required by C.3.3.