regent 0.7.0
regent: ^0.7.0 copied to clipboard
Optimistic, message-driven state engine: a journal of sealed facts folded into keyed stores and units, with guards, correlation, and merge edges. Pure Dart.
0.7.0 #
replay(rows, order)/replayStore: fold a message order on a pure ledger to a state snapshot — order-(in)dependence as a law viaequals/isNot.@puremarker on the fold-family contracts (Store/Unit.reduce, Guard.judge).
0.6.0 #
Ledger.of(rows): the declared ledger — closed citizen list from the regent enum;memoryOf(row); positionalon<M>(before: row)reads the feed at any declared row.
0.5.0 #
- Row-grain store feed:
rowChanges()+inserted/updated/upserted/deletedstream verbs.
0.4.0 #
- Regent citizen base; positional Guard/Veto rows; segmented queue; keyed verdicts.
0.3.0 #
- Observation is async (post-cut): store streams and
ledger.ondeliver after the traversal; dispatch during a fold/guard asserts. mergeStore: keyed-store merge sources; store sources join the collection union.Source/CommonSourceremoved — provenance is said by types and stores.- Event-stream verbs:
transitions,entering,on<M>on store event streams.
0.2.0 #
Verdict: the write correlation twin — prediction + resolver types, settled by state comparison.- Optimistic overlays and
rollbackon unit stores. Stability.reverted/.amendedand thetamperedflag.awaits/verdictdeclared assuperconstructor fields;Store.initialis named.
0.1.1 #
- README refreshed for the regent identity.
0.1.0 #
- Initial release: message bus with a journal/admitted split, typed guards and vetoes.
Store/Unitpure reduce specs;StoreMemory/UnitMemorylive stores with optimistic overlays.Awaitscorrelation twins: key-correlated request status + thesurfacescope-entry ask.- Store event streams: one post-fold event per delivered family message.
Projectionmerge edges: a unit's state answers a keyed surface's reads at its own id.@storesgrammar (StoreNode) for canon's generator.