Gate findings
Blockers and optimization advisoriesRun an analysis to inspect the graph contract.
Design bounded loops as nodes, keep only real dependencies, surface hidden resource conflicts, count every fan-in, and require outside evidence before an outcome can move forward.
Freeze scope, authority, structured inputs, outputs, budgets, and expected artifacts.
Parallelize only work that is independent in both data and shared resources.
Count every expected result, preserve dissent, deduplicate deterministically.
Use fresh context and outside evidence; never let the maker grade its own work.
Require policy, human approval, protected controls, and a receipt before any write.