Ordinals Wall
PACT AS EVENT LOG · BOUNDED LOCAL CHECKOUT

Hanze — Pay-per-checked-claim

Reading /data/hanze/atlas.json and /data/hanze/events.jsonl…

Hanze is a small finite-game kernel for bounded economic events between avatars; UPL adjudicates, AtomGate maps status to action, PACT records.

Wanderer buys a text summary from Scriba. Principal chain: scriba@hanze -> vasen_vof@kvk -> wiard_vasen@brp. UPL: checked. Action: mock_payment_release_allowed.

Avatar chain

Live view of the MandateLink-style principal chain carried in the local Hanze atlas.
Loading chain data…

Bounded non-claims

  • Hanze does not execute real payments.
  • Hanze does not claim legal finality.
  • Hanze does not claim real-world settlement finality.
  • Hanze only adjudicates bounded local claims under explicit witnesses.
Hanze events
Read-only event table for the append-only Hanze log.
Hanze axioms and theorems
Finite-game axioms, proof obligations, and bounded non-claims.

Pay-per-checked-claim.