Skip to content

feat(diagnostics): echo safe model-derived error detail - #43

Merged
jmgilman merged 7 commits into
masterfrom
fix/issue-24-diagnostics
Aug 26, 2026
Merged

feat(diagnostics): echo safe model-derived error detail#43
jmgilman merged 7 commits into
masterfrom
fix/issue-24-diagnostics

Conversation

@jmgilman

Copy link
Copy Markdown
Contributor

Summary

  • preserve approved parser, resolver, and binding diagnostics behind the coarse execution taxonomy
  • carry only bounded invalid program and invalid capability arguments detail through worker and root projections
  • keep handler, policy, panic, runtime, resource, and internal failures coarse
  • document the MCP recovery contract and security boundary

Closes #24

Verification

  • mise exec -- moon run root:check
  • mise exec -- go test -race ./internal/worker -run '^TestServeEngineAbortSuppressesFinalError$' -count=20\n- mise exec -- go test ./mcpserver -run '^TestActualMCPModelDerivedDiagnostics$' -count=1 -v

Preserve coarse sentinel Error text while exposing approved
parser, resolver, and BindShape suffixes through WithSafeDetail.
Echo approved model-derived suffixes through the private protocol
without changing version 1 or exposing host-derived text.
Keep root Error() coarse while rewrapping SafeDetail onto public
invalid-program and invalid-arguments sentinels. MCP formats
"<sentinel>: <detail>" and still strips custom-Service wrappers.
@jmgilman
jmgilman merged commit 4bbb367 into master Aug 26, 2026
4 checks passed
@jmgilman
jmgilman deleted the fix/issue-24-diagnostics branch August 26, 2026 01:11
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.

Echo model-derived diagnostics through the coarse error taxonomy

1 participant