Files
tegwick 1546ca09bf research: Mathematica Notebooks deep dive; SHARD-WP-0004 T2
Original computational notebook (.nb = a Wolfram expression); confirms
UC-84 notebook page shape is a genus. Refinements: nestable cell groups
(outline tree), structured re-evaluable outputs (new opacity point).
Manipulate/Dynamic = snapshot-only. Enrichment-only (UC-84/54/55).
Marks T2 done.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
2026-06-14 23:45:45 +02:00
..

260614 — Mathematica Notebooks deep dive

Date: 2026-06-14 · Source: SHARD-WP-0004 T2

What this is

A deep dive into Wolfram Mathematica Notebooks — the original computational notebook (1988), the ancestor Jupyter descends from. The .nb document is itself a Wolfram Language expression (Notebook[{Cell[…], …}]) with nested cell groups, kernel evaluation (In/Out), structured (symbolic/graphics) results, live Manipulate/Dynamic widgets, and CDF as a reduced-runtime distribution projection.

Why it matters

  • Confirms the notebook page shape (UC-84) is a genus, not a Jupyter quirk: cells + cached outputs + fragile counter provenance + kernel-gated re-execution predate .ipynb.
  • Two refinements: notebooks have nestable cell groups (an outline tree), not just an ordered list; outputs can be structured re-evaluable values, not only MIME blobs → adds a "structured re-evaluable value" point to the content-opacity spectrum.
  • Manipulate/Dynamic join the static-projection-impossible end (snapshot-only) — foreshadows Strudel (T5).

Yield

  • No new UC (lineage/reinforcement). Reinforces UC-84; enriches UC-54, UC-55; links UC-34, UC-83.

Contents

Path Role
findings.md .nb expression/cell model, evaluation & provenance, CDF, capability delta vs Jupyter, INTENT mapping, UC disposition (enrichment-only), architecture notes