mirror of
https://github.com/cs341-illinois/coursebook.git
synced 2026-10-01 23:54:40 +08:00
Lawrence AngraveandClaude Opus 5
d7f6a38c35
Applies all 30 group-4 recommendations (Opus proposal, amended after an adversarial GLM review): corrects the deadlock theory and proofs (Coffman conditions necessary, not sufficient; a rewritten theorem; the livelock example; Stallings' and Dijkstra's fork indexing), the program-break definition, the 12 KiB page-table total, RAID-3/4/5/10, the glibc quotation, the filesystem write walkthrough, the queueing-theory definitions (service rate, exponential interarrival times), the OSPF/BGP classification, and completes the truncated sentences and questions. Also applies the author's answers: post-mortem lessons that match the corrected Pathfinder and AT&T stories, live plus Wayback links, HTTP/1.1 examples with a paragraph on HTTP/2 and HTTP/3, and a more accurate DNS trust sentence. Fixes the four long-standing undefined citations: the appendix now has its own bibliography, and a brace-less \cite in the EWD310 BibTeX note (which cited the key "E") is replaced with its publication details. future-concerns-for-review.md now lists only the alt-text tooling item (issue #238). Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>