paper_trail_diff 0.3.0 → 0.4.0

data/sig/generated/paper_trail_diff/activity_belongs_to_event_applier.rbs

@@ -0,0 +1,41 @@
+# Generated from lib/paper_trail_diff/activity_belongs_to_event_applier.rb with RBS::Inline
+
+module PaperTrailDiff
+  # Applies selected non-polymorphic belongs-to target updates to a snapshot.
+  class ActivityBelongsToEventApplier
+    # : (route_finder: ActivityEventRouteFinder, record_resolver: ActivityEventRecordResolver, record_normalizer: ActivityEventRecordNormalizer) -> void
+    def initialize: (route_finder: ActivityEventRouteFinder, record_resolver: ActivityEventRecordResolver, record_normalizer: ActivityEventRecordNormalizer) -> void
+
+    # : (untyped, untyped, RecordSnapshot, AssociationTree, SnapshotNormalizer, untyped) -> [bool, RecordSnapshot?]
+    def call: (untyped, untyped, RecordSnapshot, AssociationTree, SnapshotNormalizer, untyped) -> [ bool, RecordSnapshot? ]
+
+    private
+
+    @record_normalizer: ActivityEventRecordNormalizer
+
+    @record_resolver: ActivityEventRecordResolver
+
+    @route_finder: ActivityEventRouteFinder
+
+    # : (Array[untyped], untyped, SnapshotNormalizer, untyped, untyped) -> RecordSnapshot?
+    def normalized_route_record: (Array[untyped], untyped, SnapshotNormalizer, untyped, untyped) -> RecordSnapshot?
+
+    # : (RecordSnapshot, Array[untyped], untyped, RecordSnapshot?, ?depth: Integer) -> [RecordSnapshot, bool]
+    def replace_route: (RecordSnapshot, Array[untyped], untyped, RecordSnapshot?, ?depth: Integer) -> [ RecordSnapshot, bool ]
+
+    # : (Array[RecordSnapshot], Array[untyped], untyped, RecordSnapshot?, Integer) -> [Array[RecordSnapshot], bool]
+    def replacement_records: (Array[RecordSnapshot], Array[untyped], untyped, RecordSnapshot?, Integer) -> [ Array[RecordSnapshot], bool ]
+
+    # : (Array[RecordSnapshot], untyped, RecordSnapshot?) -> [Array[RecordSnapshot], bool]
+    def replace_existing_target: (Array[RecordSnapshot], untyped, RecordSnapshot?) -> [ Array[RecordSnapshot], bool ]
+
+    # : (RecordSnapshot, String, AssociationSnapshot) -> RecordSnapshot
+    def replace_association: (RecordSnapshot, String, AssociationSnapshot) -> RecordSnapshot
+
+    # : (untyped, RecordSnapshot?) -> String
+    def replacement_type: (untyped, RecordSnapshot?) -> String
+
+    # : (untyped) -> untyped
+    def endpoint_model_class: (untyped) -> untyped
+  end
+end

data/sig/generated/paper_trail_diff/activity_boundary.rbs

@@ -25,6 +25,12 @@ module PaperTrailDiff
     # : (untyped, captured_at: untyped) -> ActivityBoundary
     def self.current: (untyped, captured_at: untyped) -> ActivityBoundary
 
+    # The state a `destroy` version leaves behind. A version records the state
+    # before its own event, so the boundary built from a destroy version still
+    # holds the record; this one is the absence that follows it.
+    # : (untyped) -> ActivityBoundary
+    def self.destroyed: (untyped) -> ActivityBoundary
+
     # : (kind: Symbol, version_id: untyped, item_type: untyped, item_id: untyped, recorded_at: untyped, ?event: untyped, ?whodunnit: untyped) -> void
     def initialize: (kind: Symbol, version_id: untyped, item_type: untyped, item_id: untyped, recorded_at: untyped, ?event: untyped, ?whodunnit: untyped) -> void
 
@@ -34,6 +40,9 @@ module PaperTrailDiff
     # : () -> bool
     def current?: () -> bool
 
+    # : () -> bool
+    def destroyed?: () -> bool
+
     # : () -> Hash[Symbol, untyped]
     def to_h: () -> Hash[Symbol, untyped]
   end

data/sig/generated/paper_trail_diff/activity_collection_event_applier.rbs

