Trace one accepted correction notice through declared dependencies.
One signed notice identifies a retained source digest. Browser verification recomputes its declared descendants, keeps complete unrelated branches separate, and leaves incomplete lineage unresolved.
Experimental · source-only · synthetic · team-operated. Not included in the installed Bulla package. Results are relative to an accepted graph and do not establish correction truth, complete dependency capture, rollback, or authorization.
10,000 declared decisions after one accepted correction notice
A signed correction notice targets one retained source digest. Using the graph accepted in the verification context, browser verification separates declared descendants from complete unrelated branches and branches with missing lineage.
Recomputing the accepted map in this browser…
Use the map to choose what to recheck. It cannot reverse an action or authorize a consequence.
Coordinates draw the accepted graph; status and selected paths come from the recomputed report.
Accepted graph
Nodes identify exact retained artifacts, reliance decisions, or downstream actions. Edges state the declared support, derivation, or informing relationship.
Correction notice
An accepted signed notice identifies one source digest. Browser verification recomputes its declared descendants and emits a replayable path for every decision requiring recheck.