stzAgentGraph

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

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

nodes (the capability lattice + taint colours)QCSXTZZZIBWU

(no comment in the source: the name reads as a sentence) add llm actor 4 examples run

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

library testQCSXTZZZIBWU

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

(no comment in the source: the name reads as a sentence) add guardian 2 examples runQCSXTZZZIBWU

(no comment in the source: the name reads as a sentence) add effect 4 examples run

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

library testQCSXTZZZIBWU

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

(no comment in the source: the name reads as a sentence) add trace sink 2 examples runQCSXTZZZIBWU

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

(no comment in the source: the name reads as a sentence) 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 ], ... ]no extension

edges (the meaning is the label) 4 examples run

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

library testno extension

(no comment in the source: the name reads as a sentence) guards 2 examples runno extension

(no comment in the source: the name reads as a sentence) feeds 2 examples runno extension

(no comment in the source: the name reads as a sentence) traces 2 examples runno extension

(no comment in the source: the name reads as a sentence) escalatesno 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).no extension

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

the proof (the three gates + four invariants, via meta/) 1 examples run

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

library testno extension

(no comment in the source: the name reads as a sentence) rules are soundno 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.no 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.also written: CheckRulesno extension

(no comment in the source: the name reads as a sentence) is sound 2 examples run

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

library testno extension

a readable verdict for the compositionno extension