ResolvedBoundary

ResolvedBoundary :: # (opaque)

A resolved occurrence with the exact immutable inputs that produced it.

resolve : ZoneRules, LocalDateTime, OccurrencePolicy -> Try(ResolvedBoundary, [Gap, Ambiguous, OffsetConflict, OutsideValidity, OutOfRange, ..])
boundary : ResolvedBoundary -> PosixBoundary
source : ResolvedBoundary -> LocalDateTime
policy : ResolvedBoundary -> OccurrencePolicy
rules : ResolvedBoundary -> ZoneRules
offset : ResolvedBoundary -> FixedOffset
reresolve : ResolvedBoundary, ZoneRules -> Try(ResolvedBoundary, [Gap, Ambiguous, OffsetConflict, OutsideValidity, OutOfRange, ..])

Explicitly interpret the original label/policy under another ruleset.

same_position : ResolvedBoundary, ResolvedBoundary -> Bool

Compare the stored POSIX position, independently of provenance.

is_eq : ResolvedBoundary, ResolvedBoundary -> Bool

Description/evidence identity includes policy and complete retained rules. Use same_position to compare only the resulting POSIX coordinate.

fact_count : ResolvedBoundary -> U64

Facts read only stored source, policy, result and context metadata.

fact_at : ResolvedBoundary, U64 -> [End, Item(SemanticFact)]