@polycode-projects/the-mechanical-code-talker 2.6.1 → 2.7.0

package/corpus/conceptnet/child-seed.mjs

@@ -0,0 +1,169 @@
+// child-seed.mjs — the age-of-acquisition seed for the CHILD triples pack, and
+// the licence decision that shaped it. NOT part of the product path — a
+// maintainer file, read by scripts/fetch-child-corpus.mjs to select a
+// child-concept slice of the full ConceptNet dump. Sits beside
+// fetch-slice.mjs's SEED_TERMS on purpose: same role (the seed the dump is
+// filtered against), different domain (everyday concepts a young child knows,
+// not the software/tech world).
+//
+// THE LICENCE DECISION (settled before any data was fetched, PLAN step 1).
+// The plan proposed seeding from a published age-of-acquisition word list —
+// Kuperman, Stadthagen-Gonzalez & Brysbaert (2012), 30,121 rated English
+// words — thresholded at AoA <= 8. Two candidates were checked for shippable
+// terms, and both were ruled out for a package that ships publicly under
+// MPL-2.0:
+//
+//   - Kuperman et al. 2012 (crr.ugent.be / Center for Reading Research, Ghent).
+//     The original distribution site was restructured and its file terms could
+//     not be verified directly. The aggregator norare.clld.org relabels its own
+//     compilation CC-BY-4.0, but that is the aggregate database's label, not a
+//     verified grant on the raw Kuperman file. The same lab's sibling AoA norms
+//     (Ghyselinck, Custers & Brysbaert, still live at ugent.be) state their
+//     terms plainly: "the norms are for non-profit use only" and "can be
+//     downloaded and/or consulted for research purposes." That is a
+//     NonCommercial, research-only restriction. Shipping a threshold-filtered
+//     derivative list inside a public, commercially-usable npm package is
+//     exactly what such terms forbid, and a NoDerivatives condition (common on
+//     these norms) would forbid the derivative list on its own. Unverifiable +
+//     non-commercial => not shippable here.
+//
+//   - Dale-Chall 3,000 (the New Dale-Chall list, Chall & Dale, Readability
+//     Revisited, Brookline Books, 1995). Widely reproduced online, and an
+//     MIT-packaged copy exists (github.com/words/dale-chall). But the 3,000-word
+//     list is the selection and arrangement published in a 1995 copyrighted
+//     book; "widely reproduced" is not a licence grant from the rights holder,
+//     and the clean, verifiable status of the list as distributable data could
+//     not be established. Unverifiable => not shippable under the plan's own
+//     "do not ship anything whose terms you could not verify" rule.
+//
+// DECISION: author a maintainer-owned original child-concept seed — the plan's
+// named third option, and the honest one. It is hand-curated everyday
+// vocabulary (the same first-party pattern as corpus/tier2/human.jsonl), owned
+// by this repository under MPL-2.0, and it needs no external licence because it
+// copies no external list. It is NOT derived from Kuperman or Dale-Chall: no
+// rated or ranked list was filtered to produce it. It is a filter, never a
+// source (a word list only selects which ConceptNet edges ship) — so the
+// SHIPPED DATA (corpus/child/, the triples) inherits ConceptNet's CC-BY-SA-4.0,
+// exactly like corpus/conceptnet/slice.jsonl, while this seed file stays
+// MPL-2.0. See corpus/child/LICENSE-NOTICE and corpus/LICENSES.json.
+
+// The curation target: the concepts a bright ~8-year-old knows. This is the
+// plan's "top-decile knob" made an explicit number instead of a claim about
+// Dutch schooling — the age a maintainer raises to admit an older child's
+// vocabulary (widen CHILD_SEED_TERMS to match). Selection is by hand to this
+// target, not by thresholding a licensed AoA file (see the licence decision
+// above), so the constant documents the curation boundary rather than driving a
+// numeric cut.
+export const CHILD_AOA_TARGET_YEARS = 8;
+
+// Everyday concepts, underscored to match ConceptNet's bare term URIs
+// (/c/en/teddy_bear -> "teddy_bear"), grouped by semantic field. An edge ships
+// if EITHER endpoint's bare term is in this set, so a hypernym like "bird"
+// pulls in every "<species> IsA bird" edge and a verb like "fly" pulls in every
+// "<thing> CapableOf fly" edge without the species or the thing being listed.
+// The bird/flight fields are deliberately dense: they are the plan's acceptance
+// probes (kinds of bird, capabilities among them, things that can fly).
+export const CHILD_SEED_TERMS = [
+  // animals — the everyday menagerie
+  "animal", "pet", "dog", "puppy", "cat", "kitten", "rabbit", "bunny", "mouse",
+  "rat", "hamster", "guinea_pig", "horse", "pony", "cow", "calf", "pig", "piglet",
+  "sheep", "lamb", "goat", "chicken", "hen", "rooster", "duck", "duckling",
+  "goose", "turkey", "fox", "wolf", "bear", "lion", "tiger", "elephant", "giraffe",
+  "zebra", "monkey", "gorilla", "kangaroo", "koala", "panda", "deer", "squirrel",
+  "hedgehog", "mole", "bat", "frog", "toad", "snake", "lizard", "turtle", "tortoise",
+  "crocodile", "dinosaur", "whale", "dolphin", "shark", "seal", "octopus", "crab",
+  "lobster", "starfish", "jellyfish", "snail", "worm", "spider", "ant", "bee",
+  "wasp", "fly", "ladybug", "butterfly", "caterpillar", "moth", "beetle", "insect",
+  "bug", "grasshopper", "cricket", "dragonfly",
+  // birds — dense on purpose (kinds of bird, and what they can do)
+  "bird", "robin", "sparrow", "swallow", "swift", "wren", "finch", "blackbird",
+  "crow", "raven", "magpie", "pigeon", "dove", "seagull", "gull", "duck", "swan",
+  "goose", "owl", "eagle", "hawk", "falcon", "kestrel", "vulture", "parrot",
+  "budgie", "canary", "peacock", "flamingo", "stork", "heron", "crane", "penguin",
+  "ostrich", "emu", "kiwi", "woodpecker", "kingfisher", "hummingbird", "chick",
+  "nest", "feather", "wing", "beak", "egg",
+  // the body
+  "body", "head", "hair", "face", "eye", "ear", "nose", "mouth", "lip", "tooth",
+  "tongue", "cheek", "chin", "neck", "shoulder", "arm", "elbow", "hand", "finger",
+  "thumb", "nail", "chest", "tummy", "belly", "back", "bottom", "leg", "knee",
+  "foot", "toe", "heart", "bone", "skin", "blood", "brain",
+  // family & people
+  "family", "mum", "mummy", "mother", "dad", "daddy", "father", "parent", "baby",
+  "child", "kid", "boy", "girl", "brother", "sister", "grandma", "grandpa",
+  "grandmother", "grandfather", "aunt", "uncle", "cousin", "friend", "person",
+  "people", "man", "woman", "teacher", "doctor", "nurse", "dentist", "farmer",
+  "police_officer", "firefighter", "postman", "driver", "chef", "king", "queen",
+  "prince", "princess", "pirate", "giant", "witch", "wizard", "fairy", "monster",
+  "ghost", "dragon",
+  // food & drink
+  "food", "breakfast", "lunch", "dinner", "snack", "meal", "bread", "toast",
+  "butter", "jam", "sandwich", "cheese", "egg", "milk", "water", "juice", "tea",
+  "coffee", "cake", "biscuit", "cookie", "chocolate", "sweet", "candy", "sugar",
+  "honey", "ice_cream", "lolly", "fruit", "apple", "banana", "orange", "pear",
+  "grape", "strawberry", "cherry", "lemon", "peach", "plum", "melon", "pineapple",
+  "vegetable", "potato", "carrot", "pea", "bean", "tomato", "cucumber", "lettuce",
+  "onion", "corn", "mushroom", "pumpkin", "rice", "pasta", "pizza", "soup",
+  "chip", "fish", "meat", "chicken", "sausage", "burger", "salt", "pepper",
+  // home
+  "house", "home", "flat", "room", "door", "window", "wall", "floor", "ceiling",
+  "roof", "stair", "chimney", "garden", "fence", "gate", "kitchen", "bathroom",
+  "bedroom", "living_room", "table", "chair", "sofa", "bed", "pillow", "blanket",
+  "cupboard", "shelf", "drawer", "lamp", "clock", "mirror", "carpet", "curtain",
+  "television", "telephone", "fridge", "oven", "cooker", "sink", "bath", "shower",
+  "toilet", "soap", "towel", "toothbrush", "cup", "mug", "glass", "plate", "bowl",
+  "spoon", "fork", "knife", "pan", "pot", "kettle", "bottle", "box", "bag",
+  "basket", "bucket", "brush", "broom", "key", "candle", "toy",
+  // clothes
+  "clothes", "shirt", "tshirt", "jumper", "sweater", "coat", "jacket", "dress",
+  "skirt", "trousers", "jeans", "shorts", "sock", "shoe", "boot", "slipper",
+  "hat", "cap", "scarf", "glove", "mitten", "belt", "button", "pocket", "pyjamas",
+  "nappy", "apron", "raincoat", "wellington",
+  // school & play
+  "school", "class", "classroom", "lesson", "teacher", "pupil", "book", "story",
+  "page", "word", "letter", "number", "pencil", "pen", "crayon", "paint",
+  "brush", "paper", "glue", "scissors", "ruler", "rubber", "chalk", "desk",
+  "bag", "lunchbox", "playground", "swing", "slide", "seesaw", "ball", "bat",
+  "kite", "balloon", "bubble", "game", "puzzle", "jigsaw", "block", "brick",
+  "doll", "teddy", "teddy_bear", "robot", "drum", "whistle", "marble", "skipping_rope",
+  // getting around
+  "car", "bus", "lorry", "truck", "van", "taxi", "bike", "bicycle", "tricycle",
+  "scooter", "motorbike", "train", "tram", "boat", "ship", "sailboat", "canoe",
+  "ferry", "plane", "aeroplane", "airplane", "aircraft", "jet", "helicopter",
+  "rocket", "spaceship", "balloon", "wheel", "engine", "road", "street", "bridge",
+  "tunnel", "station", "airport", "harbour", "traffic_light",
+  // the world outside
+  "tree", "leaf", "branch", "root", "trunk", "wood", "forest", "flower", "petal",
+  "rose", "daisy", "tulip", "grass", "bush", "plant", "seed", "garden", "park",
+  "field", "farm", "hill", "mountain", "valley", "cave", "rock", "stone", "sand",
+  "mud", "puddle", "pond", "lake", "river", "stream", "sea", "ocean", "beach",
+  "island", "wave", "shell", "cliff", "waterfall",
+  // sky & weather
+  "sky", "sun", "moon", "star", "cloud", "rainbow", "rain", "snow", "snowflake",
+  "ice", "frost", "wind", "storm", "thunder", "lightning", "fog", "sunshine",
+  "shadow", "day", "night", "morning", "afternoon", "evening", "weather",
+  // time, seasons, celebrations
+  "time", "hour", "minute", "week", "month", "year", "today", "tomorrow",
+  "yesterday", "birthday", "party", "present", "christmas", "holiday", "weekend",
+  "spring", "summer", "autumn", "winter", "season",
+  // colours & shapes (concepts, not just adjectives)
+  "colour", "color", "red", "orange", "yellow", "green", "blue", "purple", "pink",
+  "brown", "black", "white", "grey", "gold", "silver", "shape", "circle", "square",
+  "triangle", "rectangle", "star", "heart", "line", "dot",
+  // everyday verbs (pull in CapableOf / HasSubevent edges)
+  "run", "walk", "jump", "hop", "skip", "climb", "crawl", "swim", "fly", "float",
+  "dive", "roll", "spin", "dance", "sing", "shout", "laugh", "cry", "smile",
+  "sleep", "wake", "eat", "drink", "bite", "chew", "cook", "bake", "wash", "clean",
+  "brush", "read", "write", "draw", "paint", "count", "play", "throw", "catch",
+  "kick", "push", "pull", "carry", "build", "break", "fix", "cut", "dig", "plant",
+  "grow", "melt", "freeze", "burn", "splash", "bounce", "hide", "chase", "hug",
+  "kiss", "help", "share", "give", "take", "find", "lose", "open", "close", "ride",
+  "drive", "sail", "row", "hear", "see", "look", "listen", "smell", "taste",
+  "touch", "feel", "think", "learn", "teach", "talk", "ask", "answer", "whisper",
+  // simple properties & feelings (HasProperty)
+  "big", "small", "little", "tall", "short", "long", "tiny", "huge", "fast",
+  "slow", "hot", "cold", "warm", "cool", "wet", "dry", "hard", "soft", "loud",
+  "quiet", "clean", "dirty", "new", "old", "young", "happy", "sad", "angry",
+  "scared", "afraid", "tired", "hungry", "thirsty", "sleepy", "kind", "naughty",
+  "good", "bad", "nice", "funny", "silly", "brave", "gentle", "heavy", "light",
+  "sweet", "sour", "bright", "dark", "sharp", "round", "sick", "poorly", "better",
+];

