Conversation
…ntion A settled deliver dispatch now mints algal.interapp-message.v1 inside the lifecycle execute path on both runtimes, binding the sender application, committing operation, exact work intent, route, admitted mailbox recipient, and payload body. CAS-level and full delivery verification replay those bindings against the intent, validated history, the retained settled dispatch, and the durable channel outcome. Racing writers against one expected head now retain algal.application-contention.v1: every attempted command digest, the single committed winner, and each stale-head rejection. Verification re-derives the fence's verdict structurally without re-executing commits. Both contracts ship in TypeScript and Rust with byte-identical canonical records, CLI commands (verify-message, contend, verify-contention), colocated tests on both sides, parity legs including forged-record rejections with pinned reasons, adaptive-inventory evidence, and spec updates.
|
The latest updates on your projects. Learn more about Vercel for GitHub.
|
This branch was successfully deployed
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
algal.interapp-message.v1: sender-bound delivery evidence minted alongside every settleddeliverdispatch —{application, operation, intent, route, to, body}recomputable byte-for-byte;verify-messagere-checks CAS + history + dispatch + channel pair (channel v2 bytes unchanged)algal.application-contention.v1: retained serial race on one captured head — first attempt commits, the rest get"Stale application head";verify-contentionreplays and requires identical rejectionsapplication verify-message|contend|verify-contentionwith--policy/--channelsadmission; spec sections + bounds rowTest plan
bun run check(895 tests incl. 9 new native-side test groups)-D warnings/ test / buildapplication-parity250 steps identical on the full stack (drain + experiment + message + contention legs)ALGAL_MEMORY_NATIVEverifies contention + message evidenceGenerated with Devin