[{"_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","project-brain-sc1-frozen-8076","path","brain_bridge_coalesce_if_v1_sol2014.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/project-brain-sc1-frozen-8076/code/brain_bridge_coalesce_if_v1_sol2014.ts","extension","id","a212c2e4-a158-4652-bb89-59e4f59e51e5","fileId","01a09976-87c3-7187-9a80-00867391a3a4","parentId","branchId","ed89cede-2a78-4ba8-9341-e74dc0bf776f","branchVersion",1,"latest",true,"createdAt",["D",1789281077028],"version",0,"fileType","script","content","export const READ_ONLY_BRAIN_COMMANDS = new Set([\"status\",\"verify-chain\",\"verify-claim-graph\"]);\nexport const COALESCE_COMMANDS = new Set([\"verify-chain\",\"verify-claim-graph\"]);\nexport const TRANSPORT_PRIORITY_CAP = 1_000_000_000;\nexport const MAX_JOB_TIMEOUT = 120;\n\nexport type ReadonlyBrainCommand = \"status\"|\"verify-chain\"|\"verify-claim-graph\";\nexport type CoalesceCommand = \"verify-chain\"|\"verify-claim-graph\";\nexport type AtomicPlan = {sql:string;args:unknown[];command:CoalesceCommand};\n\nfunction plainObject(v:any):v is Record{\n return !!v && typeof v===\"object\" && !Array.isArray(v);\n}\nfunction exactKeys(v:Record,expected:string[]){\n const a=Object.keys(v).sort(),b=[...expected].sort();\n return a.length===b.length && a.every((x,i)=>x===b[i]);\n}\nfunction tableName(t:string){\n if(!/^[A-Za-z_][A-Za-z0-9_]*$/.test(t))throw new Error(\"BAD_TABLE\");\n return t;\n}\nfunction hex64(v:unknown){\n return typeof v===\"string\" && /^[0-9a-f]{64}$/.test(v);\n}\n\nexport function readonlyBrainCommand(op:string,payloadJson:string):ReadonlyBrainCommand|null{\n if(op!==\"brain\")return null;\n let q:any;try{q=JSON.parse(payloadJson)}catch{return null}\n if(!plainObject(q)||!exactKeys(q,[\"args\",\"timeout\"]))return null;\n if(!Array.isArray(q.args)||q.args.length!==1||typeof q.args[0]!==\"string\")return null;\n if(!Number.isInteger(q.timeout)||q.timeout<1||q.timeout>MAX_JOB_TIMEOUT)return null;\n return READ_ONLY_BRAIN_COMMANDS.has(q.args[0]) ? q.args[0] as ReadonlyBrainCommand : null;\n}\nexport function coalescibleBrainCommand(op:string,payloadJson:string):CoalesceCommand|null{\n const c=readonlyBrainCommand(op,payloadJson);\n return c && COALESCE_COMMANDS.has(c) ? c as CoalesceCommand : null;\n}\n\n/* Infer the command from the closed successful worker result itself.\n Status is deliberately never classified for coalescing: current live status\n routinely hits MAX_OUTPUT_BYTES and a copied huge snapshot is not a safe cache. */\nexport function classifyValidCoalesceResult(resultJson:string):CoalesceCommand|null{\n let r:any;try{r=JSON.parse(resultJson)}catch{return null}\n if(!plainObject(r)||!exactKeys(r,[\"returncode\",\"stdout\",\"stderr\",\"stdout_truncated\",\"stderr_truncated\"]))return null;\n if(r.returncode!==0||typeof r.stdout!==\"string\"||r.stderr!==\"\"||r.stdout_truncated!==false||r.stderr_truncated!==false)return null;\n let out:any;try{out=JSON.parse(r.stdout.trim())}catch{return null}\n if(!plainObject(out))return null;\n if(exactKeys(out,[\"computed_head\",\"events\",\"ok\",\"stored_head\"])\n && out.ok===true\n && Number.isInteger(out.events)&&out.events>=0\n && hex64(out.stored_head)&&out.stored_head===out.computed_head){\n return \"verify-chain\";\n }\n if(exactKeys(out,[\"claims\",\"ok\",\"problems\"])\n && out.ok===true\n && Number.isInteger(out.claims)&&out.claims>=0\n && Array.isArray(out.problems)&&out.problems.length===0){\n return \"verify-claim-graph\";\n }\n return null;\n}\n\nfunction closedReadonlySql(a:string){\n return `(${a}.op='brain'\n AND json_valid(${a}.payload_json)=1\n AND json_type(${a}.payload_json,'$.args')='array'\n AND json_array_length(json_extract(${a}.payload_json,'$.args'))=1\n AND json_extract(${a}.payload_json,'$.args[0]') IN ('status','verify-chain','verify-claim-graph')\n AND json_type(${a}.payload_json,'$.timeout')='integer'\n AND json_extract(${a}.payload_json,'$.timeout') BETWEEN 1 AND ${MAX_JOB_TIMEOUT}\n AND (SELECT COUNT(*) FROM json_each(${a}.payload_json))=2)`;\n}\nfunction validRecoverStaleSql(a:string){\n return `(${a}.op='brain'\n AND json_valid(${a}.payload_json)=1\n AND json_type(${a}.payload_json,'$.args')='array'\n AND json_array_length(json_extract(${a}.payload_json,'$.args'))=1\n AND json_extract(${a}.payload_json,'$.args[0]')='recover-stale'\n AND json_type(${a}.payload_json,'$.timeout')='integer'\n AND json_extract(${a}.payload_json,'$.timeout') BETWEEN 1 AND ${MAX_JOB_TIMEOUT}\n AND (SELECT COUNT(*) FROM json_each(${a}.payload_json))=2)`;\n}\nfunction canonicalMutationSql(a:string){\n return `(${a}.op='brain' AND NOT ${closedReadonlySql(a)})`;\n}\nfunction effectivePrioritySql(a:string){\n return `(CASE WHEN ${a}.priority > ${TRANSPORT_PRIORITY_CAP} THEN ${TRANSPORT_PRIORITY_CAP} ELSE ${a}.priority END)`;\n}\n/* Exact current scheduler order for a mutating READY row b relative to read follower f:\n recovery-first, then clamped priority DESC, then created_at,id FIFO. */\nfunction mutatingReadyPrecedesSql(b:string,f:string){\n const br=validRecoverStaleSql(b);\n const bp=effectivePrioritySql(b),fp=effectivePrioritySql(f);\n return `(${canonicalMutationSql(b)} AND (\n ${br}\n OR (\n NOT ${br}\n AND (\n ${bp} > ${fp}\n OR (${bp}=${fp} AND (\n ${b}.created_at < ${f}.created_at\n OR (${b}.created_at=${f}.created_at AND ${b}.id<${f}.id)\n ))\n )\n )\n ))`;\n}\nfunction leaderValidSql(a:string){\n return `(${a}.id=?\n AND ${a}.state='LEASED'\n AND ${a}.lease_owner=?\n AND ${a}.lease_instance_id=?\n AND ${a}.lease_expires_at IS NOT NULL\n AND ${a}.lease_expires_at > datetime('now')\n AND ${a}.op='brain'\n AND json_valid(${a}.payload_json)=1\n AND json_type(${a}.payload_json,'$.args')='array'\n AND json_array_length(json_extract(${a}.payload_json,'$.args'))=1\n AND json_extract(${a}.payload_json,'$.args[0]')=?\n AND json_type(${a}.payload_json,'$.timeout')='integer'\n AND json_extract(${a}.payload_json,'$.timeout') BETWEEN 1 AND ${MAX_JOB_TIMEOUT}\n AND (SELECT COUNT(*) FROM json_each(${a}.payload_json))=2)`;\n}\n\nexport function atomicSuccessfulCoalesceSql(table=\"brain_bridge_jobs\"){\n table=tableName(table);\n const leaderL=leaderValidSql(\"l\");\n return `WITH leader AS MATERIALIZED (\n SELECT l.id,l.op,l.payload_json,l.priority,l.updated_at AS leased_at\n FROM ${table} AS l\n WHERE ${leaderL}\n )\n UPDATE ${table} AS j\n SET state='COMPLETE',\n result_json=?,\n error_json=NULL,\n lease_owner=NULL,\n lease_expires_at=NULL,\n updated_at=datetime('now')\n WHERE\n j.id IN (SELECT id FROM leader)\n OR (\n j.state='READY'\n AND EXISTS(\n SELECT 1 FROM leader AS l\n WHERE j.op=l.op\n AND j.payload_json=l.payload_json\n AND j.priority=l.priority\n AND j.created_at < l.leased_at\n\n /* A READY canonical mutation that scheduler order puts before j\n must execute before j; do not move j across it. */\n AND NOT EXISTS(\n SELECT 1 FROM ${table} AS b\n WHERE b.id<>j.id AND b.id<>l.id\n AND b.state='READY'\n AND ${mutatingReadyPrecedesSql(\"b\",\"j\")}\n )\n\n /* Any canonical mutation already in flight can change state\n independently of queue priority. Its older lease timestamp\n must not make it invisible. */\n AND NOT EXISTS(\n SELECT 1 FROM ${table} AS m\n WHERE m.id<>j.id AND m.id<>l.id\n AND m.state='LEASED'\n AND ${canonicalMutationSql(\"m\")}\n )\n\n /* Terminal mutations after the leader lease are state changes or\n unknown/failure boundaries that the leader snapshot may not\n safely represent for j. Same-second timestamps block\n conservatively because sqlite datetime() is second-granularity. */\n AND NOT EXISTS(\n SELECT 1 FROM ${table} AS t\n WHERE t.id<>j.id AND t.id<>l.id\n AND t.state IN ('COMPLETE','FAILED')\n AND t.updated_at >= l.leased_at\n AND ${canonicalMutationSql(\"t\")}\n )\n )\n )\n RETURNING id`;\n}\n\nexport function prepareAtomicCoalescePlan(\n resultJson:string,\n id:string,\n worker:string,\n instance:string,\n success:boolean,\n table=\"brain_bridge_jobs\",\n):AtomicPlan|null{\n if(success!==true||!id||!worker||!instance)return null;\n const command=classifyValidCoalesceResult(resultJson);\n if(command===null)return null;\n return {\n command,\n sql:atomicSuccessfulCoalesceSql(table),\n args:[id,worker,instance,command,resultJson],\n };\n}\n","deleted",false,"label",[14],"28272fcb-c8c0-4b64-acbe-b2aa0115d676",["D",1789281077028],"deletedAt","legacyEnvVars","privacy","public","httpPrivacy","description","SC1 frozen exact-kernel verification clone","imageUrl","userId","6be0fc5c-1fef-4bd6-a1e1-67a3f8c0764e","pinnedFileId","01a09976-87c5-7210-abe1-53a4eb6312e0","pinPreview","pinMigrated","screenshotVersion","likeCount","orgId","01a0715b-703f-741f-ab35-c85020e4a5e0","tursoName","28272fcbc8c04b64acbeb2aa0115d676","tursoHostname","28272fcbc8c04b64acbeb2aa0115d676-val-town.aws-us-east-2.turso.io","tursoMeasuredAt",["D",1789542643120],"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",3,"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","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","orgs",[],"preferencesKeybindings","default","preferencesTheme","light","preferencesFixers","preferencesCopilot","preferencesSelectionAi","preferencesCloseBrackets","preferencesChatPanelState","preferencesDprint","preferencesDenofmt","notificationCount","flagDenols","isBusinessOrgMember","businessOrgHandle","isBusinessOrgAdmin","isHigherTownieTier","navCollapsed","currentOrgId"]