@@ -0,0 +1,46 @@
+# Generated from lib/paper_trail_diff/activity_collection_event_applier.rb with RBS::Inline
+
+module PaperTrailDiff
+  # Applies a safe collection event across every selected route for its record type.
+  class ActivityCollectionEventApplier
+    # : (record_resolver: ActivityEventRecordResolver, record_normalizer: ActivityEventRecordNormalizer, route_updater: ActivityCollectionRouteUpdater, relationship: ActivityRelationship) -> void
+    def initialize: (record_resolver: ActivityEventRecordResolver, record_normalizer: ActivityEventRecordNormalizer, route_updater: ActivityCollectionRouteUpdater, relationship: ActivityRelationship) -> void
+
+    # : (Array[Array[untyped]], untyped, ActivitySnapshotDelta?) -> bool
+    def safe?: (Array[Array[untyped]], untyped, ActivitySnapshotDelta?) -> bool
+
+    # : (untyped, untyped, RecordSnapshot, SnapshotNormalizer, Array[Array[untyped]], untyped, ActivitySnapshotDelta?) -> [bool, RecordSnapshot]
+    def call: (untyped, untyped, RecordSnapshot, SnapshotNormalizer, Array[Array[untyped]], untyped, ActivitySnapshotDelta?) -> [ bool, RecordSnapshot ]
+
+    private
+
+    @record_normalizer: ActivityEventRecordNormalizer
+
+    @record_resolver: ActivityEventRecordResolver
+
+    @relationship: ActivityRelationship
+
+    @route_updater: ActivityCollectionRouteUpdater
+
+    # : (RecordSnapshot, Array[untyped], untyped, ActivitySnapshotDelta?, Array[untyped], SnapshotNormalizer, Array[untyped]) -> RecordSnapshot
+    def apply_route: (RecordSnapshot, Array[untyped], untyped, ActivitySnapshotDelta?, Array[untyped], SnapshotNormalizer, Array[untyped]) -> RecordSnapshot
+
+    # : (Array[Array[untyped]], untyped) -> bool
+    def unsafe_through_membership_event?: (Array[Array[untyped]], untyped) -> bool
+
+    # : (Array[Array[untyped]], ActivitySnapshotDelta?) -> bool
+    def unsafe_nested_membership_delta?: (Array[Array[untyped]], ActivitySnapshotDelta?) -> bool
+
+    # : (RecordSnapshot, Array[untyped], untyped, ActivitySnapshotDelta?, Array[untyped], SnapshotNormalizer, Array[untyped]) -> [untyped, RecordSnapshot?]
+    def route_event_state: (RecordSnapshot, Array[untyped], untyped, ActivitySnapshotDelta?, Array[untyped], SnapshotNormalizer, Array[untyped]) -> [ untyped, RecordSnapshot? ]
+
+    # : (untyped, Array[untyped], SnapshotNormalizer, Array[untyped]) -> RecordSnapshot?
+    def normalized_event_record: (untyped, Array[untyped], SnapshotNormalizer, Array[untyped]) -> RecordSnapshot?
+
+    # : (RecordSnapshot, Array[untyped], untyped, ActivitySnapshotDelta?) -> RecordSnapshot?
+    def existing_delta_record: (RecordSnapshot, Array[untyped], untyped, ActivitySnapshotDelta?) -> RecordSnapshot?
+
+    # : (RecordSnapshot, Array[untyped], ActivitySnapshotDelta) -> RecordSnapshot?
+    def nested_delta_owner: (RecordSnapshot, Array[untyped], ActivitySnapshotDelta) -> RecordSnapshot?
+  end
+end

data/sig/generated/paper_trail_diff/activity_collection_record_updater.rbs

@@ -0,0 +1,25 @@
+# Generated from lib/paper_trail_diff/activity_collection_record_updater.rb with RBS::Inline
+
+module PaperTrailDiff
+  # Applies one event to the leaf records of a collection association snapshot.
+  class ActivityCollectionRecordUpdater
+    # : (ActivityRelationship) -> void
+    def initialize: (ActivityRelationship) -> void
+
+    # : (AssociationSnapshot, ActivityCollectionRouteChange, untyped, RecordSnapshot) -> RecordSnapshot?
+    def event_child: (AssociationSnapshot, ActivityCollectionRouteChange, untyped, RecordSnapshot) -> RecordSnapshot?
+
+    # : (AssociationSnapshot, untyped, RecordSnapshot?) -> [Array[RecordSnapshot], RecordSnapshot?, RecordSnapshot?, bool]
+    def call: (AssociationSnapshot, untyped, RecordSnapshot?) -> [ Array[RecordSnapshot], RecordSnapshot?, RecordSnapshot?, bool ]
+
+    # : (untyped, RecordSnapshot?) -> String
+    def replacement_type: (untyped, RecordSnapshot?) -> String
+
+    private
+
+    @relationship: ActivityRelationship
+
+    # : (Array[RecordSnapshot], Integer?, RecordSnapshot?) -> Array[RecordSnapshot]
+    def replacement_records: (Array[RecordSnapshot], Integer?, RecordSnapshot?) -> Array[RecordSnapshot]
+  end
+end

data/sig/generated/paper_trail_diff/activity_collection_route_change.rbs

@@ -0,0 +1,17 @@
+# Generated from lib/paper_trail_diff/activity_collection_route_change.rb with RBS::Inline
+
+module PaperTrailDiff
+  # Carries one collection event through recursive immutable route replacement.
+  class ActivityCollectionRouteChange
+    attr_reader route: Array[untyped]
+
+    attr_reader version: untyped
+
+    attr_reader record: untyped
+
+    attr_reader replacement: RecordSnapshot?
+
+    # : (route: Array[untyped], version: untyped, record: untyped, replacement: RecordSnapshot?) -> void
+    def initialize: (route: Array[untyped], version: untyped, record: untyped, replacement: RecordSnapshot?) -> void
+  end
+end

