Selector probe: wire observations_pending and frontier_bounded; rename revision_pending

[AdaWorldAPI]

This follows up #1365. After it, the wired selector cycle (wired_cycle) reads all four of its facts from the world, and no stand-in fact remains. Everything is in crates/cognitive-shader-driver/examples/recipe_selector_probe.rs.

Review notes on #1365, addressed here

• Rename. new_encounter is now revision_pending, meaning "revising would change the horizon". It no longer means a new encounter, and the probe's own docs say so.
• The coverage limit is stated explicitly. Coverage is per tension bit, so new evidence on a bit that is already covered does not reopen the interrogation. Coverage that tracks receipts or generations would; it is not built here.

observations_pending (af31f979)

• Derived from the fold. It holds while more verdicts have arrived than the Quorum has counted (corroborating + silent + conflicting). The ObserveFold recipe folds only the verdicts not yet counted, using Quorum::observe, and its only output is the quorum.
• Silence counts. A silent verdict settles the fact even though speaking() stays 0, so a selector that read speaking() would never rest. This is pinned as a test.
• Each verdict is folded once. A verdict that arrives late reopens the fact and is counted exactly once: (1,0,0) becomes (1,0,1). Dropping the fold's write means the cycle never rests.

frontier_bounded (5e521e9d)

• Derived from the recorded frontier. It holds when a frontier recorded by ProductInterrogation (Quad8::fold_product) exists for the current candidate space. The recorded count equals a brute-force count.
• Staleness reopens it. A changed space (a "do") makes the recorded frontier stale and reopens the fact. An empty frontier still counts as bounded.
• No stand-ins left. wired_cycle no longer takes the stand-in state argument. The stand-in cycle stays as the oracle for the bare selector.
• Replay test is real now. For each of the 16 states, the test builds a world that reads as that state, then checks that it replays to the same path and the same final world, and settles.

Checks

25 tests in total. Clippy passes with and without tests, and fmt is clean. 10 new disable runs, all red:

• observations: pending read off speaking(); the fold made a no-op; re-folding from the start; the supplied flag used instead of the derived one; the drop flag ignored.
• frontier: the recorded frontier not checked against the current space; bounding made a no-op; an empty frontier read as unbounded; the frontier count inverted; frontier_bounded forced true.

Open

• The quorum is not linked to the horizon: a conflicting verdict does not become an encounter or a contradiction.
• The frontier feeds no other recipe, and nothing derives the candidate space from the horizon.
• interrogated coverage exists only in this probe and is per tension bit, as noted above.

Board: the STATUS_BOARD.md D-GSO-6 row is updated. New entry .claude/board/entries/2026-10-06-selector-observations-wired.md; the entries index is regenerated, and SUPERSESSION-INDEX.md was regenerated and came out unchanged.

🤖 Generated with Claude Code

https://claude.ai/code/session_01MHMvKHLhM6xwRswKY4s6vY

---

Generated by Claude Code

[coderabbitai]

Important

Draft PR not reviewed

Draft PRs are not automatically reviewed by default.

• Trigger a manual review

To automatically review draft PRs, update your CodeRabbit configuration:

reviews:
  auto_review:
    drafts: true

• Autopilot · Keep fixing CodeRabbit findings and required CI, and resolving merge conflicts

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 @coderabbitai help to get the list of available commands.}

[cursor]

Bugbot couldn't run - usage limit reached

Bugbot 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: 69c519a3-8a0c-42ff-905f-5692390423a8)

[chatgpt-codex-connector]

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review	Status	Commit	Review trigger
📝 Code Review	✅ Completed 2026-10-06T15:22:22.563417Z	5e521e9	Draft marked ready

ℹ️ 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" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

[cursor]

Bugbot couldn't run - usage limit reached

Bugbot 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: a2a41da1-96a3-4785-9b3e-adc3db316535)

[coderabbitai]

Add Carrot credits or activate Agent usage billing to use Autopilot