CodeQL Security Analysis

proof(ordinal): doubled-ladder atomic-boundary rank2-mono primitives #62

Sign in to view logs

Triggered via pull request June 14, 2026 03:33

opened #205

claude/quirky-gauss-GaGZo

Status Success

Total duration 1m 4s

Artifacts –

codeql.yml

on: pull_request

Matrix: analyze