data/sig/generated/paper_trail_diff/activity_collection_route_updater.rbs

@@ -0,0 +1,44 @@
+# Generated from lib/paper_trail_diff/activity_collection_route_updater.rb with RBS::Inline
+
+module PaperTrailDiff
+  # Replaces a collection event record along one explicit immutable snapshot route.
+  class ActivityCollectionRouteUpdater
+    # : (pool: SnapshotPool, relationship: ActivityRelationship) -> void
+    def initialize: (pool: SnapshotPool, relationship: ActivityRelationship) -> void
+
+    # : (RecordSnapshot, ActivityCollectionRouteChange, ?depth: Integer) -> [RecordSnapshot, bool]
+    def call: (RecordSnapshot, ActivityCollectionRouteChange, ?depth: Integer) -> [ RecordSnapshot, bool ]
+
+    private
+
+    @pool: SnapshotPool
+
+    @record_updater: ActivityCollectionRecordUpdater
+
+    @relationship: ActivityRelationship
+
+    # : (AssociationSnapshot, RecordSnapshot, ActivityCollectionRouteChange, Integer) -> [Array[RecordSnapshot], RecordSnapshot?, RecordSnapshot?, bool, bool]
+    def updated_records: (AssociationSnapshot, RecordSnapshot, ActivityCollectionRouteChange, Integer) -> [ Array[RecordSnapshot], RecordSnapshot?, RecordSnapshot?, bool, bool ]
+
+    # : (AssociationSnapshot, RecordSnapshot, ActivityCollectionRouteChange) -> [Array[RecordSnapshot], RecordSnapshot?, RecordSnapshot?, bool, bool]
+    def leaf_records: (AssociationSnapshot, RecordSnapshot, ActivityCollectionRouteChange) -> [ Array[RecordSnapshot], RecordSnapshot?, RecordSnapshot?, bool, bool ]
+
+    # : (AssociationSnapshot, ActivityCollectionRouteChange, Integer) -> [Array[RecordSnapshot], RecordSnapshot?, RecordSnapshot?, bool]?
+    def targeted_parent: (AssociationSnapshot, ActivityCollectionRouteChange, Integer) -> [ Array[RecordSnapshot], RecordSnapshot?, RecordSnapshot?, bool ]?
+
+    # : (AssociationSnapshot, ActivityCollectionRouteChange, Integer) -> [Array[RecordSnapshot], RecordSnapshot?, RecordSnapshot?, bool, bool]
+    def recursive_records: (AssociationSnapshot, ActivityCollectionRouteChange, Integer) -> [ Array[RecordSnapshot], RecordSnapshot?, RecordSnapshot?, bool, bool ]
+
+    # : ([RecordSnapshot?, RecordSnapshot?, bool], RecordSnapshot, RecordSnapshot, bool) -> [RecordSnapshot?, RecordSnapshot?, bool]
+    def recursive_transition: ([ RecordSnapshot?, RecordSnapshot?, bool ], RecordSnapshot, RecordSnapshot, bool) -> [ RecordSnapshot?, RecordSnapshot?, bool ]
+
+    # : (Array[RecordSnapshot], Integer, RecordSnapshot, RecordSnapshot, bool) -> [Array[RecordSnapshot], RecordSnapshot?, RecordSnapshot?, bool]
+    def targeted_parent_replacement: (Array[RecordSnapshot], Integer, RecordSnapshot, RecordSnapshot, bool) -> [ Array[RecordSnapshot], RecordSnapshot?, RecordSnapshot?, bool ]
+
+    # : (AssociationSnapshot, untyped, ActivityCollectionRouteChange) -> Integer?
+    def nested_owner_position: (AssociationSnapshot, untyped, ActivityCollectionRouteChange) -> Integer?
+
+    # : (RecordSnapshot, String, AssociationSnapshot) -> RecordSnapshot
+    def replace_association: (RecordSnapshot, String, AssociationSnapshot) -> RecordSnapshot
+  end
+end

data/sig/generated/paper_trail_diff/activity_event_record_normalizer.rbs

@@ -0,0 +1,19 @@
+# Generated from lib/paper_trail_diff/activity_event_record_normalizer.rb with RBS::Inline
+
+module PaperTrailDiff
+  # Normalizes one event record with the historical reader for its boundary.
+  class ActivityEventRecordNormalizer
+    # : (?association_reader: untyped) -> void
+    def initialize: (?association_reader: untyped) -> void
+
+    # : (untyped, reflection: untyped, subtree: AssociationTree, path: String, normalizer: SnapshotNormalizer, root_endpoint: untyped, context_endpoint: untyped) -> RecordSnapshot?
+    def call: (untyped, reflection: untyped, subtree: AssociationTree, path: String, normalizer: SnapshotNormalizer, root_endpoint: untyped, context_endpoint: untyped) -> RecordSnapshot?
+
+    private
+
+    @association_reader: untyped
+
+    # : (untyped, habtm_version: untyped) -> HistoricalAssociationReifier
+    def historical_reader: (untyped, habtm_version: untyped) -> HistoricalAssociationReifier
+  end
+end

