@maniclang/workbench 0.1.11

package/examples/textbook-geometry-dimension-reduction.manic

@@ -0,0 +1,129 @@
+// ============================================================================
+// textbook-geometry-dimension-reduction.manic
+// Sphere → central cross-section → circle → diameter (3D → 2D → 1D).
+// Geo kit: point, circle2, linecircle, segment, midpoint.
+// ============================================================================
+
+title("Dimension Reduction — From Sphere to Diameter");
+canvas("9:16");
+template("blueprint");
+watermark(manicMark,(220,175),"Made With Manic");
+creator(me,"@anish2good name=Manic_Geometry tagline=Textbooks_in_motion yt=zarigatongy x=@anish2good web=8gwifi.org/manic accent=cyan secondary=magenta footer=social safe=reels");
+socials(me);
+
+text(kicker,(540,164),"GEOMETRY BY DIMENSION"); size(kicker,21); bold(kicker); color(kicker,cyan); hidden(kicker);
+text(headline,(540,228),"A sphere hides a circle — and a line"); size(headline,36); bold(headline); hidden(headline);
+text(phase,(540,300),"3D · BEGIN WITH A SPHERE"); size(phase,23); bold(phase); color(phase,gold); hidden(phase);
+text(narration,(540,1328),"A sphere extends in three independent directions."); size(narration,26); bold(narration); wrap(narration,850); hidden(narration);
+text(principle,(540,1392),"Its radius is 3 units in every direction."); size(principle,20); color(principle,dim); hidden(principle);
+equation(formula,(540,1488),`x^2+y^2+z^2=\textcolor{gold}{3^2}`,43); hidden(formula);
+text(takeaway,(540,1572),"FIX A COORDINATE · LOSE A DIMENSION · KEEP THE MEASURE"); size(takeaway,18); bold(takeaway); color(takeaway,gold); hidden(takeaway);
+
+// Settled isometric composition of the complete sphere inside the Creator
+// media region. Starting here prevents an opening camera correction.
+camera3((40.05,-39.35,23.41),(3.15,-2.45,-6.79),40);
+
+sphere3(solid,(0,0,0),3); color(solid,blue); hidden(solid); tag(solid,spatial);
+finish3(solid,"material=glass shading=smooth mesh=0.25 depth=0.36 shadow=0.16");
+
+// A thin xz-plane begins outside the sphere and travels to y=0.
+cube3(slicePlane,(0,-5,0),(7,0.08,7)); color(slicePlane,magenta); hidden(slicePlane); tag(slicePlane,spatial);
+finish3(slicePlane,"material=glass shading=flat mesh=0.10 depth=0.18 shadow=0.06");
+curve3(greatCircle,"3*cos(t)","0","3*sin(t)",(0,6.2832)); color(greatCircle,magenta); thick(greatCircle,0.065); untraced(greatCircle); hidden(greatCircle); tag(greatCircle,spatial);
+
+// Screen-space geo construction aligned with the settled front projection.
+let gx=518;
+let gy=890;
+let gr=145;
+
+point(O,(gx,gy),"O"); hidden(O); hidden(O.label);
+point(A,(gx+gr,gy),"R"); hidden(A); hidden(A.label);
+circle2(section,O,A); color(section,magenta); stroke(section,4); untraced(section);
+segment(radius2d,O,A); color(radius2d,gold); stroke(radius2d,4); untraced(radius2d);
+
+// Two hidden points define a horizontal secant. The geo kit computes its exact
+// circle intersections `ends0` and `ends1`, then derives their midpoint M.
+point(lineLeft,(gx-gr-55,gy)); hidden(lineLeft);
+point(lineRight,(gx+gr+55,gy)); hidden(lineRight);
+linecircle(ends,lineLeft,lineRight,O,A);
+hidden(ends0); hidden(ends1);
+label(ends0,"A",(-18,-22)); hidden(ends0.label);
+label(ends1,"B",(18,-22)); hidden(ends1.label);
+segment(diameter,ends0,ends1); color(diameter,cyan); stroke(diameter,6); untraced(diameter);
+midpoint(M,ends0,ends1); color(M,lime); hidden(M);
+label(M,"M",(0,-24)); hidden(M.label);
+
+step("the full three dimensional object") {
+  seq {
+    par { show(kicker,0.35); show(headline,0.55); show(phase,0.40); show(narration,0.45); show(principle,0.40); show(formula,0.55); }
+    show(solid,0.85);
+    par { pulse(solid,0.85); roll3(4,1.45,smooth); }
+    wait(0.70);
+  }
+}
+
+step("fix one coordinate with a plane") {
+  seq {
+    par {
+      say(phase,"3D → 2D · TAKE A CENTRAL SLICE",0.45,smooth);
+      say(narration,"Move a plane to the centre and fix y=0.",0.55,smooth);
+      say(principle,"Only points shared by the sphere and plane survive.",0.50,smooth);
+      rewrite(formula,`y=0\quad\Longrightarrow\quad x^2+z^2=\textcolor{gold}{3^2}`,1.05,smooth);
+      show(slicePlane,0.35);
+    }
+    par {
+      shift3(slicePlane,(0,5,0),2.10,smooth);
+      show(greatCircle,0.25); draw(greatCircle,2.10,smooth);
+    }
+    par { pulse(greatCircle,0.75); to(solid,opacity,0.04,0.65,smooth); fade(slicePlane,0.65); }
+    // A generous margin makes the spatial circle settle at the same on-screen
+    // radius as the following geo-kit circle, avoiding a dimensional size jump.
+    view3(greatCircle,"front",1.65,smooth,3.10);
+    wait(0.60);
+  }
+}
+
+step("the cross section becomes a geo circle") {
+  seq {
+    par {
+      say(phase,"2D · THE GREAT CIRCLE",0.45,smooth);
+      say(narration,"The surviving cross-section is a circle of radius 3.",0.55,smooth);
+      say(principle,"The geo kit binds the circle to centre O and radius point R.",0.50,smooth);
+      rewrite(formula,`x^2+z^2=9\quad\Longleftrightarrow\quad r=\textcolor{gold}{3}`,1.00,smooth);
+      fade(greatCircle,0.85);
+      draw(section,1.30,smooth);
+    }
+    par { show(O,0.25); show(O.label,0.25); show(A,0.25); show(A.label,0.25); draw(radius2d,0.85,smooth); }
+    par { pulse(section,0.75); pulse(radius2d,0.75); }
+    wait(0.70);
+  }
+}
+
+step("a line finds the diameter") {
+  seq {
+    par {
+      say(phase,"2D → 1D · INTERSECT WITH A LINE",0.45,smooth);
+      say(narration,"A line through the centre meets the circle at exactly two points.",0.55,smooth);
+      say(principle,"The constructed segment AB is the circle's widest chord.",0.50,smooth);
+      rewrite(formula,`AB=2r=2(3)`,0.95,smooth);
+    }
+    par { show(ends0,0.25); show(ends1,0.25); show(ends0.label,0.25); show(ends1.label,0.25); draw(diameter,1.35,smooth); }
+    par { fade(radius2d,0.45); fade(A,0.35); fade(A.label,0.35); show(M,0.30); show(M.label,0.30); pulse(M,0.70); }
+    wait(0.70);
+  }
+}
+
+step("only one measurable direction remains") {
+  seq {
+    par {
+      show(takeaway,0.45);
+      say(phase,"1D · THE DIAMETER",0.50,smooth);
+      say(narration,"Remove the surrounding circle. One segment—and one length—remains.",0.55,smooth);
+      say(principle,"3D sphere → 2D section → 1D diameter",0.55,smooth);
+      rewrite(formula,`\boxed{AB=\textcolor{gold}{6}\text{ units}}`,1.05,smooth);
+      fade(section,0.75); fade(O,0.40); fade(O.label,0.40);
+    }
+    par { pulse(diameter,0.90); pulse(formula,0.90); }
+    wait(2.00);
+  }
+}

package/examples/textbook-incline-fbd.manic

@@ -0,0 +1,43 @@
+// ============================================================================
+//  textbook-incline-fbd.manic  —  the free-body diagram, textbook style
+// ----------------------------------------------------------------------------
+//  A block on an incline shown the classic physics-class way: the physical
+//  picture on the left with the force vectors ON the block (via the reusable
+//  `forces(id)` view on the `ramp` sim — gravity `mg`, normal `N`, friction `f`,
+//  and the acceleration `a`), and a free-body-diagram panel on the right drawing
+//  the same forces from a single point. `template("paper")` inks it; then `run`
+//  plays the slide with the vectors riding the block.
+// ============================================================================
+
+title("Block on an incline — the free-body diagram");
+canvas("16:9");
+template("paper");
+
+text(hdr, (cx, 42), "Block on an incline — the free-body diagram"); color(hdr, fg); size(hdr, 24); bold(hdr); display(hdr);
+
+// left: the incline sim, inked; its force vectors revealed by forces()
+ramp(rp, (170, 470), 30);
+outlined(rp.block); outline(rp.block, fg);
+
+// right: the free-body diagram — the same four forces from one point
+dot(o, (1000, 330), 6); color(o, fg);
+text(fbdT, (1000, 205), "free-body diagram"); color(fbdT, dim); size(fbdT, 16); display(fbdT);
+arrow(aN, (1000, 330), (955, 252)); color(aN, lime); stroke(aN, 3);
+text(lN, (944, 240), "N"); color(lN, lime); size(lN, 18); display(lN);
+arrow(af, (1000, 330), (1078, 285)); color(af, magenta); stroke(af, 3);
+text(lf, (1086, 280), "f"); color(lf, magenta); size(lf, 18); display(lf);
+arrow(ag, (1000, 330), (1000, 440)); color(ag, blue); stroke(ag, 3);
+text(lg, (1010, 448), "mg"); color(lg, blue); size(lg, 18); display(lg);
+arrow(aa, (1000, 330), (930, 372)); color(aa, red); stroke(aa, 3);
+text(la, (908, 380), "a"); color(la, red); size(la, 18); display(la);
+
+text(cap, (cx, h - 34), ""); color(cap, fg); size(cap, 19); display(cap);
+
+// ============================== SCRIPT ==============================
+say(cap, "three forces act on the block: gravity, the normal force, and friction", 0.4);
+forces(rp, 0.9);
+wait(1.0);
+say(cap, "drawn from a single point, they make the free-body diagram →", 0.4);
+wait(0.9);
+say(cap, "their sum points down the slope, so the block accelerates and slides", 0.4);
+run(rp, 5);

package/examples/textbook-length-area-volume.manic

@@ -0,0 +1,137 @@
+// ============================================================================
+// textbook-length-area-volume.manic — centimetres, square centimetres, cubes
+// ============================================================================
+
+title("Length, Area, Volume — Why the Units Change");
+canvas("9:16");
+template("blueprint");
+watermark(manicMark, (220, 175), "Made With Manic");
+creator(me, "@anish2good name=Manic_Math tagline=Textbooks_in_motion yt=zarigatongy x=@anish2good web=8gwifi.org/manic accent=cyan secondary=magenta footer=social safe=reels");
+socials(me);
+
+text(kicker, (540,164), "THE MEASUREMENT LADDER"); size(kicker,21); bold(kicker); color(kicker,cyan); hidden(kicker);
+text(headline, (540,228), "Why units become squared, then cubed"); size(headline,36); bold(headline); hidden(headline);
+text(phase, (540,300), "1D · MEASURE LENGTH"); size(phase,23); bold(phase); color(phase,gold); hidden(phase);
+text(narration, (540,1328), "A ruler counts how many unit segments fit along one direction."); size(narration,26); bold(narration); wrap(narration,850); hidden(narration);
+text(principle, (540,1388), "One direction · centimetres"); size(principle,20); color(principle,dim); hidden(principle);
+equation(measure, (540,1480), `L=\textcolor{cyan}{6}\text{ cm}`, 40); hidden(measure);
+text(takeaway, (540,1560), "THE UNIT CHANGES BECAUSE THE NUMBER OF DIRECTIONS CHANGES"); size(takeaway,18); bold(takeaway); color(takeaway,gold); hidden(takeaway);
+
+// This is the settled `view3(length,"front",...,1.65)` composition: the
+// opening line is already inside the Creator media region, so frame one moves
+// the mathematics rather than jolting the camera into place.
+camera3((0.26,-33.6,-4.14),(0.26,-2,-4.14),40);
+
+line3(length, (-3,-2,0), (3,-2,0)); color(length,cyan); thick(length,0.07); untraced(length); tag(length,areaSkin);
+point3(start, (-3,-2,0),0.15); color(start,fg); hidden(start);
+point3(finish, (3,-2,0),0.15); color(finish,fg); hidden(finish);
+point3(lengthMid, (0,-2,0),0.01); hidden(lengthMid);
+text(lengthLabel,(0,0),"6 cm"); size(lengthLabel,22); bold(lengthLabel); color(lengthLabel,cyan); hidden(lengthLabel); pin3(lengthLabel,lengthMid);
+
+// Six visible unit segments sit directly on the measured line.
+for i in 0..6 {
+  line3(unit{i}, (-3+i,-2,0.10), (-2+i,-2,0.10));
+  color(unit{i},gold); thick(unit{i},0.035); untraced(unit{i}); hidden(unit{i}); tag(unit{i},units1d); tag(unit{i},areaSkin);
+}
+
+// The measured line sweeps four centimetres sideways to create 24 unit squares.
+cube3(areaSheet, (0,0,0), (6,4,0.08)); color(areaSheet,blue); hidden(areaSheet); tag(areaSheet,areaSkin);
+finish3(areaSheet,"material=glass shading=flat mesh=0.20 depth=0.25 shadow=0.10");
+line3(areaBase,(-3,-2,0),(3,-2,0)); color(areaBase,cyan); thick(areaBase,0.05); hidden(areaBase); tag(areaBase,areaSkin);
+for i in 1..4 {
+  let yy=-2+i;
+  line3(areaRow{i},(-3,yy,0.05),(3,yy,0.05)); color(areaRow{i},magenta); thick(areaRow{i},0.025); untraced(areaRow{i}); hidden(areaRow{i}); tag(areaRow{i},areaGrid); tag(areaRow{i},areaSkin);
+}
+for i in 0..7 {
+  let xx=-3+i;
+  line3(areaCol{i},(xx,-2,0.05),(xx,2,0.05)); color(areaCol{i},cyan); thick(areaCol{i},0.025); untraced(areaCol{i}); hidden(areaCol{i}); tag(areaCol{i},areaGrid); tag(areaCol{i},areaSkin);
+}
+point3(widthMid,(-3,0,0),0.01); hidden(widthMid);
+text(widthLabel,(0,0),"4 cm"); size(widthLabel,22); bold(widthLabel); color(widthLabel,magenta); hidden(widthLabel); pin3(widthLabel,widthMid);
+
+// The complete square-unit sheet rises three centimetres and leaves 72 cubes.
+cube3(volumeBox,(0,0,1.5),(6,4,3)); color(volumeBox,blue); hidden(volumeBox);
+finish3(volumeBox,"material=glass shading=flat mesh=0.48 depth=0.34 shadow=0.16");
+line3(height0,(-3,-2,0),(-3,-2,3)); color(height0,lime); thick(height0,0.06); untraced(height0); hidden(height0); tag(height0,heightEdges);
+line3(height1,(3,-2,0),(3,-2,3)); color(height1,lime); thick(height1,0.06); untraced(height1); hidden(height1); tag(height1,heightEdges);
+line3(height2,(-3,2,0),(-3,2,3)); color(height2,lime); thick(height2,0.06); untraced(height2); hidden(height2); tag(height2,heightEdges);
+line3(height3,(3,2,0),(3,2,3)); color(height3,lime); thick(height3,0.06); untraced(height3); hidden(height3); tag(height3,heightEdges);
+point3(heightMid,(3,2,1.5),0.01); hidden(heightMid);
+text(heightLabel,(0,0),"3 cm"); size(heightLabel,22); bold(heightLabel); color(heightLabel,lime); hidden(heightLabel); pin3(heightLabel,heightMid);
+
+step("count one direction") {
+  seq {
+    par { show(kicker,0.35); show(headline,0.55); show(phase,0.40); show(narration,0.45); show(principle,0.40); show(measure,0.50); }
+    par { show(start,0.25); show(finish,0.25); draw(length,1.25,smooth); show(lengthLabel,0.35); }
+    par {
+      stagger(0.10) { for i in 0..6 { show(unit{i},0.10); } }
+      stagger(0.10) { for i in 0..6 { draw(unit{i},0.35,smooth); } }
+    }
+    wait(0.60);
+  }
+}
+
+step("sweep out area") {
+  seq {
+    par {
+      say(phase,"2D · COUNT UNIT SQUARES",0.45,smooth);
+      say(narration,"Move the six-centimetre length through four new centimetres.",0.55,smooth);
+      say(principle,"Two perpendicular directions · square centimetres",0.45,smooth);
+      rewrite(measure,`A=\textcolor{cyan}{6}\times\textcolor{magenta}{4}=\textcolor{gold}{24}\text{ cm}^2`,1.10,smooth);
+      fade(start,0.30); fade(finish,0.30);
+      view3(areaSheet,"isometric",1.25,smooth,1.48);
+    }
+    par {
+      shift3(units1d,(0,4,0),2.60,smooth);
+      shift3(length,(0,4,0),2.60,smooth);
+      show(areaBase,0.15);
+      to(areaSheet,opacity,0.15,2.60,smooth);
+      show(widthLabel,0.35);
+      stagger(0.07) { for i in 1..4 { show(areaRow{i},0.10); } for i in 0..7 { show(areaCol{i},0.10); } }
+      stagger(0.07) { for i in 1..4 { draw(areaRow{i},0.55,smooth); } for i in 0..7 { draw(areaCol{i},0.55,smooth); } }
+    }
+    wait(0.70);
+  }
+}
+
+step("see twenty four squares") {
+  seq {
+    say(narration,"Six columns by four rows: the floor contains 24 unit squares.",0.50,smooth);
+    par { pulse(areaGrid,0.75); pulse(areaSheet,0.75); }
+    wait(0.75);
+  }
+}
+
+step("stack into volume") {
+  seq {
+    par {
+      say(phase,"3D · STACK UNIT CUBES",0.45,smooth);
+      say(narration,"Lift the complete 24-square layer through three centimetres.",0.55,smooth);
+      say(principle,"Three perpendicular directions · cubic centimetres",0.45,smooth);
+      rewrite(measure,`V=\textcolor{gold}{24}\times\textcolor{lime}{3}=\textcolor{gold}{72}\text{ cm}^3`,1.10,smooth);
+      fade(lengthLabel,0.30); fade(widthLabel,0.30);
+    }
+    par {
+      shift3(areaSkin,(0,0,3),2.70,smooth);
+      to(volumeBox,opacity,0.17,2.70,smooth);
+      show(heightEdges,0.15); draw(heightEdges,2.55,smooth);
+      show(heightLabel,0.35);
+      view3(volumeBox,"isometric",2.70,smooth,1.50);
+    }
+    wait(0.70);
+  }
+}
+
+step("the measurement ladder") {
+  seq {
+    par {
+      show(takeaway,0.45);
+      say(phase,"LENGTH → AREA → VOLUME",0.50,smooth);
+      say(narration,"The number is not merely larger. The kind of unit has changed.",0.55,smooth);
+      say(principle,"cm measures a path · cm² tiles a surface · cm³ fills space",0.55,smooth);
+      view3(volumeBox,"fit",1.80,smooth,1.58);
+    }
+    par { pulse(volumeBox,0.85); pulse(heightEdges,0.85); roll3(3,1.60,smooth); }
+    wait(2.10);
+  }
+}

package/examples/textbook-matrix-inverses.manic

@@ -0,0 +1,172 @@
+// ============================================================================
+// textbook-matrix-inverses.manic
+// Two textbook inverse proofs, animated as structural shortcuts:
+//   (i) orthogonal columns give A^T A = I;
+//  (ii) a finite-order matrix gives A^3 = I.
+// ============================================================================
+
+title("Two Matrix Inverse Proofs — See the Structure");
+canvas("9:16");
+template("paper");
+watermark(manicMark,(220,175),"Made With Manic");
+creator(me,"@anish2good name=Manic_Algebra tagline=Textbooks_in_motion yt=zarigatongy x=@anish2good web=8gwifi.org/manic accent=cyan secondary=magenta footer=social safe=reels");
+socials(me);
+
+text(kicker,(540,150),"MATRICES · INVERSES · STRUCTURE");
+size(kicker,21); bold(kicker); color(kicker,cyan); hidden(kicker);
+
+text(headline,(540,218),"Two proofs without row reduction");
+size(headline,38); bold(headline); hidden(headline);
+
+text(part,(540,300),"(i)  TEST THE COLUMNS");
+size(part,23); bold(part); color(part,gold); hidden(part);
+
+rect(stage,(540,805),930,930);
+color(stage,panel); outline(stage,dim); opacity(stage,0.72); hidden(stage);
+
+equation(given,(540,500),
+  `A=\frac{1}{9}\begin{bmatrix}-8&1&4\\4&4&7\\1&-8&4\end{bmatrix}`,
+  40);
+hidden(given);
+
+equation(work,(540,800),`A^{-1}\stackrel{?}{=}A^{\mathsf T}`,48);
+hidden(work);
+
+text(reason,(540,1095),"The inverse appears when a product becomes the identity.");
+size(reason,24); wrap(reason,820); color(reason,dim); hidden(reason);
+
+line(rule,(170,1235),(910,1235));
+color(rule,cyan); stroke(rule,2); dashed(rule,12,9); opacity(rule,0.32);
+untraced(rule);
+
+equation(summary,(540,1435),
+  `\boxed{A^{\mathsf T}A=I\Rightarrow A^{-1}=A^{\mathsf T}}`,
+  39);
+hidden(summary);
+
+text(takeaway,(540,1540),"LOOK FOR A SHORT PRODUCT THAT RETURNS TO I");
+size(takeaway,18); bold(takeaway); color(takeaway,gold); hidden(takeaway);
+
+step("read the two inverse claims") {
+  seq {
+    par {
+      show(kicker,0.35); show(headline,0.55); show(part,0.40);
+      show(stage,0.45); draw(rule,0.75); show(reason,0.40);
+    }
+    show(given,0.65);
+    show(work,0.55);
+    wait(0.85);
+  }
+}
+
+step("factor out the scale") {
+  seq {
+    say(reason,"Write A = M/9. Then ask whether M-transpose times M equals 81I.",0.50,smooth);
+    rewrite(work,
+      `M=\begin{bmatrix}-8&1&4\\4&4&7\\1&-8&4\end{bmatrix},\qquad A=\frac{1}{9}M`,
+      1.05,smooth);
+    wait(0.70);
+  }
+}
+
+step("recognize orthogonal columns") {
+  seq {
+    say(reason,"Every column has squared length 81, and distinct columns have dot product 0.",0.55,smooth);
+    rewrite(work,
+      `\begin{aligned}
+      \|c_1\|^2&=64+16+1=81\\
+      \|c_2\|^2&=1+16+64=81\\
+      \|c_3\|^2&=16+49+16=81
+      \end{aligned}`,
+      1.10,smooth);
+    wait(0.55);
+    rewrite(work,
+      `\begin{aligned}
+      c_1^{\mathsf T}c_2&=-8+16-8=0\\
+      c_1^{\mathsf T}c_3&=-32+28+4=0\\
+      c_2^{\mathsf T}c_3&=4+28-32=0
+      \end{aligned}`,
+      1.10,smooth);
+    wait(0.70);
+  }
+}
+
+step("the transpose is the inverse") {
+  seq {
+    say(reason,"Those six dot products are exactly the entries of M-transpose times M.",0.50,smooth);
+    rewrite(work,
+      `M^{\mathsf T}M=\begin{bmatrix}81&0&0\\0&81&0\\0&0&81\end{bmatrix}=81I`,
+      1.00,smooth);
+    wait(0.45);
+    rewrite(work,
+      `A^{\mathsf T}A=\frac{1}{81}M^{\mathsf T}M=I`,
+      0.90,smooth);
+    show(summary,0.55);
+    par { pulse(work,0.75); pulse(summary,0.75); }
+    wait(1.15);
+  }
+}
+
+step("begin the second matrix") {
+  seq {
+    par {
+      fade(summary,0.35);
+      say(part,"(ii)  FIND A POWER THAT RETURNS TO I",0.45,smooth);
+      say(reason,"For the second matrix, compute powers instead of augmenting [A | I].",0.55,smooth);
+      rewrite(given,
+        `A=\begin{bmatrix}1&-1&1\\2&-1&0\\1&0&0\end{bmatrix}`,
+        0.95,smooth);
+      rewrite(work,`A^{-1}\stackrel{?}{=}A^2`,0.80,smooth);
+    }
+    wait(0.85);
+  }
+}
+
+step("square the matrix") {
+  seq {
+    say(reason,"First multiply A by itself. Keep this result for one more multiplication.",0.55,smooth);
+    rewrite(work,
+      `A^2=\begin{bmatrix}0&0&1\\0&-1&2\\1&-1&1\end{bmatrix}`,
+      1.00,smooth);
+    wait(0.80);
+  }
+}
+
+step("the third power is identity") {
+  seq {
+    say(reason,"Now A squared times A returns exactly to the identity matrix.",0.50,smooth);
+    rewrite(work,
+      `A^3=A^2A=\begin{bmatrix}1&0&0\\0&1&0\\0&0&1\end{bmatrix}=I`,
+      1.10,smooth);
+    wait(0.65);
+    rewrite(work,`AA^2=A^3=I`,0.80,smooth);
+    rewrite(summary,
+      `\boxed{AA^2=I\Rightarrow A^{-1}=A^2}`,
+      0.85,smooth);
+    show(summary,0.50);
+    par { pulse(work,0.75); pulse(summary,0.75); }
+    wait(1.10);
+  }
+}
+
+step("compare the two shortcuts") {
+  seq {
+    par {
+      show(takeaway,0.45);
+      say(part,"TWO STRUCTURES · ONE DEFINITION",0.45,smooth);
+      say(reason,"The inverse is whichever matrix multiplies A to give I.",0.50,smooth);
+      rewrite(given,
+        `\text{(i) orthogonality}\qquad\text{(ii) finite order}`,
+        0.90,smooth);
+      rewrite(work,
+        `\begin{aligned}
+        A^{\mathsf T}A=I&\Rightarrow A^{-1}=A^{\mathsf T}\\
+        AA^2=I&\Rightarrow A^{-1}=A^2
+        \end{aligned}`,
+        1.10,smooth);
+      fade(summary,0.45);
+    }
+    par { pulse(work,0.90); pulse(takeaway,0.90); }
+    wait(2.00);
+  }
+}

package/examples/textbook-pulley.manic

@@ -0,0 +1,35 @@
+// ============================================================================
+//  textbook-pulley.manic  —  a physics-textbook figure, manic style
+// ----------------------------------------------------------------------------
+//  The classic "m over 2m+3m" pulley arrangement, drawn in the flat textbook
+//  look: the `paper` theme (white page, dark ink), a hatched `support` ceiling,
+//  a solid green pulley wheel, thin ropes, and outlined labelled mass boxes.
+//  A STATIC figure — pure base manic (`support`, `circle`, `line`, `rect`, `text`).
+// ============================================================================
+
+title("Pulley arrangement — m, 2m, 3m");
+canvas("16:9");
+template("paper");
+
+// hatched ceiling + the rope suspending the pulley
+support(ceil, (cx, 120), 340);
+line(rope0, (cx, 120), (cx, 222)); color(rope0, fg); stroke(rope0, 2);
+
+// the green pulley wheel (dark edge + hub)
+circle(wheel, (cx, 300), 80); color(wheel, lime); outline(wheel, fg);
+circle(hub, (cx, 300), 5); color(hub, fg); filled(hub);
+
+// ropes leave the wheel vertically, left and right
+line(ropeL, (560, 300), (560, 456)); color(ropeL, fg); stroke(ropeL, 2);
+line(ropeR, (720, 300), (720, 456)); color(ropeR, fg); stroke(ropeR, 2);
+
+// mass on the left: m
+rect(mbox, (560, 485), 110, 58); outlined(mbox); outline(mbox, fg); stroke(mbox, 2);
+text(ml, (560, 485), "m"); color(ml, fg); size(ml, 26); bold(ml);
+
+// masses on the right: 2m, with 3m hanging below it
+rect(m2, (720, 485), 120, 58); outlined(m2); outline(m2, fg); stroke(m2, 2);
+text(l2, (720, 485), "2m"); color(l2, fg); size(l2, 26); bold(l2);
+line(r23, (720, 514), (720, 596)); color(r23, fg); stroke(r23, 2);
+rect(m3, (720, 625), 120, 58); outlined(m3); outline(m3, fg); stroke(m3, 2);
+text(l3, (720, 625), "3m"); color(l3, fg); size(l3, 26); bold(l3);

package/examples/textbook-statistical-dimensions.manic

@@ -0,0 +1,151 @@
+// ============================================================================
+// textbook-statistical-dimensions.manic
+// One variable → two variables → three variables, using the same 12 students.
+// Stats kit: summary + correlation. 3D primitives reveal the third variable.
+// ============================================================================
+
+title("Statistical Dimensions — From a List to a Data Cloud");
+canvas("9:16");
+template("blueprint");
+watermark(manicMark,(220,175),"Made With Manic");
+creator(me,"@anish2good name=Manic_Stats tagline=Textbooks_in_motion yt=zarigatongy x=@anish2good web=8gwifi.org/manic accent=cyan secondary=magenta footer=social safe=reels");
+socials(me);
+
+text(kicker,(540,164),"MULTIVARIATE STATISTICS"); size(kicker,21); bold(kicker); color(kicker,cyan); hidden(kicker);
+text(headline,(540,228),"The same students, in more dimensions"); size(headline,33); bold(headline); hidden(headline);
+text(phase,(540,300),"1D · ONE VARIABLE"); size(phase,23); bold(phase); color(phase,gold); hidden(phase);
+text(narration,(540,1328),"Record only height. Each student needs one number."); size(narration,26); bold(narration); wrap(narration,850); hidden(narration);
+text(principle,(540,1392),"Centre and spread describe one-dimensional data."); size(principle,20); color(principle,dim); hidden(principle);
+equation(address,(540,1488),`\text{student}=\textcolor{cyan}{(\text{height})}`,39); hidden(address);
+text(takeaway,(540,1572),"MORE VARIABLES DO NOT ADD PEOPLE · THEY ADD STRUCTURE"); size(takeaway,18); bold(takeaway); color(takeaway,gold); hidden(takeaway);
+
+let vx=518;
+let vy=610;
+
+// Twelve students, measured in centimetres.
+summary(one,(vx,vy),
+  "150 154 158 160 164 167 170 173 176 180 184 188",760,cyan);
+untraced(one.line); hidden(one.dots); hidden(one.band);
+hidden(one.meanmark); hidden(one.meanlbl);
+hidden(one.medianmark); hidden(one.medianlbl);
+hidden(one.readout); hidden(one.min); hidden(one.max);
+
+// The same students: height and arm span. Target points remain hidden because
+// the 1D dots will `become` these blueprints, preserving one identity per row.
+correlation(two,(vx,vy),10,
+  "150 151  154 153  158 160  160 159  164 165  167 168  170 169  173 175  176 174  180 181  184 185  188 187",cyan);
+hidden(two.points); untraced(two.line); hidden(two.r);
+
+// Front view: x = height, screen-up z = arm span. Depth y stores shoe size.
+// The camera begins in the exact 2D projection; its later isometric move is
+// what makes the third variable perceptible.
+camera3((0.53,-64.4,-5.34),(0.53,0,-5.34),40);
+
+cube3(dataRoom,(0,0,3.1),(7.2,5.6,6.2)); color(dataRoom,blue); hidden(dataRoom); tag(dataRoom,multivariate);
+finish3(dataRoom,"material=glass shading=flat mesh=0.17 depth=0.22 shadow=0.10");
+
+line3(heightAxis,(-3.6,-2.8,0),(3.6,-2.8,0)); color(heightAxis,cyan); thick(heightAxis,0.045); untraced(heightAxis); hidden(heightAxis); tag(heightAxis,multivariate); tag(heightAxis,axes3d);
+line3(shoeAxis,(-3.6,-2.8,0),(-3.6,2.8,0)); color(shoeAxis,magenta); thick(shoeAxis,0.045); untraced(shoeAxis); hidden(shoeAxis); tag(shoeAxis,multivariate); tag(shoeAxis,axes3d);
+line3(armAxis,(-3.6,-2.8,0),(-3.6,-2.8,6.2)); color(armAxis,lime); thick(armAxis,0.045); untraced(armAxis); hidden(armAxis); tag(armAxis,multivariate); tag(armAxis,axes3d);
+
+point3(heightEnd,(3.6,-2.8,0),0.01); hidden(heightEnd);
+point3(shoeEnd,(-3.6,2.8,0),0.01); hidden(shoeEnd);
+point3(armEnd,(-3.6,-2.8,6.2),0.01); hidden(armEnd);
+text(heightLabel,(0,0),"height"); size(heightLabel,25); bold(heightLabel); color(heightLabel,cyan); hidden(heightLabel); label3(heightLabel,heightEnd,0.40);
+text(shoeLabel,(0,0),"shoe size"); size(shoeLabel,25); bold(shoeLabel); color(shoeLabel,magenta); hidden(shoeLabel); label3(shoeLabel,shoeEnd,0.40);
+text(armLabel,(0,0),"arm span"); size(armLabel,25); bold(armLabel); color(armLabel,lime); hidden(armLabel); label3(armLabel,armEnd,0.40);
+
+// Normalised triples: (height, shoe-size depth, arm-span height).
+point3(p0,(-3.167,-2.4,0.000),0.13); color(p0,cyan); hidden(p0); tag(p0,cloud); tag(p0,multivariate);
+point3(p1,(-2.500,-1.6,0.333),0.13); color(p1,cyan); hidden(p1); tag(p1,cloud); tag(p1,multivariate);
+point3(p2,(-1.833,-1.6,1.500),0.13); color(p2,cyan); hidden(p2); tag(p2,cloud); tag(p2,multivariate);
+point3(p3,(-1.500,-0.8,1.333),0.13); color(p3,cyan); hidden(p3); tag(p3,cloud); tag(p3,multivariate);
+point3(p4,(-0.833,-0.8,2.333),0.13); color(p4,cyan); hidden(p4); tag(p4,cloud); tag(p4,multivariate);
+point3(p5,(-0.333, 0.0,2.833),0.13); color(p5,cyan); hidden(p5); tag(p5,cloud); tag(p5,multivariate);
+point3(p6,( 0.167, 0.0,3.000),0.13); color(p6,cyan); hidden(p6); tag(p6,cloud); tag(p6,multivariate);
+point3(p7,( 0.667, 0.8,4.000),0.16); color(p7,gold); hidden(p7); tag(p7,cloud); tag(p7,multivariate);
+point3(p8,( 1.167, 0.8,3.833),0.13); color(p8,cyan); hidden(p8); tag(p8,cloud); tag(p8,multivariate);
+point3(p9,( 1.833, 1.6,5.000),0.13); color(p9,cyan); hidden(p9); tag(p9,cloud); tag(p9,multivariate);
+point3(p10,(2.500, 1.6,5.667),0.13); color(p10,cyan); hidden(p10); tag(p10,cloud); tag(p10,multivariate);
+point3(p11,(3.167, 2.4,6.000),0.13); color(p11,cyan); hidden(p11); tag(p11,cloud); tag(p11,multivariate);
+
+project3(frontShadow,p7,"xz"); color(frontShadow,gold); hidden(frontShadow); tag(frontShadow,multivariate);
+link3(depthLink,p7,frontShadow,0.14); color(depthLink,magenta); thick(depthLink,0.025); hidden(depthLink); tag(depthLink,multivariate);
+text(depthNote,(0,0),"shoe size adds depth"); size(depthNote,24); bold(depthNote); color(depthNote,gold); hidden(depthNote); label3(depthNote,p7,0.42);
+
+step("one variable centre and spread") {
+  seq {
+    par { show(kicker,0.35); show(headline,0.55); show(phase,0.40); show(narration,0.45); show(principle,0.40); show(address,0.55); }
+    draw(one.line,0.75,smooth);
+    par { show(one.min,0.25); show(one.max,0.25); stagger(0.09) { for i in 0..12 { show(one.dot{i},0.18); } } }
+    par { to(one.band,opacity,0.12,0.65,smooth); show(one.meanmark,0.35); show(one.meanlbl,0.35); show(one.medianmark,0.35); show(one.medianlbl,0.35); }
+    par { show(one.readout,0.35); pulse(one.dots,0.75); }
+    wait(0.70);
+  }
+}
+
+step("a second variable reveals relationship") {
+  seq {
+    par {
+      say(phase,"2D · TWO VARIABLES",0.45,smooth);
+      say(narration,"Add arm span. Every student now becomes an ordered pair.",0.55,smooth);
+      say(principle,"The slope of the cloud reveals how two measurements move together.",0.50,smooth);
+      rewrite(address,`\text{student}=\textcolor{cyan}{(\text{height},\text{arm span})}`,1.00,smooth);
+      fade(one.band,0.45); fade(one.meanmark,0.45); fade(one.meanlbl,0.45);
+      fade(one.medianmark,0.45); fade(one.medianlbl,0.45); fade(one.readout,0.45);
+      fade(one.line,0.45); fade(one.min,0.35); fade(one.max,0.35);
+    }
+    par {
+      for i in 0..12 { become(one.dot{i},two.p{i},1.75,smooth); }
+    }
+    par { draw(two.line,1.05,smooth); show(two.r,0.45); }
+    par { pulse(one.dots,0.75); pulse(two.r,0.75); }
+    wait(0.70);
+  }
+}
+
+step("the front projection still looks two dimensional") {
+  seq {
+    say(narration,"A front view can hide depth: the 3D records still resemble the scatterplot.",0.55,smooth);
+    par {
+      fade(one.dots,0.80);
+      fade(two.line,0.80);
+      fade(two.r,0.80);
+      stagger(0.08) { for i in 0..12 { show(p{i},0.18); } }
+      show(heightAxis,0.35); show(armAxis,0.35);
+      draw(heightAxis,1.10,smooth); draw(armAxis,1.10,smooth);
+      show(heightLabel,0.30); show(armLabel,0.30);
+    }
+    wait(0.75);
+  }
+}
+
+step("rotate to reveal the third variable") {
+  seq {
+    par {
+      say(phase,"3D · THREE VARIABLES",0.45,smooth);
+      say(narration,"Rotate the view. Shoe size reveals variation the flat plot could not show.",0.55,smooth);
+      say(principle,"A third coordinate turns a scatterplot into a multivariate cloud.",0.50,smooth);
+      rewrite(address,`\text{student}=\textcolor{cyan}{(\text{height},\text{arm span},\text{shoe})}`,1.10,smooth);
+      to(dataRoom,opacity,0.13,2.50,smooth);
+      show(shoeAxis,0.30); draw(shoeAxis,1.20,smooth); show(shoeLabel,0.30);
+      view3(multivariate,"isometric",2.65,smooth,1.52);
+    }
+    par { show(frontShadow,0.30); show(depthLink,0.35); show(depthNote,0.35); pulse(p7,0.75); }
+    wait(0.75);
+  }
+}
+
+step("dimensions describe not duplicate") {
+  seq {
+    par {
+      show(takeaway,0.45);
+      say(phase,"12 STUDENTS · 36 MEASUREMENTS",0.50,smooth);
+      say(narration,"The sample size stayed twelve; each observation simply gained context.",0.55,smooth);
+      say(principle,"1D describes · 2D relates · 3D separates hidden structure",0.55,smooth);
+      view3(multivariate,"fit",1.60,smooth,1.58);
+    }
+    par { pulse(cloud,0.90); pulse(address,0.90); roll3(3,1.50,smooth); }
+    wait(1.90);
+  }
+}