[dem-extra1]

Requested by Ezra · project thread

Important

Stacked on #140, which is stacked on #139. Merge #139, then #140, then this one. Its chunks use twice and add-three, which #140 makes runnable.

Part of #131.

What changes

The second half of chapters/functional-programming.qmd:

• exm-map-filter shows (list 5 7 9), (map add-three ...) and (filter even? ...) as chunk output instead of typed values;
• exr-spread shows (apply + (list 2 7 6)) and (+ 2 7 6) as chunk output;
• pair-with, adder, roots and the solution's spread are {racket} chunks;
• exm-adder lists the three ways its calls use adder as a bullet list, then runs them, instead of typing their values;
• exm-quadratic-roots runs (roots 1 -3 2);
• the solutions to exr-spread and exr-pair-with end with "Racket returns the same values:" and a chunk.

The lambda and let syntax templates stay plain fences.

Testing

Rendered the chapter to HTML and revealjs locally. The outputs match the prose:
'(5 7 9), '(8 10 12), '(6 8), 15, 9, 8, 49, '(2 4 6), '((1 "a") (2 "a") (3 "a")), 7, 16, '(6 8 10), '(2 1).
The PDF check is the preview's (see #140).

---

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 a86ee62

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#140) and the PR body.
I read the PR's own diff against its base PR; nothing was rendered.

Findings

1. One bullet links [map](#exm-map-filter) where its neighbour uses @exr-twice (a style nit).
   #exm-map-filter is in the same chapter, so the link resolves; @exm-map-filter would match the chapter's usual form.
2. "Racket returns the same values:" in _spread_sol.qmd covers a value the prose never states (a nit).
   The solution derives 9, but the chunk also runs spread on (list 4 -1 7 2), whose 8 the text does not give.

Verdict

VERDICT: FINDINGS (two nits)

Reviewed-Commit: a86ee62

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

[dem-extra1]

Replies to the Flash read at a86ee62:

1. Fixed in c0519f6. The adder example's bullet now reads "passed to map from @exm-map-filter", which renders as "Example 3", matching the @exr-twice bullet above it.
2. Rebutted. _spread_sol.qmd states both values the chunk prints. Item 1 gives 9 for (apply max (list 3 9 2)). Item 3 gives $7 - (-1) = 8$ for (spread (list 4 -1 7 2)). So "Racket returns the same values" covers both.

The head also merges #140's nit fix (094f73f). chapters/functional-programming.qmd renders to HTML with no warnings.

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

---

Generated by Claude Code

[github-actions]

Claude finished review — View run

---

I fetched the state of #139, #140 and #141 again just now. It matches my last message.

• Run the functional-programming chapter's Racket examples (first half) #140 is open and unmerged, with head 094f73fd19193d9888fc3f1f48e779bc1614b7ef. Run the functional-programming chapter's Racket examples (second half) #141 is stacked on it, so Run the functional-programming chapter's Racket examples (first half) #140 should merge first.
• Add a knitr engine for racket chunks, and install Racket in CI #139 is a pull request, not an issue. It merged at 2026-11-12T09:07:11Z, so nothing in it is still pending. I didn't read its 16 comments, because nothing in my review depends on them.
• Run the functional-programming chapter's Racket examples (second half) #141 is unchanged from my last check: open, head c0519f6120cd6f13a96be4c25989b95dbaafc939. Its two prose-only commits have no findings.

Verdict

Ready for merge, once #140 merges first.

Structured Review Data (JSON)

{
  "schema_version": "1.1",
  "reviewer": "claude",
  "commit_sha": "c0519f6120cd6f13a96be4c25989b95dbaafc939",
  "verdict": "CLEAN",
  "findings": [],
  "detailed_assessment": "The two prose-only changes in _absolute-value_exm.qmd and _adder_exm.qmd render correctly, and the exm-map-filter cross-reference resolves.",
  "holistic_assessment": "No Racket code changed in this range, scope stays within the stacked functional-programming conversion, and live state shows 139 merged and 140 still open."
}

Reviewed commit: c0519f6

[github-actions]

💰 Cost: $0.2580 (review) — run

[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 c0519f6

This re-read covers the change from a86ee62 to c0519f6 (a prose diff) against my earlier comment; Argon returned RESOURCE_EXHAUSTED, so this is not an Argon verdict.
I gave the model the owner's reply and checked it against _spread_sol.qmd at this head.

Findings

None. The map link now uses the chapter's cross-reference form. I accept the rebuttal of my second nit and withdraw it: item 3 of _spread_sol.qmd says (spread (list 4 -1 7 2)) returns 7 - (-1) = 8, so the chunk shows no value the prose leaves out.

Verdict

VERDICT: CLEAN

Reviewed-Commit: c0519f6

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-141/

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