CodeQL Security Analysis

proof(ordinal): `ω-rank-pow` reflects `_<Ω_` (bridge bOmega-case inversion) #58

Sign in to view logs

Triggered via pull request June 14, 2026 03:08

opened #203

claude/quirky-gauss-GaGZo

Status Success

Total duration 59s

Artifacts –

codeql.yml

on: pull_request

Matrix: analyze