v0 state

Trigger

Trigger is one declared notification rule. Filter holds comma-separated key=value pairs; Title, Body and Link are templates where {key} stands for the value of the event's attribute key.

targetPrefix

maxTarget

maxName

maxFilterPairs

maxBody

maxLink

triggers

// id → \*Trigger

lastID

Declare

Declare stores a trigger and returns its id. The trigger is verified when its caller is the target realm itself.

Remove

Remove deletes a trigger. Only its declarer may remove it.

validate

sized

validTarget

validTarget accepts a realm path whose segments each match the chain's Re\_name, so a target names a path where a realm can exist.

isLowerAlnum

validName

validName accepts identifier bytes only, so a name cannot carry spaces or symbols that imitate the verified mark in rendered output.

validFilter

validLink

validLink accepts only a path, so a click always stays on the dapp's origin. "//host" starts with a slash yet resolves to another host. A URL parser drops tab, LF and CR and reads a backslash as a slash, so "/\\t/host" and "/\\host" would do the same; control bytes and backslashes are refused.

pageSize

Render

Render serves "" (the first page), "page/N" and "trigger/\<id>".

renderPage

renderPage lists the triggers newest first, pageSize to a page.

renderTrigger

selfPath

selfPath is this realm's path on gnoweb. It is read at package init, where the realm itself is current; Render is not crossing, so reading it there would give the caller's path. It only builds links.