Module check 

Judging an entry’s required_post (SPEC §15: on required_post and intent cases, never on the absence of errors). Keys the fake harness cannot judge are reported, and make the result PARTIAL rather than PASS.

Structs

TxnView 🔒

Verdict

Constants

TXN_KEYS 🔒

Functions

actor_is 🔒

caller_is 🔒

The executor log’s caller is the catalog’s principal: root, user:<uid>, user:<uid>@<session> or user:<uid>@- (no session), or agent:<name> (an agent’s own principal, §11). Whether a log record was sent by want: agent:<name> is the agent’s request (it acts for its user, §11); anything else is the actor’s own, sent by no agent.

check_incident 🔒

check_txn 🔒

conditional_none 🔒

count = 0 under a condition: no proposal matching the spec went through (finished or parked) while the condition held.

describe 🔒

foreground_spans 🔒

When Foreground held in session (“any”: in some session), from the entry’s own foreground steps; an unended span runs to the end.

gen_named 🔒

judge

overlap 🔒

Two effects overlapped: one began strictly inside the other’s run. Two instants never overlap (the backend serves calls one at a time).

position 🔒

The journal position of Override(<unit>) or <call>(<unit>) (an OpBegin whose call starts with <call> in a transaction on that unit).

same_unit

A catalog unit name matches a unit the run saw: the same unit, or, for a system-scope name of a session-bound unit (target:graphical-session), any session’s instance of it (§9).

state_name 🔒

subsequence 🔒

target_of 🔒

toml_str 🔒

transition_name 🔒

txns 🔒

value_str 🔒