[{"_1":2,"_3":-5,"_4":-5},"loaderData",{"_5":6,"_7":8,"_9":10},"actionData","errors","root",{"_167":168,"_169":170},"routes/_app.x.$handle.$name",{"_95":94,"_31":42,"_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",{"_40":41,"_31":42,"_35":43,"_44":-5,"_45":24,"_46":47,"_48":47,"_49":50,"_51":-5,"_18":52,"_53":-5,"_54":24,"_55":-5,"_56":-5,"_57":58,"_59":60,"_61":62,"_63":64,"_65":66,"_67":-5,"_68":69,"_70":69,"_71":72,"_73":72,"_74":72,"_75":69,"_76":69,"_77":78,"_79":80,"_81":82,"_83":24},"version",2,"changes",[19],"aiChatInfo","userId",{"_20":21,"_22":-7,"_23":24,"_25":24,"_26":27,"_28":27},"file",{"_29":30,"_31":27,"_32":20,"_33":34,"_35":36,"_37":14,"_38":39,"_23":24},"previous","deleted",false,"deletedHere","path","validator_v3.mjs","latestPath","fileId","c15af8b6-abc2-11f1-89bf-1607ee4eb77e","name","fileType","content","// PROJECT BRAIN — EXTERNAL SUPERHERO WORKER SLOT VALIDATOR V3\n// Candidate-only. Exact capsule bytes are hash-bound before parsing, and every\n// identity-critical component is schema-validated before equality/binding checks.\nexport const CLASSIFICATION=\"CANDIDATE_NONAUTHORITY_PREBOOT_EVIDENCE\";\nconst HEX64=/^[0-9a-f]{64}$/;\nconst objectOnly=x=>!!x&&typeof x===\"object\"&&!Array.isArray(x);\nconst nonEmpty=x=>typeof x===\"string\"&&x.length>0;\nconst exactKeys=(x,ks)=>objectOnly(x)&&Object.keys(x).sort().join(\"\\0\")===[...ks].sort().join(\"\\0\");\nconst isInt=x=>Number.isSafeInteger(x);\nconst bool=x=>typeof x===\"boolean\";\nconst hash=x=>typeof x===\"string\"&&HEX64.test(x);\nconst CAPSULE_KEYS=[\"schema\",\"classification\",\"participation_mode\",\"constitution_head_sha256\",\"worker_slot_id\",\"worker_source_sha256\",\"worker_file_id\",\"capability_profile_sha256\",\"task_id\",\"task_payload_sha256\",\"lease_id\",\"dispatcher_agent_id\",\"lease_expires_at_ms\",\"issued_at_ms\",\"nonce\",\"result_key\"];\nconst RESULT_KEYS=[\"worker_slot_id\",\"worker_source_sha256\",\"task_id\",\"lease_id\",\"completed_at_ms\",\"nonce\",\"capsule_sha256\",\"result_key\",\"result_artifact_sha256\",\"equivalence_report_sha256\",\"canonical_mutation\",\"p_real_increment\",\"promotion_claimed\",\"independent_review_claimed\"];\nconst OBS_KEYS=[\"source_sha256\",\"file_id\",\"start_ms\",\"end_ms\",\"provider\",\"status\",\"trace_id\",\"nonce\",\"duplicate_trace_for_nonce\",\"result_key\",\"stdout_result_artifact_sha256\"];\nconst LEASE_KEYS=[\"task_id\",\"lease_id\",\"state\",\"execution_allowed\",\"owner_agent_id\",\"expires_at_ms\"];\nconst CTX_KEYS=[\"trusted_provider_observation\",\"trusted_lease_snapshot\",\"trusted_current_head\",\"trusted_capsule_hash\",\"trusted_task_payload_hash\",\"duplicate_slot_ambiguity\",\"current_constitution_head_sha256\",\"current_worker_slot_id\",\"current_capability_profile_sha256\",\"current_task_payload_sha256\",\"current_time_ms\",\"max_liveness_age_ms\",\"accepted_nonces\",\"capsule_sha256\",\"equivalence_report_sha256\",\"trusted_independent_equivalence_pass\"];\nasync function sha256HexUtf8(text){const bytes=new TextEncoder().encode(text);const digest=await crypto.subtle.digest(\"SHA-256\",bytes);return [...new Uint8Array(digest)].map(b=>b.toString(16).padStart(2,\"0\")).join(\"\")}\nfunction schemaRejectReason(c,r,o,l,ctx){\n if(!exactKeys(r,RESULT_KEYS))return \"RESULT_SHAPE_INVALID\";\n if(!exactKeys(o,OBS_KEYS))return \"OBSERVATION_SHAPE_INVALID\";\n if(!exactKeys(l,LEASE_KEYS))return \"LEASE_SHAPE_INVALID\";\n if(!exactKeys(ctx,CTX_KEYS))return \"TRUSTED_CONTEXT_SHAPE_INVALID\";\n const capStrings=[c.worker_slot_id,c.worker_file_id,c.task_id,c.lease_id,c.dispatcher_agent_id,c.nonce,c.result_key];\n if(!capStrings.every(nonEmpty))return \"CAPSULE_REQUIRED_STRING_INVALID\";\n if(![c.constitution_head_sha256,c.worker_source_sha256,c.capability_profile_sha256,c.task_payload_sha256].every(hash))return \"CAPSULE_REQUIRED_HASH_INVALID\";\n if(!isInt(c.issued_at_ms)||!isInt(c.lease_expires_at_ms)||c.issued_at_ms<0||c.lease_expires_at_ms<0)return \"CAPSULE_TIME_INVALID\";\n if(![r.worker_slot_id,r.task_id,r.lease_id,r.nonce,r.result_key].every(nonEmpty))return \"RESULT_REQUIRED_STRING_INVALID\";\n if(![r.worker_source_sha256,r.capsule_sha256,r.result_artifact_sha256,r.equivalence_report_sha256].every(hash))return \"RESULT_REQUIRED_HASH_INVALID\";\n if(!isInt(r.completed_at_ms)||r.completed_at_ms<0)return \"RESULT_TIME_INVALID\";\n if(r.canonical_mutation!==false||r.p_real_increment!==0||r.promotion_claimed!==false||r.independent_review_claimed!==false)return \"WORKER_SELF_PROMOTION_FORBIDDEN\";\n if(![o.file_id,o.trace_id,o.nonce,o.result_key].every(nonEmpty))return \"OBSERVATION_REQUIRED_STRING_INVALID\";\n if(![o.source_sha256,o.stdout_result_artifact_sha256].every(hash))return \"OBSERVATION_REQUIRED_HASH_INVALID\";\n if(!isInt(o.start_ms)||!isInt(o.end_ms)||o.start_ms<0||o.end_ms<0)return \"OBSERVATION_TIME_INVALID\";\n if(!bool(o.duplicate_trace_for_nonce))return \"OBSERVATION_BOOLEAN_INVALID\";\n if(![l.task_id,l.lease_id,l.owner_agent_id,l.state].every(nonEmpty))return \"LEASE_REQUIRED_STRING_INVALID\";\n if(!isInt(l.expires_at_ms)||l.expires_at_ms<0||!bool(l.execution_allowed))return \"LEASE_TYPE_INVALID\";\n if(![ctx.current_worker_slot_id].every(nonEmpty))return \"CONTEXT_REQUIRED_STRING_INVALID\";\n if(![ctx.current_constitution_head_sha256,ctx.current_capability_profile_sha256,ctx.current_task_payload_sha256,ctx.capsule_sha256,ctx.equivalence_report_sha256].every(hash))return \"CONTEXT_REQUIRED_HASH_INVALID\";\n if(!isInt(ctx.current_time_ms)||ctx.current_time_ms<0||!isInt(ctx.max_liveness_age_ms)||ctx.max_liveness_age_ms<0)return \"CONTEXT_TIME_INVALID\";\n if(![ctx.trusted_provider_observation,ctx.trusted_lease_snapshot,ctx.trusted_current_head,ctx.trusted_capsule_hash,ctx.trusted_task_payload_hash,ctx.duplicate_slot_ambiguity,ctx.trusted_independent_equivalence_pass].every(bool))return \"CONTEXT_BOOLEAN_INVALID\";\n if(!Array.isArray(ctx.accepted_nonces)||!ctx.accepted_nonces.every(nonEmpty))return \"CONTEXT_NONCE_SET_INVALID\";\n return null;\n}\nexport async function validateExternalWorkerExecution(bundle,ctx){\n const reject=reason=>({ok:false,decision:\"REJECT_FAIL_CLOSED\",reason,p_real_increment:0});\n const {capsule_bytes:cb,result:r,observation:o,lease:l}=bundle||{};\n if(typeof cb!==\"string\"||!r||!o||!l||!ctx)return reject(\"MISSING_BUNDLE_COMPONENT\");\n let computedCapsuleSha256;try{computedCapsuleSha256=await sha256HexUtf8(cb)}catch{return reject(\"CAPSULE_HASH_COMPUTE_FAILED\")}\n if(!hash(ctx.capsule_sha256))return reject(\"CONTEXT_REQUIRED_HASH_INVALID\");\n if(computedCapsuleSha256!==ctx.capsule_sha256)return reject(\"CAPSULE_HASH_MISMATCH\");\n if(!hash(r.capsule_sha256))return reject(\"RESULT_REQUIRED_HASH_INVALID\");\n if(r.capsule_sha256!==computedCapsuleSha256)return reject(\"RESULT_CAPSULE_HASH_MISMATCH\");\n let c;try{c=JSON.parse(cb)}catch{return reject(\"CAPSULE_JSON_INVALID\")}\n if(!exactKeys(c,CAPSULE_KEYS))return reject(\"CAPSULE_SHAPE_INVALID\");\n const sr=schemaRejectReason(c,r,o,l,ctx);if(sr)return reject(sr);\n if(ctx.trusted_provider_observation!==true)return reject(\"PROVIDER_OBSERVATION_NOT_TRUSTED_CONTEXT\");\n if(ctx.trusted_lease_snapshot!==true)return reject(\"LEASE_SNAPSHOT_NOT_TRUSTED_CONTEXT\");\n if(ctx.trusted_current_head!==true)return reject(\"CURRENT_HEAD_NOT_TRUSTED_CONTEXT\");\n if(ctx.trusted_capsule_hash!==true)return reject(\"CAPSULE_HASH_NOT_TRUSTED_CONTEXT\");\n if(ctx.trusted_task_payload_hash!==true)return reject(\"TASK_PAYLOAD_HASH_NOT_TRUSTED_CONTEXT\");\n if(ctx.duplicate_slot_ambiguity===true)return reject(\"DUPLICATE_SLOT_AMBIGUITY\");\n if(c.task_payload_sha256!==ctx.current_task_payload_sha256)return reject(\"TASK_PAYLOAD_HASH_MISMATCH\");\n if(c.schema!==\"BRAIN_EXTERNAL_SUPERHERO_LEASE_CAPSULE_V1\"||c.classification!==\"CANDIDATE_NONAUTHORITY_EXTERNAL_WORKER_CAPSULE\")return reject(\"CAPSULE_SCHEMA\");\n if(c.participation_mode!==\"LEASED_EXTERNAL_WORKER_SLOT\")return reject(\"PARTICIPATION_MODE\");\n if(c.constitution_head_sha256!==ctx.current_constitution_head_sha256)return reject(\"STALE_CONSTITUTION_HEAD\");\n if(c.worker_slot_id!==r.worker_slot_id||c.worker_slot_id!==ctx.current_worker_slot_id)return reject(\"WORKER_SLOT_MISMATCH\");\n if(c.worker_source_sha256!==r.worker_source_sha256||c.worker_source_sha256!==o.source_sha256)return reject(\"SOURCE_BINDING_MISMATCH\");\n if(c.worker_file_id!==o.file_id)return reject(\"FILE_BINDING_MISMATCH\");\n if(c.capability_profile_sha256!==ctx.current_capability_profile_sha256)return reject(\"CAPABILITY_PROFILE_MISMATCH\");\n if(c.task_id!==r.task_id||c.task_id!==l.task_id)return reject(\"TASK_MISMATCH\");\n if(c.lease_id!==r.lease_id||c.lease_id!==l.lease_id)return reject(\"LEASE_ID_MISMATCH\");\n if(l.state!==\"LEASED\"||l.execution_allowed!==true)return reject(\"LEASE_NOT_EXECUTABLE\");\n if(l.owner_agent_id!==c.dispatcher_agent_id)return reject(\"DISPATCHER_NOT_LEASE_OWNER\");\n const effectiveLeaseExpiry=Math.min(c.lease_expires_at_ms,l.expires_at_ms);\n if(!(c.issued_at_ms<=o.start_ms&&o.start_ms<=o.end_ms&&o.end_ms<=effectiveLeaseExpiry))return reject(\"TRACE_OUTSIDE_LEASE_WINDOW\");\n if(!(r.completed_at_ms>=o.start_ms&&r.completed_at_ms<=effectiveLeaseExpiry))return reject(\"RESULT_TIME_OUTSIDE_LEASE\");\n if(ctx.current_time_ms>l.expires_at_ms)return reject(\"LEASE_EXPIRED_NOW\");\n if(o.provider!==\"Val Town\"||o.status!==\"ok\")return reject(\"PROVIDER_TRACE_INVALID\");\n if(o.nonce!==c.nonce||r.nonce!==c.nonce)return reject(\"NONCE_MISMATCH\");\n if(ctx.accepted_nonces.includes(c.nonce))return reject(\"NONCE_REPLAY\");\n if(o.duplicate_trace_for_nonce===true)return reject(\"DUPLICATE_TRACE_FOR_NONCE\");\n if(r.result_key!==c.result_key||o.result_key!==c.result_key)return reject(\"RESULT_KEY_MISMATCH\");\n if(r.result_artifact_sha256!==o.stdout_result_artifact_sha256)return reject(\"RESULT_HASH_NOT_TRACE_BOUND\");\n if(r.equivalence_report_sha256!==ctx.equivalence_report_sha256)return reject(\"EQUIVALENCE_REPORT_HASH_MISMATCH\");\n if(ctx.current_time_ms-o.end_ms>ctx.max_liveness_age_ms)return reject(\"STALE_LIVENESS\");\n const eq=ctx.trusted_independent_equivalence_pass===true;\n return {ok:true,decision:eq?\"ELIGIBLE_FOR_FIRST_CLASS_ADMISSION_REVIEW\":\"ELIGIBLE_FOR_CANONICAL_IMPORT_ONLY_NOT_P_REAL\",reason:null,p_real_increment:0,provider_trace_id:o.trace_id,worker_slot_id:c.worker_slot_id,task_id:c.task_id,lease_id:c.lease_id,capsule_sha256:computedCapsuleSha256,task_payload_sha256:c.task_payload_sha256,requires_separate_promotion:true};\n}\n","createdAt",["D",1788898838101],"branchVersion","branchId","1ee3eaf2-cb98-41f6-98a8-acbabd732711","id","593e94b0-410e-4b8c-b4c9-aa5d245e7b49","brain-preboot-import-v3r1-sol-0908",["D",1788898772695],"deletedAt","legacyEnvVars","privacy","public","httpPrivacy","description","Preboot external-worker importer V3R1 tests","imageUrl","6be0fc5c-1fef-4bd6-a1e1-67a3f8c0764e","pinnedFileId","pinPreview","pinMigrated","screenshotVersion","likeCount",0,"orgId","01a0715b-703f-741f-ab35-c85020e4a5e0","tursoName","593e94b0410e4b8cb4c9aa5d245e7b49","tursoHostname","593e94b0410e4b8cb4c9aa5d245e7b49-val-town.aws-us-east-2.turso.io","tursoMeasuredAt",["D",1789476648181],"pinned","userPerm","r","valPerm","blobPerm","rw","emailPerm","sqlitePerm","projectPerm","telemetryPerm","user",{"_95":94,"_103":99},"org",{"_95":94,"_96":97,"_98":99,"_18":52,"_100":101,"_102":24},"branch",{"_13":84,"_31":85,"_40":39,"_86":41,"_87":-5,"_88":-5,"_89":-5,"_90":-5,"_91":-5,"_92":42,"_93":94},"isOwned",11,"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",{"_40":41,"_31":42,"_35":162,"_44":-5,"_45":24,"_46":47,"_48":47,"_49":50,"_51":-5,"_18":52,"_53":-5,"_54":24,"_55":-5,"_56":-5,"_57":58,"_59":60,"_61":62,"_63":64,"_65":163,"_67":-5,"_68":69,"_70":69,"_71":72,"_73":72,"_74":72,"_75":69,"_76":69,"_77":164,"_79":165,"_81":166,"_83":24},"tree",[153,154],"files",[153,154],"counts",{"_143":58,"_144":137,"_145":58,"_146":147,"_148":149},"contents",[126,127],"upstreamProject","upstreamBranch","emptyEnvVars","flags",[],"hasHttpFiles","grants","orgs","customDomains",{},{"_40":134,"_31":135,"_29":136,"_129":-5,"_38":39,"_37":137,"_130":138,"_35":139,"_13":58,"_32":140,"_33":141,"_23":24,"_132":-5,"_26":142},{"_40":128,"_31":27,"_29":30,"_129":-5,"_38":39,"_37":14,"_130":24,"_35":131,"_13":58,"_32":20,"_33":34,"_23":24,"_132":-5,"_26":133},"a9e412b8-a516-4c24-9907-b526ba7f0f89","parentId","latest",["D",1788898838101],"label",[27],"63f1462c-aa32-4b5c-8ad1-52c4bf79a348","README.ts","9a64f40a-abc2-11f1-bc5a-1607ee4eb77e",1,true,["D",1788898772742],"script","export const purpose='candidate-only preboot external-worker importer tests';\n",[135],"pulls","branches","forks","envVars",{"_150":58,"_152":58},"connections",{"_150":58,"_151":58},"count","unfilledCount","emptyCount",{"_40":134,"_31":135,"_29":136,"_129":-5,"_38":39,"_37":137,"_130":138,"_35":159,"_13":58,"_32":140,"_33":141,"_23":24,"_132":-5,"_156":160,"_26":161},{"_40":128,"_31":27,"_29":30,"_129":-5,"_38":39,"_37":14,"_130":24,"_35":155,"_13":58,"_32":20,"_33":34,"_23":24,"_132":-5,"_156":157,"_26":158},["D",1788898838101],"children",[],[27],["D",1788898772742],[],[135],["D",1788898772695],["D",1789476648181],{"_95":94,"_103":99},{"_95":94,"_96":97,"_98":99,"_18":52,"_100":101,"_102":24},{"_13":84,"_31":85,"_40":39,"_86":41,"_87":-5,"_88":-5,"_89":-5,"_90":-5,"_91":-5,"_92":42,"_93":94},"ctx",{"_77":-5,"_123":200,"_201":202,"_203":204,"_205":24,"_206":24,"_207":24,"_208":138,"_209":-5,"_210":-7,"_211":-7,"_212":58,"_213":24,"_214":24,"_215":-5,"_216":24,"_217":24,"_218":24,"_219":-5},"ENV",{"_171":172,"_173":174,"_175":85,"_176":177,"_178":179,"_180":181,"_182":183,"_184":185,"_186":187,"_188":189,"_190":191,"_192":193,"_194":195,"_196":197,"_198":199},"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 · v2