Bitflow: Accounting und Reserveverlust getrennt bewertet

Clarity-Quellen und Prüfstand

Die Unterlagen vom 6. Oktober 2026 ordneten bereitgestellten Clarity-Code auf Stacks getrennt vom historischen Repository-Stand zu. Der unabhängige Counterreview untersuchte einen begrenzten Ausschnitt, nicht das gesamte Bitflow-Angebot.

Wem kommt die Abweichung zugute?

Die wirtschaftliche Prüfung betrachtete Richtung und Empfänger der Abrechnungsabweichung. Ein anderes Ergebnis allein belegte noch keinen Verlust fremder Reserven. Accounting-Wirkung und behaupteter Assetverlust mussten getrennt begründet werden.

Brutto und Netto

Das Beispiel trennt Gebührenannahme und Nettobetrag mit einer einfachen Subtraktion. Es verwendet erfundene Werte und ist keine Bitflow-Formel. Die Kontrolle erklärt, warum zwei Zahlen ohne ihre Berechnungsannahmen nicht sinnvoll verglichen werden können.

1def net_amount(gross, fee):
2    assert 0 <= fee <= gross
3    return gross - fee
4
5assert net_amount(100, 2) == 98
6assert net_amount(100, 0) == 100

Gegenprobe zum Reserveverlust

Die zweite Fixture ändert die Verteilung und hält die Gesamtsumme konstant. Sie widerlegt im Modell den Schluss, jede abweichende Nettozahl müsse Reserveverlust bedeuten. Der historische Counterreview bewertete die tatsächlichen Artefakte; dieses Beispiel reproduziert den privaten Mechanismus nicht.

1expected = {"user": 98, "beneficiary": 2}
2observed = {"user": 100, "beneficiary": 0}
3assert sum(expected.values()) == sum(observed.values())
4assert expected != observed
5# Allocation changed; a reserve-loss claim needs separate evidence.

Unterschiedliche Quellenfamilien

Die Quellenzuordnung hielt bereitgestellte Varianten auseinander. Der Hash-Vergleich illustriert nur dieses Prinzip und behauptet keine reale Vertragsanzahl. Ein Repository-Name war kein Ersatz für die Zuordnung des tatsächlich geprüften Codes.

1import hashlib
2artifacts = [b"fixture-a", b"fixture-a", b"fixture-b"]
3family_ids = {hashlib.sha256(x).hexdigest() for x in artifacts}
4assert len(family_ids) == 2

Zwei getrennte Entscheidungen

Der historische Accounting-Befund wurde bedingt als Low/Medium eingeordnet. Ein separater Kandidat für Critical-Reserveverlust wurde verworfen. Diese Entscheidungen dürfen nicht zu einem bestätigten High- oder Critical-Befund zusammengezogen werden.

Bewertung bleibt ausschnittsbezogen

Vor einer neuen wirtschaftlichen Bewertung müssen aktuelle Quellen und Zustandsannahmen geprüft werden. Die Ergebnisse hier gelten für die damaligen untersuchten Ausschnitte. Weder eine spätere Behebung noch die heutige Sicherheit anderer Bitflow-Komponenten wurde für diesen Bericht geprüft.

Grenzen der Prüfung

• Stand: 6. Oktober 2026. Zwei getrennte Gegenprüfungen, keine Gesamtprüfung aller Bitflow-Produkte.

Quellen

Die Links liefern Projektkontext. Für das Urteil zählt der im Audit beschriebene Prüfbestand. Prüfmodelle und echte Werkzeugauszüge sind getrennt gekennzeichnet.