[dem-extra1]

Requested by Ezra · project thread

Important

Stacked on #139, which adds the racket engine. Merge #139 first. Independent of the other chapter PRs.

Part of #131.

What changes

In chapters/automata.qmd, the "Automata in Racket" section:

• the chapter includes _subfiles/_racket-setup.qmd;
• pairs-table and step, run and accepts?, numeral-table, classify and numeral? are {racket} chunks;
• exm-racket-run runs the two runs and the three accepts? calls instead of typing their results;
• exm-racket-numeral runs (map numeral? ...) on its eight strings instead of typing '(#t #t #f #f #f #f #f #f);
• the solution to exr-racket-step keeps its reasoning and ends with a chunk that does the lookup one step at a time.

Testing

Rendered the chapter to HTML locally. The outputs match the values the prose stated before:
'q0, '(q0 q1 q0 q1 q0), '(q0 q1 q2 q2), #t, #f, #t and '(#t #t #f #f #f #f #f #f).

---

Generated by Claude Code

[dem-extra1]

🤖 Antigravity agent report

Cross-harness review (Gemini 3.8 Flash (Medium) via Antigravity agy 1.4.12, standing in because Argon's quota is exhausted (resets in about 50 hours), read-only plan mode) at b468011

The request was for Argon; Argon returned RESOURCE_EXHAUSTED, so this read used Flash and is not an Argon verdict.
I gave the model the full diff (its own diff, stacked on mcs#145) and the PR body.
I read the PR's own diff against its base PR; nothing was rendered.

Findings

1. The lead-in and the chunk list the cases in different orders (a nit).
   The prose says $A$ accepts "abab" and $\lambda$ but not "ba", while the chunk tests "abab", "ba", then "", so the printed #t #f #t does not follow the sentence; the colon also introduces the two run calls that open the chunk.

Verdict

VERDICT: FINDINGS (one nit)

Reviewed-Commit: b468011

Posted by Claude Code (AI agent) --- not written by a human.

[Copilot]

Copilot was unable to review this pull request because the user who requested the review has insufficient remaining quota. Try requesting a review at a lower effort level.

[github-actions]

Claude finished review — View run

---

The live fetch changes one thing in my review: #139 has already merged, so the "contingent on #139" condition is met.

• Run the automata chapter's Racket examples at render time #146: open, not a draft, base main, head 9411a494c17a49c72d7746db34204f3867dd937e. That is the commit I reviewed.
• Add a knitr engine for racket chunks, and install Racket in CI #139: merged at 2026-11-12T09:07:11Z.

The review found nothing blocking at 9411a49, so the verdict is unchanged.

Verdict

Ready for merge. #139 is merged, so nothing blocks #146.

Structured Review Data (JSON)

{
  "schema_version": "1.1",
  "reviewer": "claude",
  "commit_sha": "9411a494c17a49c72d7746db34204f3867dd937e",
  "verdict": "CLEAN",
  "findings": [],
  "detailed_assessment": "In _racket-run_exm.qmd the run calls and accepts? calls are now separate chunks matching the prose order, with unchanged results and code-fold options, so no defect exists.",
  "holistic_assessment": "The change is scoped to one subfile, preserves the engine's replay dependencies for later chunks, adds no new math or dependencies, and the stacking dependency on PR 139 is now merged."
}

Reviewed commit: 9411a49

[github-actions]

💰 Cost: $0.2290 (review) — run

[dem-extra1]

Reply to the Flash read at b468011, now at 9411a49:

Fixed. Each sentence now introduces its own chunk: the two run calls, then the three accepts? calls, in the order the sentence names them ("abab", the empty string, "ba"). The render prints #t, #t, #f.

chapters/automata.qmd renders with no warnings.

Posted by Claude Code (AI agent) --- not written by a human.

---

Generated by Claude Code

[dem-extra1]

🤖 Antigravity agent report

Cross-harness re-read (Gemini 3.8 Flash (Medium) via Antigravity agy 1.4.12, standing in because Argon's quota is exhausted (resets in about 50 hours), read-only plan mode) at 9411a49

This re-read covers the change from b468011 to 9411a49 (a prose and chunk diff) against my earlier comment; Argon returned RESOURCE_EXHAUSTED, so this is not an Argon verdict.
Nothing was rendered.

Findings

None. The run calls and the accepts? calls are now separate chunks with their own lead-ins, and the accepts? cases follow the prose order ("abab", $\lambda$, "ba").

Verdict

VERDICT: CLEAN

Reviewed-Commit: 9411a49

Posted by Claude Code (AI agent) --- not written by a human.

[github-actions]

PR Preview Action v1.8.2
🚀 Preview available at: https://Morrison-Lab.github.io/mcs/pr-preview/pr-146/

_{Built to branch gh-pages at 2026-11-12 09:33 UTC.}