JournalEntry class
One journal entry — one cycle's record (the issue's nine fields plus the additive extras downstream tooling reads).
Constructors
-
JournalEntry({required String feature, required String cycle, required String phase, required String startedAt, required String finishedAt, required String gateState, List<
String> receipts = const [], List<String> violations = const [], String? engineReceipt, String? skinReceipt, String? contractSchema, String? result, List<String> behaviors = const [], Map<String, int> ? counts, String? stoppedAt, Map<String, int> ? mocks, Map<String, Map< ? fingerprints, List<String, String?> >String> ungated = const [], JournalStepError? error}) -
const
-
JournalEntry.fromJson(Map<
String, dynamic> json) -
factory
Properties
-
behaviors
→ List<
String> -
The lane's behavior ids in list order.
final
- contractSchema → String?
-
refs.contract_schema — the skin contract JSON (#1111).
final
-
counts
→ Map<
String, int> ? -
The lane's receipt counts (total/pending/red/green/done).
final
- cycle → String
-
engine | skin | meta.
final
- engineReceipt → String?
-
refs.engine_receipt — the engine lane receipt (#1008/#1109).
final
- error → JournalStepError?
-
Issue #1329: the failed step's diagnostic evidence when this cycle
stopped on a step error — null for every other terminal outcome.
final
- feature → String
-
final
-
fingerprints
→ Map<
String, Map< ?String, String?> > -
The prove entry's per-behavior file fingerprints
({id: {subject: sha256|null, test: sha256|null}}) — the baseline
the next prove's delta walks.
final
- finishedAt → String
-
final
- gateState → String
-
green | red | preflight_red | not_assessed.
final
- hashCode → int
-
The hash code for this object.
no setterinherited
-
mocks
→ Map<
String, int> ? -
The cert-gate's mock accounting for the engine lane
({total, certified}) — the status verdict's
mocks c/tsegment.final - phase → String
-
gate | drive | aggregate | prove.
final
-
receipts
→ List<
String> -
Feature-relative paths of the receipts this cycle wrote/read
(e.g.
tdd/04-engine-receipt.json).final - result → String?
-
The driver's own result name (complete | stopped | runner-error |
... | clean | delta for prove).
final
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
- skinReceipt → String?
-
refs.skin_receipt — the skin lane receipt (#1008/#1005).
final
- startedAt → String
-
ISO-8601 UTC timestamps.
final
- stoppedAt → String?
-
behavior:stepwhen the lane stopped honestly.final -
ungated
→ List<
String> -
The prove entry's reported ungated behavior ids.
final
-
violations
→ List<
String> -
Honest violations: the stopped_at of a red lane, the gate refusal,
the skipped-widget ids.
final
Methods
-
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
toJson(
) → Map< String, dynamic> -
toString(
) → String -
A string representation of this object.
inherited
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited