verify_lease

io.github.HowardZheni/geolithic · Verify this server

Verify a lease LOCALLY against the public chain. Fetches the named rent-roll record with its chain identity, then redoes the arithmetic here: sha256(canonical record) must equal the served digest and the lease's roll.digest; sha256(prev_chained + digest) must equal the served link; the link must match the ledger's own listing at /api/commitments; the row must carry this lease's term, serial, clearing price and winner envelope; and, given the salt, sha256(addr|level|start|amount|salt) must open winner_env — with the receipt's amount_degrees if the bid differed from the clearing price. Nothing is taken on the door's say-so: every hash is recomputed. What remains trusted is the chain's content itself, whose external witnesses are the anchors in server/anchors/.