Skip to content

fix(register): demote Z-3 (sixth broken discharge) + quarantine the five void scripts + honest-label the constant - #9872

Merged
AceHack merged 2 commits into
mainfrom
soraya/z-conjecture-cleanup-v2
Aug 1, 2026
Merged

fix(register): demote Z-3 (sixth broken discharge) + quarantine the five void scripts + honest-label the constant#9872
AceHack merged 2 commits into
mainfrom
soraya/z-conjecture-cleanup-v2

docs: correction banners on the two live surfaces that still assert 1…

b14d16b
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL completed Aug 1, 2026 in 2s

4 configurations not found

Warning: Code scanning cannot determine the alerts introduced by this pull request, because 4 configurations present on refs/heads/main were not found:

Actions workflow (codeql.yml)

  • ❓  /language:csharp
  • ❓  /language:java-kotlin
  • ❓  /language:javascript-typescript
  • ❓  /language:python

View all branch alerts.