Receipt envelope profile v0.1, mutation operator freshness gate, and the C12.1 scope correction by b7n0de · Pull Request #159 · b7n0de/proofbundle

docs(profile): das Umschlagprofil als Profil ZU RFC 9943 und dem SCITT-Entwurf, plus die Abbildung Klausel fuer Klausel

kraxo

committed

afa6712

feat(schema): Abdeckung und typisierte Digest-Referenz additiv — die zwei Regeln, die wir von anderen verlangt und selbst nicht gefuehrt haben

kraxo

committed

e08e5de

feat(conformance): elf Vektoren fuer das Umschlagprofil — und die dritte Regel, die wir gefordert und nicht gefuehrt haben

kraxo

committed

63f1686

docs(record): die drei gepinnten Messungen in INTEROP und PRIORITY_RECORD — als Messprotokoll, nicht als Urteil

kraxo

committed

9138cec

fix(conformance): R1 versprach drei Gegenproben und lieferte eine — zwei der drei Achsen gibt es in diesem Format gar nicht

kraxo

committed

861f212

fix(evalclaim): drei Aufrufstellen pruefen dieselbe Funktion in zwei verschiedenen Formen

kraxo

committed

e6061a1

docs(profile): zwei Ungenauigkeiten im eigenen Text, beim Volllesen gegen den ausgelieferten Korpus gefunden

kraxo

committed

67c0a9f

fix(conformance): der Handler war nur in EINE Richtung fail-closed, und ein Absturz zaehlte wie eine Verweigerung

kraxo

committed

853c9c2

test(classify): die never-raise-Zusage unter pathologischer Verschachtelung — der Fund war falsch, die Luecke echt

kraxo

committed

94160b2

fix(docs): zwei Zahlen in meinen eigenen Dokumenten stimmten nicht — und die Klasse dahinter ist jetzt gebunden

kraxo

committed

f486069

docs(mapping): die Abschnittsnummern des Entwurfs waren aus zweiter Hand — jetzt am Entwurf selbst geprueft, und eine Aussage hat das nicht ueberlebt

kraxo

committed

c734fab

docs: RFC 9943 an der Quelle geprueft — die Angabe traegt, und die Asymmetrie zum Entwurf steht jetzt dabei

kraxo

committed

26910c2

revert(coverage): die drei Abdeckungsfelder wieder entfernt — ein zehn Tage aelterer Entwurf weist genau diese Form zurueck

kraxo

committed

05dcb88

fix(mutation): beide Luecken lagen im PRUEFER, nicht im Code — plus die statische Vorpruefung, die das in Sekunden statt in Stunden zeigt

kraxo

committed

42d5102

fix(mutation-fresh): die Vorpruefung stellte nur die halbe Frage — mehrdeutige Muster mutieren still die falsche Stelle

kraxo

committed

b49c41e

docs(gate): warum C12.1 auf einem Arbeitszweig rot ist, und warum das richtig ist — im Quelltext, nicht nur im Journal

kraxo

committed

bdb3c1c

docs(scitt): G1 und G2 nach Gegenlesung — Geltungsbereich vor Behauptung, Begruendung gemessen

kraxo

committed

92cb031

docs(scitt): G2 aus dem Originaltext berichtigt — 7.1 erreicht unsere Konstruktion gar nicht

kraxo

committed

c45a035

docs(scitt): alle sechs Entwurfs-Aussagen am Original geprueft, eine fiel durch

kraxo

committed

46bd00c

fix(conftest): die Hermetik-Ableitung erkennt eine Wurzel an ihrer HERKUNFT statt an ihrem NAMEN

kraxo

committed

3e9c554

Navigation Menu

Uh oh!

Receipt envelope profile v0.1, mutation operator freshness gate, and the C12.1 scope correction - #159

Receipt envelope profile v0.1, mutation operator freshness gate, and the C12.1 scope correction#159
b7n0de merged 20 commits into
mainfrom
feat/umschlagprofil-und-zwei-rote-gates-20260830

Commits on Aug 30, 2026

docs(profile): das Umschlagprofil als Profil ZU RFC 9943 und dem SCITT-Entwurf, plus die Abbildung Klausel fuer Klausel

feat(schema): Abdeckung und typisierte Digest-Referenz additiv — die zwei Regeln, die wir von anderen verlangt und selbst nicht gefuehrt haben

feat(conformance): elf Vektoren fuer das Umschlagprofil — und die dritte Regel, die wir gefordert und nicht gefuehrt haben

docs(record): die drei gepinnten Messungen in INTEROP und PRIORITY_RECORD — als Messprotokoll, nicht als Urteil

fix(conformance): R1 versprach drei Gegenproben und lieferte eine — zwei der drei Achsen gibt es in diesem Format gar nicht

fix(evalclaim): drei Aufrufstellen pruefen dieselbe Funktion in zwei verschiedenen Formen

docs(profile): zwei Ungenauigkeiten im eigenen Text, beim Volllesen gegen den ausgelieferten Korpus gefunden

fix(conformance): der Handler war nur in EINE Richtung fail-closed, und ein Absturz zaehlte wie eine Verweigerung

test(classify): die never-raise-Zusage unter pathologischer Verschachtelung — der Fund war falsch, die Luecke echt

fix(docs): zwei Zahlen in meinen eigenen Dokumenten stimmten nicht — und die Klasse dahinter ist jetzt gebunden

docs(mapping): die Abschnittsnummern des Entwurfs waren aus zweiter Hand — jetzt am Entwurf selbst geprueft, und eine Aussage hat das nicht ueberlebt

docs: RFC 9943 an der Quelle geprueft — die Angabe traegt, und die Asymmetrie zum Entwurf steht jetzt dabei

revert(coverage): die drei Abdeckungsfelder wieder entfernt — ein zehn Tage aelterer Entwurf weist genau diese Form zurueck

fix(mutation): beide Luecken lagen im PRUEFER, nicht im Code — plus die statische Vorpruefung, die das in Sekunden statt in Stunden zeigt

fix(mutation-fresh): die Vorpruefung stellte nur die halbe Frage — mehrdeutige Muster mutieren still die falsche Stelle

docs(gate): warum C12.1 auf einem Arbeitszweig rot ist, und warum das richtig ist — im Quelltext, nicht nur im Journal

docs(scitt): G1 und G2 nach Gegenlesung — Geltungsbereich vor Behauptung, Begruendung gemessen

docs(scitt): G2 aus dem Originaltext berichtigt — 7.1 erreicht unsere Konstruktion gar nicht

docs(scitt): alle sechs Entwurfs-Aussagen am Original geprueft, eine fiel durch

fix(conftest): die Hermetik-Ableitung erkennt eine Wurzel an ihrer HERKUNFT statt an ihrem NAMEN