Référence · Systèmes et exécution

Métaprogrammation et règles de code

18 fonctions dans 13 classes, groupées par ce qu'elles font, chacune avec l'explication que la bibliothèque donne d'elle-même.

Le récit de ce domaine, pour un lecteur général : ce qu'un artisan en fait, un exemple exécuté et ses couloirs notés, est sur sa page de la Plateforme.

Les fonctions, par ce qu'elles font

Tester et vérifier

CanRevert reversibility (a data-model primitive) dans stzRefinableCode
exemple composé
```
cCfg = 'vat = <R:PARAM name="vat" value="0.10" min="0" max="0.25">'
o1 = new stzRefinableCode(cCfg)
? o1.CanRevert()
#--> 0
```
composé à partir de la signature, exécuté pour cette page

HasMethod introspection dans stzSelfDoc

oDoc = StzSelfDocQ("stzList")
? oDoc.HowTo("remove duplicates")
? oDoc.HasMethod("DuplicatesRemoved")
#--> Q([...]).RemoveDuplicates()   -- composed by grammar (remove duplicates)
#--> 1

test de la bibliothèque

CheckRules Every method as [ class, method, line ] -- the locus a code RULE needs (MethodsOf gives names only). @aMethods is [ class, method, file, line ]. The uniform graph-owned verb: the code graph checks ITSELF against the code rule set, in the unified finding shape -- so an stzRuleReport can Collect it like any other graph. (StzCheckCode remains the per-line adapter for source snippets; this is the whole-graph, unified-shape path.) dans stzCodeGraph
HasCallEdges CALL edges (present only with a real-parse backend) dans stzCodeGraph

Compter et mesurer

HowTo HowTo(intent) -- resolve a plain-English intent to a runnable method call on this class, DETERMINISTICALLY (no LLM). Two engines, unified: (1) the GRAMMAR composes a method name from the intent and grounds it against this class's real API; if the class implements it, that is the answer (highest confidence, it is derived not guessed). (2) Otherwise fall back to semantic RETRIEVAL (the ranker: reranker/embeddings/lexical). Returns a human line: the call template + how it was resolved + the name's grammatical gloss. dans stzSelfDoc
```
oDoc = StzSelfDocQ("stzList")
? oDoc.HowTo("remove duplicates")
? oDoc.HasMethod("DuplicatesRemoved")
#--> Q([...]).RemoveDuplicates()   -- composed by grammar (remove duplicates)
#--> 1
```
test de la bibliothèque
NumberOfMethods introspection dans stzSelfDoc
exemple composé
```
o1 = new stzSelfDoc("stzListOfStrings")
? o1.NumberOfMethods()
#--> 171
```
composé à partir de la signature, exécuté pour cette page
NumberOfInheritedMethods How many of the harvested methods are inherited (defined by an ancestor). dans stzSelfDoc
exemple composé
```
o1 = new stzSelfDoc("stzListOfStrings")
? o1.NumberOfInheritedMethods()
#--> 171
```
composé à partir de la signature, exécuté pour cette page

Remplacer et modifier

SetLineageCapacity How many decisions this governance keeps. Lowering it below the current count drops the oldest immediately -- and counts them. dans stzGovernance
SetRiskFor Governance config MUST go through these delegators: GovernedBy stores a COPY (governance is pure Haro lists, no shared handle), so mutating the caller's original would leave this copy stale (the Haro aliasing doctrine). Delegating keeps @oGov the one live truth. Declare a point's refinement risk tier ("refine-<point>"). dans stzRefinableCode
SetAllowRefine Grant the actor permission (CAN) to refine a point. dans stzRefinableCode
SetAuthorityLevel Set the actor's authority (SHOULD): :Advisory/:Delegated/ :Autonomous/:EmergencyOverride. dans stzRefinableCode

Ajouter

AddTestSamples Union in the TEST SAMPLES of the given test topics (L3): every narrated Then("desc", code, expected) becomes an "(example)" record -- a natural query can surface a REAL verified call. Chainable; re-index on next Ask. dans stzLibDoc

Convertir

As EXECUTION TRUST POSTURES (5.8) -------------------------------------- A posture says WHERE a refinement came from. Trust rank (high -> low): :trusted (3, in-process/verified) > :external (2, an external tool) > :sandboxed (1, isolated run) > :llm (0, LLM-composed). A proposal defaults to :trusted; As(posture) declares otherwise for the next To(). The posture rides into the audit chain; a point's TrustFloor refuses anything below the required rank (LLM-composed edits to a critical knob can be forbidden without forbidding a human's). dans stzRefinableCode
To apply a value to the pending point THROUGH the gate. Returns [ :admitted, :why ]; on rejection the source is unchanged. dans stzRefinableCode

Afficher, dessiner et mettre en forme

Show explain (deterministic, templated -- no model) dans stzSelfDoc

Lire et écrire

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). dans stzGovernance
OpenCommitment 3. COMMITMENT STATE (forward-only) dans stzGovernance
Save persistence (*.zrfn) dans stzRefinableCode

Les explications sont celles que la bibliothèque donne d'elle-même, en anglais, lues dans ses commentaires de documentation le 2026-10-01 04:14, from the library at commit 0e72e2e2c, by the library's own stzSelfDoc over 635 class sources.

Les classes de ce domaine

stzGovernance · 42 méthodes
stzRefinableCode · 36 méthodes
stzCodeGraph · 35 méthodes
stzSelfDoc · 16 méthodes
stzPredicateSet · 13 méthodes
stzRingCodeGraph · 12 méthodes
stzLibDoc · 10 méthodes
stzPyCodeGraph · 5 méthodes
stzJsCodeGraph · 2 méthodes
stzCodeDeepRuleSet · 1 méthodes
stzCodeProjectRuleSet · 1 méthodes
stzCodeRule · 1 méthodes
stzCodeRuleSet · 1 méthodes