Expand description
Immutable source identities and shared position projections.
A target’s identity is independent of the Thread used to resolve it. Intern a reference against an existing binding before creating a new core: hashing each capture’s current coordinates would create a different target.
Modules§
- capture
- Per-Thread derived source-target snapshot, committed by the signed capture.
Structs§
- Source
File Core - Original file evidence. Renames update the file binding, never this core.
- Source
Line Edit - A single replacement in original/new line coordinates. Adjacent operations must be coalesced so each boundary has exactly one mapping decision.
- Source
Line Edit Map - Stored once per changed blob pair, never once per referring range. Validated on construction/decode, so each projection uses binary search over edits.
- Source
Line Range - Zero-based, half-open line boundaries. Inclusive display lines a..b become [a - 1, b). A default non-growing range uses After at start, Before at end.
- Source
Target Core - Source
Target Reference - Shared by primary anchors and reference tags. Scope selection is explicit; the authoring scope remains in the immutable core and signed operation.
Enums§
- Source
Affinity - Which side of an insertion at this exact boundary the endpoint follows.
- Source
Range Projection - Source
Selector - Source
Target Binding - Source
Target Error