AIAC-TR-2026-02: Deterministic State Verification in Multi-Agent Code Review Graphs

Sneha B., Esha N., Farhan A.

AIAC Technical Report Series · 2026-03-10

Abstract

Formal state-machine specifications and guardrail schemas for preventing infinite recursive tool-calls in LangGraph multi-agent triage workflows. Demonstrates 100% loop termination across 150 automated test pull request submissions with verifiable Pydantic schema validation.

Cite this Work

@techreport{aiac_tr_2026_02,
  title = {AIAC-TR-2026-02: Deterministic State Verification in Multi-Agent Code Review Graphs},
  author = {Sneha B., Esha N., Farhan A.},
  institution = {AI & Analytics Club Research Division},
  year = {2026},
  url = {https://aiac.siddharthgupta.com.np/outputs/tr-2026-02}
}

License & Open Access

Distribution: This work is released under CC BY 4.0 / MIT. You are free to share and adapt the material provided appropriate attribution is credited to AIAC and original student authors.