[{"_1":2,"_3":-5,"_4":-5},"loaderData",{"_5":6,"_7":8,"_9":10},"actionData","errors","root",{"_191":192,"_193":194},"routes/_app.x.$handle.$name",{"_95":94,"_31":43,"_104":85,"_26":105,"_13":14,"_106":-5,"_11":107,"_108":109,"_110":111,"_112":113,"_114":115,"_20":-5,"_116":-5,"_117":-5,"_118":24,"_119":120,"_121":24,"_122":-5,"_123":-5,"_124":125},"routes/_app.x.$handle.$name.branch.$branch.version.$version.diff",{"_11":12,"_13":14,"_15":16,"_17":-5,"_18":-5},"project",{"_41":42,"_31":43,"_36":44,"_45":-5,"_46":24,"_47":48,"_49":48,"_50":51,"_52":-5,"_18":53,"_54":-5,"_55":24,"_56":-5,"_57":-5,"_58":59,"_60":61,"_62":63,"_64":65,"_66":67,"_68":-5,"_69":70,"_71":70,"_72":73,"_74":73,"_75":73,"_76":70,"_77":70,"_78":79,"_80":81,"_82":83,"_84":24},"version",22,"changes",[19],"aiChatInfo","userId",{"_20":21,"_22":-7,"_23":24,"_25":24,"_26":27,"_28":27},"file",{"_29":30,"_31":27,"_32":33,"_34":35,"_36":37,"_38":14,"_39":40,"_23":24},"previous","deleted",false,"deletedHere","path","binding_classifier_v1.ts","latestPath","fileId","c6340e8a-abbe-11f1-a7f4-1607ee4eb77e","name","fileType","script","content","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);","createdAt",["D",1788897128253],"branchVersion","branchId","6563f4c4-ac94-429f-8218-70e2e4fe7493","id","33e00560-1f50-42dd-be33-905e435ca839","brain-superhero-causal-run-v1",["D",1788895734436],"deletedAt","legacyEnvVars","privacy","public","httpPrivacy","description","First superhero causal run verifier","imageUrl","6be0fc5c-1fef-4bd6-a1e1-67a3f8c0764e","pinnedFileId","pinPreview","pinMigrated","screenshotVersion","likeCount",0,"orgId","01a0715b-703f-741f-ab35-c85020e4a5e0","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","user",{"_95":94,"_103":99},"org",{"_95":94,"_96":97,"_98":99,"_18":53,"_100":101,"_102":24},"branch",{"_13":14,"_31":85,"_41":40,"_86":42,"_87":-5,"_88":-5,"_89":-5,"_90":-5,"_91":-5,"_92":43,"_93":94},"isOwned","main","projectId","forkedBranchId","forkedBranchVersion","forkedProjectPrivacy","forkedProjectId","forkedProjectOrgId","projectName","userHandle","mosadek","handle","displayName","Mo Sadek","avatar","https://lh3.googleusercontent.com/a/ACg8ocL1eT_LHhKSg5px3nXIO6eez79aZXef466qXKh2gak-0iwrvw=s96-c","tier","free","canRestrictVals","profileImageUrl","branchName","","adoptOrgId",{"_41":42,"_31":43,"_36":186,"_45":-5,"_46":24,"_47":48,"_49":48,"_50":51,"_52":-5,"_18":53,"_54":-5,"_55":24,"_56":-5,"_57":-5,"_58":59,"_60":61,"_62":63,"_64":65,"_66":187,"_68":-5,"_69":70,"_71":70,"_72":73,"_74":73,"_75":73,"_76":70,"_77":70,"_78":188,"_80":189,"_82":190,"_84":24},"tree",[169,170,171,172],"files",[169,170,171,172],"counts",{"_159":59,"_160":145,"_161":59,"_162":163,"_164":165},"contents",[126,127,128,129],"upstreamProject","upstreamBranch","emptyEnvVars","flags",[],"hasHttpFiles","grants","orgs","customDomains",{},{"_41":156,"_31":27,"_29":30,"_133":-5,"_39":40,"_38":14,"_135":136,"_36":157,"_13":59,"_32":33,"_34":35,"_23":24,"_140":-5,"_26":158},{"_41":149,"_31":150,"_29":151,"_133":-5,"_39":40,"_38":152,"_135":136,"_36":153,"_13":59,"_32":33,"_34":154,"_23":24,"_140":-5,"_26":155},{"_41":142,"_31":143,"_29":144,"_133":-5,"_39":40,"_38":145,"_135":136,"_36":146,"_13":59,"_32":33,"_34":147,"_23":24,"_140":-5,"_26":148},{"_41":130,"_31":131,"_29":132,"_133":-5,"_39":40,"_38":134,"_135":136,"_36":137,"_13":138,"_32":33,"_34":139,"_23":24,"_140":-5,"_26":141},"aac598a4-9e6a-4114-a09a-0dcce82fdd7b","v2_candidate.ts","a67690e6-abbd-11f1-9a6f-1607ee4eb77e","parentId",21,"latest",true,["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();","label",[131],"d8f492a3-22b1-43ae-824d-7eb196999cea","main.ts","8772a9e8-abbb-11f1-9128-1607ee4eb77e",1,["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();",[143],"fb90962d-4727-41bf-98d1-47a4ea463908","falsify_v1.ts","557719ea-abbd-11f1-be17-1607ee4eb77e",2,["D",1788896509496],"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));",[150],"d01d2e55-f365-45a5-a62a-4ec4c5fc36b0",["D",1788897128253],[27],"pulls","branches","forks","envVars",{"_166":59,"_168":59},"connections",{"_166":59,"_167":59},"count","unfilledCount","emptyCount",{"_41":156,"_31":27,"_29":30,"_133":-5,"_39":40,"_38":14,"_135":136,"_36":183,"_13":59,"_32":33,"_34":35,"_23":24,"_140":-5,"_174":184,"_26":185},{"_41":149,"_31":150,"_29":151,"_133":-5,"_39":40,"_38":152,"_135":136,"_36":180,"_13":59,"_32":33,"_34":154,"_23":24,"_140":-5,"_174":181,"_26":182},{"_41":142,"_31":143,"_29":144,"_133":-5,"_39":40,"_38":145,"_135":136,"_36":177,"_13":59,"_32":33,"_34":147,"_23":24,"_140":-5,"_174":178,"_26":179},{"_41":130,"_31":131,"_29":132,"_133":-5,"_39":40,"_38":134,"_135":136,"_36":173,"_13":138,"_32":33,"_34":139,"_23":24,"_140":-5,"_174":175,"_26":176},["D",1788897001110],"children",[],[131],["D",1788895734467],[],[143],["D",1788896509496],[],[150],["D",1788897128253],[],[27],["D",1788895734436],["D",1789504908499],{"_95":94,"_103":99},{"_95":94,"_96":97,"_98":99,"_18":53,"_100":101,"_102":24},{"_13":14,"_31":85,"_41":40,"_86":42,"_87":-5,"_88":-5,"_89":-5,"_90":-5,"_91":-5,"_92":43,"_93":94},"ctx",{"_78":-5,"_123":224,"_225":226,"_227":228,"_229":24,"_230":24,"_231":24,"_232":136,"_233":-5,"_234":-7,"_235":-7,"_236":59,"_237":24,"_238":24,"_239":-5,"_240":24,"_241":24,"_242":24,"_243":-5},"ENV",{"_195":196,"_197":198,"_199":85,"_200":201,"_202":203,"_204":205,"_206":207,"_208":209,"_210":211,"_212":213,"_214":215,"_216":217,"_218":219,"_220":221,"_222":223},"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 · v22