Skip to content

Exclude SCV_EXECUTABLE_TAG from the spec check - #315

Merged
leighmcculloch merged 1 commit into
mainfrom
exclude-executable-tag
Aug 19, 2026
Merged

Exclude SCV_EXECUTABLE_TAG from the spec check#315
leighmcculloch merged 1 commit into
mainfrom
exclude-executable-tag

Conversation

@leighmcculloch

@leighmcculloch leighmcculloch commented Aug 13, 2026

Copy link
Copy Markdown
Member

What

Add EXECUTABLE_TAG to the excluded variants in .scripts/check-scspectype-superset.ts, with a comment recording why it is excluded despite being passable across a contract function boundary.

Why

The check has failed on main since it merged in #314, because SCV_EXECUTABLE_TAG from CAP-85 has no SC_SPEC_TYPE_EXECUTABLE_TAG — the SDK deliberately exposes the executable tag everywhere as a String for a better and more consistent UX, treating SCV_EXECUTABLE_TAG as a storage implementation detail, so no spec type is planned.

@leighmcculloch
leighmcculloch marked this pull request as ready for review August 13, 2026 23:23
Copilot AI balanced review requested due to automatic review settings August 13, 2026 23:23
@leighmcculloch
leighmcculloch enabled auto-merge (squash) August 13, 2026 23:24
@leighmcculloch
leighmcculloch enabled auto-merge (squash) August 13, 2026 23:24

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Excludes SCV_EXECUTABLE_TAG from the SCSpecType superset check because SDKs expose it as a string rather than a distinct specification type.

Changes:

  • Adds EXECUTABLE_TAG to the exclusion list.
  • Documents why this boundary-capable value intentionally lacks an SCSpecType counterpart.

💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.

@leighmcculloch
leighmcculloch requested a review from a team August 14, 2026 10:18
Comment thread .scripts/check-scspectype-superset.ts
@leighmcculloch
leighmcculloch merged commit bd7b53f into main Aug 19, 2026
9 checks passed
@leighmcculloch
leighmcculloch deleted the exclude-executable-tag branch August 19, 2026 00:23
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.

3 participants