Skip to main content

Module source_target

Module source_target 

Source
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§

SourceFileCore
Original file evidence. Renames update the file binding, never this core.
SourceLineEdit
A single replacement in original/new line coordinates. Adjacent operations must be coalesced so each boundary has exactly one mapping decision.
SourceLineEditMap
Stored once per changed blob pair, never once per referring range. Validated on construction/decode, so each projection uses binary search over edits.
SourceLineRange
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.
SourceTargetCore
SourceTargetReference
Shared by primary anchors and reference tags. Scope selection is explicit; the authoring scope remains in the immutable core and signed operation.

Enums§

SourceAffinity
Which side of an insertion at this exact boundary the endpoint follows.
SourceRangeProjection
SourceSelector
SourceTargetBinding
SourceTargetError