Repository navigation
D-GSO-6: deterministic, versioned recipe selector (P6) - #1358
Conversation
|
Warning Review limit reachedYour organization has reached its usage spending cap. Adjust your spending cap in the billing tab. Next included review available in 33 minutes. View limit detailsLimit details: You’ve used the included review currently available. Your 67 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 (4)
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: eaa0f504-4f37-42a3-8ff4-80498cd31633) |
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. |
8a01fa0 to
1731a9e
Compare
SelectorPolicy::select is a pure const fn over a declared four-fact EpistemicState (observations pending, frontier bounded, local disagreement, new encounter). V1 follows the plan §11 order (fold, bound, local, revise) and rests only when nothing is open; V2 swaps two steps to show that a policy change is a new version (they differ on 2 of 16 states). A recorded Selection (policy + state) replays to the same recipe from the record alone, even when the current default changes. The version covers selection only; tying recipe implementations to it (the plan §13 semantics digest) stays open. Recipe ordinals and the V1 order are a scaffold; ProbeRecipe is not a shipped recipes ID. 5 tests (V1 table oracle on all 16 states, purity across call order, recorded replay incl. a state where V1 and V2 differ, every cycle rests in one step per open condition and replays, only the settled state rests), 5 disable runs red. Board: D-GSO-6 In PR; D-GSO-5 Shipped (#1355). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01DgxrCafsJuAahpBs7oC14R
1731a9e to
e4fb835
Compare
What
P6 of
.claude/plans/2026-10-06-global-sudoku-replayable-orchestration-v1.md: recipe selection as a pure, versioned function of declared epistemic state (§11 loop, §13 replay contract, §18 P6).crates/cognitive-shader-driver/examples/recipe_selector_probe.rs, no library code changes.SelectorPolicy::select(state)is aconst fn: no clock, counter, global or randomness.Selection(policy + state) replays to the same recipe from the record alone, even after the current default changes.Scope limits
ProbeRecipeis not a shippedrecipes::RecipeID (plan §12).Tests (5) and disable runs (5, all red)
Board
STATUS_BOARD: D-GSO-6 In PR; D-GSO-5 Shipped (#1355).
🤖 Generated with Claude Code
https://claude.ai/code/session_01DgxrCafsJuAahpBs7oC14R
Generated by Claude Code