Repository navigation
D-PUZZLE-0 step 1: Sudoku at scale on the EpistemicState5 population algebra - #1382
Conversation
…algebra A million claim edges from 8,790 symmetry copies of the Wikipedia puzzle, snapshotted at random naked-single depths. One question is one u32 population; the class declaration is checked once per lane. Every count is checked three ways (population filter, 32-bin histogram, per-edge decode through the declaration) against the solver's own counters. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_0177nSSyQaXqbNuGR1vMXXN6
Entry with the Sudoku-at-scale measurement, STATUS_BOARD D-PUZZLE-0 in progress, examples README section. #1381 post-merge: PR_ARC_INVENTORY entry, LATEST_STATE merged block, its D-EPI rows marked Shipped (#1381). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_0177nSSyQaXqbNuGR1vMXXN6
|
Warning Review limit reachedYour organization has reached its usage spending cap. Adjust your spending cap in the billing tab. Next included review available in 20 minutes. View limit detailsLimit details: You’ve used the included review currently available. Your 60 included PR review attempts over the past 7 days set your current allowance at 1 review per hour. Review configuration: ⚙️ Run configuration
📒 Files selected for processing (8)
Warning Billing warning: we have not been able to collect payment for this subscription for more than 72 hours. Please update the payment method or pay any pending invoices in Billing to avoid service interruption. Comment |
Bugbot couldn't run - usage limit reachedBugbot is counted against Cursor usage for this user or team, and this run hit a usage or spend limit. A user or team admin can review and increase usage limits in the Cursor dashboard. (requestId: da875722-1bcb-40aa-ae56-dce65dd63109) |
Codex Review SummaryThis comment shows the latest Codex review activity on this pull request.
ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings. |
Bugbot couldn't run - usage limit reachedBugbot is counted against Cursor usage for this user or team, and this run hit a usage or spend limit. A user or team admin can review and increase usage limits in the Cursor dashboard. (requestId: e665a365-ab4a-4f54-9a38-2016a4cd5363) |
![chatgpt-codex-connector[bot]](https://avatars.githubusercontent.com/in/1144995?s=60&v=4){kind=small}
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: 7f56b27ff4
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
Without an [[example]] test = true entry, plain cargo test on the crate only built the example and skipped its seven tests. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_0177nSSyQaXqbNuGR1vMXXN6
Bugbot couldn't run - usage limit reachedBugbot is counted against Cursor usage for this user or team, and this run hit a usage or spend limit. A user or team admin can review and increase usage limits in the Cursor dashboard. (requestId: a67a5677-1d0c-48c6-a6c0-ab4765874177) |
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_0177nSSyQaXqbNuGR1vMXXN6
2 participants
First step of D-PUZZLE-0 (Sudoku / crossword / chess on the same population algebra under domain laws): Sudoku at scale, the hot path the other two would share.
What
cognitive-shader-driver/examples/sudoku_population_fold_probe.rs:0x0906, not canon): given =Direct × Causes(20); naked-single placement =IndirectKnown × Causes(21); true digit not yet derived =IndirectUnknown × Causes(22); other surviving candidate =Direct × Associated(4).Measured
CAUSESDIRECT | CAUSESIND_KNOWN | CAUSESIND_UNKNOWN | CAUSES(DIRECT | ASSOCIATED) & !RELATEDEach count is equal by filter, histogram, per-edge decode and the solver's own counters. Every copy holds 81 placed digits and 30 givens (group fold).
Release,
avx2=true avx512f=false, 4-core shared Xeon @ 2.80 GHz, median of 7, three runs: filter 0.35–0.39 ns/edge, histogram 0.93–1.07 (answers every question), decode oracle 3.8–4.0. With three or more questions per lane, the histogram is the cheaper fold. These are one machine's numbers; no SIMD claimed.Falsifiers (disable-verified)
7 tests: three-way counts; histogram == filter for all 2,048 requirements over the declared facts; the four states partition the lane (and miss exactly the unused
Unknown × Causes); group fold; undeclared class refused before any edge; symmetry copies are distinct valid puzzles. Disable runs: fold reading bits 58..62 (3 red), gate admitting any class (1 red), "live candidates" without!RELATED(3 red).Also in this PR
#1381 post-merge board records:
PR_ARC_INVENTORYentry,LATEST_STATEmerged block, its D-EPI rows markedShipped (#1381).Next (not in this PR)
Crossword in lance-graph; chess in
stockfish-rs(GPL-3.0 — shakmaty supplies legality and must not enter Apache lance-graph; it already dev-depends onlance-graph-contract).Entry:
.claude/board/entries/2026-10-07-puzzle-0-sudoku-population-fold.md.🤖 Generated with Claude Code
https://claude.ai/code/session_0177nSSyQaXqbNuGR1vMXXN6
Generated by Claude Code