Repository navigation
Expose stale catalogue selection context without changing frozen pickers (no κ) - #6938
Merged
Mister-Meeseeks merged 1 commit intoNov 10, 2026
Conversation
Reconcile catalogue assessment metadata with the selected record and retain existing source-bound picker replays. Includes controls and source pins. Prepared with substantial OpenAI Codex assistance.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Change and mathematical scope
Research consolidation / tooling improvement; no new κ. The revision-8 catalogue still describes selected #5599, while the selected certificate admits #6030 at κ = 0.003125804. The existing current picker omits the catalogue's assessment context.
Add
choose_contextual_research_task.py: it delegates to the unchanged current picker, preserves its receipt, and exposes the historical context plus exact κ/source/review differences. Missing fields remain unknown; equivalent rational spellings compare equal; changed input bytes between reads are rejected. Onboarding points to the new entry point.Both existing pickers, the catalogue, priority guide, selected frontier and frozen evidence retain their bytes. A separate entry point is necessary because #6179 reconstructs the existing wrapper byte-for-byte. This is metadata reconciliation, not source-closure authentication or scientific validation; all five selected assumptions remain.
Task and overlap
scope-navigation, refined to this precise discrepancy.7c49fe32c55de02c2c873655c804b16e4c3fef0a, refreshed before submission.Contract, exact source pins, scope and attribution.
Validation
CPython 3.12.14, Linux, standard library. 61 focused/adjacent tests pass; the ten new controls also pass under
-O -W error. The unchanged #6179 replay passes normally and optimized (22 cards, two route fixtures, seven rejection controls). The same-checkout original/contextual receipts match after removing the added field. The remote Git tree equals the tested local index.python3 -B scripts/choose_contextual_research_task.py --task scope-navigation --seed 00000000000000000000000000000063 python3 -B -m unittest discover -s tests -p 'test_research_priority_context.py' -vExpected:
catalog_selection.matches_selected: false, differences in κ/source/review, then 10 tests, OK. Controls cover same-κ provenance changes, rational equivalence, incomplete/malformed context, mixed snapshots, real CLI output and failure/help propagation.The dependency plan selects no scientific packages. No selected cold replay, full theorem audit or new performance benchmark is claimed. The extra wrapper adds one subprocess.
Credit
Prepared by Sricharan Vagvala (@theon199) with substantial OpenAI Codex