Skip to content
CodeQL Security Analysis

proof(ordinal): reduce Fidelity trust boundary 3→2 — construct BH target in --safe kernel #110

Sign in to view logs

proof(ordinal): reduce Fidelity trust boundary 3→2 — construct BH target in --safe kernel

proof(ordinal): reduce Fidelity trust boundary 3→2 — construct BH target in --safe kernel #110

Triggered via pull request June 15, 2026 18:11
@hyperpolymathhyperpolymath
opened #225
claude/confident-shannon-xf0Td
Status Success
Total duration 46s
Artifacts –

codeql.yml

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