Sheaft v1.0.0

v1.0.0 is the first major Sheaft release for the stochastic-connectivity baseline over Bering model and snapshot artifacts.

The release implements the product-baseline model described in docs/v1-major-semantics.md: typed Bering topology G=(V,E,tau), replication map R, product reliability model P_Node * P_Edge, threshold parameters theta and rho, and endpoint success predicates Phi for immediate and eventual semantics.

The formal motivation is described in the preprint Stochastic Connectivity as the Foundation of a Runtime Model for Microservice Availability Analysis.

Compatibility

• consumes Bering v1.0.0 artifacts on the strict 1.3.0 model and snapshot contract line;
• accepts only [email protected] and [email protected];
• rejects retired pre-v1 Bering preview contract lines 1.0.0, 1.1.0, and 1.2.0;
• records app-level sync with Bering v1.0.0 in compatibility-manifest.json.

Release Evidence

• strict schema-contract validation against the published Bering 1.3.0 model and snapshot schemas;
• fixed benchmark slice with release-quality quality-report.json;
• synthetic oracle suite for product-baseline stochastic-connectivity semantics;
• checked-in smoke examples and default config pack generation;
• release manifest, OCI image metadata, Helm chart metadata, checksums, and SBOMs.

Breaking Changes

Pre-v1 Bering preview artifacts must be regenerated on Bering 1.3.0 before use with Sheaft v1.0.0. Sheaft no longer carries compatibility code or vendored schema copies for Bering 1.0.0, 1.1.0, or 1.2.0.

Boundaries

This release does not claim automatic probability calibration, arbitrary non-product P, live chaos execution, or rich temporal workflow models. Long-running serve remains outside the stable v1 stochastic-connectivity release claim.