CodeQL Security Analysis

ABI Layer 2: prove forbidden actions are never permitted (ethical safety) — flagship Idris2 proof #113

Sign in to view logs

Triggered via pull request June 27, 2026 19:49

opened #33

claude/new-session-znxgm7

Status Success

Total duration 59s

Artifacts –

codeql.yml

on: pull_request

Matrix: analyze