[{"_1":2,"_3":-5,"_4":-5},"loaderData",{"_5":6,"_7":8,"_9":10},"actionData","errors","root",{"_383":384,"_385":386},"routes/_app.x.$handle.$name",{"_100":99,"_32":45,"_109":90,"_27":110,"_13":14,"_111":-5,"_11":112,"_113":114,"_115":116,"_117":118,"_119":120,"_20":-5,"_121":-5,"_122":-5,"_123":25,"_124":125,"_126":59,"_127":-5,"_128":-5,"_129":130},"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":57,"_58":59,"_60":-5,"_61":-5,"_62":63,"_64":65,"_66":67,"_68":69,"_70":71,"_72":-5,"_73":74,"_75":74,"_76":77,"_78":77,"_79":77,"_80":74,"_81":74,"_82":83,"_84":85,"_86":87,"_88":25},"version",18,"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","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}","import { sqlite as rootSqlite } from \"https://esm.town/v/std/sqlite/main.ts\";\nimport { AsyncLocalStorage } from \"node:async_hooks\";\nconst txContext=new AsyncLocalStorage();\nconst sqlite:any={\n execute:(...args:any[])=>{const db=txContext.getStore()??rootSqlite;return db.execute(...args)},\n batch:(...args:any[])=>{const db=txContext.getStore()??rootSqlite;return db.batch(...args)}\n};\nasync function withTransaction(fn:()=>Promise):Promise{\n if(txContext.getStore())return await fn();\n const tx:any=await (rootSqlite as any).transaction(\"write\");\n try{const out=await txContext.run(tx,fn);await tx.commit();return out}\n catch(e){try{await tx.rollback()}catch{};throw e}\n}\nconst A=\"independent_atomicity_1330_meta\",B=\"independent_atomicity_1330_task\",E=\"independent_atomicity_1330_events\";\nasync function reset(){\n await rootSqlite.execute(`DROP TABLE IF EXISTS ${E}`);await rootSqlite.execute(`DROP TABLE IF EXISTS ${B}`);await rootSqlite.execute(`DROP TABLE IF EXISTS ${A}`);\n await rootSqlite.execute(`CREATE TABLE ${A}(id INTEGER PRIMARY KEY,generation INTEGER,head TEXT)`);\n await rootSqlite.execute(`CREATE TABLE ${B}(id TEXT PRIMARY KEY,state TEXT,owner TEXT)`);\n await rootSqlite.execute(`CREATE TABLE ${E}(seq INTEGER PRIMARY KEY,type TEXT,prev TEXT,hash TEXT)`);\n await rootSqlite.execute(`INSERT INTO ${A} VALUES(1,0,'h0')`);await rootSqlite.execute(`INSERT INTO ${B} VALUES('t','READY',NULL)`);\n}\nasync function state(){return {meta:(await rootSqlite.execute(`SELECT * FROM ${A}`)).rows,task:(await rootSqlite.execute(`SELECT * FROM ${B}`)).rows,events:(await rootSqlite.execute(`SELECT * FROM ${E} ORDER BY seq`)).rows}}\nasync function command(failAt:string|null){\n return await withTransaction(async()=>{\n await sqlite.execute(`UPDATE ${B} SET state='LEASED',owner='a' WHERE id='t'`);\n if(failAt===\"after_task\")throw new Error(\"FAIL_AFTER_TASK\");\n await sqlite.execute(`INSERT INTO ${E} VALUES(1,'TASK_LEASED','h0','h1')`);\n if(failAt===\"after_event\")throw new Error(\"FAIL_AFTER_EVENT\");\n await sqlite.execute(`UPDATE ${A} SET generation=1,head='h1' WHERE id=1`);\n if(failAt===\"after_meta\")throw new Error(\"FAIL_AFTER_META\");\n return {ok:true};\n });\n}\nexport default async function(req:Request){\n const u=new URL(req.url),mode=u.searchParams.get(\"mode\")||\"state\";\n if(mode===\"reset\"){await reset();return Response.json({ok:true,state:await state()})}\n if(mode===\"state\")return Response.json(await state());\n if(mode===\"success\"){const out=await command(null);return Response.json({out,state:await state()})}\n if(mode.startsWith(\"fail_\")){const at=mode.slice(5);try{await command(at);return Response.json({unexpected:true,state:await state()})}catch(e){return Response.json({caught:e instanceof Error?e.message:String(e),state:await state()})}}\n return new Response(\"bad mode\",{status:400});\n}","createdAt",["D",1788781152570],"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",{"_100":99,"_108":104},"org",{"_100":99,"_101":102,"_103":104,"_18":55,"_105":106,"_107":25},"branch",{"_13":89,"_32":90,"_43":42,"_91":44,"_92":-5,"_93":-5,"_94":-5,"_95":-5,"_96":-5,"_97":45,"_98":99},"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",{"_43":44,"_32":45,"_38":378,"_47":-5,"_48":25,"_49":50,"_51":50,"_52":53,"_54":-5,"_18":55,"_56":57,"_58":59,"_60":-5,"_61":-5,"_62":63,"_64":65,"_66":67,"_68":69,"_70":379,"_72":-5,"_73":74,"_75":74,"_76":77,"_78":77,"_79":77,"_80":74,"_81":74,"_82":380,"_84":381,"_86":382,"_88":25},"tree",[281,285,286,287,288,289,290,291,292,293,294,295,296,297,298,299,300,301],"files",[281,282,283,284,285,286,287,288,289,290,291,292,293,294,295,296,297,298,299,300,301],"counts",{"_271":63,"_272":204,"_273":63,"_274":275,"_276":277},"contents",[131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148],"upstreamProject","upstreamBranch","emptyEnvVars","flags",[],"hasHttpFiles","grants","orgs","customDomains",{},{"_43":265,"_32":266,"_30":267,"_152":-5,"_41":42,"_40":204,"_154":59,"_38":268,"_13":63,"_33":269,"_35":-5,"_24":25,"_157":-5,"_27":270},{"_43":259,"_32":260,"_30":261,"_152":-5,"_41":42,"_40":204,"_154":59,"_38":262,"_13":63,"_33":20,"_35":263,"_24":25,"_157":-5,"_27":264},{"_43":252,"_32":253,"_30":254,"_152":-5,"_41":42,"_40":255,"_154":59,"_38":256,"_13":63,"_33":34,"_35":257,"_24":25,"_157":-5,"_27":258},{"_43":245,"_32":246,"_30":247,"_152":-5,"_41":42,"_40":248,"_154":59,"_38":249,"_13":63,"_33":164,"_35":250,"_24":25,"_157":-5,"_27":251},{"_43":238,"_32":239,"_30":240,"_152":-5,"_41":42,"_40":241,"_154":59,"_38":242,"_13":162,"_33":34,"_35":243,"_24":25,"_157":-5,"_27":244},{"_43":232,"_32":233,"_30":234,"_152":-5,"_41":42,"_40":204,"_154":59,"_38":235,"_13":63,"_33":164,"_35":236,"_24":25,"_157":-5,"_27":237},{"_43":225,"_32":226,"_30":227,"_152":-5,"_41":42,"_40":228,"_154":59,"_38":229,"_13":63,"_33":164,"_35":230,"_24":25,"_157":-5,"_27":231},{"_43":218,"_32":219,"_30":220,"_152":-5,"_41":42,"_40":221,"_154":59,"_38":222,"_13":63,"_33":164,"_35":223,"_24":25,"_157":-5,"_27":224},{"_43":211,"_32":212,"_30":213,"_152":-5,"_41":42,"_40":214,"_154":59,"_38":215,"_13":63,"_33":164,"_35":216,"_24":25,"_157":-5,"_27":217},{"_43":208,"_32":28,"_30":31,"_152":-5,"_41":42,"_40":14,"_154":59,"_38":209,"_13":204,"_33":34,"_35":37,"_24":25,"_157":-5,"_27":210},{"_43":202,"_32":203,"_30":57,"_152":-5,"_41":42,"_40":204,"_154":59,"_38":205,"_13":63,"_33":34,"_35":206,"_24":25,"_157":-5,"_27":207},{"_43":195,"_32":196,"_30":197,"_152":-5,"_41":42,"_40":198,"_154":59,"_38":199,"_13":63,"_33":164,"_35":200,"_24":25,"_157":-5,"_27":201},{"_43":188,"_32":189,"_30":190,"_152":-5,"_41":42,"_40":191,"_154":59,"_38":192,"_13":63,"_33":164,"_35":193,"_24":25,"_157":-5,"_27":194},{"_43":181,"_32":182,"_30":183,"_152":-5,"_41":42,"_40":184,"_154":59,"_38":185,"_13":63,"_33":34,"_35":186,"_24":25,"_157":-5,"_27":187},{"_43":174,"_32":175,"_30":176,"_152":-5,"_41":42,"_40":177,"_154":25,"_38":178,"_13":63,"_33":164,"_35":179,"_24":25,"_157":-5,"_27":180},{"_43":167,"_32":168,"_30":169,"_152":-5,"_41":42,"_40":170,"_154":59,"_38":171,"_13":63,"_33":164,"_35":172,"_24":25,"_157":-5,"_27":173},{"_43":159,"_32":160,"_30":161,"_152":-5,"_41":42,"_40":162,"_154":59,"_38":163,"_13":63,"_33":164,"_35":165,"_24":25,"_157":-5,"_27":166},{"_43":149,"_32":150,"_30":151,"_152":-5,"_41":42,"_40":153,"_154":59,"_38":155,"_13":63,"_33":34,"_35":156,"_24":25,"_157":-5,"_27":158},"08c8c8f2-1251-45d5-b08d-70f87e51aa85","txadm_test_http.ts","b79510b8-aab0-11f1-8b52-1607ee4eb77e","parentId",17,"latest",["D",1788781139538],"import run from \"./transactional_admission_candidate_v1_test.ts\";\nexport default async function(){return Response.json(await run());}","label",[150],"36a83900-21fc-4ecc-a596-6ea9213f5c7c","tx_probe.ts","cc74516e-a98a-11f1-b61d-1607ee4eb77e",2,["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",[160],"b79d1649-9a4c-4ddf-9b8f-6f19b0623839","transactional_admission_candidate_v1_test.ts","a48684e8-aab0-11f1-bca5-1607ee4eb77e",16,["D",1788781107609],"import { initFixture,registerTx,claimTx,snapshot,verifyChain } from \"./transactional_admission_candidate_v1.ts\";\n\nfunction stable(x:any){return JSON.stringify(x);}\nfunction assert(c:any,m:string){if(!c)throw new Error(m);}\n\nexport default async function(){\n const results:any={register_faults:[],claim_faults:[],success:null,concurrent:null};\n const rf=[\"register_after_agent_insert\",\"register_after_event_insert\",\"register_after_head_update\",\"register_after_generation_bump\",\"register_after_agent_update\",\"register_after_workstream_update\"];\n for(const f of rf){\n await initFixture();const before=stable(await snapshot());let err=\"\";\n try{await registerTx(\"A\",f)}catch(e){err=e instanceof Error?e.message:String(e)}\n const after=stable(await snapshot()),v=await verifyChain();\n assert(err===\"FAULT_\"+f,\"REGISTER_FAULT_NOT_TRIGGERED_\"+f);\n assert(before===after,\"REGISTER_PARTIAL_STATE_\"+f);\n assert(v.ok,\"REGISTER_CHAIN_BAD_\"+f);\n results.register_faults.push({fault:f,rollback_exact:true,chain_ok:true});\n }\n\n const cf=[\"claim_after_task_update\",\"claim_after_event_insert\",\"claim_after_head_update\",\"claim_after_generation_bump\",\"claim_after_agent_update\",\"claim_after_workstream_update\"];\n for(const f of cf){\n await initFixture();await registerTx(\"A\");const before=stable(await snapshot());let err=\"\";\n try{await claimTx(\"A\",f)}catch(e){err=e instanceof Error?e.message:String(e)}\n const after=stable(await snapshot()),v=await verifyChain();\n assert(err===\"FAULT_\"+f,\"CLAIM_FAULT_NOT_TRIGGERED_\"+f);\n assert(before===after,\"CLAIM_PARTIAL_STATE_\"+f);\n assert(v.ok,\"CLAIM_CHAIN_BAD_\"+f);\n results.claim_faults.push({fault:f,rollback_exact:true,chain_ok:true});\n }\n\n await initFixture();const r1=await registerTx(\"A\"),c1=await claimTx(\"A\"),v1=await verifyChain(),s1:any=await snapshot();\n assert(v1.ok&&v1.generation===2&&v1.event_count===2,\"SUCCESS_CHAIN_OR_GEN\");\n assert(s1.tasks[0].state===\"LEASED\"&&s1.tasks[0].lease_owner===\"A\",\"SUCCESS_TASK\");\n results.success={register:r1,claim:c1,verify:v1};\n\n await initFixture();await registerTx(\"A\");await registerTx(\"B\");\n const cc=await Promise.allSettled([claimTx(\"A\"),claimTx(\"B\")]);\n const fulfilled=cc.filter(x=>x.status===\"fulfilled\"),rejected=cc.filter(x=>x.status===\"rejected\");\n const v2=await verifyChain(),s2:any=await snapshot();\n assert(fulfilled.length===1&&rejected.length===1,\"CONCURRENT_CLAIM_CARDINALITY\");\n assert(v2.ok&&v2.generation===3&&v2.event_count===3,\"CONCURRENT_CHAIN_OR_GEN\");\n assert(s2.tasks[0].state===\"LEASED\",\"CONCURRENT_TASK_NOT_LEASED\");\n results.concurrent={outcomes:cc.map((x:any)=>x.status===\"fulfilled\"?{status:x.status,value:x.value}:{status:x.status,reason:String(x.reason?.message||x.reason)}),verify:v2,lease_owner:s2.tasks[0].lease_owner};\n\n const out={ok:true,classification:\"TRANSACTIONAL_ADMISSION_CANDIDATE_V1_PASS\",assertions:rf.length+cf.length+4,results};\n console.log(JSON.stringify(out));\n return out;\n}\n",[168],"7c53675a-8813-4fb8-a4ff-6bd873b7bf74","transactional_admission_candidate_v1.ts","a357f408-aab0-11f1-999f-1607ee4eb77e",15,["D",1788781105643],"import { sqlite } from \"https://esm.town/v/std/sqlite/main.ts\";\n\nconst P=\"c4e7_txadm_\";\nconst GENESIS=\"GENESIS\";\nconst enc=new TextEncoder();\n\nfunction now(){return new Date().toISOString();}\nfunction canon(x:any):string{\n if(x===null||typeof x!==\"object\")return JSON.stringify(x);\n if(Array.isArray(x))return \"[\"+x.map(canon).join(\",\")+\"]\";\n return \"{\"+Object.keys(x).sort().map(k=>JSON.stringify(k)+\":\"+canon(x[k])).join(\",\")+\"}\";\n}\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(\"\");}\nasync function one(db:any,sql:string,args:any[]=[]){const r:any=await db.execute({sql,args});return r.rows?.[0]??null;}\nfunction fault(name:string,at:string){if(name===at)throw new Error(\"FAULT_\"+at);}\n\nexport async function initFixture(){\n for(const t of [\"events\",\"meta\",\"agents\",\"tasks\",\"workstreams\"])await sqlite.execute(`DROP TABLE IF EXISTS ${P}${t}`);\n await sqlite.execute(`CREATE TABLE ${P}meta(id INTEGER PRIMARY KEY,generation INTEGER NOT NULL,event_head_hash TEXT NOT NULL,new_event_count INTEGER NOT NULL)`);\n await sqlite.execute(`CREATE TABLE ${P}events(local_seq INTEGER PRIMARY KEY,event_uuid TEXT NOT NULL,ts TEXT NOT NULL,workstream TEXT NOT NULL,agent_id TEXT,task_id TEXT,type TEXT NOT NULL,payload_json TEXT NOT NULL,prev_hash TEXT NOT NULL,event_hash TEXT NOT NULL,transaction_generation INTEGER NOT NULL)`);\n await sqlite.execute(`CREATE TABLE ${P}agents(id TEXT PRIMARY KEY,status TEXT NOT NULL,boot_generation INTEGER NOT NULL,last_generation INTEGER NOT NULL,last_seen TEXT NOT NULL)`);\n await sqlite.execute(`CREATE TABLE ${P}workstreams(id TEXT PRIMARY KEY,head_generation INTEGER NOT NULL,updated_at TEXT NOT NULL)`);\n await sqlite.execute(`CREATE TABLE ${P}tasks(id TEXT PRIMARY KEY,workstream TEXT NOT NULL,state TEXT NOT NULL,lease_owner TEXT,lease_generation INTEGER,lease_expires_at TEXT,updated_at TEXT NOT NULL)`);\n const t=now();\n await sqlite.execute({sql:`INSERT INTO ${P}meta VALUES(1,0,?,0)`,args:[GENESIS]});\n await sqlite.execute({sql:`INSERT INTO ${P}workstreams VALUES('global',0,?)`,args:[t]});\n await sqlite.execute({sql:`INSERT INTO ${P}tasks VALUES('T1','global','READY',NULL,NULL,NULL,?)`,args:[t]});\n return await snapshot();\n}\n\nasync function appendEventTx(tx:any,ws:string,agent:string|null,task:string|null,type:string,payload:any,prefix:string,faultName:string){\n const m:any=await one(tx,`SELECT generation,event_head_hash FROM ${P}meta WHERE id=1`);\n const seqRow:any=await one(tx,`SELECT COALESCE(MAX(local_seq),0)+1 AS n FROM ${P}events`);\n const seq=Number(seqRow.n),prev=String(m.event_head_hash),ts=now();\n const e={event_uuid:crypto.randomUUID(),ts,workstream:ws,agent_id:agent,task_id:task,type,payload,prev_hash:prev};\n const h=await sha(canon(e));\n await tx.execute({sql:`INSERT INTO ${P}events(local_seq,event_uuid,ts,workstream,agent_id,task_id,type,payload_json,prev_hash,event_hash,transaction_generation) VALUES(?,?,?,?,?,?,?,?,?,?,?)`,\n args:[seq,e.event_uuid,ts,ws,agent,task,type,canon(payload),prev,h,Number(m.generation)]});\n fault(faultName,prefix+\"_after_event_insert\");\n await tx.execute({sql:`UPDATE ${P}meta SET event_head_hash=?,new_event_count=new_event_count+1 WHERE id=1`,args:[h]});\n fault(faultName,prefix+\"_after_head_update\");\n return {seq,event_hash:h};\n}\n\nexport async function registerTx(agent:string,faultName=\"\"){\n const tx:any=await (sqlite as any).transaction(\"write\");\n try{\n const m:any=await one(tx,`SELECT generation FROM ${P}meta WHERE id=1`),g0=Number(m.generation),t=now();\n await tx.execute({sql:`INSERT INTO ${P}agents(id,status,boot_generation,last_generation,last_seen) VALUES(?,'READY',?,?,?)`,args:[agent,g0,g0,t]});\n fault(faultName,\"register_after_agent_insert\");\n await appendEventTx(tx,\"global\",agent,null,\"AGENT_REGISTERED\",{boot_generation:g0},\"register\",faultName);\n const ng=g0+1;\n await tx.execute({sql:`UPDATE ${P}meta SET generation=? WHERE id=1`,args:[ng]});\n fault(faultName,\"register_after_generation_bump\");\n await tx.execute({sql:`UPDATE ${P}agents SET last_generation=?,last_seen=? WHERE id=?`,args:[ng,now(),agent]});\n fault(faultName,\"register_after_agent_update\");\n await tx.execute({sql:`UPDATE ${P}workstreams SET head_generation=?,updated_at=? WHERE id='global'`,args:[ng,now()]});\n fault(faultName,\"register_after_workstream_update\");\n await tx.commit();\n return {ok:true,agent,generation:ng};\n }catch(e){try{await tx.rollback();}catch{}throw e;}\n}\n\nexport async function claimTx(agent:string,faultName=\"\"){\n const tx:any=await (sqlite as any).transaction(\"write\");\n try{\n const ag:any=await one(tx,`SELECT id FROM ${P}agents WHERE id=?`,[agent]);if(!ag)throw new Error(\"UNKNOWN_AGENT\");\n const m:any=await one(tx,`SELECT generation FROM ${P}meta WHERE id=1`),g0=Number(m.generation);\n const exp=new Date(Date.now()+1800_000).toISOString();\n const u:any=await tx.execute({sql:`UPDATE ${P}tasks SET state='LEASED',lease_owner=?,lease_generation=?,lease_expires_at=?,updated_at=? WHERE id='T1' AND state='READY' RETURNING id`,args:[agent,g0,exp,now()]});\n if(!(u.rows||[]).length)throw new Error(\"NO_READY_TASK\");\n fault(faultName,\"claim_after_task_update\");\n await appendEventTx(tx,\"global\",agent,\"T1\",\"TASK_LEASED\",{lease_generation:g0,lease_expires_at:exp},\"claim\",faultName);\n const ng=g0+1;\n await tx.execute({sql:`UPDATE ${P}meta SET generation=? WHERE id=1`,args:[ng]});\n fault(faultName,\"claim_after_generation_bump\");\n await tx.execute({sql:`UPDATE ${P}agents SET status='WORKING',last_generation=?,last_seen=? WHERE id=?`,args:[ng,now(),agent]});\n fault(faultName,\"claim_after_agent_update\");\n await tx.execute({sql:`UPDATE ${P}workstreams SET head_generation=?,updated_at=? WHERE id='global'`,args:[ng,now()]});\n fault(faultName,\"claim_after_workstream_update\");\n await tx.commit();\n return {ok:true,agent,task_id:\"T1\",generation:ng};\n }catch(e){try{await tx.rollback();}catch{}throw e;}\n}\n\nexport async function snapshot(){\n const [m,e,a,t,w]:any[]=await Promise.all([\n sqlite.execute(`SELECT * FROM ${P}meta ORDER BY id`),\n sqlite.execute(`SELECT * FROM ${P}events ORDER BY local_seq`),\n sqlite.execute(`SELECT * FROM ${P}agents ORDER BY id`),\n sqlite.execute(`SELECT * FROM ${P}tasks ORDER BY id`),\n sqlite.execute(`SELECT * FROM ${P}workstreams ORDER BY id`)\n ]);\n return {meta:m.rows||[],events:e.rows||[],agents:a.rows||[],tasks:t.rows||[],workstreams:w.rows||[]};\n}\n\nexport async function verifyChain(){\n const s=await snapshot();const meta:any=s.meta[0];let prev=GENESIS;const bad:number[]=[];\n for(const r of s.events as any[]){\n const payload=JSON.parse(String(r.payload_json));\n const h=await sha(canon({event_uuid:r.event_uuid,ts:r.ts,workstream:r.workstream,agent_id:r.agent_id,task_id:r.task_id,type:r.type,payload,prev_hash:r.prev_hash}));\n if(String(r.prev_hash)!==prev||String(r.event_hash)!==h)bad.push(Number(r.local_seq));\n prev=String(r.event_hash);\n }\n return {ok:bad.length===0&&prev===String(meta.event_head_hash)&&Number(meta.new_event_count)===(s.events as any[]).length,bad,computed_head:prev,stored_head:String(meta.event_head_hash),generation:Number(meta.generation),event_count:(s.events as any[]).length};\n}\n",[175],"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}",[182],"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}));",[189],"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}));",[196],"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",[203],"cb743a10-66ab-487c-b8ce-27ce91655742",["D",1788781152570],[28],"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)}))));",[212],"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));",[219],"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));",[226],"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",[233],"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",[239],"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}",[246],"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}",[253],"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",[260],"9c3921b0-62ac-4d17-9802-04bfd60ad208","components","01a07423-90d5-70c6-8557-552c6cafbd62",["D",1788654882934],"directory",[266],"pulls","branches","forks","envVars",{"_278":63,"_280":63},"connections",{"_278":63,"_279":63},"count","unfilledCount","emptyCount",{"_43":265,"_32":266,"_30":267,"_152":-5,"_41":42,"_40":204,"_154":59,"_38":375,"_13":63,"_33":269,"_35":-5,"_24":25,"_157":-5,"_303":376,"_27":377},{"_43":368,"_32":369,"_30":370,"_152":267,"_41":42,"_40":204,"_154":59,"_38":371,"_13":63,"_33":164,"_35":372,"_24":25,"_157":-5,"_303":373,"_27":374},{"_43":361,"_32":362,"_30":363,"_152":267,"_41":42,"_40":204,"_154":59,"_38":364,"_13":63,"_33":164,"_35":365,"_24":25,"_157":-5,"_303":366,"_27":367},{"_43":354,"_32":355,"_30":356,"_152":267,"_41":42,"_40":204,"_154":59,"_38":357,"_13":63,"_33":164,"_35":358,"_24":25,"_157":-5,"_303":359,"_27":360},{"_43":259,"_32":260,"_30":261,"_152":-5,"_41":42,"_40":204,"_154":59,"_38":351,"_13":63,"_33":20,"_35":263,"_24":25,"_157":-5,"_303":352,"_27":353},{"_43":252,"_32":253,"_30":254,"_152":-5,"_41":42,"_40":255,"_154":59,"_38":348,"_13":63,"_33":34,"_35":257,"_24":25,"_157":-5,"_303":349,"_27":350},{"_43":245,"_32":246,"_30":247,"_152":-5,"_41":42,"_40":248,"_154":59,"_38":345,"_13":63,"_33":164,"_35":250,"_24":25,"_157":-5,"_303":346,"_27":347},{"_43":238,"_32":239,"_30":240,"_152":-5,"_41":42,"_40":241,"_154":59,"_38":342,"_13":162,"_33":34,"_35":243,"_24":25,"_157":-5,"_303":343,"_27":344},{"_43":232,"_32":233,"_30":234,"_152":-5,"_41":42,"_40":204,"_154":59,"_38":339,"_13":63,"_33":164,"_35":236,"_24":25,"_157":-5,"_303":340,"_27":341},{"_43":225,"_32":226,"_30":227,"_152":-5,"_41":42,"_40":228,"_154":59,"_38":336,"_13":63,"_33":164,"_35":230,"_24":25,"_157":-5,"_303":337,"_27":338},{"_43":218,"_32":219,"_30":220,"_152":-5,"_41":42,"_40":221,"_154":59,"_38":333,"_13":63,"_33":164,"_35":223,"_24":25,"_157":-5,"_303":334,"_27":335},{"_43":211,"_32":212,"_30":213,"_152":-5,"_41":42,"_40":214,"_154":59,"_38":330,"_13":63,"_33":164,"_35":216,"_24":25,"_157":-5,"_303":331,"_27":332},{"_43":208,"_32":28,"_30":31,"_152":-5,"_41":42,"_40":14,"_154":59,"_38":327,"_13":204,"_33":34,"_35":37,"_24":25,"_157":-5,"_303":328,"_27":329},{"_43":202,"_32":203,"_30":57,"_152":-5,"_41":42,"_40":204,"_154":59,"_38":324,"_13":63,"_33":34,"_35":206,"_24":25,"_157":-5,"_303":325,"_27":326},{"_43":195,"_32":196,"_30":197,"_152":-5,"_41":42,"_40":198,"_154":59,"_38":321,"_13":63,"_33":164,"_35":200,"_24":25,"_157":-5,"_303":322,"_27":323},{"_43":188,"_32":189,"_30":190,"_152":-5,"_41":42,"_40":191,"_154":59,"_38":318,"_13":63,"_33":164,"_35":193,"_24":25,"_157":-5,"_303":319,"_27":320},{"_43":181,"_32":182,"_30":183,"_152":-5,"_41":42,"_40":184,"_154":59,"_38":315,"_13":63,"_33":34,"_35":186,"_24":25,"_157":-5,"_303":316,"_27":317},{"_43":174,"_32":175,"_30":176,"_152":-5,"_41":42,"_40":177,"_154":25,"_38":312,"_13":63,"_33":164,"_35":179,"_24":25,"_157":-5,"_303":313,"_27":314},{"_43":167,"_32":168,"_30":169,"_152":-5,"_41":42,"_40":170,"_154":59,"_38":309,"_13":63,"_33":164,"_35":172,"_24":25,"_157":-5,"_303":310,"_27":311},{"_43":159,"_32":160,"_30":161,"_152":-5,"_41":42,"_40":162,"_154":59,"_38":306,"_13":63,"_33":164,"_35":165,"_24":25,"_157":-5,"_303":307,"_27":308},{"_43":149,"_32":150,"_30":151,"_152":-5,"_41":42,"_40":153,"_154":59,"_38":302,"_13":63,"_33":34,"_35":156,"_24":25,"_157":-5,"_303":304,"_27":305},["D",1788781139538],"children",[],[150],["D",1788654902545],[],[160],["D",1788781107609],[],[168],["D",1788781105643],[],[175],["D",1788656358233],[],[182],["D",1788656245533],[],[189],["D",1788655198900],[],[196],["D",1788654882934],[],[203],["D",1788781152570],[],[28],["D",1788656119898],[],[212],["D",1788717959158],[],[219],["D",1788780871158],[],[226],["D",1788654882934],[],[233],["D",1788655979040],[],[239],["D",1788780609126],[],[246],["D",1788657197621],[],[253],["D",1788654882934],[],[260],"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",[],[266,355],"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",[],[266,362],"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",[],[266,369],["D",1788654882934],[282,283,284],[266],["D",1788654882934],["D",1789527031073],{"_100":99,"_108":104},{"_100":99,"_101":102,"_103":104,"_18":55,"_105":106,"_107":25},{"_13":89,"_32":90,"_43":42,"_91":44,"_92":-5,"_93":-5,"_94":-5,"_95":-5,"_96":-5,"_97":45,"_98":99},"ctx",{"_82":-5,"_128":416,"_417":418,"_419":420,"_421":25,"_422":25,"_423":25,"_424":59,"_425":-5,"_426":-7,"_427":-7,"_428":63,"_429":25,"_430":25,"_431":-5,"_432":25,"_433":25,"_434":25,"_435":-5},"ENV",{"_387":388,"_389":390,"_391":90,"_392":393,"_394":395,"_396":397,"_398":399,"_400":401,"_402":403,"_404":405,"_406":407,"_408":409,"_410":411,"_412":413,"_414":415},"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 · v18