data/sig/generated/paper_trail_diff/activity_event_record_resolver.rbs

@@ -0,0 +1,44 @@
+# Generated from lib/paper_trail_diff/activity_event_record_resolver.rb with RBS::Inline
+
+module PaperTrailDiff
+  # Reconstructs an event's post-change record or immutable scalar delta.
+  class ActivityEventRecordResolver
+    RECORD_AFTER_HANDLERS: untyped
+
+    # : (?record_transition: untyped) -> void
+    def initialize: (?record_transition: untyped) -> void
+
+    # : (untyped) -> untyped
+    def record_after: (untyped) -> untyped
+
+    # : (untyped) -> ActivitySnapshotDelta?
+    def snapshot_delta: (untyped) -> ActivitySnapshotDelta?
+
+    # : (untyped) -> untyped
+    def changed_record_after: (untyped) -> untyped
+
+    # : (untyped) -> untyped
+    def created_record_after: (untyped) -> untyped
+
+    # : (untyped) -> untyped
+    def updated_record_after: (untyped) -> untyped
+
+    # Mirrors PaperTrail's changeset deserialization without resolving
+    # +version.item+, which would issue one live-record query per event.
+    # : (untyped, untyped) -> untyped
+    def deserialized_changeset: (untyped, untyped) -> untyped
+
+    private
+
+    @record_transition: untyped
+
+    # : (untyped, untyped) -> Hash[untyped, untyped]
+    def after_attributes: (untyped, untyped) -> Hash[untyped, untyped]
+
+    # : (untyped, untyped) -> untyped
+    def apply_changes: (untyped, untyped) -> untyped
+
+    # : (untyped, untyped, untyped) -> untyped
+    def standard_changeset: (untyped, untyped, untyped) -> untyped
+  end
+end

data/sig/generated/paper_trail_diff/activity_event_route_finder.rbs

@@ -0,0 +1,47 @@
+# Generated from lib/paper_trail_diff/activity_event_route_finder.rb with RBS::Inline
+
+module PaperTrailDiff
+  # Finds explicitly selected collection and belongs-to routes for one event type.
+  class ActivityEventRouteFinder
+    # : (AssociationTraversal) -> void
+    def initialize: (AssociationTraversal) -> void
+
+    # : (untyped, AssociationTree, String, ?path: String) -> Array[Array[untyped]]
+    def collection_routes: (untyped, AssociationTree, String, ?path: String) -> Array[Array[untyped]]
+
+    # : (untyped, AssociationTree, String, ?path: String) -> Array[Array[untyped]]
+    def belongs_to_routes: (untyped, AssociationTree, String, ?path: String) -> Array[Array[untyped]]
+
+    private
+
+    @belongs_to_routes: Hash[Array[untyped], Array[Array[untyped]]]
+
+    @collection_routes: Hash[Array[untyped], Array[Array[untyped]]]
+
+    @traversal: AssociationTraversal
+
+    # Timelines interleave event types, so every requested combination is
+    # retained. Model, tree, and path are fixed per adapter, leaving one entry
+    # per selected item type.
+    # : (Hash[Array[untyped], Array[Array[untyped]]], untyped, AssociationTree, String, String, Symbol) -> Array[Array[untyped]]
+    def cached: (Hash[Array[untyped], Array[Array[untyped]]], untyped, AssociationTree, String, String, Symbol) -> Array[Array[untyped]]
+
+    # : (Array[untyped]) -> Array[untyped]
+    def cache_key: (Array[untyped]) -> Array[untyped]
+
+    # : (Array[Array[untyped]]) -> Array[Array[untyped]]
+    def freeze_routes: (Array[Array[untyped]]) -> Array[Array[untyped]]
+
+    # : (untyped, AssociationTree, String, Symbol, path: String) -> Array[Array[untyped]]
+    def routes: (untyped, AssociationTree, String, Symbol, path: String) -> Array[Array[untyped]]
+
+    # : (untyped, AssociationTree, String, Symbol, String) -> Array[Array[untyped]]
+    def routes_for_reflection: (untyped, AssociationTree, String, Symbol, String) -> Array[Array[untyped]]
+
+    # : (untyped, String, Symbol) -> bool
+    def direct_route?: (untyped, String, Symbol) -> bool
+
+    # : (untyped, Symbol) -> bool
+    def supported_direct_reflection?: (untyped, Symbol) -> bool
+  end
+end

data/sig/generated/paper_trail_diff/activity_event_snapshot_refresher.rbs

@@ -1,138 +1,46 @@
 # Generated from lib/paper_trail_diff/activity_event_snapshot_refresher.rb with RBS::Inline
 
 module PaperTrailDiff
-  # Applies safe descendant event deltas without rebuilding an entire selected branch.
-  # rubocop:disable Metrics/ClassLength
+  # Dispatches safe descendant events to focused immutable snapshot appliers.
   class ActivityEventSnapshotRefresher
-    RECORD_AFTER_HANDLERS: untyped
-
     # : (traversal: AssociationTraversal, pool: SnapshotPool, components: untyped, ?association_reader: untyped, ?record_transition: untyped) -> void
     def initialize: (traversal: AssociationTraversal, pool: SnapshotPool, components: untyped, ?association_reader: untyped, ?record_transition: untyped) -> void
 
-    # : (untyped, untyped, RecordSnapshot, Array[String], ActivityEvent?) -> [bool, RecordSnapshot?]
-    def call: (untyped, untyped, RecordSnapshot, Array[String], ActivityEvent?) -> [ bool, RecordSnapshot? ]
-
-    private
-
-    @association_reader: untyped
-
-    @components: untyped
-
-    @pool: SnapshotPool
-
-    @record_transition: untyped
-
-    @traversal: AssociationTraversal
+    # : (SnapshotPool, untyped) -> void
+    def configure_appliers: (SnapshotPool, untyped) -> void
 
-    # : (Array[Array[untyped]], untyped) -> bool
-    def unsafe_through_membership_event?: (Array[Array[untyped]], untyped) -> bool
+    # : (SnapshotPool) -> ActivityCollectionRouteUpdater
+    def collection_updater: (SnapshotPool) -> ActivityCollectionRouteUpdater
 
-    # : (Array[Array[untyped]], ActivitySnapshotDelta?) -> bool
-    def unsafe_nested_membership_delta?: (Array[Array[untyped]], ActivitySnapshotDelta?) -> bool
+    # : (ActivityEventRecordNormalizer, ActivityCollectionRouteUpdater) -> ActivityCollectionEventApplier
+    def collection_applier: (ActivityEventRecordNormalizer, ActivityCollectionRouteUpdater) -> ActivityCollectionEventApplier
 
-    # : (untyped, untyped, RecordSnapshot, SnapshotNormalizer, Array[Array[untyped]], untyped, ActivitySnapshotDelta?) -> [bool, RecordSnapshot]
-    def collection_target_snapshot: (untyped, untyped, RecordSnapshot, SnapshotNormalizer, Array[Array[untyped]], untyped, ActivitySnapshotDelta?) -> [ bool, RecordSnapshot ]
+    # : (ActivityEventRecordNormalizer) -> ActivityBelongsToEventApplier
+    def belongs_to_applier: (ActivityEventRecordNormalizer) -> ActivityBelongsToEventApplier
 
-    # : (RecordSnapshot, Array[untyped], untyped, ActivitySnapshotDelta?, Array[untyped], SnapshotNormalizer, untyped, untyped) -> [untyped, RecordSnapshot?]
-    def collection_route_event_state: (RecordSnapshot, Array[untyped], untyped, ActivitySnapshotDelta?, Array[untyped], SnapshotNormalizer, untyped, untyped) -> [ untyped, RecordSnapshot? ]
-
-    # : (untyped, Array[untyped], SnapshotNormalizer, untyped, untyped) -> RecordSnapshot?
-    def normalized_collection_event_record: (untyped, Array[untyped], SnapshotNormalizer, untyped, untyped) -> RecordSnapshot?
-
-    # : (RecordSnapshot, Array[untyped], untyped, ActivitySnapshotDelta?) -> RecordSnapshot?
-    def existing_delta_record: (RecordSnapshot, Array[untyped], untyped, ActivitySnapshotDelta?) -> RecordSnapshot?
-
-    # : (RecordSnapshot, Array[untyped], ActivitySnapshotDelta) -> RecordSnapshot?
-    def nested_delta_owner: (RecordSnapshot, Array[untyped], ActivitySnapshotDelta) -> RecordSnapshot?
-
-    # : (untyped, AssociationTree, String, ?path: String) -> Array[Array[untyped]]
-    def direct_collection_routes: (untyped, AssociationTree, String, ?path: String) -> Array[Array[untyped]]
-
-    # : (RecordSnapshot, Array[untyped], untyped, untyped, RecordSnapshot?, ?depth: Integer) -> [RecordSnapshot, bool]
-    def replace_collection_route: (RecordSnapshot, Array[untyped], untyped, untyped, RecordSnapshot?, ?depth: Integer) -> [ RecordSnapshot, bool ]
-
-    # : (AssociationSnapshot, untyped, untyped, untyped, RecordSnapshot, RecordSnapshot?) -> RecordSnapshot?
-    def collection_event_child: (AssociationSnapshot, untyped, untyped, untyped, RecordSnapshot, RecordSnapshot?) -> RecordSnapshot?
-
-    # : (AssociationSnapshot, Array[untyped], untyped, untyped, RecordSnapshot?, Integer) -> [Array[RecordSnapshot], RecordSnapshot?, RecordSnapshot?, bool]?
-    def replace_targeted_collection_parent: (AssociationSnapshot, Array[untyped], untyped, untyped, RecordSnapshot?, Integer) -> [ Array[RecordSnapshot], RecordSnapshot?, RecordSnapshot?, bool ]?
+    # : (untyped, untyped, RecordSnapshot, Array[String], ActivityEvent?) -> [bool, RecordSnapshot?]
+    def call: (untyped, untyped, RecordSnapshot, Array[String], ActivityEvent?) -> [ bool, RecordSnapshot? ]
 
