Source changed 2026-10-03 16:02:47 UTC · snapshot created 2026-10-03 16:03:51 UTC · last check 2026-10-03 17:15:04 UTC
C.3.3:8.3 - Rating CL^k (rules of thumb)
High CL^k: signature equivalence or up‑to‑iso; ⊑ fragment preserved; only cosmetic losses.
Medium CL^k: some invariants relaxed or lost; selected subkinds collapsed; order preserved on critical path.
Low CL^k: name‑only correspondences; properties diverge; order not preserved. Establish that the KB-01 correspondence predicate holds before bridge use, even for a name-only match. Expect significant R penalty and/or adapters.