The library documents itself · Metaprogramming & code rules

stzRefinableCode

36 own methods · 0 forms written with extensions, listed under their method

the source: base/refine/stzRefinableCode.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 cCfg = 'vat = <R:PARAM name="vat" value="0.10" min="0" max="0.25">' o1 = new stzRefinableCode(cCfg). 26 methods have none yet. Examples run on 2026-10-03 20:23 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

Source

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

composed example

cCfg = 'vat = <R:PARAM name="vat" value="0.10" min="0" max="0.25">'
o1 = new stzRefinableCode(cCfg)
? o1.Source()
#--> vat = <R:PARAM name="vat" value="0.10" min="0" max="0.25">

composed from the signature, run for this page

no extension

Why

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

RefinementPoints

the declared change surface

composed example

cCfg = 'vat = <R:PARAM name="vat" value="0.10" min="0" max="0.25">'
o1 = new stzRefinableCode(cCfg)
? @@( o1.RefinementPoints() )
#--> [ [ "vat", "param", "0.10" ] ]

composed from the signature, run for this page

no extension

NumberOfPoints

(no comment in the source: the name reads as a sentence) number of points

composed example

cCfg = 'vat = <R:PARAM name="vat" value="0.10" min="0" max="0.25">'
o1 = new stzRefinableCode(cCfg)
? o1.NumberOfPoints()
#--> 1

composed from the signature, run for this page

no extension

ValueOf

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

KindOf

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

Cascade

CASCADE: the pre-commit blast radius (the review artifact) ----------- which source LINES the point sits on, plus any point that shares a line (the floor's cross-point impact). "What you read instead of the diff" (5.8).

composed example

cCfg = 'vat = <R:PARAM name="vat" value="0.10" min="0" max="0.25">'
o1 = new stzRefinableCode(cCfg)
? @@( o1.Cascade("a") )
#--> [ [ "point", "a" ], [ "exists", 0 ], [ "lines", [ ] ], [ "alsotouches", [ ] ] ]

composed from the signature, run for this page

no extension

DeclareDerivation

STAGE 3 wiring: cross-point DERIVATION rules ------------------------ A derivation rule is a named predicate over the code's POST-change state: fPredicate(oCode) returns TRUE when the state is consistent. It fires AFTER the value is tentatively applied and rolls the change back if any rule rejects (so cross-point invariants -- "vat cannot exceed the ceiling", "heap needs a threshold" -- are enforceable). Same {name, function, message} record shape as stzGraphRule.no extension

NumberOfDerivations

(no comment in the source: the name reads as a sentence) number of derivations

composed example

cCfg = 'vat = <R:PARAM name="vat" value="0.10" min="0" max="0.25">'
o1 = new stzRefinableCode(cCfg)
? o1.NumberOfDerivations()
#--> 0

composed from the signature, run for this page

no extension

GovernedBy

STAGE 4 wiring: GOVERNANCE (refining is a governed action) ---------- Wire a (fully configured) stzGovernance. Each point's refinement is the action "refine-<point>"; To() calls MayProceed(actor, action) so a refinement needs permission (CAN) + authority (SHOULD) covering the point's declared risk tier before it can mutate the source. the NAME of the object that governs this code ("" if none)no extension

SetGovernedBy

(no comment in the source: the name reads as a sentence) set governed byno extension

Actor

the actor this code acts as

composed example

cCfg = 'vat = <R:PARAM name="vat" value="0.10" min="0" max="0.25">'
o1 = new stzRefinableCode(cCfg)
? o1.Actor()
#--> refiner

composed from the signature, run for this page

no extension

SetActor

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

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

TrustFloor

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

TrustFloorOf

(no comment in the source: the name reads as a sentence) trust floor of

composed example

cCfg = 'vat = <R:PARAM name="vat" value="0.10" min="0" max="0.25">'
o1 = new stzRefinableCode(cCfg)
? o1.TrustFloorOf("a")
#--> -1

composed from the signature, run for this page

no extension

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>").no extension

SetAllowRefine

Grant the actor permission (CAN) to refine a point.no extension

SetAuthorityLevel

Set the actor's authority (SHOULD): :Advisory/:Delegated/ :Autonomous/:EmergencyOverride.no extension

GovernanceQ

The wired governance as a chainable object (Q-convention) -- returns a fresh copy each call; use for READS (Why/Lineage/NumberOfDecisions).no extension

Refine

the typed proposal + the gateno extension

apply a value to the pending point THROUGH the gate. Returns [ :admitted, :why ]; on rejection the source is unchanged.no extension

CanRevert

reversibility (a data-model primitive)

composed example

cCfg = 'vat = <R:PARAM name="vat" value="0.10" min="0" max="0.25">'
o1 = new stzRefinableCode(cCfg)
? o1.CanRevert()
#--> 0

composed from the signature, run for this page

no extension

Revert

undo the last admitted refinement -- a TYPED inverse (single step).no extension

RevertTo

ATOMIC multi-step revert: roll the source back to exactly nStep applied refinements (0 = the original source), undoing each step in reverse via its typed inverse. Every undone step is pushed onto the REDO stack. This is reversibility as a data-model primitive: time-travel over the timeline, not a one-off undo button.no extension

CanRedo

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

composed example

cCfg = 'vat = <R:PARAM name="vat" value="0.10" min="0" max="0.25">'
o1 = new stzRefinableCode(cCfg)
? o1.CanRedo()
#--> 0

composed from the signature, run for this page

no extension

Redo

RE-APPLY the most recently reverted step (undo the undo). A fresh admitted Refine clears the redo stack (the timeline forked).no extension

Checkpoint

A named marker on the timeline; RevertToCheckpoint rewinds to it.no extension

RevertToCheckpoint

(no comment in the source: the name reads as a sentence) revert to checkpointno extension

History

The ordered applied timeline: [ name, old, new, posture ] per step.no extension

Timeline

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

NumberOfSteps

(no comment in the source: the name reads as a sentence) number of steps

composed example

cCfg = 'vat = <R:PARAM name="vat" value="0.10" min="0" max="0.25">'
o1 = new stzRefinableCode(cCfg)
? o1.NumberOfSteps()
#--> 0

composed from the signature, run for this page

no extension

PostureOf

The posture recorded for a given applied step (1-based; "" if none).no extension

Rendered

rendering ------------------------------------------------------------ the source with every point's CURRENT value in place (the R-tags stay -- the point is a living knob, not a one-shot substitution)no extension

Save

persistence (*.zrfn)no extension