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

stzRefinableCode

36 méthodes propres · 0 formes avec extensions, rangées sous leur méthode

la source: base/refine/stzRefinableCode.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 cCfg = 'vat = <R:PARAM name="vat" value="0.10" min="0" max="0.25">' o1 = new stzRefinableCode(cCfg). 26 méthodes n'en ont pas encore. Exemples exécutés le 2026-10-03 20:23 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

Source

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

exemple composé

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">

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

RefinementPoints

the declared change surface

exemple composé

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

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

aucune extension

NumberOfPoints

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

exemple composé

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

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

aucune extension

ValueOf

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

KindOf

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

exemple composé

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", [ ] ] ]

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

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

NumberOfDerivations

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

exemple composé

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

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

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

SetGovernedBy

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

Actor

the actor this code acts as

exemple composé

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

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

aucune extension

SetActor

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

TrustFloor

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

TrustFloorOf

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

exemple composé

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

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

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

SetAllowRefine

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

SetAuthorityLevel

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

GovernanceQ

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

Refine

the typed proposal + the gateaucune extension

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

CanRevert

reversibility (a data-model primitive)

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

aucune extension

Revert

undo the last admitted refinement -- a TYPED inverse (single step).aucune 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.aucune extension

CanRedo

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

exemple composé

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

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

aucune extension

Redo

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

Checkpoint

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

RevertToCheckpoint

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

History

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

Timeline

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

NumberOfSteps

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

exemple composé

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

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

aucune extension

PostureOf

The posture recorded for a given applied step (1-based; "" if none).aucune 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)aucune extension

Save

persistence (*.zrfn)aucune extension