package/corpus/conceptnet/filter-dump.mjs

@@ -25,6 +25,10 @@
 //     whatever budget remains — they never crowd out seedable facts;
 //   - final order (rel, start, end) for deterministic diffs.
 // Stats land on stderr; the JSONL lands on stdout.
+//
+// The streaming seed/relation/dedupe pass is exported as scanAssertions so the
+// child-corpus build (scripts/fetch-child-corpus.mjs) can reuse ONE filter over
+// its own seed and its own admitted-relation set, instead of a second copy.
 
 import { createInterface } from "node:readline";
 import { SEED_TERMS, CANONICAL_RELS, FILTERED_RELS, bareEnTerm } from "./fetch-slice.mjs";
@@ -91,56 +95,73 @@ const EXTRA_SEEDS = [
 const SEEDS = new Set([...SEED_TERMS, ...EXTRA_SEEDS]);
 const termOf = (uri) => uri.slice("/c/en/".length);
 
-const byKey = new Map(); // "start rel end" -> row
-let scanned = 0;
-const rl = createInterface({ input: process.stdin, crlfDelay: Infinity });
-for await (const line of rl) {
-  scanned += 1;
-  const cols = line.split("\t");
-  if (cols.length < 5) continue;
-  const rel = cols[1];
-  if (!CANONICAL_RELS.has(rel) || FILTERED_RELS.has(rel)) continue;
-  const start = bareEnTerm(cols[2]);
-  const end = bareEnTerm(cols[3]);
-  if (!start || !end || start === end) continue;
-  if (!SEEDS.has(termOf(start)) && !SEEDS.has(termOf(end))) continue;
-  let info = {};
-  try {
-    info = JSON.parse(cols[4]);
-  } catch {
-    /* a malformed info column loses us weight/surfaceText, not the edge */
+/**
+ * Stream one dump (an async iterable of TSV lines) and keep every en→en
+ * assertion whose relation is admitted and at least one endpoint's bare term is
+ * in `seeds`. Deduped by (start, rel, end), higher weight winning. Pure of any
+ * budget or ordering — the caller trims and sorts. Returns { rows, scanned }.
+ *
+ * `admittedRels` defaults to the 34 canonical relations minus the policy-filtered
+ * ones; the child build passes its own set (canonical + /r/NotCapableOf) so the
+ * defeasible-negation data survives the filter.
+ */
+export async function scanAssertions(lines, { seeds, admittedRels = CANONICAL_RELS, filteredRels = FILTERED_RELS } = {}) {
+  const byKey = new Map(); // "start rel end" -> row
+  let scanned = 0;
+  for await (const line of lines) {
+    scanned += 1;
+    const cols = line.split("\t");
+    if (cols.length < 5) continue;
+    const rel = cols[1];
+    if (!admittedRels.has(rel) || filteredRels.has(rel)) continue;
+    const start = bareEnTerm(cols[2]);
+    const end = bareEnTerm(cols[3]);
+    if (!start || !end || start === end) continue;
+    if (!seeds.has(termOf(start)) && !seeds.has(termOf(end))) continue;
+    let info = {};
+    try {
+      info = JSON.parse(cols[4]);
+    } catch {
+      /* a malformed info column loses us weight/surfaceText, not the edge */
+    }
+    const row = { start, rel, end, weight: Number(info.weight) || 1 };
+    if (info.surfaceText) row.surfaceText = String(info.surfaceText);
+    const key = `${start} ${rel} ${end}`;
+    const prev = byKey.get(key);
+    if (!prev || row.weight > prev.weight) byKey.set(key, row);
   }
-  const row = { start, rel, end, weight: Number(info.weight) || 1 };
-  if (info.surfaceText) row.surfaceText = String(info.surfaceText);
-  const key = `${start} ${rel} ${end}`;
-  const prev = byKey.get(key);
-  if (!prev || row.weight > prev.weight) byKey.set(key, row);
+  return { rows: [...byKey.values()], scanned };
 }
 
-// budget-trim: mappable relations first, then none-rows — each tier
-// weight-descending, so the strongest seedable facts always survive
-const map = await loadMap();
-const byWeight = (a, b) =>
-  b.weight - a.weight || a.rel.localeCompare(b.rel) || a.start.localeCompare(b.start) || a.end.localeCompare(b.end);
-const all = [...byKey.values()];
-const mappable = all.filter((r) => map.get(r.rel)?.ace !== "none").sort(byWeight);
-const unmappable = all.filter((r) => map.get(r.rel)?.ace === "none").sort(byWeight);
-const kept = [];
-let bytes = 0;
-for (const row of [...mappable, ...unmappable]) {
-  const line = JSON.stringify(row) + "\n";
-  if (bytes + line.length > MAX_BYTES) continue;
-  bytes += line.length;
-  kept.push(row);
-}
-kept.sort((a, b) => a.rel.localeCompare(b.rel) || a.start.localeCompare(b.start) || a.end.localeCompare(b.end));
+const isMain = process.argv[1] && import.meta.url === new URL(`file://${process.argv[1]}`).href;
+if (isMain) {
+  const rl = createInterface({ input: process.stdin, crlfDelay: Infinity });
+  const { rows: all, scanned } = await scanAssertions(rl, { seeds: SEEDS });
 
-for (const row of kept) process.stdout.write(JSON.stringify(row) + "\n");
+  // budget-trim: mappable relations first, then none-rows — each tier
+  // weight-descending, so the strongest seedable facts always survive
+  const map = await loadMap();
+  const byWeight = (a, b) =>
+    b.weight - a.weight || a.rel.localeCompare(b.rel) || a.start.localeCompare(b.start) || a.end.localeCompare(b.end);
+  const mappable = all.filter((r) => map.get(r.rel)?.ace !== "none").sort(byWeight);
+  const unmappable = all.filter((r) => map.get(r.rel)?.ace === "none").sort(byWeight);
+  const kept = [];
+  let bytes = 0;
+  for (const row of [...mappable, ...unmappable]) {
+    const line = JSON.stringify(row) + "\n";
+    if (bytes + line.length > MAX_BYTES) continue;
+    bytes += line.length;
+    kept.push(row);
+  }
+  kept.sort((a, b) => a.rel.localeCompare(b.rel) || a.start.localeCompare(b.start) || a.end.localeCompare(b.end));
 
-const perRel = new Map();
-for (const r of kept) perRel.set(r.rel, (perRel.get(r.rel) || 0) + 1);
-const keptMappable = kept.filter((r) => map.get(r.rel)?.ace !== "none").length;
-console.error(`scanned ${scanned} dump lines; matched ${all.length} unique en→en seed assertions `
-  + `(${mappable.length} mappable + ${unmappable.length} ace=none); `
-  + `kept ${kept.length} (${keptMappable} mappable + ${kept.length - keptMappable} none) in ${bytes} bytes`);
-for (const [rel, n] of [...perRel.entries()].sort((a, b) => b[1] - a[1])) console.error(`  ${rel}: ${n}`);
+  for (const row of kept) process.stdout.write(JSON.stringify(row) + "\n");
+
+  const perRel = new Map();
+  for (const r of kept) perRel.set(r.rel, (perRel.get(r.rel) || 0) + 1);
+  const keptMappable = kept.filter((r) => map.get(r.rel)?.ace !== "none").length;
+  console.error(`scanned ${scanned} dump lines; matched ${all.length} unique en→en seed assertions `
+    + `(${mappable.length} mappable + ${unmappable.length} ace=none); `
+    + `kept ${kept.length} (${keptMappable} mappable + ${kept.length - keptMappable} none) in ${bytes} bytes`);
+  for (const [rel, n] of [...perRel.entries()].sort((a, b) => b[1] - a[1])) console.error(`  ${rel}: ${n}`);
+}

package/corpus/worlds/README.md

@@ -0,0 +1,26 @@
+# corpus/worlds/
+
+The shipped worlds pack: the game worlds the chat adventure lane can load on
+request ("play ashcombe hall"), with a gzipped world index consulted first
+and exactly one gzipped JSONL shard loaded per world
+(src/adapters/corpus/worlds-pack.mjs). A world stays on disk until a session
+asks for it; loading one appends its rows into that session's memory store
+under `world:<name>` provenance. Layout:
+
+- `src/<world>.jsonl` — the hand-authored source, one per world. Original
+  content, written for this repository; no text is copied from any book,
+  game or other IP.
+- `index.json.gz` — `{ worldName: { s } }`: the shard holding that world.
+- `shards/<world>.jsonl.gz` — one JSON row per line: `fact` rows (the
+  world's graph triples: rooms, exits, placements, cast), `rule` rows (the
+  world's pre-built action families, the same four action-Rule kinds the
+  live teach frames store), and one `meta` row (the opening line). Shapes in
+  src/domain/worlds-pack.mjs.
+- `manifest.json` — counts, budgets, source and file hashes. No build date:
+  same sources in, same bytes out.
+
+Rebuild with `npm run gen:worlds-pack`. The budgets in the build script are
+caps, not targets — a world that breaks one gets cut, the number stays.
+
+Licence: first-party, MPL-2.0 like the rest of the repository (see
+corpus/LICENSES.json).

package/corpus/worlds/manifest.json

@@ -0,0 +1,33 @@
+{
+  "version": 1,
+  "generated": "by scripts/build-worlds-pack.mjs from corpus/worlds/src/",
+  "counts": {
+    "worlds": 1,
+    "facts": 51,
+    "rules": 12
+  },
+  "budgets": {
+    "sourceBytesPerWorld": 131072,
+    "shardGzBytes": 32768,
+    "indexGzBytes": 4096
+  },
+  "sources": [
+    {
+      "file": "src/ashcombe-hall.jsonl",
+      "bytes": 7481,
+      "sha256": "776634e8f7db704f2895ad1557cdcb79c28e14fe8fd4202ef1d0db9b4358ca91"
+    }
+  ],
+  "files": [
+    {
+      "file": "index.json.gz",
+      "bytes": 46,
+      "sha256": "5c380eaf9cc68c0420edd5a8df9803208070cceb3e717c4e87288d612f6a51a0"
+    },
+    {
+      "file": "shards/ashcombe-hall.jsonl.gz",
+      "bytes": 864,
+      "sha256": "468ba9ae859fc63094f5030648f07885e1e0785fb4e18e309cc4e6729c878ebf"
+    }
+  ]
+}

package/corpus/worlds/src/ashcombe-hall.jsonl

@@ -0,0 +1,64 @@
+{"world":"ashcombe-hall","kind":"meta","opening":"the adventure begins. You are in the study of Ashcombe Hall. Somewhere in this house is a letter meant for you. Say \"look\" to look around, \"go north\" (or south, east, west, up, down) to move, and \"stop playing\" to end the game."}
+{"world":"ashcombe-hall","kind":"fact","subject":"player","predicate":"rdf:type","object":"adventurer"}
+{"world":"ashcombe-hall","kind":"fact","subject":"study","predicate":"rdf:type","object":"room"}
+{"world":"ashcombe-hall","kind":"fact","subject":"library","predicate":"rdf:type","object":"room"}
+{"world":"ashcombe-hall","kind":"fact","subject":"drawing-room","predicate":"rdf:type","object":"room"}
+{"world":"ashcombe-hall","kind":"fact","subject":"kitchen","predicate":"rdf:type","object":"room"}
+{"world":"ashcombe-hall","kind":"fact","subject":"cellar","predicate":"rdf:type","object":"room"}
+{"world":"ashcombe-hall","kind":"fact","subject":"garden","predicate":"rdf:type","object":"room"}
+{"world":"ashcombe-hall","kind":"fact","subject":"housekeeper","predicate":"rdf:type","object":"person"}
+{"world":"ashcombe-hall","kind":"fact","subject":"butler","predicate":"rdf:type","object":"person"}
+{"world":"ashcombe-hall","kind":"fact","subject":"cook","predicate":"rdf:type","object":"person"}
+{"world":"ashcombe-hall","kind":"fact","subject":"gardener","predicate":"rdf:type","object":"person"}
+{"world":"ashcombe-hall","kind":"fact","subject":"key","predicate":"rdf:type","object":"portable"}
+{"world":"ashcombe-hall","kind":"fact","subject":"letter","predicate":"rdf:type","object":"portable"}
+{"world":"ashcombe-hall","kind":"fact","subject":"lamp","predicate":"rdf:type","object":"portable"}
+{"world":"ashcombe-hall","kind":"fact","subject":"cabinet","predicate":"rdf:type","object":"furniture"}
+{"world":"ashcombe-hall","kind":"fact","subject":"portrait","predicate":"rdf:type","object":"furniture"}
+{"world":"ashcombe-hall","kind":"fact","subject":"desk","predicate":"rdf:type","object":"furniture"}
+{"world":"ashcombe-hall","kind":"fact","subject":"study","predicate":"mgx:has-exit-north","object":"library"}
+{"world":"ashcombe-hall","kind":"fact","subject":"library","predicate":"mgx:has-exit-south","object":"study"}
+{"world":"ashcombe-hall","kind":"fact","subject":"library","predicate":"mgx:has-exit-north","object":"drawing-room"}
+{"world":"ashcombe-hall","kind":"fact","subject":"drawing-room","predicate":"mgx:has-exit-south","object":"library"}
+{"world":"ashcombe-hall","kind":"fact","subject":"library","predicate":"mgx:has-exit-east","object":"kitchen"}
+{"world":"ashcombe-hall","kind":"fact","subject":"kitchen","predicate":"mgx:has-exit-west","object":"library"}
+{"world":"ashcombe-hall","kind":"fact","subject":"kitchen","predicate":"mgx:has-exit-east","object":"garden"}
+{"world":"ashcombe-hall","kind":"fact","subject":"garden","predicate":"mgx:has-exit-west","object":"kitchen"}
+{"world":"ashcombe-hall","kind":"fact","subject":"study","predicate":"mgx:has-exit-down","object":"cellar"}
+{"world":"ashcombe-hall","kind":"fact","subject":"cellar","predicate":"mgx:has-exit-up","object":"study"}
+{"world":"ashcombe-hall","kind":"fact","subject":"player","predicate":"mgx:currently-in","object":"study"}
+{"world":"ashcombe-hall","kind":"fact","subject":"cabinet","predicate":"mgx:stands-locked-in","object":"study"}
+{"world":"ashcombe-hall","kind":"fact","subject":"desk","predicate":"mgx:fixed-in","object":"study"}
+{"world":"ashcombe-hall","kind":"fact","subject":"lamp","predicate":"mgx:located-in","object":"study"}
+{"world":"ashcombe-hall","kind":"fact","subject":"portrait","predicate":"mgx:fixed-in","object":"drawing-room"}
+{"world":"ashcombe-hall","kind":"fact","subject":"key","predicate":"mgx:hidden-in","object":"portrait"}
+{"world":"ashcombe-hall","kind":"fact","subject":"letter","predicate":"mgx:hidden-in","object":"cabinet"}
+{"world":"ashcombe-hall","kind":"fact","subject":"housekeeper","predicate":"mgx:currently-in","object":"kitchen"}
+{"world":"ashcombe-hall","kind":"fact","subject":"cook","predicate":"mgx:currently-in","object":"kitchen"}
+{"world":"ashcombe-hall","kind":"fact","subject":"butler","predicate":"mgx:currently-in","object":"drawing-room"}
+{"world":"ashcombe-hall","kind":"fact","subject":"gardener","predicate":"mgx:currently-in","object":"garden"}
+{"world":"ashcombe-hall","kind":"fact","subject":"cabinet","predicate":"mgx:is-container","object":"true"}
+{"world":"ashcombe-hall","kind":"fact","subject":"portrait","predicate":"mgx:is-container","object":"true"}
+{"world":"ashcombe-hall","kind":"fact","subject":"cabinet","predicate":"mgx:unlocks-with","object":"key"}
+{"world":"ashcombe-hall","kind":"fact","subject":"housekeeper","predicate":"mgx:is-npc","object":"true"}
+{"world":"ashcombe-hall","kind":"fact","subject":"butler","predicate":"mgx:is-npc","object":"true"}
+{"world":"ashcombe-hall","kind":"fact","subject":"cook","predicate":"mgx:is-npc","object":"true"}
+{"world":"ashcombe-hall","kind":"fact","subject":"gardener","predicate":"mgx:is-npc","object":"true"}
+{"world":"ashcombe-hall","kind":"fact","subject":"housekeeper","predicate":"mgx:acts-on-turn","object":"3"}
+{"world":"ashcombe-hall","kind":"fact","subject":"housekeeper","predicate":"mgx:acts-toward","object":"library"}
+{"world":"ashcombe-hall","kind":"fact","subject":"housekeeper","predicate":"mgx:works-in","object":"kitchen"}
+{"world":"ashcombe-hall","kind":"fact","subject":"cook","predicate":"mgx:works-in","object":"kitchen"}
+{"world":"ashcombe-hall","kind":"fact","subject":"butler","predicate":"mgx:works-in","object":"drawing-room"}
+{"world":"ashcombe-hall","kind":"fact","subject":"gardener","predicate":"mgx:works-in","object":"garden"}
+{"world":"ashcombe-hall","kind":"rule","name":"go","ruleKind":"action-signature","slots":{"subjectClass":"adventurer","targetClass":"room"}}
+{"world":"ashcombe-hall","kind":"rule","name":"go","ruleKind":"action-signature","slots":{"subjectClass":"person","targetClass":"room"}}
+{"world":"ashcombe-hall","kind":"rule","name":"go","ruleKind":"action-effect","slots":{"predicate":"currently-in","subjectRole":"subject","objectRole":"target"}}
+{"world":"ashcombe-hall","kind":"rule","name":"take","ruleKind":"action-signature","slots":{"subjectClass":"portable","targetClass":"adventurer"}}
+{"world":"ashcombe-hall","kind":"rule","name":"take","ruleKind":"action-effect","slots":{"predicate":"located-in","subjectRole":"subject","objectRole":"target"}}
+{"world":"ashcombe-hall","kind":"rule","name":"drop","ruleKind":"action-signature","slots":{"subjectClass":"portable","targetClass":"room"}}
+{"world":"ashcombe-hall","kind":"rule","name":"drop","ruleKind":"action-effect","slots":{"predicate":"located-in","subjectRole":"subject","objectRole":"target"}}
+{"world":"ashcombe-hall","kind":"rule","name":"give","ruleKind":"action-signature","slots":{"subjectClass":"portable","targetClass":"person"}}
+{"world":"ashcombe-hall","kind":"rule","name":"give","ruleKind":"action-effect","slots":{"predicate":"located-in","subjectRole":"subject","objectRole":"target"}}
+{"world":"ashcombe-hall","kind":"rule","name":"open","ruleKind":"action-signature","slots":{"subjectClass":"adventurer","targetClass":"furniture"}}
+{"world":"ashcombe-hall","kind":"rule","name":"unlock","ruleKind":"action-signature","slots":{"subjectClass":"adventurer","targetClass":"furniture"}}
+{"world":"ashcombe-hall","kind":"rule","name":"close","ruleKind":"action-signature","slots":{"subjectClass":"adventurer","targetClass":"furniture"}}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@polycode-projects/the-mechanical-code-talker",
-  "version": "2.6.1",
+  "version": "2.7.0",
   "private": false,
   "type": "module",
   "description": "The Mechanical Code Talker (tmct) — a tolerant, offline, $0 chat surface that guides you toward precision queries about a software repository. ELIZA/PARRY-style but domain-obsessed with code. No model calls; no codebase index of its own.",
@@ -143,7 +143,10 @@
     "gen:collisions": "node scripts/generate-real-word-collisions.mjs",
     "gen:prose-corpus": "node scripts/fetch-prose-corpus.mjs",
     "gen:reference-pack": "node scripts/fetch-reference-pack.mjs",
+    "gen:child-corpus": "node scripts/fetch-child-corpus.mjs",
+    "measure:child-corpus": "node scripts/measure-child-corpus.mjs",
     "gen:variants": "node scripts/generate-template-variants.mjs",
+    "gen:worlds-pack": "node scripts/build-worlds-pack.mjs",
     "extract": "node bin/tmct.mjs extract",
     "extract:facts": "node bin/tmct.mjs extract"
   },

package/src/adapters/corpus/child-pack.mjs

@@ -0,0 +1,115 @@
+// corpus/child-pack.mjs — lazy, failure-tolerated loader for the shipped CHILD
+// triples pack (corpus/child/): a gzipped term index consulted first, then
+// exactly one gzipped JSONL shard per hit. Nothing here ever throws at a
+// caller — an absent, truncated or corrupt pack reads as null, and a null is
+// the ordinary honest miss the clean-miss cascade already knows how to answer.
+//
+// Mirrors src/adapters/corpus/reference-pack.mjs exactly, including its provider
+// seam: registerChildPackProvider swaps the whole lookup behind one async
+// `{ lookup(normTerm) }` contract, so the browser demo (which cannot read this
+// filesystem layout) can register a fetch-backed provider and the chat miss-
+// cascade never knows which one it is talking to. No provider registered = the
+// fs loader below.
+
+import { readFileSync } from "node:fs";
+import { gunzipSync } from "node:zlib";
+import { fileURLToPath } from "node:url";
+import { dirname, join } from "node:path";
+import { isChildFactsRow, isChildIndexEntry } from "../../domain/child-pack.mjs";
+import { normFactTerm } from "../../domain/hash.mjs";
+
+const PKG_ROOT = join(dirname(fileURLToPath(import.meta.url)), "..", "..", "..");
+
+/** The pack directory: TMCT_CHILD_PACK_DIR when set, else the package's own
+ *  corpus/child/. */
+export function childPackDir(env = process.env) {
+  return env?.TMCT_CHILD_PACK_DIR || join(PKG_ROOT, "corpus", "child");
+}
+
+const indexCacheByDir = new Map();   // dir -> { term: {s, t, n} } | null
+const shardCacheByKey = new Map();   // `${dir}\0${shard}` -> Map(term -> row) | null
+
+/** Drop every cached index/shard — for tests that mutate a pack dir. */
+export function clearChildPackCache() {
+  indexCacheByDir.clear();
+  shardCacheByKey.clear();
+}
+
+function readGunzipped(file) {
+  try {
+    return gunzipSync(readFileSync(file));
+  } catch {
+    return null;
+  }
+}
+
+/** The pack's term index, lazily read and cached per dir; null (cached) when
+ *  the pack is absent or unreadable. Never throws. */
+export function loadChildIndex(dir) {
+  if (indexCacheByDir.has(dir)) return indexCacheByDir.get(dir);
+  let index = null;
+  const body = readGunzipped(join(dir, "index.json.gz"));
+  if (body) {
+    try {
+      const parsed = JSON.parse(body.toString("utf8"));
+      if (parsed && typeof parsed === "object" && !Array.isArray(parsed)) index = parsed;
+    } catch { /* tolerated: a corrupt index is an absent pack */ }
+  }
+  indexCacheByDir.set(dir, index);
+  return index;
+}
+
+function loadShard(dir, shardName) {
+  const key = `${dir}\0${shardName}`;
+  if (shardCacheByKey.has(key)) return shardCacheByKey.get(key);
+  let rows = null;
+  const body = readGunzipped(join(dir, "shards", `${shardName}.jsonl.gz`));
+  if (body) {
+    rows = new Map();
+    for (const line of body.toString("utf8").split("\n")) {
+      if (!line.trim()) continue;
+      try {
+        const row = JSON.parse(line);
+        if (isChildFactsRow(row)) rows.set(row.term, row);
+      } catch { /* tolerated: a bad line loses one row, not the shard */ }
+    }
+  }
+  shardCacheByKey.set(key, rows);
+  return rows;
+}
+
+/** One term's triples row by its (already-normalised) key: index hit -> the one
+ *  shard the index names (cached) -> the row. The term is normFactTerm-folded
+ *  here too, so a caller may pass a raw spelling. Null on an index miss, so an
+ *  unknown term never costs a shard read. Never throws. */
+export function loadChildFacts(dir, term) {
+  const index = loadChildIndex(dir);
+  if (!index) return null;
+  const key = normFactTerm(term);
+  const entry = index[key];
+  if (!isChildIndexEntry(entry)) return null;
+  const rows = loadShard(dir, entry.s);
+  return rows?.get(entry.t) ?? null;
+}
+
+const fsProvider = {
+  lookup: async (normTerm) => loadChildFacts(childPackDir(), normTerm),
+};
+
+let registeredProvider = null;
+
+/** Swap the pack lookup: provider = { lookup: async (normTerm) => row|null }.
+ *  Pass null to restore the default fs loader. */
+export function registerChildPackProvider(provider) {
+  registeredProvider = provider && typeof provider.lookup === "function" ? provider : null;
+}
+
+/** The active provider — the registered one, else the lazy fs loader. An
+ *  explicit `env` bag (a chat turn's own env, which may carry
+ *  TMCT_CHILD_PACK_DIR) makes the fs loader resolve the pack dir from that bag
+ *  instead of process.env; with no argument the behavior is unchanged. */
+export function getChildPackProvider(env) {
+  if (registeredProvider) return registeredProvider;
+  if (env === undefined) return fsProvider;
+  return { lookup: async (normTerm) => loadChildFacts(childPackDir(env), normTerm) };
+}

package/src/adapters/corpus/conceptnet-map.toml

@@ -182,6 +182,13 @@ ace = "disjointWith"
 predicate = "owl:disjointWith"
 note = "mutual exclusion; ACE pattern 6 ('no N1 is a N2')"
 
+[[relation]]
+rel = "/r/NotCapableOf"
+surface = "a {start} cannot {end}"
+ace = "ObjectProperty"
+predicate = "mgxneg:capableOf"
+note = "typical INcapability — the one ConceptNet negative tmct admits (added for the child corpus). ConceptNet's /r/Not* family is deprecated upstream (docs/references/schemas/conceptnet-relations.md), but NotCapableOf is the one negative the defeasible-negation reader needs data for: it is the corpus source of 'a penguin cannot fly'. It maps onto tmct's OWN polarity, mgxneg:capableOf (src/domain/memory/capability.mjs) — polarity lives in the predicate, so ace stays ObjectProperty and the positive/negative twins hash to distinct facts. This is a DELIBERATE addition to the closed set; the loader's unmapped-relation hard error stays intact for every OTHER /r/Not* term, which never reach a shipped slice. Not part of CANONICAL_RELS (fetch-slice.mjs's tech filter never admits it); the child build admits it explicitly."
+
 # --- unmappable relations: no clean OWL-axiom fit; kept for other consumers ---
 
 [[relation]]