CodeQL Security Analysis

ABI Layer 3: monotonicity of cost accounting + downward-closed budget #109

Sign in to view logs

Triggered via pull request June 28, 2026 05:39

synchronize #33

claude/new-session-znxgm7

Status Success

Total duration 49s

Artifacts –

codeql.yml

on: pull_request

Matrix: analyze