Skip to content

Tags: geminimir/warden

Tags

v0.1.0

Toggle v0.1.0's commit message 
chore(w0): xfail differential harness (strict), green CI, bump 0.1.0

The differential tests now use pytest.xfail(strict=True,
raises=EngineNotImplemented). Two effects:

  1. CI is green today — the harness is present but harmlessly xfailed
     because the seam it calls (core.rebac.check) does not exist yet.
  2. The moment W1 wires check() into evals/differential.py, the tests
     will XPASS and the strict flag fails the build — forcing us to
     remove the marker and turn the harness into a real gate. This is
     the correct forcing function: you cannot silently pass through W1
     without upgrading the check.

Also drops `continue-on-error: true` from the CI differential job — no
longer needed since xfail handles the expected-failure semantics.

Version bumped to 0.1.0 for the v0.1.0 release cutting W0.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>