Research reset: expose geometric consistency, source-visible state, and the original-U bottleneck - #738
Conversation
…urce-visible state Owner-delegated reprioritization: #613 primary, #636 bounded parallel, #275 theory-blocked flagship. Replace stale entry points and preserve their exact prior blobs in docs/history. Add lightweight AGENTS guidance and an allocation-only JSON. No source, result, freeze, credential or workflow change. The separate research PR #736 and the existing unmerged stack are not merged by this navigation commit.
|
Post-merge allocation refinement: after reading the newer #650 single-active-deliverable decision, main was fast-forwarded (no force) to |
Owner-delegated research direction reset — 2026-09-13
This is the navigation/allocation half of the owner's request to actively reshape the repository. The actual new mathematical result is submitted separately as draft #736; it is not smuggled into this merge.
What changes
README.md,docs/ROADMAP.md,docs/RESEARCH-MAP.mdanddocs/STATUS.mdaround three distinct research questions, with corrected current scope instead of stale acquisition instructions.docs/history/*-before-20260913.md. The archive index points to the original tree for historical relative links. No original raw data, result, scorer, frozen design or research branch is removed or overwritten.docs/RESEARCH-FRONTIER.md: pinned unmerged research assets, completed-versus-open distinctions, a correction map, and the new axial full-law theorem's role.AGENTS.mdandanalysis/research_agenda.json. The JSON is allocation-only, not a second evidence ledger, scheduler or enforcement framework.Research allocation
Primary #613: geometric separation of root and full-law consistency. #736 has already delivered axial necessity; the next question is the uniform oblique winding-corridor lemma, with independent proof examination and targeted novelty comparison rather than more census.
Bounded parallel #636: actual site-transfer closure weights and source-visible cancellations beyond the completed #708/#710/#733 width-four laboratory. No automatic new width ladder.
Theory-blocked flagship #275, P1: retain the original source/normalizer/thermal-jet/moving-root contract. Obtain two actual forward maps and check represented, nuisance-profiled prediction images before sampling. Changing its resource priority is not rejecting the physical question.
#537's remaining proof obligations and the publication units remain visible. #276/#575/#583 are not reopened. #622's #706 delivery is not commissioned again. Live issue descriptions/labels are updated separately under the same delegation.
Scope and verification
12 text/JSON paths, including the four exact archive copies. Existing executable source, test, workflow, dependency and numerical-result paths are unchanged. New JSON parsed locally; text and cited asset refs checked. No document-wording tests or audit machinery added. Full repository CI was not run for this navigation delta; no CI success is claimed. #736's three local mathematical tests and exact controls belong to that separate research PR, not this one.
This reset does not certify all open research PRs, claim original-U identification, or assert publication novelty. The existing unmerged stack remains unmerged. Main integration of this navigation change is requested under the owner's explicit instruction to take control of the research direction.