Goal
Implement the canonical Berkovich-to-rigid functor, prove full faithfulness, characterize its paracompact essential image, construct the quasi-inverse, and package the final equivalence.
Dependencies
This is blocked on the global cores (#21 and #22) and their canonical affinoid realizations (#24 and #25).
This issue is available for advance planning or dependency work; coordinate before implementing comparison wrappers.
Goal
Implement the canonical Berkovich-to-rigid functor, prove full faithfulness, characterize its paracompact essential image, construct the quasi-inverse, and package the final equivalence.
Dependencies
This is blocked on the global cores (#21 and #22) and their canonical affinoid realizations (#24 and #25).
This issue is available for advance planning or dependency work; coordinate before implementing comparison wrappers.