[{"_1":2,"_3":-5,"_4":-5},"loaderData",{"_5":6,"_7":8,"_9":10},"actionData","errors","root",{"_154":155,"_156":157},"routes/_app.x.$handle.$name",{"_95":94,"_32":45,"_103":85,"_27":104,"_13":14,"_105":-5,"_11":106,"_107":108,"_109":110,"_111":112,"_113":114,"_20":-5,"_115":-5,"_116":-5,"_117":25,"_118":119,"_120":121,"_122":-5,"_123":-5,"_124":125},"routes/_app.x.$handle.$name.branch.$branch.version.$version.diff",{"_11":12,"_13":14,"_15":16,"_17":-5,"_18":-5},"project",{"_43":44,"_32":45,"_38":46,"_47":-5,"_48":25,"_49":50,"_51":50,"_52":53,"_54":-5,"_18":55,"_56":-5,"_57":25,"_58":-5,"_59":-5,"_60":61,"_62":63,"_64":-5,"_65":-5,"_66":-5,"_67":-5,"_68":69,"_70":69,"_71":72,"_73":72,"_74":72,"_75":69,"_76":69,"_77":78,"_79":80,"_81":82,"_83":25},"version",89,"changes",[19],"aiChatInfo","userId",{"_20":21,"_22":23,"_24":25,"_26":25,"_27":28,"_29":28},"file",{"_30":31,"_32":28,"_33":34,"_35":37,"_38":39,"_40":14,"_41":42,"_24":25},"previous",{"_30":31,"_32":28,"_33":34,"_35":36},"deleted",false,"deletedHere","path","main.ts","latestPath","fileId","879a28ec-4d24-11f1-b75f-ee650bb23af1","name","fileType","http","content","import { HtmlLogger } from \"https://esm.town/v/ziggyware/html-logger/main.ts?v=7\";\n// cal-runtime.ts\n// Constraint Accretion Learning (CAL) — minimal runtime\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\nexport async function ResponseHtml(\n body: string,\n status = 200,\n): Promise {\n let content: string;\n\n if (typeof body === \"string\") {\n content = body;\n } else if (body == null) {\n content = \"\";\n } else {\n // Pretty-print objects/arrays\n content = JSON.stringify(body, null, 2);\n }\n\n return await Promise.resolve(\n new Response(content, {\n status,\n headers: {\n \"Content-Type\": \"text/html; charset=utf-8\",\n },\n }),\n );\n}\n// ---------------- SAMPLE USAGE ----------------\nexport default function handler() {\n const cal = new CALRuntime();\n\n // Initialize broad domains (the \"world of possibilities\").\n cal.initDomain(\"legs\", [\"0\", \"2\", \"3\", \"4\", \"6\", \"8\"]);\n cal.initDomain(\"animal\", [\"cat\", \"dog\", \"spider\", \"bird\"]);\n\n // Learn: \"cats have 4 legs\"\n cal.addConstraint({\n id: \"rule:cats-4-legs\",\n variable: \"legs\",\n allowed: new Set([\"4\"]),\n source: \"rule\",\n note: \"cats have 4 legs\",\n });\n\n // Learn: observation of a 3-legged cat (contradiction recorded, domain preserved)\n cal.addObservation({ legs: \"3\" }, \"obs:three-legged-cat\");\n\n const logger = new HtmlLogger();\n // Query current belief about legs\n logger.log(cal.query(\"legs\")); // possible values + supporting constraints\n logger.log(cal.getContradictions()); // see the conflict we hit\n logger.log(cal.getDomains()); // full current world view\n\n return ResponseHtml(\"\" + logger.toHtml() + \"\");\n}","import { HtmlLogger } from \"https://esm.town/v/ziggyware/html-logger/main.ts?v=8\";\n// cal-runtime.ts\n// Constraint Accretion Learning (CAL) — minimal runtime\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\nexport async function ResponseHtml(\n body: string,\n status = 200,\n): Promise {\n let content: string;\n\n if (typeof body === \"string\") {\n content = body;\n } else if (body == null) {\n content = \"\";\n } else {\n // Pretty-print objects/arrays\n content = JSON.stringify(body, null, 2);\n }\n\n return await Promise.resolve(\n new Response(content, {\n status,\n headers: {\n \"Content-Type\": \"text/html; charset=utf-8\",\n },\n }),\n );\n}\n// ---------------- SAMPLE USAGE ----------------\nexport default function handler() {\n const cal = new CALRuntime();\n\n // Initialize broad domains (the \"world of possibilities\").\n cal.initDomain(\"legs\", [\"0\", \"2\", \"3\", \"4\", \"6\", \"8\"]);\n cal.initDomain(\"animal\", [\"cat\", \"dog\", \"spider\", \"bird\"]);\n\n // Learn: \"cats have 4 legs\"\n cal.addConstraint({\n id: \"rule:cats-4-legs\",\n variable: \"legs\",\n allowed: new Set([\"4\"]),\n source: \"rule\",\n note: \"cats have 4 legs\",\n });\n\n // Learn: observation of a 3-legged cat (contradiction recorded, domain preserved)\n cal.addObservation({ legs: \"3\" }, \"obs:three-legged-cat\");\n\n const logger = new HtmlLogger();\n // Query current belief about legs\n logger.log(cal.query(\"legs\")); // possible values + supporting constraints\n logger.log(cal.getContradictions()); // see the conflict we hit\n logger.log(cal.getDomains()); // full current world view\n\n return ResponseHtml(\"\" + logger.toHtml() + \"\");\n}","createdAt",["D",1778499358118],"branchVersion","branchId","8797818c-4d24-11f1-b75f-ee650bb23af1","id","8795e818-4d24-11f1-b75f-ee650bb23af1","cal",["D",1778495471409],"deletedAt","legacyEnvVars","privacy","public","httpPrivacy","description","cognitive application layer","imageUrl","2c6d46b0-54dd-11f0-a86c-6fbc2b29331a","pinnedFileId","pinPreview","pinMigrated","screenshotVersion","likeCount",0,"orgId","850db142-aa5e-4914-bceb-1e2e085ae4c5","tursoName","tursoHostname","tursoMeasuredAt","pinned","userPerm","r","valPerm","blobPerm","rw","emailPerm","sqlitePerm","projectPerm","telemetryPerm","user",{"_95":94,"_102":98},"org",{"_95":94,"_96":-5,"_97":98,"_18":55,"_99":100,"_101":25},"branch",{"_13":84,"_32":85,"_43":42,"_86":44,"_87":-5,"_88":-5,"_89":-5,"_90":-5,"_91":-5,"_92":45,"_93":94},"isOwned",106,"main","projectId","forkedBranchId","forkedBranchVersion","forkedProjectPrivacy","forkedProjectId","forkedProjectOrgId","projectName","userHandle","ziggyware","handle","displayName","avatar","https://img.clerk.com/eyJ0eXBlIjoicHJveHkiLCJzcmMiOiJodHRwczovL2ltYWdlcy5jbGVyay5kZXYvb2F1dGhfZ2l0aHViL2ltZ18yekJHRDE5SGVoUHUzUENQaXY2MTRkT3h0cncifQ","tier","free","canRestrictVals","profileImageUrl","branchName","","adoptOrgId",{"_43":44,"_32":45,"_38":150,"_47":-5,"_48":25,"_49":50,"_51":50,"_52":53,"_54":-5,"_18":55,"_56":-5,"_57":25,"_58":-5,"_59":-5,"_60":61,"_62":63,"_64":-5,"_65":-5,"_66":-5,"_67":-5,"_68":69,"_70":69,"_71":72,"_73":72,"_74":72,"_75":69,"_76":69,"_77":151,"_79":152,"_81":153,"_83":25},"tree",[145],"files",[145],"counts",{"_134":61,"_135":136,"_137":61,"_138":139,"_140":141},"contents",[126],"upstreamProject","upstreamBranch","emptyEnvVars","flags",[],"hasHttpFiles",true,"grants","orgs","customDomains",{},{"_43":127,"_32":28,"_30":31,"_128":-5,"_41":42,"_40":14,"_129":25,"_38":130,"_13":131,"_33":34,"_35":37,"_24":25,"_132":-5,"_27":133},"944661ec-4d2d-11f1-849e-ee650bb23af1","parentId","latest",["D",1778499358118],88,"label",[28],"pulls","branches",1,"forks","envVars",{"_142":61,"_144":61},"connections",{"_142":61,"_143":61},"count","unfilledCount","emptyCount",{"_43":127,"_32":28,"_30":31,"_128":-5,"_41":42,"_40":14,"_129":25,"_38":146,"_13":131,"_33":34,"_35":37,"_24":25,"_132":-5,"_147":148,"_27":149},["D",1778499358118],"children",[],[28],["D",1778495471409],{"_95":94,"_102":98},{"_95":94,"_96":-5,"_97":98,"_18":55,"_99":100,"_101":25},{"_13":84,"_32":85,"_43":42,"_86":44,"_87":-5,"_88":-5,"_89":-5,"_90":-5,"_91":-5,"_92":45,"_93":94},"ctx",{"_77":-5,"_123":187,"_188":189,"_190":191,"_192":25,"_193":25,"_194":25,"_195":121,"_196":-5,"_197":-7,"_198":-7,"_199":61,"_200":25,"_201":25,"_202":-5,"_203":25,"_204":25,"_205":25,"_206":-5},"ENV",{"_158":159,"_160":161,"_162":85,"_163":164,"_165":166,"_167":168,"_169":170,"_171":172,"_173":174,"_175":176,"_177":178,"_179":180,"_181":182,"_183":184,"_185":186},"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"]

Diff · v89