La bibliothèque se documente elle-même · Diagrammes et graphes

stzGraphRule

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

la source: base/graph/stzGraphRule.ring(s'ouvre dans un nouvel onglet) · Toutes les classes · La référence du domaine : Diagrammes et graphes

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 stzGraphRule("no-llm-effectful-probe"). 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

SetRuleType

the fluent DSL (plain does the act; Q chains)QCSXTZZZIBWU

SetDomain

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

SetSeverity

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

SetMessage

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

When

a node-matching clause: property `pcProp` `pcOp` `pValue`. Clauses AND.QCSXTZZZIBWU

ThenViolation

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

Then

a REQUIREMENT clause: on a node in scope (matching every When), this must hold, else the node is a finding. Turns the rule from a prohibition ("no node should match") into an implication ("every matching node must satisfy this"). Same operator set as When, incl. the comparisons.QCSXTZZZIBWU

Governs

supply an explicit checker for rules too rich for the clause DSL. It is called as call fChecker(oGraph) and returns [ [ :where, :message ], ... ]. WHICH SUBJECTS THIS RULE GOVERNS -- declared beside the checker, not instead of it. See the block at @fGoverns for why both are needed.QCSXTZZZIBWU

Excludes

...AND WHICH IT MUST NOT. The negative sibling, at rule level: a boundary that is never exercised is a boundary that could be anywhere.QCSXTZZZIBWU

DeclareUniversal

A rule with no boundary because the claim genuinely has none. The reason is required: "universal" without one is indistinguishable from a scope predicate that broke, which is the case worth catching.QCSXTZZZIBWU

SetReadsQ

What it reads, what it writes, and when it runs -- so an ordering defect is a fact about declarations rather than something found by rendering the world and squinting at it.aucune extension

SetWritesQ

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

SetOrderQ

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

SubjectsIn

A rule with BOTH is answered by the closure, because a closure is reached for exactly when the clauses cannot say the thing.aucune extension

CounterSubjectsIn

...and the boundary of a clause rule is the complement: the nodes it looked at and did not take. Free, exact, and available for every clause rule in the library without anyone writing a line.aucune extension

Name_

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

exemple composé

o1 = new stzGraphRule("no-llm-effectful-probe")
? o1.Name_()
#--> no-llm-effectful-probe

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

aucune extension

Claim

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

Reads

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

Writes

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

Order

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

exemple composé

o1 = new stzGraphRule("no-llm-effectful-probe")
? o1.Order()
#--> 0

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

aucune extension

IsUniversal

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

exemple composé

o1 = new stzGraphRule("no-llm-effectful-probe")
? o1.IsUniversal()
#--> 0

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

aucune extension

UniversalWhy

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

UseChecker

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

Name

reads

exemple composé

o1 = new stzGraphRule("no-llm-effectful-probe")
? o1.Name()
#--> no-llm-effectful-probe

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

aucune extension

RuleType

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

exemple composé

o1 = new stzGraphRule("no-llm-effectful-probe")
? o1.RuleType()
#--> validation

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

aucune extension

Domain

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

exemple composé

o1 = new stzGraphRule("no-llm-effectful-probe")
? o1.Domain()
#--> custom

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

aucune extension

Severity

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

Message

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

ViolationMessage

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

Clauses

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

NumberOfClauses

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

exemple composé

o1 = new stzGraphRule("no-llm-effectful-probe")
? o1.NumberOfClauses()
#--> 0

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

aucune extension

Requirements

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

NumberOfRequirements

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

exemple composé

o1 = new stzGraphRule("no-llm-effectful-probe")
? o1.NumberOfRequirements()
#--> 0

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

aucune extension

IsImplication

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

exemple composé

o1 = new stzGraphRule("no-llm-effectful-probe")
? o1.IsImplication()
#--> 0

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

aucune extension

HasChecker

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

exemple composé

o1 = new stzGraphRule("no-llm-effectful-probe")
? o1.HasChecker()
#--> 0

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

aucune extension

Check

the engine bridge --------------------------------------------- Run this rule over a graph. Returns findings in the shared shape: [ [ :rule, :where, :severity, :message ], ... ] (empty = the rule holds)aucune extension

Holds

TRUE when the rule holds (no findings).aucune extension

NumberOfFindings

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

Compile this rule DOWN to an entry in the shared $aGraphRules registry, so the existing engine runs it like any hand-registered rule. The registered function is param-driven and delegates to the SAME matcher Check() uses, so the two faces cannot diverge.QCSXTZZZIBWU

RegistryEntry

The registry entry this rule produces (without registering) -- for inspection and for the equivalence guard.aucune extension

Show

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