Mathematik: Verbraucher transitiv reduzierter Voraussetzungen
Stand: 9. November 2026. Lokaler Prüfstatus: passed. Ausgangspunkt ist PR97-Head 4ffa18c26cb44bd7994c984e7cde758759f36881; der tatsächlich fehlgeschlagene CI-Lauf meldete drei Gruppen von Verbraucherfehlern nach den bereits zertifizierten 922 atomaren Cuts.
GVR-015 hatte bereits einen gültigen, auf Stage, autoritative Arten und atomare Blätter beschränkten Pfadtest. Ein zusätzlicher Einzelkantentest verlangte trotzdem redundante direkte Entry→Orientation-Kanten. Ausschließlich dieser Zusatz entfällt. Die Regelbeschreibung benennt nun einen Pfad aus mindestens einer direkt verfassten atomaren requires-Kante; alle bisherigen Contains-, Endpoint-, Allowlist-, Stage- und Klassifikationsgrenzen bleiben erhalten. Die vier tatsächlichen Belege stehen in Tailoperationen 13, 48, 336 und 86: 16 literale Kantenpositionen mit 15 verschiedenen Kanten.
Der Q4-Booktest setzte direkte Vorbereitung und Assessment-Coverage gleich. Das Assessment behält seine sechs ausdrücklich verfassten Coverageziele; seine aktuelle direkte Vorbereitung enthält fünf Ziele. Der unveränderte reale Zeuge aus Tailoperation 688 führt vom Assessment über Division zur Multiplikation. Beide Mengen sowie die unmittelbare Division→Multiplikation-Kante werden separat streng gepinnt. Mandelbrot bleibt sowohl aus der Assessment-Coverage als auch aus der direkten Vorbereitung ausgeschlossen. Tasks, Lösungen, Rubrik, Coverage und Fingerprintfamilien ändern sich nicht.
Der Runtime-Outlook verwarf denselben räumlichen Lernpfad wegen eines privaten Direktkantenfilters. Sein einziger Caller verwendet nun einen privaten, terminierenden Raw-R-Pfadtest zwischen tatsächlich vorhandenen strukturellen Blättern. Er verlangt mindestens eine wirkliche Kante zum exakten vorhandenen atomaren Anchor und verwendet den bestehenden Resolver. Contains und Vererbung erzeugen dabei keinen Ersatzpfad. Alle bisherigen Target-, Pfad-, Fokus-, Prerequisite-only- und Entry-Filter bleiben erhalten; Zwischenziele werden nicht als neue Entries veröffentlicht. Frontier-, Rollen-, Mastery- und Aktivierungsentscheidungen bleiben unverändert. Die vorhandenen Integrationsprüfungen behalten ihre drei Pfade und die Kontrolle, dass ein nicht angebotenes Entryziel nicht aktiviert wird.
Die vollständigen regulären Caller validate:graph (593 Landschaften), test:hard-learning-routes und test:goal-book-model einschließlich Distance-Reflection- und Pythagoras-Strukturtests bestehen. Scoped ESLint besteht ebenfalls. Der gezielte Java-25-Lauf besteht mit 16 Fällen: 13 neue Pfadgrenzen, der unveränderte Personalization-Integrationsfall und beide unveränderten OAuth-Clientparameter des End-to-End-Falls. Die gebundenen Eingaben bleiben in beiden Runnern unverändert.
Alle 21 kanonischen Dokumente, die Registry, die 88 Mathematik-Views, Layout-, Source-/Rechte- und Fingerprintbindungen bleiben bytegleich; insgesamt sind 124 geschützte Eingaben gebunden. Mathematik bleibt bei Raw-SHA 664b6d151b7893256d0385e97678d5490e7470127c01eef0717c687d93932448, die V4-Registry bei 94f65d3338c901f5160b2b9d123a692639b0a5f455eb33d23b7d1c3853ddf394. Es gibt keine Wiederherstellung redundanter Datenkanten und keine neue fachliche, menschliche oder rechtliche Freigabe.
Der kompakte Prüfbeleg enthält Quellhashes, die tatsächlichen Pfadzeugen und die terminalen Zustände. Die übrigen bereits gebundenen Native-, Projection-, CQR- und Paketläufe werden wegen dieser eng abgegrenzten Verbraucherreparaturen nicht pauschal wiederholt. Frische Remote-CI-Abnahme und der Gesamtabschluss von G17 bleiben getrennte Nachweise.