Skip to content
Spec Liveness Check

docs(audits): the strictness ledger stops asserting a union flattening the tree no longer does #14165

Sign in to view logs

docs(audits): the strictness ledger stops asserting a union flattening the tree no longer does

docs(audits): the strictness ledger stops asserting a union flattening the tree no longer does #14165

Triggered via pull request September 8, 2026 04:12
@claudeclaude[bot]
opened #16766
claude/issue-14977-strictness-ledger-stale-flattening
Status Success
Total duration 47s
Artifacts –

spec-liveness-check.yml

on: pull_request
Spec property liveness
42s
Spec property liveness
Fit to window
Zoom out
Zoom in