Repository navigation
Resolve the research PR backlog with preserved archival records - #35
Merged
Merged
Conversation
Reject PR12 as written with pinned corrective evidence, mark PR23 superseded by the consolidated core, and archive fourteen separate research proposals. Preserve all scientific sources, branch heads and historical outputs; update active navigation and declare source hashes.
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
1 participant
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.
Sixteen exploratory PRs remained open after the selected quantitative core was integrated. This patch records a precise disposition for each before closing the backlog.
The source comparison inspected the actual changed-file inventories, note patches and current-core dependencies. No missing correction to the selected theorem was found. The archive warning is the narrow correction needed for readers of the older fifth-trace discussion. PR26 is pinned to its real latest head 18c3839, including the root-based checker repair, rather than the stale head named in its original description.
Ten documentation/manifest paths only. All scientific proofs, checkers, original outputs, provenance archives, numerical tolerances, workflow code and the license remain unchanged. The archive index lists all sixteen fixed source records and active navigation now uses archival language. No branch or commit is deleted, and none of the old scientific PRs is merged wholesale.
Complete source export reproduced the exact main tree 952a1a6543e4cebe06f1ec51cfc29daa539e28ef. The uploaded candidate tree 5d5182245184df63ac9e6a79e5b1d20ead9a45f1 matches local bytes. The 473-expression corpus is unchanged, the default pre-edit suite passes, and the full post-edit suite/CI are being checked before integration. Reader review confirms the one rejected / one superseded / fourteen archived distinctions. No release, manuscript, DOI or outreach.