-    # : (Array[RecordSnapshot], Integer, RecordSnapshot, RecordSnapshot, bool) -> [Array[RecordSnapshot], RecordSnapshot?, RecordSnapshot?, bool]
-    def targeted_parent_replacement: (Array[RecordSnapshot], Integer, RecordSnapshot, RecordSnapshot, bool) -> [ Array[RecordSnapshot], RecordSnapshot?, RecordSnapshot?, bool ]
+    private
 
-    # : (AssociationSnapshot, untyped, untyped, untyped) -> Integer?
-    def nested_owner_position: (AssociationSnapshot, untyped, untyped, untyped) -> Integer?
+    @belongs_to_applier: ActivityBelongsToEventApplier
 
-    # : (untyped, untyped, RecordSnapshot, AssociationTree, SnapshotNormalizer, untyped) -> [bool, RecordSnapshot?]
-    def belongs_to_target_snapshot: (untyped, untyped, RecordSnapshot, AssociationTree, SnapshotNormalizer, untyped) -> [ bool, RecordSnapshot? ]
+    @collection_applier: ActivityCollectionEventApplier
 
-    # : (untyped, AssociationTree, String, ?path: String) -> Array[Array[untyped]]
-    def belongs_to_routes: (untyped, AssociationTree, String, ?path: String) -> Array[Array[untyped]]
+    @components: untyped
 
-    # : (Array[untyped], untyped, SnapshotNormalizer, untyped, untyped) -> RecordSnapshot?
-    def normalized_route_record: (Array[untyped], untyped, SnapshotNormalizer, untyped, untyped) -> RecordSnapshot?
+    @record_resolver: ActivityEventRecordResolver
 
-    # : (RecordSnapshot, Array[untyped], untyped, RecordSnapshot?, ?depth: Integer) -> [RecordSnapshot, bool]
-    def replace_route: (RecordSnapshot, Array[untyped], untyped, RecordSnapshot?, ?depth: Integer) -> [ RecordSnapshot, bool ]
+    @relationship: ActivityRelationship
 
-    # : (Array[RecordSnapshot], untyped, RecordSnapshot?) -> Array[RecordSnapshot]
-    def replace_existing_target: (Array[RecordSnapshot], untyped, RecordSnapshot?) -> Array[RecordSnapshot]
+    @route_finder: ActivityEventRouteFinder
 
     # : (untyped) -> untyped
     def record_after: (untyped) -> untyped
 
-    # PaperTrail create/update versions contain deserialized change pairs, so
-    # their post-event records need no successor query.
-    # : (untyped) -> untyped
-    def changed_record_after: (untyped) -> untyped
-
-    # : (untyped) -> untyped
-    def created_record_after: (untyped) -> untyped
-
-    # : (untyped) -> untyped
-    def updated_record_after: (untyped) -> untyped
-
-    # : (untyped, untyped) -> Hash[untyped, untyped]
-    def after_attributes: (untyped, untyped) -> Hash[untyped, untyped]
-
-    # : (untyped, untyped) -> untyped
-    def apply_changes: (untyped, untyped) -> untyped
-
-    # Mirrors PaperTrail's changeset deserialization without resolving
-    # +version.item+, which would issue one live-record query per event.
     # : (untyped, untyped) -> untyped
     def deserialized_changeset: (untyped, untyped) -> untyped
 
-    # : (untyped, untyped, untyped) -> untyped
-    def standard_changeset: (untyped, untyped, untyped) -> untyped
-
-    # : (untyped) -> ActivitySnapshotDelta?
-    def activity_snapshot_delta: (untyped) -> ActivitySnapshotDelta?
-
-    # : (untyped, untyped, RecordSnapshot, ?state: Symbol) -> bool
-    def member_of_owner?: (untyped, untyped, RecordSnapshot, ?state: Symbol) -> bool
-
-    # : (untyped, untyped, state: Symbol) -> untyped
-    def event_attribute: (untyped, untyped, state: Symbol) -> untyped
-
-    # : (untyped, untyped, state: Symbol) -> untyped
-    def relationship_owner_id: (untyped, untyped, state: Symbol) -> untyped
-
-    # : (untyped, untyped, AssociationTree, String, SnapshotNormalizer, untyped, untyped) -> RecordSnapshot?
-    def normalize_event_record: (untyped, untyped, AssociationTree, String, SnapshotNormalizer, untyped, untyped) -> RecordSnapshot?
-
-    # : (untyped, habtm_version: untyped) -> HistoricalAssociationReifier
-    def historical_reader: (untyped, habtm_version: untyped) -> HistoricalAssociationReifier
-
-    # : (AssociationSnapshot, untyped, RecordSnapshot?) -> [Array[RecordSnapshot], RecordSnapshot?, RecordSnapshot?, bool]
-    def replace_collection_record: (AssociationSnapshot, untyped, RecordSnapshot?) -> [ Array[RecordSnapshot], RecordSnapshot?, RecordSnapshot?, bool ]
-
-    # : (Array[RecordSnapshot], Integer?, RecordSnapshot?) -> Array[RecordSnapshot]
-    def replacement_collection_records: (Array[RecordSnapshot], Integer?, RecordSnapshot?) -> Array[RecordSnapshot]
-
-    # : (untyped, RecordSnapshot?) -> String
-    def replacement_type: (untyped, RecordSnapshot?) -> String
-
     # : (untyped) -> untyped
     def endpoint_model_class: (untyped) -> untyped
   end

