[{"_1":2,"_3":-5,"_4":-5},"loaderData",{"_5":6,"_7":8},"actionData","errors","root",{"_106":107,"_108":109},"routes/embed.x.$handle.$name.$",{"_9":10,"_11":12,"_13":14,"_15":16,"_17":18,"_19":20,"_21":-5},"handle","mosadek","name","r3a3-m6q9-shadow2","path","knowledge_kernel_r6_http.ts","project",{"_22":45,"_11":12,"_33":46,"_47":-5,"_48":42,"_49":50,"_51":50,"_52":53,"_54":-5,"_55":56,"_57":58,"_59":32,"_60":-5,"_61":-5,"_62":36,"_63":64,"_65":66,"_67":68,"_69":70,"_71":-5,"_72":73,"_74":73,"_75":76,"_77":76,"_78":76,"_79":73,"_80":73,"_81":82,"_83":84,"_85":86,"_87":42},"file",{"_22":23,"_11":14,"_24":25,"_26":-5,"_27":28,"_29":30,"_31":32,"_33":34,"_35":36,"_37":38,"_39":40,"_41":42,"_43":-5,"_13":44},"permalink","https://www.val.town/x/mosadek/r3a3-m6q9-shadow2/code/knowledge_kernel_r6_http.ts","extension","id","cd200e31-5837-4380-8d7a-6bbf18275da2","fileId","01a092e7-153b-76b2-ac45-47f6a7b45051","parentId","branchId","1da4df5d-ade5-4da9-8efa-00b2d8f1294a","branchVersion",1,"latest",true,"createdAt",["D",1789171012789],"version",0,"fileType","http","content","import { sqlite } from \"https://esm.town/v/std/sqlite/main.ts\";\n\ntype Rule={id:string;if:string[];then:string};\ntype Ins={op:string;[k:string]:any};\ntype Program={consts?:Record;code:Ins[];gas?:number};\n\nfunction tokens(s:string):string[]{\n return [...new Set(s.toLowerCase().replace(/[^a-z0-9_]+/g,\" \").trim().split(/\\s+/).filter(x=>x.length>=3))];\n}\n\nfunction runProgram(input:string,p:Program):string{\n if(!p||!Array.isArray(p.code))throw new Error(\"bad external program\");\n const code=p.code,regs:Record={},mem:number[]=[],out:number[]=[];\n const constants=p.consts??{};\n const gasLimit=Math.min(Math.max(Number(p.gas??200000),1),500000);\n let gas=0,pc=0;\n const R=(n:any)=>{const v=regs[String(n)];return Number.isFinite(v)?v:0;};\n const W=(n:any,v:number)=>{if(!Number.isFinite(v))throw new Error(\"nonfinite\");regs[String(n)]=Math.trunc(v);};\n while(pc>=0&&pcgasLimit)throw new Error(\"PROGRAM_GAS_EXCEEDED\");\n const x=code[pc],op=String(x.op||\"\");\n switch(op){\n case \"SET\": W(x.r,Number(x.v));pc++;break;\n case \"LEN\": W(x.r,input.length);pc++;break;\n case \"CHAR\": {\n const i=R(x.index);if(i<0||i>=input.length)throw new Error(\"CHAR_OOB\");\n W(x.r,input.charCodeAt(i));pc++;break;\n }\n case \"INDEXOF\": {\n const s=String(constants[String(x.const)]??\"\");\n const i=s.indexOf(String.fromCharCode(R(x.char)));\n if(i<0)throw new Error(\"INDEXOF_MISS\");\n W(x.r,i);pc++;break;\n }\n case \"ADD\": W(x.r,R(x.a)+R(x.b));pc++;break;\n case \"ADD_CONST\": W(x.r,R(x.a)+Number(x.v));pc++;break;\n case \"SUB\": W(x.r,R(x.a)-R(x.b));pc++;break;\n case \"MUL\": W(x.r,R(x.a)*R(x.b));pc++;break;\n case \"DIV\": {const d=R(x.b);if(d===0)throw new Error(\"DIV0\");W(x.r,Math.trunc(R(x.a)/d));pc++;break;}\n case \"MOD\": {const d=R(x.b);if(d===0)throw new Error(\"MOD0\");W(x.r,R(x.a)%d);pc++;break;}\n case \"SHL\": W(x.r,R(x.a)<>>Number(x.bits));pc++;break;\n case \"AND\": W(x.r,R(x.a)&Number(x.mask));pc++;break;\n case \"OR\": W(x.r,R(x.a)|R(x.b));pc++;break;\n case \"XOR\": W(x.r,R(x.a)^R(x.b));pc++;break;\n case \"INC\": W(x.r,R(x.r)+1);pc++;break;\n case \"DEC\": W(x.r,R(x.r)-1);pc++;break;\n case \"MEM_SET\": {const i=R(x.index);if(i<0||i>1000000)throw new Error(\"MEM_OOB\");mem[i]=R(x.value);pc++;break;}\n case \"MEM_GET\": {const i=R(x.index);if(i<0||i>1000000)throw new Error(\"MEM_OOB\");W(x.r,mem[i]??0);pc++;break;}\n case \"APPEND\": {\n if(out.length>=1048576)throw new Error(\"OUTPUT_LIMIT\");\n const b=R(x.r);if(b<0||b>255)throw new Error(\"BYTE_RANGE\");out.push(b);pc++;break;\n }\n case \"JUMP\": pc=Number(x.target);break;\n case \"JGE\": pc=R(x.a)>=R(x.b)?Number(x.target):pc+1;break;\n case \"JGT\": pc=R(x.a)>R(x.b)?Number(x.target):pc+1;break;\n case \"JEQ\": pc=R(x.a)===R(x.b)?Number(x.target):pc+1;break;\n case \"JNE\": pc=R(x.a)!==R(x.b)?Number(x.target):pc+1;break;\n case \"HALT\": pc=code.length;break;\n default: throw new Error(\"UNKNOWN_OPCODE_\"+op);\n }\n }\n return new TextDecoder().decode(Uint8Array.from(out));\n}\n\nfunction parseBySpec(content:string,spec:any):{facts:string[];rules:Rule[]}{\n if(spec.type===\"json\"){\n const x=JSON.parse(content);\n const facts=x[spec.facts_key],raw=x[spec.rules_key];\n if(!Array.isArray(facts)||!Array.isArray(raw))throw new Error(\"bad json\");\n return {facts:facts.map(String),rules:raw.map((r:any)=>({\n id:String(r[spec.id_key]),if:Array.from(r[spec.premises_key]??[]).map(String),then:String(r[spec.then_key])\n }))};\n }\n if(spec.type===\"line_regex\"){\n const fr=new RegExp(spec.fact_pattern),rr=new RegExp(spec.rule_pattern);\n const facts:string[]=[],rules:Rule[]=[];\n for(const line0 of content.trim().split(/\\r?\\n/)){\n const line=line0.trim(),fm=line.match(fr);\n if(fm){facts.push(String(fm[spec.fact_group]));continue;}\n const rm=line.match(rr);\n if(!rm)throw new Error(\"line adapter reject\");\n const raw=String(rm[spec.premises_group]);\n const premises=spec.premise_split_regex?raw.split(new RegExp(spec.premise_split_regex)):raw.split(String(spec.premise_split??\",\"));\n rules.push({id:String(rm[spec.id_group]),if:premises.filter(Boolean),then:String(rm[spec.then_group])});\n }\n return {facts,rules};\n }\n throw new Error(\"unknown parser spec\");\n}\n\nfunction solve(facts:string[],rules:Rule[],query:string){\n const known=new Set(facts),parent=new Map();\n let changed=true,rounds=0;\n while(changed&&!known.has(query)){\n changed=false;rounds++;\n for(const r of rules){\n if(!known.has(r.then)&&r.if.every(x=>known.has(x))){\n known.add(r.then);parent.set(r.then,{rule:r.id,premises:r.if});changed=true;\n }\n }\n if(rounds>rules.length+facts.length+4)break;\n }\n const reachable=known.has(query),proof:string[]=[],seen=new Set();\n function trace(x:string){if(seen.has(x))return;seen.add(x);const p=parent.get(x);if(!p)return;for(const q of p.premises)trace(q);proof.push(p.rule);}\n if(reachable)trace(query);\n return {reachable,rounds,proof_rule_count:proof.length,proof_rules:proof};\n}\n\nexport default async function(req:Request):Promise{\n const url=new URL(req.url),question=url.searchParams.get(\"q\");\n if(!question)return new Response(\"missing q\",{status:400});\n const qm=question.match(/statement\\s+([A-Za-z0-9_]+)/i);\n if(!qm)return new Response(\"question grammar unsupported\",{status:400});\n const query=qm[1];\n\n const catalog=await sqlite.execute(\"SELECT alias,source_id,locator_text FROM knowledge_kernel_catalog_r6\");\n const qt=tokens(question).filter(x=>![\"statement\",\"using\",\"archive\",\"determine\",\"whether\",\"derivable\"].includes(x));\n let best:any=null,bestScore=-1,tied=false;\n for(const row of catalog.rows as any[]){\n const st=new Set(tokens(String(row.locator_text)+\" \"+String(row.alias)));\n const score=qt.reduce((n,t)=>n+(st.has(t)?1:0),0);\n if(score>bestScore){best=row;bestScore=score;tied=false;}\n else if(score===bestScore)tied=true;\n }\n if(!best||bestScore<=0||tied)return Response.json({ok:false,reason:\"SOURCE_DISCOVERY_AMBIGUOUS\",bestScore,tied},{status:422});\n\n const src=await sqlite.execute({sql:\"SELECT content FROM knowledge_kernel_sources_r6 WHERE source_id=?\",args:[String(best.source_id)]});\n if(!src.rows.length)return new Response(\"source missing\",{status:500});\n const raw=String((src.rows[0] as any).content);\n\n const adapters=await sqlite.execute(\"SELECT name,detector_regex,parser_spec_json,preprocess_program_json FROM knowledge_kernel_adapters_r6 ORDER BY name\");\n let chosen:any=null;\n for(const a of adapters.rows as any[]){\n if(new RegExp(String(a.detector_regex)).test(raw)){chosen=a;break;}\n }\n if(!chosen)return Response.json({ok:false,reason:\"NO_ADAPTER_AVAILABLE\"},{status:422});\n\n let content=raw,preprocessed=false,parsed;\n try{\n if(chosen.preprocess_program_json){\n content=runProgram(raw,JSON.parse(String(chosen.preprocess_program_json)));\n preprocessed=true;\n }\n parsed=parseBySpec(content,JSON.parse(String(chosen.parser_spec_json)));\n }catch(e){\n return Response.json({ok:false,reason:\"EXTERNAL_CAPABILITY_EXECUTION_FAIL\",adapter:String(chosen.name),error:String(e)},{status:422});\n }\n\n const out=solve(parsed.facts,parsed.rules,query);\n return Response.json({\n ok:true,...out,query,\n discovered_alias:String(best.alias),source_id:String(best.source_id),\n adapter_name:String(chosen.name),preprocessed,\n source_discovered_at_runtime:true,\n external_program_loaded_at_runtime:Boolean(chosen.preprocess_program_json),\n knowledge_retrieved_at_runtime:true,\n knowledge_compiled_at_runtime:true,\n model_calls:0,trained_parameters_in_kernel:0\n });\n}","deleted",false,"label",[14],"04900e5a-0cc1-401b-9ed8-b0fe6196756a",["D",1789171012789],"deletedAt","legacyEnvVars","privacy","public","httpPrivacy","description","Disposable R3A3 exact cohort falsifier","imageUrl","userId","6be0fc5c-1fef-4bd6-a1e1-67a3f8c0764e","pinnedFileId","01a092e7-1539-7581-b5ef-8e522619d4aa","pinPreview","pinMigrated","screenshotVersion","likeCount","orgId","01a0715b-703f-741f-ab35-c85020e4a5e0","tursoName","04900e5a0cc1401b9ed8b0fe6196756a","tursoHostname","04900e5a0cc1401b9ed8b0fe6196756a-val-town.aws-us-east-2.turso.io","tursoMeasuredAt",["D",1789522836959],"pinned","userPerm","r","valPerm","blobPerm","rw","emailPerm","sqlitePerm","projectPerm","telemetryPerm","user",{"_9":10,"_105":101},"org",{"_9":10,"_98":99,"_100":101,"_55":56,"_102":103,"_104":42},"branch",{"_35":88,"_11":89,"_22":28,"_90":45,"_91":-5,"_92":-5,"_93":-5,"_94":-5,"_95":-5,"_96":12,"_97":10},"isOwned",2,"main","projectId","forkedBranchId","forkedBranchVersion","forkedProjectPrivacy","forkedProjectId","forkedProjectOrgId","projectName","userHandle","displayName","Mo Sadek","avatar","https://lh3.googleusercontent.com/a/ACg8ocL1eT_LHhKSg5px3nXIO6eez79aZXef466qXKh2gak-0iwrvw=s96-c","tier","free","canRestrictVals","profileImageUrl","ctx",{"_81":-5,"_139":140,"_141":142,"_143":144,"_145":42,"_146":42,"_147":42,"_148":32,"_149":-5,"_150":-7,"_151":-7,"_152":36,"_153":42,"_154":42,"_155":-5,"_156":42,"_157":42,"_158":42,"_159":-5},"ENV",{"_110":111,"_112":113,"_114":89,"_115":116,"_117":118,"_119":120,"_121":122,"_123":124,"_125":126,"_127":128,"_129":130,"_131":132,"_133":134,"_135":136,"_137":138},"REACT_APP_SENTRY_DSN","https://586020d86f05489db63a554690acf1e9@o1398359.ingest.sentry.io/6724499","RENDER_GIT_COMMIT","811aa22498c9b0b5a47e8d778de579cdb990f332","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","orgs",[],"preferencesKeybindings","default","preferencesTheme","light","preferencesFixers","preferencesCopilot","preferencesSelectionAi","preferencesCloseBrackets","preferencesChatPanelState","preferencesDprint","preferencesDenofmt","notificationCount","flagDenols","isBusinessOrgMember","businessOrgHandle","isBusinessOrgAdmin","isHigherTownieTier","navCollapsed","currentOrgId"]