The library documents itself · Metaprogramming & code rules

stzPredicateSet

13 own methods · 2 forms written with extensions, listed under their method

the source: base/meta/stzPredicateSet.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; 3 were composed from each method's signature and run for this page, on a fresh object, for example o1 = new stzPredicateSet("house"). 10 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_

composed example

o1 = new stzPredicateSet("house")
? o1.Name_()
#--> house

composed from the signature, run for this page

no extension

AddRule

(no comment in the source: the name reads as a sentence) add ruleQCSXTZZZIBWU

AddInvariant

(no comment in the source: the name reads as a sentence) add invariantQCSXTZZZIBWU

Rules

(no comment in the source: the name reads as a sentence) rulesno extension

Invariants

(no comment in the source: the name reads as a sentence) invariantsno extension

Seal

(no comment in the source: the name reads as a sentence) seal

composed example

o1 = new stzPredicateSet("house")
? o1.Seal()
#--> 5b7132cf7f37d2edcd0964c3827ea70943eec78b9031639c0ca9ba5b7b06a340

composed from the signature, run for this page

no extension

LoadFrom

LOAD a sealed .stzrules back INTO this set -- 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

Verify

TRUE when the loaded seal matches the body -- a reviewer signs the seal; any silent edit to the rules breaks it.

composed example

o1 = new stzPredicateSet("house")
? o1.Verify()
#--> 0

composed from the signature, run for this page

no extension

EnforceOnCode

run ONLY this set's code rules over source; structured findingsno extension

EnforceOnGraph

run ONLY this set's graph invariants over a colored agent graphno extension