data/sig/generated/paper_trail_diff/activity_relationship.rbs

@@ -0,0 +1,23 @@
+# Generated from lib/paper_trail_diff/activity_relationship.rb with RBS::Inline
+
+module PaperTrailDiff
+  # Reads event-side foreign keys and matches them to an immutable snapshot owner.
+  class ActivityRelationship
+    # : (untyped, untyped, RecordSnapshot, ?state: Symbol) -> bool
+    def member_of_owner?: (untyped, untyped, RecordSnapshot, ?state: Symbol) -> bool
+
+    # : (untyped, untyped, state: Symbol) -> untyped
+    def owner_id: (untyped, untyped, state: Symbol) -> untyped
+
+    private
+
+    # : (untyped, untyped, state: Symbol) -> Array[String]
+    def relationship_owner_values: (untyped, untyped, state: Symbol) -> Array[String]
+
+    # : (untyped, untyped, state: Symbol) -> untyped
+    def event_attribute: (untyped, untyped, state: Symbol) -> untyped
+
+    # : (untyped, RecordSnapshot) -> Array[String]
+    def owner_types: (untyped, RecordSnapshot) -> Array[String]
+  end
+end

data/sig/generated/paper_trail_diff/activity_root_steps.rbs

@@ -0,0 +1,13 @@
+# Generated from lib/paper_trail_diff/activity_root_steps.rb with RBS::Inline
+
+module PaperTrailDiff
+  # Root checkpoint steps recovered from the snapshots an activity pass retained,
+  # so a combined result does not reconstruct the same boundaries twice.
+  module ActivityRootSteps
+    # : (Array[untyped], Hash[Array[untyped], RecordSnapshot?]) -> Array[Step]
+    def self?.call: (Array[untyped], Hash[Array[untyped], RecordSnapshot?]) -> Array[Step]
+
+    # : (untyped) -> Array[untyped]
+    def self?.version_key: (untyped) -> Array[untyped]
+  end
+end

data/sig/generated/paper_trail_diff/activity_snapshot_sequence.rbs

@@ -6,8 +6,8 @@ module PaperTrailDiff
     # : (snapshotter: untyped, refresher: untyped, preparer: untyped) -> void
     def initialize: (snapshotter: untyped, refresher: untyped, preparer: untyped) -> void
 
-    # : (untyped, Array[untyped], ?start_at: untyped) -> void
-    def prepare: (untyped, Array[untyped], ?start_at: untyped) -> void
+    # : (untyped, Array[untyped], ?start_at: untyped, ?end_at: untyped) -> void
+    def prepare: (untyped, Array[untyped], ?start_at: untyped, ?end_at: untyped) -> void
 
     # : (untyped, untyped) -> RecordSnapshot?
     def call: (untyped, untyped) -> RecordSnapshot?

data/sig/generated/paper_trail_diff/activity_timeline_builder.rbs

@@ -27,6 +27,9 @@ module PaperTrailDiff
 
     @tree: AssociationTree
 
+    # : () -> Array[ActivityStep]
+    def no_steps: () -> Array[ActivityStep]
+
     # : () -> Array[ActivityStep]
     def build_between_versions: () -> Array[ActivityStep]
 
@@ -42,23 +45,30 @@ module PaperTrailDiff
     # : (Array[untyped], ?range_start: untyped, ?range_end: untyped) -> Array[ActivityEvent]
     def collect_events: (Array[untyped], ?range_start: untyped, ?range_end: untyped) -> Array[ActivityEvent]
 
-    # : (Array[untyped], ?start_at: untyped) -> void
-    def prepare_history: (Array[untyped], ?start_at: untyped) -> void
+    # : (Array[untyped], ?end_at: untyped) -> void
+    def prepare_history: (Array[untyped], ?end_at: untyped) -> void
 
     # : (Array[untyped], Array[ActivityEvent], ?current: untyped, ?final_boundary: ActivityBoundary?, ?final_snapshot: RecordSnapshot?) -> Array[ActivityStep]
     def build_event_steps: (Array[untyped], Array[ActivityEvent], ?current: untyped, ?final_boundary: ActivityBoundary?, ?final_snapshot: RecordSnapshot?) -> Array[ActivityStep]
 
-    # : (Array[untyped], Array[ActivityEvent], ?current: untyped) -> ActivityHistory
-    def event_history: (Array[untyped], Array[ActivityEvent], ?current: untyped) -> ActivityHistory
+    # Appends the transition into an explicit closing boundary, which is either
+    # a requested current record or the absence a final root destroy leaves.
+    # : (ActivityHistory, Array[ActivityEvent], ActivityBoundary?, RecordSnapshot?) -> Array[ActivityStep]
+    def activity_steps: (ActivityHistory, Array[ActivityEvent], ActivityBoundary?, RecordSnapshot?) -> Array[ActivityStep]
 
-    # : (Array[untyped], ActivityHistory) -> Analysis
-    def build_analysis: (Array[untyped], ActivityHistory) -> Analysis
+    # A destroyed root has no later version, but its own event states that
+    # nothing follows it, so the removal can still close the timeline.
+    # : (Array[untyped]) -> ActivityBoundary?
+    def destroyed_boundary: (Array[untyped]) -> ActivityBoundary?
 
-    # : (Array[untyped], Array[RecordSnapshot?]) -> Array[Step]
-    def build_root_steps: (Array[untyped], Array[RecordSnapshot?]) -> Array[Step]
+    # : (Array[untyped], Array[ActivityEvent], ?current: untyped) -> ActivityHistory
+    def event_history: (Array[untyped], Array[ActivityEvent], ?current: untyped) -> ActivityHistory
 
-    # : (untyped) -> Array[untyped]
-    def version_key: (untyped) -> Array[untyped]
+    # Only the activity view gains the closing removal. The endpoint diff and
+    # the root timeline keep their `compare` and `timeline` semantics, under
+    # which the state at a destroy version is the state before the deletion.
+    # : (Array[untyped], Array[ActivityEvent], ActivityHistory) -> Analysis
+    def build_analysis: (Array[untyped], Array[ActivityEvent], ActivityHistory) -> Analysis
 
     # : () -> TimeActivityTimelineBuilder
     def time_builder: () -> TimeActivityTimelineBuilder

data/sig/generated/paper_trail_diff/analysis.rbs

@@ -9,6 +9,11 @@ module PaperTrailDiff
 
     attr_reader activity_timeline: Array[ActivityStep]?
 
+    # The result for a record whose requested history contains no versions,
+    # which is an empty history rather than a failed request.
+    # : () -> Analysis
+    def self.empty: () -> Analysis
+
     # : (diff: Diff, timeline: Array[Step], ?activity_timeline: Array[ActivityStep]?) -> void
     def initialize: (diff: Diff, timeline: Array[Step], ?activity_timeline: Array[ActivityStep]?) -> void
 

data/sig/generated/paper_trail_diff/collection_comparator.rbs

@@ -50,9 +50,16 @@ module PaperTrailDiff
     # : (Array[identity]) -> Array[identity]
     def sorted_identities: (Array[identity]) -> Array[identity]
 
+    # Identities sort by type first so that mixed id types stay comparable, then
+    # naturally within one type. Ordering by the printed form instead would put
+    # id 10 before id 2, which is deterministic but reads as unsorted wherever a
+    # result is rendered.
     # : (identity) -> Array[untyped]
     def sortable_identity: (identity) -> Array[untyped]
 
+    # : (untyped) -> Array[untyped]
+    def sortable_id: (untyped) -> Array[untyped]
+
     # : (identity) -> void
     def raise_duplicate_identity!: (identity) -> void
   end

data/sig/generated/paper_trail_diff/collection_transition.rbs

@@ -7,12 +7,15 @@ module PaperTrailDiff
 
     attr_reader after: RecordSnapshot?
 
+    # The origin is recorded by serial rather than by reference, because
+    # holding it would retain every earlier snapshot at the same path for the
+    # whole timeline.
     # : (from: AssociationSnapshot, before: RecordSnapshot?, after: RecordSnapshot?) -> void
     def initialize: (from: AssociationSnapshot, before: RecordSnapshot?, after: RecordSnapshot?) -> void
 
     # : (AssociationSnapshot) -> bool
     def from?: (AssociationSnapshot) -> bool
 
-    @from_object_id: Integer
+    @from_serial: Integer
   end
 end

data/sig/generated/paper_trail_diff/endpoint.rbs

@@ -6,6 +6,18 @@ module PaperTrailDiff
     # : (untyped, untyped) -> void
     def self?.validate_pair!: (untyped, untyped) -> void
 
+    # Two versions carry no visible cue about which is earlier, so transposing
+    # them is easy to do by accident and impossible to detect afterwards: the
+    # result is a valid inverse diff and carries no direction of its own. It is
+    # also redundant, because the two orders differ only in which side of each
+    # change is `from`. A current-record endpoint is exempt: it is self-evidently
+    # the live state, so putting it first is a deliberate reverse comparison.
+    # : (untyped, untyped) -> void
+    def self?.validate_order!: (untyped, untyped) -> void
+
+    # : (untyped, untyped) -> bool
+    def self?.reversed_versions?: (untyped, untyped) -> bool
+
     # : (untyped) -> void
     def self?.validate!: (untyped) -> void