Skip to content

Add Q8B proof-data acquisition and offline cache gate - #8

Merged
acedward merged 7 commits into
mainfrom
codex/00002-phase3p-proof-data
Aug 28, 2026
Merged

Add Q8B proof-data acquisition and offline cache gate#8
acedward merged 7 commits into
mainfrom
codex/00002-phase3p-proof-data

Conversation

@acedward

@acedward acedward commented Aug 28, 2026

Copy link
Copy Markdown
Owner

Summary

  • add exact Q8=B proof data: 20 raw K0-K19 payloads plus one deterministic Ledger-static-9 archive
  • unify Ledger semantic identity with the warehouse file-only path-sorted member manifest while retaining ZIP layout separately
  • bind K0 provider and K1-K19 trusted-setup generations/root-PoT explicitly
  • require a reviewed Q8B admission contract and independently configured combined-generation digest at bootstrap
  • retain exact architecture/version-bound rc.7/static-10 propagated-path rejection evidence instead of accepting generic exits
  • preserve atomic named-volume bootstrap, two rc.5 readers, Compact 0.34 v2/v3, and real deterministic-input stock-AA K19 gates

Local verification

Exact-head hosted verification

  • Forge policy run 33170546619 passed
  • Compact run 33170546586 passed source and all four native Linux/macOS lanes
  • Q8B run 33170546601 passed acquisition, amd64 runtime, arm64 runtime, and real stock-AA K19 proof
  • retained artifacts: Q8B 9685464135; amd64 runtime 9685493146; arm64 runtime 9685489972; stock K19 9685772488
  • stock K19 returned /k=19 and passed /check plus /prove from generation b73584978fc560bb827fd9df3ad914b37a6f5ea434fe62e9fa0adad809d8486c; K18 remains truthfully not-applicable

No release is published and no live demo is modified by this PR. Do not merge until the fresh independent audit of this PR and effectstream/binaries#6 passes. Owner redistribution acceptance remains the separate Phase-8 pre-upload gate.

@acedward
acedward merged commit 546185f into main Aug 28, 2026
10 checks passed
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