[{"_1":2,"_3":-5,"_4":-5},"loaderData",{"_5":6,"_7":8,"_9":10},"actionData","errors","root",{"_345":346,"_347":348},"routes/_app.x.$handle.$name",{"_98":97,"_31":43,"_107":88,"_26":108,"_13":14,"_109":-5,"_11":110,"_111":112,"_113":114,"_115":116,"_117":118,"_20":-5,"_119":-5,"_120":-5,"_121":24,"_122":123,"_124":57,"_125":-5,"_126":-5,"_127":128},"routes/_app.x.$handle.$name.branch.$branch.version.$version.diff",{"_11":12,"_13":14,"_15":16,"_17":-5,"_18":-5},"project",{"_41":42,"_31":43,"_36":44,"_45":-5,"_46":24,"_47":48,"_49":48,"_50":51,"_52":-5,"_18":53,"_54":55,"_56":57,"_58":-5,"_59":-5,"_60":61,"_62":63,"_64":65,"_66":67,"_68":69,"_70":-5,"_71":72,"_73":72,"_74":75,"_76":75,"_77":75,"_78":72,"_79":72,"_80":81,"_82":83,"_84":85,"_86":24},"version",14,"changes",[19],"aiChatInfo","userId",{"_20":21,"_22":-7,"_23":24,"_25":24,"_26":27,"_28":27},"file",{"_29":30,"_31":27,"_32":33,"_34":35,"_36":37,"_38":14,"_39":40,"_23":24},"previous","deleted",false,"deletedHere","path","independent_atomicity_1330.ts","latestPath","fileId","2d23cf14-aab0-11f1-96fc-1607ee4eb77e","name","fileType","http","content","import { sqlite } from \"https://esm.town/v/std/sqlite/main.ts\";\nconst T=\"independent_atomicity_1330\";\nasync function rows(){return (await sqlite.execute(`SELECT * FROM ${T} ORDER BY id`)).rows||[]}\nexport default async function(req:Request){\n const u=new URL(req.url),mode=u.searchParams.get(\"mode\")||\"read\";\n if(mode===\"reset\"){await sqlite.execute(`DROP TABLE IF EXISTS ${T}`);await sqlite.execute(`CREATE TABLE ${T}(id TEXT PRIMARY KEY,mode TEXT NOT NULL,created_at TEXT NOT NULL)`);return Response.json({ok:true,mode});}\n if(mode===\"read\")return Response.json({ok:true,mode,rows:await rows()});\n if(mode===\"control\"){const tx=await sqlite.transaction(\"write\");await tx.execute({sql:`INSERT INTO ${T}(id,mode,created_at) VALUES(?,?,datetime('now'))`,args:[\"control\",\"control\"]});await tx.commit();return Response.json({ok:true,mode,rows:await rows()});}\n if(mode===\"crash\"){const tx=await sqlite.transaction(\"write\");await tx.execute({sql:`INSERT INTO ${T}(id,mode,created_at) VALUES(?,?,datetime('now'))`,args:[\"crash\",\"crash_before_commit\"]});throw new Error(\"INDEPENDENT_INTENTIONAL_CRASH_BEFORE_COMMIT\");}\n if(mode===\"return_open\"){const tx=await sqlite.transaction(\"write\");await tx.execute({sql:`INSERT INTO ${T}(id,mode,created_at) VALUES(?,?,datetime('now'))`,args:[\"return_open\",\"return_before_commit\"]});return Response.json({ok:true,mode});}\n if(mode===\"abandon\"){let tx:any=await sqlite.transaction(\"write\");await tx.execute({sql:`INSERT INTO ${T}(id,mode,created_at) VALUES(?,?,datetime('now'))`,args:[\"abandon\",\"reference_abandoned\"]});tx=null;await new Promise(r=>setTimeout(r,50));return Response.json({ok:true,mode});}\n return new Response(\"bad mode\",{status:400});\n}","createdAt",["D",1788780907324],"branchVersion","branchId","b7adc8d8-2a44-4133-9edb-ce15696bf684","id","cd2463f0-cb23-40b9-b28a-3da55e82d4db","brain-shadow-tx-c4e7",["D",1788654882934],"deletedAt","legacyEnvVars","privacy","public","httpPrivacy","description","Throwaway Brain transaction parity probe","imageUrl","6be0fc5c-1fef-4bd6-a1e1-67a3f8c0764e","pinnedFileId","01a07423-90d5-70c6-8557-62d52cebb5a9","pinPreview",true,"pinMigrated","screenshotVersion","likeCount",0,"orgId","01a0715b-703f-741f-ab35-c85020e4a5e0","tursoName","cd2463f0cb2340b9b28a3da55e82d4db","tursoHostname","cd2463f0cb2340b9b28a3da55e82d4db-val-town.aws-us-east-2.turso.io","tursoMeasuredAt",["D",1789527031073],"pinned","userPerm","r","valPerm","blobPerm","rw","emailPerm","sqlitePerm","projectPerm","telemetryPerm","user",{"_98":97,"_106":102},"org",{"_98":97,"_99":100,"_101":102,"_18":53,"_103":104,"_105":24},"branch",{"_13":87,"_31":88,"_41":40,"_89":42,"_90":-5,"_91":-5,"_92":-5,"_93":-5,"_94":-5,"_95":43,"_96":97},"isOwned",26,"main","projectId","forkedBranchId","forkedBranchVersion","forkedProjectPrivacy","forkedProjectId","forkedProjectOrgId","projectName","userHandle","mosadek","handle","displayName","Mo Sadek","avatar","https://lh3.googleusercontent.com/a/ACg8ocL1eT_LHhKSg5px3nXIO6eez79aZXef466qXKh2gak-0iwrvw=s96-c","tier","free","canRestrictVals","profileImageUrl","branchName","","adoptOrgId",{"_41":42,"_31":43,"_36":340,"_45":-5,"_46":24,"_47":48,"_49":48,"_50":51,"_52":-5,"_18":53,"_54":55,"_56":57,"_58":-5,"_59":-5,"_60":61,"_62":63,"_64":65,"_66":67,"_68":341,"_70":-5,"_71":72,"_73":72,"_74":75,"_76":75,"_77":75,"_78":72,"_79":72,"_80":342,"_82":343,"_84":344,"_86":24},"tree",[255,259,260,261,262,263,264,265,266,267,268,269,270,271,272],"files",[255,256,257,258,259,260,261,262,263,264,265,266,267,268,269,270,271,272],"counts",{"_245":61,"_246":178,"_247":61,"_248":249,"_250":251},"contents",[129,130,131,132,133,134,135,136,137,138,139,140,141,142,143],"upstreamProject","upstreamBranch","emptyEnvVars","flags",[],"hasHttpFiles","grants","orgs","customDomains",{},{"_41":239,"_31":240,"_29":241,"_147":-5,"_39":40,"_38":178,"_149":57,"_36":242,"_13":61,"_32":243,"_34":-5,"_23":24,"_153":-5,"_26":244},{"_41":233,"_31":234,"_29":235,"_147":-5,"_39":40,"_38":178,"_149":57,"_36":236,"_13":61,"_32":20,"_34":237,"_23":24,"_153":-5,"_26":238},{"_41":226,"_31":227,"_29":228,"_147":-5,"_39":40,"_38":229,"_149":57,"_36":230,"_13":61,"_32":33,"_34":231,"_23":24,"_153":-5,"_26":232},{"_41":219,"_31":220,"_29":221,"_147":-5,"_39":40,"_38":222,"_149":57,"_36":223,"_13":61,"_32":151,"_34":224,"_23":24,"_153":-5,"_26":225},{"_41":212,"_31":213,"_29":214,"_147":-5,"_39":40,"_38":215,"_149":57,"_36":216,"_13":148,"_32":33,"_34":217,"_23":24,"_153":-5,"_26":218},{"_41":206,"_31":207,"_29":208,"_147":-5,"_39":40,"_38":178,"_149":57,"_36":209,"_13":61,"_32":151,"_34":210,"_23":24,"_153":-5,"_26":211},{"_41":199,"_31":200,"_29":201,"_147":-5,"_39":40,"_38":202,"_149":57,"_36":203,"_13":61,"_32":151,"_34":204,"_23":24,"_153":-5,"_26":205},{"_41":192,"_31":193,"_29":194,"_147":-5,"_39":40,"_38":195,"_149":57,"_36":196,"_13":61,"_32":151,"_34":197,"_23":24,"_153":-5,"_26":198},{"_41":185,"_31":186,"_29":187,"_147":-5,"_39":40,"_38":188,"_149":57,"_36":189,"_13":61,"_32":151,"_34":190,"_23":24,"_153":-5,"_26":191},{"_41":182,"_31":27,"_29":30,"_147":-5,"_39":40,"_38":14,"_149":24,"_36":183,"_13":61,"_32":33,"_34":35,"_23":24,"_153":-5,"_26":184},{"_41":176,"_31":177,"_29":55,"_147":-5,"_39":40,"_38":178,"_149":57,"_36":179,"_13":61,"_32":33,"_34":180,"_23":24,"_153":-5,"_26":181},{"_41":169,"_31":170,"_29":171,"_147":-5,"_39":40,"_38":172,"_149":57,"_36":173,"_13":61,"_32":151,"_34":174,"_23":24,"_153":-5,"_26":175},{"_41":162,"_31":163,"_29":164,"_147":-5,"_39":40,"_38":165,"_149":57,"_36":166,"_13":61,"_32":151,"_34":167,"_23":24,"_153":-5,"_26":168},{"_41":155,"_31":156,"_29":157,"_147":-5,"_39":40,"_38":158,"_149":57,"_36":159,"_13":61,"_32":33,"_34":160,"_23":24,"_153":-5,"_26":161},{"_41":144,"_31":145,"_29":146,"_147":-5,"_39":40,"_38":148,"_149":57,"_36":150,"_13":61,"_32":151,"_34":152,"_23":24,"_153":-5,"_26":154},"36a83900-21fc-4ecc-a596-6ea9213f5c7c","tx_probe.ts","cc74516e-a98a-11f1-b61d-1607ee4eb77e","parentId",2,"latest",["D",1788654902545],"script","import { sqlite } from \"https://esm.town/v/std/sqlite/main.ts\";\n\nasync function main() {\n const table = \"c4e7_tx_probe\";\n const out: Record = {\n schema: \"BRAIN_VAL_NATIVE_TX_QUALIFICATION_V1\",\n sqlite_transaction_type: typeof (sqlite as any).transaction,\n pass: false,\n checks: {},\n };\n const checks = out.checks as Record;\n\n await sqlite.execute(`DROP TABLE IF EXISTS ${table}`);\n await sqlite.execute(`CREATE TABLE ${table}(id INTEGER PRIMARY KEY, v INTEGER NOT NULL, note TEXT NOT NULL)`);\n await sqlite.execute({ sql: `INSERT INTO ${table}(id,v,note) VALUES(1,10,'seed')` });\n\n if (typeof (sqlite as any).transaction !== \"function\") {\n checks.transaction_api = \"MISSING\";\n console.log(JSON.stringify(out));\n return;\n }\n checks.transaction_api = \"PRESENT\";\n\n const tx1 = await (sqlite as any).transaction(\"write\");\n const r1 = await tx1.execute(`SELECT v FROM ${table} WHERE id=1`);\n const before = Number((r1.rows[0] as any).v);\n await tx1.execute({ sql: `UPDATE ${table} SET v=?, note='rollback' WHERE id=1`, args: [before + 1] });\n const r2 = await tx1.execute(`SELECT v FROM ${table} WHERE id=1`);\n const insideRollback = Number((r2.rows[0] as any).v);\n await tx1.rollback();\n const r3 = await sqlite.execute(`SELECT v,note FROM ${table} WHERE id=1`);\n const afterRollback = Number((r3.rows[0] as any).v);\n checks.interactive_read_write = before === 10 && insideRollback === 11;\n checks.rollback_isolation = afterRollback === 10 && (r3.rows[0] as any).note === \"seed\";\n\n const tx2 = await (sqlite as any).transaction(\"write\");\n const r4 = await tx2.execute(`SELECT v FROM ${table} WHERE id=1`);\n const dynamicBefore = Number((r4.rows[0] as any).v);\n const upd = await tx2.execute({\n sql: `UPDATE ${table} SET v=?, note='commit' WHERE id=1 AND v=?`,\n args: [dynamicBefore + 5, dynamicBefore],\n });\n await tx2.commit();\n const r5 = await sqlite.execute(`SELECT v,note FROM ${table} WHERE id=1`);\n checks.dynamic_conditional_commit =\n Number((upd as any).rowsAffected) === 1 &&\n Number((r5.rows[0] as any).v) === 15 &&\n (r5.rows[0] as any).note === \"commit\";\n\n const tx3 = await (sqlite as any).transaction(\"write\");\n let constraintCaught = false;\n try {\n await tx3.execute(`UPDATE ${table} SET v=99,note='should-rollback' WHERE id=1`);\n await tx3.execute(`INSERT INTO ${table}(id,v,note) VALUES(1,0,'duplicate')`);\n await tx3.commit();\n } catch (_e) {\n constraintCaught = true;\n try { await tx3.rollback(); } catch { /* already rolled back/closed */ }\n }\n const r6 = await sqlite.execute(`SELECT v,note FROM ${table} WHERE id=1`);\n checks.error_rollback =\n constraintCaught &&\n Number((r6.rows[0] as any).v) === 15 &&\n (r6.rows[0] as any).note === \"commit\";\n\n out.pass = Object.values(checks).every((v) => v === true || v === \"PRESENT\");\n await sqlite.execute(`DROP TABLE IF EXISTS ${table}`);\n console.log(JSON.stringify(out));\n}\n\nawait main();\n","label",[145],"fb1fbf6c-545d-4f24-b5f0-de36b8565d1a","state_machine_probe.ts","30192e80-a98e-11f1-9774-1607ee4eb77e",9,["D",1788656358233],"import { sqlite } from \"https://esm.town/v/std/sqlite/main.ts\";\nconst T=\"c4e7_generation_cas\";\nconst sleep=(ms:number)=>new Promise(r=>setTimeout(r,ms));\n\nexport default async function(req:Request):Promise{\n const u=new URL(req.url);\n const action=u.searchParams.get(\"action\")||\"status\";\n if(action===\"init\"){\n await sqlite.execute(`DROP TABLE IF EXISTS ${T}`);\n await sqlite.execute(`CREATE TABLE ${T}(k TEXT PRIMARY KEY,v INTEGER NOT NULL)`);\n await sqlite.execute(`INSERT INTO ${T}(k,v) VALUES('generation',0)`);\n return Response.json({ok:true,action,generation:0});\n }\n if(action===\"cas\"){\n const expected=Number(u.searchParams.get(\"expected\")||\"0\");\n const hold=Math.max(0,Math.min(1000,Number(u.searchParams.get(\"hold\")||\"0\")));\n const tx=await (sqlite as any).transaction(\"write\");\n const start=Date.now();\n const r=await tx.execute(`SELECT v FROM ${T} WHERE k='generation'`);\n const actual=Number((r.rows[0] as any).v);\n const readAt=Date.now();\n if(actual!==expected){\n await tx.rollback();\n return Response.json({ok:false,reason:\"STALE_WRITE\",expected,actual,start,readAt});\n }\n if(hold) await sleep(hold);\n const upd=await tx.execute({sql:`UPDATE ${T} SET v=? WHERE k='generation' AND v=?`,args:[actual+1,actual]});\n if(Number((upd as any).rowsAffected)!==1){\n await tx.rollback();\n return Response.json({ok:false,reason:\"CAS_RACE_LOST\",expected,actual,start,readAt});\n }\n await tx.commit();\n const committed=Date.now();\n return Response.json({ok:true,expected,actual,generation:actual+1,start,readAt,committed});\n }\n if(action===\"orchestrate\"){\n const self=new URL(req.url);\n self.search=\"?action=cas&expected=0&hold=250\";\n const p1=fetch(self).then(async r=>({status:r.status,body:await r.json()}));\n const p2=fetch(self).then(async r=>({status:r.status,body:await r.json()}));\n const [a,b]=await Promise.all([p1,p2]);\n const r=await sqlite.execute(`SELECT v FROM ${T} WHERE k='generation'`);\n const finalGeneration=Number((r.rows[0] as any).v);\n const oks=[a,b].filter((x:any)=>x.body?.ok===true).length;\n const stale=[a,b].filter((x:any)=>x.body?.reason===\"STALE_WRITE\").length;\n return Response.json({ok:oks===1&&stale===1&&finalGeneration===1,action,results:[a,b],final_generation:finalGeneration,successes:oks,stale_rejections:stale});\n }\n const r=await sqlite.execute(`SELECT v FROM ${T} WHERE k='generation'`).catch(()=>({rows:[]}));\n return Response.json({ok:true,action:\"status\",generation:(r.rows[0] as any)?.v??null});\n}",[156],"6fb269b6-b30c-4ea4-a934-5b4dcd2ccf59","nonfinite_sqlite_probe.ts","ecec8378-a98d-11f1-94a9-1607ee4eb77e",8,["D",1788656245533],"import { sqlite } from \"https://esm.town/v/std/sqlite/main.ts\";\nconst table=\"c4e7_nonfinite\";\nawait sqlite.execute(`DROP TABLE IF EXISTS ${table}`);\nawait sqlite.execute(`CREATE TABLE ${table}(name TEXT PRIMARY KEY,x REAL NOT NULL)`);\nconst cases:[string,number][]=[[\"inf\",Infinity],[\"ninf\",-Infinity],[\"nan\",NaN]];\nconst results:any[]=[];\nfor(const [name,x] of cases){\n try{\n await sqlite.execute({sql:`INSERT INTO ${table}(name,x) VALUES(?,?)`,args:[name,x]});\n const r=await sqlite.execute({sql:`SELECT x,typeof(x) AS typ FROM ${table} WHERE name=?`,args:[name]});\n const val=(r.rows[0] as any)?.x;\n results.push({name,inserted:true,returned:String(val),is_finite:Number.isFinite(Number(val)),is_nan:Number.isNaN(Number(val)),typeof_sql:(r.rows[0] as any)?.typ});\n }catch(e){results.push({name,inserted:false,error:String(e)});}\n}\nawait sqlite.execute(`DROP TABLE IF EXISTS ${table}`);\nconsole.log(JSON.stringify({schema:\"BRAIN_VAL_NATIVE_NONFINITE_SQLITE_PROBE_V1\",results}));",[163],"34fe831b-411a-45c0-bb9f-01c23ab15833","multiwriter_probe.ts","7d12adf4-a98b-11f1-bf88-1607ee4eb77e",3,["D",1788655198900],"import { sqlite } from \"https://esm.town/v/std/sqlite/main.ts\";\nconst table=\"c4e7_multiwriter\";\nawait sqlite.execute(`DROP TABLE IF EXISTS ${table}`);\nawait sqlite.execute(`CREATE TABLE ${table}(id INTEGER PRIMARY KEY,v INTEGER NOT NULL)`);\nawait sqlite.execute(`INSERT INTO ${table}(id,v) VALUES(1,0)`);\nconst t0=Date.now();\nconst tx1=await (sqlite as any).transaction(\"write\");\nawait tx1.execute(`UPDATE ${table} SET v=1 WHERE id=1`);\nlet tx2AcquiredAt:number|null=null;\nconst p2=(async()=>{\n const tx2=await (sqlite as any).transaction(\"write\");\n tx2AcquiredAt=Date.now();\n const r=await tx2.execute(`SELECT v FROM ${table} WHERE id=1`);\n const seen=Number((r.rows[0] as any).v);\n await tx2.execute({sql:`UPDATE ${table} SET v=? WHERE id=1`,args:[seen+1]});\n await tx2.commit();\n return {seen};\n})();\nawait new Promise(r=>setTimeout(r,150));\nconst acquiredBeforeCommit=tx2AcquiredAt!==null;\nawait tx1.commit();\nconst tx2Result=await Promise.race([\n p2,\n new Promise((_,rej)=>setTimeout(()=>rej(new Error(\"TX2_TIMEOUT\")),3000))\n]);\nconst finalR=await sqlite.execute(`SELECT v FROM ${table} WHERE id=1`);\nconst finalV=Number((finalR.rows[0] as any).v);\nawait sqlite.execute(`DROP TABLE IF EXISTS ${table}`);\nconsole.log(JSON.stringify({\n schema:\"BRAIN_VAL_NATIVE_MULTIWRITER_QUALIFICATION_V1\",\n pass:!acquiredBeforeCommit&&(tx2Result as any).seen===1&&finalV===2,\n tx2_acquired_before_tx1_commit:acquiredBeforeCommit,\n tx2_seen_value:(tx2Result as any).seen,\n final_value:finalV,\n tx2_acquire_delay_ms:(tx2AcquiredAt??Date.now())-t0\n}));",[170],"14ed252d-1580-4166-9548-2f07106fa89c","main.tsx",1,["D",1788654882934],"/** @jsxImportSource npm:hono/jsx */\nimport { parseVal } from \"https://esm.town/v/std/utils/index.ts\";\nimport { Hono } from \"npm:hono\";\nimport FormPage from \"./components/FormPage.tsx\";\nimport SubmissionsPage from \"./components/SubmissionsPage.tsx\";\nimport { addSubmission, listSubmissions } from \"./db.ts\";\n\nconst app = new Hono();\n\napp.get(\"/\", (c) => c.html());\n\napp.post(\"/submit\", async (c) => {\n const form = await c.req.formData();\n const name = String(form.get(\"name\") ?? \"\").trim();\n const email = String(form.get(\"email\") ?? \"\").trim();\n const message = String(form.get(\"message\") ?? \"\").trim();\n if (!name || !email || !message) {\n return c.text(\"Name, email, and message are all required.\", 400);\n }\n await addSubmission(name, email, message);\n return c.redirect(\"/submissions\");\n});\n\napp.get(\"/submissions\", async (c) => {\n const submissions = await listSubmissions();\n return c.html();\n});\n\napp.get(\"/source\", (c) => c.redirect(parseVal().links.self.val));\n\napp.onError((err) => Promise.reject(err));\n\nexport default app.fetch;\n",[177],"16b953d5-83cd-46bc-9b1e-cc4deb7948ee",["D",1788780907324],[27],"49334ef3-31f4-4ba0-ae32-78a9ac00fd53","float_surface_probe.ts","a207f996-a98d-11f1-a18f-1607ee4eb77e",7,["D",1788656119898],"const vals=[\n 0,-0,1,-1,10,103.055,1e-7,1e-6,1e-5,1e15,1e16,1e20,1e21,\n 1.2345678901234567,1.0000000000000002,1.2e30,1.2e-30,5e-324,2.2250738585072014e-308\n];\nconsole.log(JSON.stringify(vals.map(v=>({v:String(v),json:JSON.stringify(v),negzero:Object.is(v,-0)}))));",[186],"f7a07af1-c185-40d3-9b85-625c1516c51c","extart_replay_x4n7.ts","9d1a3c38-aa1d-11f1-8a61-1607ee4eb77e",11,["D",1788717959158],"import { sqlite } from \"https://esm.town/v/std/sqlite/main.ts\";\nimport { recoverExpiredSql, resultSql } from \"https://esm.town/v/mosadek/project-brain-live-v1-durable/brain_bridge_worker.ts\";\n\nconst KERNEL_URL=\"https://mosadek--dbb28a32aa1c11f1b0d41607ee4eb77e.web.val.run\";\nconst KERNEL_SHA=\"8f463c630e7c3836c767ec0feea7d40bd774a10bb5f60a193bc5bbd4d9b1ed9c\";\nconst P=\"x4n7_extart_\";\nconst enc=new TextEncoder();\nfunction hex(a:ArrayBuffer){return [...new Uint8Array(a)].map(x=>x.toString(16).padStart(2,\"0\")).join(\"\")}\nfunction assert(c:any,m:string){if(!c)throw new Error(\"ASSERT:\"+m)}\nasync function q(sql:string,args:any[]=[]){return await sqlite.execute({sql,args})}\n\nconst kr=await fetch(KERNEL_URL); assert(kr.ok,\"kernel fetch\");\nconst kernel=await kr.text();\nconst kb=enc.encode(kernel);\nconst kh=hex(await crypto.subtle.digest(\"SHA-256\",kb));\nassert(kh===KERNEL_SHA,\"kernel sha\");\nassert(kb.byteLength===75648,\"kernel size\");\nconst a=kernel.indexOf(\"def record_external_artifact(args):\");\nconst b=kernel.indexOf(\"\\ndef set_verified_state\",a);\nassert(a>=0&&b>a,\"kernel function extraction\");\nconst fn=kernel.slice(a,b);\nfor(const needle of [\n \"INSERT OR IGNORE INTO artifacts\",\n 'event(c,args.workstream,args.agent,args.task,\"EXTERNAL_ARTIFACT_RECORDED\"',\n \"g=bump(c); c.execute(\\\"UPDATE workstreams SET head_generation=?,updated_at=? WHERE id=?\\\"\"\n]) assert(fn.includes(needle),\"kernel semantic \"+needle);\n\nconst liveRecover=String(recoverExpiredSql(P+\"jobs\"));\nconst liveResult=String(resultSql(P+\"jobs\"));\nassert(liveRecover.includes(\"SET state='READY'\"),\"live recovery requeues\");\nassert(liveRecover.includes(\"WHERE state='LEASED'\"),\"live recovery leased\");\nassert(!/attempt/i.test(liveResult),\"live result has no attempt fence\");\n\nfor(const t of [\"artifacts\",\"events\",\"meta\",\"workstreams\",\"jobs\",\"jobs_fix\"]) await q(\"DROP TABLE IF EXISTS \"+P+t);\nawait q(\"CREATE TABLE \"+P+\"artifacts(sha256 TEXT PRIMARY KEY,size INTEGER,logical_name TEXT,producer_agent TEXT,task_id TEXT,storage_json TEXT,created_at TEXT)\");\nawait q(\"CREATE TABLE \"+P+\"events(id INTEGER PRIMARY KEY AUTOINCREMENT,workstream TEXT,agent_id TEXT,task_id TEXT,type TEXT,payload_json TEXT)\");\nawait q(\"CREATE TABLE \"+P+\"meta(key TEXT PRIMARY KEY,value TEXT)\");\nawait q(\"CREATE TABLE \"+P+\"workstreams(id TEXT PRIMARY KEY,head_generation INTEGER)\");\nawait q(\"CREATE TABLE \"+P+\"jobs(id TEXT PRIMARY KEY,op TEXT,payload_json TEXT,priority REAL,state TEXT,lease_owner TEXT,lease_expires_at TEXT,result_json TEXT,error_json TEXT,created_at TEXT,updated_at TEXT)\");\nawait q(\"INSERT INTO \"+P+\"meta(key,value) VALUES('generation','100')\");\nawait q(\"INSERT INTO \"+P+\"workstreams(id,head_generation) VALUES('global',100)\");\nconst SHA=\"8718e60e2fbfb6003dbd60f290d263a6a33dfed892754f9b0421021fb290f586\";\nconst URI=\"valblob:mosadek/project-brain-live-v1-durable/evidence/brain_bridge_external_artifact/r9k4_registration_probe_v1.json\";\nawait q(\"INSERT INTO \"+P+\"jobs(id,op,payload_json,priority,state,lease_owner,lease_expires_at,created_at,updated_at) VALUES(?,?,?,?,?,?,?,?,?)\",\n [\"J\",\"brain\",\"{}\",1,\"LEASED\",\"W\",\"2000-01-01 00:00:00\",\"1999-01-01 00:00:00\",\"1999-01-01 00:00:00\"]);\nasync function record(){\n await q(\"INSERT OR IGNORE INTO \"+P+\"artifacts(sha256,size,logical_name,producer_agent,task_id,storage_json,created_at) VALUES(?,?,?,?,?,?,datetime('now'))\",\n [SHA,137,\"probe.json\",\"A\",\"T\",JSON.stringify([URI])]);\n await q(\"INSERT INTO \"+P+\"events(workstream,agent_id,task_id,type,payload_json) VALUES(?,?,?,?,?)\",\n [\"global\",\"A\",\"T\",\"EXTERNAL_ARTIFACT_RECORDED\",JSON.stringify({sha256:SHA,size:137,logical_name:\"probe.json\",storage:[URI]})]);\n await q(\"UPDATE \"+P+\"meta SET value=CAST(value AS INTEGER)+1 WHERE key='generation'\");\n const g=Number((await q(\"SELECT value FROM \"+P+\"meta WHERE key='generation'\")).rows?.[0]?.value);\n await q(\"UPDATE \"+P+\"workstreams SET head_generation=? WHERE id='global'\",[g]);\n return g;\n}\nconst g1=await record(); // canonical success, transport result deliberately lost\nawait q(liveRecover); // exact live bridge recovery semantics\nconst afterRecover=(await q(\"SELECT state FROM \"+P+\"jobs WHERE id='J'\")).rows?.[0]?.state;\nassert(afterRecover===\"READY\",\"lost-result job requeued\");\nawait q(\"UPDATE \"+P+\"jobs SET state='LEASED',lease_owner='W',lease_expires_at='2999-01-01 00:00:00' WHERE id='J'\");\nconst g2=await record(); // retry executes canonical mutation again\nconst raw={\n artifacts:Number((await q(\"SELECT count(*) c FROM \"+P+\"artifacts\")).rows?.[0]?.c),\n events:Number((await q(\"SELECT count(*) c FROM \"+P+\"events WHERE type='EXTERNAL_ARTIFACT_RECORDED'\")).rows?.[0]?.c),\n generation:Number((await q(\"SELECT value FROM \"+P+\"meta WHERE key='generation'\")).rows?.[0]?.value),\n head:Number((await q(\"SELECT head_generation FROM \"+P+\"workstreams WHERE id='global'\")).rows?.[0]?.head_generation),\n g1,g2\n};\nassert(raw.artifacts===1,\"row dedupe\");\nassert(raw.events===2,\"duplicate event\");\nassert(raw.generation===102&&raw.head===102,\"double generation mutation\");\n\n// Minimal bridge-only composition model: mutation expiry -> durable UNKNOWN_OUTCOME, safe read expiry -> READY,\n// known-not-executed -> READY, and exact attempt fences result acceptance.\nawait q(\"CREATE TABLE \"+P+\"jobs_fix(id TEXT PRIMARY KEY,state TEXT,kind TEXT,handed_off INTEGER,attempts INTEGER,lease_owner TEXT,lease_expires_at TEXT,retry_permit INTEGER DEFAULT 0,reconcile TEXT)\");\nfor(const row of [\n [\"M\",\"LEASED\",\"MUTATION\",1,1,\"W\",\"2000-01-01 00:00:00\",0,null],\n [\"R\",\"LEASED\",\"READ_ONLY\",1,1,\"W\",\"2000-01-01 00:00:00\",0,null],\n [\"N\",\"LEASED\",\"MUTATION\",0,1,\"W\",\"2000-01-01 00:00:00\",0,null]\n]) await q(\"INSERT INTO \"+P+\"jobs_fix VALUES(?,?,?,?,?,?,?,?,?)\",row);\nawait q(\"UPDATE \"+P+\"jobs_fix SET state='READY',lease_owner=NULL,lease_expires_at=NULL WHERE state='LEASED' AND lease_expires_at[x.id,x.state]));\nassert(states.M===\"UNKNOWN_OUTCOME\",\"mutation quarantine\");\nassert(states.R===\"READY\",\"read recovery preserved\");\nassert(states.N===\"READY\",\"known-not-executed recovery preserved\");\n\n// No retry while UNKNOWN. A proof of NO_EFFECT + one-time permit moves it to READY; changed/mixed remains UNKNOWN.\nlet changed=await q(\"UPDATE \"+P+\"jobs_fix SET state='READY',retry_permit=0 WHERE id='M' AND state='UNKNOWN_OUTCOME' AND reconcile='PROVEN_NO_EFFECT' AND retry_permit=1 RETURNING id\");\nassert((changed.rows||[]).length===0,\"unknown cannot retry without reconcile\");\nawait q(\"UPDATE \"+P+\"jobs_fix SET reconcile='PROVEN_NO_EFFECT',retry_permit=1 WHERE id='M'\");\nchanged=await q(\"UPDATE \"+P+\"jobs_fix SET state='READY',retry_permit=0 WHERE id='M' AND state='UNKNOWN_OUTCOME' AND reconcile='PROVEN_NO_EFFECT' AND retry_permit=1 RETURNING id\");\nassert((changed.rows||[]).length===1,\"one-time reconciled retry\");\nchanged=await q(\"UPDATE \"+P+\"jobs_fix SET state='READY',retry_permit=0 WHERE id='M' AND state='UNKNOWN_OUTCOME' AND reconcile='PROVEN_NO_EFFECT' AND retry_permit=1 RETURNING id\");\nassert((changed.rows||[]).length===0,\"permit consumed\");\n\n// Attempt fencing model: stale attempt 1 cannot complete current lease attempt 2.\nawait q(\"UPDATE \"+P+\"jobs_fix SET state='LEASED',attempts=2,lease_owner='W',lease_expires_at='2999-01-01 00:00:00' WHERE id='M'\");\nconst stale=await q(\"UPDATE \"+P+\"jobs_fix SET state='COMPLETE' WHERE id='M' AND state='LEASED' AND lease_owner='W' AND attempts=? RETURNING id\",[1]);\nassert((stale.rows||[]).length===0,\"stale attempt rejected\");\nconst current=await q(\"UPDATE \"+P+\"jobs_fix SET state='COMPLETE' WHERE id='M' AND state='LEASED' AND lease_owner='W' AND attempts=? RETURNING id\",[2]);\nassert((current.rows||[]).length===1,\"current attempt accepted\");\n\nconsole.log(JSON.stringify({\n ok:true,\n classification:\"EXTERNAL_ARTIFACT_UNKNOWN_OUTCOME_REPLAY_REPRODUCED\",\n kernel:{sha256:kh,size:kb.byteLength,function_sha256:hex(await crypto.subtle.digest(\"SHA-256\",enc.encode(fn)))},\n live_bridge:{recover_sql:liveRecover,result_sql:liveResult},\n counterexample:raw,\n repair_model:{states_after_expiry:states,stale_attempt_rows:(stale.rows||[]).length,current_attempt_rows:(current.rows||[]).length,known_not_executed_recovered:true,read_only_recovered:true,mutation_auto_replay:false},\n production_mutation:false,\n canonical_brain_py_mutation:false,\n direct_sprites:false,\n human_authority_approval:false\n},null,2));",[193],"7b5d86c0-19fc-4132-b4d0-3ab13aef1add","epoch2_command_atomicity_claim_probe_1319.ts","1794d6a2-aab0-11f1-8819-1607ee4eb77e",13,["D",1788780871158],"import { sqlite } from \"https://esm.town/v/std/sqlite/main.ts\";\n\nconst P=\"p0r1319_\";\nconst T=P+\"task\", A=P+\"agent\", W=P+\"ws\", M=P+\"meta\", E=P+\"events\";\nconst enc=new TextEncoder();\nasync function sha(s:string){const d=await crypto.subtle.digest(\"SHA-256\",enc.encode(s));return [...new Uint8Array(d)].map(x=>x.toString(16).padStart(2,\"0\")).join(\"\")}\nfunction canon(x:any):string{if(x===null||typeof x!==\"object\")return JSON.stringify(x);if(Array.isArray(x))return \"[\"+x.map(canon).join(\",\")+\"]\";return \"{\"+Object.keys(x).sort().map(k=>JSON.stringify(k)+\":\"+canon(x[k])).join(\",\")+\"}\"}\nconst baseline={task_state:\"READY\",task_owner:null,agent_status:\"READY\",agent_last_generation:7,ws_head:7,generation:7,event_count:0,event_head:\"H7\"};\n\nasync function init(){\n for(const t of [E,T,A,W,M]) await sqlite.execute(`DROP TABLE IF EXISTS ${t}`);\n await sqlite.execute(`CREATE TABLE ${M}(id INTEGER PRIMARY KEY,generation INTEGER NOT NULL,event_head TEXT NOT NULL,event_count INTEGER NOT NULL)`);\n await sqlite.execute(`CREATE TABLE ${T}(id TEXT PRIMARY KEY,state TEXT NOT NULL,lease_owner TEXT,lease_generation INTEGER,lease_expires_at TEXT)`);\n await sqlite.execute(`CREATE TABLE ${A}(id TEXT PRIMARY KEY,status TEXT NOT NULL,last_generation INTEGER NOT NULL)`);\n await sqlite.execute(`CREATE TABLE ${W}(id TEXT PRIMARY KEY,head_generation INTEGER NOT NULL)`);\n await sqlite.execute(`CREATE TABLE ${E}(seq INTEGER PRIMARY KEY,prev_hash TEXT NOT NULL,event_hash TEXT NOT NULL,payload TEXT NOT NULL,tx_generation INTEGER NOT NULL)`);\n await sqlite.execute(`INSERT INTO ${M} VALUES(1,7,'H7',0)`);\n await sqlite.execute(`INSERT INTO ${T} VALUES('T','READY',NULL,NULL,NULL)`);\n await sqlite.execute(`INSERT INTO ${A} VALUES('AG','READY',7)`);\n await sqlite.execute(`INSERT INTO ${W} VALUES('global',7)`);\n}\nasync function snap(){\n const m:any=(await sqlite.execute(`SELECT * FROM ${M}`)).rows[0];\n const t:any=(await sqlite.execute(`SELECT * FROM ${T}`)).rows[0];\n const a:any=(await sqlite.execute(`SELECT * FROM ${A}`)).rows[0];\n const w:any=(await sqlite.execute(`SELECT * FROM ${W}`)).rows[0];\n const e:any=(await sqlite.execute(`SELECT COUNT(*) n FROM ${E}`)).rows[0];\n return {task_state:t.state,task_owner:t.lease_owner,agent_status:a.status,agent_last_generation:Number(a.last_generation),ws_head:Number(w.head_generation),generation:Number(m.generation),event_count:Number(e.n),event_head:m.event_head};\n}\nfunction isBaseline(x:any){return JSON.stringify(x)===JSON.stringify(baseline)}\nasync function eventHash(prev:string,payload:any){return await sha(canon({prev_hash:prev,payload}))}\n\nasync function legacyClaim(failAfter:number){\n await init();\n const exp=\"2099-01-01T00:00:00+00:00\"; const g=7;\n try{\n await sqlite.execute({sql:`UPDATE ${T} SET state='LEASED',lease_owner='AG',lease_generation=?,lease_expires_at=? WHERE id='T'`,args:[g,exp]});\n if(failAfter===1)throw new Error(\"INJECT_1\");\n const h=await eventHash(\"H7\",{type:\"TASK_LEASED\",task:\"T\",agent:\"AG\",g});\n await sqlite.execute({sql:`INSERT INTO ${E}(seq,prev_hash,event_hash,payload,tx_generation) VALUES(1,'H7',?,?,?)`,args:[h,'{\"type\":\"TASK_LEASED\"}',g]});\n if(failAfter===2)throw new Error(\"INJECT_2\");\n await sqlite.execute({sql:`UPDATE ${M} SET event_head=?,event_count=event_count+1 WHERE id=1`,args:[h]});\n if(failAfter===3)throw new Error(\"INJECT_3\");\n await sqlite.execute(`UPDATE ${M} SET generation=generation+1 WHERE id=1`);\n if(failAfter===4)throw new Error(\"INJECT_4\");\n await sqlite.execute(`UPDATE ${A} SET status='WORKING',last_generation=8 WHERE id='AG'`);\n if(failAfter===5)throw new Error(\"INJECT_5\");\n await sqlite.execute(`UPDATE ${W} SET head_generation=8 WHERE id='global'`);\n }catch{}\n return await snap();\n}\n\nasync function txClaim(failAfter:number|null){\n await init();\n const exp=\"2099-01-01T00:00:00+00:00\";\n const tx:any=await (sqlite as any).transaction(\"write\");\n try{\n const mr:any=await tx.execute(`SELECT generation,event_head,event_count FROM ${M} WHERE id=1`);\n const g=Number(mr.rows[0].generation),prev=String(mr.rows[0].event_head);\n if(g!==7||prev!==\"H7\")throw new Error(\"STALE_BASE\");\n const u:any=await tx.execute({sql:`UPDATE ${T} SET state='LEASED',lease_owner='AG',lease_generation=?,lease_expires_at=? WHERE id='T' AND state='READY' RETURNING id`,args:[g,exp]});\n if(!(u.rows||[]).length)throw new Error(\"CLAIM_RACE\");\n if(failAfter===1)throw new Error(\"INJECT_1\");\n const h=await eventHash(prev,{type:\"TASK_LEASED\",task:\"T\",agent:\"AG\",g});\n await tx.execute({sql:`INSERT INTO ${E}(seq,prev_hash,event_hash,payload,tx_generation) VALUES(1,?,?,?,?)`,args:[prev,h,'{\"type\":\"TASK_LEASED\"}',g]});\n if(failAfter===2)throw new Error(\"INJECT_2\");\n const hu:any=await tx.execute({sql:`UPDATE ${M} SET event_head=?,event_count=event_count+1 WHERE id=1 AND generation=? AND event_head=? RETURNING id`,args:[h,g,prev]});\n if(!(hu.rows||[]).length)throw new Error(\"HEAD_CAS\");\n if(failAfter===3)throw new Error(\"INJECT_3\");\n const bg:any=await tx.execute({sql:`UPDATE ${M} SET generation=generation+1 WHERE id=1 AND generation=? RETURNING generation`,args:[g]});\n if(!(bg.rows||[]).length)throw new Error(\"GEN_CAS\");\n const ng=Number(bg.rows[0].generation);\n if(failAfter===4)throw new Error(\"INJECT_4\");\n await tx.execute({sql:`UPDATE ${A} SET status='WORKING',last_generation=? WHERE id='AG'`,args:[ng]});\n if(failAfter===5)throw new Error(\"INJECT_5\");\n await tx.execute({sql:`UPDATE ${W} SET head_generation=? WHERE id='global'`,args:[ng]});\n if(failAfter===6)throw new Error(\"INJECT_6\");\n await tx.commit();\n }catch(e){\n try{await tx.rollback()}catch{}\n }\n return await snap();\n}\n\nconst legacy:any[]=[];\nfor(let i=1;i<=5;i++){const s=await legacyClaim(i);legacy.push({fail_after:i,state:s,partial_durable:!isBaseline(s)})}\nconst atomic:any[]=[];\nfor(let i=1;i<=6;i++){const s=await txClaim(i);atomic.push({fail_after:i,state:s,rolled_back_exactly:isBaseline(s)})}\nconst committed=await txClaim(null);\nconst commitOk=committed.task_state===\"LEASED\"&&committed.task_owner===\"AG\"&&committed.agent_status===\"WORKING\"&&committed.agent_last_generation===8&&committed.ws_head===8&&committed.generation===8&&committed.event_count===1&&committed.event_head!==\"H7\";\nconst pass=legacy.every(x=>x.partial_durable)&&atomic.every(x=>x.rolled_back_exactly)&&commitOk;\nconsole.log(JSON.stringify({\n schema:\"BRAIN_EPOCH2_COMMAND_ATOMICITY_CLAIM_BOUNDARY_PROBE_V1\",\n classification:\"NONAUTHORITY_DISPOSABLE_EXECUTABLE_EVIDENCE\",\n production_mutation:false,direct_sprites:false,human_authority_approval:false,\n legacy_control:legacy,\n transaction_candidate:atomic,\n positive_commit:{state:committed,pass:commitOk},\n verdict:pass?\"PASS_COMMAND_WIDE_TRANSACTION_PATTERN_FOR_CLAIM\":\"FAIL\",\n bounded_nonclaim:\"This proves the explicit transaction pattern for the modeled claim write set. It does not by itself prove every production mutator until each is migrated and fault-injected.\",\n pass\n},null,2));",[200],"5e399f6f-d7fd-4efa-abe5-347091198811","db.ts","01a07423-90d5-70c6-8557-5e397ecfed8e",["D",1788654882934],"import { sqlite } from \"https://esm.town/v/std/sqlite/main.ts\";\n\nexport interface Submission {\n id: number;\n name: string;\n email: string;\n message: string;\n created_at: string;\n}\n\nawait sqlite.execute(`CREATE TABLE IF NOT EXISTS submissions (\n id INTEGER PRIMARY KEY AUTOINCREMENT,\n name TEXT NOT NULL,\n email TEXT NOT NULL,\n message TEXT NOT NULL,\n created_at TEXT NOT NULL DEFAULT (datetime('now'))\n)`);\n\nexport async function addSubmission(name: string, email: string, message: string) {\n await sqlite.execute({\n sql: \"INSERT INTO submissions (name, email, message) VALUES (?, ?, ?)\",\n args: [name, email, message],\n });\n}\n\nexport async function listSubmissions(): Promise {\n const result = await sqlite.execute(\n \"SELECT id, name, email, message, created_at FROM submissions ORDER BY id DESC\",\n );\n return result.rows as unknown as Submission[];\n}\n",[207],"93a9ada8-e07d-421c-90c6-02d2ddd4081d","cross_invocation_probe.ts","1adc412a-a98d-11f1-8795-1607ee4eb77e",6,["D",1788655979040],"import { sqlite } from \"https://esm.town/v/std/sqlite/main.ts\";\nimport { blob } from \"https://esm.town/v/std/blob/main.ts\";\n\nconst TABLE = \"c4e7_cross_invocation\";\nconst MARK = \"shadow/c4e7_cross_invocation_marker.json\";\nconst sleep = (ms:number) => new Promise(r => setTimeout(r, ms));\n\nexport default async function(req: Request): Promise {\n const u = new URL(req.url);\n const action = u.searchParams.get(\"action\") || \"status\";\n const nonce = u.searchParams.get(\"nonce\") || \"default\";\n\n if (action === \"init\") {\n await sqlite.execute(`DROP TABLE IF EXISTS ${TABLE}`);\n await sqlite.execute(`CREATE TABLE ${TABLE}(id INTEGER PRIMARY KEY, v INTEGER NOT NULL, note TEXT NOT NULL)`);\n await sqlite.execute(`INSERT INTO ${TABLE}(id,v,note) VALUES(1,0,'seed')`);\n await blob.setJSON(MARK, {nonce, phase:\"READY\", at:Date.now()});\n return Response.json({ok:true,action,nonce});\n }\n\n if (action === \"hold\") {\n const holdMs = Math.max(500, Math.min(10000, Number(u.searchParams.get(\"ms\") || 4000)));\n const tx = await (sqlite as any).transaction(\"write\");\n const started = Date.now();\n await tx.execute(`UPDATE ${TABLE} SET v=1,note='hold-uncommitted' WHERE id=1`);\n const firstWriteDone = Date.now();\n await blob.setJSON(MARK, {nonce, phase:\"HOLDING\", started, firstWriteDone});\n await sleep(holdMs);\n await tx.commit();\n const committed = Date.now();\n await blob.setJSON(MARK, {nonce, phase:\"COMMITTED\", started, firstWriteDone, committed});\n return Response.json({ok:true,action,nonce,started,firstWriteDone,committed,hold_ms:committed-firstWriteDone});\n }\n\n if (action === \"probe_direct\") {\n const txStart = Date.now();\n const tx = await (sqlite as any).transaction(\"write\");\n const txObjectAt = Date.now();\n const r = await tx.execute(`SELECT v,note FROM ${TABLE} WHERE id=1`);\n const firstReadAt = Date.now();\n const seenV = Number((r.rows[0] as any).v);\n const seenNote = String((r.rows[0] as any).note);\n await tx.execute({sql:`UPDATE ${TABLE} SET v=?,note='probe-committed' WHERE id=1`,args:[seenV+1]});\n await tx.commit();\n const committedAt = Date.now();\n return Response.json({\n ok:true,action,nonce,\n txStart,txObjectAt,firstReadAt,committedAt,\n tx_object_delay_ms:txObjectAt-txStart,\n first_statement_delay_ms:firstReadAt-txObjectAt,\n seen_v:seenV,seen_note:seenNote\n });\n }\n\n if (action === \"orchestrate\") {\n const holdMs = Math.max(500, Math.min(5000, Number(u.searchParams.get(\"ms\") || 1500)));\n const tx = await (sqlite as any).transaction(\"write\");\n const started = Date.now();\n await tx.execute(`UPDATE ${TABLE} SET v=1,note='orchestrator-uncommitted' WHERE id=1`);\n const firstWriteDone = Date.now();\n\n let probeResolvedAt: number | null = null;\n const self = new URL(req.url);\n self.search = `?action=probe_direct&nonce=${encodeURIComponent(nonce)}`;\n const probePromise = fetch(self).then(async (resp) => {\n const body = await resp.json();\n probeResolvedAt = Date.now();\n return {http_status: resp.status, body};\n });\n\n await sleep(holdMs);\n const preCommit = Date.now();\n const probeResolvedBeforeCommit = probeResolvedAt !== null;\n await tx.commit();\n const committed = Date.now();\n\n let probe:any;\n try {\n probe = await Promise.race([\n probePromise,\n sleep(6000).then(() => ({http_status:599, body:{ok:false,error:\"PROBE_TIMEOUT\"}}))\n ]);\n } catch (e) {\n probe = {http_status:598, body:{ok:false,error:String(e)}};\n }\n\n return Response.json({\n ok:true,action,nonce,started,firstWriteDone,preCommit,committed,hold_ms:preCommit-firstWriteDone,\n probe_resolved_before_commit: probeResolvedBeforeCommit,\n probe_resolved_at: probeResolvedAt,\n probe\n });\n }\n\n if (action === \"final\") {\n const r = await sqlite.execute(`SELECT v,note FROM ${TABLE} WHERE id=1`);\n let m:any = null;\n try { m = JSON.parse(await (await blob.get(MARK)).text()); } catch {}\n return Response.json({ok:true,action,nonce,row:r.rows[0],marker:m});\n }\n\n return Response.json({ok:true,action:\"status\"});\n}\n",[213],"ef640817-4b1d-419e-89c5-09793469460b","crash_atomicity_regression_runner_v1.ts","7b655b80-aaaf-11f1-9295-1607ee4eb77e",12,["D",1788780609126],"const BASE=\"https://mosadek--2466ba10a99011f19b5c1607ee4eb77e.web.val.run\";\nasync function call(action:string,qs:Record={}){\n const u=new URL(BASE);u.searchParams.set(\"action\",action);u.searchParams.set(\"nonce\",\"live-chain-incident-20260907\");\n for(const [k,v] of Object.entries(qs))u.searchParams.set(k,String(v));\n const t0=Date.now();const r=await fetch(u);const raw=await r.text();let body:any;try{body=JSON.parse(raw)}catch{body={raw}};\n return {action,status:r.status,ms:Date.now()-t0,body};\n}\nfunction rowv(x:any){return Number(x?.body?.row?.v);}\nexport default async function(){\n const out:any[]=[];\n out.push(await call(\"init\"));\n out.push(await call(\"commit_control\",{v:7}));\n if(rowv(out.at(-1))!==7)throw new Error(\"CONTROL_COMMIT_FAILED\");\n\n for(const tc of [\n {action:\"throw_unhandled\",v:20},\n {action:\"return_open\",v:30},\n {action:\"abandon\",v:40}\n ]){\n out.push(await call(\"reset\",{v:7}));\n out.push(await call(tc.action,{v:tc.v}));\n out.push(await call(\"check\"));\n const afterCheck=rowv(out.at(-1));\n out.push(await call(\"post_write\",{delta:1}));\n const afterPost=rowv(out.at(-1));\n if(afterCheck!==7)throw new Error(tc.action+\"_UNCOMMITTED_ROW_BECAME_DURABLE_\"+afterCheck);\n if(afterPost!==8)throw new Error(tc.action+\"_POST_WRITE_FAILED_\"+afterPost);\n }\n return {ok:true,classification:\"CRASH_ATOMICITY_PARTIAL_REGRESSION_PASS\",cases:[\"throw_unhandled\",\"return_open\",\"abandon\"],out};\n}",[220],"2e332d9e-5b44-4aa3-b4fd-cac7805955e4","crash_atomicity_probe.ts","2466ba10-a990-11f1-9b5c-1607ee4eb77e",10,["D",1788657197621],"import { sqlite } from \"https://esm.town/v/std/sqlite/main.ts\";\nimport { blob } from \"https://esm.town/v/std/blob/main.ts\";\n\nconst T=\"c4e7_crash_atomicity\";\nconst MARK=\"shadow/c4e7_crash_atomicity_marker.json\";\nconst sleep=(ms:number)=>new Promise(r=>setTimeout(r,ms));\n\nasync function readRow(){\n const r=await sqlite.execute(`SELECT v,note FROM ${T} WHERE id=1`);\n return r.rows[0]??null;\n}\nasync function setMarker(x:any){await blob.setJSON(MARK,{...x,at:Date.now()});}\n\nexport default async function(req:Request):Promise{\n const u=new URL(req.url);\n const action=u.searchParams.get(\"action\")||\"status\";\n const nonce=u.searchParams.get(\"nonce\")||\"default\";\n\n if(action===\"init\"){\n await sqlite.execute(`DROP TABLE IF EXISTS ${T}`);\n await sqlite.execute(`CREATE TABLE ${T}(id INTEGER PRIMARY KEY,v INTEGER NOT NULL,note TEXT NOT NULL)`);\n await sqlite.execute(`INSERT INTO ${T}(id,v,note) VALUES(1,0,'baseline')`);\n await setMarker({nonce,action,phase:\"READY\"});\n return Response.json({ok:true,action,nonce,row:await readRow()});\n }\n\n if(action===\"reset\"){\n const v=Number(u.searchParams.get(\"v\")||\"0\");\n const tx=await (sqlite as any).transaction(\"write\");\n await tx.execute({sql:`UPDATE ${T} SET v=?,note='baseline' WHERE id=1`,args:[v]});\n await tx.commit();\n await setMarker({nonce,action,phase:\"RESET\",v});\n return Response.json({ok:true,action,nonce,row:await readRow()});\n }\n\n if(action===\"commit_control\"){\n const value=Number(u.searchParams.get(\"v\")||\"10\");\n const tx=await (sqlite as any).transaction(\"write\");\n const started=Date.now();\n await tx.execute({sql:`UPDATE ${T} SET v=?,note='committed-control' WHERE id=1`,args:[value]});\n const wrote=Date.now();\n await tx.commit();\n const committed=Date.now();\n await setMarker({nonce,action,phase:\"COMMITTED\",value,started,wrote,committed});\n return Response.json({ok:true,action,nonce,started,wrote,committed,row:await readRow()});\n }\n\n if(action===\"throw_unhandled\"){\n const value=Number(u.searchParams.get(\"v\")||\"20\");\n const tx=await (sqlite as any).transaction(\"write\");\n const started=Date.now();\n await tx.execute({sql:`UPDATE ${T} SET v=?,note='unhandled-uncommitted' WHERE id=1`,args:[value]});\n const wrote=Date.now();\n await setMarker({nonce,action,phase:\"WROTE_UNCOMMITTED\",value,started,wrote});\n throw new Error(\"C4E7_INTENTIONAL_UNHANDLED_AFTER_WRITE\");\n }\n\n if(action===\"return_open\"){\n const value=Number(u.searchParams.get(\"v\")||\"30\");\n const tx=await (sqlite as any).transaction(\"write\");\n const started=Date.now();\n await tx.execute({sql:`UPDATE ${T} SET v=?,note='return-open-uncommitted' WHERE id=1`,args:[value]});\n const wrote=Date.now();\n await setMarker({nonce,action,phase:\"RETURNING_WITH_TX_OPEN\",value,started,wrote});\n return Response.json({ok:true,action,nonce,returned_with_open_transaction:true,started,wrote});\n }\n\n if(action===\"abandon\"){\n const value=Number(u.searchParams.get(\"v\")||\"40\");\n let tx:any=await (sqlite as any).transaction(\"write\");\n const started=Date.now();\n await tx.execute({sql:`UPDATE ${T} SET v=?,note='abandoned-uncommitted' WHERE id=1`,args:[value]});\n const wrote=Date.now();\n tx=null;\n await setMarker({nonce,action,phase:\"REFERENCE_DROPPED\",value,started,wrote});\n await sleep(250);\n return Response.json({ok:true,action,nonce,reference_dropped:true,started,wrote,returned:Date.now()});\n }\n\n if(action===\"timeout_hold\"){\n const value=Number(u.searchParams.get(\"v\")||\"50\");\n const ms=Math.max(61000,Math.min(90000,Number(u.searchParams.get(\"ms\")||70000)));\n const tx=await (sqlite as any).transaction(\"write\");\n const started=Date.now();\n await tx.execute({sql:`UPDATE ${T} SET v=?,note='timeout-uncommitted' WHERE id=1`,args:[value]});\n const wrote=Date.now();\n await setMarker({nonce,action,phase:\"TIMEOUT_HOLDING\",value,started,wrote,requested_ms:ms});\n await sleep(ms);\n await tx.commit();\n const committed=Date.now();\n await setMarker({nonce,action,phase:\"TIMEOUT_PATH_COMMITTED\",value,started,wrote,committed});\n return Response.json({ok:true,action,nonce,started,wrote,committed,row:await readRow()});\n }\n\n if(action===\"check\"){\n let marker:any=null;try{marker=JSON.parse(await (await blob.get(MARK)).text())}catch{}\n const started=Date.now();\n const row=await readRow();\n return Response.json({ok:true,action,nonce,started,read_at:Date.now(),row,marker});\n }\n\n if(action===\"post_write\"){\n const delta=Number(u.searchParams.get(\"delta\")||\"1\");\n const txStart=Date.now();\n const tx=await (sqlite as any).transaction(\"write\");\n const txObjectAt=Date.now();\n const r=await tx.execute(`SELECT v FROM ${T} WHERE id=1`);\n const firstStatementAt=Date.now();\n const before=Number((r.rows[0] as any).v);\n await tx.execute({sql:`UPDATE ${T} SET v=?,note='post-write' WHERE id=1`,args:[before+delta]});\n await tx.commit();\n const committedAt=Date.now();\n return Response.json({ok:true,action,nonce,before,after:before+delta,txStart,txObjectAt,firstStatementAt,committedAt,first_statement_delay_ms:firstStatementAt-txObjectAt,row:await readRow()});\n }\n\n return Response.json({ok:true,action:\"status\"});\n}",[227],"2e17fbc5-ffc2-4c01-9d36-fc4f5bd416cd","README.md","01a07423-90d5-70c6-8557-59e1c2065c15",["D",1788654882934],"# What's the easiest way to put a form online and save submissions?\n\nRemix this val. It serves a contact form (name, email, message) at `/`, saves every submission to the val's own SQLite database, and lists everything received at `/submissions`. No external services, no API keys, no env vars.\n\n## Setup\n\n1. Remix this val.\n2. Open the HTTP endpoint of `main.tsx` — that is your live form. Share the URL.\n3. Visit `/submissions` on the same URL to see what people sent.\n\nEach remix gets its own private SQLite database, so your submissions stay with your copy.\n\n## Files\n\n- `main.tsx` — Hono routes: GET `/` (form), POST `/submit` (save), GET `/submissions` (list)\n- `db.ts` — creates the `submissions` table and holds the two queries\n- `components/Layout.tsx` — shared page shell with Tailwind (via Twind)\n- `components/FormPage.tsx` — the form\n- `components/SubmissionsPage.tsx` — the list\n\n## Notes\n\n- `/submissions` is public by default. If your form collects anything sensitive, protect that route before sharing the form URL.\n- No client-side JavaScript: the form is a plain HTML POST.\n",[234],"9c3921b0-62ac-4d17-9802-04bfd60ad208","components","01a07423-90d5-70c6-8557-552c6cafbd62",["D",1788654882934],"directory",[240],"pulls","branches","forks","envVars",{"_252":61,"_254":61},"connections",{"_252":61,"_253":61},"count","unfilledCount","emptyCount",{"_41":239,"_31":240,"_29":241,"_147":-5,"_39":40,"_38":178,"_149":57,"_36":337,"_13":61,"_32":243,"_34":-5,"_23":24,"_153":-5,"_274":338,"_26":339},{"_41":330,"_31":331,"_29":332,"_147":241,"_39":40,"_38":178,"_149":57,"_36":333,"_13":61,"_32":151,"_34":334,"_23":24,"_153":-5,"_274":335,"_26":336},{"_41":323,"_31":324,"_29":325,"_147":241,"_39":40,"_38":178,"_149":57,"_36":326,"_13":61,"_32":151,"_34":327,"_23":24,"_153":-5,"_274":328,"_26":329},{"_41":316,"_31":317,"_29":318,"_147":241,"_39":40,"_38":178,"_149":57,"_36":319,"_13":61,"_32":151,"_34":320,"_23":24,"_153":-5,"_274":321,"_26":322},{"_41":233,"_31":234,"_29":235,"_147":-5,"_39":40,"_38":178,"_149":57,"_36":313,"_13":61,"_32":20,"_34":237,"_23":24,"_153":-5,"_274":314,"_26":315},{"_41":226,"_31":227,"_29":228,"_147":-5,"_39":40,"_38":229,"_149":57,"_36":310,"_13":61,"_32":33,"_34":231,"_23":24,"_153":-5,"_274":311,"_26":312},{"_41":219,"_31":220,"_29":221,"_147":-5,"_39":40,"_38":222,"_149":57,"_36":307,"_13":61,"_32":151,"_34":224,"_23":24,"_153":-5,"_274":308,"_26":309},{"_41":212,"_31":213,"_29":214,"_147":-5,"_39":40,"_38":215,"_149":57,"_36":304,"_13":148,"_32":33,"_34":217,"_23":24,"_153":-5,"_274":305,"_26":306},{"_41":206,"_31":207,"_29":208,"_147":-5,"_39":40,"_38":178,"_149":57,"_36":301,"_13":61,"_32":151,"_34":210,"_23":24,"_153":-5,"_274":302,"_26":303},{"_41":199,"_31":200,"_29":201,"_147":-5,"_39":40,"_38":202,"_149":57,"_36":298,"_13":61,"_32":151,"_34":204,"_23":24,"_153":-5,"_274":299,"_26":300},{"_41":192,"_31":193,"_29":194,"_147":-5,"_39":40,"_38":195,"_149":57,"_36":295,"_13":61,"_32":151,"_34":197,"_23":24,"_153":-5,"_274":296,"_26":297},{"_41":185,"_31":186,"_29":187,"_147":-5,"_39":40,"_38":188,"_149":57,"_36":292,"_13":61,"_32":151,"_34":190,"_23":24,"_153":-5,"_274":293,"_26":294},{"_41":182,"_31":27,"_29":30,"_147":-5,"_39":40,"_38":14,"_149":24,"_36":289,"_13":61,"_32":33,"_34":35,"_23":24,"_153":-5,"_274":290,"_26":291},{"_41":176,"_31":177,"_29":55,"_147":-5,"_39":40,"_38":178,"_149":57,"_36":286,"_13":61,"_32":33,"_34":180,"_23":24,"_153":-5,"_274":287,"_26":288},{"_41":169,"_31":170,"_29":171,"_147":-5,"_39":40,"_38":172,"_149":57,"_36":283,"_13":61,"_32":151,"_34":174,"_23":24,"_153":-5,"_274":284,"_26":285},{"_41":162,"_31":163,"_29":164,"_147":-5,"_39":40,"_38":165,"_149":57,"_36":280,"_13":61,"_32":151,"_34":167,"_23":24,"_153":-5,"_274":281,"_26":282},{"_41":155,"_31":156,"_29":157,"_147":-5,"_39":40,"_38":158,"_149":57,"_36":277,"_13":61,"_32":33,"_34":160,"_23":24,"_153":-5,"_274":278,"_26":279},{"_41":144,"_31":145,"_29":146,"_147":-5,"_39":40,"_38":148,"_149":57,"_36":273,"_13":61,"_32":151,"_34":152,"_23":24,"_153":-5,"_274":275,"_26":276},["D",1788654902545],"children",[],[145],["D",1788656358233],[],[156],["D",1788656245533],[],[163],["D",1788655198900],[],[170],["D",1788654882934],[],[177],["D",1788780907324],[],[27],["D",1788656119898],[],[186],["D",1788717959158],[],[193],["D",1788780871158],[],[200],["D",1788654882934],[],[207],["D",1788655979040],[],[213],["D",1788780609126],[],[220],["D",1788657197621],[],[227],["D",1788654882934],[],[234],"5f926b2f-4fde-474f-963c-ec1e70e79b5e","SubmissionsPage.tsx","01a07423-90d5-70c6-8557-50b7c4729ded",["D",1788654882934],"/** @jsxImportSource npm:hono/jsx */\nimport type { Submission } from \"../db.ts\";\nimport Layout from \"./Layout.tsx\";\n\nexport default function SubmissionsPage({ submissions }: { submissions: Submission[] }) {\n return (\n \n

Submissions ({submissions.length})

\n {submissions.length === 0\n ?

Nothing yet. Be the first to submit the form.

\n : (\n

\n
\n {s.name}\n {s.created_at}\n
\n
{s.email}
\n
{s.message}
\n

\n )}\n

\n back to form\n view source\n

\n \n );\n}\n",[],[240,317],"0f48a5fc-bde3-46e3-8c2a-bca3f129e8d6","Layout.tsx","01a07423-90d4-7139-98b5-a88de174e1fd",["D",1788654882934],"/** @jsxImportSource npm:hono/jsx */\n\nexport default function Layout({ title, children }: { title: string; children?: unknown }) {\n return (\n \n \n \n \n {title}\n \n \n \n \n

{children}

\n \n \n );\n}\n",[],[240,324],"6d8f9a93-bf70-4540-8e08-22e49c308da9","FormPage.tsx","01a07423-90d4-7139-98b5-a554b9b81841",["D",1788654882934],"/** @jsxImportSource npm:hono/jsx */\nimport Layout from \"./Layout.tsx\";\n\nexport default function FormPage() {\n return (\n \n

Contact form

\n Submissions are saved to this val's SQLite database.\n

\n \n

\n view submissions\n view source\n

\n \n );\n}\n",[],[240,331],["D",1788654882934],[256,257,258],[240],["D",1788654882934],["D",1789527031073],{"_98":97,"_106":102},{"_98":97,"_99":100,"_101":102,"_18":53,"_103":104,"_105":24},{"_13":87,"_31":88,"_41":40,"_89":42,"_90":-5,"_91":-5,"_92":-5,"_93":-5,"_94":-5,"_95":43,"_96":97},"ctx",{"_80":-5,"_126":378,"_379":380,"_381":382,"_383":24,"_384":24,"_385":24,"_386":57,"_387":-5,"_388":-7,"_389":-7,"_390":61,"_391":24,"_392":24,"_393":-5,"_394":24,"_395":24,"_396":24,"_397":-5},"ENV",{"_349":350,"_351":352,"_353":88,"_354":355,"_356":357,"_358":359,"_360":361,"_362":363,"_364":365,"_366":367,"_368":369,"_370":371,"_372":373,"_374":375,"_376":377},"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 · v14