The library documents itself · Metaprogramming & code rules
stzGovernance
42 own methods · 1 forms written with extensions, listed under their method
the source: base/governance/stzGovernance.ring(opens in a new tab) · All classes · The area reference: Metaprogramming & code rules
Under each method, its extensions (Q CS XT Z ZZ IB W U): bold and ticked, it exists; struck, it does not. The extensions and what they mean
Examples: 0 come from the library's tests; 10 were composed from each method's signature and run for this page, on a fresh object, for example o1 = new stzGovernance("constellation-regime"). 32 methods have none yet. Examples run on 2026-10-03 12:54 inside the library at commit 0e72e2e2c.
Method
Explanation, as the source carries it
init
(no comment in the source: the name reads as a sentence) initno extension
SetName
(no comment in the source: the name reads as a sentence) set nameno extension
Name_
(no comment in the source: the name reads as a sentence) name_no extension
composed example
o1 = new stzGovernance("constellation-regime")
? o1.Name_()
#--> constellation-regimecomposed from the signature, run for this pageWhy
(no comment in the source: the name reads as a sentence) whyno extension
DeclareRisk
1. ACTION RISK TIERSno extension
RiskOf
(no comment in the source: the name reads as a sentence) risk ofno extension
composed example
o1 = new stzGovernance("constellation-regime")
? o1.RiskOf("an")
#--> 0composed from the signature, run for this pageGrantPermission
2. PERMISSION (CAN) vs AUTHORITY (SHOULD)no extension
HasPermission
(no comment in the source: the name reads as a sentence) has permissionno extension
composed example
o1 = new stzGovernance("constellation-regime")
? o1.HasPermission("an", "an")
#--> 0composed from the signature, run for this pageSetAuthority
(no comment in the source: the name reads as a sentence) set authorityno extension
AuthorityOf
(no comment in the source: the name reads as a sentence) authority ofno extension
MayProceed
THE COMPOSITION: CAN + SHOULD + RISK, decided BEFORE the act. An actor proceeds only when it HAS the permission AND its authority level covers the action's risk tier. Every verdict narrates (LAW 3); an undeclared action is REFUSED, not assumed.no extension
composed example
o1 = new stzGovernance("constellation-regime")
? o1.MayProceed("an", "an")
#--> 0composed from the signature, run for this pageOpenCommitment
3. COMMITMENT STATE (forward-only)no extension
AdvanceCommitment
(no comment in the source: the name reads as a sentence) advance commitmentno extension
CommitmentStateOf
(no comment in the source: the name reads as a sentence) commitment state ofno extension
DeclareDecommission
4. DECOMMISSION CONTRACTno extension
FulfillObligation
(no comment in the source: the name reads as a sentence) fulfill obligationno extension
MayRetire
retirement is EARNED: every declared obligation fulfilled firstno extension
composed example
o1 = new stzGovernance("constellation-regime")
? o1.MayRetire("an")
#--> 0composed from the signature, run for this pageRecordDecision
WHEN it was decided is part of that answer, and it used to be missing: a lineage without time cannot say whether a decision came before or after the change it is supposed to explain, which is the first question anyone asks of it. The clock is the WALL clock on purpose -- this is an absolute "when in the world", not a duration, and epoch MILLIS stay exact in f64 (nanos would not).no extension
RecordDecisionAt
the deterministic twin, so a guard can pin an ordering without racing the clockno extension
SetLineageCapacity
How many decisions this governance keeps. Lowering it below the current count drops the oldest immediately -- and counts them.QCSXTZZZIBWU
LineageCapacity
(no comment in the source: the name reads as a sentence) lineage capacityno extension
composed example
o1 = new stzGovernance("constellation-regime")
? o1.LineageCapacity()
#--> 512composed from the signature, run for this pageLineageDropped
The count the bound cost. Zero means the lineage below is COMPLETE; anything else means the record starts later than the process did, and an auditor deserves to know which of the two they are reading.no extension
composed example
o1 = new stzGovernance("constellation-regime")
? o1.LineageDropped()
#--> 0composed from the signature, run for this pageLineageIsComplete
(no comment in the source: the name reads as a sentence) lineage is completeno extension
composed example
o1 = new stzGovernance("constellation-regime")
? o1.LineageIsComplete()
#--> 1composed from the signature, run for this pageLineageOf
The decision under this id. When an id was recorded more than once the LATEST wins -- a re-decision supersedes, and the earlier ones stay reachable through LineageHistoryOf().no extension
LineageHistoryOf
(no comment in the source: the name reads as a sentence) lineage history ofno extension
DecisionsOf
THE PIVOTS. Answering only by id made the lineage useless for every question an investigation actually opens with -- "what did this actor decide", "who decided anything about this action", "what was decided in the hour before the incident". An audit trail you can only query by a key you already know is a lookup table.no extension
DecisionsAbout
(no comment in the source: the name reads as a sentence) decisions aboutno extension
DecisionsSince
Same as DecisionsBetween: A zero upper bound means "no upper bound" -- an epoch stamp is never zero, so the sentinel cannot collide with a real one.no extension
DecisionsBetween
A zero upper bound means "no upper bound" -- an epoch stamp is never zero, so the sentinel cannot collide with a real one.no extension
Lineage
the full decision lineage (every recorded decision), raw rows. THE SHARED ROWS -- read through the table, so any face sees every face's decisions.no extension
Decisions
...and the same as readable recordsno extension
NumberOfDecisions
(no comment in the source: the name reads as a sentence) number of decisionsno extension
composed example
o1 = new stzGovernance("constellation-regime")
? o1.NumberOfDecisions()
#--> 0composed from the signature, run for this pageRelease
Release this governance's slot -- the regime AND the lineage. Haro has no destructor, so this is the OWNER's explicit act, and only the owner's: a copy calling it would free state every other face is still reading. Without it the table keeps one slot per governance ever constructed, which is fine for a regime that lives as long as the process and a leak for one built per request.also written: ReleaseLineageno extension
DeclarePosture
EXECUTION TRUST POSTURES (5.8)no extension
PostureOf
(no comment in the source: the name reads as a sentence) posture ofno extension
MayExecute
execution without a declared posture never proceedsno extension
DeclareReversibility
6. REVERSIBILITY CLASS (the sixth contract, ruling 3.2) ---------------- How UNDOABLE a subject's work is -- orthogonal to how RISKY it is (contract 1): a tier-1 action that cannot be undone deserves more ceremony than a tier-3 action that can. The three words are .pia's, adopted whole: they are the contract's vocabulary now, not one format's private enum. The subject is whatever the caller governs -- an action, or an actor whose whole tick is being classified.no extension
ReversibilityOf
(no comment in the source: the name reads as a sentence) reversibility ofno extension
MayExecuteFor
posture x reversibility for a DECLARED executor: may code holding pcExecutor's declared posture perform work of this class? The one sentence lives in StzPostureReversibilityRefusal so the .pia court refuses in the same words.no extension
MayRegister
THE REGISTRATION GATE (ruling 3.2a) ------------------------------------ May this actor EXIST in a loop at all -- asked before any tick, when the answer is still free. MayProceed gates ACTS; this gates REGISTRATION, and those are different failures. One rule, two doors, same words: the sentences are agentloop.zig's own refusals (AGENTLOOP-R4 / AGENTLOOP-R5), quoted with only the engine's slot number absent, so a caller who meets the refusal in either door reads the same law.no extension
composed example
o1 = new stzGovernance("constellation-regime")
? o1.MayRegister("an", "an", "an")
#--> 0composed from the signature, run for this pageLoadFrom
persistence (*.zgov) ------------------------------------------------------ LOAD a .zgov back INTO this governance -- the mirror of Save(), and the object's OWN act (LoadFrom: 'Load' is a Haro keyword).no extension
Save
(no comment in the source: the name reads as a sentence) saveno extension