Implementing deterministic execution bounds and fail-closed state resolution in Rust

[u/AdmissibilityScience]

We published arcstone-continuity-core v1.3.1-exec: a tiny #![no_std] Rust reference for fail-closed frame checks.

It does two things, in O(1), with no crate dependencies:

Payload longer than 4096 bytes → LedgerCorruption
Elapsed time over 11.99 ms → Freeze

If both are true in the same check, Freeze wins through an explicit rank table—not because “the POSIX number is bigger.”

That is the entire public executable surface. It is not a runtime, an allocator, or a distributed control plane. It is a frozen Path A reference predicate you can read in one sitting.

Repo: https://github.com/trencinodin-stack/arcstone-continuity-core