Skip to content

Expand JuliaC trim coverage for JWT verification - #41

Merged
quinnj merged 1 commit into
masterfrom
codex/expand-trim-workload
Aug 10, 2026
Merged

Expand JuliaC trim coverage for JWT verification#41
quinnj merged 1 commit into
masterfrom
codex/expand-trim-workload

Conversation

@quinnj

@quinnj quinnj commented Aug 10, 2026

Copy link
Copy Markdown
Member

Summary

  • Add typed JWT payload decoding for concrete claim schemas with JSON.jl 1.
  • Decode standard JWT header claims through a concrete schema during trim compilation.
  • Expand strict JuliaC workloads to parse claims and validate signed tokens.
  • Keep JSON.jl 0.20 and 0.21 compatibility through the existing dynamic path.

Validation

  • Julia 1.12 ordinary suite: 2,664 package checks pass.
  • Julia 1.6 with JSON 0.21.4: 2,664 package checks pass.
  • Both strict JuliaC workloads compile with zero verifier errors and warnings.
  • Both generated executables run successfully.

Scope

Remote JWKS fetching and open-ended dynamic claim dictionaries remain in the ordinary test suite. The strict workload covers local keys and concrete claim schemas.

Co-authored by Codex

Decode JWT headers and payloads with concrete schemas when JSON 1 is available. Expand the strict workloads to parse and validate signed tokens.
@quinnj
quinnj merged commit 34553e1 into master Aug 10, 2026
10 checks passed
@quinnj
quinnj deleted the codex/expand-trim-workload branch August 10, 2026 00:28
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