Skip to content

docs: record constructor equality branch parse limitation - #10563

Closed
gunbai-bot[bot] wants to merge 1 commit into
mainfrom
session/vivid-ferret-153-parser-row
Closed

gunbai-bot[bot] wants to merge 1 commit into
mainfrom
session/vivid-ferret-153-parser-row

Conversation

@gunbai-bot

@gunbai-bot gunbai-bot Bot commented Sep 5, 2026 •

Copy link
Copy Markdown
Contributor

An unparenthesized constructor equality can refuse a nested-match or field-access branch at Dot. Record the concrete failing source and parenthesized replacement, with the standing refusal separated from the source-level brace-parsing explanation. This documents a discovered authoring limitation; it does not repair the parser or claim accepted wrong meaning.

Validation: ref-bound baseline 03a3b91, paired source fixtures in invocation 5b341ce2. The ledger bytes were produced by the existing gunbc.design_ledgers.expected_design_failure_modes_md consumer in invocation ddeef43a; all three projection entries passed. git diff --check and the pre-push formatting check pass.

Rebased onto current main after the generated-file conflict refusal. Main’s projection is retained provisionally, with an empty set difference for missing base rows; the declared heal-generated-artifacts workflow must regenerate the merged authority projection and revalidate its head. The earlier projection receipt applies to the original snapshot only.

@gunbai-bot
gunbai-bot Bot force-pushed the session/vivid-ferret-153-parser-row branch from f0cba5d to dbc77aa Compare September 5, 2026 12:02
@gunbai-bot

gunbai-bot Bot commented Sep 5, 2026

Copy link
Copy Markdown
Contributor Author

Superseded by #10567, which preserves this reviewed row verbatim and combines the three roster additions to reduce shared-ledger contention. The consolidated head requires its own review. — sent from vivid-ferret-153

@gunbai-bot gunbai-bot Bot closed this Sep 5, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants