2c:null 2d:["$","title",null,{"children":"Dendryscope Demo | Jasmine Otto | Observable"}] 32:T8e2,viewof peek = { const ret = html``; // .attr("viewBox", [350, 0, width - 200, 80]), const svg = d3.select(ret); const brush = d3 .brushX() .extent([ [0, 0], [width + 20, 60] ]) .on("start brush end", brushed); const x = (step) => 1.2 * xScale(step) - 300; const xInvert = (pos) => xScale.invert(pos / 1.2 + 300); // count of possible choices at given timestep let weights = Array.from(d3.group(steps, (d) => d[1])).map((d) => [ +d[0], d[1].length ]); const h = (d) => Math.pow(d[1], 0.66) * 5; const w = x(1) - x(0); const xAxis = (g) => g .attr("transform", `translate(${w / 2 - 300},60) scale(1.2,1)`) .call(d3.axisTop(xScale)); const weight = svg .append("g") .selectAll("rect") .data(weights) .join("rect") .attr("x", (d) => x(d[0])) .attr("width", w - 2) .attr("y", (d) => 2 + (60 - h(d)) / 2) .attr("height", h) .attr("fill", (d) => (d[1] == 1 ? "#000" : "#888")); svg.append("g").call(xAxis); svg .append("g") .call(brush) .call( brush.move, [0.5, horizon + 0.5].map((i) => x(i)) ) .call((g) => g .select(".overlay") .datum({ type: "selection" }) .on("mousedown touchstart", beforebrushstarted) ); function beforebrushstarted(event) { const dx = x(horizon) - x(0); // Use a fixed width when recentering. const [[cx]] = d3.pointers(event); const [x0, x1] = [cx - dx / 2, cx + dx / 2]; const [X0, X1] = x.range(); d3.select(this.parentNode).call( brush.move, x1 > X1 ? [X1 - dx, X1] : x0 < X0 ? [X0, X0 + dx] : [x0, x1] ); } function brushed(event) { const selection = event.selection; if (selection === null) { weight.attr("stroke", null); } else { const [x0, x1] = selection.map(xInvert).map((k) => Math.floor(k)); weight.attr("stroke", (d) => (x0 <= d && d <= x1 ? "red" : null)); ret.value = [Math.max(x0, 0), x1]; ret.dispatchEvent(new Event("input")); mutable xSelection = d3.scaleLinear(ret.value, [150, width - 120]); visibilityChart.redraw(); } } mutable xSelection = d3.scaleLinear(ret.value, [150, width - 120]); return ret; }33:T113d,visibilityChart = { let height = Math.max(...Object.values(legend)); let ret = html`

`; let labelsContainer = d3.select(ret).select("div#labels"); let labels = labelsContainer .select("svg") .selectAll("text") .data(Object.entries(legend).filter((d) => d[0] !== "enter")) .join("text") .attr("x", 0) .attr("y", (d) => d[1] + 10) // .text((d) => (d[0][0] == "n" ? "" : d[0])) // .text((d) => d[0]) .attr("font-size", "14") .attr("fill", (d) => colorByTag(legendTags[d[0]])) .on("click", function (e, d) { if (mutable requiredNodes.includes(d[0])) { mutable forbiddenNodes.push(d[0]); mutable requiredNodes.splice(mutable requiredNodes.indexOf(d[0]), 1); } else if (mutable forbiddenNodes.includes(d[0])) { mutable forbiddenNodes.splice(mutable requiredNodes.indexOf(d[0]), 1); } else { mutable requiredNodes.push(d[0]); } mutable requiredNodes = mutable requiredNodes; mutable forbiddenNodes = mutable forbiddenNodes; redraw(); }); let counts = stepFrequencies, maxCount = Math.max(...counts); // CHART // let boxFill = (d) => (d[0][0] == "n" ? "gray" : "black"); let boxFill = (d, i) => counts[i] == 0 ? "#eee" : d3.interpolateBlues(Math.sqrt(counts[i]) / Math.sqrt(maxCount)); let sel = d3.select(ret).select("div#steps"); // linked scrolling between labels and playtraces labelsContainer.on("scroll", function (e) { sel.node().scrollTop = this.scrollTop; }); sel.on("scroll", function (e) { labelsContainer.node().scrollTop = this.scrollTop; }); function redraw() { // horizontal scroll and extent let x = mutable xSelection; blocks.attr("x", (d) => x(d[1]) - 150).attr("width", x(1) - x(0) - 1); // required / forbidden scenes labels .attr("text-decoration", (d) => mutable requiredNodes.includes(d[0]) ? "underline" : mutable forbiddenNodes.includes(d[0]) ? "line-through" : "none" ) .text( (d) => `${d[0]} ${ mutable requiredNodes.includes(d[0]) ? "🔒" : mutable forbiddenNodes.includes(d[0]) ? "🚫" : "" }` ); // pinned beats // console.log(mutable pinnedNodes[0].split(",")); pins .selectAll("ellipse") .data([ ...mutable pinnedNodes.map((s) => [...s.split(","), ""]), ...mutable forcedNodes.map((s) => [...s.split(","), "cut"]) ]) // DUPE .join("ellipse") .attr("cy", (d) => legend[d[0]] + 4.5) .attr("cx", (d) => x(d[1]) - 150 + (x(1) - x(0)) / 2) .attr("rx", 4) .attr("ry", 4) .attr("fill", (d) => (d[2] ? "#fff" : "#acf")) .attr("stroke", (d) => (d[2] ? "#000" : "#59f")) .attr("stroke-width", 3) .style("pointer-events", "none"); } let blocks = sel .select("svg") .select("g#steps") .selectAll("rect") .data(steps) .join("rect") .attr("y", (d) => legend[d[0]]) // .attr("height", (d) => (d[0][0] == "n" ? 8 : 22)) .attr("height", 9) .style("fill", boxFill) .on("mouseenter", function (e, d) { mutable hoverPredicate = d; d3.select(this).style("stroke", "darkgray"); }) .on("mouseleave", function (e, d) { d3.select(this).style("stroke", "none"); }) .on("mousedown", function (e, d) { let s = d.join(","); if (mutable pinnedNodes.includes(s)) { mutable forcedNodes.push(s); mutable pinnedNodes.splice(mutable pinnedNodes.indexOf(s), 1); } else if (mutable forcedNodes.includes(s)) { mutable forcedNodes.splice(mutable forcedNodes.indexOf(s), 1); } else mutable pinnedNodes.push(s); // mutable forcedNodes.push(s) mutable forcedNodes = mutable forcedNodes; redraw(); }); let pins = sel.select("svg").select("g#pins"); redraw(); return Object.assign(ret, { redraw }); }34:Ta31,class DendryQuery { constructor( constraint = { require: [], forbid: [], pin: [], force: [] }, horizon = 25, timeoutAfter = 3000, maxWorlds = 0, // 100 maxTraces = 400 // 200 ) { if (!constraint.require) constraint.require = []; if (!constraint.forbid) constraint.forbid = []; if (!constraint.pin) constraint.pin = []; if (!constraint.force) constraint.force = []; this.argumentString = ` ${constraint.require.map((u) => `goal(${u}).`).join("\n")} ${constraint.forbid.map((u) => `poison(${u}).`).join("\n")} quality(Q) :- wants(X,Q,Op,V). quality(Q) :- sets(X,Q,Op,V). has(Q,0,1) :- quality(Q). #const n=${horizon}. `; this.forceString = constraint.force.map((uv) => `pin(${uv}).`).join("\n"); this.frontierCode = [ this.forceString, this.argumentString, ruleString, domainString ].join("\n"); this.pinString = constraint.pin.map((uv) => `pin(${uv}).`).join("\n"); this.traceCode = [this.pinString, this.frontierCode].join("\n"); let worker = (frontierCode, traceCode) => new Promise(async function (resolve, reject) { // VERIFY: clingo-wasm doesn't want to run in parallel console.log("running workers"); let frontier = await run(frontierCode, maxWorlds, [ "--enum-mode=brave" ]); let traces = await run(traceCode, maxTraces, []); console.log("done"); if (frontier.Result === "ERROR") reject("oops - frontier failed"); if (traces.Result === "ERROR") reject("oops - trace failed"); console.log(frontier); console.log(traces); resolve({ frontier: frontier.Call[0].Witnesses.map((w) => w.Value), traces: traces.Call[0].Witnesses.map((w) => w.Value) }); }); this.timeout = new Promise(async function (resolve, reject) { // await run; // on page load, don't start counting until wasm is ready setTimeout(function () { reject("Timed out after " + timeoutAfter / 1000 + "s"); // resolve({ frontier: null, traces: null }); // {traces: Time: { Total: timeoutAfter / 1000 }} }, timeoutAfter); }); this.analysis = Promise.race([ // previewOnly ? Promise.resolve({ frontier: null, traces: null }) : worker(this.frontierCode, this.traceCode), this.timeout ]); // FIXME: halt webassembly worker thread on timeout this.getFrontier = async function () { return (await this.analysis).frontier; }; this.getTraces = async function () { return (await this.analysis).traces; }; } }35:T769,async function makeStateChart() { let worlds = (await hasSeen(hoverPredicate)).map((state) => state.map((s) => mungePredicate(s, false)) ); let raw = worlds.map((state) => state.filter((s) => s[0] == "reaches")); // HACK: melt together all traces that get here let steps = [ ...new Set(raw.map((arr) => arr.map((tup) => tup.join(","))).flat(1)) ].map((s) => s.split(",")); let legend = Object.fromEntries( [...new Set(steps.map((d) => d[1]))].sort().map((s, i) => [s, 5 + i * 20]) ); let ret = html`

`; d3.select(ret) .select("svg") .selectAll("text") .data(Object.entries(legend)) .join("text") .attr("x", 0) .attr("y", (d) => d[1] + 10) .text((d) => d[0]) .attr("font-size", "10"); let counts = steps.map((d) => hasSeen(d).length), maxCount = Math.max(...counts); // CHART // let boxFill = (d) => (d[0][0] == "n" ? "gray" : "black"); let boxFill = (d, i) => d3.interpolateGreys((counts[i] + 50) / maxCount); d3.select(ret) .select("svg") .append("line") .attr("x1", 100) .attr("x2", 100) .attr("y1", 0) .attr("y2", Object.keys(legend).length * 20) .style("stroke", "black"); d3.select(ret) .select("svg") .selectAll("rect") .data(steps) .join("rect") .attr("x", (d) => 100 + +d[2] * 30) .attr("width", 25) .attr("y", (d) => legend[d[1]]) .attr("height", 18) .style("fill", boxFill) .on("click", (e, d) => { mutable traceBuilder = worlds.find((state) => state.find((u) => u[1] == d[1] && u[2] == d[2]) ); viewof horizon.value = Math.max( ...mutable traceBuilder .filter((p) => p[0] == "visited") .map((p) => p[2]) ) + 5; }); return ret; }36:T703,scenes = { let ret = ast; let entitle = (node, nodeIndex) => { node["label"] = node["title"] ? node["title"] .replaceAll(" ", "_") .replaceAll("'", "") // TODO: strip punctuation in general .replaceAll(".", "") .replaceAll("?", "") .replaceAll("-", "") .toLowerCase() : "enter"; // very load-bearing. 'hub(enter)' appears in the domain dict by fiat. // attach labels to each choice present let choices = getLabels(node); // all children except leaf nodes (not in AST) let allChoices = [...choices]; // HACK: gather up nodes missing from AST node["choices"] = getLabels(node[node["title"]]); // all first children node["choices"].forEach((s_) => { if (!choices.includes(s_)) allChoices.push(s_); }); if (node["go-to"]) allChoices.push(...node["go-to"].split("; ").map((s) => "@" + s)); // DUPE: repeat for each node in the scene choices.forEach((s) => { node[s]["choices"] = getLabels(node[s]); node[s]["choices"].forEach((s_) => { if (!choices.includes(s_)) allChoices.push(s_); }); if (node[s]["go-to"]) allChoices.push(...node[s]["go-to"].split("; ").map((s) => "@" + s)); }); allChoices.forEach((s) => { node[s] = node[s] || { choices: [] }; // create blanks for leaf nodes // BRITTLE: generate unique node ids node[s]["label"] = "n" + nodeIndex + "_" + s.slice(1).replaceAll("-", "_").split(" ").slice(0, 1); }); // VERIFY: handle forced choices if (node["go-to"]) node["choices"].push(...node["go-to"].split("; ").map((s) => `@${s}`)); return node; }; return ret.filter((node) => node["is-special"] === undefined).map(entitle); }37:Te47,makeCard = function (scene, version) { const res = html`

`; const flattenOps = (opsDict) => { if (!opsDict) return []; return Object.entries(opsDict).reduce((arr, [op, pairs]) => { Object.entries(pairs).forEach(([k, v]) => arr.push(`${k} ${op} ${v}`)); return arr; }, []); }; const follows = (ast, ptr) => { if (!ptr) return ast.choices; let choices = ast[ptr].choices; if (!choices.length) { if (ast[ptr]["go-to"]) return ast[ptr]["go-to"].split("; ").map((s) => `@${s}`); return []; } return choices; }; const hasSeen = []; function makeTree(sel, ast, ptr = null, depth = 0) { const children = follows(ast, ptr); // don't expand the same label twice, if the scene fans in // FIXME: dupes title style if (hasSeen.includes(ptr)) return sel.html( `

${ ast[ptr] ? ast[ptr].label : "oops" }

` ); sel.call(makeScene, ptr ? ast[ptr] : ast, depth * 15); hasSeen.push(ptr); if (!children.length) return sel; return sel .append("div") .selectAll("div") .data(children) .join("div") .each(function (s) { makeTree(d3.select(this), ast, s, depth + 1); }); } const lookup = // aggregate steps by label steps.reduce((acc, d, i) => { let nodesSeen = (scenesIndex.find((s) => s.label == d[0]) || []).map( (n) => n.label ); nodesSeen.forEach((l) => { if (acc[l]) acc[l] += stepFrequencies[i]; else acc[l] = stepFrequencies[i]; }); return acc; }, {}); function makeScene(sel, choice, indent = 0) { const pre = flattenOps({ ...choice["view-if"], ...choice["choose-if"] }), post = flattenOps(choice["on-arrival"]); const s = choice.label; const titleColor = // highlight nodes in grey if possible, and in blue if observed lookup[s] === undefined ? "#fff" : lookup[s] === 0 ? "#eee" : "#def"; const fontWeight = version.filter((u) => u.label == s).length > 0 ? "bold" : "normal"; // TODO: these ids aren't unique! they should be classes sel.html(`

${ choice.title || choice.label }

`); sel .select("#pre") // preconditions .selectAll("span") .data(pre) .join("span") .text((d) => d) .style("color", (d) => commonVariables.some((v) => d.includes(v)) ? "gray" : "black" ) .style("padding", ".5rem"); sel .select("#post") // postconditions .selectAll("span") .data(post) .join("span") .text((d) => d) .style("color", (d) => commonVariables.some((v) => d.includes(v)) ? "gray" : "black" ) .style("padding", ".5rem"); } makeTree(d3.select(res), scene); // makeScene(d3.select(res), scene); return res; }38:T590,// y positions legend = { let index = [...new Set(steps.map((d) => d[0]))]; // all nodes occuring in the skein let points = Object.fromEntries( index.map((s) => [s, scenesIndex.findIndex((u) => u.label == s)]) ); let res = index .filter((u, i) => points[i] != -1) .reduce((acc, s, i) => { if (acc.scene == s.split("_").slice(1).join("_")) { acc[0].push(s); } else { acc.scene = s.split("_").slice(1).join("_"); acc.unshift([acc.scene, s]); } // acc[points[s]] = [s]; // [...scenesIndex[points[s]].map((u) => u.label)].reverse(); return acc; }, Object.assign([], { scene: "" })); // produce a map from scene index -> labels in this scene /* let ret = index.reduce((acc, s, i) => { if (points[i] == -1) { let idx = +s.split("_")[0].slice(1); // retrieve parent index from stringified choice label acc[idx].push(s); } return acc; }, res); */ let offsets = res .sort((lhs, rhs) => earliestSeen[lhs[0]] - earliestSeen[rhs[0]]) .reverse() // FIXME: wait, why? .reduce((acc, labels) => { if (acc.length == 0) return labels.map((s, i) => [s, i * 11]).reverse(); return [ ...labels.map((s, i) => [s, i * 11 + acc[0][1] + 20]).reverse(), ...acc ]; // return [[s, acc[0][1] + (acc[0][0][0] == "n" ? 10 : 26)], ...acc]; }, []); return Object.fromEntries(offsets); }39:T991,ruleString = ` %%% Solver logic begins. step(0..n). % bounded time value(-1..24). seen(enter,0). % :- ending(X), not 1 <= { seen(X,T) : step(T) }. :- node(X), not hub(X), { seen(X,T) : step(T) } > 1. % do not repeat yourself :- hub(X), seen(X,T), seen(X,T+1), step(T). % do not sit on the hub :- goal(X), node(X), { seen(X,T) : step(T) } < 1. % I need to see each goal once % 1 <= { seen(X,T) : step(T) } :- goal(X). % I may *choose to* see each goal once :- poison(X), seen(X,T), node(X), step(T). % I can't see poison :- goal(Y), class(Y), {seen(X,T) : abstracts(Y, X), step(T)} < 1. :- poison(Y), abstracts(Y, X), seen(X,T), step(T). % :- not seen(X,T), pin(X,T). % I need to see each pin seen(X,T) :- pin(X,T). % :- seen(X,T), seen(Y,T), X != Y, step(T). :- step(T), 2 { seen(X,T): node(X) }. % walk along the trace { seen(Y,T) : available(Y,T) } = 1 :- seen(X,T-1), not T-1 == n. available(Y,T) :- step(T), node(Y), satisfied(Q, Op, V, T) : wants(Y, Q, Op, V). % enforce preconditions ever_wants(Q, Op, Thresh) :- wants(Y, Q, Op, Thresh). satisfied(Q, eq, V, T) :- has(Q, V, T). satisfied(Q, geq, Thresh, T) :- has(Q, V, T), V >= Thresh, ever_wants(Q, geq, Thresh). satisfied(Q, leq, Thresh, T) :- has(Q, V, T), V <= Thresh, ever_wants(Q, leq, Thresh). satisfied(Q, gt, Thresh, T) :- has(Q, V, T), V > Thresh, ever_wants(Q, gt, Thresh). satisfied(Q, lt, Thresh, T) :- has(Q, V, T), V < Thresh, ever_wants(Q, lt, Thresh). % link(enter, Y) :- root(Y). % link every root to hub % link(X, Y) :- leaf(X), root(Y). % link(X, enter) :- leaf(X). % link(X, Y) :- parent(X,Y). % link every choice to parent % reaches(Q,V) :- has(Q,V,T). visited(X,T) :- seen(X,T). % not hub(X). % apply postconditions ever_set(T, Q, Op, V) :- seen(X, T), sets(X, Q, Op, V). has(Q,V,T+1) :- ever_set(T,Q,set,V), value(V). has(Q,V,T+1) :- ever_set(T,Q,inc,Delta), has(Q,V-Delta,T), value(V), value(Delta). has(Q,V,T+1) :- ever_set(T,Q,dec,Delta), has(Q,V+Delta,T), value(V), value(Delta). updated(Q,T) :- ever_set(T,Q,_Op,_V). % mark when the quality is touched has(Q,V,T+1) :- % floodfill values until mark has(Q,V,T), step(T), not updated(Q,T). %%% Solver logic ends. % #show has(Q,V,T): has(Q,V,T), V > 0. #show reaches(Q,V): has(Q,V,T), T == n, V != 0. #show visited/2. `3a:T6ed,pathsByScene = (s) => { let ret = [[s]], root = s; // recursively generate paths, without repeating yourself // TODO: allow intentional loops (e.g. dialogue) that are obviously self-limiting // (i.e. an exception for view-if[=] / on-arrival[+=] pairs) let depth = 0; while (ret.some((u) => u[0]["go-to"] || u[0].choices.length > 0)) { depth += 1; if (depth > 40) throw Error("Infinite loop in scene: " + s["title"]); ret = ret .map((u) => { return u[0].choices.length == 0 ? u[0]["go-to"] ? u[0]["go-to"] .split("; ") .map((l) => "@" + l) .map((v) => [root[v], ...u]) : [u] : u[0].choices .filter( (v) => !u.map((seen) => seen.label).includes(root[v].label) ) .map((v) => [root[v], ...u]); }) .flat(); } // generate view-if and on-arrival for each path return ret.map((u, i) => { let onArrival = combineOnArrival(u); let viewIf = combineViewIf(u); let chooseIf = combineViewIf(u, "choose-if"); // warn if assignments and requirements collide let collisions = Object.values(viewIf) .map((kv) => Object.keys(kv)) .filter((ks) => Object.values(onArrival) .map((kv) => Object.keys(kv)) .includes(ks) ); if (collisions.length > 0) throw `Feature not implemented: ${collisions} occurs in both a precondition and a postcondition`; let res = Object.keys(chooseIf).length > 0 ? Object.assign(u, { "choose-if": chooseIf }) : u; return Object.assign(res, { "view-if": viewIf, "on-arrival": onArrival, label: `v${i}_${s.label}` }); }); }3b:T448,domainString = { return ` node(${scenesIndex .map((s) => s.label) .filter((l) => !hand.includes(l)) .join("; ")}). root(${scenesIndex.map((s) => s.label).join("; ")}). leaf(${scenesIndex.map((s) => s.label).join("; ")}). class(${scenes.map((s) => s.label).join("; ")}). ${scenesIndex .map( (s) => `abstracts(${s.label.split("_").slice(1).join("_")}, ${s.label}).` ) .join(" ")} ${scenesExpanded .flat() .map((s) => preconditions(s)) .flat() .join(" ")} ${scenesExpanded .flat() .map((s) => postconditions(s)) .flat() .join(" ")} `; /* ` hub(enter). root(${scenes.map((s) => s.label).join("; ")}). leaf(${scenes .map((s) => leavesIn(s) .filter((s) => s[0] == "@") .map((k) => s[k].label) ) .flat() .join("; ")}). parent(${scenes .map((s) => linksIn(s) .map((vw) => vw.join(", ")) .join("; ") ) .filter((s) => s) .join(").\n parent(")}). ${scenes .map((s) => preconditions(s)) .flat() .join("\n")} ${scenes .map((s) => postconditions(s)) .flat() .join("\n")} node(${nodes.join("; ")}). ` */ }3c:[{"id":"d40ed751d78762152ac802170df5e29559e7bc94ee5217c15098b8394504c05d9178a1daa9dd106136399f92fbf5ff72736e04f64284c523a09689fdc5eb4a71","href":"https://static.observableusercontent.com/files/d40ed751d78762152ac802170df5e29559e7bc94ee5217c15098b8394504c05d9178a1daa9dd106136399f92fbf5ff72736e04f64284c523a09689fdc5eb4a71","name":"bee-scenes-ast@2.json","type":"application/json","lastModified":1677892769249.498,"size":166439}] 30:{"id":"8d0508ea75589ad1","slug":"dendryscope-demo","title":"Dendryscope Demo","thumbnail":"38eb7e7432f6fea9ee56f88601c45e0fb99e04b4e707db2c1e90372e5d4deadd","access_level":"unlisted","create_time":"$D2023-02-17T03:54:38.139Z","update_time":"$D2026-01-18T00:13:33.630Z","view_time":null,"first_public_time":null,"has_unpublished_edits":null,"fork":true,"stars":0,"starred":false,"owner":{"type":"team","id":"43e035ce64fad801","login":"jazztap","name":"Jasmine Otto","avatar_url":"https://avatars-next.observableusercontent.com/1d847b962089e3524d821a011682b5ec09925cb269ab3f15456fb6e38e574bcc","tier":"starter_2024","bio":"Design engineer, visualization researcher."},"version":4719,"publish_version":null,"role":null,"authored":false,"authors":[{"type":"individual","id":"91a3f7bf83a60ddd","login":"jazztap","name":"Jasmine Otto","avatar_url":"https://avatars-next.observableusercontent.com/1d847b962089e3524d821a011682b5ec09925cb269ab3f15456fb6e38e574bcc","tier":null,"bio":"Design engineer, visualization researcher."}],"members":[{"type":"individual","id":"91a3f7bf83a60ddd","login":"jazztap","name":"Jasmine Otto","avatar_url":"https://avatars-next.observableusercontent.com/1d847b962089e3524d821a011682b5ec09925cb269ab3f15456fb6e38e574bcc","tier":null,"role":"editor"}],"comments":[],"custom_thumbnail":true,"trashed":false,"lapsed":null,"subscribed":null,"forks":0,"collection":null,"type":"notebook","body":{"titling":"auto","title":"Dendryscope Demo","cells":[{"id":0,"value":"# Dendryscope Demo\n- [Bee](https://inthewalls.itch.io/bee) (2012, Emily Short) [[source]](https://github.com/dendry/bee)\n- [Clingo](https://teaching.potassco.org/) (via Dominic Moritz's WASM port) [[demo]](https://observablehq.com/@cmudig/clingo) ","pinned":false,"hidden":false,"mode":"md","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"","database":"$undefined"},{"id":2506,"value":"legendSwatches = Swatches(colorByTag)","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":4010,"value":"html`

${legendSwatches}

I can see ${hoverPredicate[0]} at step ${hoverPredicate[1]}

`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":2617,"value":"$32","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":1412,"value":"$33","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":4006,"value":"controlBox = html`

${viewof horizon} ${viewof timeout} ${viewof doQuery}

\n${makeCard(scene, sceneVersion)}\n${await makeStateChart()}\n

`\n/*\n

${[...sceneVersion]\n .reverse()\n .map((u) => `

${u.label}

`)\n .join(\"\")}

\n*/","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":4374,"value":"sceneVersion","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":2296,"value":"mutable pinnedNodes = []","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":3596,"value":"mutable forcedNodes = [] // TODO: like pins, but the frontier gets stuck down","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":3265,"value":"mutable requiredNodes = []","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":3267,"value":"mutable forbiddenNodes = []","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":1960,"value":"q = {\n doQuery;\n return new DendryQuery(\n {\n require: mutable requiredNodes,\n forbid: mutable forbiddenNodes,\n pin: mutable pinnedNodes, // viewof pinnedSteps.value,\n force: mutable forcedNodes\n },\n viewof horizon.value,\n viewof timeout.value\n );\n}","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":1942,"value":"$34","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":3408,"value":"viewof browseTag = Inputs.select([...new Set(scenes.map((u) => u.tags))], {\n value: \"top\"\n})","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":3223,"value":"{\n let ret = md`${scenes\n .filter((s) => s.tags == browseTag)\n .map(\n (s) => `##### ${s.title}\n${s.label} \n${s.subtitle}`\n )\n .join(\"\\n\\n\")}`;\n d3.select(ret).style(\"height\", \"200px\").style(\"overflow-y\", \"scroll\");\n return ret;\n}","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":4421,"value":"//queryPreview = [qPreview.forceString, qPreview.argumentString].join(\"\\n\").trim()","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":4427,"value":"/* qPreview = {\n return new DendryQuery(\n {\n require: requiredNodes,\n forbid: forbiddenNodes,\n pin: pinnedNodes, // viewof pinnedSteps.value,\n force: forcedNodes\n },\n viewof horizon.value,\n viewof timeout.value\n );\n} */","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":2623,"value":"xScale = d3.scaleLinear([1, horizon], [360, width - 10])","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":1886,"value":"viewof horizon = Inputs.range([1, 30], {\n label: \"run for this many timesteps\",\n step: 1,\n value: 5\n})","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":3344,"value":"viewof timeout = Inputs.range([0, 30000], {\n label: \"give up after this many ms\",\n step: 1000,\n value: 2000\n})","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":3309,"value":"viewof doQuery = html``","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":3524,"value":"mutable debug = []","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":1681,"value":"$35","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":1815,"value":"mutable traceBuilder = null","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":1628,"value":"mutable hoverPredicate = []","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":1466,"value":"viewof filterIndex = Inputs.range([1, visibility.length], {\n label: \"threshold of brave enumeration steps\",\n step: 1,\n value: visibility.length,\n disabled: true\n})","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":2819,"value":"mutable xSelection = xScale","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":977,"value":"getLabels = (u) => {\n return typeof u == \"object\" ? Object.keys(u).filter((s) => s[0] == \"@\") : [];\n}","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":3216,"value":"### domain synthesis\ningests: an abstract syntax tree representing all dendry scenes","pinned":false,"hidden":false,"mode":"md","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"","database":"$undefined"},{"id":37,"value":"$36","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":926,"value":"egress = (node) =>\n node[\"go-to\"]\n ? node[\"go-to\"].split(\"; \").map((s) => \"@\" + s) // HACK: a lil' parsing for probabilistic gotos\n : node[\"choices\"]","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":865,"value":"// includes landing node label\nlabelsIn = (s) => {\n let idxs = Object.keys(s).filter((k) => k[0] == \"@\");\n return [s[\"label\"], ...idxs.map((k) => s[k][\"label\"])];\n}","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":1115,"value":"// excludes landing node by default\nnodesIn = (s, inclusive = false) => {\n let idxs = Object.keys(s).filter((k) => k[0] == \"@\");\n let ret = idxs.map((k) => s[k]);\n return inclusive ? [s, ...ret] : ret;\n}","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":868,"value":"nodes = scenes.map((s) => labelsIn(s)).flat()","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":914,"value":"linksIn = (s) => {\n let idxs = Object.keys(s).filter((k) => k[0] == \"@\");\n return [\n ...egress(s).map((tar) => [s.label, s[tar].label]),\n ...idxs\n .map((k) => egress(s[k]).map((tar) => [s[k].label, s[tar].label]))\n .flat()\n ];\n}","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":879,"value":"leavesIn = (s) => {\n let idxs = Object.keys(s).filter((k) => k[0] == \"@\");\n // return idxs.filter((k) => s[k].choices.length == 0).map((k) => s[k][\"label\"]);\n\n let ret = idxs.filter((k) => egress(s[k]).length == 0);\n return idxs.length == 0 ? [s.label] : ret;\n}","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":1183,"value":"mungeOpsTree = (opDict) => (ast) => {\n if (ast === undefined) return [];\n\n let sanitize = (key) => key.replaceAll(\"-\", \"_\");\n\n return Object.entries(ast)\n .map(([op, kv]) =>\n Object.entries(kv).map(([k, v]) => [sanitize(k), opDict[op], v])\n )\n .flat();\n}","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":4097,"value":"sceneVersion = scenesExpanded.flat().find((s) => s.label == hoverPredicate[0])","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":594,"value":"scene = {\n // let s = { ...scenes.find((s) => !s.title) };\n let s = {\n ...scenes.find((s) =>\n labelsIn(s).includes(hoverPredicate[0].split(\"_\").slice(1).join(\"_\"))\n )\n\n // ...scenes[46] // A Call to Arms\n // ...scenes.find((s) => (s.title ? s.title.includes(\"Seen\") : false)) // TODO: 'heard rather than seen' has a conditional go-to\n // ...scenes.find((s) => (s.title ? s.title.includes(\"Church\") : false))\n // ...scenes.find((s) => (s.title ? s.title.includes(\"Hawaii\") : false))\n // ...scenes[30] // hub scene\n };\n return s;\n}","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":40,"value":"$37","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":444,"value":"\ncommonVariables = [...variables].filter(\n // all variables in >25% of preconditions\n (v) => pres.filter((sig) => sig.includes(v)).length > scenes.length / 4\n)","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":2571,"value":"earliestSeen = {\n function earliestSeen(label) {\n let node = scenesIndex.find((u) => u.label == label);\n if (node === undefined) return [label, -1];\n let ret = steps.find((d) => d[0] == node.label);\n return [ret[0], +ret[1]];\n }\n\n let index = [...new Set(steps.map((d) => d[0]))]; // DUPE\n return Object.fromEntries(\n index\n .map((s) => earliestSeen(s))\n .filter((out) => out[1] !== -1)\n .sort((lhs, rhs) => lhs[1] - rhs[1])\n );\n}","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":2039,"value":"$38","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":2494,"value":"colorByTag = d3.scaleOrdinal(\n [\"virtual\", ...new Set(scenes.map((u) => u.tags))].filter((u) => u),\n d3.schemeTableau10\n)\n// FIXME: pretty sure this is only the first tag","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":2420,"value":"legendTags = {\n // TODO: refactor legend to separate y-position from node-flattening\n let labels = scenesIndex.filter((u) => Object.keys(legend).includes(u.label));\n return Object.fromEntries([\n ...labels\n .map((u) => [u].map((v) => [v.label, u.slice(-1)[0].tags])) // [u, ...nodesIn(u)]\n .flat(1),\n ...scenes.map((u) => [u.label, \"virtual\"])\n ]);\n}","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":4704,"value":"q.getTraces()","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":1623,"value":"visibility = {\n try {\n let res = await q.getFrontier();\n return res.slice(-1)[0].filter((s) => s.includes(\"visited\")); // \"visited\"\n } catch {\n return [];\n }\n}\n/* .reduce(\n (acc, s) => {\n const node = s.split(\"(\")[1].split(\",\")[0];\n const scene = node == \"enter\" ? acc.step + 1 : acc.step;\n\n acc.res.push(`visited(${node},${scene})`);\n acc.step = scene;\n return acc;\n },\n { step: 0, res: [] }\n ).res */","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":1648,"value":"steps = visibility\n .filter((s, i) => i < filterIndex)\n .map((s) => mungePredicate(s))\n .filter((d) => d[0] !== \"enter\")","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":2051,"value":"stepFrequencies = Promise.all(\n steps.map(async function (d) {\n return (await hasSeen(d)).length;\n })\n)","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":1929,"value":"lastSceneCandidates = steps.filter(\n (s) => +s[1] > horizon - 5 && !Number.isInteger(+s[0][1])\n)","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":1636,"value":"hasSeen = async function (args) {\n return (await q.getTraces()).filter((trace) =>\n trace.find((p) => p == `visited(${args.join(\",\")})`)\n );\n}","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":1416,"value":"mungePredicate = (s, justArgs = true) => {\n let getArgs = /([-\\w]+)\$([-\\w,]+)\$/;\n let res = getArgs.exec(s);\n\n if (justArgs) return res[2].split(\",\");\n return [res[1], ...res[2].split(\",\")];\n // return { predicate: res[1], args: res[2].split(\",\") };\n}","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":3919,"value":"// [q.forceString, q.argumentString, ruleString, domainString].join(\"\\n\")","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":720,"value":"$39","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":1084,"value":"preconditions = (s) => {\n let munge = mungeOpsTree({\n \"<=\": \"lte\",\n \"<\": \"lt\",\n \"=\": \"eq\",\n \">=\": \"gte\",\n \">\": \"gt\"\n });\n\n let ret = nodesIn(s, \"inclusive\")\n .map((node) =>\n [...munge(node[\"view-if\"]), ...munge(node[\"choose-if\"])].map((v) => [\n node[\"label\"],\n v\n ])\n )\n .flat()\n .map(([k, v]) => `wants(${k}, ${v.join(\", \")}).`);\n return ret;\n}","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":1082,"value":"postconditions = (s) => {\n let munge = mungeOpsTree({ \"+=\": \"inc\", \"-=\": \"dec\", \"=\": \"set\" });\n\n let ret = nodesIn(s, \"inclusive\")\n .map((node) => munge(node[\"on-arrival\"]).map((v) => [node[\"label\"], v]))\n .flat()\n .map(([k, v]) => `sets(${k}, ${v.join(\", \")}).`);\n return ret;\n}","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":3788,"value":"combineOnArrival = (path) =>\n Object.fromEntries(\n [\"=\", \"+=\", \"-=\"]\n .map((op) => {\n return [\n op,\n path.reduce((acc, v) => {\n if (!v[\"on-arrival\"]) return acc;\n let res = { ...v[\"on-arrival\"][op] } || {}; // NOTE: we'd need a deep clone for object-valued qualities\n let collisions = Object.keys(res).filter((k) => acc[k]);\n collisions.forEach((k) => {\n // apply both conditions\n if ([\"+=\", \"-=\"].includes(op)) res[k] += acc[k];\n else res[k] = acc[k]; // last assignment takes precedence\n });\n return Object.assign(acc, res);\n }, {})\n ];\n })\n .filter(([k, v]) => Object.keys(v).length > 0)\n )","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":3796,"value":"combineViewIf = (path, prop = \"view-if\") =>\n Object.fromEntries(\n [\">\", \">=\", \"=\", \"<=\", \"<\"]\n .map((op) => {\n return [\n op,\n path.reduce((acc, v) => {\n if (!v[prop]) return acc;\n let res = v[prop][op] || {};\n let collisions = Object.keys(res).filter((k) => acc[k]);\n collisions.forEach((k) => {\n // take intersection of both conditions\n if ([\">\", \">=\"].includes(op)) res[k] = Math.max(acc[k], res[k]);\n else if ([\"<\", \"<=\"].includes(op))\n res[k] = Math.min(acc[k], res[k]);\n else res[k] = acc[k] == res[k] ? acc[k] : null;\n });\n return Object.assign(acc, res);\n // FIXME: requirements downstream of assignment to the same key must be modified, if there is some collision\n }, {})\n ];\n })\n .filter(([k, v]) => Object.keys(v).length > 0)\n )","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":4710,"value":"{\n let s = scenes.find((u) => u.title.includes(\"Intervenes\"));\n let ret = [[s]],\n root = s;\n // recursively generate paths, without repeating yourself\n let depth = 0;\n while (ret.some((u) => u[0][\"go-to\"] || u[0].choices.length > 0)) {\n depth += 1;\n if (depth > 40) throw Error(\"Infinite loop in scene: \" + s[\"title\"]);\n ret = ret\n .map((u) => {\n return u[0].choices.length == 0\n ? u[0][\"go-to\"]\n ? u[0][\"go-to\"]\n .split(\"; \")\n .map((l) => \"@\" + l)\n .map((v) => [root[v], ...u])\n : [u]\n : u[0].choices\n .filter(\n (v) => !u.map((seen) => seen.label).includes(root[v].label)\n )\n .map((v) => [root[v], ...u]);\n })\n .flat();\n }\n return ret;\n}","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":3698,"value":"$3a","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":3681,"value":"scenesExpanded = {\n return scenes.map(pathsByScene);\n // TODO: disambiguate 'epilogue' scenes 23 - 27\n}","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":3935,"value":"scenesIndex = scenesExpanded.flat() // scenes","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":3967,"value":"hand = scenesIndex.filter((u) => u[0][\"max-choices\"]).map((u) => u.label) // BRITTLE: special handling for the hub scene","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":767,"value":"$3b","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":573,"value":"### ui helpers","pinned":false,"hidden":false,"mode":"md","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"","database":"$undefined"},{"id":230,"value":"pres = scenes.reduce((acc, scene) => {\n acc.push(extract(scene[\"view-if\"]));\n return acc;\n}, [])","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":242,"value":"posts = scenes.reduce((acc, scene) => {\n acc.push(extract(scene[\"on-arrival\"]));\n return acc;\n}, [])","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":247,"value":"variables = new Set([...pres.flat(), ...posts.flat()])","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":266,"value":"makeToggle = (variable, prompt, value = false) =>\n Object.assign(Inputs.toggle({ label: `${prompt} ${variable}`, value }), {\n variable\n })","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":571,"value":"### ast helpers","pinned":false,"hidden":false,"mode":"md","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"","database":"$undefined"},{"id":429,"value":"mutable filterEffectsBuffer = []","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":370,"value":"conditionsByVar = (v) => (scene) => {\n let src = scene[\"view-if\"] || {};\n return Object.entries(src).reduce((acc, [op, kv]) => {\n if (Object.keys(kv).includes(v)) acc.push({ value: kv[v], op });\n return acc;\n }, []);\n}","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":376,"value":"effectsByVar = (v) => (scene) => {\n let src = scene[\"on-arrival\"] || {};\n return Object.entries(src).reduce((acc, [op, kv]) => {\n if (Object.keys(kv).includes(v)) acc.push({ value: kv[v], op });\n return acc;\n }, []);\n}","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":238,"value":"extract = (ops) => {\n if (!ops) return [];\n let res = Object.values(ops);\n return res.map((u) => Object.keys(u)).flat();\n}","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":566,"value":"### requirements","pinned":false,"hidden":false,"mode":"md","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"","database":"$undefined"},{"id":3480,"value":"ast = FileAttachment(\"bee-scenes-ast@2.json\").json()","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":560,"value":"run = {\n const clingo = await require(\"clingo-wasm@0.0.14\");\n await clingo.init(\n \"https://cdn.jsdelivr.net/npm/clingo-wasm@0.0.14/dist/clingo.wasm\"\n );\n return clingo.run;\n}","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":2500,"value":"import { Swatches } from \"@d3/color-legend\"","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":2789,"value":"### scratch","pinned":false,"hidden":false,"mode":"md","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"","database":"$undefined"},{"id":534,"value":"pathsFrom = (node) => {\n function follow(node) {\n // fixme: ground\n\n let choices = node[\"title\"]\n ? Object.keys(node[node[\"title\"]])\n : Object.keys(node).filter((k) => k[0] == \"@\");\n\n if (!choices) {\n let goto = Object.entries(node).find(([k, v]) => k == \"go-to\");\n if (goto !== undefined) {\n return follow(scenes[goto[1].split(\"; \")]);\n }\n }\n return follow(choices);\n }\n return follow(node);\n}","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"},{"id":2787,"value":"paths = (scene) => {\n let ret = pathsFrom(scene);\n // FIXME: follow go-to. accumulate view-if and on-arrival.\n\n ret = ret.reduce((acc, [key, choice]) => {\n acc.push(...pathsFrom(choice).map((u) => [key, ...u]));\n return acc;\n }, []);\n\n // FIXME: to arbitrary depth\n return ret;\n}","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","tool":"$undefined","providerMetadata":"$undefined","attachments":"$undefined","output":"$undefined","database":"$undefined"}],"files":"$W3c","stdlib":"1"}} 31:"$30:body"