Skip to content

Harden V5 staged runtime and recovery - #3607

Merged
joshlf merged 1 commit into
mainfrom
Gfkyot5qmode4aiscnrbgzyffxebq4z56
Sep 3, 2026
Merged

Harden V5 staged runtime and recovery#3607
joshlf merged 1 commit into
mainfrom
Gfkyot5qmode4aiscnrbgzyffxebq4z56

Conversation

@joshlf

@joshlf joshlf commented Aug 29, 2026

Copy link
Copy Markdown
Member

Replace the monolithic mutable runtime with a coordinator-claimed six-stage
immutable aggregation prefix. Derive each evaluator frontier and input packet
only from the committed predecessor stage, bind every manifest to the static
lock, coordinator, predecessor, and cumulative envelopes, and rederive the
chain during bound-gate evaluation.

Make attempt sealing bounded and crash-recoverable with exact external
workspaces, seal-time input verification, injective pathname capture, hard
payload, entry, and path budgets, immutable terminal claims, and no-replace
object and pointer publication. Publish authenticated terminal ERROR records
when a phase cannot safely derive its successor while allowing usable
report-format failures to reach their frozen gate consequence.

Update schemas, policies, integration contracts, and adversarial self-tests
for the 154-to-163-attempt, six-stage production lifecycle.

Agent-Authored-By: AI agent acting on Josh Liebow-Feeser's behalf


This PR is on branch codex/unsafe-rust-stack.

Latest Update: v29 — Compare vs v28

📚 Full Patch History

Links show the diff between the row version and the column version.

Version v28 v27 v26 v25 v24 v23 v22 v21 v20 v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v29 v28 v27 v26 v25 v24 v23 v22 v21 v20 v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v28 v27 v26 v25 v24 v23 v22 v21 v20 v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v27 v26 v25 v24 v23 v22 v21 v20 v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v26 v25 v24 v23 v22 v21 v20 v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v25 v24 v23 v22 v21 v20 v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v24 v23 v22 v21 v20 v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v23 v22 v21 v20 v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v22 v21 v20 v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v21 v20 v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v20 v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v8 v7 v6 v5 v4 v3 v2 v1 Base
v7 v6 v5 v4 v3 v2 v1 Base
v6 v5 v4 v3 v2 v1 Base
v5 v4 v3 v2 v1 Base
v4 v3 v2 v1 Base
v3 v2 v1 Base
v2 v1 Base
v1 Base
⬇️ Download this PR

Branch

git fetch origin refs/heads/Gfkyot5qmode4aiscnrbgzyffxebq4z56 && git checkout -b pr-Gfkyot5qmode4aiscnrbgzyffxebq4z56 FETCH_HEAD

Checkout

git fetch origin refs/heads/Gfkyot5qmode4aiscnrbgzyffxebq4z56 && git checkout FETCH_HEAD

Cherry Pick

git fetch origin refs/heads/Gfkyot5qmode4aiscnrbgzyffxebq4z56 && git cherry-pick FETCH_HEAD

Pull

git pull origin refs/heads/Gfkyot5qmode4aiscnrbgzyffxebq4z56

Stacked PRs enabled by GHerrit.

@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Aug 29, 2026

Copy link
Copy Markdown

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review Status Commit Review trigger
📝 Code Review Completed 2026-08-29T10:50:50.745902Z 2964a8d PR opened
ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

