pot

[email protected] Forge device package for token proof-of-time minting.

Build

rebar3 compile

Test

The PoT suite includes the direct device vectors plus arithmetic and state-machine properties. It uses local [email protected] and [email protected] packages:

HB_PORT=0 rebar3 pot-test
rebar3 pot-verify

The token/process integration vectors are separate test-support coverage:

HB_PORT=0 rebar3 pot-token-test

pot-token-test uses the sibling ../ao_token_package/src checkout so it can exercise the current token implementation locally.

Verify

The mechanism paper lives in doc/pot.tex (build: tectonic doc/pot.tex); its mathematics is mechanized in lean/ (build: cd lean && lake build; see lean/README.md). The hb_invariant property suite ties the running device to the mechanized model — Lean-exported traces replayed through the pure reference machine (dev_pot_model), randomized invariant soaks, and device-vs-model lockstep runs:

rebar3 pot-props

Package

rebar3 pot-package
rebar3 pot-verify

Local Node

HB_CONFIG=config.json rebar3 device local

config.json pins the published [email protected], [email protected], and [email protected] implementations through HyperBEAM's trusted-devices runtime map.

Publish

rebar3 pot-publish