duebook_demo

curl -sS 'https://pearl.testnets.gno.land/r/g1ut6uspuh73e02yauxpmyt8g3wwddaq8utagvm3/duebook_demo$download&file=duebook_demo.gno' | shasum -a 256

Overview

Package duebook_demo is the reference consumer for the duebook scheduling primitive. It exists to make duebook's central claim falsifiable on a live chain.

That claim is: a deferral claimed in transaction N is refused in transaction N+1, forever. A pure package cannot demonstrate this — a vm/qeval is a single ephemeral evaluation with no state that survives it. Only a realm, called twice, can show it. So this realm is not a decoration on the primitive; it is the experiment.

What it does

Anyone schedules an announcement to be published no earlier than delayBlocks from now. Once due, ANYONE may publish it — publication is deliberately permissionless, so that what protects the announcement from being published twice is duebook's exactly-once Claim and nothing else. If an access-control list were guarding Publish, the experiment would prove nothing about duebook.

The scheduler may cancel at any time before publication. Once the optional time-to-live elapses, the announcement can never be published and anyone may clear it to free a slot.

How it wires duebook correctly

This realm is also the worked example of duebook's consumer contract:

• the clock is runtime.ChainHeight(), never a call argument (contract 1);
• heights are the only unit used (contract 2);
• the *Book is an unexported package-level var and is never returned across a realm boundary (contract 3);
• the owner is cur.Previous().Address(), never a parameter (contract 4);
• Publish performs its effect immediately after a successful Claim, in the same transaction (contract 5).

This realm holds no coins and has no admin. Every entrypoint rejects attached coins.

Imports

• chain
• chain/runtime
• chain/runtime/unsafe
• gno.land/p/g1ut6uspuh73e02yauxpmyt8g3wwddaq8utagvm3/duebook
• gno.land/p/nt/avl/v0
• gno.land/p/nt/markdown/sanitize/v0
• strconv

Constants and variables

const (
	// MinDelayBlocks is the floor on how far ahead an announcement may be
	// scheduled. One block is enough to prove the delay is enforced while
	// keeping the realm exercisable on a live chain.
	MinDelayBlocks = int64(1)

	// MaxDelayBlocks caps scheduling roughly 100 days out at pearl-1's
	// ~3.42s blocks. It also bounds now+delay well inside int64.
	MaxDelayBlocks = int64(2_500_000)

	// MaxTTLBlocks caps how long a due announcement stays publishable.
	MaxTTLBlocks = int64(2_500_000)

	// MaxOpen caps simultaneously scheduled announcements, bounding both
	// storage and the cost of the Due/Expirable scans.
	MaxOpen = 200

	// MaxTextLen bounds one announcement. It is a BYTE length, not a rune
	// count, because its job is to bound storage; a multi-byte script
	// therefore gets fewer than 280 visible characters.
	MaxTextLen = 280

	// MaxPublishedKept is how many recent publications Render shows. The
	// permanent record is the emitted event; this is a bounded window so
	// realm storage cannot grow without limit.
	MaxPublishedKept = 50

	// MaxListed caps how many entries a single query returns.
	MaxListed = 50
)

Functions

Cancel

func Cancel(cur realm, id int64) string

Crossing function. Callable from a transaction via MsgCall, and from another realm as Cancel(cross(cur), ...).

Cancel withdraws a scheduled announcement before it is published. Only the account that scheduled it may cancel, and only while it is still open — a cancellation that arrives after publication aborts.

DueNow

func DueNow() string

DueNow returns the IDs of announcements publishable at the current height, oldest first, capped at MaxListed.

ExpirableNow

func ExpirableNow() string

ExpirableNow returns the IDs that Expire would accept at the current height, oldest first, capped at MaxListed.

Expire

func Expire(cur realm, id int64) string

Crossing function. Callable from a transaction via MsgCall, and from another realm as Expire(cross(cur), ...).

Expire clears an announcement whose time-to-live has elapsed, freeing its slot against MaxOpen. It is permissionless because an expired announcement can never be published, so there is nothing left to protect and everything to gain from letting anyone tidy up.

Height

func Height() int64

Height returns the chain height this realm is reading as "now".

NextID

func NextID() string

NextID returns the deferral ID the next Schedule will allocate. It only ever increases; that is what makes a consumed ID permanently unusable.

OpenCount

func OpenCount() int

OpenCount returns how many announcements are currently scheduled.

Publish

func Publish(cur realm, id int64) string

Crossing function. Callable from a transaction via MsgCall, and from another realm as Publish(cross(cur), ...).

Publish publishes a scheduled announcement once it is due. It is deliberately permissionless: duebook's exactly-once Claim is the only thing preventing a second publication, which is precisely what this realm exists to demonstrate.

Aborts if the announcement does not exist, is not due yet, has expired, or has already been consumed by a publication or a cancellation.

PublishedTotal

func PublishedTotal() int64

PublishedTotal returns how many announcements have ever been published, including ones since evicted from the rendered window.

Render

func Render(path string) string

Render serves three views, selected by path. Anyone may Schedule, so the default view must not be something a stranger can inflate: it shows only what is publishable right now, capped at MaxListed. The full scheduled table lives behind :open and is capped too, so no view is unbounded and none of them is the landing page by default.

(empty) summary + publishable now + recent publications open every scheduled announcement, up to MaxListed rows about what this realm is and why it exists

Schedule

func Schedule(cur realm, text string, delayBlocks, ttlBlocks int64) string

Crossing function. Callable from a transaction via MsgCall, and from another realm as Schedule(cross(cur), ...).

Schedule registers an announcement to be published no earlier than delayBlocks from the current height, and returns its deferral ID.

ttlBlocks is how long after the due height the announcement stays publishable; 0 means it never expires. The caller becomes the owner and is the only account that may Cancel it.

Status

func Status(id int64) string

Status describes a scheduled announcement: its window, and whether it is publishable right now. Returns "unknown" when the ID was never issued or has already been consumed — duebook keeps no tombstone, so those two cases are indistinguishable by design.

---

Doc text is reproduced as vm/qdoc returns it. The node markdown-escapes doc comments, so a bracket or angle bracket may carry a backslash the committed source does not have. The source itself is at source and in this repository.