Skip to content
CodeQL Security Analysis

proof(ordinal): general head-Ω monotonicity (Gate 1 building block) #35

Sign in to view logs

proof(ordinal): general head-Ω monotonicity (Gate 1 building block)

proof(ordinal): general head-Ω monotonicity (Gate 1 building block) #35

Triggered via pull request June 13, 2026 12:38
@hyperpolymathhyperpolymath
opened #198
claude/quirky-gauss-GaGZo
Status Success
Total duration 59s
Artifacts –

codeql.yml

on: pull_request
Matrix: analyze
Fit to window
Zoom out
Zoom in