prose: unwind two pseudo-clefts

Revert "opacity: give chapter 1's unbroken block the run-in labels the rest uses"

opacity: give chapter 1's unbroken block the run-in labels the rest uses

bound: attribute the sample-complexity result to its authors

prediction: drop a filler intensifier

extraction: join the contrast instead of breaking it in two

prediction: stop the sentence repeating its own construction

extraction: fix an absolute construction in the fallback rule

prose: cut the sentences that say again what the line above said

bib: complete the AutoGen author list from the paper's bibliography

bib: restore two author lists that had been cut to "and others"

compression: name all nine baselines, and drop two restated numbers

refs: correct the tau2-bench entry, which had the wrong title and the wrong authors

refs: correct four more author lists

refs: correct six author lists that were wrong, not just truncated

datasets: list the eight domains the heading and the table both carry

refs: add the ATBench entry and cite the twelfth dataset row

refs: attribute datasets at first mention in the later sections

conclusion: stop re-quoting two numbers the chapters already gave

baselines: name the methods instead of listing who contributed them

refs: cite the prediction table and the baselines it compares against

datasets: cite the twelve-dataset table

discussion: split three citations off the claims they were not making

opacity: cite ReAct and chain-of-thought, finish the domain sweep, cut a restatement

opacity: let the landscape paragraph follow the problem, and source two claims

refs: source the sample-complexity bound and the merge complexity

styles: stop equations copying twice

discussion: stop restating chapter one, and close without the recap

refs: credit trace-graph analysis and runtime enforcement

related work: cite the neighbours it was leaving out

opacity: unpack two pieces of jargon in place

opacity: open on the paper's own framing of the opacity problem

citation: tighten the footer rows and unify the BibTeX entry

asg: interactive article