La bibliothèque se documente elle-même · Métaprogrammation et règles de code

stzGovernance

42 méthodes propres · 1 formes avec extensions, rangées sous leur méthode

la source: base/governance/stzGovernance.ring(s'ouvre dans un nouvel onglet) · Toutes les classes · La référence du domaine : Métaprogrammation et règles de code

Sous chaque méthode, ses extensions (Q CS XT Z ZZ IB W U) : en gras et cochée, elle existe ; barrée, elle n'existe pas. Les extensions et leur sens

Exemples : 0 viennent des tests de la bibliothèque ; 10 ont été composés à partir de la signature de chaque méthode et exécutés pour cette page, sur un objet neuf, par exemple o1 = new stzGovernance("constellation-regime"). 32 méthodes n'en ont pas encore. Exemples exécutés le 2026-10-03 12:54 dans la bibliothèque au commit 0e72e2e2c.

Méthode

Explication, telle que la source la porte

init

(sans commentaire dans la source : le nom se lit comme une phrase) initaucune extension

SetName

(sans commentaire dans la source : le nom se lit comme une phrase) set nameaucune extension

Name_

(sans commentaire dans la source : le nom se lit comme une phrase) name_

exemple composé

o1 = new stzGovernance("constellation-regime")
? o1.Name_()
#--> constellation-regime

composé à partir de la signature, exécuté pour cette page

aucune extension

Why

(sans commentaire dans la source : le nom se lit comme une phrase) whyaucune extension

DeclareRisk

1. ACTION RISK TIERSaucune extension

RiskOf

(sans commentaire dans la source : le nom se lit comme une phrase) risk of

exemple composé

o1 = new stzGovernance("constellation-regime")
? o1.RiskOf("an")
#--> 0

composé à partir de la signature, exécuté pour cette page

aucune extension

GrantPermission

2. PERMISSION (CAN) vs AUTHORITY (SHOULD)aucune extension

HasPermission

(sans commentaire dans la source : le nom se lit comme une phrase) has permission

exemple composé

o1 = new stzGovernance("constellation-regime")
? o1.HasPermission("an", "an")
#--> 0

composé à partir de la signature, exécuté pour cette page

aucune extension

SetAuthority

(sans commentaire dans la source : le nom se lit comme une phrase) set authorityaucune extension

AuthorityOf

(sans commentaire dans la source : le nom se lit comme une phrase) authority ofaucune 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.

exemple composé

o1 = new stzGovernance("constellation-regime")
? o1.MayProceed("an", "an")
#--> 0

composé à partir de la signature, exécuté pour cette page

aucune extension

OpenCommitment

3. COMMITMENT STATE (forward-only)aucune extension

AdvanceCommitment

(sans commentaire dans la source : le nom se lit comme une phrase) advance commitmentaucune extension

CommitmentStateOf

(sans commentaire dans la source : le nom se lit comme une phrase) commitment state ofaucune extension

DeclareDecommission

4. DECOMMISSION CONTRACTaucune extension

FulfillObligation

(sans commentaire dans la source : le nom se lit comme une phrase) fulfill obligationaucune extension

MayRetire

retirement is EARNED: every declared obligation fulfilled first

exemple composé

o1 = new stzGovernance("constellation-regime")
? o1.MayRetire("an")
#--> 0

composé à partir de la signature, exécuté pour cette page

aucune extension

RecordDecision

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).aucune extension

RecordDecisionAt

the deterministic twin, so a guard can pin an ordering without racing the clockaucune extension

SetLineageCapacity

How many decisions this governance keeps. Lowering it below the current count drops the oldest immediately -- and counts them.QCSXTZZZIBWU

LineageCapacity

(sans commentaire dans la source : le nom se lit comme une phrase) lineage capacity

exemple composé

o1 = new stzGovernance("constellation-regime")
? o1.LineageCapacity()
#--> 512

composé à partir de la signature, exécuté pour cette page

aucune extension

LineageDropped

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.

exemple composé

o1 = new stzGovernance("constellation-regime")
? o1.LineageDropped()
#--> 0

composé à partir de la signature, exécuté pour cette page

aucune extension

LineageIsComplete

(sans commentaire dans la source : le nom se lit comme une phrase) lineage is complete

exemple composé

o1 = new stzGovernance("constellation-regime")
? o1.LineageIsComplete()
#--> 1

composé à partir de la signature, exécuté pour cette page

aucune extension

LineageOf

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().aucune extension

LineageHistoryOf

(sans commentaire dans la source : le nom se lit comme une phrase) lineage history ofaucune 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.aucune extension

DecisionsAbout

(sans commentaire dans la source : le nom se lit comme une phrase) decisions aboutaucune 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.aucune 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.aucune 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.aucune extension

Decisions

...and the same as readable recordsaucune extension

NumberOfDecisions

(sans commentaire dans la source : le nom se lit comme une phrase) number of decisions

exemple composé

o1 = new stzGovernance("constellation-regime")
? o1.NumberOfDecisions()
#--> 0

composé à partir de la signature, exécuté pour cette page

aucune extension

Release

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.aussi écrite: ReleaseLineageaucune extension

DeclarePosture

EXECUTION TRUST POSTURES (5.8)aucune extension

PostureOf

(sans commentaire dans la source : le nom se lit comme une phrase) posture ofaucune extension

MayExecute

execution without a declared posture never proceedsaucune 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.aucune extension

ReversibilityOf

(sans commentaire dans la source : le nom se lit comme une phrase) reversibility ofaucune 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.aucune 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.

exemple composé

o1 = new stzGovernance("constellation-regime")
? o1.MayRegister("an", "an", "an")
#--> 0

composé à partir de la signature, exécuté pour cette page

aucune extension

LoadFrom

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).aucune extension

Save

(sans commentaire dans la source : le nom se lit comme une phrase) saveaucune extension