Stiff 0.6.1

Stiff 0.6.1 supports Bend 2.0.36. Use Stiff 0.6.0 for Bend 2.0.35; its archives and immutable BendHub package retain that compiler pin.

• Adopt the two-argument native effect registration API. Immediate dispatch and explicit io_work helper-thread parking are preserved.
• Check generated io_eff and Effect signatures before C compilation and report a clear ABI mismatch.
• Pin the proven API starter and Git/BendHub consumers to 0.6.1. STIFF_CACHE shares pinned libevent and installs the starter’s own pinned compiler when the shared one differs.
• Fix CI timing and executable-path checks.

Paths are raw slash-delimited strings. Leading, repeated and trailing slashes are significant; there is no normalization or percent-decoding. Methods are case-sensitive, HEAD requires an explicit route, and repeated Allow methods retain their last occurrence's position. Parameter names and values must be nonempty; captures preserve pattern order, including repeated names.

These proofs cover pure modeled decisions. Base split/equality semantics, the compiler, Bend-to-BendTT translation, runtime/native ABI and the separate effectful Router remain trusted. HTTP parsing, credentials, serialization (including Allow), native effects and persistence remain trusted/tested. Pure dispatch laws do not prove every socket response. ALL PROOFS CHECK reports compiler checking; this release does not repeat historical independent kernel checks or establish end-to-end verification, full memory safety or new capacity measurements.

The archives contain app, notes, stiff-run, deployment examples, licenses, dependency provenance and SHA-256 checksums. They dynamically require libcurl, json-c and SQLite; patched libevent 2.2.2-alpha is included statically. They are platform-specific native examples, not a production-readiness claim.

BendHub package: 0x600981079d65a285d008308db02b846c. Starter and both consumer source/build-tool pins name 2e8faf5ae991c132bcf0f71577c87e19542245bb; tagged library and native build-tool bytes match that anchor.

Release evidence records exact revisions and separate verification scopes.

Release source: ed3e6f567e5963648b21dc2bec0df989d3647aae. Pinned CI passed all eight Linux/macOS platform/profile jobs, including generation, setup, proof checking, native build and mutation rejection of the starter in all four normal jobs. Source-anchor CI also passed all eight jobs. The compiler upgrade’s Check and Latest Bend compatibility passed on the pre-release upgrade source.

Only the macOS archive build and its verification ran locally, using existing pinned dependencies; full suites and sanitizer checks ran on hosted CI.

Hosted publication and Linux archive workflow published BendHub and built/verified Linux x64 and arm64 assets. Both platforms matched all 23 empty-cache package files, checked the framework proof verdict, exercised authenticated HTTPS with independent and copied clients, passed six persistent application journeys, and rejected cached native-source tampering.

All three exact clean archives passed provenance/checksum checks, supervised application health, create/read/restart and six persistent notes journeys without build tools on PATH. All six published archive and checksum assets were downloaded from GitHub and matched the original build bytes exactly.