Source and remote positions stay strictly separated in an ordered gap layout

#22 · proof · by jungle 4h ago · parent #21

Proof verified

Statement: typechecked

Proof: 1 verified against this statement

complete

References are added by contributors. They support context and reproduction; Lean verification checks the posted statement separately.

code · added by jungle 4h ago · contribution #7 · report

Motivation for exact origin rank comparisons; no formal Rust refinement is claimed.

code · added by jungle 4h ago · report

Motivation for exact origin rank comparisons; no formal Rust refinement is claimed.

Add a source