Skip to content

Document typed runtime diagnostics - #58

Merged
DerekCorniello merged 7 commits into
mainfrom
feat/typed-runtime-diagnostics
Aug 28, 2026
Merged

Document typed runtime diagnostics#58
DerekCorniello merged 7 commits into
mainfrom
feat/typed-runtime-diagnostics

Conversation

@DerekCorniello

Copy link
Copy Markdown
Contributor

Summary

  • define the stable runtime diagnostic registry and ownership rules
  • document typed runtime panic formatting and compatibility
  • record the compiler/runtime synchronization and release ordering

This is the canonical cross-repository specification for the matching runtime, compiler, and website PRs.

@greptile-apps

greptile-apps Bot commented Aug 28, 2026

Copy link
Copy Markdown

Greptile Summary

The PR establishes the cross-repository contract for typed runtime diagnostics and updates panic examples to use stable diagnostic codes.

  • Defines the E06xx runtime diagnostic registry and its ownership and compatibility rules.
  • Documents the panic[E####] output format and typed examples.
  • Records warning-registry publication requirements and cross-repository release ordering.

Confidence Score: 5/5

The PR appears safe to merge because no blocking failure remains.

No blocking failure remains.

Important Files Changed

Filename Overview
docs/design/diagnostics.md Defines runtime diagnostic codes, warning publication requirements, ownership boundaries, and release synchronization.
docs/design/panics.md Updates the documented panic format and examples to include typed E06xx diagnostic codes.

Reviews (2): Last reviewed commit: "Merge remote-tracking branch 'origin/mai..." | Re-trigger Greptile

@DerekCorniello
DerekCorniello marked this pull request as ready for review August 28, 2026 00:52
…agnostics

# Conflicts:
#	docs/design/diagnostics.md
@sonarqubecloud

Copy link
Copy Markdown

@DerekCorniello
DerekCorniello merged commit 3a9fa5d into main Aug 28, 2026
4 checks passed
@DerekCorniello
DerekCorniello deleted the feat/typed-runtime-diagnostics branch August 28, 2026 02:26
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