[codex] Add P vs NP subcube-cover package - #27

Open

JanBartos6 wants to merge 1 commit into

mainfrom

codex/p-vs-np-subcube-cover-route-26

JanBartos6 commented May 9, 2026

Owner

PR type: research

Summary

adds a proposed p-vs-np problem workspace
records the 3-UNSAT-as-subcube-cover encoding as a checkable claim
records the cover-orientation route as a candidate lower-bound program
records the finite-field degree invariant as a failed standalone route

Validation

python tools/check_pr_rules.py origin/main...HEAD --pr-type research
objects are scoped to one problem workspace
AI assistance disclosed
no raw transcript included
no object is marked reviewed or verified

Closes #26


          Add P vs NP subcube-cover package

c765dc6

JanBartos6 mentioned this pull request

Research contribution package: P vs NP subcube-cover route #26

Closed

JanBartos6 marked this pull request as ready for review

May 12, 2026 17:36

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet