Skip to content
CodeQL Security Analysis

proof(L1): choreographic experiment 2 — non-collapsed trace model closes the congruence fork in-model #811

Sign in to view logs

proof(L1): choreographic experiment 2 — non-collapsed trace model closes the congruence fork in-model

proof(L1): choreographic experiment 2 — non-collapsed trace model closes the congruence fork in-model #811

Triggered via pull request June 27, 2026 19:46
@hyperpolymathhyperpolymath
opened #332
claude/v2-grammar-proofs-audit-5lubzc
Status Success
Total duration 56s
Artifacts –

codeql.yml

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