Remove demo test. It is flaky on the hydra runners.
We can re-enable it later.
Home /
Input Output /
hydra-poc
Feb 10, 12-1 AM (0)
Feb 10, 1-2 AM (0)
Feb 10, 2-3 AM (0)
Feb 10, 3-4 AM (0)
Feb 10, 4-5 AM (0)
Feb 10, 5-6 AM (0)
Feb 10, 6-7 AM (0)
Feb 10, 7-8 AM (0)
Feb 10, 8-9 AM (0)
Feb 10, 9-10 AM (0)
Feb 10, 10-11 AM (9)
Feb 10, 11-12 PM (2)
Feb 10, 12-1 PM (2)
Feb 10, 1-2 PM (8)
Feb 10, 2-3 PM (5)
Feb 10, 3-4 PM (1)
Feb 10, 4-5 PM (0)
Feb 10, 5-6 PM (0)
Feb 10, 6-7 PM (0)
Feb 10, 7-8 PM (0)
Feb 10, 8-9 PM (0)
Feb 10, 9-10 PM (0)
Feb 10, 10-11 PM (0)
Feb 10, 11-12 AM (0)
Feb 11, 12-1 AM (0)
Feb 11, 1-2 AM (0)
Feb 11, 2-3 AM (0)
Feb 11, 3-4 AM (0)
Feb 11, 4-5 AM (0)
Feb 11, 5-6 AM (0)
Feb 11, 6-7 AM (2)
Feb 11, 7-8 AM (0)
Feb 11, 8-9 AM (32)
Feb 11, 9-10 AM (1)
Feb 11, 10-11 AM (0)
Feb 11, 11-12 PM (0)
Feb 11, 12-1 PM (0)
Feb 11, 1-2 PM (0)
Feb 11, 2-3 PM (1)
Feb 11, 3-4 PM (0)
Feb 11, 4-5 PM (0)
Feb 11, 5-6 PM (0)
Feb 11, 6-7 PM (0)
Feb 11, 7-8 PM (0)
Feb 11, 8-9 PM (0)
Feb 11, 9-10 PM (0)
Feb 11, 10-11 PM (0)
Feb 11, 11-12 AM (0)
Feb 12, 12-1 AM (0)
Feb 12, 1-2 AM (0)
Feb 12, 2-3 AM (0)
Feb 12, 3-4 AM (0)
Feb 12, 4-5 AM (0)
Feb 12, 5-6 AM (1)
Feb 12, 6-7 AM (2)
Feb 12, 7-8 AM (0)
Feb 12, 8-9 AM (1)
Feb 12, 9-10 AM (0)
Feb 12, 10-11 AM (4)
Feb 12, 11-12 PM (0)
Feb 12, 12-1 PM (0)
Feb 12, 1-2 PM (0)
Feb 12, 2-3 PM (1)
Feb 12, 3-4 PM (1)
Feb 12, 4-5 PM (0)
Feb 12, 5-6 PM (0)
Feb 12, 6-7 PM (0)
Feb 12, 7-8 PM (0)
Feb 12, 8-9 PM (0)
Feb 12, 9-10 PM (0)
Feb 12, 10-11 PM (0)
Feb 12, 11-12 AM (0)
Feb 13, 12-1 AM (0)
Feb 13, 1-2 AM (0)
Feb 13, 2-3 AM (0)
Feb 13, 3-4 AM (0)
Feb 13, 4-5 AM (0)
Feb 13, 5-6 AM (0)
Feb 13, 6-7 AM (0)
Feb 13, 7-8 AM (1)
Feb 13, 8-9 AM (1)
Feb 13, 9-10 AM (2)
Feb 13, 10-11 AM (4)
Feb 13, 11-12 PM (1)
Feb 13, 12-1 PM (2)
Feb 13, 1-2 PM (0)
Feb 13, 2-3 PM (0)
Feb 13, 3-4 PM (0)
Feb 13, 4-5 PM (0)
Feb 13, 5-6 PM (0)
Feb 13, 6-7 PM (0)
Feb 13, 7-8 PM (0)
Feb 13, 8-9 PM (0)
Feb 13, 9-10 PM (0)
Feb 13, 10-11 PM (0)
Feb 13, 11-12 AM (0)
Feb 14, 12-1 AM (19)
Feb 14, 1-2 AM (8)
Feb 14, 2-3 AM (2)
Feb 14, 3-4 AM (0)
Feb 14, 4-5 AM (0)
Feb 14, 5-6 AM (0)
Feb 14, 6-7 AM (0)
Feb 14, 7-8 AM (0)
Feb 14, 8-9 AM (0)
Feb 14, 9-10 AM (0)
Feb 14, 10-11 AM (0)
Feb 14, 11-12 PM (0)
Feb 14, 12-1 PM (0)
Feb 14, 1-2 PM (0)
Feb 14, 2-3 PM (0)
Feb 14, 3-4 PM (0)
Feb 14, 4-5 PM (1)
Feb 14, 5-6 PM (0)
Feb 14, 6-7 PM (0)
Feb 14, 7-8 PM (0)
Feb 14, 8-9 PM (0)
Feb 14, 9-10 PM (0)
Feb 14, 10-11 PM (0)
Feb 14, 11-12 AM (0)
Feb 15, 12-1 AM (0)
Feb 15, 1-2 AM (0)
Feb 15, 2-3 AM (0)
Feb 15, 3-4 AM (0)
Feb 15, 4-5 AM (0)
Feb 15, 5-6 AM (0)
Feb 15, 6-7 AM (0)
Feb 15, 7-8 AM (0)
Feb 15, 8-9 AM (0)
Feb 15, 9-10 AM (0)
Feb 15, 10-11 AM (0)
Feb 15, 11-12 PM (0)
Feb 15, 12-1 PM (0)
Feb 15, 1-2 PM (0)
Feb 15, 2-3 PM (0)
Feb 15, 3-4 PM (0)
Feb 15, 4-5 PM (0)
Feb 15, 5-6 PM (0)
Feb 15, 6-7 PM (0)
Feb 15, 7-8 PM (0)
Feb 15, 8-9 PM (0)
Feb 15, 9-10 PM (0)
Feb 15, 10-11 PM (0)
Feb 15, 11-12 AM (0)
Feb 16, 12-1 AM (0)
Feb 16, 1-2 AM (0)
Feb 16, 2-3 AM (0)
Feb 16, 3-4 AM (0)
Feb 16, 4-5 AM (0)
Feb 16, 5-6 AM (0)
Feb 16, 6-7 AM (0)
Feb 16, 7-8 AM (0)
Feb 16, 8-9 AM (1)
Feb 16, 9-10 AM (1)
Feb 16, 10-11 AM (0)
Feb 16, 11-12 PM (0)
Feb 16, 12-1 PM (0)
Feb 16, 1-2 PM (25)
Feb 16, 2-3 PM (1)
Feb 16, 3-4 PM (0)
Feb 16, 4-5 PM (0)
Feb 16, 5-6 PM (0)
Feb 16, 6-7 PM (0)
Feb 16, 7-8 PM (0)
Feb 16, 8-9 PM (0)
Feb 16, 9-10 PM (0)
Feb 16, 10-11 PM (0)
Feb 16, 11-12 AM (0)
Feb 17, 12-1 AM (0)
142 commits this week
Feb 10, 2026
-
Feb 17, 2026
pass backend to withHydraNode
> this required to define an offline chain backend, which throws errors at any backend call but it has a hardcoded option of blockTime = 1
Revert "use default contestation period"
This reverts commit 520a85ca96e5bf851c924dfac2fec03e87f8e908.
use default contestation period
> current is insuficient for real networks
wait for node in sync based on network block time
try: flip handling out of sync before tick or rollback
double the time of contestation period being used
> so it doubles the unsynced policy
add top lvl helpers to manage different node state synced status in logic spec
remove unsed now in logic for handle client and network inputs
introduce new chainPointTime
> NodeState now tracks currentChainPoint :: ChainPointType tx, instead of currentSlot :: ChainSlot + currentChainTime :: Maybe UTCTime > NodeSynced and NodeUnsynced now carry ChainPointType tx, instead of chainTime :: UTCTime > extended IsChainState class with chainPointTime :: ChainPointType tx -> UTCTime > initialChainTime = posixSecondsToUTCTime 0
rename RejectedInput to RejectedInputBecauseUnsynced
> to make it more specific and dedicated
Report drift on "how out of sync" the node is
add haddocks to NodeCatchingUp
fix rotation and node specs to derive outcomes without depending on real-time passing
enhance tui report on node out of sync
safe handle for negative drifts
> behavior specs where causing 'arithmetic underflow'
minor rename for checkpointsEqual
fix api spec for drift
> replace NominalDiffTime with Natural
fix api spec for currentChainTime
> it is not optional anymore
use prime with time when needed
> now stepHydraNode takes the current time as argument > that allows runToCompletion to not depend on a recent clock time, rather it now derives next current-time as the following after the last known by the node state.
tui: remove unsed now in handleHydraEventsInfo