VerilogixOS

Bounded actors

Agents

Each agent runs with an explicit allow-list; anything not granted is denied and recorded.

Discovery Agent

Allowed

extract_knownsgenerate_questionsupdate_domain_scores

Forbidden

create_projectapprovewrite_evidencemodify_rules
Evidence Agent

Allowed

attach_evidenceclassify_evidencelink_truth_to_source

Forbidden

create_projectevaluate_rulesapprovemodify_rules
Reporting Agent

Allowed

summarize_sessiongenerate_report

Forbidden

create_projectmodify_session_scoresattach_evidenceapproveevaluate_rules
Validation Agent

Allowed

evaluate_rulesrecord_validation

Forbidden

create_projectmodify_session_scoresgenerate_questionsapprove