1# Brief — Agent G (Theory Specialist), Phase 523Scope: algorithms and data structures, computational complexity, programming languages, compilers, formal verification, software engineering. Area directories: theory+software_pl. Manuscript target: Part VII — Theory, Algorithms, and Security (theory half) (file manuscript/sections/part07_theory_security.tex — you write the4disciplinary synthesis there; for Part VII the two specialists write separate files part07a_theory.tex / part07b_security.tex5that the director merges). Follow agents/briefs/SPECIALIST_REVIEW_TEMPLATE.md and agents/briefs/WRITER_COMMON.md.6Inputs: literature_synthesis/landmarks/<area>_landmarks.csv and <area>_abstracts.jsonl for your areas; results/graph/category_counts_yearly.csv,7category_flows_yearly.csv, results/bibliometrics/cagr_by_category.csv, results/econometrics/breaks.csv (rows cat_<id>), results/emerging/*.csv,8data/processed/graph/extraction/extractions_*.jsonl (knowledge-graph extractions with provenance, if present), manuscript/references_all.bib.9Deliverables: literature_synthesis/<agent_dir>/{claims.csv, contributions.csv, review.md, open_problems.csv} AND the LaTeX section10(20–35 pages) that turns review.md into manuscript prose with \citep keys (verify new ones), figures/tables referenced by label11(do not create figures; list the ones you need in your report), numbers only through macros of manuscript/tables/numbers.tex12or by citing the result file in a footnote when no macro exists. Distinguish established / contested / speculative; never call a13preprint peer-reviewed; abstracts are not full texts. Budget: ≤ 25 lines report at the end.14