CodeQL Security Analysis

proof(ordinal): unbudgeted sound-carrier extended order wf-<ᵇ⁺² (K-limited shared-binder) #82

Sign in to view logs

Triggered via pull request June 14, 2026 12:16

opened #214

claude/quirky-gauss-GaGZo

Status Success

Total duration 54s

Artifacts –

codeql.yml

on: pull_request

Matrix: analyze