III.T47 — Honest Claim Theorem

Three clauses: (i) at the native enrichment level, τ-internal results are unconditional; (ii) bridges are established (Poincaré), broken (P vs NP), or conjectural (6 others); (iii) the open question is always: does the bridge functor preserve the relevant structure?