stzAgentGraph

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

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

nodes (the capability lattice + taint colours)QCSXTZZZIBWU

(sans commentaire dans la source : le nom se lit comme une phrase) add llm actor 4 exemples exécutés

oGBad = new stzAgentGraph("mailer-bad")
oGBad.AddLLMActor("writer")
oGBad.AddEffect("send")
oGBad.Proposes("writer", "send")
? oGBad.IsSound()
? oGBad.Violations()[1][:message]
#--> 0
#--> effect 'send' has no guardian edge into it -- every effect passes a pi-gate

test de la bibliothèqueQCSXTZZZIBWU

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

(sans commentaire dans la source : le nom se lit comme une phrase) add guardian 2 exemples exécutésQCSXTZZZIBWU

(sans commentaire dans la source : le nom se lit comme une phrase) add effect 4 exemples exécutés

oGBad = new stzAgentGraph("mailer-bad")
oGBad.AddLLMActor("writer")
oGBad.AddEffect("send")
oGBad.Proposes("writer", "send")
? oGBad.IsSound()
? oGBad.Violations()[1][:message]
#--> 0
#--> effect 'send' has no guardian edge into it -- every effect passes a pi-gate

test de la bibliothèqueQCSXTZZZIBWU

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

(sans commentaire dans la source : le nom se lit comme une phrase) add trace sink 2 exemples exécutésQCSXTZZZIBWU

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

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

Nodes whose graph properties no longer match the sealed record: a kind changed, or a capability present that no governed door granted. [ [ node, what, recorded, found ], ... ]aucune extension

edges (the meaning is the label) 4 exemples exécutés

oGBad = new stzAgentGraph("mailer-bad")
oGBad.AddLLMActor("writer")
oGBad.AddEffect("send")
oGBad.Proposes("writer", "send")
? oGBad.IsSound()
? oGBad.Violations()[1][:message]
#--> 0
#--> effect 'send' has no guardian edge into it -- every effect passes a pi-gate

test de la bibliothèqueaucune extension

(sans commentaire dans la source : le nom se lit comme une phrase) guards 2 exemples exécutésaucune extension

(sans commentaire dans la source : le nom se lit comme une phrase) feeds 2 exemples exécutésaucune extension

(sans commentaire dans la source : le nom se lit comme une phrase) traces 2 exemples exécutésaucune extension

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

Violations() below is the AUDIT -- it catches a bad graph after it is built. Grant() is the GATE: the governed way to add a capability, which REFUSES granting 'effectful' to an llm actor at the moment of expression, so the no-llm-effectful violation can never enter the graph through the sanctioned door. (A raw SetNodeProperty still bypasses it -- the audit stays the backstop -- but the composition API refuses.) This is the guardrail moving from audit to gate. TRUE when granting pcCap to pcActor would keep the graph sound w.r.t. no-llm-effectful (a queryable form of the constraint).aucune extension

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

the proof (the three gates + four invariants, via meta/) 1 exemples exécutés

oGBad = new stzAgentGraph("mailer-bad")
oGBad.AddLLMActor("writer")
oGBad.AddEffect("send")
oGBad.Proposes("writer", "send")
? oGBad.IsSound()
? oGBad.Violations()[1][:message]
#--> 0
#--> effect 'send' has no guardian edge into it -- every effect passes a pi-gate

test de la bibliothèqueaucune extension

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

The invariants as a declared stzAgentRuleSet (graph-rules plan, phase 4) -- the SAME four findings as Violations(), plus the stronger effects-dominated rule. Object-based, so a project can add its own agent invariants.aucune extension

The uniform graph-owned verb: this graph checks ITSELF against its guardrails, in the unified finding shape (so an stzRuleReport can Collect it exactly like any other graph). Same findings as the object rule set.aussi écrite: CheckRulesaucune extension

(sans commentaire dans la source : le nom se lit comme une phrase) is sound 2 exemples exécutés

oGBad = new stzAgentGraph("mailer-bad")
oGBad.AddLLMActor("writer")
oGBad.AddEffect("send")
oGBad.Proposes("writer", "send")
? oGBad.IsSound()
? oGBad.Violations()[1][:message]
#--> 0
#--> effect 'send' has no guardian edge into it -- every effect passes a pi-gate

test de la bibliothèqueaucune extension

a readable verdict for the compositionaucune extension