ObligationEntry class final
One ledger entry: a verbatim quote of a past instruction, rule, commitment or armed wait, pointing at the record it came from.
Constructors
- ObligationEntry({required String id, required ObligationKind kind, required String text, required String sourceRecordId, required DateTime createdAt, ObligationStatus status = ObligationStatus.open})
-
const
Properties
- createdAt → DateTime
-
final
- hashCode → int
-
The hash code for this object.
no setterinherited
- id → String
-
Stable entry id (uuidv7) — lifecycle updates replace by id.
final
- kind → ObligationKind
-
final
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
- sourceRecordId → String
-
The session record id the quote came from.
final
- status → ObligationStatus
-
final
- text → String
-
The VERBATIM source span — byte-matches the source record (AC2).
Never a paraphrase: paraphrase drift is the failure mode this card
kills.
final
Methods
-
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
toJson(
) → Map< String, Object?> -
toString(
) → String -
A string representation of this object.
inherited
-
withStatus(
ObligationStatus status) → ObligationEntry -
This entry with
statusapplied (position-preserving update).
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited
Static Methods
-
fromJson(
Object? json) → ObligationEntry - Tolerant parse (E6): missing fields default (kind → open-ask, status → open, createdAt → epoch, id → deterministic content hash), junk entries never throw.