Skip to content

Retain closed initial policy closure failure diagnostics - #30

Merged
EHotwagner merged 1 commit into
mainfrom
routine/bar-policy-initial-closure-diagnostics
Oct 3, 2026
Merged

EHotwagner merged 1 commit into
mainfrom
routine/bar-policy-initial-closure-diagnostics

Conversation

@EHotwagner

Copy link
Copy Markdown

The retained Count1 attempt refused before browser startup and recorded only initial-closure:exception, leaving its inner cause unknown. Initial closure failures now retain a bounded, closed subcheckpoint and code, including unexpected exceptions; the capture parser and failure projection preserve that detail. Existing closure, custody and digest checks still fail closed, original exceptions are reraised, and noninitial diagnostic bytes are unchanged. Raw exception text and private material are never emitted.

Validation: locked Release build and the full runtime-evidence source gate pass, including genuine missing/hash/JSON/custody/argv controls, closed parser/projection and legacy-frame checks, 38 Quint scenarios, 500 invariant samples, complete-state/effect correspondence and 13 rejected mutants. Local verification used the official private SDK/Core and an explicit exact-commit SourceLink input because the local clone has no canonical remote metadata; canonical hosted qualification remains required.

The owning roadmap records this source evidence. The old native attempt remains refused with its exact cause unknown, useful play remains 0/6, and changed policy bytes require a protected successor build and a distinct future operation grant.

@EHotwagner
EHotwagner merged commit 9682516 into main Oct 3, 2026
1 check passed
@EHotwagner
EHotwagner deleted the routine/bar-policy-initial-closure-diagnostics branch October 9, 2026 16:28
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