Skip to content

fix: preserve exact-lease HTTPS release diagnostics - #131

Open
roodboi wants to merge 2 commits into
nextfrom
codex/https-release-diagnostics
Open

roodboi wants to merge 2 commits into
nextfrom
codex/https-release-diagnostics

Conversation

@roodboi

@roodboi roodboi commented Oct 5, 2026 •

Copy link
Copy Markdown
Contributor

When an exact HTTPS lease release is refused, the owner currently closes its socket and hides the failing check. Return a bounded failure response with the complete lease identity, a fixed release stage, and an allowlisted native code. The CLI reports this value-free diagnostic while leaving cleanup unconfirmed.

No mutation is replayed, and no diagnostic counts as retirement or grants replacement authority. Existing release checks and effect order remain unchanged. Private protocol frames must round-trip through their existing encoder; duplicate/extra fields, foreign identities and malformed replies cannot become successful release acknowledgements.

Dependency: includes the test-only correction from #132 (original commit 1579a099, cherry-picked as 25e5975a). Until #132 merges, this PR depends on it. The correction obtains the actual child from the parent spawn result and verifies exit completion, SIGKILL, and PID absence when the deadline occurs before the child writes a marker. Production timeout behavior and budgets are unchanged.

Validation on 25e5975a: 75 focused controls pass (detached owners, exact release diagnostics, socket refusal/no-replay behavior, and runtime-client cancellation). The single new full CLI run passed: 1,876 passed, 67 skipped, zero failures, 8,814 assertions. Root typecheck/check, changed-test lint, privacy and diff checks also pass with pinned Bun 1.4.2. CLI gates ran fresh; unchanged DB tasks used the shared cache. Independent review of the diagnostic implementation and the test correction found no actionable issue.

Earlier full runs failed the unchanged cancellation test because its 250 ms deadline could expire before the child wrote its marker. Both failure logs remain retained. The separate #132 correction addresses that test assumption; it does not fix the native HTTPS release failure.

Separate integrated qualification combined this change with the authority-startup correction in #133 and the test correction in #132. That local composite passed all 54 domain-migration/rollback checks and verified owned fixture disposal (frontend source d67f4a9d, native source e3f3d07b, harness 4548f6a8). This is evidence for that composite only; it does not show that standalone #131 fixes the failure, and it does not qualify system DNS, browser trust, performance or a published build.

Release signal: fix. This is a diagnostic correction. Broader domain/browser acceptance remains tracked under HACK-1163.

@roodboi
roodboi marked this pull request as ready for review October 5, 2026 02:03

This branch has not been deployed

No deployments
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