31:T61e,const treemap = (() => { const W = 960, H = 600; const groups = { "kept": [], "omitted-node": [], "omitted-leaf": [] }; for (const p of packages) groups[statusOf(p)].push(p); const root = d3.hierarchy({ name: "root", children: Object.entries(groups).map(([k, v]) => ({ name: k, children: v.map((p) => ({ ...p, value: Math.max(p.sizeBytes, 1) })), })), }).sum((d) => d.value).sort((a, b) => b.value - a.value); d3.treemap().size([W, H]).paddingInner(1).paddingTop(0)(root); const svg = d3.create("svg") .attr("viewBox", [0, 0, W, H]) .attr("width", W).attr("style", "max-width:100%;height:auto;font:10px sans-serif"); const leaf = svg.selectAll("g").data(root.leaves()).join("g") .attr("transform", (d) => `translate(${d.x0},${d.y0})`); leaf.append("rect") .attr("fill", (d) => COLOR[d.parent.data.name]) .attr("fill-opacity", (d) => d.parent.data.name === "kept" ? 0.55 : 0.85) .attr("width", (d) => d.x1 - d.x0) .attr("height", (d) => d.y1 - d.y0) .attr("rx", 1); leaf.append("title").text((d) => `${d.data.name}@${d.data.version}\n${(d.data.sizeBytes / 1e6).toFixed(2)} MB · ${d.data.modules} modules\n` + `dependents: ${d.data.dependents}${d.data.protected ? "\n[protected core]" : ""}\n` + `status: ${d.parent.data.name}`); leaf.filter((d) => (d.x1 - d.x0) > 40 && (d.y1 - d.y0) > 12) .append("text").attr("x", 3).attr("y", 11) .attr("fill", "white").attr("pointer-events", "none") .text((d) => d.data.name); return svg.node(); })(); display(treemap);32:T4ac,display(Plot.plot({ width: 960, height: 380, x: { label: "removal step →" }, y: { label: "↑ kept modules", grid: true, zero: true }, color: { domain: ["node", "leaf"], range: [COLOR["omitted-node"], COLOR["omitted-leaf"]], legend: true }, marks: [ Plot.rect([{}], { y1: ceiling, y2: data.totalModules, fill: "#c33d3d", fillOpacity: 0.08 }), Plot.areaY(curve, { x: "order", y: "keptMods", fill: "reason", fillOpacity: 0.3 }), Plot.lineY(curve, { x: "order", y: "keptMods", stroke: "reason" }), Plot.ruleY([ceiling], { stroke: "#c33d3d", strokeDasharray: "6 3" }), Plot.text([{ x: 0, y: ceiling }], { x: "x", y: "y", text: [`~${ceiling} modules: -M3G heap-exhaust ceiling`], dy: -6, textAnchor: "start", fill: "#c33d3d" }), Plot.ruleY([safe], { stroke: "#2a9d3a", strokeDasharray: "2 3" }), Plot.text([{ x: 0, y: safe }], { x: "x", y: "y", text: [`~${safe} modules: safe target`], dy: -6, textAnchor: "start", fill: "#2a9d3a" }), Plot.ruleX([cutoff], { stroke: "currentColor", strokeDasharray: "4 3" }), Plot.tip(curve, Plot.pointerX({ x: "order", y: "keptMods", title: (d) => `${d.name}\nstep ${d.order}\n${d.keptMods} modules kept` })), ], }));33:[{"id":"a57572516203ba8426619de619bd588dfd581ad004c52a01d33546c6ddb48712b4523f47d26bd9a994ff1381ec11e4b78d66c2382c694badfe1563f8b8fa1061","href":"https://static.observableusercontent.com/files/a57572516203ba8426619de619bd588dfd581ad004c52a01d33546c6ddb48712b4523f47d26bd9a994ff1381ec11e4b78d66c2382c694badfe1563f8b8fa1061","name":"packages.html","type":"text/html","lastModified":1782441106842.677,"size":8305},{"id":"ff8bc33d69273ce6772c6db7bbb61cb22f91ee38a12bc3c4745d47254a82d7c131341e0124a4fa7e741c6ef0fddbfd8aa2eceb4955be104cae2e6103ca5665f9","href":"https://static.observableusercontent.com/files/ff8bc33d69273ce6772c6db7bbb61cb22f91ee38a12bc3c4745d47254a82d7c131341e0124a4fa7e741c6ef0fddbfd8aa2eceb4955be104cae2e6103ca5665f9","name":"packages.json","type":"application/json","lastModified":1782441106842.677,"size":325775}] 2f:{"title":"Try PureScript package set — trim explorer","cells":[{"id":1,"value":"# Try PureScript package set — trim explorer\n\nEach package's box area is its on-disk `externs.cbor` size. We trim in a\nfixed order — **node packages first** (can't run in the browser), then the\n**biggest peelable leaves** (large packages nothing depends on) — and stop\nat a cutoff you control. Everything left of the cutoff is omitted; the\n*protected core* (what `TryPureScript.purs` itself imports) is never trimmed.","pinned":false,"hidden":false,"mode":"md"},{"id":2,"value":"const data = FileAttachment(\"packages.json\").json();","pinned":true,"hidden":false,"mode":"js"},{"id":4,"value":"const packages = data.packages;","pinned":true,"hidden":false,"mode":"ts"},{"id":5,"value":"const maxStep = data.removableCount;","pinned":false,"hidden":false,"mode":"js"},{"id":6,"value":"const safeMods = data.calibration.m3gSafeModuleTarget;\nconst defaultCutoff = (() => {\n const steps = packages\n .filter((p) => p.removalOrder !== null)\n .sort((a, b) => a.removalOrder - b.removalOrder);\n for (const p of steps)\n if (p.keptModulesAfter <= safeMods) return p.removalOrder + 1;\n return data.nodeCount;\n})();","pinned":false,"hidden":false,"mode":"ts"},{"id":7,"value":"const cutoff = view(Inputs.range([0, maxStep], {\n step: 1,\n value: defaultCutoff, // default: calibrated safe target for -M3G\n label: \"trim steps\",\n width: 480,\n}));","pinned":false,"hidden":false,"mode":"ts"},{"id":8,"value":"const statusOf = (p) => {\n if (p.removalOrder !== null && p.removalOrder < cutoff)\n return p.removalReason === \"node\" ? \"omitted-node\" : \"omitted-leaf\";\n return \"kept\";\n};","pinned":false,"hidden":false,"mode":"ts"},{"id":9,"value":"const COLOR = {\n \"kept\": \"var(--theme-foreground-focus, #4269d0)\",\n \"omitted-node\": \"#e0820e\",\n \"omitted-leaf\": \"#c33d3d\",\n};","pinned":true,"hidden":false,"mode":"ts"},{"id":10,"value":"const summary = (() => {\n let keptB = 0, nodeB = 0, leafB = 0, keptN = 0, nodeN = 0, leafN = 0;\n for (const p of packages) {\n const s = statusOf(p);\n if (s === \"kept\") { keptB += p.sizeBytes; keptN++; }\n else if (s === \"omitted-node\") { nodeB += p.sizeBytes; nodeN++; }\n else { leafB += p.sizeBytes; leafN++; }\n }\n const mb = (b) => (b / 1e6).toFixed(1);\n return { keptB, nodeB, leafB, keptN, nodeN, leafN, mb };\n})();","pinned":false,"hidden":false,"mode":"ts"},{"id":11,"value":"display(htl.html`

kept
${summary.keptN} pkgs · ${summary.mb(summary.keptB)} MB

omitted · node
${summary.nodeN} pkgs · ${summary.mb(summary.nodeB)} MB

omitted · big leaf
${summary.leafN} pkgs · ${summary.mb(summary.leafB)} MB

total
${data.totalPackages} pkgs · ${summary.mb(data.totalBytes)} MB

`);","pinned":false,"hidden":false,"mode":"ts"},{"id":12,"value":"## Treemap — every box is a package, area = externs size","pinned":false,"hidden":false,"mode":"md"},{"id":13,"value":"$31","pinned":false,"hidden":false,"mode":"ts"},{"id":14,"value":"## Kept modules as we trim, vs the measured 3 GB ceiling\n\nStartup peak heap is ~linear in **module count** (measured: ~0.38 MB live\nper module on the representative `rts_thr` binary). The server runs with\n`-M3G`; empirically the heap is exhausted around **~5000 modules** (full set\n= 7425 modules dies at 3758 MiB; 4538 fits but pins in-use at the 3 GB cap;\n3299 fits comfortably). The shaded band is the danger zone — trim until the\ncurve drops below it. The dashed vertical rule is your current cutoff.","pinned":false,"hidden":false,"mode":"md"},{"id":15,"value":"const curve = packages\n .filter((p) => p.removalOrder !== null)\n .map((p) => ({\n order: p.removalOrder,\n keptMods: p.keptModulesAfter,\n reason: p.removalReason,\n name: p.name,\n }))\n .sort((a, b) => a.order - b.order);\nconst ceiling = data.calibration.m3gModuleCeiling;\nconst safe = data.calibration.m3gSafeModuleTarget;","pinned":true,"hidden":false,"mode":"ts"},{"id":16,"value":"$32","pinned":true,"hidden":false,"mode":"ts"},{"id":17,"value":"## Packages omitted at the current cutoff","pinned":false,"hidden":false,"mode":"md"},{"id":18,"value":"display(Inputs.table(\n packages\n .filter((p) => statusOf(p) !== \"kept\")\n .sort((a, b) => b.sizeBytes - a.sizeBytes)\n .map((p) => ({\n package: p.name,\n MB: +(p.sizeBytes / 1e6).toFixed(2),\n modules: p.modules,\n dependents: p.dependents,\n why: statusOf(p) === \"omitted-node\" ? \"node\" : \"big leaf\",\n step: p.removalOrder,\n })),\n { rows: 18, sort: \"MB\", reverse: true }\n));","pinned":false,"hidden":false,"mode":"ts"}],"files":"$W33","stdlib":"2","titling":"auto"}