Skip to content

Make compilation ID required - #131

Merged
gnidan merged 1 commit into
mainfrom
require-compilation-id
Feb 5, 2025
Merged

gnidan merged 1 commit into
mainfrom
require-compilation-id

Conversation

@gnidan

@gnidan gnidan commented Feb 5, 2025

Copy link
Copy Markdown
Member

No description provided.

@gnidan
gnidan merged commit 316ecd1 into main Feb 5, 2025
@gnidan
gnidan deleted the require-compilation-id branch February 5, 2025 21:14
gnidan added a commit that referenced this pull request Sep 17, 2026
The empty-context history was attributed to the wrong PR: #145 dropped
`minProperties: 1` and the `required` entry, but the context schema's
`anyOf` still rejected an explicit `{}` until #150 replaced the union
with `if`/`then` clauses. #131 likewise never declared the compilation
`id` required in prose; it only dropped the "optional" wording.

Every `Schemas:` list now names each schema file the change touched,
verified against the diffs. The #284 entry is split, since the segment
offset carry and the `$this` circularity rule are separate changes with
separate consequences. The encoding label rule is marked as a normative
tightening no validator catches, and its canonical label is described as
preferred rather than required, matching the schema. The id uniqueness
requirement is presented as the new part of #172, and `frame`'s values
as examples rather than an enumeration. The preamble explains why this
file is keyed by the `@ethdebug/format` version, and the history ends at
`0.1.0-0`.
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.

1 participant