You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
oracle calibrations: 20 of 24 have no history binding (predates #57) #77
The calibrations in packages/oracles/oracle-gaps/gap-report-oracle.property.test.mjs: 20 of 24 have no history binding, so a calibration runs on whichever history its trace comes from, and a calibration's clean run can already violate a law (the failure mode seen on #57). #57 binds the four stop and stream calibrations (the stop-law and stream-law calibrations at about lines 3248, 3302, 3320 and 3395). Bind the other 20 to a named completing history, and check each clean run passes its laws.
Activity