Skip to content

Strengthen the keyless proof and research acquisition path - #5

Merged
varun369 merged 2 commits into
mainfrom
codex/bounded-proof-acquisition
Oct 1, 2026
Merged

varun369 merged 2 commits into
mainfrom
codex/bounded-proof-acquisition

Conversation

@varun369

@varun369 varun369 commented Oct 1, 2026 •

Copy link
Copy Markdown
Contributor

Put the install, keyless proof and independently verifiable receipt above the fold, with direct product/research links and an optional star path. Preserve paper scope and deeper graph documentation. Only README.md and docs/QUICK_PROOF.md change.

Validation: installed CLI0.7.6 negative control produced a false GREEN while pytest failed; the gated stub passed six real tests and persisted chain/head/completeness checks. Final README contract suite:20 passed,2 skipped;3685 words within3700 cap. Independent final prose audit PASS.

Broad existing runtime/dependency checks are outside this documentation change; their failures are not repaired or claimed green here. No package release or social posts. The author page deployment is coordinated with varunpratap-website PR6.

@varun369
varun369 merged commit 3bda250 into main Oct 1, 2026
16 of 17 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