0 Releases 16 Tags

RSS Feed

• v1.9.0 aa38fbfd8c

  Compare

  feat: provider-cache bypass knob; reject non-final comparator chain steps

  Dvorak released this 2026-08-03 22:43:59 +00:00 | 6 commits to master since this release

  • check() gains cacheProviderResults (per-check option + policy default): the
    provider cache is a STORE-RETRIEVAL cache (wall-clock), independent of the
    caller's decision { now }; callers who pin time or want fresh retrieval can
    opt out per-check or globally.
  • The generator now rejects a comparator evidence referenced at a NON-final
    chain position (a comparator compares values at (src, candidate) but
    provides no candidate set, so it cannot enumerate intermediate nodes).
    Final-position comparators still lower to condition steps.

  Tests: cache bypass (per-check + policy), comparator final OK / intermediate
  error.

  Downloads

  • Source Code (ZIP)
  • Source Code (TAR.GZ)