CodeQL Security Analysis

proof(ordinal): WfAdm→rank2 scale-transfer bridge (Gate 1 equal-Ω closure) #60

Sign in to view logs

Triggered via pull request June 14, 2026 03:20

opened #204

claude/quirky-gauss-GaGZo

Status Success

Total duration 56s

Artifacts –

codeql.yml

on: pull_request

Matrix: analyze