[{"_1":2,"_3":-5,"_4":-5},"loaderData",{"_5":6,"_7":8,"_9":10},"actionData","errors","root",{"_163":164,"_165":166},"routes/_app.x.$handle.$name",{"_11":12,"_13":14,"_15":-7,"_61":133,"_16":-7,"_134":-5,"_17":135,"_136":137,"_28":138,"_21":139,"_23":140,"_141":-5,"_142":-5,"_143":-5,"_144":36,"_145":146,"_147":34,"_148":-5,"_149":-5,"_150":151},"routes/_app.x.$handle.$name._index",{"_11":12,"_13":14,"_15":-7,"_16":-7,"_17":18,"_19":20,"_21":22,"_23":24,"_25":-7,"_26":-5,"_27":-5,"_28":29,"_30":-5,"_31":-5,"_32":-5,"_33":34,"_35":36,"_37":34},"handle","ziggyware","name","cal","branchName","version","project",{"_39":78,"_13":14,"_50":79,"_80":-5,"_81":36,"_82":83,"_84":83,"_85":86,"_87":-5,"_88":89,"_90":-5,"_91":36,"_92":-5,"_93":-5,"_94":67,"_95":96,"_97":-5,"_98":-5,"_99":-5,"_100":-5,"_101":102,"_103":102,"_104":105,"_106":105,"_107":105,"_108":102,"_109":102,"_110":111,"_112":113,"_114":115,"_116":36},"tags",[],"counts",{"_66":67,"_68":69,"_70":67,"_71":72,"_73":74},"contents",[63],"readme","upstream","pull","files",[38],"preview","ahead","behind","showHomeCustomizationHint",true,"showHTTPPreviewSettingsHint",false,"hasHTTPFiles",{"_39":40,"_13":41,"_42":43,"_44":-5,"_45":46,"_47":48,"_49":34,"_50":51,"_16":52,"_53":54,"_55":56,"_57":36,"_58":-5,"_59":60,"_61":62},"id","5c939d00-4d32-11f1-b1b3-ee650bb23af1","main.ts","fileId","879a28ec-4d24-11f1-b75f-ee650bb23af1","parentId","branchId","8797818c-4d24-11f1-b75f-ee650bb23af1","branchVersion",106,"latest","createdAt",["D",1778501412197],105,"fileType","http","content","import {\n HtmlLogger,\n ResponseHtml,\n} from \"https://esm.town/v/ziggyware/html-logger/main.ts?v=333d323\";\n\n// ---------------- CAL RUNTIME (your code, unchanged) ----------------\n\n// A constraint says: variable ∈ allowedValues, with an explanation.\nexport interface Constraint {\n id: string;\n variable: string;\n allowed: Set;\n source: string; // where it came from (observation, rule, etc.)\n note?: string;\n}\n\n// A contradiction snapshot: what we tried to add, and what broke.\nexport interface Contradiction {\n constraint: Constraint;\n previousDomain: Set;\n}\n\n// Core CAL state: domains + constraints + contradictions.\nexport class CALRuntime {\n private domains = new Map>();\n private constraints: Constraint[] = [];\n private contradictions: Contradiction[] = [];\n\n // Initialize a variable with an initial domain (if not present).\n initDomain(variable: string, initial: Iterable) {\n if (!this.domains.has(variable)) {\n this.domains.set(variable, new Set(initial));\n }\n }\n\n // Add a single constraint: intersect domain with allowed values.\n addConstraint(c: Constraint) {\n this.constraints.push(c);\n\n const prev = this.domains.get(c.variable);\n if (!prev) {\n // No prior domain: just adopt allowed set as domain.\n this.domains.set(c.variable, new Set(c.allowed));\n return;\n }\n\n const before = new Set(prev);\n const next = new Set();\n for (const v of prev) if (c.allowed.has(v)) next.add(v);\n\n if (next.size === 0) {\n // Contradiction: record, but do not destroy previous domain.\n this.contradictions.push({\n constraint: c,\n previousDomain: before,\n });\n return;\n }\n\n this.domains.set(c.variable, next);\n }\n\n // Add multiple constraints at once.\n addConstraints(cs: Constraint[]) {\n for (const c of cs) this.addConstraint(c);\n }\n\n // Observation → constraints (user-defined extractor).\n // Example: { animal: \"cat\", legs: \"4\" } → constraints on \"animal\", \"legs\".\n addObservation(\n obs: Record,\n source = \"observation\",\n note?: string,\n ) {\n const cs: Constraint[] = [];\n for (const [k, v] of Object.entries(obs)) {\n cs.push({\n id: `${source}:${k}:${v}:${Date.now()}:${Math.random()}`,\n variable: k,\n allowed: new Set([v]),\n source,\n note,\n });\n }\n this.addConstraints(cs);\n }\n\n // Query current possible values for a variable, plus supporting constraints.\n query(variable: string) {\n const domain = this.domains.get(variable);\n if (!domain) {\n return { variable, possible: [], supporting: [] as Constraint[] };\n }\n\n const supporting = this.constraints.filter((c) => c.variable === variable);\n return {\n variable,\n possible: [...domain],\n supporting,\n };\n }\n\n // Get all current domains.\n getDomains() {\n const out: Record = {};\n for (const [k, v] of this.domains.entries()) {\n out[k] = [...v];\n }\n return out;\n }\n\n // Get all constraints.\n getConstraints() {\n return [...this.constraints];\n }\n\n // Get all contradictions.\n getContradictions() {\n return [...this.contradictions];\n }\n}\n\n// ---------------- CAL LANGUAGE LAYER ----------------\n\ntype POS = \"N\" | \"V\" | \"DET\" | \"PRON\" | \"OTHER\";\n\ninterface LexEntry {\n lemma: string;\n pos: POS;\n}\n\n// Tiny lexicon; in a real system you’d hydrate this from HF vocab / tags.\nconst LEXICON: Record = {\n the: { lemma: \"the\", pos: \"DET\" },\n a: { lemma: \"a\", pos: \"DET\" },\n an: { lemma: \"an\", pos: \"DET\" },\n\n dog: { lemma: \"dog\", pos: \"N\" },\n dogs: { lemma: \"dog\", pos: \"N\" },\n cat: { lemma: \"cat\", pos: \"N\" },\n cats: { lemma: \"cat\", pos: \"N\" },\n ball: { lemma: \"ball\", pos: \"N\" },\n balls: { lemma: \"ball\", pos: \"N\" },\n man: { lemma: \"man\", pos: \"N\" },\n men: { lemma: \"man\", pos: \"N\" },\n woman: { lemma: \"woman\", pos: \"N\" },\n women: { lemma: \"woman\", pos: \"N\" },\n\n chased: { lemma: \"chase\", pos: \"V\" },\n chase: { lemma: \"chase\", pos: \"V\" },\n chases: { lemma: \"chase\", pos: \"V\" },\n\n kicked: { lemma: \"kick\", pos: \"V\" },\n kick: { lemma: \"kick\", pos: \"V\" },\n kicks: { lemma: \"kick\", pos: \"V\" },\n\n saw: { lemma: \"see\", pos: \"V\" },\n see: { lemma: \"see\", pos: \"V\" },\n sees: { lemma: \"see\", pos: \"V\" },\n\n he: { lemma: \"he\", pos: \"PRON\" },\n she: { lemma: \"she\", pos: \"PRON\" },\n they: { lemma: \"they\", pos: \"PRON\" },\n};\n\ninterface Token {\n surface: string;\n lemma: string;\n pos: POS;\n}\n\ninterface ParsedEvent {\n id: string; // e.g. \"e1\"\n verb: string; // lemma\n agent?: string; // lemma\n patient?: string; // lemma\n}\n\n// Very small tokenizer + tagger using the lexicon.\nfunction tokenize(sentence: string): Token[] {\n return sentence\n .toLowerCase()\n .replace(/[^a-z\\s]/g, \"\")\n .split(/\\s+/)\n .filter(Boolean)\n .map((surface) => {\n const entry = LEXICON[surface];\n if (!entry) return { surface, lemma: surface, pos: \"OTHER\" as POS };\n return { surface, lemma: entry.lemma, pos: entry.pos };\n });\n}\n\n// Extremely minimal SVO parser: DET? N / PRON → V → DET? N\nfunction parseSentenceToEvent(\n sentence: string,\n id: string,\n): ParsedEvent | null {\n const tokens = tokenize(sentence);\n const verbIndex = tokens.findIndex((t) => t.pos === \"V\");\n if (verbIndex === -1) return null;\n\n const verb = tokens[verbIndex].lemma;\n\n const before = tokens.slice(0, verbIndex);\n const after = tokens.slice(verbIndex + 1);\n\n const agent = before.find((t) => t.pos === \"N\" || t.pos === \"PRON\")?.lemma;\n const patient = after.find((t) => t.pos === \"N\" || t.pos === \"PRON\")?.lemma;\n\n return { id, verb, agent, patient };\n}\n\n// Map a ParsedEvent → CAL constraints\nfunction eventToConstraints(ev: ParsedEvent, source = \"lang\"): Constraint[] {\n const cs: Constraint[] = [];\n const now = Date.now();\n\n // Event verb\n cs.push({\n id: `${source}:${ev.id}:verb:${ev.verb}:${now}`,\n variable: `event:${ev.id}:verb`,\n allowed: new Set([ev.verb]),\n source,\n note: \"event verb\",\n });\n\n if (ev.agent) {\n cs.push({\n id: `${source}:${ev.id}:agent:${ev.agent}:${now}`,\n variable: `event:${ev.id}:agent`,\n allowed: new Set([ev.agent]),\n source,\n note: \"event agent\",\n });\n\n // Agent role knowledge\n cs.push({\n id: `${source}:role:agent:${ev.agent}:${now}`,\n variable: `lemma:${ev.agent}:role`,\n allowed: new Set([\"agent\"]),\n source,\n note: \"lemma can be an agent\",\n });\n }\n\n if (ev.patient) {\n cs.push({\n id: `${source}:${ev.id}:patient:${ev.patient}:${now}`,\n variable: `event:${ev.id}:patient`,\n allowed: new Set([ev.patient]),\n source,\n note: \"event patient\",\n });\n\n cs.push({\n id: `${source}:role:patient:${ev.patient}:${now}`,\n variable: `lemma:${ev.patient}:role`,\n allowed: new Set([\"patient\"]),\n source,\n note: \"lemma can be a patient\",\n });\n }\n\n // Verb frame knowledge: verb takes agent + patient\n cs.push({\n id: `${source}:frame:${ev.verb}:${now}`,\n variable: `verb:${ev.verb}:frame`,\n allowed: new Set([\"agent-patient\"]),\n source,\n note: \"verb frame\",\n });\n\n return cs;\n}\n\n// High-level: learn a sentence into CAL\nfunction learnSentence(cal: CALRuntime, sentence: string, id: string) {\n const ev = parseSentenceToEvent(sentence, id);\n if (!ev) return;\n const cs = eventToConstraints(ev, \"lang\");\n cal.addConstraints(cs);\n}\n\n// ---------------- VAL HANDLER: \"TRAIN\" ON A CORPUS ----------------\n\nexport default function handler() {\n const cal = new CALRuntime();\n const logger = new HtmlLogger();\n\n // In a real system, this corpus would be streamed from a Hugging Face dataset.\n const corpus = [\n \"The dog chased the ball.\",\n \"The cat chased the ball.\",\n \"The man kicked the ball.\",\n \"The woman saw the dog.\",\n \"He chased the cat.\",\n \"They saw the ball.\",\n ];\n\n corpus.forEach((sentence, idx) => {\n learnSentence(cal, sentence, `e${idx + 1}`);\n });\n\n // Inspect what CAL has learned about verbs, roles, and events.\n const domains = cal.getDomains();\n\n logger.log({ corpus });\n logger.log({ domains });\n\n // Example: what does CAL think about the verb \"chase\"?\n logger.log({\n verb_chase_frame: cal.query(\"verb:chase:frame\"),\n });\n\n // Example: what lemmas can be agents / patients?\n logger.log({\n lemma_dog_role: cal.query(\"lemma:dog:role\"),\n lemma_ball_role: cal.query(\"lemma:ball:role\"),\n lemma_cat_role: cal.query(\"lemma:cat:role\"),\n lemma_man_role: cal.query(\"lemma:man:role\"),\n lemma_woman_role: cal.query(\"lemma:woman:role\"),\n });\n\n // Example: what does CAL know about a specific event?\n logger.log({\n e1: {\n verb: cal.query(\"event:e1:verb\"),\n agent: cal.query(\"event:e1:agent\"),\n patient: cal.query(\"event:e1:patient\"),\n },\n e2: {\n verb: cal.query(\"event:e2:verb\"),\n agent: cal.query(\"event:e2:agent\"),\n patient: cal.query(\"event:e2:patient\"),\n },\n });\n\n return ResponseHtml(\"\" + logger.toHtml() + \"\");\n}","deleted","label","children",[],"path",[41],{"_39":40,"_13":41,"_42":43,"_44":-5,"_45":46,"_47":48,"_49":34,"_50":64,"_16":52,"_53":54,"_55":56,"_57":36,"_58":-5,"_61":65},["D",1778501412197],[41],"pulls",0,"branches",1,"forks","envVars",{"_75":67,"_77":67},"connections",{"_75":67,"_76":67},"count","unfilledCount","emptyCount","8795e818-4d24-11f1-b75f-ee650bb23af1",["D",1778495471409],"deletedAt","legacyEnvVars","privacy","public","httpPrivacy","description","cognitive application layer","imageUrl","userId","2c6d46b0-54dd-11f0-a86c-6fbc2b29331a","pinnedFileId","pinPreview","pinMigrated","screenshotVersion","likeCount","orgId","850db142-aa5e-4914-bceb-1e2e085ae4c5","tursoName","tursoHostname","tursoMeasuredAt","pinned","userPerm","r","valPerm","blobPerm","rw","emailPerm","sqlitePerm","projectPerm","telemetryPerm","user",{"_11":12,"_132":128},"org",{"_11":12,"_126":-5,"_127":128,"_88":89,"_129":130,"_131":36},"branch",{"_16":48,"_13":117,"_39":46,"_118":78,"_119":-5,"_120":-5,"_121":-5,"_122":-5,"_123":-5,"_124":14,"_125":12},"isOwned","main","projectId","forkedBranchId","forkedBranchVersion","forkedProjectPrivacy","forkedProjectId","forkedProjectOrgId","projectName","userHandle","displayName","avatar","https://img.clerk.com/eyJ0eXBlIjoicHJveHkiLCJzcmMiOiJodHRwczovL2ltYWdlcy5jbGVyay5kZXYvb2F1dGhfZ2l0aHViL2ltZ18yekJHRDE5SGVoUHUzUENQaXY2MTRkT3h0cncifQ","tier","free","canRestrictVals","profileImageUrl","","adoptOrgId",{"_39":78,"_13":14,"_50":159,"_80":-5,"_81":36,"_82":83,"_84":83,"_85":86,"_87":-5,"_88":89,"_90":-5,"_91":36,"_92":-5,"_93":-5,"_94":67,"_95":96,"_97":-5,"_98":-5,"_99":-5,"_100":-5,"_101":102,"_103":102,"_104":105,"_106":105,"_107":105,"_108":102,"_109":102,"_110":160,"_112":161,"_114":162,"_116":36},"tree",[156],[156],{"_66":67,"_68":69,"_70":67,"_71":154,"_73":155},[152],"file","upstreamProject","upstreamBranch","emptyEnvVars","flags",[],"hasHttpFiles","grants","orgs","customDomains",{},{"_39":40,"_13":41,"_42":43,"_44":-5,"_45":46,"_47":48,"_49":34,"_50":64,"_16":52,"_53":54,"_55":56,"_57":36,"_58":-5,"_61":153},[41],{"_75":67,"_77":67},{"_75":67,"_76":67},{"_39":40,"_13":41,"_42":43,"_44":-5,"_45":46,"_47":48,"_49":34,"_50":51,"_16":52,"_53":54,"_55":56,"_57":36,"_58":-5,"_59":157,"_61":158},[],[41],["D",1778495471409],{"_11":12,"_132":128},{"_11":12,"_126":-5,"_127":128,"_88":89,"_129":130,"_131":36},{"_16":48,"_13":117,"_39":46,"_118":78,"_119":-5,"_120":-5,"_121":-5,"_122":-5,"_123":-5,"_124":14,"_125":12},"ctx",{"_110":-5,"_149":196,"_197":198,"_199":200,"_201":36,"_202":36,"_203":36,"_204":34,"_205":-5,"_206":-7,"_207":-7,"_208":67,"_209":36,"_210":36,"_211":-5,"_212":36,"_213":36,"_214":36,"_215":-5},"ENV",{"_167":168,"_169":170,"_171":117,"_172":173,"_174":175,"_176":177,"_178":179,"_180":181,"_182":183,"_184":185,"_186":187,"_188":189,"_190":191,"_192":193,"_194":195},"REACT_APP_SENTRY_DSN","https://586020d86f05489db63a554690acf1e9@o1398359.ingest.sentry.io/6724499","RENDER_GIT_COMMIT","e87eb04e707cf64e7e532c8e8ec395f209e17f15","RENDER_GIT_BRANCH","POSTHOG_API_TOKEN","phc_nmoyuAkStEZuUp69rYlg1DZgrIt19Gx0Y4Hwf8tGgJP","POSTHOG_API_HOST","https://wart.val.town","WEB_API_TEMPLATE","https://{val}.web.val.run","APP_URL","https://www.val.town","MODULE_URL","https://esm.town","VANITY_WEB_API_TEMPLATE","https://{label}.val.run/","DENOLS_URL","https://lsp.val.town","NODE_ENV","production","CLOUDFLARE_TURNSTILE_SITE_KEY","0x4AAAAAACtaIZJH7s9rBMZ6","GOOGLE_CLIENT_ID","875989696899-jtsqkhlbdv5jrlsk8631p7ipjg3c6o62.apps.googleusercontent.com","STRIPE_PUBLISHABLE_KEY","pk_live_51N2zvWEpZTTLipIkVEwXrUG9AT0yeOOEYxszarZT1jpsZV58Ly6wlg3SltZpHN26CUalOBmUSY7adQRQiSkCZz2500qSXNkf8Y","API_URL","https://api.val.town",[],"preferencesKeybindings","default","preferencesTheme","light","preferencesFixers","preferencesCopilot","preferencesSelectionAi","preferencesCloseBrackets","preferencesChatPanelState","preferencesDprint","preferencesDenofmt","notificationCount","flagDenols","isBusinessOrgMember","businessOrgHandle","isBusinessOrgAdmin","isHigherTownieTier","navCollapsed","currentOrgId"]