release: 3.8.0 candidate — version, changelog, and the measured reason for MINOR - #140

Merged

b7n0de merged 45 commits into

mainfrom

Aug 17, 2026

Commits on Aug 16, 2026

release: 3.8.0 — version, changelog, and why the number is MINOR

kraxo
and
claude
committed
f64d35e
audit(380): pre-registration, the falsification pass, and one pre-existing finding

kraxo
and
claude
committed
f1e9cea
fix(release): retract two false claims from the 3.8.0 section and two audit grades

kraxo
and
claude
committed
1b16e0f
audit(380): F5 also fell, and the declared NFD gap was declared for a wrong reason

kraxo
and
claude
committed
ad2c372
audit(380): the retraction repeated the class it was retracting

kraxo
and
claude
committed
5109e86
audit(380): a rule I wrote forbids its own use — clarified with a measurement, not a reading

kraxo
and
claude
committed
2b851c0
fix(release): der DOI wird zuletzt gepraegt, nicht zuerst

kraxo
and
claude
committed
6e87a0e
fix(cli): beschriftete Zeilen der verify-Flaechen filtern Kontrollzeichen

kraxo
and
claude
committed
dac3fd5
fix: die Befunde der DEEP-Runde, und die Akte hat mehr davon getragen als der Code

kraxo
and
claude
committed
48a0215
fix: die Delta-Runde — und die schwersten Funde trafen die eigene Arbeit

kraxo
and
claude
committed
039ac5d
audit(380): die Umkehrung, statt sie wieder zu vertagen

kraxo
and
claude
committed
c9e94b3
fix(release): vier Befunde am eigenen neuen Auslieferungspfad

kraxo
and
claude
committed
ec2a573
fix: sechs Linsen auf dem eingefrorenen Digest — zwei meiner Waechter massen nichts

kraxo
and
claude
committed
13827c4
fix: die Gegenlesung hatte an einer von vier Stellen recht — und die eine zaehlt

kraxo
and
claude
committed
8172b95
audit(380): gemessen, was PR #139 am Release-Tor wirklich aendert

kraxo
and
claude
committed
a9b375c
fix(cli): die Steuerzeichen-Klasse als REGEL statt als Liste — und sie fand sofort drei mehr

kraxo
and
claude
committed
4cee1f3
docs: zwei ausgelieferte Aenderungen, die der CHANGELOG nicht nannte — und eine Zahl, die einen Fall auslaesst

kraxo
and
claude
committed
42324c2
audit(380): witnesses_ok=true bei NULL bestaetigenden Zeugen — und kein Feld sagt warum

kraxo
and
claude
committed
377f8a8
audit(380): ein Einstieg in die Akte — acht Dateien, 884 Zeilen, bisher ohne Index

kraxo
and
claude
committed
5624937
audit(380): "alle fuenf" waren vier — die Klasse, die diese Akte behandelt, im Index selbst

kraxo
and
claude
committed
28cd806
audit(380): ein Tippfehler des Pruefers liest sich wie ein kaputtes Artefakt

kraxo
and
claude
committed
751da26
test: die Zahl im Akten-Index kann nicht mehr still veralten

kraxo
and
claude
committed
496ab8b
docs(changelog): die sechs offenen Befunde stehen jetzt IM Release, nicht nur in der Akte

kraxo
and
claude
committed
8869167
docs(changelog): ein Verweis zeigte auf etwas, das im sdist nicht existiert

kraxo
and
claude
committed
ab7e235
fix(tests): vier Umgehungen der neuen Waechter, von der Gegenlesung benannt

kraxo
and
claude
committed
9daeff8
fix(tests): der Index-Waechter wird ausgeliefert, sein Gegenstand nicht — er faellt beim Nutzer

kraxo
and
claude
committed
253405c
test(mutation): der Hauptpfad hatte keinen Fail-open-Operator, der Nebenpfad schon

kraxo
and
claude
committed
898dd08
test: der Steuerzeichen-Waechter prueft jetzt zwoelf Klassen statt einer

kraxo
and
claude
committed
eb72128
feat(tests): die Erwartungsvergleichs-Klasse geschlossen — sechs Flaechen, EIN Korpus

kraxo
and
claude
committed
7a244af
feat(verify): die Origin-Bindung auf der Checkpoint-Flaeche — Owner-Anordnung OA-a41a514b63
kraxo
committed
cbcde03
fix(verify): zwei Defekte, die die 3-Linsen-Gegenlesung an der eigenen neuen Flagge fand
kraxo
committed
49e9f64
feat(gate): eine ausfuehrbare Latte fuer das Vor-Tag-Tor — plus der Vorfall, der sie ausgeloest hat
kraxo
committed
d2fb722
docs(adr): 0008 — der Vor-Tag-Eintrag wird eine signierte Attestierung statt Prosa
kraxo
committed
bb5b538
feat(gate): der Pruefer fuer den signierten Vor-Tag-Eintrag — die Haelfte, die keine Einbahntuer ist
kraxo
committed
abf33fa
fix(verify-proof): nicht messbar ist kein gemessenes Nein — `detail` erreicht beide Ausgabepfade
kraxo
committed
494f02d
fix(never-raise): die Familie wird aus dem BAUM aufgezaehlt — und findet sofort einen echten Defekt
kraxo
committed
8e53744
feat(verify-proof): `signer_present` trennt den falschen Schluessel von der verfaelschten Signatur
kraxo
committed
184fafc
fix(checkpoint): ein vkey, der sich selbst widerspricht, ist malformed — Befund aus der Gegenlesung
kraxo
committed
585ee3e
merge: main in release/v3.8.0 — und mains Fassung gewinnt an zwei Stellen gegen meine
kraxo
committed
8eb954e
fix(never-raise): der Deckungs-Waechter war selbst unvollstaendig — eine Ebene tiefer
kraxo
committed
15544f3
merge: PR #139 in den 3.8.0-Kandidaten — und die Eigenschafts-Latte feuert wie entworfen
kraxo
committed
e0208e3
fix(tests): D1 des DEEP-Laufs widerlegt — die Erwartungsvergleichs-Klasse hatte mehr Mitglieder
kraxo
committed
5effcbb
feat(audit): der DEEP-Lauf fuer 3.8.0 ist gefahren — ein Ziel widerlegt, fuenf gehalten
kraxo
committed
0352cae
fix(tests): die Gegenlesung fand einen Phantom-Treffer in meinem eigenen Waechter
kraxo
committed
4921b62

Commits on Aug 17, 2026

fix(mutation): two operators stopped disabling what their labels say

kraxo
and
claude
committed
a4c027d