[{"_1":2,"_3":-5,"_4":-5},"loaderData",{"_5":6,"_7":8,"_9":10},"actionData","errors","root",{"_201":202,"_203":204},"routes/_app.x.$handle.$name",{"_11":12,"_13":14,"_15":16,"_17":18,"_38":-7,"_124":-5,"_19":125,"_126":127,"_128":129,"_130":131,"_132":133,"_21":134,"_135":-5,"_136":-5,"_137":24,"_138":139,"_140":24,"_141":-5,"_142":-5,"_143":144},"routes/_app.x.$handle.$name.branch.$branch.history_.$",{"_11":12,"_13":14,"_15":16,"_17":18,"_19":20,"_21":22,"_23":24,"_25":26,"_27":28,"_29":24,"_30":-5},"handle","mosadek","name","brain-superhero-causal-run-v1","branchName","main","path","falsify_v1.ts","project",{"_32":72,"_13":14,"_36":73,"_74":-5,"_75":24,"_76":77,"_78":77,"_79":80,"_81":-5,"_30":68,"_82":-5,"_83":24,"_84":-5,"_85":-5,"_86":26,"_40":41,"_87":88,"_89":90,"_91":92,"_93":-5,"_94":95,"_96":95,"_97":98,"_99":98,"_100":98,"_101":95,"_102":95,"_53":103,"_104":105,"_106":107,"_108":24},"file",{"_63":64,"_13":18,"_65":66,"_67":24,"_71":-5},"isDirectory",false,"page",0,"history",[31],"hasNext","userId",{"_32":33,"_34":35,"_36":37,"_38":39,"_40":41,"_42":43,"_44":-5,"_45":-5,"_46":-5,"_47":-5,"_48":-5,"_49":50,"_51":52,"_53":54,"_21":55,"_56":-5,"_57":-5,"_58":-5,"_59":-5,"_60":61},"id","bcf29d34-80f4-4924-a5e1-96ab3d3b7d12","branchId","6563f4c4-ac94-429f-8218-70e2e4fe7493","createdAt",["D",1788896509496],"version",2,"orgId","01a0715b-703f-741f-ab35-c85020e4a5e0","parentId","f3bd9403-fbcc-4a8f-bfd3-3b779ab8e42f","incomingCommitId","aiChatMessageId","aiChatThreadId","aiChatThreadUserId","aiChatThreadTitle","source","mcp","clientLabel","ChatGPT","user",{"_32":68,"_40":41,"_11":12,"_69":70},{"_63":64,"_13":18,"_65":66,"_67":24},"pull","merge","revert","multiple","commits",[62],{"_32":33,"_34":35,"_36":37,"_38":39,"_40":41,"_42":43,"_44":-5,"_45":-5,"_46":-5,"_47":-5,"_48":-5,"_49":50,"_51":52,"_53":54,"_21":55,"_56":-5,"_57":-5,"_58":-5},"fileId","557719ea-abbd-11f1-be17-1607ee4eb77e","fileType","script","deleted","6be0fc5c-1fef-4bd6-a1e1-67a3f8c0764e","avatar","https://lh3.googleusercontent.com/a/ACg8ocL1eT_LHhKSg5px3nXIO6eez79aZXef466qXKh2gak-0iwrvw=s96-c","deletedAtVersion","33e00560-1f50-42dd-be33-905e435ca839",["D",1788895734436],"deletedAt","legacyEnvVars","privacy","public","httpPrivacy","description","First superhero causal run verifier","imageUrl","pinnedFileId","pinPreview","pinMigrated","screenshotVersion","likeCount","tursoName","33e005601f5042ddbe33905e435ca839","tursoHostname","33e005601f5042ddbe33905e435ca839-val-town.aws-us-east-2.turso.io","tursoMeasuredAt",["D",1789504908499],"pinned","userPerm","r","valPerm","blobPerm","rw","emailPerm","sqlitePerm","projectPerm","telemetryPerm",{"_11":12,"_123":70},"org",{"_11":12,"_118":119,"_69":70,"_30":68,"_120":121,"_122":24},"branch",{"_38":109,"_13":16,"_32":35,"_110":72,"_111":-5,"_112":-5,"_113":-5,"_114":-5,"_115":-5,"_116":14,"_117":12},"isOwned",22,"projectId","forkedBranchId","forkedBranchVersion","forkedProjectPrivacy","forkedProjectId","forkedProjectOrgId","projectName","userHandle","displayName","Mo Sadek","tier","free","canRestrictVals","profileImageUrl","adoptOrgId",{"_32":72,"_13":14,"_36":196,"_74":-5,"_75":24,"_76":77,"_78":77,"_79":80,"_81":-5,"_30":68,"_82":-5,"_83":24,"_84":-5,"_85":-5,"_86":26,"_40":41,"_87":88,"_89":90,"_91":197,"_93":-5,"_94":95,"_96":95,"_97":98,"_99":98,"_100":98,"_101":95,"_102":95,"_53":198,"_104":199,"_106":200,"_108":24},"tree",[165,166,167,168],"files",[165,166,167,168],"counts",{"_154":26,"_155":156,"_157":26,"_158":159,"_160":161},"contents",[],{"_32":145,"_13":18,"_63":64,"_42":-5,"_34":35,"_146":39,"_147":148,"_36":149,"_38":26,"_65":66,"_150":151,"_67":24,"_152":-5,"_17":153},"upstreamProject","upstreamBranch","emptyEnvVars","flags",[],"hasHttpFiles","grants","orgs","customDomains",{},"fb90962d-4727-41bf-98d1-47a4ea463908","branchVersion","latest",true,["D",1788896509496],"content","const enc=new TextEncoder();\nasync function sha256(s:string){const d=await crypto.subtle.digest(\"SHA-256\",enc.encode(s));return[...new Uint8Array(d)].map(b=>b.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 PHASES=[\"RUN_START\",\"GOAL_INSTANCE_RECEIVED\",\"KNOWLEDGE_SKILL_ACTION_PROOF\",\"FAILURE_REPLAN\",\"CROSS_DOMAIN_ACTION\",\"DURABLE_STATE_WRITE\",\"FRESH_CONTINUATION_READBACK\",\"RUN_FINALIZE\"] as const;\ntype Phase=typeof PHASES[number];\ntype Pins={constitution:string;definition:string;focus:string;equivalence:string;controller_core:string;controller_policy:string;tool_policy:string;model_settings:string;goal_generator_commitment:string};\ntype Run={run_id:string;challenge:string;challenge_issued_ms:number;step:number;prev_receipt:string|null;phase:Phase;pins:Pins;complete:boolean};\ntype Step={run_id:string;challenge:string;step:number;phase:Phase;prev_receipt:string|null;pins:Pins;origin_verified:boolean;authority_bound:boolean;now_ms:number};\nconst ttl=300000;\nfunction pinsEqual(a:Pins,b:Pins){return canon(a)===canon(b)}\nasync function transition(run:Run,s:Step){\n const fail=(reason:string)=>({ok:false,reason,run,receipt:null as any});\n if(run.complete)return fail(\"RUN_ALREADY_COMPLETE\");\n if(s.run_id!==run.run_id)return fail(\"CROSS_RUN\");\n if(s.step!==run.step)return fail(\"STEP_MISMATCH\");\n if(s.phase!==run.phase)return fail(\"PHASE_MISMATCH\");\n if(s.challenge!==run.challenge)return fail(\"CHALLENGE_MISMATCH\");\n if(s.prev_receipt!==run.prev_receipt)return fail(\"PREVIOUS_RECEIPT_MISMATCH\");\n if(!pinsEqual(s.pins,run.pins))return fail(\"PINS_MISMATCH\");\n if(!s.origin_verified)return fail(\"ORIGIN_NOT_VERIFIED\");\n if(!s.authority_bound)return fail(\"AUTHORITY_NOT_BOUND\");\n if(s.now_msttl)return fail(\"CHALLENGE_EXPIRED_OR_FUTURE\");\n const body={schema:\"SUPERHERO_CAUSAL_RUN_RECEIPT_V1\",run_id:run.run_id,step:run.step,phase:run.phase,previous_receipt_sha256:run.prev_receipt,pins:run.pins,origin_verified:true,authority_bound:true,challenge_sha256:await sha256(run.challenge)};\n const receipt=await sha256(canon(body));\n const nextStep=run.step+1,complete=nextStep>=PHASES.length;\n const next:Run={...run,step:nextStep,prev_receipt:receipt,complete,phase:complete?run.phase:PHASES[nextStep],challenge:complete?\"\":crypto.randomUUID()+crypto.randomUUID(),challenge_issued_ms:s.now_ms};\n return{ok:true,reason:\"PASS\",run:next,receipt:{...body,receipt_sha256:receipt}};\n}\nconst pins:Pins={constitution:\"c\".repeat(64),definition:\"d\".repeat(64),focus:\"f\".repeat(64),equivalence:\"e\".repeat(64),controller_core:\"1\".repeat(64),controller_policy:\"2\".repeat(64),tool_policy:\"3\".repeat(64),model_settings:\"4\".repeat(64),goal_generator_commitment:\"5\".repeat(64)};\nfunction stepFor(r:Run):Step{return{run_id:r.run_id,challenge:r.challenge,step:r.step,phase:r.phase,prev_receipt:r.prev_receipt,pins:r.pins,origin_verified:true,authority_bound:true,now_ms:r.challenge_issued_ms+1000}}\nconst forged:Run={run_id:\"forged-run\",challenge:\"forged-challenge\",challenge_issued_ms:1000000,step:7,prev_receipt:\"forged-prev\",phase:\"RUN_FINALIZE\",pins,complete:false};\nconst forgedResult=await transition(forged,stepFor(forged));\nconst base:Run={run_id:\"fork-run\",challenge:\"fork-challenge\",challenge_issued_ms:2000000,step:0,prev_receipt:null,phase:\"RUN_START\",pins,complete:false};\nconst [forkA,forkB]=await Promise.all([transition(base,stepFor(base)),transition(base,stepFor(base))]);\nconsole.log(JSON.stringify({\n schema:\"SUPERHERO_CAUSAL_RUN_V1_INDEPENDENT_COUNTEREXAMPLE\",\n source_sha256:\"e3c0940ddc904f99e2cce66bc0d96841eb30f137188f0e6c2a69077e33c2de28\",\n forged_late_phase:{passed:forgedResult.ok,reason:forgedResult.reason,receipt:forgedResult.receipt?.receipt_sha256,next_complete:forgedResult.run.complete},\n concurrent_same_state:{a_passed:forkA.ok,b_passed:forkB.ok,same_receipt:forkA.receipt?.receipt_sha256===forkB.receipt?.receipt_sha256,challenge_a:forkA.run.challenge,challenge_b:forkB.run.challenge,divergent_next_challenge:forkA.run.challenge!==forkB.run.challenge},\n falsified:forgedResult.ok&&forkA.ok&&forkB.ok&&forkA.run.challenge!==forkB.run.challenge,\n classification:\"CANDIDATE_NONAUTHORITY_FALSIFICATION\",\n p_real_increment:0,human_authority_approval:false,direct_sprites_calls:0\n},null,2));","label",[18],"pulls","branches",1,"forks","envVars",{"_162":26,"_164":26},"connections",{"_162":26,"_163":26},"count","unfilledCount","emptyCount",{"_32":189,"_13":190,"_63":191,"_42":-5,"_34":35,"_146":109,"_147":148,"_36":192,"_38":26,"_65":66,"_150":193,"_67":24,"_152":-5,"_176":194,"_17":195},{"_32":145,"_13":18,"_63":64,"_42":-5,"_34":35,"_146":39,"_147":148,"_36":186,"_38":26,"_65":66,"_150":151,"_67":24,"_152":-5,"_176":187,"_17":188},{"_32":179,"_13":180,"_63":181,"_42":-5,"_34":35,"_146":156,"_147":148,"_36":182,"_38":26,"_65":66,"_150":183,"_67":24,"_152":-5,"_176":184,"_17":185},{"_32":169,"_13":170,"_63":171,"_42":-5,"_34":35,"_146":172,"_147":148,"_36":173,"_38":174,"_65":66,"_150":175,"_67":24,"_152":-5,"_176":177,"_17":178},"aac598a4-9e6a-4114-a09a-0dcce82fdd7b","v2_candidate.ts","a67690e6-abbd-11f1-9a6f-1607ee4eb77e",21,["D",1788897001110],18,"import { sqlite } from \"https://esm.town/v/std/sqlite/main.ts\";\nconst enc=new TextEncoder();\nasync function sha256(s:string){const d=await crypto.subtle.digest(\"SHA-256\",enc.encode(s));return[...new Uint8Array(d)].map(b=>b.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(\",\")+\"}\"}\nfunction hex256(){const b=new Uint8Array(32);crypto.getRandomValues(b);return[...b].map(x=>x.toString(16).padStart(2,\"0\")).join(\"\")}\nconst PHASES=[\"RUN_START\",\"GOAL_INSTANCE_RECEIVED\",\"KNOWLEDGE_SKILL_ACTION_PROOF\",\"FAILURE_REPLAN\",\"CROSS_DOMAIN_ACTION\",\"DURABLE_STATE_WRITE\",\"FRESH_CONTINUATION_READBACK\",\"RUN_FINALIZE\"] as const;\ntype Phase=typeof PHASES[number];\ntype Pins={constitution:string;definition:string;focus:string;equivalence:string;controller_core:string;controller_policy:string;tool_policy:string;model_settings:string;goal_generator_commitment:string};\ntype Step={run_id:string;challenge:string;step:number;phase:Phase;prev_receipt:string|null;origin_receipt_sha256:string};\nconst ttl=300000;\nconst RUNS=\"superhero_causal_runs_v2_candidate\";\nconst ORIGINS=\"superhero_causal_origins_v2_candidate\";\nconst PROJECT_PINS:Pins={constitution:\"c\".repeat(64),definition:\"d\".repeat(64),focus:\"f\".repeat(64),equivalence:\"e\".repeat(64),controller_core:\"1\".repeat(64),controller_policy:\"2\".repeat(64),tool_policy:\"3\".repeat(64),model_settings:\"4\".repeat(64),goal_generator_commitment:\"5\".repeat(64)};\nasync function setup(){\n await sqlite.execute(`CREATE TABLE IF NOT EXISTS ${RUNS}(run_id TEXT PRIMARY KEY,challenge TEXT NOT NULL,challenge_issued_ms INTEGER NOT NULL,step INTEGER NOT NULL,prev_receipt TEXT,phase TEXT NOT NULL,pins_json TEXT NOT NULL,complete INTEGER NOT NULL DEFAULT 0,updated_ms INTEGER NOT NULL)`);\n await sqlite.execute(`CREATE TABLE IF NOT EXISTS ${ORIGINS}(receipt_sha256 TEXT PRIMARY KEY,run_id TEXT NOT NULL,step INTEGER NOT NULL,phase TEXT NOT NULL,challenge_sha256 TEXT NOT NULL,request_observation_sha256 TEXT NOT NULL,issuer_class TEXT NOT NULL,verified INTEGER NOT NULL,authority_bound INTEGER NOT NULL,expires_ms INTEGER NOT NULL,consumed INTEGER NOT NULL DEFAULT 0)`);\n}\nasync function reset(){await sqlite.execute(`DELETE FROM ${RUNS}`);await sqlite.execute(`DELETE FROM ${ORIGINS}`)}\nasync function issue(){\n const now_ms=Date.now(),run_id=hex256(),challenge=hex256();\n await sqlite.execute({sql:`INSERT INTO ${RUNS}(run_id,challenge,challenge_issued_ms,step,prev_receipt,phase,pins_json,complete,updated_ms) VALUES(?,?,?,0,NULL,?,?,0,?)`,args:[run_id,challenge,now_ms,PHASES[0],canon(PROJECT_PINS),now_ms]});\n return{run_id,challenge,step:0,prev_receipt:null,phase:PHASES[0] as Phase};\n}\n// Candidate-internal protected-writer stand-in. Production must replace this with the authority-bound canary/verifier write path.\nasync function installProtectedOrigin(run_id:string,step:number,phase:Phase,challenge:string,request_observation_sha256:string,expires_ms:number){\n const body={schema:\"PROTECTED_CHATGPT_ORIGIN_RECEIPT_V2\",run_id,step,phase,challenge_sha256:await sha256(challenge),request_observation_sha256,issuer_class:\"AUTHORITY_BOUND_CHATGPT_WORK_VERIFIER\",verified:true,authority_bound:true,expires_ms};\n const receipt_sha256=await sha256(canon(body));\n await sqlite.execute({sql:`INSERT OR IGNORE INTO ${ORIGINS}(receipt_sha256,run_id,step,phase,challenge_sha256,request_observation_sha256,issuer_class,verified,authority_bound,expires_ms,consumed) VALUES(?,?,?,?,?,?,?,1,1,?,0)`,args:[receipt_sha256,run_id,step,phase,body.challenge_sha256,request_observation_sha256,body.issuer_class,expires_ms]});\n return receipt_sha256;\n}\nasync function row(sql:string,args:any[]=[]){const r:any=await sqlite.execute({sql,args});return r.rows?.[0]??null}\nasync function transition(s:Step){\n const fail=(reason:string)=>({ok:false,reason,receipt:null as any,next:null as any});\n const nowMs=Date.now();\n const r:any=await row(`SELECT * FROM ${RUNS} WHERE run_id=?`,[s.run_id]);\n if(!r)return fail(\"RUN_NOT_FOUND\");\n if(Number(r.complete)===1)return fail(\"RUN_ALREADY_COMPLETE\");\n if(s.step!==Number(r.step))return fail(\"STEP_MISMATCH\");\n if(s.phase!==String(r.phase))return fail(\"PHASE_MISMATCH\");\n if(s.challenge!==String(r.challenge))return fail(\"CHALLENGE_MISMATCH\");\n if((s.prev_receipt??null)!==(r.prev_receipt??null))return fail(\"PREVIOUS_RECEIPT_MISMATCH\");\n if(nowMsttl)return fail(\"CHALLENGE_EXPIRED_OR_FUTURE\");\n const ch=await sha256(String(r.challenge));\n const o:any=await row(`SELECT * FROM ${ORIGINS} WHERE receipt_sha256=?`,[s.origin_receipt_sha256]);\n if(!o)return fail(\"PROTECTED_ORIGIN_MISSING\");\n if(Number(o.verified)!==1||Number(o.authority_bound)!==1||String(o.issuer_class)!==\"AUTHORITY_BOUND_CHATGPT_WORK_VERIFIER\")return fail(\"PROTECTED_ORIGIN_INVALID\");\n if(String(o.run_id)!==String(r.run_id)||Number(o.step)!==Number(r.step)||String(o.phase)!==String(r.phase)||String(o.challenge_sha256)!==ch)return fail(\"PROTECTED_ORIGIN_BINDING_MISMATCH\");\n if(Number(o.expires_ms)<=nowMs)return fail(\"PROTECTED_ORIGIN_EXPIRED\");\n const nextStep=Number(r.step)+1,complete=nextStep>=PHASES.length,nextChallenge=complete?\"\":hex256(),nextPhase=complete?String(r.phase):PHASES[nextStep];\n const body={schema:\"SUPERHERO_CAUSAL_RUN_RECEIPT_V2\",run_id:String(r.run_id),step:Number(r.step),phase:String(r.phase),previous_receipt_sha256:r.prev_receipt??null,pins:JSON.parse(String(r.pins_json)),protected_origin_receipt_sha256:s.origin_receipt_sha256,request_observation_sha256:String(o.request_observation_sha256),challenge_sha256:ch,next_challenge_sha256:complete?null:await sha256(nextChallenge)};\n const receipt=await sha256(canon(body));\n const u:any=await sqlite.execute({sql:`UPDATE ${RUNS} SET challenge=?,challenge_issued_ms=?,step=?,prev_receipt=?,phase=?,complete=?,updated_ms=? WHERE run_id=? AND step=? AND challenge=? AND phase=? AND COALESCE(prev_receipt,'')=COALESCE(?,'') AND complete=0 AND EXISTS(SELECT 1 FROM ${ORIGINS} o WHERE o.receipt_sha256=? AND o.run_id=${RUNS}.run_id AND o.step=${RUNS}.step AND o.phase=${RUNS}.phase AND o.challenge_sha256=? AND o.verified=1 AND o.authority_bound=1 AND o.issuer_class='AUTHORITY_BOUND_CHATGPT_WORK_VERIFIER' AND o.expires_ms>? ) RETURNING run_id`,args:[nextChallenge,nowMs,nextStep,receipt,nextPhase,complete?1:0,nowMs,r.run_id,r.step,r.challenge,r.phase,r.prev_receipt??null,s.origin_receipt_sha256,ch,nowMs]});\n if(!(u.rows||[]).length)return fail(\"STATE_CAS_LOST\");\n await sqlite.execute({sql:`UPDATE ${ORIGINS} SET consumed=1 WHERE receipt_sha256=?`,args:[s.origin_receipt_sha256]});\n return{ok:true,reason:\"PASS\",receipt:{...body,receipt_sha256:receipt},next:{run_id:r.run_id,challenge:nextChallenge,step:nextStep,prev_receipt:receipt,phase:nextPhase,complete}};\n}\nasync function originFor(state:any,now_ms:number){return await installProtectedOrigin(state.run_id,state.step,state.phase,state.challenge,await sha256(\"obs:\"+state.run_id+\":\"+state.step),now_ms+60000)}\nasync function stepFor(state:any,origin:string):Promise{return{run_id:state.run_id,challenge:state.challenge,step:state.step,phase:state.phase,prev_receipt:state.prev_receipt,origin_receipt_sha256:origin}}\nasync function main(){\n await setup();await reset();const tests:any[]=[];let now=Date.now();\n // Forged late state cannot exist because the API takes only an id and project state is authoritative.\n const fakeOrigin=\"f\".repeat(64);\n const forged=await transition({run_id:\"forged-run\",challenge:\"forged\",step:7,phase:\"RUN_FINALIZE\",prev_receipt:\"x\",origin_receipt_sha256:fakeOrigin});\n tests.push({name:\"forged_late_state\",pass:!forged.ok&&forged.reason===\"RUN_NOT_FOUND\",observed:forged.reason});\n // Legitimate initial state + protected origin.\n const base=await issue();const o0=await originFor(base,Date.now());\n // Detached origin from another run must fail.\n const other=await issue();const otherOrigin=await originFor(other,Date.now());\n const detached=await transition(await stepFor(base,otherOrigin));\n tests.push({name:\"detached_origin\",pass:!detached.ok&&detached.reason===\"PROTECTED_ORIGIN_BINDING_MISMATCH\",observed:detached.reason});\n // Caller time is ignored: age canonical state past TTL and prove a spoofed now_ms cannot revive it.\n const stale=await issue();await sqlite.execute({sql:`UPDATE ${RUNS} SET challenge_issued_ms=? WHERE run_id=?`,args:[Date.now()-ttl-1000,stale.run_id]});const staleOrigin=await originFor(stale,Date.now());\n const staleAttempt=await transition({...await stepFor(stale,staleOrigin),now_ms:Date.now()-ttl} as any);\n tests.push({name:\"server_time_freshness\",pass:!staleAttempt.ok&&staleAttempt.reason===\"CHALLENGE_EXPIRED_OR_FUTURE\",observed:staleAttempt.reason});\n // Two identical concurrent transitions: exactly one may advance.\n const a=await stepFor(base,o0);const [x,y]=await Promise.all([transition(a),transition(a)]);\n tests.push({name:\"concurrent_single_winner\",pass:[x.ok,y.ok].filter(Boolean).length===1&&[x.reason,y.reason].includes(\"STATE_CAS_LOST\"),observed:[x.reason,y.reason]});\n const good=x.ok?x:y;let state=good.next;let receipts=[good.receipt];\n // Replay old transition fails.\n const replay=await transition(a);tests.push({name:\"replay\",pass:!replay.ok&&replay.reason===\"STEP_MISMATCH\",observed:replay.reason});\n // Missing origin fails at current state.\n const miss=await transition({...await stepFor(state,\"0\".repeat(64))});tests.push({name:\"missing_origin\",pass:!miss.ok&&miss.reason===\"PROTECTED_ORIGIN_MISSING\",observed:miss.reason});\n // Wrong phase relative to project state fails.\n const org1=await originFor(state,now+1000);\n const wp=await transition({...await stepFor(state,org1),phase:\"RUN_FINALIZE\"} as any);tests.push({name:\"wrong_phase\",pass:!wp.ok&&wp.reason===\"PHASE_MISMATCH\",observed:wp.reason});\n // Full remaining sequence.\n while(!state.complete){now=Date.now();const o=await originFor(state,now);const z=await transition(await stepFor(state,o));if(!z.ok)throw new Error(\"positive sequence \"+z.reason);receipts.push(z.receipt);state=z.next}\n tests.push({name:\"full_eight_phase_chain\",pass:state.complete&&receipts.length===8,observed:{complete:state.complete,count:receipts.length}});\n const chain=receipts.every((r:any,i:number)=>i===0?r.previous_receipt_sha256===null:r.previous_receipt_sha256===receipts[i-1].receipt_sha256);\n tests.push({name:\"receipt_chain\",pass:chain,observed:chain});\n const passed=tests.every(t=>t.pass);\n console.log(JSON.stringify({schema:\"SUPERHERO_CAUSAL_RUN_STATE_MACHINE_V2_CANDIDATE_SELFTEST\",classification:\"CANDIDATE_NONAUTHORITY_MECHANICS_ONLY\",passed,test_count:tests.length,tests,p_real_increment:0,human_authority_approval:false,direct_sprites_calls:0,limitations:[\"installProtectedOrigin is an internal stand-in; production must accept origin rows only from the separately protected authority-bound canary/verifier path.\",\"This candidate proves project-owned CAS mechanics, not ChatGPT Work origin or P_real.\"]},null,2));\n if(!passed)Deno.exit(1);\n}\nawait main();","children",[],[170],"d8f492a3-22b1-43ae-824d-7eb196999cea","main.ts","8772a9e8-abbb-11f1-9128-1607ee4eb77e",["D",1788895734467],"const enc=new TextEncoder();\nasync function sha256(s:string){const d=await crypto.subtle.digest(\"SHA-256\",enc.encode(s));return[...new Uint8Array(d)].map(b=>b.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 PHASES=[\"RUN_START\",\"GOAL_INSTANCE_RECEIVED\",\"KNOWLEDGE_SKILL_ACTION_PROOF\",\"FAILURE_REPLAN\",\"CROSS_DOMAIN_ACTION\",\"DURABLE_STATE_WRITE\",\"FRESH_CONTINUATION_READBACK\",\"RUN_FINALIZE\"] as const;\ntype Phase=typeof PHASES[number];\ntype Pins={constitution:string;definition:string;focus:string;equivalence:string;controller_core:string;controller_policy:string;tool_policy:string;model_settings:string;goal_generator_commitment:string};\ntype Run={run_id:string;challenge:string;challenge_issued_ms:number;step:number;prev_receipt:string|null;phase:Phase;pins:Pins;complete:boolean};\ntype Step={run_id:string;challenge:string;step:number;phase:Phase;prev_receipt:string|null;pins:Pins;origin_verified:boolean;authority_bound:boolean;now_ms:number};\nconst ttl=300000;\nfunction pinsEqual(a:Pins,b:Pins){return canon(a)===canon(b)}\nasync function issue(pins:Pins,now_ms=Date.now()):Promise{return{run_id:crypto.randomUUID(),challenge:crypto.randomUUID()+crypto.randomUUID(),challenge_issued_ms:now_ms,step:0,prev_receipt:null,phase:PHASES[0],pins,complete:false}}\nasync function transition(run:Run,s:Step){\n const fail=(reason:string)=>({ok:false,reason,run,receipt:null as any});\n if(run.complete)return fail(\"RUN_ALREADY_COMPLETE\");\n if(s.run_id!==run.run_id)return fail(\"CROSS_RUN\");\n if(s.step!==run.step)return fail(\"STEP_MISMATCH\");\n if(s.phase!==run.phase)return fail(\"PHASE_MISMATCH\");\n if(s.challenge!==run.challenge)return fail(\"CHALLENGE_MISMATCH\");\n if(s.prev_receipt!==run.prev_receipt)return fail(\"PREVIOUS_RECEIPT_MISMATCH\");\n if(!pinsEqual(s.pins,run.pins))return fail(\"PINS_MISMATCH\");\n if(!s.origin_verified)return fail(\"ORIGIN_NOT_VERIFIED\");\n if(!s.authority_bound)return fail(\"AUTHORITY_NOT_BOUND\");\n if(s.now_msttl)return fail(\"CHALLENGE_EXPIRED_OR_FUTURE\");\n const body={schema:\"SUPERHERO_CAUSAL_RUN_RECEIPT_V1\",run_id:run.run_id,step:run.step,phase:run.phase,previous_receipt_sha256:run.prev_receipt,pins:run.pins,origin_verified:true,authority_bound:true,challenge_sha256:await sha256(run.challenge)};\n const receipt=await sha256(canon(body));\n const nextStep=run.step+1,complete=nextStep>=PHASES.length;\n const next:Run={...run,step:nextStep,prev_receipt:receipt,complete,phase:complete?run.phase:PHASES[nextStep],challenge:complete?\"\":crypto.randomUUID()+crypto.randomUUID(),challenge_issued_ms:s.now_ms};\n return{ok:true,reason:\"PASS\",run:next,receipt:{...body,receipt_sha256:receipt}};\n}\nconst pins:Pins={constitution:\"c\".repeat(64),definition:\"d\".repeat(64),focus:\"f\".repeat(64),equivalence:\"e\".repeat(64),controller_core:\"1\".repeat(64),controller_policy:\"2\".repeat(64),tool_policy:\"3\".repeat(64),model_settings:\"4\".repeat(64),goal_generator_commitment:\"5\".repeat(64)};\nfunction stepFor(r:Run,patch:any={}):Step{return{run_id:r.run_id,challenge:r.challenge,step:r.step,phase:r.phase,prev_receipt:r.prev_receipt,pins:r.pins,origin_verified:true,authority_bound:true,now_ms:r.challenge_issued_ms+1000,...patch}}\nasync function expectReject(name:string,r:Run,patch:any,reason:string){const x=await transition(r,stepFor(r,patch));return{name,pass:!x.ok&&x.reason===reason,observed:x.reason,expected:reason}}\nasync function main(){\n const base=await issue(pins,1000000);\n const tests:any[]=[];\n tests.push(await expectReject(\"cross_run\",base,{run_id:\"other\"},\"CROSS_RUN\"));\n tests.push(await expectReject(\"wrong_step\",base,{step:1},\"STEP_MISMATCH\"));\n tests.push(await expectReject(\"skip_phase\",base,{phase:\"GOAL_INSTANCE_RECEIVED\"},\"PHASE_MISMATCH\"));\n tests.push(await expectReject(\"wrong_challenge\",base,{challenge:\"wrong\"},\"CHALLENGE_MISMATCH\"));\n tests.push(await expectReject(\"stale_prev\",base,{prev_receipt:\"stale\"},\"PREVIOUS_RECEIPT_MISMATCH\"));\n tests.push(await expectReject(\"wrong_pins\",base,{pins:{...pins,controller_core:\"9\".repeat(64)}},\"PINS_MISMATCH\"));\n tests.push(await expectReject(\"origin_false\",base,{origin_verified:false},\"ORIGIN_NOT_VERIFIED\"));\n tests.push(await expectReject(\"authority_false\",base,{authority_bound:false},\"AUTHORITY_NOT_BOUND\"));\n tests.push(await expectReject(\"expired\",base,{now_ms:base.challenge_issued_ms+ttl+1},\"CHALLENGE_EXPIRED_OR_FUTURE\"));\n const good1=await transition(base,stepFor(base));tests.push({name:\"first_valid\",pass:good1.ok,observed:good1.reason,expected:\"PASS\"});\n const replay=await transition(good1.run,stepFor(base));tests.push({name:\"replay_old_step\",pass:!replay.ok&&replay.reason===\"STEP_MISMATCH\",observed:replay.reason,expected:\"STEP_MISMATCH\"});\n let r=base;const receipts:any[]=[];for(let i=0;ii===0?x.previous_receipt_sha256===null:x.previous_receipt_sha256===receipts[i-1].receipt_sha256);\n tests.push({name:\"receipt_chain\",pass:receiptChain,observed:receiptChain,expected:true});\n const passed=tests.every(t=>t.pass);\n console.log(JSON.stringify({schema:\"SUPERHERO_CAUSAL_RUN_STATE_MACHINE_SELFTEST_V1\",classification:\"CANDIDATE_NONAUTHORITY_MECHANICS_ONLY\",passed,test_count:tests.length,tests,positive_receipt_root:receipts.at(-1)?.receipt_sha256,p_real_increment:0,human_authority_approval:false,direct_sprites_calls:0},null,2));\n if(!passed)Deno.exit(1);\n}\nawait main();",[],[180],["D",1788896509496],[],[18],"d01d2e55-f365-45a5-a62a-4ec4c5fc36b0","binding_classifier_v1.ts","c6340e8a-abbe-11f1-a7f4-1607ee4eb77e",["D",1788897128253],"function splitDict(raw:string){const out:string[]=[];let start=0,depth=0,q=false,esc=false;for(let i=0;i({name:t.name,pass:t.got.classification===t.want,observed:t.got.classification,expected:t.want,binding_component:t.got.binding_component,components:t.got.components}));\nconst passed=out.every(x=>x.pass);\nconsole.log(JSON.stringify({schema:\"WORK_SIGNATURE_CAUSAL_BINDING_CLASSIFIER_V1_SELFTEST\",classification:\"CANDIDATE_NONAUTHORITY_PARSER\",passed,test_count:out.length,tests:out,decision_rule:\"Only a cryptographically positive canary plus a signed server-chosen target component may unlock direct causal ingress design.\",p_real_increment:0,human_authority_approval:false,direct_sprites_calls:0},null,2));\nif(!passed)Deno.exit(1);",[],[190],["D",1788895734436],["D",1789504908499],{"_11":12,"_123":70},{"_11":12,"_118":119,"_69":70,"_30":68,"_120":121,"_122":24},{"_38":109,"_13":16,"_32":35,"_110":72,"_111":-5,"_112":-5,"_113":-5,"_114":-5,"_115":-5,"_116":14,"_117":12},"ctx",{"_53":-5,"_142":234,"_235":236,"_237":238,"_239":24,"_240":24,"_241":24,"_242":148,"_243":-5,"_244":-7,"_245":-7,"_246":26,"_247":24,"_248":24,"_249":-5,"_250":24,"_251":24,"_252":24,"_253":-5},"ENV",{"_205":206,"_207":208,"_209":16,"_210":211,"_212":213,"_214":215,"_216":217,"_218":219,"_220":221,"_222":223,"_224":225,"_226":227,"_228":229,"_230":231,"_232":233},"REACT_APP_SENTRY_DSN","https://586020d86f05489db63a554690acf1e9@o1398359.ingest.sentry.io/6724499","RENDER_GIT_COMMIT","9e167d8120a57de5d747867e0b686da51bcc19a4","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"]

History · falsify_v1.ts