Skip to content

Recover control activation from original durable publication - #2

Merged
GTrunSec merged 1 commit into
fix/scheme-build-environmentfrom
feat/control-publication-recovery
Oct 30, 2026
Merged

GTrunSec merged 1 commit into
fix/scheme-build-environmentfrom
feat/control-publication-recovery

Conversation

@GTrunSec

Copy link
Copy Markdown
Collaborator

Go bootstrap previously submitted the original authority publication on every restart, including after Rust had committed it and the response was lost. Bootstrap now inspects that exact durable decision first. A matching committed outcome activates the frozen bundle without a publication write; rejection, unavailable inspection and invalid binding fail closed. Authoritative NotFound allows one unchanged CAS submission, with no retry or parent rebasing after a lost reply.

The real mTLS relay drops every successful publication response across recovery. Tests restart Go and Rust, verify one publication submission, preserve the consumed node's canonical receipt, and reject an unused node after later revocation. Rust still owns fresh Policy/fence checks at execution; a historical receipt cannot authorize a send.

Validation:

  • Go client/config race tests and real Go/Rust publication-loss integration passed.
  • Quint: 17 named scenarios/counterexamples and 1,000 safety traces at 60 steps, seed 293.
  • Lean publication/accounting composition checked on the pinned toolchain; explicit native persistence/transport premises retained.
  • Strict Project/SysML SDK checks passed; core D2 and English Org synchronized.

This PR is stacked on #1 and contains only the mainline recovery changes. No dependency pins change. Remote GitHub CI is not an acceptance blocker under the requested private-project workflow.

@GTrunSec
GTrunSec merged commit 06c14a6 into fix/scheme-build-environment Oct 30, 2026
0 of 7 checks passed
@GTrunSec
GTrunSec deleted the feat/control-publication-recovery branch October 30, 2026 15:47
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.

1 participant