HiddenRangeRecord class final

Marks records hidden in place by the structured compaction engine (issue #148, pass 1). Hiding is lossless: the referenced records stay in the session file and project into context as one-line placeholder markers at their original position, expandable on demand via compact_expand.

State is expressed over stable record ids — NEVER over positions or derived indexes (AC3 of #148: the stored state model is position-free; the short numeric ids the model sees are computed at render time from the append-only file order).

Inheritance

Constructors

HiddenRangeRecord({required String id, required String? parentId, required DateTime timestamp, required List<String> recordIds})
Creates a HiddenRangeRecord.
const

Properties

hashCode → int
The hash code for this object.
no setterinherited
id → String
Unique record id (short random id generated by the storage).
finalinherited
parentId → String?
Id of the parent record, or null for a tree root.
finalinherited
recordIds → List<String>
The ids of the records hidden by this event (stable session ids).
final
runtimeType → Type
A representation of the runtime type of the object.
no setterinherited
timestamp → DateTime
When the record was created.
finalinherited
type → String
The type discriminator written to JSON (pi's type field).
no setteroverride

Methods

noSuchMethod(Invocation invocation) → dynamic
Invoked when a nonexistent method or property is accessed.
inherited
payloadJson() → Map<String, dynamic>
Type-specific fields merged into toJson by subclasses.
override
toJson() → Map<String, dynamic>
Serializes to a JSON map with the type discriminator (pi shape).
inherited
toString() → String
A string representation of this object.
inherited

Operators

operator ==(Object other) → bool
The equality operator.
inherited