Findings()

oOrg = new stzOrgChart("acme")
oOrg.AddExecutivePosition("ceo")
oOrg.AddStaffPosition("rogue")
oOrg.ReportsTo("rogue", "rogue")
oRep = new stzRuleReport("acme")
oRep.Collect(oOrg)             # the org chart checks itself into the gate
# the gate collected orgchart findings
? len(oRep.FindingsOfSubject("orgchart")) >= 1
# ...tagged with :subject = orgchart
? oRep.Findings()[1][:subject]
# ...and the gate is unsound
? oRep.IsSound()

oAG = new stzAgentGraph("bad")
oAG.AddLLMActor("writer")
oAG.AddEffect("send")
oAG.Proposes("writer", "send")
aLegacyAgent = StzCheckAgentGraph(oAG.GraphQ())     # [ :invariant, :node, ... ]
aLegacyCode  = StzCheckCode("class Bag" + nl + "def Len()" + nl + "	return 1" + nl)  # [ :line, ... ]
oRep = new stzRuleReport("mixed")
oRep.IngestLegacy(aLegacyAgent, "agentic")
oRep.IngestLegacy(aLegacyCode, "code")
# legacy findings are normalized into the unified shape
? HasKey(oRep.Findings()[1], :rule) and HasKey(oRep.Findings()[1], :subject) and
	     HasKey(oRep.Findings()[1], :where)
# ...the invariant name became :rule
? len(oRep.Findings()[1][:rule]) > 0
# ...tagged with the given subject
? len(oRep.FindingsOfSubject("agentic")) >= 1
# ...and the code line landed in :where
? len(oRep.FindingsOfSubject("code")) >= 1
# the one gate spans legacy sources too
? oRep.IsSound()