Skip to content

Prepare HRA v0.1.15 forward recovery - #51

Merged
0thernet merged 1 commit into
mainfrom
codex/hra-v015-candidate-v11
Aug 24, 2026
Merged

Prepare HRA v0.1.15 forward recovery#51
0thernet merged 1 commit into
mainfrom
codex/hra-v015-candidate-v11

Conversation

@0thernet

Copy link
Copy Markdown
Contributor

Summary

  • prepare the self-managed HRA v0.1.15 macOS release candidate and deterministic release contract
  • add bounded B14 to B15 installation forward recovery with exact custody continuity and rollback evidence
  • replace ambient signing identity discovery with one isolated, nonextractable Keychain signer and strict package verification
  • harden native renderer, gateway, Keychain, resident-custody, and installation-handoff boundaries
  • select the exact two-argument macOS 13–15 or three-argument macOS 26 remote-signing callback ABI, while failing closed on macOS 27 pending review
  • pin the release signer helper to SHA-256 and 16 KiB code pages across macOS 15 and macOS 26
  • give the capacity property regression its existing bounded 15-second outer test deadline so slower CI runners can complete its unchanged 40 runs

Verification

  • exact clean one-commit candidate with sole parent Q14
  • local macOS 26 structural package, including remote CMS signing and post-sign reconstruction
  • signing-preflight and chat property regressions: 29 passing focused tests
  • complete chat property file: 14 passing tests
  • desktop typecheck and lint
  • repository policy suite
  • release-source proof
  • credential-free remote release-history and collision proof
  • predecessor v10 Required run passed macOS 26 and all candidate/signing provenance gates; its source job reached 3,298 passing tests and only exceeded Bun's default 5-second outer deadline on the capacity property, which passed locally in 2.4 seconds before this bounded deadline alignment

The candidate is one commit and one parent after Q14 (ceb647f7a4a68546fc68ce5e70e770b73c8863eb). Its tree contains the reviewed v10 candidate plus only the outer test deadline used elsewhere in the same property suite. The remote has no v0.1.15 tag or release collision.

@vercel

vercel Bot commented Aug 24, 2026

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
hra-v0 Ready Ready Preview Aug 24, 2026 4:07am

Request Review

@0thernet
0thernet merged commit a2948a2 into main Aug 24, 2026
5 checks passed
@0thernet
0thernet deleted the codex/hra-v015-candidate-v11 branch August 24, 2026 04:36
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