Skip to content

Markup: add IDs to Clause 5 definitions - #3931

Open
UditDewan wants to merge 1 commit into
tc39:mainfrom
UditDewan:agent/add-clause-5-dfn-ids
Open

Markup: add IDs to Clause 5 definitions#3931
UditDewan wants to merge 1 commit into
tc39:mainfrom
UditDewan:agent/add-clause-5-dfn-ids

Conversation

@UditDewan

Copy link
Copy Markdown

Summary

  • Adds explicit IDs to the 12 definitions in Clause 5 that did not have one.
  • Preserves existing variants and oldids metadata.
  • Enables direct fragment links and references pane navigation for these terms.

Definitions

  • chain production
  • goal symbol
  • Parse Node
  • the same Parse Node
  • covered
  • abstract operations
  • syntax-directed operation
  • source text matched by
  • runtime semantics
  • static semantics
  • values without identity
  • value with identity

Validation

  • npm run build
  • Verified that each new ID appears exactly once in the source and rendered Clause 5 output.

Closes #3502

@UditDewan
UditDewan marked this pull request as ready for review July 25, 2026 04:59
@nicolo-ribaudo

Copy link
Copy Markdown
Member

Please read https://github.com/tc39/how-we-work/blob/main/AI_POLICY.md and clarify how it applies to this PR's description.

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.

add IDs to more <dfn>s

2 participants