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])

Choose an occurrence under explicit rules and policy, retaining the inputs and actual offset. Reject gaps, unresolved ambiguity, offset conflicts, and labels whose interpretation exceeds the rules or numeric range.

boundary : ResolvedBoundary -> PosixBoundary

Return the stored resolved POSIX coordinate without reinterpreting the source.

source : ResolvedBoundary -> LocalDateTime

Return the original civil label, including its calendar.

policy : ResolvedBoundary -> OccurrencePolicy

Return the occurrence-selection policy used for this result.

rules : ResolvedBoundary -> ZoneRules

Return the exact immutable rules retained by this result.

offset : ResolvedBoundary -> FixedOffset

Return the actual offset at the chosen occurrence.

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.

to_hash : ResolvedBoundary, Hasher -> Hasher

Hash the source, policy, result and complete rules consistently with is_eq. Work includes the retained transition table; this is not a position-only hash.

fact_count : ResolvedBoundary -> U64

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

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

Read the stored result at index zero or context metadata at index one; return End otherwise. No zone lookup or transition traversal occurs.

to_inspect : ResolvedBoundary -> Str

Summarize the source, policy and stored result without re-resolving it.