[{"_1":2,"_3":-5,"_4":-5},"loaderData",{"_5":6,"_7":8,"_9":10},"actionData","errors","root",{"_227":228,"_229":230},"routes/_app.x.$handle.$name",{"_96":95,"_31":43,"_105":86,"_26":106,"_13":14,"_107":-5,"_11":108,"_109":110,"_111":112,"_113":114,"_115":116,"_20":-5,"_117":-5,"_118":-5,"_119":24,"_120":121,"_122":24,"_123":-5,"_124":-5,"_125":126},"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",10,"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","validator_strong_v3r1.ts","latestPath","fileId","beabb618-abc3-11f1-8c21-1607ee4eb77e","name","fileType","script","content","// PROJECT BRAIN — EXTERNAL SUPERHERO WORKER SLOT VALIDATOR V3\n// Candidate-only. No canonical Brain mutation. No P_real increment.\n// Repairs: exact capsule bytes, trusted task binding, structural trust split,\n// explicit required-field/type schemas, and causal time sanity.\n\nexport const CLASSIFICATION=\"CANDIDATE_NONAUTHORITY_PREBOOT_EVIDENCE\";\nexport const DESIGN_ID=\"EXTERNAL_WORKER_SLOT_STRUCTURAL_TRUST_SPLIT_REQUIRED_SCHEMA_V3R1\";\n\nconst HEX64=/^[0-9a-f]{64}$/;\nconst B64=/^(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}==|[A-Za-z0-9+/]{3}=)?$/;\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\",\"issued_at_ms\",\"lease_expires_at_ms\",\"nonce\",\"result_key\"];\nconst WORKER_KEYS=[\"capsule_bytes_b64\",\"result\"];\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 LEASE_KEYS=[\"task_id\",\"task_payload_sha256\",\"lease_id\",\"state\",\"execution_allowed\",\"owner_agent_id\",\"expires_at_ms\",\"capsule_sha256\"];\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 CTX_KEYS=[\"schema\",\"current_constitution_head_sha256\",\"current_worker_slot_id\",\"current_capability_profile_sha256\",\"lease_snapshot\",\"provider_observation\",\"current_time_ms\",\"accepted_nonces\",\"equivalence_report_sha256\",\"independent_equivalence_pass\",\"duplicate_slot_ambiguity\",\"max_liveness_age_ms\"];\n\nconst reject=reason=>({ok:false,decision:\"REJECT_FAIL_CLOSED\",reason,p_real_increment:0});\nfunction exactKeys(o,e){if(!o||typeof o!==\"object\"||Array.isArray(o))return false;const a=Object.keys(o).sort(),b=[...e].sort();return a.length===b.length&&a.every((x,i)=>x===b[i]);}\nconst sha=x=>typeof x===\"string\"&&HEX64.test(x);\nconst id=x=>typeof x===\"string\"&&x.length>0&&x.length<=512&&!x.includes(\"\\u0000\");\nconst int=x=>Number.isSafeInteger(x)&&x>=0;\nconst bool=x=>x===true||x===false;\nfunction stringArray(x){return Array.isArray(x)&&x.every(id)&&new Set(x).size===x.length;}\nfunction decodeB64(s){if(typeof s!==\"string\"||s.length===0||s.length%4!==0||!B64.test(s))throw new Error(\"CAPSULE_BASE64_INVALID\");if(typeof atob===\"function\"){const bin=atob(s),o=new Uint8Array(bin.length);for(let i=0;ix.toString(16).padStart(2,\"0\")).join(\"\");}\nfunction parse(bytes){let s;try{s=new TextDecoder(\"utf-8\",{fatal:true}).decode(bytes);}catch{throw new Error(\"CAPSULE_UTF8_INVALID\");}let o;try{o=JSON.parse(s);}catch{throw new Error(\"CAPSULE_JSON_INVALID\");}if(!o||typeof o!==\"object\"||Array.isArray(o))throw new Error(\"CAPSULE_JSON_NOT_OBJECT\");return o;}\nfunction validateTrustedShape(t){\n if(!exactKeys(t,CTX_KEYS)||t.schema!==\"BRAIN_EXTERNAL_SUPERHERO_IMPORT_CONTEXT_V3\")return \"TRUSTED_CONTEXT_SCHEMA\";\n if(!exactKeys(t.lease_snapshot,LEASE_KEYS))return \"LEASE_SNAPSHOT_SCHEMA\";\n if(!exactKeys(t.provider_observation,OBS_KEYS))return \"PROVIDER_OBSERVATION_SCHEMA\";\n const l=t.lease_snapshot,o=t.provider_observation;\n if(!sha(t.current_constitution_head_sha256))return \"CONSTITUTION_HEAD_HASH_INVALID\";\n if(!id(t.current_worker_slot_id))return \"CURRENT_WORKER_SLOT_ID_INVALID\";\n if(!sha(t.current_capability_profile_sha256))return \"CAPABILITY_PROFILE_HASH_INVALID\";\n if(!int(t.current_time_ms)||!int(t.max_liveness_age_ms))return \"TRUSTED_TIME_SCHEMA\";\n if(!stringArray(t.accepted_nonces))return \"ACCEPTED_NONCES_SCHEMA\";\n if(!sha(t.equivalence_report_sha256))return \"EQUIVALENCE_REPORT_HASH_INVALID\";\n if(!bool(t.independent_equivalence_pass))return \"INDEPENDENT_EQUIVALENCE_FLAG_INVALID\";\n if(!bool(t.duplicate_slot_ambiguity))return \"DUPLICATE_SLOT_AMBIGUITY_FLAG_INVALID\";\n if(!id(l.task_id))return \"LEASE_TASK_ID_INVALID\";\n if(!sha(l.task_payload_sha256))return \"LEASE_TASK_PAYLOAD_HASH_INVALID\";\n if(!id(l.lease_id))return \"LEASE_ID_INVALID\";\n if(l.state!==\"LEASED\")return \"LEASE_STATE_INVALID\";\n if(!bool(l.execution_allowed))return \"LEASE_EXECUTION_ALLOWED_INVALID\";\n if(!id(l.owner_agent_id))return \"LEASE_OWNER_AGENT_ID_INVALID\";\n if(!int(l.expires_at_ms))return \"LEASE_EXPIRY_INVALID\";\n if(!sha(l.capsule_sha256))return \"LEASE_CAPSULE_HASH_INVALID\";\n if(!sha(o.source_sha256))return \"OBS_SOURCE_HASH_INVALID\";\n if(!id(o.file_id))return \"OBS_FILE_ID_INVALID\";\n if(!int(o.start_ms)||!int(o.end_ms))return \"OBS_TIME_SCHEMA\";\n if(o.provider!==\"Val Town\")return \"PROVIDER_INVALID\";\n if(o.status!==\"ok\")return \"PROVIDER_STATUS_INVALID\";\n if(!id(o.trace_id))return \"TRACE_ID_INVALID\";\n if(!id(o.nonce))return \"OBS_NONCE_INVALID\";\n if(!bool(o.duplicate_trace_for_nonce))return \"DUPLICATE_TRACE_FLAG_INVALID\";\n if(!id(o.result_key))return \"OBS_RESULT_KEY_INVALID\";\n if(!sha(o.stdout_result_artifact_sha256))return \"OBS_RESULT_ARTIFACT_HASH_INVALID\";\n return null;\n}\nfunction validateResultShape(r){\n if(!exactKeys(r,RESULT_KEYS))return \"RESULT_SCHEMA\";\n if(!id(r.worker_slot_id))return \"RESULT_WORKER_SLOT_ID_INVALID\";\n if(!sha(r.worker_source_sha256))return \"RESULT_WORKER_SOURCE_HASH_INVALID\";\n if(!id(r.task_id))return \"RESULT_TASK_ID_INVALID\";\n if(!id(r.lease_id))return \"RESULT_LEASE_ID_INVALID\";\n if(!int(r.completed_at_ms))return \"RESULT_COMPLETED_AT_INVALID\";\n if(!id(r.nonce))return \"RESULT_NONCE_INVALID\";\n if(!sha(r.capsule_sha256))return \"RESULT_CAPSULE_HASH_INVALID\";\n if(!id(r.result_key))return \"RESULT_KEY_INVALID\";\n if(!sha(r.result_artifact_sha256))return \"RESULT_ARTIFACT_HASH_INVALID\";\n if(!sha(r.equivalence_report_sha256))return \"RESULT_EQUIVALENCE_HASH_INVALID\";\n if(!bool(r.canonical_mutation)||!int(r.p_real_increment)||!bool(r.promotion_claimed)||!bool(r.independent_review_claimed))return \"RESULT_AUTHORITY_FIELDS_INVALID\";\n return null;\n}\nfunction validateCapsuleShape(c){\n if(!exactKeys(c,CAPSULE_KEYS))return \"CAPSULE_OBJECT_SCHEMA\";\n if(c.schema!==\"BRAIN_EXTERNAL_SUPERHERO_LEASE_CAPSULE_V1\"||c.classification!==\"CANDIDATE_NONAUTHORITY_EXTERNAL_WORKER_CAPSULE\")return \"CAPSULE_SCHEMA\";\n if(c.participation_mode!==\"LEASED_EXTERNAL_WORKER_SLOT\")return \"PARTICIPATION_MODE\";\n if(!sha(c.constitution_head_sha256))return \"CAPSULE_CONSTITUTION_HASH_INVALID\";\n if(!id(c.worker_slot_id))return \"CAPSULE_WORKER_SLOT_ID_INVALID\";\n if(!sha(c.worker_source_sha256))return \"CAPSULE_WORKER_SOURCE_HASH_INVALID\";\n if(!id(c.worker_file_id))return \"CAPSULE_WORKER_FILE_ID_INVALID\";\n if(!sha(c.capability_profile_sha256))return \"CAPSULE_CAPABILITY_PROFILE_HASH_INVALID\";\n if(!id(c.task_id))return \"CAPSULE_TASK_ID_INVALID\";\n if(!sha(c.task_payload_sha256))return \"CAPSULE_TASK_PAYLOAD_HASH_INVALID\";\n if(!id(c.lease_id))return \"CAPSULE_LEASE_ID_INVALID\";\n if(!id(c.dispatcher_agent_id))return \"CAPSULE_DISPATCHER_ID_INVALID\";\n if(!int(c.issued_at_ms)||!int(c.lease_expires_at_ms))return \"CAPSULE_TIME_SCHEMA\";\n if(!id(c.nonce))return \"CAPSULE_NONCE_INVALID\";\n if(!id(c.result_key))return \"CAPSULE_RESULT_KEY_INVALID\";\n return null;\n}\n\nexport async function validateExternalWorkerExecution(untrusted,trusted){\n if(!exactKeys(untrusted,WORKER_KEYS))return reject(\"UNTRUSTED_BUNDLE_SCHEMA\");\n const rr=validateResultShape(untrusted.result);if(rr)return reject(rr);\n const tr=validateTrustedShape(trusted);if(tr)return reject(tr);\n const r=untrusted.result,l=trusted.lease_snapshot,o=trusted.provider_observation;\n if(trusted.duplicate_slot_ambiguity===true)return reject(\"DUPLICATE_SLOT_AMBIGUITY\");\n let bytes;try{bytes=decodeB64(untrusted.capsule_bytes_b64);}catch(e){return reject(e?.message||\"CAPSULE_BASE64_INVALID\");}\n let computed;try{computed=await hash(bytes);}catch{return reject(\"CAPSULE_HASH_COMPUTE_FAILED\");}\n if(computed!==l.capsule_sha256||computed!==r.capsule_sha256)return reject(\"CAPSULE_HASH_MISMATCH\");\n let c;try{c=parse(bytes);}catch(e){return reject(e?.message||\"CAPSULE_PARSE_FAILED\");}\n const cr=validateCapsuleShape(c);if(cr)return reject(cr);\n if(c.constitution_head_sha256!==trusted.current_constitution_head_sha256)return reject(\"STALE_CONSTITUTION_HEAD\");\n if(c.worker_slot_id!==r.worker_slot_id||c.worker_slot_id!==trusted.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!==trusted.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.task_payload_sha256!==l.task_payload_sha256)return reject(\"TASK_PAYLOAD_HASH_MISMATCH\");\n if(c.lease_id!==r.lease_id||c.lease_id!==l.lease_id)return reject(\"LEASE_ID_MISMATCH\");\n if(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 if(l.expires_at_ms!==c.lease_expires_at_ms)return reject(\"LEASE_EXPIRY_MISMATCH\");\n if(!(c.issued_at_ms<=o.start_ms&&o.start_ms<=o.end_ms&&o.end_ms<=c.lease_expires_at_ms))return reject(\"TRACE_OUTSIDE_LEASE_WINDOW\");\n if(o.end_ms>trusted.current_time_ms)return reject(\"FUTURE_PROVIDER_OBSERVATION\");\n if(!(r.completed_at_ms>=o.end_ms&&r.completed_at_ms<=c.lease_expires_at_ms))return reject(\"RESULT_TIME_OUTSIDE_LEASE\");\n if(r.completed_at_ms>trusted.current_time_ms)return reject(\"RESULT_COMPLETED_IN_FUTURE\");\n if(trusted.current_time_ms>c.lease_expires_at_ms)return reject(\"LEASE_EXPIRED_NOW\");\n if(o.nonce!==c.nonce||r.nonce!==c.nonce)return reject(\"NONCE_MISMATCH\");\n if(trusted.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!==trusted.equivalence_report_sha256)return reject(\"EQUIVALENCE_REPORT_HASH_MISMATCH\");\n if(r.canonical_mutation!==false||r.p_real_increment!==0||r.promotion_claimed!==false||r.independent_review_claimed!==false)return reject(\"WORKER_SELF_PROMOTION_FORBIDDEN\");\n if(trusted.current_time_ms-o.end_ms>trusted.max_liveness_age_ms)return reject(\"STALE_LIVENESS\");\n return {ok:true,decision:trusted.independent_equivalence_pass?\"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:computed,task_payload_sha256:c.task_payload_sha256,requires_atomic_nonce_consumption:true,requires_separate_promotion:true};\n}\n","createdAt",["D",1788899263088],"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",{"_96":95,"_104":100},"org",{"_96":95,"_97":98,"_99":100,"_18":53,"_101":102,"_103":24},"branch",{"_13":85,"_31":86,"_41":40,"_87":42,"_88":-5,"_89":-5,"_90":-5,"_91":-5,"_92":-5,"_93":43,"_94":95},"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",{"_41":42,"_31":43,"_36":222,"_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":223,"_68":-5,"_69":70,"_71":70,"_72":73,"_74":73,"_75":73,"_76":70,"_77":70,"_78":224,"_80":225,"_82":226,"_84":24},"tree",[193,194,195,196,197,198,199],"files",[193,194,195,196,197,198,199],"counts",{"_183":59,"_184":142,"_185":59,"_186":187,"_188":189},"contents",[127,128,129,130,131,132,133],"upstreamProject","upstreamBranch","emptyEnvVars","flags",[],"hasHttpFiles","grants","orgs","customDomains",{},{"_41":177,"_31":178,"_29":179,"_137":-5,"_39":40,"_38":142,"_139":140,"_36":180,"_13":59,"_32":33,"_34":181,"_23":24,"_144":-5,"_26":182},{"_41":170,"_31":171,"_29":172,"_137":-5,"_39":40,"_38":173,"_139":140,"_36":174,"_13":59,"_32":33,"_34":175,"_23":24,"_144":-5,"_26":176},{"_41":163,"_31":164,"_29":165,"_137":-5,"_39":40,"_38":166,"_139":140,"_36":167,"_13":59,"_32":33,"_34":168,"_23":24,"_144":-5,"_26":169},{"_41":156,"_31":157,"_29":158,"_137":-5,"_39":40,"_38":159,"_139":140,"_36":160,"_13":142,"_32":33,"_34":161,"_23":24,"_144":-5,"_26":162},{"_41":149,"_31":150,"_29":151,"_137":-5,"_39":40,"_38":152,"_139":140,"_36":153,"_13":142,"_32":33,"_34":154,"_23":24,"_144":-5,"_26":155},{"_41":146,"_31":27,"_29":30,"_137":-5,"_39":40,"_38":14,"_139":140,"_36":147,"_13":59,"_32":33,"_34":35,"_23":24,"_144":-5,"_26":148},{"_41":134,"_31":135,"_29":136,"_137":-5,"_39":40,"_38":138,"_139":140,"_36":141,"_13":142,"_32":33,"_34":143,"_23":24,"_144":-5,"_26":145},"23dfcdd7-834a-41f0-b6b3-727cc7a4d5b3","validator_v3.mjs","c15af8b6-abc2-11f1-89bf-1607ee4eb77e","parentId",5,"latest",true,["D",1788898865029],1,"// 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","label",[135],"fd85226b-73c7-45f1-ac68-e0c93e08f42c",["D",1788899263088],[27],"13707c1d-4398-41e0-a2ea-288ccab35ed4","test_v3.mjs","c24dfdcc-abc2-11f1-a637-1607ee4eb77e",6,["D",1788898866446],"import {validateExternalWorkerExecution} from './validator_v3.mjs';\nconst H='a'.repeat(64),H2='b'.repeat(64),H3='c'.repeat(64),H4='d'.repeat(64),H5='e'.repeat(64),enc=new TextEncoder();\nasync function sha(s){const d=await crypto.subtle.digest('SHA-256',enc.encode(s));return [...new Uint8Array(d)].map(b=>b.toString(16).padStart(2,'0')).join('')}\nconst baseCapsule={schema:'BRAIN_EXTERNAL_SUPERHERO_LEASE_CAPSULE_V1',classification:'CANDIDATE_NONAUTHORITY_EXTERNAL_WORKER_CAPSULE',participation_mode:'LEASED_EXTERNAL_WORKER_SLOT',constitution_head_sha256:H,worker_slot_id:'SLOT',worker_source_sha256:H2,worker_file_id:'FILE',capability_profile_sha256:H3,task_id:'TASK',task_payload_sha256:H4,lease_id:'LEASE',dispatcher_agent_id:'DISP',lease_expires_at_ms:5000,issued_at_ms:1000,nonce:'N1',result_key:'RK'};\nasync function fixture(){const cb=JSON.stringify(baseCapsule),ch=await sha(cb);return {bundle:{capsule_bytes:cb,result:{worker_slot_id:'SLOT',worker_source_sha256:H2,task_id:'TASK',lease_id:'LEASE',completed_at_ms:3000,nonce:'N1',capsule_sha256:ch,result_key:'RK',result_artifact_sha256:H5,equivalence_report_sha256:H3,canonical_mutation:false,p_real_increment:0,promotion_claimed:false,independent_review_claimed:false},observation:{source_sha256:H2,file_id:'FILE',start_ms:2000,end_ms:2500,provider:'Val Town',status:'ok',trace_id:'TRACE',nonce:'N1',duplicate_trace_for_nonce:false,result_key:'RK',stdout_result_artifact_sha256:H5},lease:{task_id:'TASK',lease_id:'LEASE',state:'LEASED',execution_allowed:true,owner_agent_id:'DISP',expires_at_ms:5000}},ctx:{trusted_provider_observation:true,trusted_lease_snapshot:true,trusted_current_head:true,trusted_capsule_hash:true,trusted_task_payload_hash:true,duplicate_slot_ambiguity:false,current_constitution_head_sha256:H,current_worker_slot_id:'SLOT',current_capability_profile_sha256:H3,current_task_payload_sha256:H4,current_time_ms:3000,max_liveness_age_ms:1000,accepted_nonces:[],capsule_sha256:ch,equivalence_report_sha256:H3,trusted_independent_equivalence_pass:true}}}\nconst tests=[];async function run(name,mut,reason=null,decision='REJECT_FAIL_CLOSED'){const f=await fixture();await mut(f);const out=await validateExternalWorkerExecution(f.bundle,f.ctx);const pass=out.decision===decision&&(reason===null||out.reason===reason);tests.push({name,pass,decision:out.decision,reason:out.reason,expected_decision:decision,expected_reason:reason});}\nawait run('baseline',async()=>{},null,'ELIGIBLE_FOR_FIRST_CLASS_ADMISSION_REVIEW');\nawait run('equivalence_false',async f=>f.ctx.trusted_independent_equivalence_pass=false,null,'ELIGIBLE_FOR_CANONICAL_IMPORT_ONLY_NOT_P_REAL');\nawait run('old_hash_task_payload_mutation',async f=>{let c=JSON.parse(f.bundle.capsule_bytes);c.task_payload_sha256='f'.repeat(64);f.bundle.capsule_bytes=JSON.stringify(c)},'CAPSULE_HASH_MISMATCH');\nawait run('old_hash_unused_field_mutation',async f=>{let c=JSON.parse(f.bundle.capsule_bytes);c.x='y';f.bundle.capsule_bytes=JSON.stringify(c)},'CAPSULE_HASH_MISMATCH');\nawait run('trusted_task_payload_substitution',async f=>f.ctx.current_task_payload_sha256='f'.repeat(64),'TASK_PAYLOAD_HASH_MISMATCH');\nconst capRequired=['worker_slot_id','worker_source_sha256','worker_file_id','capability_profile_sha256','task_id','task_payload_sha256','lease_id','dispatcher_agent_id','nonce','result_key'];\nfor(const field of capRequired)await run('omit_capsule_'+field,async f=>{let c=JSON.parse(f.bundle.capsule_bytes);delete c[field];f.bundle.capsule_bytes=JSON.stringify(c);const hh=await sha(f.bundle.capsule_bytes);f.ctx.capsule_sha256=hh;f.bundle.result.capsule_sha256=hh},'CAPSULE_SHAPE_INVALID');\nawait run('minimal_identityless_capsule',async f=>{let c=JSON.parse(f.bundle.capsule_bytes);for(const q of capRequired)delete c[q];f.bundle.capsule_bytes=JSON.stringify(c);const hh=await sha(f.bundle.capsule_bytes);f.ctx.capsule_sha256=hh;f.bundle.result.capsule_sha256=hh},'CAPSULE_SHAPE_INVALID');\nconst resultRequired=['worker_slot_id','worker_source_sha256','task_id','lease_id','completed_at_ms','nonce','result_key','result_artifact_sha256','equivalence_report_sha256'];\nfor(const field of resultRequired)await run('omit_result_'+field,async f=>{delete f.bundle.result[field]},'RESULT_SHAPE_INVALID');\nconst obsRequired=['source_sha256','file_id','start_ms','end_ms','provider','status','trace_id','nonce','duplicate_trace_for_nonce','result_key','stdout_result_artifact_sha256'];\nfor(const field of obsRequired)await run('omit_observation_'+field,async f=>{delete f.bundle.observation[field]},'OBSERVATION_SHAPE_INVALID');\nconst leaseRequired=['task_id','lease_id','state','execution_allowed','owner_agent_id','expires_at_ms'];\nfor(const field of leaseRequired)await run('omit_lease_'+field,async f=>{delete f.bundle.lease[field]},'LEASE_SHAPE_INVALID');\nconst ctxRequired=['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'];\nfor(const field of ctxRequired)await run('omit_ctx_'+field,async f=>{delete f.ctx[field]},field==='capsule_sha256'?'CONTEXT_REQUIRED_HASH_INVALID':'TRUSTED_CONTEXT_SHAPE_INVALID');\nawait run('empty_worker_slot',async f=>{let c=JSON.parse(f.bundle.capsule_bytes);c.worker_slot_id='';f.bundle.capsule_bytes=JSON.stringify(c);const hh=await sha(f.bundle.capsule_bytes);f.ctx.capsule_sha256=hh;f.bundle.result.capsule_sha256=hh},'CAPSULE_REQUIRED_STRING_INVALID');\nawait run('bad_source_hash',async f=>{let c=JSON.parse(f.bundle.capsule_bytes);c.worker_source_sha256='x';f.bundle.capsule_bytes=JSON.stringify(c);const hh=await sha(f.bundle.capsule_bytes);f.ctx.capsule_sha256=hh;f.bundle.result.capsule_sha256=hh},'CAPSULE_REQUIRED_HASH_INVALID');\nawait run('bad_result_hash',async f=>{f.bundle.result.result_artifact_sha256='x'},'RESULT_REQUIRED_HASH_INVALID');\nawait run('bad_observation_hash',async f=>{f.bundle.observation.source_sha256='x'},'OBSERVATION_REQUIRED_HASH_INVALID');\nawait run('bad_context_hash',async f=>{f.ctx.current_capability_profile_sha256='x'},'CONTEXT_REQUIRED_HASH_INVALID');\nawait run('bad_ctx_nonce_set',async f=>{f.ctx.accepted_nonces=[null]},'CONTEXT_NONCE_SET_INVALID');\nawait run('untrusted_provider',async f=>f.ctx.trusted_provider_observation=false,'PROVIDER_OBSERVATION_NOT_TRUSTED_CONTEXT');\nawait run('duplicate_slot',async f=>f.ctx.duplicate_slot_ambiguity=true,'DUPLICATE_SLOT_AMBIGUITY');\nawait run('source_mismatch',async f=>f.bundle.observation.source_sha256='f'.repeat(64),'SOURCE_BINDING_MISMATCH');\nawait run('lease_owner_mismatch',async f=>f.bundle.lease.owner_agent_id='OTHER','DISPATCHER_NOT_LEASE_OWNER');\nawait run('nonce_replay',async f=>f.ctx.accepted_nonces=['N1'],'NONCE_REPLAY');\nawait run('stale_liveness',async f=>f.ctx.current_time_ms=4001,'STALE_LIVENESS');\nawait run('self_promotion',async f=>f.bundle.result.p_real_increment=1,'WORKER_SELF_PROMOTION_FORBIDDEN');\nconst passed=tests.filter(x=>x.pass).length;console.log(JSON.stringify({schema:'BRAIN_EXTERNAL_SUPERHERO_WORKER_SLOT_VALIDATOR_TEST_REPORT_V3',classification:'CANDIDATE_NONAUTHORITY_PREBOOT_EVIDENCE',total:tests.length,passed,failed:tests.length-passed,verdict:passed===tests.length?`PASS_${passed}_OF_${tests.length}`:'FAIL',tests,canonical_mutation:false,p_real_increment:0,independent_review_claimed:false,human_authority_approval:false,direct_sprites_calls:0},null,2));if(passed!==tests.length)process.exit(1);\n",[150],"c222ba40-7827-40a0-ba04-c38276a0d7a2","renewal_v3r1_tests.mjs","c336ad42-abc2-11f1-99c7-1607ee4eb77e",7,["D",1788898869628],"import {validateExternalWorkerExecution} from './validator_v3.mjs';\nconst H='a'.repeat(64),H2='b'.repeat(64),H3='c'.repeat(64),H4='d'.repeat(64),H5='e'.repeat(64),enc=new TextEncoder();\nasync function sha(s){const d=await crypto.subtle.digest('SHA-256',enc.encode(s));return [...new Uint8Array(d)].map(b=>b.toString(16).padStart(2,'0')).join('')}\nasync function fixture({capsuleExpiry=5000,currentExpiry=5000,start=2000,end=2500,completed=3000,currentTime=3000,maxAge=5000}={}){\n const c={schema:'BRAIN_EXTERNAL_SUPERHERO_LEASE_CAPSULE_V1',classification:'CANDIDATE_NONAUTHORITY_EXTERNAL_WORKER_CAPSULE',participation_mode:'LEASED_EXTERNAL_WORKER_SLOT',constitution_head_sha256:H,worker_slot_id:'SLOT',worker_source_sha256:H2,worker_file_id:'FILE',capability_profile_sha256:H3,task_id:'TASK',task_payload_sha256:H4,lease_id:'LEASE',dispatcher_agent_id:'DISP',lease_expires_at_ms:capsuleExpiry,issued_at_ms:1000,nonce:'N1',result_key:'RK'};\n const cb=JSON.stringify(c),ch=await sha(cb);\n return {bundle:{capsule_bytes:cb,result:{worker_slot_id:'SLOT',worker_source_sha256:H2,task_id:'TASK',lease_id:'LEASE',completed_at_ms:completed,nonce:'N1',capsule_sha256:ch,result_key:'RK',result_artifact_sha256:H5,equivalence_report_sha256:H3,canonical_mutation:false,p_real_increment:0,promotion_claimed:false,independent_review_claimed:false},observation:{source_sha256:H2,file_id:'FILE',start_ms:start,end_ms:end,provider:'Val Town',status:'ok',trace_id:'TRACE',nonce:'N1',duplicate_trace_for_nonce:false,result_key:'RK',stdout_result_artifact_sha256:H5},lease:{task_id:'TASK',lease_id:'LEASE',state:'LEASED',execution_allowed:true,owner_agent_id:'DISP',expires_at_ms:currentExpiry}},ctx:{trusted_provider_observation:true,trusted_lease_snapshot:true,trusted_current_head:true,trusted_capsule_hash:true,trusted_task_payload_hash:true,duplicate_slot_ambiguity:false,current_constitution_head_sha256:H,current_worker_slot_id:'SLOT',current_capability_profile_sha256:H3,current_task_payload_sha256:H4,current_time_ms:currentTime,max_liveness_age_ms:maxAge,accepted_nonces:[],capsule_sha256:ch,equivalence_report_sha256:H3,trusted_independent_equivalence_pass:true}};\n}\nconst cases=[];\nasync function C(name,args,decision,reason=null){const f=await fixture(args);const o=await validateExternalWorkerExecution(f.bundle,f.ctx);cases.push({name,pass:o.decision===decision&&(reason===null||o.reason===reason),actual:{decision:o.decision,reason:o.reason},expected:{decision,reason}})}\nawait C('baseline',{},{},null).catch(()=>{});\ncases.pop();\nawait C('baseline',{},'ELIGIBLE_FOR_FIRST_CLASS_ADMISSION_REVIEW');\nawait C('renewal_extension_preserves_old_completed_capsule',{currentExpiry:7000,currentTime:5500,maxAge:4000},'ELIGIBLE_FOR_FIRST_CLASS_ADMISSION_REVIEW');\nawait C('old_capsule_cannot_borrow_extended_authority',{currentExpiry:7000,start:5200,end:5500,completed:5600,currentTime:5700,maxAge:1000},'REJECT_FAIL_CLOSED','TRACE_OUTSIDE_LEASE_WINDOW');\nawait C('reissued_capsule_can_use_extended_window',{capsuleExpiry:7000,currentExpiry:7000,start:5200,end:5500,completed:5600,currentTime:5700,maxAge:1000},'ELIGIBLE_FOR_FIRST_CLASS_ADMISSION_REVIEW');\nawait C('shortened_current_lease_caps_action_window',{capsuleExpiry:5000,currentExpiry:4000,start:3500,end:4500,completed:4500,currentTime:3900,maxAge:5000},'REJECT_FAIL_CLOSED','TRACE_OUTSIDE_LEASE_WINDOW');\nawait C('current_lease_expired_even_if_capsule_was_longer',{capsuleExpiry:7000,currentExpiry:4000,start:2000,end:2500,completed:3000,currentTime:4100,maxAge:5000},'REJECT_FAIL_CLOSED','LEASE_EXPIRED_NOW');\nconst passed=cases.filter(x=>x.pass).length;console.log(JSON.stringify({schema:'EXTERNAL_SUPERHERO_WORKER_SLOT_VALIDATOR_V3R1_RENEWAL_TEST',classification:'CANDIDATE_NONAUTHORITY_PREBOOT_EVIDENCE',total:cases.length,passed,failed:cases.length-passed,verdict:passed===cases.length?'PASS_'+passed+'_OF_'+cases.length:'FAIL',cases,canonical_mutation:false,p_real_increment:0,human_authority_approval:false,direct_sprites_calls:0},null,2));if(passed!==cases.length)process.exit(1);\n",[157],"36a7d237-ded8-4640-bc3a-7332151fc283","oracle_differential_v3r1.ts","235c1df6-abc3-11f1-b97a-1607ee4eb77e",9,["D",1788899002479],"import {validateExternalWorkerExecution} from './validator_v3.mjs';\nconst H='a'.repeat(64),H2='b'.repeat(64),H3='c'.repeat(64),H4='d'.repeat(64),H5='e'.repeat(64),enc=new TextEncoder();\nasync function sha(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('')}\nasync function build(capExp:number,curExp:number,start:number,end:number,completed:number,curTime:number,maxAge:number){\n const c={schema:'BRAIN_EXTERNAL_SUPERHERO_LEASE_CAPSULE_V1',classification:'CANDIDATE_NONAUTHORITY_EXTERNAL_WORKER_CAPSULE',participation_mode:'LEASED_EXTERNAL_WORKER_SLOT',constitution_head_sha256:H,worker_slot_id:'SLOT',worker_source_sha256:H2,worker_file_id:'FILE',capability_profile_sha256:H3,task_id:'TASK',task_payload_sha256:H4,lease_id:'LEASE',dispatcher_agent_id:'DISP',lease_expires_at_ms:capExp,issued_at_ms:1000,nonce:'N1',result_key:'RK'};\n const cb=JSON.stringify(c),ch=await sha(cb);\n return {bundle:{capsule_bytes:cb,result:{worker_slot_id:'SLOT',worker_source_sha256:H2,task_id:'TASK',lease_id:'LEASE',completed_at_ms:completed,nonce:'N1',capsule_sha256:ch,result_key:'RK',result_artifact_sha256:H5,equivalence_report_sha256:H3,canonical_mutation:false,p_real_increment:0,promotion_claimed:false,independent_review_claimed:false},observation:{source_sha256:H2,file_id:'FILE',start_ms:start,end_ms:end,provider:'Val Town',status:'ok',trace_id:'TRACE',nonce:'N1',duplicate_trace_for_nonce:false,result_key:'RK',stdout_result_artifact_sha256:H5},lease:{task_id:'TASK',lease_id:'LEASE',state:'LEASED',execution_allowed:true,owner_agent_id:'DISP',expires_at_ms:curExp}},ctx:{trusted_provider_observation:true,trusted_lease_snapshot:true,trusted_current_head:true,trusted_capsule_hash:true,trusted_task_payload_hash:true,duplicate_slot_ambiguity:false,current_constitution_head_sha256:H,current_worker_slot_id:'SLOT',current_capability_profile_sha256:H3,current_task_payload_sha256:H4,current_time_ms:curTime,max_liveness_age_ms:maxAge,accepted_nonces:[],capsule_sha256:ch,equivalence_report_sha256:H3,trusted_independent_equivalence_pass:true}};\n}\nfunction oracle(capExp:number,curExp:number,start:number,end:number,completed:number,curTime:number,maxAge:number){\n const eff=Math.min(capExp,curExp);\n return 1000<=start&&start<=end&&end<=eff&&completed>=start&&completed<=eff&&curTime<=curExp&&(curTime-end)<=maxAge;\n}\nconst mismatches:any[]=[];let total=0,expectedAccept=0,actualAccept=0;\nfor(const cap of [2500,4000,5000,7000])for(const cur of [2500,4000,5000,7000])for(const start of [900,1200,2200,4200,6200])for(const span of [-100,100,900])for(const compDelta of [-200,100,1200])for(const nowDelta of [100,1500]){\n const end=start+span,completed=end+compDelta,curTime=end+nowDelta,maxAge=1000;\n const f=await build(cap,cur,start,end,completed,curTime,maxAge),out=await validateExternalWorkerExecution(f.bundle,f.ctx);\n const exp=oracle(cap,cur,start,end,completed,curTime,maxAge),act=out.ok===true;\n total++;if(exp)expectedAccept++;if(act)actualAccept++;\n if(exp!==act&&mismatches.length<30)mismatches.push({cap,cur,start,end,completed,curTime,maxAge,expected_accept:exp,actual:{ok:out.ok,decision:out.decision,reason:out.reason}});\n}\nconsole.log(JSON.stringify({schema:'V3R1_INDEPENDENT_ACCEPTANCE_ORACLE_DIFFERENTIAL',classification:'CANDIDATE_NONAUTHORITY_PREBOOT_EVIDENCE',total,expected_accept:expectedAccept,actual_accept:actualAccept,mismatch_count:mismatches.length,verdict:mismatches.length?'FAIL':'PASS_'+total+'_CASES',mismatches,oracle_statement:'Acceptance iff external action/result timing lies inside min(issued capsule expiry,current canonical lease expiry), current canonical lease is unexpired, and liveness age is bounded. The oracle does not mirror validator rejection-reason precedence.',canonical_mutation:false,p_real_increment:0,human_authority_approval:false,direct_sprites_calls:0},null,2));if(mismatches.length)Deno.exit(1);\n",[164],"750faa87-1465-477e-8606-11306082ec1f","importer_integration_v3r1.ts","06a0a1f0-abc3-11f1-b34b-1607ee4eb77e",8,["D",1788898954139],"import {validateExternalWorkerExecution} from './validator_v3.mjs';\n\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(b=>b.toString(16).padStart(2,'0')).join('')}\nconst H='a'.repeat(64),H2='b'.repeat(64),H3='c'.repeat(64),H4='d'.repeat(64);\nconst DOMAIN='BRAIN_EXTERNAL_LEASE_ATTEMPT_V1';\nasync function leaseId(t:any){return await sha([DOMAIN,t.id,t.workstream,t.lease_owner,String(t.lease_generation)].join('\\0'))}\nfunction clone(x:T):T{return structuredClone(x)}\nfunction base(){return{generation:100,task:{id:'TASK',workstream:'global',state:'LEASED',lease_owner:'DISP',lease_generation:99,lease_expires_at_ms:5000,task_payload_sha256:H4},artifacts:new Map(),events:[] as any[]}}\nclass K{ s:any=base(); lock=Promise.resolve(); snapshot(){return{generation:this.s.generation,task:clone(this.s.task),artifacts:[...this.s.artifacts.entries()],events:clone(this.s.events)}} restore(x:any){this.s={generation:x.generation,task:clone(x.task),artifacts:new Map(x.artifacts),events:clone(x.events)}} async tx(fn:(s:any)=>Promise){let rel:any;const p=this.lock;this.lock=new Promise(r=>rel=r);await p;const before=this.snapshot();try{const o=await fn(this.s);rel();return o}catch(e){this.restore(before);rel();throw e}}}\nasync function issue(t:any,{artifact='RESULT',capsuleExpiry=t.lease_expires_at_ms,start=2000,end=2500,completed=3000,nonce='N1'}:any={}){\n const lid=await leaseId(t),artifact_sha256=await sha(artifact);\n const c={schema:'BRAIN_EXTERNAL_SUPERHERO_LEASE_CAPSULE_V1',classification:'CANDIDATE_NONAUTHORITY_EXTERNAL_WORKER_CAPSULE',participation_mode:'LEASED_EXTERNAL_WORKER_SLOT',constitution_head_sha256:H,worker_slot_id:'SLOT',worker_source_sha256:H2,worker_file_id:'FILE',capability_profile_sha256:H3,task_id:t.id,task_payload_sha256:t.task_payload_sha256,lease_id:lid,dispatcher_agent_id:t.lease_owner,lease_expires_at_ms:capsuleExpiry,issued_at_ms:1000,nonce,result_key:'RK'};\n const cb=JSON.stringify(c),ch=await sha(cb);\n return{capsule_bytes:cb,artifact,artifact_sha256,result:{worker_slot_id:'SLOT',worker_source_sha256:H2,task_id:t.id,lease_id:lid,completed_at_ms:completed,nonce,capsule_sha256:ch,result_key:'RK',result_artifact_sha256:artifact_sha256,equivalence_report_sha256:H3,canonical_mutation:false,p_real_increment:0,promotion_claimed:false,independent_review_claimed:false},observation:{source_sha256:H2,file_id:'FILE',start_ms:start,end_ms:end,provider:'Val Town',status:'ok',trace_id:'TRACE',nonce,duplicate_trace_for_nonce:false,result_key:'RK',stdout_result_artifact_sha256:artifact_sha256}};\n}\nasync function imp(k:K,req:any,now=3000,opts:any={}){\n return await k.tx(async s=>{\n const t=s.task;\n if(t.state!=='LEASED')return{ok:false,reason:'TASK_NOT_LEASED'};\n if(t.lease_owner!==req.dispatcher_agent_id)return{ok:false,reason:'LEASE_OWNER_MISMATCH'};\n if(t.lease_generation!==req.expected_lease_generation)return{ok:false,reason:'STALE_LEASE_GENERATION'};\n if(now>t.lease_expires_at_ms)return{ok:false,reason:'LEASE_EXPIRED'};\n if(req.task_id!==t.id||req.workstream!==t.workstream)return{ok:false,reason:'TASK_BINDING_MISMATCH'};\n const lid=await leaseId(t);\n const vb={capsule_bytes:req.bundle.capsule_bytes,result:req.bundle.result,observation:req.bundle.observation,lease:{task_id:t.id,lease_id:lid,state:'LEASED',execution_allowed:true,owner_agent_id:t.lease_owner,expires_at_ms:t.lease_expires_at_ms}};\n const ch=await sha(req.bundle.capsule_bytes);\n const ctx={trusted_provider_observation:true,trusted_lease_snapshot:true,trusted_current_head:true,trusted_capsule_hash:true,trusted_task_payload_hash:true,duplicate_slot_ambiguity:false,current_constitution_head_sha256:H,current_worker_slot_id:'SLOT',current_capability_profile_sha256:H3,current_task_payload_sha256:t.task_payload_sha256,current_time_ms:now,max_liveness_age_ms:5000,accepted_nonces:[],capsule_sha256:ch,equivalence_report_sha256:H3,trusted_independent_equivalence_pass:false};\n if(await sha(req.bundle.artifact)!==req.bundle.artifact_sha256)return{ok:false,reason:'ARTIFACT_BYTES_SHA_MISMATCH'};\n if(req.bundle.artifact_sha256!==req.bundle.result.result_artifact_sha256||req.bundle.artifact_sha256!==req.bundle.observation.stdout_result_artifact_sha256)return{ok:false,reason:'ARTIFACT_DECLARATION_MISMATCH'};\n const v=await validateExternalWorkerExecution(vb,ctx);\n if(!v.ok)return{ok:false,reason:'VALIDATOR_REJECT:'+v.reason};\n if(v.decision!=='ELIGIBLE_FOR_CANONICAL_IMPORT_ONLY_NOT_P_REAL')return{ok:false,reason:'UNEXPECTED_VALIDATOR_DECISION'};\n if(opts.crashBefore)throw new Error('CRASH_BEFORE');\n s.artifacts.set(req.bundle.artifact_sha256,{task_id:t.id,lease_id:lid});\n s.events.push({type:'EXTERNAL_WORKER_CANDIDATE_IMPORTED',task_id:t.id,lease_id:lid,artifact_sha256:req.bundle.artifact_sha256,p_real_eligible:false});\n s.events.push({type:'TASK_RESULT_COMMITTED',task_id:t.id,lease_id:lid,external_artifact_sha256:req.bundle.artifact_sha256,classification:'CANDIDATE_NONAUTHORITY'});\n t.state='COMPLETE';t.lease_owner=null;t.lease_generation=null;t.lease_expires_at_ms=null;s.generation++;\n if(opts.crashAfter)throw new Error('CRASH_AFTER_EFFECTS');\n return{ok:true,generation:s.generation,lease_id:lid,p_real_increment:0};\n })\n}\nfunction req(t:any,b:any){return{task_id:t.id,workstream:t.workstream,dispatcher_agent_id:t.lease_owner,expected_lease_generation:t.lease_generation,bundle:b}}\nconst tests:any[]=[];async function T(name:string,fn:()=>Promise){try{await fn();tests.push({name,pass:true})}catch(e){tests.push({name,pass:false,error:String((e as any)?.stack||e)})}}\nfunction zero(k:K,g=100){if(k.s.generation!==g||k.s.events.length||k.s.artifacts.size||k.s.task.state!=='LEASED')throw new Error('NONZERO_EFFECTS')}\nawait T('baseline_candidate_import',async()=>{const k=new K(),b=await issue(k.s.task);const r=await imp(k,req(k.s.task,b));if(!r.ok||r.p_real_increment!==0)throw r});\nawait T('caller_validator_ok_ignored',async()=>{const k=new K(),b=await issue(k.s.task);b.result.lease_id='FORGED';const r=await imp(k,{...req(k.s.task,b),validator_ok:true});if(!String(r.reason).includes('LEASE_ID_MISMATCH'))throw r;zero(k)});\nawait T('caller_receipt_ignored',async()=>{const k=new K(),b=await issue(k.s.task);b.observation.status='evil';const r=await imp(k,{...req(k.s.task,b),validator_receipt:{ok:true}});if(!String(r.reason).includes('PROVIDER_TRACE_INVALID'))throw r;zero(k)});\nawait T('same_result_replay_once',async()=>{const k=new K(),b=await issue(k.s.task),q=req(k.s.task,b);if(!(await imp(k,q)).ok)throw new Error('first');const n=k.s.events.length;const r=await imp(k,q);if(r.reason!=='TASK_NOT_LEASED'||k.s.events.length!==n)throw r});\nawait T('concurrent_duplicate_once',async()=>{const k=new K(),b=await issue(k.s.task),q=req(k.s.task,b),rs=await Promise.all([imp(k,q),imp(k,q)]);if(rs.filter(x=>x.ok).length!==1||k.s.events.filter((x:any)=>x.type==='TASK_RESULT_COMMITTED').length!==1)throw rs});\nawait T('old_valid_bundle_fresh_envelope_rejected',async()=>{const k=new K(),old=await issue(k.s.task);k.s.generation=110;k.s.task.lease_generation=110;k.s.task.lease_expires_at_ms=7000;const r=await imp(k,req(k.s.task,old),3200);if(!String(r.reason).includes('LEASE_ID_MISMATCH'))throw r;zero(k,110)});\nawait T('edited_old_capsule_hash_rejected',async()=>{const k=new K(),old=await issue(k.s.task);k.s.generation=110;k.s.task.lease_generation=110;k.s.task.lease_expires_at_ms=7000;const c=JSON.parse(old.capsule_bytes);c.lease_id=await leaseId(k.s.task);c.lease_expires_at_ms=7000;old.capsule_bytes=JSON.stringify(c);const r=await imp(k,req(k.s.task,old),3200);if(!String(r.reason).includes('RESULT_CAPSULE_HASH_MISMATCH'))throw r;zero(k,110)});\nawait T('renewal_extension_old_completed_capsule_valid',async()=>{const k=new K(),old=await issue(k.s.task);k.s.task.lease_expires_at_ms=7000;const r=await imp(k,req(k.s.task,old),5500);if(!r.ok)throw r});\nawait T('old_capsule_cannot_borrow_renewal',async()=>{const k=new K(),old=await issue(k.s.task,{start:5200,end:5500,completed:5600});k.s.task.lease_expires_at_ms=7000;const r=await imp(k,req(k.s.task,old),5700);if(!String(r.reason).includes('TRACE_OUTSIDE_LEASE_WINDOW'))throw r;zero(k)});\nawait T('reissued_capsule_after_renewal_valid',async()=>{const k=new K();k.s.task.lease_expires_at_ms=7000;const b=await issue(k.s.task,{start:5200,end:5500,completed:5600});const r=await imp(k,req(k.s.task,b),5700);if(!r.ok)throw r});\nawait T('artifact_byte_substitution_rejected',async()=>{const k=new K(),b=await issue(k.s.task);b.artifact='SUB';const r=await imp(k,req(k.s.task,b));if(r.reason!=='ARTIFACT_BYTES_SHA_MISMATCH')throw r;zero(k)});\nawait T('wrong_owner_rejected',async()=>{const k=new K(),b=await issue(k.s.task),q=req(k.s.task,b);q.dispatcher_agent_id='OTHER';const r=await imp(k,q);if(r.reason!=='LEASE_OWNER_MISMATCH')throw r;zero(k)});\nawait T('expired_lease_rejected',async()=>{const k=new K(),b=await issue(k.s.task);const r=await imp(k,req(k.s.task,b),5001);if(r.reason!=='LEASE_EXPIRED')throw r;zero(k)});\nawait T('crash_before_zero_effects_retryable',async()=>{const k=new K(),b=await issue(k.s.task),q=req(k.s.task,b);let hit=false;try{await imp(k,q,3000,{crashBefore:true})}catch{hit=true}if(!hit)throw new Error('no crash');zero(k);if(!(await imp(k,q)).ok)throw new Error('retry')});\nawait T('crash_after_effects_rolls_back_retryable',async()=>{const k=new K(),b=await issue(k.s.task),q=req(k.s.task,b);let hit=false;try{await imp(k,q,3000,{crashAfter:true})}catch{hit=true}if(!hit)throw new Error('no crash');zero(k);if(!(await imp(k,q)).ok)throw new Error('retry')});\nconst passed=tests.filter(x=>x.pass).length;console.log(JSON.stringify({schema:'EXTERNAL_WORKER_IMPORTER_V3R1_TRANSACTION_TEST',classification:'CANDIDATE_NONAUTHORITY_PREBOOT_EVIDENCE',total:tests.length,passed,failed:tests.length-passed,verdict:passed===tests.length?'PASS_'+passed+'_OF_'+tests.length:'FAIL',tests,properties:{caller_verdict_trusted:false,caller_lease_snapshot_trusted:false,validator_decision_required:'ELIGIBLE_FOR_CANONICAL_IMPORT_ONLY_NOT_P_REAL',one_result_per_lease:true,separate_nonce_table:false,p_real_increment:0},canonical_mutation:false,human_authority_approval:false,direct_sprites_calls:0},null,2));if(passed!==tests.length)Deno.exit(1);\n",[171],"63f1462c-aa32-4b5c-8ad1-52c4bf79a348","README.ts","9a64f40a-abc2-11f1-bc5a-1607ee4eb77e",["D",1788898772742],"export const purpose='candidate-only preboot external-worker importer tests';\n",[178],"pulls","branches","forks","envVars",{"_190":59,"_192":59},"connections",{"_190":59,"_191":59},"count","unfilledCount","emptyCount",{"_41":177,"_31":178,"_29":179,"_137":-5,"_39":40,"_38":142,"_139":140,"_36":219,"_13":59,"_32":33,"_34":181,"_23":24,"_144":-5,"_201":220,"_26":221},{"_41":170,"_31":171,"_29":172,"_137":-5,"_39":40,"_38":173,"_139":140,"_36":216,"_13":59,"_32":33,"_34":175,"_23":24,"_144":-5,"_201":217,"_26":218},{"_41":163,"_31":164,"_29":165,"_137":-5,"_39":40,"_38":166,"_139":140,"_36":213,"_13":59,"_32":33,"_34":168,"_23":24,"_144":-5,"_201":214,"_26":215},{"_41":156,"_31":157,"_29":158,"_137":-5,"_39":40,"_38":159,"_139":140,"_36":210,"_13":142,"_32":33,"_34":161,"_23":24,"_144":-5,"_201":211,"_26":212},{"_41":149,"_31":150,"_29":151,"_137":-5,"_39":40,"_38":152,"_139":140,"_36":207,"_13":142,"_32":33,"_34":154,"_23":24,"_144":-5,"_201":208,"_26":209},{"_41":146,"_31":27,"_29":30,"_137":-5,"_39":40,"_38":14,"_139":140,"_36":204,"_13":59,"_32":33,"_34":35,"_23":24,"_144":-5,"_201":205,"_26":206},{"_41":134,"_31":135,"_29":136,"_137":-5,"_39":40,"_38":138,"_139":140,"_36":200,"_13":142,"_32":33,"_34":143,"_23":24,"_144":-5,"_201":202,"_26":203},["D",1788898865029],"children",[],[135],["D",1788899263088],[],[27],["D",1788898866446],[],[150],["D",1788898869628],[],[157],["D",1788899002479],[],[164],["D",1788898954139],[],[171],["D",1788898772742],[],[178],["D",1788898772695],["D",1789476648181],{"_96":95,"_104":100},{"_96":95,"_97":98,"_99":100,"_18":53,"_101":102,"_103":24},{"_13":85,"_31":86,"_41":40,"_87":42,"_88":-5,"_89":-5,"_90":-5,"_91":-5,"_92":-5,"_93":43,"_94":95},"ctx",{"_78":-5,"_124":260,"_261":262,"_263":264,"_265":24,"_266":24,"_267":24,"_268":140,"_269":-5,"_270":-7,"_271":-7,"_272":59,"_273":24,"_274":24,"_275":-5,"_276":24,"_277":24,"_278":24,"_279":-5},"ENV",{"_231":232,"_233":234,"_235":86,"_236":237,"_238":239,"_240":241,"_242":243,"_244":245,"_246":247,"_248":249,"_250":251,"_252":253,"_254":255,"_256":257,"_258":259},"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 · v10