Skip to content

CacheInvariant v0.2.0

Pre-release
Pre-release

Choose a tag to compare

@tiramitree tiramitree released this 27 Jul 17:04

CacheInvariant v0.2.0 adds a source-bound dual-stream cancellation and reuse
protocol for the exact llama.cpp b10107 CPU adapter.

What is registered:

  • two fixed streams start behind one barrier in both launch/disconnect orders;
  • both clients must receive a nonterminal event before either disconnects;
  • the first cancelled slot must return to idle, then both slots must return to
    idle;
  • both reused-slot results and prompt-work counts must match their isolated
    baselines; and
  • the offline verifier accepts both the new schema-v2 evidence and the bundled
    schema-v1 v0.1.0 reference.

The bundled Windows v0.2.0 reference records 57/57 registered invariants. Free
GitHub Actions exercise the exact runtime lane on Windows and Ubuntu without
publishing generated CI evidence.

The record retains timing-sensitive processing samples as non-gating raw
observations. This release does not claim scheduling fairness, simultaneous
token generation, survivor liveness, throughput, production isolation,
cross-runtime equivalence, external reproduction, adoption, or users.

The attached wheel and source distribution are release artifacts only. This
release is not published to PyPI.