spec: Check padding satisfies constraints #351

Open

Labels

opened

on Feb 23, 2026

Another nice-to-have sanity check for the type checker

Metadata

Assignees

No one assigned

Labels

Type

No type

Fields

No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests