v1 state

Entry

Entry is a single signed guestbook line. It carries no ID field: the id belongs to the store, which hands it back on lookup and iteration.

maxMessageLen

entries

entries assigns the sequence numbers. v1 kept its own count plus a seqKey() that zero-padded to width 16, the widest of the six hand-rolled variants in this repo and still a ceiling; the store key has none.

Sign

Sign appends a new entry to the guestbook attributed to the immediate caller. It is a crossing function (gno 0.9 interrealm convention): callers invoke it as Sign(cross(cur), "hello"). The cur.IsCurrent() guard is the authentication primitive — without it a stale/forged realm value could spoof the author.

addEntry

addEntry validates the message and appends an entry. Non-crossing internal helper so the append/validation logic is unit-testable without a realm frame. Panics (aborting the tx, reverting state) on an invalid message.

Count

Count returns the total number of signatures. Read-only, non-crossing.

Render

Render lists every entry newest-first as a Markdown table plus a total count.