Repository navigation
Conversation
why: Constructor links need declaration evidence for their names and parent types rather than a manually approved heading. what: - Read constructor anchors and validate their type, class and name. - Reject markers inside quoted attributes and comments. - Record Option.None's identity and remove its manual review row. - Cover constructor declarations and mismatched markup.
why: The constructor destination fix requires verification on the published shared-docs baseline. what: - Merge main with the released navigation and OCaml producer fixes.
4 of 5 tasks
This branch has not been deployed
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.
Summary
Nonemanual review with verified constructor identity.References such as
Option.Noneare checked against their type and constructor declarations in the official API markup. Evidence records retain the verified symbol heading. Source validation reuses the captured officialOptionpage.Test plan
NoneandSomedeclarations.main.Integration
This draft targets
mainafter the combined new-port release. The complete hosted audit remains the merge gate. Theno-previewlabel holds preview publication. Development-runner budget tracking remains separate in the existing runner issue.