CodeQL Security Analysis

proof(ordinal): doubled-ladder umbrella rank2-mono-<ᵇ² + wf-<ᵇ² (Gate 1 capstone) #69

Sign in to view logs

Triggered via pull request June 14, 2026 04:07

opened #208

claude/quirky-gauss-GaGZo

Status Success

Total duration 58s

Artifacts –

codeql.yml

on: pull_request

Matrix: analyze