@joshlf
joshlf force-pushed the Gfkyot5qmode4aiscnrbgzyffxebq4z56 branch from 2964a8d to 38e88de Compare August 29, 2026 11:11
@joshlf
joshlf force-pushed the Gfkyot5qmode4aiscnrbgzyffxebq4z56 branch from 38e88de to cc9c836 Compare September 1, 2026 22:15
@joshlf
joshlf force-pushed the Gwmskgf6pp5ufbufusyjegs357wjllvtq branch from 3441236 to c197085 Compare September 3, 2026 04:42
@joshlf
joshlf force-pushed the Gfkyot5qmode4aiscnrbgzyffxebq4z56 branch from d8de4ae to b5e0387 Compare September 3, 2026 05:14
@joshlf
joshlf force-pushed the Gwmskgf6pp5ufbufusyjegs357wjllvtq branch from c197085 to 4c68150 Compare September 3, 2026 05:14
@joshlf
joshlf force-pushed the Gfkyot5qmode4aiscnrbgzyffxebq4z56 branch from b5e0387 to e4f01d8 Compare September 3, 2026 05:47
@joshlf
joshlf force-pushed the Gwmskgf6pp5ufbufusyjegs357wjllvtq branch from 4c68150 to 87d4cfc Compare September 3, 2026 05:47
@joshlf
joshlf force-pushed the Gfkyot5qmode4aiscnrbgzyffxebq4z56 branch from e4f01d8 to ddedea8 Compare September 3, 2026 06:17
@joshlf
joshlf force-pushed the Gwmskgf6pp5ufbufusyjegs357wjllvtq branch from 87d4cfc to 8944f82 Compare September 3, 2026 06:17
@joshlf
joshlf force-pushed the Gfkyot5qmode4aiscnrbgzyffxebq4z56 branch from ddedea8 to 8cb4132 Compare September 3, 2026 06:47
@joshlf
joshlf force-pushed the Gwmskgf6pp5ufbufusyjegs357wjllvtq branch 2 times, most recently from 9597616 to e51a753 Compare September 3, 2026 07:16
@joshlf
joshlf force-pushed the Gfkyot5qmode4aiscnrbgzyffxebq4z56 branch from 8cb4132 to 1e1cffd Compare September 3, 2026 07:16
@joshlf
joshlf force-pushed the Gwmskgf6pp5ufbufusyjegs357wjllvtq branch from e51a753 to 7eb2000 Compare September 3, 2026 07:46
@joshlf
joshlf force-pushed the Gfkyot5qmode4aiscnrbgzyffxebq4z56 branch 2 times, most recently from 101112d to 85e90b1 Compare September 3, 2026 08:17
@joshlf
joshlf force-pushed the Gwmskgf6pp5ufbufusyjegs357wjllvtq branch from 7eb2000 to 4f25f27 Compare September 3, 2026 08:17
@joshlf
joshlf force-pushed the Gfkyot5qmode4aiscnrbgzyffxebq4z56 branch from 85e90b1 to acbe664 Compare September 3, 2026 08:49
@joshlf
joshlf force-pushed the Gwmskgf6pp5ufbufusyjegs357wjllvtq branch 2 times, most recently from 2c6c7e5 to ce7b810 Compare September 3, 2026 11:37
@joshlf
joshlf force-pushed the Gfkyot5qmode4aiscnrbgzyffxebq4z56 branch 2 times, most recently from fdaec05 to d85850f Compare September 3, 2026 12:08
@joshlf
joshlf force-pushed the Gwmskgf6pp5ufbufusyjegs357wjllvtq branch from ce7b810 to ced6ab3 Compare September 3, 2026 12:08
Base automatically changed from Gwmskgf6pp5ufbufusyjegs357wjllvtq to main September 3, 2026 12:37
Replace the monolithic mutable runtime with a coordinator-claimed six-stage
immutable aggregation prefix. Derive each evaluator frontier and input packet
only from the committed predecessor stage, bind every manifest to the static
lock, coordinator, predecessor, and cumulative envelopes, and rederive the
chain during bound-gate evaluation.

Make attempt sealing bounded and crash-recoverable with exact external
workspaces, seal-time input verification, injective pathname capture, hard
payload, entry, and path budgets, immutable terminal claims, and no-replace
object and pointer publication. Publish authenticated terminal ERROR records
when a phase cannot safely derive its successor while allowing usable
report-format failures to reach their frozen gate consequence.

Update schemas, policies, integration contracts, and adversarial self-tests
for the 154-to-163-attempt, six-stage production lifecycle.

gherrit-pr-id: Gfkyot5qmode4aiscnrbgzyffxebq4z56
Agent-Authored-By: AI agent acting on Josh Liebow-Feeser's behalf
@joshlf
joshlf force-pushed the Gfkyot5qmode4aiscnrbgzyffxebq4z56 branch from d85850f to 48e069e Compare September 3, 2026 12:38
@joshlf
joshlf enabled auto-merge September 3, 2026 12:38
@joshlf
joshlf added this pull request to the merge queue Sep 3, 2026
Merged via the queue into main with commit 2dad389 Sep 3, 2026
105 checks passed
@joshlf
joshlf deleted the Gfkyot5qmode4aiscnrbgzyffxebq4z56 branch September 3, 2026 13:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants