@maniclang/workbench 0.1.11

package/examples/zeroth-law-thermodynamics.manic

@@ -0,0 +1,269 @@
+// ============================================================================
+//  zeroth-law-thermodynamics.manic — thermal equalisation explained visually
+// ----------------------------------------------------------------------------
+//  A shot-for-shot structural recreation of engine-test.mp4 using only the
+//  generic std + math vocabulary.  It deliberately avoids a thermal-specific
+//  kit: circles, dots, lines, LaTeX, formula plots and timeline composition
+//  should be enough to tell the story.
+//
+//  Reference beats: network 0–9s · temperature axis 9–20s · transfer 20–35s
+//  · closing thought 35–39.4s.  Record at 60 fps with the reel preset.
+// ============================================================================
+
+title("Zeroth Law of Thermodynamics");
+canvas("9:16");
+template("mono");
+// Reels put controls down the right edge and captions near the bottom. Keep
+// identity in the upper-left safe area, clear of both UI and the three bodies.
+watermark(manicMark, (155, 145), "Made With Manic");
+
+// Shared palette expressed as hues so the example keeps its identity even
+// when somebody overrides the template from the CLI.
+let teal = 168;
+let warm = 38;
+let cool = 246;
+
+// ---------------------------------------------------------------------------
+// SCENE 1 · three bodies connected by possible heat exchange
+// ---------------------------------------------------------------------------
+
+circle(s1A, (540, 280), 92);
+circle(s1B, (300, 565), 92);
+circle(s1C, (780, 565), 92);
+outline(s1A, cyan); outline(s1B, cyan); outline(s1C, cyan);
+stroke(s1A, 5); stroke(s1B, 5); stroke(s1C, 5);
+glow(s1A, 1.5); glow(s1B, 1.5); glow(s1C, 1.5);
+tag(s1A, s1); tag(s1B, s1); tag(s1C, s1);
+
+equation(s1la, (540, 280), `A`, 68);
+equation(s1lb, (300, 565), `B`, 68);
+equation(s1lc, (780, 565), `C`, 68);
+tag(s1la, s1); tag(s1lb, s1); tag(s1lc, s1);
+
+// Generic contained dots: the ids make these "matter" here, but the engine
+// words are equally useful for bubbles, dust, stars, or moving data.
+particles(s1matterA, s1A, 22, 5, 7);
+particles(s1matterB, s1B, 22, 5, 17);
+particles(s1matterC, s1C, 22, 5, 27);
+hue(s1matterA, teal, 0.65, 0.70); hue(s1matterB, teal, 0.65, 0.70); hue(s1matterC, teal, 0.65, 0.70);
+glow(s1matterA, 1.0); glow(s1matterB, 1.0); glow(s1matterC, 1.0);
+tag(s1matterA, s1); tag(s1matterB, s1); tag(s1matterC, s1);
+
+// Curved tracked links replace hand-computed endpoints and keep following if
+// the bodies move. Signed bends bow the two upper links away from the triangle.
+link(s1ab, s1A, s1B, 48);
+link(s1ac, s1A, s1C, -48);
+link(s1bc, s1B, s1C, 55);
+stroke(s1ab, 4); stroke(s1ac, 4); stroke(s1bc, 4);
+hue(s1ab, teal, 0.72, 0.54); hue(s1ac, teal, 0.72, 0.54); hue(s1bc, teal, 0.72, 0.54);
+glow(s1ab, 0.8); glow(s1ac, 0.8); glow(s1bc, 0.8);
+untraced(s1ab); untraced(s1ac); untraced(s1bc);
+tag(s1ab, s1); tag(s1ac, s1); tag(s1bc, s1); tag(s1ab, s1links); tag(s1ac, s1links); tag(s1bc, s1links);
+
+// Each relation first appears as a faint possibility, then becomes definite as
+// its curved connection draws on.
+equation(s1eqAB, (315, 365), `A\sim B`, 35);
+equation(s1eqBC, (540, 660), `B\sim C`, 35);
+equation(s1eqAC, (765, 365), `A\sim C`, 35);
+color(s1eqAB, dim); color(s1eqBC, dim); color(s1eqAC, dim);
+tag(s1eqAB, s1); tag(s1eqBC, s1); tag(s1eqAC, s1);
+tag(s1eqAB, s1relations); tag(s1eqBC, s1relations); tag(s1eqAC, s1relations);
+
+tag(s1A, s1bodyA); tag(s1la, s1bodyA); tag(s1matterA, s1bodyA);
+tag(s1B, s1bodyB); tag(s1lb, s1bodyB); tag(s1matterB, s1bodyB);
+tag(s1C, s1bodyC); tag(s1lc, s1bodyC); tag(s1matterC, s1bodyC);
+
+hidden(s1A); hidden(s1B); hidden(s1C);
+hidden(s1la); hidden(s1lb); hidden(s1lc);
+hidden(s1matterA); hidden(s1matterB); hidden(s1matterC);
+hidden(s1eqAB); hidden(s1eqBC); hidden(s1eqAC);
+
+// ---------------------------------------------------------------------------
+// SCENE 2 · temperature becomes a position on one common scale
+// ---------------------------------------------------------------------------
+
+line(s2y, (180, 700), (180, 1390));
+line(s2g0, (180, 820), (900, 820));
+line(s2g1, (180, 1070), (900, 1070));
+line(s2g2, (180, 1320), (900, 1320));
+line(s2eqline, (230, 1070), (850, 1070));
+color(s2y, blue); color(s2g0, dim); color(s2g1, dim); color(s2g2, dim); hue(s2eqline, teal, 0.65, 0.55);
+stroke(s2y, 4); stroke(s2g0, 2); stroke(s2g1, 2); stroke(s2g2, 2); stroke(s2eqline, 5);
+glow(s2eqline, 0.9);
+tag(s2y, s2); tag(s2g0, s2); tag(s2g1, s2); tag(s2g2, s2); tag(s2eqline, s2);
+tag(s2y, s2axes); tag(s2g0, s2axes); tag(s2g1, s2axes); tag(s2g2, s2axes); tag(s2eqline, s2axes);
+
+equation(s2T, (180, 650), `T`, 44); color(s2T, fg); tag(s2T, s2); tag(s2T, s2axes);
+
+dot(s2A, (430, 1070), 10); dot(s2B, (540, 1070), 10); dot(s2C, (650, 1070), 10);
+hue(s2A, teal, 0.65, 0.60); hue(s2B, teal, 0.65, 0.60); hue(s2C, teal, 0.65, 0.60);
+glow(s2A, 1.1); glow(s2B, 1.1); glow(s2C, 1.1);
+tag(s2A, s2); tag(s2B, s2); tag(s2C, s2); tag(s2A, s2points); tag(s2B, s2points); tag(s2C, s2points);
+
+equation(s2la, (430, 1025), `A`, 35); equation(s2lb, (540, 1025), `B`, 35); equation(s2lc, (650, 1025), `C`, 35);
+tag(s2la, s2); tag(s2lb, s2); tag(s2lc, s2); tag(s2la, s2points); tag(s2lb, s2points); tag(s2lc, s2points);
+
+equation(s2eq, (540, 1490), `T_A=T_B=T_C`, 48); tag(s2eq, s2); tag(s2eq, s2eqgroup);
+
+line(s2hot, (230, 820), (850, 820)); line(s2cold, (230, 1320), (850, 1320));
+hue(s2hot, warm, 0.70, 0.62); hue(s2cold, cool, 0.70, 0.62); stroke(s2hot, 4); stroke(s2cold, 4);
+line(s2bracket, (850, 820), (850, 1320)); line(s2cap0, (825, 820), (875, 820)); line(s2cap1, (825, 1320), (875, 1320));
+color(s2bracket, fg); color(s2cap0, fg); color(s2cap1, fg); stroke(s2bracket, 3); stroke(s2cap0, 3); stroke(s2cap1, 3);
+equation(s2delta, (930, 1070), `\Delta T`, 42);
+tag(s2hot, s2deltaGroup); tag(s2cold, s2deltaGroup); tag(s2bracket, s2deltaGroup);
+tag(s2cap0, s2deltaGroup); tag(s2cap1, s2deltaGroup); tag(s2delta, s2deltaGroup);
+tag(s2hot, s2); tag(s2cold, s2); tag(s2bracket, s2); tag(s2cap0, s2); tag(s2cap1, s2); tag(s2delta, s2);
+
+hidden(s2);
+
+// ---------------------------------------------------------------------------
+// SCENE 3 · energy flows while two temperatures converge exponentially
+// ---------------------------------------------------------------------------
+
+circle(s3A, (300, 430), 98); circle(s3C, (780, 430), 98);
+outline(s3A, orange); outline(s3C, blue);
+stroke(s3A, 5); stroke(s3C, 5); glow(s3A, 1.5); glow(s3C, 1.5);
+tag(s3A, s3initialrings); tag(s3C, s3initialrings);
+link(s3link, s3A, s3C); hue(s3link, teal, 0.65, 0.54); stroke(s3link, 5); glow(s3link, 0.8);
+
+// Crossfade to common teal rings as equilibrium approaches. Keeping the fill
+// dark preserves the reservoir/particle texture instead of becoming a disc.
+circle(s3Afinal, (300, 430), 98); circle(s3Cfinal, (780, 430), 98);
+outline(s3Afinal, cyan); outline(s3Cfinal, cyan); stroke(s3Afinal, 5); stroke(s3Cfinal, 5);
+glow(s3Afinal, 1.5); glow(s3Cfinal, 1.5); hidden(s3Afinal); hidden(s3Cfinal);
+tag(s3Afinal, s3); tag(s3Cfinal, s3); tag(s3Afinal, s3finalrings); tag(s3Cfinal, s3finalrings);
+equation(s3la, (300, 430), `A`, 70); equation(s3lc, (780, 430), `C`, 70);
+tag(s3link, s3nodes); tag(s3A, s3nodes); tag(s3C, s3nodes); tag(s3la, s3nodes); tag(s3lc, s3nodes);
+tag(s3link, s3); tag(s3A, s3); tag(s3C, s3); tag(s3la, s3); tag(s3lc, s3);
+
+particles(s3hotparticles, s3A, 24, 5, 41);
+particles(s3coldparticles, s3C, 24, 5, 73);
+hue(s3hotparticles, warm, 0.72, 0.68); hue(s3coldparticles, cool, 0.72, 0.68);
+glow(s3hotparticles, 1.0); glow(s3coldparticles, 1.0);
+tag(s3hotparticles, s3); tag(s3hotparticles, s3nodes);
+tag(s3coldparticles, s3); tag(s3coldparticles, s3nodes);
+
+// Temperature-vs-time graph. The two exact formulas share the same asymptote.
+line(s3x, (190, 1340), (900, 1340)); line(s3y, (190, 1340), (190, 760));
+color(s3x, dim); color(s3y, dim); stroke(s3x, 3); stroke(s3y, 3);
+equation(s3theta, (190, 710), `\theta`, 40); equation(s3time, (930, 1340), `t`, 38);
+plot(s3upper, (230, 1340), 155, 190, "1 + exp(-x)", (0, 4));
+plot(s3lower, (230, 1340), 155, 190, "1 - exp(-x)", (0, 4));
+hue(s3upper, warm, 0.78, 0.62); hue(s3lower, cool, 0.78, 0.62); stroke(s3upper, 5); stroke(s3lower, 5);
+glow(s3upper, 0.7); glow(s3lower, 0.7); untraced(s3upper); untraced(s3lower);
+tag(s3x, s3); tag(s3y, s3); tag(s3theta, s3); tag(s3time, s3); tag(s3upper, s3); tag(s3lower, s3);
+tag(s3x, s3axes); tag(s3y, s3axes); tag(s3theta, s3axes); tag(s3time, s3axes);
+tag(s3upper, s3curves); tag(s3lower, s3curves);
+
+equation(s3eq, (540, 1510), `\Delta T(t)=\Delta T_0 e^{-2k t/C}`, 44);
+color(s3eq, fg); tag(s3eq, s3); tag(s3eq, s3equation);
+
+hidden(s3);
+
+// ---------------------------------------------------------------------------
+// SCENE 4 · reduce the mechanics to one thought
+// ---------------------------------------------------------------------------
+
+line(s4line, (420, 850), (660, 850)); hue(s4line, teal, 0.72, 0.58); stroke(s4line, 6); glow(s4line, 1.0);
+dot(s4a, (420, 850), 16); dot(s4c, (660, 850), 16); hue(s4a, teal, 0.70, 0.63); hue(s4c, teal, 0.70, 0.63); glow(s4a, 1.3); glow(s4c, 1.3);
+text(s4quote, (540, 1130), "Temperature names sameness.\nDifference gives energy direction.");
+size(s4quote, 38); color(s4quote, fg); bold(s4quote); untraced(s4quote);
+tag(s4line, s4); tag(s4a, s4); tag(s4c, s4); tag(s4quote, s4);
+hidden(s4line); hidden(s4a); hidden(s4c);
+
+// ---------------------------------------------------------------------------
+// TIMELINE · 39.4 seconds
+// ---------------------------------------------------------------------------
+
+par {
+  wander(s1matterA, 7.5);
+  wander(s1matterB, 7.5);
+  wander(s1matterC, 7.5);
+  seq {
+    show(s1bodyA, 0.45);
+    wait(0.20);
+    show(s1bodyB, 0.45);
+    show(s1eqAB, 0.25);
+    par { draw(s1ab, 0.70); recolor(s1eqAB, fg, 0.70); }
+    flow(s1ab, 0.75);
+
+    show(s1bodyC, 0.45);
+    show(s1eqBC, 0.25);
+    par { draw(s1bc, 0.70); recolor(s1eqBC, fg, 0.70); }
+    flow(s1bc, 0.75);
+
+    show(s1eqAC, 0.25);
+    par { draw(s1ac, 0.70); recolor(s1eqAC, fg, 0.70); }
+    par { flow(s1ab, 1.05); flow(s1bc, 1.05); flow(s1ac, 1.05); }
+    wait(0.55);
+  }
+}
+
+// The three bodies do not cut to new dots: they visibly shrink, line up on a
+// common temperature axis, then hand off to the precise plotted markers.
+par {
+  fade(s1relations, 0.45); fade(s1links, 0.45);
+  fade(s1matterA, 0.45); fade(s1matterB, 0.45); fade(s1matterC, 0.45);
+  show(s2axes, 0.70);
+  move(s1A, (430, 1070), 1.10, smooth); scale(s1A, 0.12, 1.10, smooth);
+  move(s1B, (540, 1070), 1.10, smooth); scale(s1B, 0.12, 1.10, smooth);
+  move(s1C, (650, 1070), 1.10, smooth); scale(s1C, 0.12, 1.10, smooth);
+  move(s1la, (430, 1025), 1.10, smooth); scale(s1la, 0.52, 1.10, smooth);
+  move(s1lb, (540, 1025), 1.10, smooth); scale(s1lb, 0.52, 1.10, smooth);
+  move(s1lc, (650, 1025), 1.10, smooth); scale(s1lc, 0.52, 1.10, smooth);
+}
+par {
+  fade(s1bodyA, 0.22); fade(s1bodyB, 0.22); fade(s1bodyC, 0.22);
+  show(s2points, 0.22);
+}
+show(s2eqgroup, 0.5);
+wait(4.0);
+par {
+  move(s2A, (430, 820), 1.3, smooth); move(s2la, (430, 775), 1.3, smooth);
+  move(s2C, (650, 1320), 1.3, smooth); move(s2lc, (650, 1275), 1.3, smooth);
+  recolor(s2A, orange, 1.0); recolor(s2la, orange, 1.0);
+  recolor(s2C, blue, 1.0); recolor(s2lc, blue, 1.0);
+  fade(s2eqgroup, 0.5);
+}
+show(s2deltaGroup, 0.5);
+wait(3.5);
+
+// Keep visual identity across the scene change: the two temperature points
+// first become small bodies on their own level lines, then travel and enlarge
+// into the particle-filled reservoirs. The old axis remains behind them until
+// the new transfer graph is already visible—there is never an empty frame.
+par {
+  fade(s2B, 0.40); fade(s2lb, 0.40);
+  scale(s2A, 5.0, 0.70, smooth); move(s2la, (430, 820), 0.70, smooth); scale(s2la, 1.35, 0.70, smooth);
+  scale(s2C, 5.0, 0.70, smooth); move(s2lc, (650, 1320), 0.70, smooth); scale(s2lc, 1.35, 0.70, smooth);
+}
+par {
+  move(s2A, (300, 430), 0.50, smooth); scale(s2A, 9.8, 0.50, smooth);
+  move(s2la, (300, 430), 0.50, smooth); scale(s2la, 2.0, 0.50, smooth);
+  move(s2C, (780, 430), 0.50, smooth); scale(s2C, 9.8, 0.50, smooth);
+  move(s2lc, (780, 430), 0.50, smooth); scale(s2lc, 2.0, 0.50, smooth);
+  show(s3axes, 0.50);
+}
+par {
+  show(s3nodes, 0.70);
+  fade(s2, 0.70);
+}
+show(s3curves, 0.01);
+par {
+  draw(s3upper, 10.7, smooth);
+  draw(s3lower, 10.7, smooth);
+  wander(s3hotparticles, 10.7);
+  wander(s3coldparticles, 10.7);
+  fade(s3initialrings, 10.5); show(s3finalrings, 10.5);
+  recolor(s3hotparticles, cyan, 10.5); recolor(s3coldparticles, cyan, 10.5);
+  seq {
+    for i in 0..6 { seq { flow(s3link, 1.20); wait(0.55); } }
+  }
+}
+show(s3equation, 0.6);
+wait(1.5);
+fade(s3, 0.8);
+
+show(s4line, 0.5); show(s4a, 0.01); show(s4c, 0.01);
+type(s4quote, 1.2);
+wait(2.55); // keeps the benchmark at 39.4 s including manic's final 1 s tail

package/package.json

@@ -0,0 +1,59 @@
+{
+  "name": "@maniclang/workbench",
+  "version": "0.1.11",
+  "description": "Local-first public interface for the Manic Engine",
+  "type": "module",
+  "bin": {
+    "manic-workbench": "dist/server/cli.js"
+  },
+  "files": [
+    "dist",
+    "README.md",
+    "CONTRIBUTING.md",
+    "examples"
+  ],
+  "scripts": {
+    "wasm:build": "bash scripts/sync-language-wasm.sh",
+    "build": "npm run wasm:build && npm run build:package",
+    "build:package": "node scripts/clean.mjs && npm run build:client && npm run build:server",
+    "build:client": "vite build",
+    "build:server": "tsc -p tsconfig.server.json",
+    "dev": "npm run wasm:build && npm run build:client && concurrently -k \"vite build --watch\" \"tsx watch src/server/cli.ts --no-open\"",
+    "start": "node dist/server/cli.js",
+    "test": "vitest run",
+    "typecheck": "tsc --noEmit && tsc -p tsconfig.server.json --noEmit",
+    "pack:check": "npm pack --dry-run",
+    "prepublishOnly": "npm run build",
+    "release": "node scripts/publish.mjs",
+    "demo": "tsx demo/run.ts"
+  },
+  "engines": {
+    "node": ">=22"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "dependencies": {
+    "@hono/node-server": "^2.1.0",
+    "@maniclang/scene": "^0.1.2",
+    "@monaco-editor/react": "^4.7.0",
+    "hono": "^4.10.8",
+    "katex": "^0.18.4",
+    "monaco-editor": "^0.53.0",
+    "open": "^10.2.0",
+    "react": "^19.2.3",
+    "react-dom": "^19.2.3"
+  },
+  "devDependencies": {
+    "@types/node": "^24.10.1",
+    "@types/react": "^19.2.7",
+    "@types/react-dom": "^19.2.3",
+    "@vitejs/plugin-react": "^5.1.2",
+    "concurrently": "^9.2.1",
+    "playwright": "^1.62.1",
+    "tsx": "^4.21.0",
+    "typescript": "^5.9.3",
+    "vite": "^7.3.0",
+    "vitest": "^4.0.16"
+  }
+}