Skip to content

v1.1.28

Choose a tag to compare

View all tags
@tedeuxx tedeuxx released this 24 Aug 22:00
· 23 commits to main since this release
v1.1.28
bcb5b74

✨ Features

  • the claim-class contract, with VERIFIED executed by the gate (f4ae7c5)

🐛 Fixes

  • sync claim 0001's falsifier, and record the limit that let it ship (d9404cd)
  • the containment criterion was wrong — flags AND positional operands (62b75b8)
  • the executing arm must refuse on the same predicate arm 7 refused on (6e8f8eb)

📝 Documentation

  • ADR-0021 amendment — the README claim contract and the executed class (f71d9dc)

Full changelog: v1.1.27...v1.1.28

Assets 2
Loading