Skip to content

Require explicit selection for a bounded deeper ARM trace - #6

Merged
NiSeullent merged 2 commits into
mainfrom
codex/deep-arm-trace
Sep 8, 2026
Merged

NiSeullent merged 2 commits into
mainfrom
codex/deep-arm-trace

Conversation

@NiSeullent

Copy link
Copy Markdown
Member

Add a separate parser entry requiring the exact deep-16384 selector,16384 budget and named software platform profile. Existing default64/8 and extended256/1024/4096 APIs retain their limits and reject the deep-only selector. The firmware SHA-256 correction is retained.

A fresh standalone clone passes260 all-target tests, no-default and doctests, and actual debug/release UEFI code generation. Authored EFI evidence separately verifies exact16384 retirement/fetch counts, existing lower tiers, ordinary-firmware rejection and a real4096-clamped negative. Original diagnostics remain incomplete-SPTM observations; this capability does not establish normal macOS boot.

@NiSeullent
NiSeullent merged commit c08d10b into main Sep 8, 2026
2 checks passed
@NiSeullent
NiSeullent deleted the codex/deep-arm-trace branch September 8, 2026 20:32
NiSeullent added a commit that referenced this pull request Sep 14, 2026
Require explicit selection for a bounded deeper ARM trace
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.

2 participants