arkgate 4.6.7 → 4.7.0

package/bin/lib/analysis-engine.mjs

@@ -1,10 +1,10 @@
 // GENERATED from src/kernel/analysis.ts by scripts/generate-analysis-engine.mjs.
 // Do not edit this file directly.
-function E(e){let t=2166136261;for(let n=0;n<e.length;n+=1)t^=e.charCodeAt(n),t=Math.imul(t,16777619);return`fnv1a-${(t>>>0).toString(16).padStart(8,"0")}`}function k(e){if(e===null||typeof e!="object")return JSON.stringify(e);if(Array.isArray(e))return`[${e.map(k).join(",")}]`;let t=e;return`{${Object.keys(t).sort().map(n=>`${JSON.stringify(n)}:${k(t[n])}`).join(",")}}`}var ee="1.1";var lt=["network","filesystem","clock","randomness","environment","process","persistence"];function U(e,t){let n=k(e),r=k(t);return n<r?-1:n>r?1:0}function D(e){return[...new Set(e)].sort((t,n)=>t<n?-1:t>n?1:0)}function Re(e){let t={schemaVersion:"1.1",include:D(e.include??[]),exclude:D(e.exclude??[]),excludeGenerated:e.excludeGenerated!==!1,dynamicImportAllowlist:D(e.dynamicImportAllowlist??[]),layers:e.layers.map(n=>({name:n.name,patterns:D(n.patterns??[]),exclude:D(n.exclude??[]),forbiddenGlobals:D(n.forbiddenGlobals??[]),intentPrefixes:D(n.intentPrefixes??[]),capabilityDeny:D(n.capabilities?.deny??[]),pure:n.pure===!0})).sort(U),safety:{maxTsSuppressions:e.safety?.maxTsSuppressions??0,maxAnyCasts:e.safety?.maxAnyCasts??0,allowInMemory:e.safety?.allowInMemory===!0,allowDisabledPeerIsolation:e.safety?.allowDisabledPeerIsolation===!0}};return E(k(t))}function nn(e){let t=e.completenessReasons.map(o=>({code:o.code,message:o.message,...o.file?{file:o.file}:{}})).sort(U),n=e.files.map(o=>({...o,typeOnlyExportNames:D(o.typeOnlyExportNames)})).sort((o,l)=>o.path<l.path?-1:o.path>l.path?1:0),r=e.dependencies.map(o=>({...o,...o.namedBindings?{namedBindings:D(o.namedBindings)}:{}})).sort(U),s=e.capabilityUses.map(o=>({...o})).sort(U),a=e.ambientUses.map(o=>({...o})).sort(U),i=e.publishCalls.map(o=>({...o})).sort(U),d=e.intentReferences.map(o=>({...o})).sort(U),p=e.safetyUses.map(o=>({...o})).sort(U),b=(e.classShapes??[]).map(o=>({...o,mutatingMethods:[...o.mutatingMethods??[]].map(l=>({...l}))})).sort(U),A=e.files.map(({path:o,contentHash:l})=>({path:o,contentHash:l})).sort((o,l)=>o.path<l.path?-1:o.path>l.path?1:0),h=E(k(A));return{schemaVersion:"1.1",completeness:e.completeness,completenessReasons:t,resolverIdentity:e.resolverIdentity,compilerIdentity:e.compilerIdentity,compilerOptionsHash:e.compilerOptionsHash,tsconfigHash:e.tsconfigHash,candidateTreeHash:h,evidenceRequirementsHash:e.evidenceRequirementsHash,...e.projectPackageName?{projectPackageName:e.projectPackageName}:{},files:n,dependencies:r,capabilityUses:s,ambientUses:a,publishCalls:i,intentReferences:d,safetyUses:p,classShapes:b}}function dt(e){let t=nn(e);return{...t,factsHash:E(k(t))}}function Ie(e){return dt(ft(T(e,"$"),!1))}function T(e,t){if(!e||typeof e!="object"||Array.isArray(e))throw new Error(`${t} must be an object.`);return e}function L(e,t,n){let r=new Set(t),s=Object.keys(e).find(a=>!r.has(a));if(s)throw new Error(`${n}.${s} is not part of schema ${"1.1"}.`)}function w(e,t,n){let r=e[t];if(typeof r!="string"||r.length===0)throw new Error(`${n}.${t} must be a non-empty string.`);return r}function te(e,t,n){if(e[t]!==void 0)return w(e,t,n)}function M(e,t,n){let r=w(e,t,n),s=r.replace(/\\/g,"/");if(!s||s.startsWith("/")||/^[A-Za-z]:\//.test(s)||/[\u0000-\u001f\u007f]/.test(s))throw new Error(`${n}.${t} must be a canonical project-relative path.`);let a=[];for(let d of s.split("/"))if(!(!d||d==="."))if(d===".."){if(a.length===0)throw new Error(`${n}.${t} must be a canonical project-relative path.`);a.pop()}else a.push(d);let i=a.join("/");if(!i||i!==r)throw new Error(`${n}.${t} must be a canonical project-relative path.`);return i}function $(e,t,n){if(typeof e[t]!="boolean")throw new Error(`${n}.${t} must be a boolean.`);return e[t]}function pt(e,t,n){let r=e[t];if(!Number.isInteger(r)||Number(r)<0)throw new Error(`${n}.${t} must be a non-negative integer.`);return Number(r)}function ne(e,t,n){let r=pt(e,t,n);if(r===0)throw new Error(`${n}.${t} must be a positive integer.`);return r}function H(e,t,n){let r=e[t];if(!Array.isArray(r))throw new Error(`${n}.${t} must be an array.`);return r}function B(e,t,n,r){let s=e[t];if(typeof s!="string"||!n.includes(s))throw new Error(`${r}.${t} must be one of ${n.join(", ")}.`);return s}function ct(e,t){if(!Array.isArray(e)||e.some(n=>typeof n!="string"||!n))throw new Error(`${t} must be an array of non-empty strings.`);return[...e]}function rn(e,t,n){let r=new Set;for(let s of e){let a=t(s);if(r.has(a))throw new Error(`${n} must not contain duplicate facts (${a}).`);r.add(a)}}function ft(e,t){L(e,["schemaVersion","completeness","completenessReasons","resolverIdentity","compilerIdentity","compilerOptionsHash","tsconfigHash","evidenceRequirementsHash","projectPackageName","files","dependencies","capabilityUses","ambientUses","publishCalls","intentReferences","safetyUses","classShapes",...t?["candidateTreeHash","factsHash"]:[]],"$");let n=B(e,"schemaVersion",["1.0","1.1"],"$"),r=B(e,"completeness",["complete","partial","unavailable"],"$"),s=H(e,"completenessReasons","$").map((y,v)=>{let u=`$.completenessReasons[${v}]`,g=T(y,u);L(g,["code","message","file"],u);let R=g.file===void 0?void 0:M(g,"file",u);return{code:w(g,"code",u),message:w(g,"message",u),...R?{file:R}:{}}});if(r==="complete"&&s.length>0)throw new Error("$.completenessReasons must be empty when completeness is complete.");if(r!=="complete"&&s.length===0)throw new Error("$.completenessReasons must explain partial or unavailable facts.");let a=H(e,"files","$").map((y,v)=>{let u=`$.files[${v}]`,g=T(y,u);return L(g,["path","contentHash","parseStatus","parseDiagnosticCount","exportsOnlyTypes","typeOnlyExportNames","hasTopLevelSideEffects"],u),{path:M(g,"path",u),contentHash:w(g,"contentHash",u),parseStatus:B(g,"parseStatus",["parsed","invalid"],u),parseDiagnosticCount:pt(g,"parseDiagnosticCount",u),exportsOnlyTypes:$(g,"exportsOnlyTypes",u),typeOnlyExportNames:ct(g.typeOnlyExportNames,`${u}.typeOnlyExportNames`),hasTopLevelSideEffects:$(g,"hasTopLevelSideEffects",u)}}),i=H(e,"dependencies","$").map((y,v)=>{let u=`$.dependencies[${v}]`,g=T(y,u);L(g,["from","specifier","kind","typeOnly","line","resolution","target","namedBindings","targetTypeOnlyExports","sourcePureTypeModule","namedBindingsTypeOnly","portProofEligible"],u);let R=te(g,"specifier",u),S=te(g,"target",u),K=B(g,"resolution",["resolved-project","resolved-external","unresolved","dynamic"],u);if(K==="resolved-project"&&!S)throw new Error(`${u}.target is required for resolved-project dependencies.`);if(K!=="resolved-project"&&S)throw new Error(`${u}.target is only allowed for resolved-project dependencies.`);if(K!=="dynamic"&&!R)throw new Error(`${u}.specifier is required unless resolution is dynamic.`);return{from:M(g,"from",u),...R?{specifier:R}:{},kind:B(g,"kind",["import","export","dynamic-import","require"],u),typeOnly:$(g,"typeOnly",u),line:ne(g,"line",u),resolution:K,...S?{target:M(g,"target",u)}:{},...g.namedBindings!==void 0?{namedBindings:ct(g.namedBindings,`${u}.namedBindings`)}:{},...g.targetTypeOnlyExports!==void 0?{targetTypeOnlyExports:$(g,"targetTypeOnlyExports",u)}:{},...g.sourcePureTypeModule!==void 0?{sourcePureTypeModule:$(g,"sourcePureTypeModule",u)}:{},...g.namedBindingsTypeOnly!==void 0?{namedBindingsTypeOnly:$(g,"namedBindingsTypeOnly",u)}:{},...g.portProofEligible!==void 0?{portProofEligible:$(g,"portProofEligible",u)}:{}}}),d=H(e,"capabilityUses","$").map((y,v)=>{let u=`$.capabilityUses[${v}]`,g=T(y,u);return L(g,["file","line","symbol","capability","source"],u),{file:M(g,"file",u),line:ne(g,"line",u),symbol:w(g,"symbol",u),capability:B(g,"capability",lt,u),source:B(g,"source",["ambient-global","import-based"],u)}}),p=H(e,"ambientUses","$").map((y,v)=>{let u=`$.ambientUses[${v}]`,g=T(y,u);return L(g,["file","line","symbol"],u),{file:M(g,"file",u),line:ne(g,"line",u),symbol:w(g,"symbol",u)}}),b=H(e,"publishCalls","$").map((y,v)=>{let u=`$.publishCalls[${v}]`,g=T(y,u);L(g,["file","line","rawIntentName","objectHasIntent","arkPublishCandidate","hasSource","sourceIntent"],u);let R=te(g,"rawIntentName",u),S=te(g,"sourceIntent",u);return{file:M(g,"file",u),line:ne(g,"line",u),...R?{rawIntentName:R}:{},objectHasIntent:$(g,"objectHasIntent",u),arkPublishCandidate:$(g,"arkPublishCandidate",u),hasSource:$(g,"hasSource",u),...S?{sourceIntent:S}:{}}}),A=H(e,"intentReferences","$").map((y,v)=>{let u=`$.intentReferences[${v}]`,g=T(y,u);return L(g,["file","line","intent"],u),{file:M(g,"file",u),line:ne(g,"line",u),intent:w(g,"intent",u)}}),h=H(e,"safetyUses","$").map((y,v)=>{let u=`$.safetyUses[${v}]`,g=T(y,u);L(g,["file","line","kind","symbol"],u);let R=te(g,"symbol",u),S=B(g,"kind",["ts-suppression","any-cast","dynamic-import","dynamic-require","in-memory-store"],u);if(S==="in-memory-store"&&!R)throw new Error(`${u}.symbol is required for in-memory-store facts.`);if(S!=="in-memory-store"&&R)throw new Error(`${u}.symbol is only allowed for in-memory-store facts.`);return{file:M(g,"file",u),line:ne(g,"line",u),kind:S,...R?{symbol:R}:{}}});rn(a,y=>y.path,"$.files");let o=new Set(a.map(y=>y.path));for(let y of a){if(y.parseStatus==="parsed"&&y.parseDiagnosticCount!==0)throw new Error(`$.files[${y.path}].parseDiagnosticCount must be 0 when parseStatus is parsed.`);if(y.parseStatus==="invalid"&&y.parseDiagnosticCount===0)throw new Error(`$.files[${y.path}].parseDiagnosticCount must be positive when parseStatus is invalid.`)}if(r==="complete"&&a.some(y=>y.parseStatus==="invalid"))throw new Error("$.completeness cannot be complete when a candidate file failed to parse.");for(let y of i)if(!o.has(y.from))throw new Error(`$.dependencies references missing source file ${y.from}.`);for(let[y,v]of[["$.capabilityUses",d],["$.ambientUses",p],["$.publishCalls",b],["$.intentReferences",A],["$.safetyUses",h]])for(let u of v)if(!o.has(u.file))throw new Error(`${y} references missing file ${u.file}.`);let l=te(e,"projectPackageName","$"),f=(e.classShapes===void 0?[]:H(e,"classShapes","$")).map((y,v)=>{let u=`$.classShapes[${v}]`,g=T(y,u);L(g,["file","className","exported","hasPublicMutableFields","hasPublicSetters","hasPublicConstructor","hasStaticFactory","mutatingMethods","dataOnly"],u);let R=H(g,"mutatingMethods",u).map((S,K)=>{let Y=`${u}.mutatingMethods[${K}]`,z=T(S,Y);return L(z,["name","referencesGuardOrPublish"],Y),{name:w(z,"name",Y),referencesGuardOrPublish:$(z,"referencesGuardOrPublish",Y)}});return{file:M(g,"file",u),className:w(g,"className",u),exported:$(g,"exported",u),hasPublicMutableFields:$(g,"hasPublicMutableFields",u),hasPublicSetters:$(g,"hasPublicSetters",u),hasPublicConstructor:$(g,"hasPublicConstructor",u),hasStaticFactory:$(g,"hasStaticFactory",u),mutatingMethods:R,...g.dataOnly===void 0?{}:{dataOnly:$(g,"dataOnly",u)}}});return{schemaVersion:n,completeness:r,completenessReasons:s,resolverIdentity:w(e,"resolverIdentity","$"),compilerIdentity:w(e,"compilerIdentity","$"),compilerOptionsHash:w(e,"compilerOptionsHash","$"),tsconfigHash:w(e,"tsconfigHash","$"),evidenceRequirementsHash:w(e,"evidenceRequirementsHash","$"),...l?{projectPackageName:l}:{},files:a,dependencies:i,capabilityUses:d,ambientUses:p,publishCalls:b,intentReferences:A,safetyUses:h,classShapes:f}}function W(e){let t=T(e,"$"),n=w(t,"factsHash","$"),r=w(t,"candidateTreeHash","$"),s=dt(ft(t,!0));if(s.factsHash!==n)throw new Error(`$.factsHash does not match the canonical payload (${s.factsHash}).`);if(r!==s.candidateTreeHash)throw new Error(`$.candidateTreeHash does not match the canonical file tree (${s.candidateTreeHash}).`);return s}var sn=["network","filesystem","clock","randomness","environment","process","persistence"],C={type:"string",minLength:1},re={type:"integer",minimum:1},j={type:"string",minLength:1,pattern:"^(?!/)(?![A-Za-z]:/)(?!.*\\\\)(?!.*//)(?!.*(?:^|/)\\.{1,2}(?:/|$))(?!.*[\\u0000-\\u001f\\u007f])(?!.*\\/$).+$"},ut={$schema:"https://json-schema.org/draft/2020-12/schema",$id:"https://unpkg.com/arkgate@3/schemas/ark.resolved-candidate-facts.schema.json",title:"ArkGate resolved candidate facts",type:"object",additionalProperties:!1,required:["schemaVersion","completeness","completenessReasons","resolverIdentity","compilerIdentity","compilerOptionsHash","tsconfigHash","candidateTreeHash","evidenceRequirementsHash","files","dependencies","capabilityUses","ambientUses","publishCalls","intentReferences","safetyUses","factsHash"],properties:{schemaVersion:{enum:["1.0","1.1"]},completeness:{enum:["complete","partial","unavailable"]},completenessReasons:{type:"array",items:{type:"object",additionalProperties:!1,required:["code","message"],properties:{code:C,message:C,file:j}}},resolverIdentity:C,compilerIdentity:C,compilerOptionsHash:C,tsconfigHash:C,candidateTreeHash:C,evidenceRequirementsHash:C,projectPackageName:C,files:{type:"array",uniqueItems:!0,items:{type:"object",additionalProperties:!1,required:["path","contentHash","parseStatus","parseDiagnosticCount","exportsOnlyTypes","typeOnlyExportNames","hasTopLevelSideEffects"],properties:{path:j,contentHash:C,parseStatus:{enum:["parsed","invalid"]},parseDiagnosticCount:{type:"integer",minimum:0},exportsOnlyTypes:{type:"boolean"},typeOnlyExportNames:{type:"array",items:C},hasTopLevelSideEffects:{type:"boolean"}},allOf:[{if:{properties:{parseStatus:{const:"parsed"}}},then:{properties:{parseDiagnosticCount:{const:0}}}},{if:{properties:{parseStatus:{const:"invalid"}}},then:{properties:{parseDiagnosticCount:{minimum:1}}}}]}},dependencies:{type:"array",items:{type:"object",additionalProperties:!1,required:["from","kind","typeOnly","line","resolution"],properties:{from:j,specifier:C,kind:{enum:["import","export","dynamic-import","require"]},typeOnly:{type:"boolean"},line:re,resolution:{enum:["resolved-project","resolved-external","unresolved","dynamic"]},target:j,namedBindings:{type:"array",items:C},targetTypeOnlyExports:{type:"boolean"},sourcePureTypeModule:{type:"boolean"},namedBindingsTypeOnly:{type:"boolean"},portProofEligible:{type:"boolean"}},allOf:[{if:{properties:{resolution:{const:"resolved-project"}}},then:{required:["target"]},else:{not:{required:["target"]}}},{if:{properties:{resolution:{const:"dynamic"}}},else:{required:["specifier"]}}]}},capabilityUses:{type:"array",items:{type:"object",additionalProperties:!1,required:["file","line","symbol","capability","source"],properties:{file:j,line:re,symbol:C,capability:{enum:sn},source:{enum:["ambient-global","import-based"]}}}},ambientUses:{type:"array",items:{type:"object",additionalProperties:!1,required:["file","line","symbol"],properties:{file:j,line:re,symbol:C}}},publishCalls:{type:"array",items:{type:"object",additionalProperties:!1,required:["file","line","objectHasIntent","arkPublishCandidate","hasSource"],properties:{file:j,line:re,rawIntentName:C,objectHasIntent:{type:"boolean"},arkPublishCandidate:{type:"boolean"},hasSource:{type:"boolean"},sourceIntent:C}}},intentReferences:{type:"array",items:{type:"object",additionalProperties:!1,required:["file","line","intent"],properties:{file:j,line:re,intent:C}}},safetyUses:{type:"array",items:{type:"object",additionalProperties:!1,required:["file","line","kind"],properties:{file:j,line:re,kind:{enum:["ts-suppression","any-cast","dynamic-import","dynamic-require","in-memory-store"]},symbol:C},allOf:[{if:{properties:{kind:{const:"in-memory-store"}}},then:{required:["symbol"]},else:{not:{required:["symbol"]}}}]}},classShapes:{type:"array",items:{type:"object",additionalProperties:!1,required:["file","className","exported","hasPublicMutableFields","hasPublicSetters","hasPublicConstructor","hasStaticFactory","mutatingMethods"],properties:{file:j,className:C,exported:{type:"boolean"},hasPublicMutableFields:{type:"boolean"},hasPublicSetters:{type:"boolean"},hasPublicConstructor:{type:"boolean"},hasStaticFactory:{type:"boolean"},dataOnly:{type:"boolean"},mutatingMethods:{type:"array",items:{type:"object",additionalProperties:!1,required:["name","referencesGuardOrPublish"],properties:{name:C,referencesGuardOrPublish:{type:"boolean"}}}}}}},factsHash:C},allOf:[{if:{properties:{completeness:{const:"complete"}}},then:{properties:{completenessReasons:{maxItems:0},files:{items:{properties:{parseStatus:{const:"parsed"}}}}}}},{if:{properties:{completeness:{enum:["partial","unavailable"]}}},then:{properties:{completenessReasons:{minItems:1}}}}]};var mt="1.0";var Me=Object.freeze(["network","filesystem","clock","randomness","environment","process","persistence"]),Ce=Object.freeze({fetch:"network",XMLHttpRequest:"network",Date:"clock","Date.now":"clock","Math.random":"randomness","process.env":"environment",process:"process"}),De=Object.freeze(Object.keys(Ce).sort()),Ne=Object.freeze({fs:"filesystem","node:fs":"filesystem","fs/promises":"filesystem","node:fs/promises":"filesystem","fs-extra":"filesystem","graceful-fs":"filesystem",memfs:"filesystem",chokidar:"filesystem",http:"network",https:"network",http2:"network",net:"network",tls:"network",dgram:"network",dns:"network","node:http":"network","node:https":"network","node:http2":"network","node:net":"network","node:tls":"network","node:dgram":"network","node:dns":"network",axios:"network",undici:"network","node-fetch":"network",got:"network",ky:"network",superagent:"network",ws:"network",process:"process","node:process":"process",child_process:"process","node:child_process":"process","@prisma/client":"persistence",prisma:"persistence",pg:"persistence",mysql:"persistence",mysql2:"persistence",mongodb:"persistence",mongoose:"persistence",sqlite3:"persistence","better-sqlite3":"persistence",redis:"persistence",ioredis:"persistence",typeorm:"persistence",knex:"persistence","drizzle-orm":"persistence",sequelize:"persistence",kysely:"persistence","@supabase/supabase-js":"persistence"}),He=Object.freeze({process:Object.freeze(["process","node:process"])});function pe(e){if(!e||e.startsWith(".")||e.startsWith("/"))return null;let t=Ne[e];if(t)return t;let n=e.indexOf("/");if(n<0)return null;let r=e.slice(0,n),s=Ne[r];if(s)return s;let a=e.indexOf("/",n+1);return a<0?null:Ne[e.slice(0,a)]??null}function fe(e,t){for(let n of t)if(He[n]?.includes(e))return n;return null}function ue(e){let t=e.split(".");for(let n=t.length;n>=1;n-=1){let r=t.slice(0,n).join("."),s=Ce[r];if(s)return s}return null}function se(e){if(e?.pure===!0)return[...Me].sort();let n=(e?.capabilities?.deny??[]).filter(r=>Me.includes(r));return[...new Set(n)].sort()}function je(e,t){if(t.length===0)return!1;let n=new Set(t),r=e.split(".");for(let s=r.length;s>=1;s-=1)if(n.has(r.slice(0,s).join(".")))return!0;return!1}function ke(e){let t=new Set,n=new Set,r=Object.keys(Ce);for(let s of e?.forbiddenGlobals??[]){let a=r.filter(i=>i===s||i.startsWith(`${s}.`));if(a.length===0)n.add(s);else for(let i of a)t.add(`ambient:${i}`);for(let i of He[s]??[])t.add(`import-exact:${i}`)}for(let s of se(e)){if(t.add(`import:${s}`),s==="process")for(let a of He.process)t.add(`import-exact:${a}`);for(let a of r)ue(a)===s&&t.add(`ambient:${a}`)}return{atoms:[...t].sort(),rawGlobals:[...n].sort()}}function an(e){let t=new Set,n=ue(e);n&&t.add(n);for(let[r,s]of Object.entries(Ce))(r===e||r.startsWith(`${e}.`))&&t.add(s);return[...t].sort()}var yt=new Map;function gt(e){return/[.*+?^${}()|[\]\\]/.test(e)?`\\${e}`:e}function Se(e){let t="";for(let n=0;n<e.length;n+=1){let r=e[n];if(r==="\\"&&n+1<e.length){let s=e[n+1];if("*?{}[],".includes(s)||s==="\\"){t+="\\"+s,n+=1;continue}t+="/";continue}t+=r}return t}function on(e){let t=0;for(let n=0;n<e.length;n+=1){let r=e[n];if(r==="\\"){n+=1;continue}if(r==="{")t+=1;else if(r==="}"&&(t-=1,t<0))return!1}return t===0}function J(e){let t=yt.get(e);if(t)return t;let n=Se(e),r=on(n),s="",a=0;for(let d=0;d<n.length;d+=1){let p=n[d];p==="\\"&&d+1<n.length?(s+=gt(n[d+1]),d+=1):p==="*"?n[d+1]==="*"?n[d+2]==="/"?(s+="(?:.*/)?",d+=2):(s+=".*",d+=1):s+="[^/]*":p==="?"?s+="[^/]":p==="{"&&r?(s+="(?:",a+=1):p==="}"&&r&&a>0?(s+=")",a-=1):p===","&&r&&a>0?s+="|":s+=gt(p)}let i=new RegExp(`^${s}$`);return yt.set(e,i),i}function ln(e){return Se(String(e)).split("/").filter(Boolean).filter(n=>n!=="**"&&n!=="*"&&!n.includes("*")&&!n.includes("?")&&!n.includes("{")&&!n.includes("["))}function Ve(e,t){let n=Se(String(e)),r=ln(n),s=n.replace(/\*/g,"").length,a=r.length*1e4+s;if(t==null||t==="")return a;let i=String(t).split(/[/\\]/).filter(Boolean);if(r.length===0)return s;let d=0,p=-1;for(let b of r){let A=-1;for(let h=d;h<i.length;h+=1)if(i[h]===b){A=h;break}if(A<0)return a;p=A,d=A+1}return(p+1)*1e6+r.length*1e4+s}function V(e,t){let n=String(e).split(/[/\\]/).join("/"),r,s=-1;for(let a of t??[])if(!(a.exclude??[]).some(i=>J(i).test(n))){for(let i of a.patterns??[])if(J(i).test(n)){let d=Ve(i,n);d>s&&(s=d,r=a.name)}}return r}function ht(e,t){if(!t?.length)return;let n=String(e).split(/[/\\]/).filter(Boolean),r=new Set(t.map(s=>String(s).toLowerCase()));for(let s=0;s<n.length-1;s+=1)if(r.has(n[s].toLowerCase()))return`${n[s].toLowerCase()}/${n[s+1].toLowerCase()}`}function cn(e){let t=new Set;for(let n of e??[]){let s=Se(String(n)).split("/").filter(Boolean);for(let a=0;a<s.length;a+=1){let i=s[a];if((i==="**"||i==="*")&&a>0){let d=s[a-1];d&&!d.includes("*")&&!d.includes("{")&&!d.includes("}")&&t.add(d)}}}return[...t]}function dn(e,t,n){if(Array.isArray(e.sliceFolders)&&e.sliceFolders.length>0)return e.sliceFolders.filter(s=>typeof s=="string"&&s.length>0);let r=(n??[]).find(s=>s.name===t);return cn(r?.patterns)}function pn(e){return!e.fromPath||!e.toPath||e.folderCount<=0||!e.fromSlice||!e.toSlice?!0:e.fromSlice!==e.toSlice}function ae(e,t,n,r){for(let s of e??[])if(!(s.from!==t||s.to!==n)&&s.allowed===!1){if(s.peerIsolation){let a=r?.fromPath,i=r?.toPath,d=dn(s,t,r?.layers),p=a&&i?ht(a,d):void 0,b=a&&i?ht(i,d):void 0;if(pn({fromPath:a,toPath:i,folderCount:d.length,fromSlice:p,toSlice:b}))return s;continue}if(t!==n)return s}}var Ue={RAW_EVENT_PUBLISH:"Publish through a registered intent creator; raw event objects or intent strings bypass Ark contracts and tooling.",PUBLISH_MISSING_SOURCE:"Strict Ark publish calls must include metadata.source."},Ge=Object.freeze([{layer:"DomainModel",prefixes:["Domain."]},{layer:"ApplicationOrchestration",prefixes:["Application."]},{layer:"PersistenceAdapters",prefixes:["Adapter.Persistence.","Adapter.Repository."]},{layer:"IntegrationAdapters",prefixes:["Adapter.Integration.","Adapter.External."]},{layer:"WorkflowSagaEngine",prefixes:["Workflow."]},{layer:"BackgroundJobsScheduling",prefixes:["Job."]},{layer:"PresentationAdapters",prefixes:["Presentation.","Adapter.Presentation.","Adapter.Api."]},{layer:"ReportingReadModels",prefixes:["Reporting."]},{layer:"ExtensibilityMetadata",prefixes:["Metadata."]},{layer:"SecurityAuditObservability",prefixes:["Security.","Audit.","Observability."]},{layer:"Kernel",prefixes:["Kernel."]}]);function qe(e,t){return t.flatMap((r,s)=>(r.prefixes??r.intentPrefixes??[]).map(a=>({layer:r.name,layerIndex:s,prefix:a.endsWith(".")?a:`${a}.`}))).filter(({prefix:r})=>e.startsWith(r)).sort((r,s)=>s.prefix.length-r.prefix.length||r.layerIndex-s.layerIndex)[0]?.layer}function bt(e){return/^(Domain|Application|Adapter|Workflow|Job|Presentation|Reporting|Metadata|Security|Audit|Observability|Kernel)\.[A-Za-z0-9_.]+$/.test(e)}function ze(e){if(!e.publishCall)return[];let t=[];return(e.rawIntentName!==void 0&&bt(e.rawIntentName)||e.objectHasIntent)&&t.push({ruleId:"RAW_EVENT_PUBLISH",message:Ue.RAW_EVENT_PUBLISH}),e.arkPublishCandidate&&!e.hasSource&&t.push({ruleId:"PUBLISH_MISSING_SOURCE",message:Ue.PUBLISH_MISSING_SOURCE}),t}var At="https://unpkg.com/arkgate/schemas/ark.arkrules.schema.json",fn=["aggregate-private-state","always-valid-factory","domain-event-on-mutation","orchestration-only","thin-adapter","no-anemic-model","invariant-coverage"];var vt={type:"array",items:{type:"string",minLength:1},uniqueItems:!0},Pr={$schema:"https://json-schema.org/draft/2020-12/schema",$id:At,title:"ArkGate ArkRules (intra-layer contract)",description:"Per-layer structure sensors and invariant catalog consumed by the ArkGate Effective Contract.",type:"object",additionalProperties:!1,required:["schemaVersion","layer"],properties:{$schema:{type:"string",minLength:1,default:At},schemaVersion:{type:"string",const:"1.0",default:"1.0"},layer:{type:"string",minLength:1},structure:{type:"array",default:[],items:{$ref:"#/$defs/structureEntry"}},invariants:{type:"array",default:[],items:{$ref:"#/$defs/invariantEntry"}}},$defs:{structureEntry:{type:"object",additionalProperties:!1,required:["id","sensor"],properties:{id:{type:"string",minLength:1},sensor:{type:"string",enum:[...fn]},mode:{type:"string",enum:["advisory","enforced"],default:"advisory"},appliesTo:vt,description:{type:"string",minLength:1}}},invariantEntry:{type:"object",additionalProperties:!1,required:["id","description"],properties:{id:{type:"string",minLength:1},description:{type:"string",minLength:1},aggregate:{type:"string",minLength:1},coverage:{type:"object",additionalProperties:!1,properties:{test:{type:"boolean"},symbol:{type:"string",minLength:1}}},mode:{type:"string",enum:["advisory","enforced"],default:"advisory"},appliesTo:vt}}}};function me(){return{schemaVersion:"1.0",byLayer:{},structure:[],invariants:[]}}var un=["no-anemic-model"];function Rt(e){return/[.*+?^${}()|[\]\\]/.test(e)?`\\${e}`:e}function mn(e){let t="";for(let r=0;r<e.length;r+=1){let s=e[r];if(s==="\\"&&r+1<e.length){let a=e[r+1];if("*?{}[],".includes(a)||a==="\\"){t+="\\"+a,r+=1;continue}t+="/";continue}t+=s}let n="";for(let r=0;r<t.length;r+=1){let s=t[r];s==="\\"&&r+1<t.length?(n+=Rt(t[r+1]),r+=1):s==="*"?t[r+1]==="*"?t[r+2]==="/"?(n+="(?:.*/)?",r+=2):(n+=".*",r+=1):n+="[^/]*":s==="?"?n+="[^/]":n+=Rt(s)}return new RegExp(`^${n}$`)}function ye(e,t){return!t||t.length===0?!0:t.some(n=>mn(n).test(e))}function yn(e){return un.includes(e)}function It(e){return e.mode==="enforced"&&!yn(e.sensor)?{severity:"error",failsStrict:!0}:{severity:"warning",failsStrict:!1}}function ie(e,t,n,r=1){let{severity:s,failsStrict:a}=It(e);return{ruleId:"ARKRULE_STRUCTURE",code:e.sensor,message:n,file:t,line:r,fromLayer:e.provenance.layer,arkruleId:e.id,arkruleSource:e.provenance.sourceFile,severity:s,sensor:e.sensor,failsStrict:a}}function Be(e,t,n){if(!n)return!0;let r=n(e);return r?r===t.provenance.layer:!1}function Ee(e,t,n){return t.filter(r=>!(!r.exported||!ye(r.file,e.appliesTo)||!Be(r.file,e,n)))}function gn(e,t,n){let r=[];for(let s of Ee(e,t,n))(s.hasPublicSetters||s.hasPublicMutableFields)&&r.push(ie(e,s.file,`Exported class ${s.className} exposes public mutable state (sensor aggregate-private-state).`));return r}function hn(e,t,n){let r=[];for(let s of Ee(e,t,n))if(s.hasPublicConstructor&&!s.hasStaticFactory){if(!(s.hasPublicMutableFields||s.hasPublicSetters||(s.mutatingMethods?.length??0)>0))continue;r.push(ie(e,s.file,`Exported class ${s.className} exposes a public constructor without a static factory (sensor always-valid-factory).`))}return r}function bn(e,t,n){let r=[];for(let s of Ee(e,t,n))for(let a of s.mutatingMethods)a.referencesGuardOrPublish||r.push(ie(e,s.file,`Mutating method ${s.className}.${a.name} does not reference a guard or publish symbol (sensor domain-event-on-mutation).`));return r}function An(e,t){let n=[];for(let r of t.files)ye(r,e.appliesTo)&&Be(r,e,t.layerForFile)&&t.fileHints?.[r]?.orchestrationHeavy&&n.push(ie(e,r,"File appears to embed domain branching beyond guard-and-delegate orchestration (sensor orchestration-only)."));return n}function vn(e,t){let n=[];for(let r of t.files)ye(r,e.appliesTo)&&Be(r,e,t.layerForFile)&&t.fileHints?.[r]?.adapterThick&&n.push(ie(e,r,"Adapter module mixes domain branching, persistence, and mapping beyond a thin adapter (sensor thin-adapter)."));return n}function Rn(e,t,n){let r=[];for(let s of Ee(e,t,n))if(s.dataOnly===!0){let a=ie(e,s.file,`Exported type ${s.className} looks data-only / anemic (sensor no-anemic-model; advisory only).`);r.push({...a,severity:"warning",failsStrict:!1})}return r}function Ct(e){if(!e.arkRules.structure.length)return[];let t=[];for(let n of e.arkRules.structure)switch(n.sensor){case"aggregate-private-state":t.push(...gn(n,e.classShapes,e.layerForFile));break;case"always-valid-factory":t.push(...hn(n,e.classShapes,e.layerForFile));break;case"domain-event-on-mutation":t.push(...bn(n,e.classShapes,e.layerForFile));break;case"orchestration-only":t.push(...An(n,e));break;case"thin-adapter":t.push(...vn(n,e));break;case"no-anemic-model":t.push(...Rn(n,e.classShapes,e.layerForFile));break;case"invariant-coverage":break;default:break}return t.sort((n,r)=>n.file.localeCompare(r.file)||n.arkruleId.localeCompare(r.arkruleId)||n.message.localeCompare(r.message))}function kt(e,t){let n=[],r=t.map(s=>s.replace(/\\/g,"/"));for(let s of e.structure){if(!s.appliesTo||s.appliesTo.length===0||r.some(p=>ye(p,s.appliesTo)))continue;let{severity:i,failsStrict:d}=It(s);n.push({ruleId:"ARKRULE_SCOPE_EMPTY",code:"appliesTo-zero-match",message:`ArkRule structure "${s.id}" appliesTo matched zero governed files (patterns: ${s.appliesTo.join(", ")}). A zero-match scope is almost always misconfiguration.`,file:s.provenance.sourceFile,line:1,fromLayer:s.provenance.layer,arkruleId:s.id,arkruleSource:s.provenance.sourceFile,severity:i,sensor:s.sensor,failsStrict:d})}for(let s of e.invariants??[]){if(!s.appliesTo||s.appliesTo.length===0||r.some(d=>ye(d,s.appliesTo)))continue;let i=s.mode==="enforced";n.push({ruleId:"ARKRULE_SCOPE_EMPTY",code:"appliesTo-zero-match",message:`ArkRule invariant "${s.id}" appliesTo matched zero governed files (patterns: ${s.appliesTo.join(", ")}). A zero-match scope is almost always misconfiguration.`,file:s.provenance.sourceFile,line:1,fromLayer:s.provenance.layer,arkruleId:s.id,arkruleSource:s.provenance.sourceFile,severity:i?"error":"warning",sensor:"invariant-coverage",failsStrict:i})}return n.sort((s,a)=>s.file.localeCompare(a.file)||s.arkruleId.localeCompare(a.arkruleId)||s.message.localeCompare(a.message))}var In=/\bfrom\s+['"](?:@?prisma\/client|@supabase\/|drizzle-orm|typeorm|knex|mongodb|pg|mysql2|better-sqlite3|ioredis|redis)['"]|require\(\s*['"](?:@?prisma\/client|pg|knex|typeorm)/,Cn=/\b(?:@Controller|@Get|@Post|@Put|@Delete|Router\(\)|createRouter|express\.Router|fastify\.(?:get|post)|export\s+(?:async\s+)?function\s+(?:GET|POST|PUT|DELETE|PATCH)\b|export\s+const\s+(?:GET|POST|PUT|DELETE|PATCH)\s*=)/,kn=/(?:^|[;\n])\s*(?:import\s+(?:type\s+)?(?:[^;]{0,512}?\s+from\s+)?|export\s+(?:type\s+)?[^;]{0,512}?\s+from\s+)['"]next\/server(?:\.js)?['"]/,Sn=/\b(?:export\s+)?(?:async\s+)?function\s+(?:can|calculate|compute|should|ensure|validate|is|has)[A-Z]\w*|\b(?:export\s+)?const\s+(?:can|calculate|compute|should|ensure|validate|is|has)[A-Z]\w*\s*=/,En=/\bif\s*\(\s*(?:!)?(?:order|invoice|cart|user|account|policy|aggregate|entity|amount|total|balance|status|state)\b/i;function $n(e,t){if(!t||t.length<40)return null;let n=t.match(new RegExp(Sn.source,"g"))??[],r=t.match(new RegExp(En.source,"g"))??[],s=(t.match(/\bif\s*\(/g)??[]).length,a=(t.match(/\bswitch\s*\(/g)??[]).length,i=n.length>=2||n.length>=1&&r.length>=2||r.length>=3&&s+a>=6,d=In.test(t),p=Cn.test(t)||kn.test(t),b=n.length>=1||r.length>=2,A=/\b(?:mapTo|toDomain|toDto|fromRow|toEntity|fromPrisma|serialize|deserialize)\w*\s*[(=]/.test(t),h=d&&b||p&&b||d&&A&&(s>=4||n.length>=1)||p&&d;return!i&&!h?null:{...i?{orchestrationHeavy:!0}:{},...h?{adapterThick:!0}:{}}}function St(e){let t={};for(let[n,r]of Object.entries(e)){let s=$n(n,r);s&&(t[n.replace(/\\/g,"/")]=s)}return t}function wn(e,t){let n=t.replace(/[.*+?^${}()|[\]\\]/g,"\\$&");return new RegExp(`(?:describe|it|test|context)\\s*\\(\\s*['"\`][^'"\`]*${n}[^'"\`]*['"\`]`,"i").test(e)||e.includes(t)}function xn(e,t){if(!t)return!1;let n=t.split("."),r=n[n.length-1],s=n.length>1?n[0]:null;for(let a of Object.values(e))if(!(s&&!a.includes(s))&&(new RegExp(`(?:function\\s+|\\b)${r.replace(/[.*+?^${}()|[\]\\]/g,"\\$&")}\\s*[(<]`).test(a)||a.includes(t)))return!0;return!1}function Et(e){let t=e.arkRules.invariants??[];if(t.length===0)return{coverage:[],violations:[],partial:!1};let n=e.testFiles??[],r=e.testGlobsMissing===!0||n.length===0,s=[],a=[];for(let i of t){let d=[],p=i.coverage?.test!==!1,b=i.coverage?.symbol;if(!r&&p)for(let l of n){let c=e.fileContents[l];if(c&&wn(c,i.id)){d.push("test-title");break}}b&&xn(e.fileContents,b)&&d.push("symbol");let h=(i.coverage?.test===!0||!!b||i.coverage===void 0)&&d.length>0||i.coverage?.test===!1&&!b?!0:d.length>0,o=r&&p&&d.length===0;if(s.push({invariantId:i.id,layer:i.provenance.layer,sourceFile:i.provenance.sourceFile,mode:i.mode,covered:h&&!o,evidence:d,partial:o,description:i.description}),!h||o){let l=i.mode==="enforced"&&!o,c=r||n.length===0?"never-had-tests":"tests-disappeared";a.push({ruleId:"INVARIANT_UNCOVERED",message:o?`Invariant ${i.id} coverage cannot be proven (test globs missing or empty); reporting partial, not covered (never-had-tests).`:c==="tests-disappeared"?`Invariant ${i.id} is not covered by a test title or declared symbol (tests-disappeared \u2014 suite exists).`:`Invariant ${i.id} is not covered by a test title or declared symbol (never-had-tests).`,file:i.provenance.sourceFile,line:1,arkruleId:i.id,arkruleSource:i.provenance.sourceFile,fromLayer:i.provenance.layer,severity:l?"error":"warning",failsStrict:l,kind:c})}}return{coverage:s,violations:a,partial:s.some(i=>i.partial)}}function $t(e){return e?e.partial?{ok:!1,reason:"Coverage is partial (missing test globs); cannot promote until evidence is complete."}:e.covered?{ok:!0,reason:`Invariant ${e.invariantId} has coverage evidence.`}:{ok:!1,reason:`Invariant ${e.invariantId} is uncovered; add a test title or symbol before promoting to enforced.`}:{ok:!1,reason:"No coverage evidence supplied for this invariant; evaluate coverage before promoting to enforced."}}function x(e,t,n={}){return{ruleId:e,message:t,...n}}function Ke(e){let{config:t,rules:n,files:r,manifest:s}=e,a=[];if(t.dynamicImportAllowlist!==void 0&&(!Array.isArray(t.dynamicImportAllowlist)||t.dynamicImportAllowlist.some(l=>typeof l!="string"))&&a.push(x("CONFIG_INVALID_DYNAMIC_IMPORT_ALLOWLIST","dynamicImportAllowlist must be an array of file globs.")),t.safety!==void 0&&(t.safety===null||typeof t.safety!="object"||Array.isArray(t.safety)))a.push(x("CONFIG_INVALID_SAFETY","safety must be an object."));else if(t.safety)for(let l of["maxTsSuppressions","maxAnyCasts"]){let c=t.safety[l];c!==void 0&&(!Number.isInteger(c)||c<0)&&a.push(x("CONFIG_INVALID_SAFETY_THRESHOLD",`safety.${l} must be a non-negative integer.`))}let i=Array.isArray(t.layers)?t.layers:[],d=Array.isArray(s?.architecture?.layers)?s.architecture.layers:[],p=new Set([...i.map(l=>l.name).filter(Boolean),...d.map(l=>l.name).filter(l=>!!l)]);i.length===0&&a.push(x("CONFIG_NO_LAYERS","No file layers are configured; ark-check cannot classify files for import-boundary enforcement."));let b=new Set,A=new Set;for(let l of i){if(!l.name){a.push(x("CONFIG_LAYER_WITHOUT_NAME","A configured layer is missing a name."));continue}b.has(l.name)&&A.add(l.name),b.add(l.name),l.forbiddenGlobals!==void 0&&(!Array.isArray(l.forbiddenGlobals)||l.forbiddenGlobals.some(f=>typeof f!="string"))&&a.push(x("CONFIG_INVALID_FORBIDDEN_GLOBALS",`Layer "${l.name}" has an invalid forbiddenGlobals value; expected an array of strings (e.g. ["fetch", "Date.now"]). The entry is ignored.`,{layer:l.name}));let c=Array.isArray(l.patterns)?l.patterns:[];if(c.length===0){a.push(x("CONFIG_LAYER_WITHOUT_PATTERNS",`Layer "${l.name}" has no file patterns and will never classify files.`,{layer:l.name}));continue}for(let f of c){let y;try{y=J(f)}catch(u){a.push(x("CONFIG_INVALID_LAYER_PATTERN",`Layer "${l.name}" has an invalid pattern "${f}": ${u instanceof Error?u.message:String(u)}`,{layer:l.name,pattern:f}));continue}let v=l.optional===!0||l.reserved===!0||l.allowEmpty===!0;!r.some(u=>y.test(u))&&!v&&a.push(x("CONFIG_LAYER_PATTERN_NO_MATCHES",`Layer "${l.name}" pattern "${f}" matched no included files (possible typo). Mark the layer reserved/allowEmpty if this house is reserved for later.`,{layer:l.name,pattern:f,failsStrict:!1,reserved:!1}))}}for(let l of A)a.push(x("CONFIG_DUPLICATE_LAYER",`Layer "${l}" is configured more than once.`,{layer:l}));if(p.size>0)for(let l of n??[])l.from&&!p.has(l.from)&&a.push(x("CONFIG_RULE_UNKNOWN_FROM_LAYER",`Rule references unknown source layer "${l.from}".`,{fromLayer:l.from,toLayer:l.to})),l.to&&!p.has(l.to)&&a.push(x("CONFIG_RULE_UNKNOWN_TO_LAYER",`Rule references unknown target layer "${l.to}".`,{fromLayer:l.from,toLayer:l.to}));let h=new Set;if(i.length>1)for(let l of r){let c=-1,f=[];for(let y of i)for(let v of y.patterns??[]){if(!J(v).test(l))continue;let u=Ve(v,l);u>c?(c=u,f=[y.name]):u===c&&!f.includes(y.name)&&f.push(y.name)}f.length>1&&h.add([...f].sort().join(" + "))}h.size>0&&a.push(x("CONFIG_AMBIGUOUS_LAYERS",`Some files match multiple layers at equal specificity; classification falls back to declaration order. Disambiguate the overlapping patterns: ${[...h].join(", ")}.`,{pairs:[...h]}));let o=r.filter(l=>!V(l,i));return o.length>0&&a.push(x("CONFIG_UNCLASSIFIED_FILES",`${o.length} included source file(s) are not matched by any configured layer; ark-check will not enforce import rules for those source files.`,{count:o.length,samples:o.slice(0,5)})),a}function wt(e){let t=0,n=new Map,r=new Map,s=new Set,a=[],i=[],d=p=>{n.set(p,t),r.set(p,t),t+=1,a.push(p),s.add(p);for(let h of[...e.get(p)??[]].sort())e.has(h)&&(n.has(h)?s.has(h)&&r.set(p,Math.min(r.get(p)??0,n.get(h)??0)):(d(h),r.set(p,Math.min(r.get(p)??0,r.get(h)??0))));if(r.get(p)!==n.get(p))return;let b=[],A;do{if(A=a.pop(),A===void 0)break;s.delete(A),b.push(A)}while(A!==p);b.length>1&&i.push(b.sort())};for(let p of[...e.keys()].sort())n.has(p)||d(p);return i.sort((p,b)=>p[0]<b[0]?-1:p[0]>b[0]?1:0).map(p=>({ruleId:"CIRCULAR_DEPENDENCY",file:p[0],line:1,target:p.join(" \u2192 "),message:`Circular dependency among ${p.length} files: ${p.join(" \u2192 ")} \u2192 ${p[0]}.`,cycleKind:"value"}))}function ge(e){let t=e.contentViolations.map(a=>({...a})),n=(e.warnings??[]).map(a=>({...a})),r=new Map(e.files.map(a=>[a,new Set]));for(let a of e.edges){if(a.to&&a.to!==a.from&&!a.typeOnly&&r.has(a.from)&&r.get(a.from)?.add(a.to),!a.to||!a.fromLayer||!a.toLayer)continue;let i=ae(e.rules,a.fromLayer,a.toLayer,{fromPath:a.from,toPath:a.to,layers:e.config.layers});if(!i)continue;let d=!!i.peerIsolation,p=!d&&!!(a.typeOnly||a.namedBindingsTypeOnly),b=i.message??(d?`${a.fromLayer} must not ${a.kind} another slice of ${a.toLayer} (${a.from} \u2192 ${a.to}). Extract shared code or use events/ports across slices.`:`${a.fromLayer} must not ${a.kind} ${a.toLayer}.`);t.push({ruleId:"LAYER_IMPORT_VIOLATION",file:a.from,line:a.line,fromLayer:a.fromLayer,toLayer:a.toLayer,target:a.to,...a.typeOnly?{typeOnly:!0}:{},...a.targetTypeOnlyExports?{targetTypeOnlyExports:!0}:{},...a.sourcePureTypeModule?{sourcePureTypeModule:!0}:{},...a.namedBindingsTypeOnly?{namedBindingsTypeOnly:!0}:{},...!d&&a.portProofEligible?{portProofEligible:!0}:{},...a.kind?{edgeKind:a.kind}:{},...d?{peerIsolation:!0}:{},message:p?`${b} (type-only \u2014 type placement debt; prefer SharedTypes / owning layer; not runtime coupling)`:b,...p?{failsStrict:!1,severity:"warning"}:{}})}let s=String(e.config.cyclePolicy??"strict").toLowerCase();if(s!=="off"){let a=wt(r);s==="soft"||s==="framework-soft"?n.push(...a.map(i=>({...i,message:`${i.message} (soft cycle policy \u2014 advisory only; set cyclePolicy: "strict" to fail the check)`,failsStrict:!1}))):t.push(...a)}return{violations:t,warnings:n,safety:e.safety}}function On(e,t){return t.some(n=>{try{return J(n).test(e)}catch{return!1}})}function Pn(e,t){let n=e.contract.config.safety??{},r=Number.isInteger(n.maxTsSuppressions)?Number(n.maxTsSuppressions):0,s=Number.isInteger(n.maxAnyCasts)?Number(n.maxAnyCasts):0,a=e.contract.config.dynamicImportAllowlist??[],i=t.safetyUses.filter(f=>f.kind==="ts-suppression").map(({file:f,line:y})=>({file:f,line:y})),d=t.safetyUses.filter(f=>f.kind==="any-cast").map(({file:f,line:y})=>({file:f,line:y})),p=t.safetyUses.filter(f=>(f.kind==="dynamic-import"||f.kind==="dynamic-require")&&!On(f.file,a)).map(f=>({file:f.file,line:f.line,kind:f.kind==="dynamic-require"?"require":"import"})),b=n.allowInMemory===!0||t.projectPackageName==="arkgate"?[]:t.safetyUses.filter(f=>f.kind==="in-memory-store").map(f=>({file:f.file,line:f.line,store:f.symbol??"in-memory store"})),A=n.allowDisabledPeerIsolation===!0?[]:(e.contract.config.rules??[]).filter(f=>f.peerIsolation===!1||f.allowed===!1&&!!f.from&&f.from===f.to&&f.peerIsolation!==!0).map(f=>({from:f.from,to:f.to})),h={tsSuppressions:i,anyCasts:d,nonLiteralDynamicImports:p,inMemoryProductionStores:b,disabledPeerIsolationRules:A,thresholds:{maxTsSuppressions:r,maxAnyCasts:s}},o=[],l=p.filter(f=>f.kind==="import");if(l.length>0){let f=l[0];o.push({ruleId:"DYNAMIC_IMPORT_NOT_ALLOWLISTED",file:f.file,line:f.line,message:`${l.length} non-literal dynamic import(s) cannot be resolved statically. Add only reviewed files to dynamicImportAllowlist.`})}let c=p.filter(f=>f.kind==="require");if(c.length>0){let f=c[0];o.push({ruleId:"DYNAMIC_REQUIRE_NOT_ALLOWLISTED",file:f.file,line:f.line,message:`${c.length} non-literal require call(s) cannot be resolved statically. Add only reviewed files to dynamicImportAllowlist.`})}if(i.length>r){let f=i[0];o.push({ruleId:"TS_SUPPRESSION_THRESHOLD_EXCEEDED",file:f.file,line:f.line,message:`${i.length} @ts-ignore/@ts-nocheck directive(s) exceed safety.maxTsSuppressions (${r}).`})}if(d.length>s){let f=d[0];o.push({ruleId:"ANY_CAST_THRESHOLD_EXCEEDED",file:f.file,line:f.line,message:`${d.length} explicit any cast(s) exceed safety.maxAnyCasts (${s}).`})}if(b.length>0){let f=b[0];o.push({ruleId:"IN_MEMORY_STORE_IN_PRODUCTION_SOURCE",file:f.file,line:f.line,message:`${b.length} ArkGate InMemory store risk(s) appear in governed production source. Provide durable stores or set safety.allowInMemory only for an explicitly ephemeral service.`})}return A.length>0&&o.push({ruleId:"PEER_ISOLATION_DISABLED",message:`${A.length} rule(s) disable or omit required peerIsolation. Restore peerIsolation: true or set safety.allowDisabledPeerIsolation only with a documented production exception.`}),{report:h,warnings:o}}function Tn(e,t){return[...t].filter(n=>e===n||e.startsWith(`${n}.`)).sort((n,r)=>r.length-n.length)[0]}function xt(e,t){let n=t.config.layers.filter(r=>(r.intentPrefixes??[]).length>0);return qe(e,n.length>0?n:Ge.map(r=>({name:r.layer,prefixes:r.prefixes})))}function _n(e,t,n){let r=[],s=new Map(e.contract.config.layers.map(a=>[a.name,a]));for(let a of t.ambientUses){let i=n.get(a.file);!i||!Tn(a.symbol,s.get(i)?.forbiddenGlobals??[])||r.push({ruleId:"FORBIDDEN_GLOBAL",file:a.file,line:a.line,fromLayer:i,target:a.symbol,message:`${i} must not use the ambient global "${a.symbol}".`})}for(let a of t.capabilityUses){let i=n.get(a.file);if(!i)continue;let d=s.get(i),p=d?.forbiddenGlobals??[],b=a.source==="import-based"?t.dependencies.find(A=>A.from===a.file&&A.line===a.line&&A.specifier===a.symbol&&!A.typeOnly)?.kind:void 0;if(!(a.source==="ambient-global"&&je(a.symbol,p))){if(a.source==="import-based"){let A=fe(a.symbol,p);if(A){r.push({ruleId:"FORBIDDEN_GLOBAL",file:a.file,line:a.line,fromLayer:i,target:a.symbol,...b?{edgeKind:b}:{},message:`${i} must not use module "${a.symbol}" because it is the import form of forbidden global "${A}".`});continue}}se(d).includes(a.capability)&&r.push({ruleId:"CAPABILITY_VIOLATION",file:a.file,line:a.line,fromLayer:i,target:a.symbol,capability:a.capability,...b?{edgeKind:b}:{},message:a.source==="import-based"?`${i} denies the ${a.capability} capability; found import of "${a.symbol}".`:`${i} denies the ${a.capability} capability; found ambient "${a.symbol}".`})}}for(let a of t.publishCalls){let i=n.get(a.file);if(!i)continue;for(let p of ze({publishCall:!0,rawIntentName:a.rawIntentName,objectHasIntent:a.objectHasIntent,arkPublishCandidate:a.arkPublishCandidate,hasSource:a.hasSource}))r.push({ruleId:p.ruleId,file:a.file,line:a.line,...p.ruleId==="PUBLISH_MISSING_SOURCE"?{fromLayer:i}:{},message:p.message});if(!a.sourceIntent)continue;let d=xt(a.sourceIntent,e.contract);!d||d===i||r.push({ruleId:"PUBLISH_SOURCE_LAYER_MISMATCH",file:a.file,line:a.line,fromLayer:i,toLayer:d,target:a.sourceIntent,message:`Publish source "${a.sourceIntent}" resolves to ${d}, but the publishing file is classified as ${i}.`})}for(let a of t.intentReferences){let i=n.get(a.file);if(!i)continue;let d=xt(a.intent,e.contract);if(!d)continue;let p=ae(e.contract.config.rules,i,d);p&&r.push({ruleId:"LAYER_INTENT_REFERENCE_VIOLATION",file:a.file,line:a.line,fromLayer:i,toLayer:d,target:a.intent,message:p.message??`${i} must not reference ${d} intent ${a.intent}.`})}return r}function Ye(e){let{facts:t}=e,n=Re(e.contract.config),r=t.evidenceRequirementsHash===n,s=r?t.completeness:"unavailable",a=r?t.completenessReasons:[...t.completenessReasons,{code:"EVIDENCE_REQUIREMENTS_MISMATCH",message:"Resolved facts were collected for different policy-controlled evidence requirements."}].sort((m,N)=>{let ce=`${m.code}\0${m.file??""}\0${m.message}`,de=`${N.code}\0${N.file??""}\0${N.message}`;return ce<de?-1:ce>de?1:0}),i=t.files.map(m=>({...m,layer:V(m.path,e.contract.config.layers)??null})),d=new Map(i.map(m=>[m.path,m.layer])),p=t.dependencies.map(m=>{let N=m.target?d.get(m.target)??V(m.target,e.contract.config.layers):void 0;return{from:m.from,fromLayer:d.get(m.from)??null,...m.resolution==="resolved-project"&&m.target?{to:m.target,...N?{toLayer:N}:{}}:{},line:m.line,kind:m.kind,typeOnly:m.typeOnly,...m.targetTypeOnlyExports?{targetTypeOnlyExports:m.targetTypeOnlyExports}:{},...m.sourcePureTypeModule?{sourcePureTypeModule:m.sourcePureTypeModule}:{},...m.namedBindingsTypeOnly?{namedBindingsTypeOnly:m.namedBindingsTypeOnly}:{},...m.portProofEligible?{portProofEligible:m.portProofEligible}:{}}}),b=Ke({config:e.contract.config,rules:e.contract.config.rules,files:i.map(m=>m.path)}),A=Pn(e,t),h=e.contract.arkRules??me(),o=i.map(m=>m.path),c={...e.coverageInputs?.fileContents&&Object.keys(e.coverageInputs.fileContents).length>0?St(e.coverageInputs.fileContents):{},...e.fileHints??{}},f=[...Ct({arkRules:h,classShapes:e.contract.classShapes??t.classShapes??[],files:o,layerForFile:m=>d.get(m)??V(m,e.contract.config.layers),fileHints:c}),...kt(h,o)],y=f.filter(m=>m.failsStrict).map(m=>({ruleId:m.ruleId,file:m.file,line:m.line,message:m.message,fromLayer:m.fromLayer,arkruleId:m.arkruleId,arkruleSource:m.arkruleSource,nextAction:m.ruleId==="ARKRULE_SCOPE_EMPTY"?`Fix appliesTo globs for ${m.arkruleId} in ${m.arkruleSource} so they match governed files, or remove the rule.`:`Fix the structure or invariant for ${m.arkruleId} (declared in ${m.arkruleSource}), then preflight again.`})),v=f.filter(m=>!m.failsStrict).map(m=>({ruleId:m.ruleId,file:m.file,line:m.line,message:m.message,fromLayer:m.fromLayer,arkruleId:m.arkruleId,arkruleSource:m.arkruleSource,failsStrict:!1,nextAction:m.ruleId==="ARKRULE_SCOPE_EMPTY"?`Review appliesTo for ${m.arkruleId} in ${m.arkruleSource} (zero-match scope; advisory).`:`Review ArkRule ${m.arkruleId} in ${m.arkruleSource} (advisory).`})),g=(h.invariants?.length??0)>0?Et({arkRules:h,fileContents:e.coverageInputs?.fileContents??{},testFiles:e.coverageInputs?.testFiles??[],testGlobsMissing:e.coverageInputs?.testGlobsMissing===!0||e.coverageInputs===void 0||(e.coverageInputs.testFiles?.length??0)===0}):{coverage:[],violations:[],partial:!1},R=g.violations.filter(m=>m.failsStrict).map(m=>({ruleId:m.ruleId,file:m.file,line:m.line,message:m.message,fromLayer:m.fromLayer,arkruleId:m.arkruleId,arkruleSource:m.arkruleSource,nextAction:`Add a test title or declared symbol covering ${m.arkruleId} (declared in ${m.arkruleSource}), then preflight again.`})),S=g.violations.filter(m=>!m.failsStrict).map(m=>({ruleId:m.ruleId,file:m.file,line:m.line,message:m.message,fromLayer:m.fromLayer,arkruleId:m.arkruleId,arkruleSource:m.arkruleSource,failsStrict:!1,nextAction:`Cover invariant ${m.arkruleId} in ${m.arkruleSource} (advisory / partial).`})),Y=g.partial&&g.coverage.some(m=>m.mode==="enforced"&&m.partial)?[{code:"INVARIANT_COVERAGE_PARTIAL",message:"Enforced ArkRules invariant coverage cannot be fully proven (missing test globs or empty test set); reporting partial, never covered."}]:[],z=ge({config:e.contract.config,rules:e.contract.config.rules,files:i.filter(m=>m.layer).map(m=>m.path),contentViolations:[..._n(e,t,d),...y,...R],edges:p,warnings:[...b,...A.warnings,...v,...S],safety:A.report}),Le=s==="complete"&&Y.length>0?"partial":s,Qt=Le==="complete"?a:[...a,...Y].sort((m,N)=>{let ce=`${m.code}\0${m.file??""}\0${m.message}`,de=`${N.code}\0${N.file??""}\0${N.message}`;return ce<de?-1:ce>de?1:0}),en=z.violations.filter(m=>m.failsStrict!==!1),ot=Le==="complete"&&en.length===0,tn=ot&&z.warnings.every(m=>m.failsStrict===!1);return{mode:"resolved-candidate-facts",completeness:Le,completenessReasons:Qt,valid:ot,strictValid:tn,policyHash:e.contract.policyHash,factsHash:t.factsHash,resolverIdentity:t.resolverIdentity,candidateTreeHash:t.candidateTreeHash,safety:A.report,ir:{schemaVersion:"1.0",policyHash:e.contract.policyHash,compilerOptionsHash:t.compilerOptionsHash,files:i,layers:e.contract.config.layers.map(m=>m.name),edges:p,capabilityUses:t.capabilityUses,violations:z.violations,warnings:z.warnings}}}function $e(e){return Ye({contract:e.contract,facts:W(e.facts),coverageInputs:e.coverageInputs,fileHints:e.fileHints})}var We="1.0";var we=class extends Error{issues;source;constructor(t,n){super(`Invalid architecture change map (${t}):
+function T(e){let t=2166136261;for(let n=0;n<e.length;n+=1)t^=e.charCodeAt(n),t=Math.imul(t,16777619);return`fnv1a-${(t>>>0).toString(16).padStart(8,"0")}`}function w(e){if(e===null||typeof e!="object")return JSON.stringify(e);if(Array.isArray(e))return`[${e.map(w).join(",")}]`;let t=e;return`{${Object.keys(t).sort().map(n=>`${JSON.stringify(n)}:${w(t[n])}`).join(",")}}`}var ce="1.2";var bt=["network","filesystem","clock","randomness","environment","process","persistence"];function j(e,t){let n=w(e),r=w(t);return n<r?-1:n>r?1:0}function L(e){return[...new Set(e)].sort((t,n)=>t<n?-1:t>n?1:0)}function Te(e){let t={schemaVersion:"1.2",include:L(e.include??[]),exclude:L(e.exclude??[]),excludeGenerated:e.excludeGenerated!==!1,dynamicImportAllowlist:L(e.dynamicImportAllowlist??[]),layers:e.layers.map(n=>({name:n.name,patterns:L(n.patterns??[]),exclude:L(n.exclude??[]),forbiddenGlobals:L(n.forbiddenGlobals??[]),intentPrefixes:L(n.intentPrefixes??[]),capabilityDeny:L(n.capabilities?.deny??[]),pure:n.pure===!0})).sort(j),safety:{maxTsSuppressions:e.safety?.maxTsSuppressions??0,maxAnyCasts:e.safety?.maxAnyCasts??0,allowInMemory:e.safety?.allowInMemory===!0,allowDisabledPeerIsolation:e.safety?.allowDisabledPeerIsolation===!0},...e.arkRun?{arkRun:{mode:e.arkRun.mode,compositionRoots:L(e.arkRun.compositionRoots),managedLayers:L(e.arkRun.managedLayers),requireDeclarations:e.arkRun.requireDeclarations===!0}}:{}};return T(w(t))}function bn(e){let t=e.completenessReasons.map(g=>({code:g.code,message:g.message,...g.file?{file:g.file}:{}})).sort(j),n=e.files.map(g=>({...g,typeOnlyExportNames:L(g.typeOnlyExportNames)})).sort((g,k)=>g.path<k.path?-1:g.path>k.path?1:0),r=e.dependencies.map(g=>({...g,...g.namedBindings?{namedBindings:L(g.namedBindings)}:{}})).sort(j),s=e.capabilityUses.map(g=>({...g})).sort(j),a=e.ambientUses.map(g=>({...g})).sort(j),o=e.publishCalls.map(g=>({...g})).sort(j),i=e.intentReferences.map(g=>({...g})).sort(j),c=e.safetyUses.map(g=>({...g})).sort(j),R=(e.classShapes??[]).map(g=>({...g,mutatingMethods:[...g.mutatingMethods??[]].map(k=>({...k}))})).sort(j),A=(e.arkRunKernelCalls??[]).map(g=>({...g})).sort(j),h=(e.arkRunManagedNews??[]).map(g=>({...g})).sort(j),u=(e.arkRunCompositionRootHits??[]).map(g=>({...g})).sort(j),d=(e.arkRunDeclarations??[]).map(g=>({...g,uses:L(g.uses),reactsTo:L(g.reactsTo),raises:L(g.raises),sends:L(g.sends)})).sort(j),l=e.files.map(({path:g,contentHash:k})=>({path:g,contentHash:k})).sort((g,k)=>g.path<k.path?-1:g.path>k.path?1:0),p=T(w(l));return{schemaVersion:"1.2",completeness:e.completeness,completenessReasons:t,resolverIdentity:e.resolverIdentity,compilerIdentity:e.compilerIdentity,compilerOptionsHash:e.compilerOptionsHash,tsconfigHash:e.tsconfigHash,candidateTreeHash:p,evidenceRequirementsHash:e.evidenceRequirementsHash,...e.projectPackageName?{projectPackageName:e.projectPackageName}:{},files:n,dependencies:r,capabilityUses:s,ambientUses:a,publishCalls:o,intentReferences:i,safetyUses:c,classShapes:R,arkRunKernelCalls:A,arkRunManagedNews:h,arkRunCompositionRootHits:u,arkRunDeclarations:d}}function kt(e){let t=bn(e);return{...t,factsHash:T(w(t))}}function Oe(e){return kt(Et(O(e,"$"),!1))}function O(e,t){if(!e||typeof e!="object"||Array.isArray(e))throw new Error(`${t} must be an object.`);return e}function P(e,t,n){let r=new Set(t),s=Object.keys(e).find(a=>!r.has(a));if(s)throw new Error(`${n}.${s} is not part of schema ${"1.2"}.`)}function _(e,t,n){let r=e[t];if(typeof r!="string"||r.length===0)throw new Error(`${n}.${t} must be a non-empty string.`);return r}function Z(e,t,n){if(e[t]!==void 0)return _(e,t,n)}function D(e,t,n){let r=_(e,t,n),s=r.replace(/\\/g,"/");if(!s||s.startsWith("/")||/^[A-Za-z]:\//.test(s)||/[\u0000-\u001f\u007f]/.test(s))throw new Error(`${n}.${t} must be a canonical project-relative path.`);let a=[];for(let i of s.split("/"))if(!(!i||i==="."))if(i===".."){if(a.length===0)throw new Error(`${n}.${t} must be a canonical project-relative path.`);a.pop()}else a.push(i);let o=a.join("/");if(!o||o!==r)throw new Error(`${n}.${t} must be a canonical project-relative path.`);return o}function N(e,t,n){if(typeof e[t]!="boolean")throw new Error(`${n}.${t} must be a boolean.`);return e[t]}function vt(e,t,n){let r=e[t];if(!Number.isInteger(r)||Number(r)<0)throw new Error(`${n}.${t} must be a non-negative integer.`);return Number(r)}function J(e,t,n){let r=vt(e,t,n);if(r===0)throw new Error(`${n}.${t} must be a positive integer.`);return r}function M(e,t,n){let r=e[t];if(!Array.isArray(r))throw new Error(`${n}.${t} must be an array.`);return r}function X(e,t,n,r){let s=e[t];if(typeof s!="string"||!n.includes(s))throw new Error(`${r}.${t} must be one of ${n.join(", ")}.`);return s}function de(e,t){if(!Array.isArray(e)||e.some(n=>typeof n!="string"||!n))throw new Error(`${t} must be an array of non-empty strings.`);return[...e]}function kn(e,t,n){let r=new Set;for(let s of e){let a=t(s);if(r.has(a))throw new Error(`${n} must not contain duplicate facts (${a}).`);r.add(a)}}function Et(e,t){P(e,["schemaVersion","completeness","completenessReasons","resolverIdentity","compilerIdentity","compilerOptionsHash","tsconfigHash","evidenceRequirementsHash","projectPackageName","files","dependencies","capabilityUses","ambientUses","publishCalls","intentReferences","safetyUses","classShapes","arkRunKernelCalls","arkRunManagedNews","arkRunCompositionRootHits","arkRunDeclarations",...t?["candidateTreeHash","factsHash"]:[]],"$");let n=X(e,"schemaVersion",["1.0","1.1","1.2"],"$"),r=X(e,"completeness",["complete","partial","unavailable"],"$"),s=M(e,"completenessReasons","$").map((b,S)=>{let m=`$.completenessReasons[${S}]`,y=O(b,m);P(y,["code","message","file"],m);let I=y.file===void 0?void 0:D(y,"file",m);return{code:_(y,"code",m),message:_(y,"message",m),...I?{file:I}:{}}});if(r==="complete"&&s.length>0)throw new Error("$.completenessReasons must be empty when completeness is complete.");if(r!=="complete"&&s.length===0)throw new Error("$.completenessReasons must explain partial or unavailable facts.");let a=M(e,"files","$").map((b,S)=>{let m=`$.files[${S}]`,y=O(b,m);return P(y,["path","contentHash","parseStatus","parseDiagnosticCount","exportsOnlyTypes","typeOnlyExportNames","hasTopLevelSideEffects"],m),{path:D(y,"path",m),contentHash:_(y,"contentHash",m),parseStatus:X(y,"parseStatus",["parsed","invalid"],m),parseDiagnosticCount:vt(y,"parseDiagnosticCount",m),exportsOnlyTypes:N(y,"exportsOnlyTypes",m),typeOnlyExportNames:de(y.typeOnlyExportNames,`${m}.typeOnlyExportNames`),hasTopLevelSideEffects:N(y,"hasTopLevelSideEffects",m)}}),o=M(e,"dependencies","$").map((b,S)=>{let m=`$.dependencies[${S}]`,y=O(b,m);P(y,["from","specifier","kind","typeOnly","line","resolution","target","namedBindings","targetTypeOnlyExports","sourcePureTypeModule","namedBindingsTypeOnly","portProofEligible"],m);let I=Z(y,"specifier",m),$=Z(y,"target",m),W=X(y,"resolution",["resolved-project","resolved-external","unresolved","dynamic"],m);if(W==="resolved-project"&&!$)throw new Error(`${m}.target is required for resolved-project dependencies.`);if(W!=="resolved-project"&&$)throw new Error(`${m}.target is only allowed for resolved-project dependencies.`);if(W!=="dynamic"&&!I)throw new Error(`${m}.specifier is required unless resolution is dynamic.`);return{from:D(y,"from",m),...I?{specifier:I}:{},kind:X(y,"kind",["import","export","dynamic-import","require"],m),typeOnly:N(y,"typeOnly",m),line:J(y,"line",m),resolution:W,...$?{target:D(y,"target",m)}:{},...y.namedBindings!==void 0?{namedBindings:de(y.namedBindings,`${m}.namedBindings`)}:{},...y.targetTypeOnlyExports!==void 0?{targetTypeOnlyExports:N(y,"targetTypeOnlyExports",m)}:{},...y.sourcePureTypeModule!==void 0?{sourcePureTypeModule:N(y,"sourcePureTypeModule",m)}:{},...y.namedBindingsTypeOnly!==void 0?{namedBindingsTypeOnly:N(y,"namedBindingsTypeOnly",m)}:{},...y.portProofEligible!==void 0?{portProofEligible:N(y,"portProofEligible",m)}:{}}}),i=M(e,"capabilityUses","$").map((b,S)=>{let m=`$.capabilityUses[${S}]`,y=O(b,m);return P(y,["file","line","symbol","capability","source"],m),{file:D(y,"file",m),line:J(y,"line",m),symbol:_(y,"symbol",m),capability:X(y,"capability",bt,m),source:X(y,"source",["ambient-global","import-based"],m)}}),c=M(e,"ambientUses","$").map((b,S)=>{let m=`$.ambientUses[${S}]`,y=O(b,m);return P(y,["file","line","symbol"],m),{file:D(y,"file",m),line:J(y,"line",m),symbol:_(y,"symbol",m)}}),R=M(e,"publishCalls","$").map((b,S)=>{let m=`$.publishCalls[${S}]`,y=O(b,m);P(y,["file","line","rawIntentName","objectHasIntent","arkPublishCandidate","hasSource","sourceIntent"],m);let I=Z(y,"rawIntentName",m),$=Z(y,"sourceIntent",m);return{file:D(y,"file",m),line:J(y,"line",m),...I?{rawIntentName:I}:{},objectHasIntent:N(y,"objectHasIntent",m),arkPublishCandidate:N(y,"arkPublishCandidate",m),hasSource:N(y,"hasSource",m),...$?{sourceIntent:$}:{}}}),A=M(e,"intentReferences","$").map((b,S)=>{let m=`$.intentReferences[${S}]`,y=O(b,m);return P(y,["file","line","intent"],m),{file:D(y,"file",m),line:J(y,"line",m),intent:_(y,"intent",m)}}),h=M(e,"safetyUses","$").map((b,S)=>{let m=`$.safetyUses[${S}]`,y=O(b,m);P(y,["file","line","kind","symbol"],m);let I=Z(y,"symbol",m),$=X(y,"kind",["ts-suppression","any-cast","dynamic-import","dynamic-require","in-memory-store"],m);if($==="in-memory-store"&&!I)throw new Error(`${m}.symbol is required for in-memory-store facts.`);if($!=="in-memory-store"&&I)throw new Error(`${m}.symbol is only allowed for in-memory-store facts.`);return{file:D(y,"file",m),line:J(y,"line",m),kind:$,...I?{symbol:I}:{}}});kn(a,b=>b.path,"$.files");let u=new Set(a.map(b=>b.path));for(let b of a){if(b.parseStatus==="parsed"&&b.parseDiagnosticCount!==0)throw new Error(`$.files[${b.path}].parseDiagnosticCount must be 0 when parseStatus is parsed.`);if(b.parseStatus==="invalid"&&b.parseDiagnosticCount===0)throw new Error(`$.files[${b.path}].parseDiagnosticCount must be positive when parseStatus is invalid.`)}if(r==="complete"&&a.some(b=>b.parseStatus==="invalid"))throw new Error("$.completeness cannot be complete when a candidate file failed to parse.");for(let b of o)if(!u.has(b.from))throw new Error(`$.dependencies references missing source file ${b.from}.`);let l=(e.arkRunKernelCalls===void 0?[]:M(e,"arkRunKernelCalls","$")).map((b,S)=>{let m=`$.arkRunKernelCalls[${S}]`,y=O(b,m);P(y,["file","line","kind","callee","viaImport","receiver","nameLiteral"],m);let I=Z(y,"receiver",m),$=Z(y,"nameLiteral",m);return{file:D(y,"file",m),line:J(y,"line",m),kind:X(y,"kind",["factory","publisher","publish","raise","send","subscribe","register-handler","resolve","resolve-singleton"],m),callee:_(y,"callee",m),viaImport:N(y,"viaImport",m),...I?{receiver:I}:{},...$?{nameLiteral:$}:{}}}),g=(e.arkRunManagedNews===void 0?[]:M(e,"arkRunManagedNews","$")).map((b,S)=>{let m=`$.arkRunManagedNews[${S}]`,y=O(b,m);P(y,["file","line","typeName","importedFrom"],m);let I=Z(y,"importedFrom",m);return{file:D(y,"file",m),line:J(y,"line",m),typeName:_(y,"typeName",m),...I?{importedFrom:I}:{}}}),v=(e.arkRunCompositionRootHits===void 0?[]:M(e,"arkRunCompositionRootHits","$")).map((b,S)=>{let m=`$.arkRunCompositionRootHits[${S}]`,y=O(b,m);return P(y,["file","matchedRoot","hasKernelFactory"],m),{file:D(y,"file",m),matchedRoot:_(y,"matchedRoot",m),hasKernelFactory:N(y,"hasKernelFactory",m)}}),F=(e.arkRunDeclarations===void 0?[]:M(e,"arkRunDeclarations","$")).map((b,S)=>{let m=`$.arkRunDeclarations[${S}]`,y=O(b,m);return P(y,["file","line","uses","reactsTo","raises","sends"],m),{file:D(y,"file",m),line:J(y,"line",m),uses:de(y.uses,`${m}.uses`),reactsTo:de(y.reactsTo,`${m}.reactsTo`),raises:de(y.raises,`${m}.raises`),sends:de(y.sends,`${m}.sends`)}});for(let[b,S]of[["$.capabilityUses",i],["$.ambientUses",c],["$.publishCalls",R],["$.intentReferences",A],["$.safetyUses",h],["$.arkRunKernelCalls",l],["$.arkRunManagedNews",g],["$.arkRunCompositionRootHits",v],["$.arkRunDeclarations",F]])for(let m of S)if(!u.has(m.file))throw new Error(`${b} references missing file ${m.file}.`);let re=Z(e,"projectPackageName","$"),he=(e.classShapes===void 0?[]:M(e,"classShapes","$")).map((b,S)=>{let m=`$.classShapes[${S}]`,y=O(b,m);P(y,["file","className","exported","hasPublicMutableFields","hasPublicSetters","hasPublicConstructor","hasStaticFactory","mutatingMethods","dataOnly"],m);let I=M(y,"mutatingMethods",m).map(($,W)=>{let le=`${m}.mutatingMethods[${W}]`,Re=O($,le);return P(Re,["name","referencesGuardOrPublish"],le),{name:_(Re,"name",le),referencesGuardOrPublish:N(Re,"referencesGuardOrPublish",le)}});return{file:D(y,"file",m),className:_(y,"className",m),exported:N(y,"exported",m),hasPublicMutableFields:N(y,"hasPublicMutableFields",m),hasPublicSetters:N(y,"hasPublicSetters",m),hasPublicConstructor:N(y,"hasPublicConstructor",m),hasStaticFactory:N(y,"hasStaticFactory",m),mutatingMethods:I,...y.dataOnly===void 0?{}:{dataOnly:N(y,"dataOnly",m)}}});return{schemaVersion:n,completeness:r,completenessReasons:s,resolverIdentity:_(e,"resolverIdentity","$"),compilerIdentity:_(e,"compilerIdentity","$"),compilerOptionsHash:_(e,"compilerOptionsHash","$"),tsconfigHash:_(e,"tsconfigHash","$"),evidenceRequirementsHash:_(e,"evidenceRequirementsHash","$"),...re?{projectPackageName:re}:{},files:a,dependencies:o,capabilityUses:i,ambientUses:c,publishCalls:R,intentReferences:A,safetyUses:h,classShapes:he,arkRunKernelCalls:l,arkRunManagedNews:g,arkRunCompositionRootHits:v,arkRunDeclarations:F}}function se(e){let t=O(e,"$"),n=_(t,"factsHash","$"),r=_(t,"candidateTreeHash","$"),s=kt(Et(t,!0));if(s.factsHash!==n)throw new Error(`$.factsHash does not match the canonical payload (${s.factsHash}).`);if(r!==s.candidateTreeHash)throw new Error(`$.candidateTreeHash does not match the canonical file tree (${s.candidateTreeHash}).`);return s}var vn=["network","filesystem","clock","randomness","environment","process","persistence"],E={type:"string",minLength:1},Q={type:"integer",minimum:1},H={type:"string",minLength:1,pattern:"^(?!/)(?![A-Za-z]:/)(?!.*\\\\)(?!.*//)(?!.*(?:^|/)\\.{1,2}(?:/|$))(?!.*[\\u0000-\\u001f\\u007f])(?!.*\\/$).+$"},Ct={$schema:"https://json-schema.org/draft/2020-12/schema",$id:"https://unpkg.com/arkgate@3/schemas/ark.resolved-candidate-facts.schema.json",title:"ArkGate resolved candidate facts",type:"object",additionalProperties:!1,required:["schemaVersion","completeness","completenessReasons","resolverIdentity","compilerIdentity","compilerOptionsHash","tsconfigHash","candidateTreeHash","evidenceRequirementsHash","files","dependencies","capabilityUses","ambientUses","publishCalls","intentReferences","safetyUses","factsHash"],properties:{schemaVersion:{enum:["1.0","1.1","1.2"]},completeness:{enum:["complete","partial","unavailable"]},completenessReasons:{type:"array",items:{type:"object",additionalProperties:!1,required:["code","message"],properties:{code:E,message:E,file:H}}},resolverIdentity:E,compilerIdentity:E,compilerOptionsHash:E,tsconfigHash:E,candidateTreeHash:E,evidenceRequirementsHash:E,projectPackageName:E,files:{type:"array",uniqueItems:!0,items:{type:"object",additionalProperties:!1,required:["path","contentHash","parseStatus","parseDiagnosticCount","exportsOnlyTypes","typeOnlyExportNames","hasTopLevelSideEffects"],properties:{path:H,contentHash:E,parseStatus:{enum:["parsed","invalid"]},parseDiagnosticCount:{type:"integer",minimum:0},exportsOnlyTypes:{type:"boolean"},typeOnlyExportNames:{type:"array",items:E},hasTopLevelSideEffects:{type:"boolean"}},allOf:[{if:{properties:{parseStatus:{const:"parsed"}}},then:{properties:{parseDiagnosticCount:{const:0}}}},{if:{properties:{parseStatus:{const:"invalid"}}},then:{properties:{parseDiagnosticCount:{minimum:1}}}}]}},dependencies:{type:"array",items:{type:"object",additionalProperties:!1,required:["from","kind","typeOnly","line","resolution"],properties:{from:H,specifier:E,kind:{enum:["import","export","dynamic-import","require"]},typeOnly:{type:"boolean"},line:Q,resolution:{enum:["resolved-project","resolved-external","unresolved","dynamic"]},target:H,namedBindings:{type:"array",items:E},targetTypeOnlyExports:{type:"boolean"},sourcePureTypeModule:{type:"boolean"},namedBindingsTypeOnly:{type:"boolean"},portProofEligible:{type:"boolean"}},allOf:[{if:{properties:{resolution:{const:"resolved-project"}}},then:{required:["target"]},else:{not:{required:["target"]}}},{if:{properties:{resolution:{const:"dynamic"}}},else:{required:["specifier"]}}]}},capabilityUses:{type:"array",items:{type:"object",additionalProperties:!1,required:["file","line","symbol","capability","source"],properties:{file:H,line:Q,symbol:E,capability:{enum:vn},source:{enum:["ambient-global","import-based"]}}}},ambientUses:{type:"array",items:{type:"object",additionalProperties:!1,required:["file","line","symbol"],properties:{file:H,line:Q,symbol:E}}},publishCalls:{type:"array",items:{type:"object",additionalProperties:!1,required:["file","line","objectHasIntent","arkPublishCandidate","hasSource"],properties:{file:H,line:Q,rawIntentName:E,objectHasIntent:{type:"boolean"},arkPublishCandidate:{type:"boolean"},hasSource:{type:"boolean"},sourceIntent:E}}},intentReferences:{type:"array",items:{type:"object",additionalProperties:!1,required:["file","line","intent"],properties:{file:H,line:Q,intent:E}}},safetyUses:{type:"array",items:{type:"object",additionalProperties:!1,required:["file","line","kind"],properties:{file:H,line:Q,kind:{enum:["ts-suppression","any-cast","dynamic-import","dynamic-require","in-memory-store"]},symbol:E},allOf:[{if:{properties:{kind:{const:"in-memory-store"}}},then:{required:["symbol"]},else:{not:{required:["symbol"]}}}]}},classShapes:{type:"array",items:{type:"object",additionalProperties:!1,required:["file","className","exported","hasPublicMutableFields","hasPublicSetters","hasPublicConstructor","hasStaticFactory","mutatingMethods"],properties:{file:H,className:E,exported:{type:"boolean"},hasPublicMutableFields:{type:"boolean"},hasPublicSetters:{type:"boolean"},hasPublicConstructor:{type:"boolean"},hasStaticFactory:{type:"boolean"},dataOnly:{type:"boolean"},mutatingMethods:{type:"array",items:{type:"object",additionalProperties:!1,required:["name","referencesGuardOrPublish"],properties:{name:E,referencesGuardOrPublish:{type:"boolean"}}}}}}},arkRunKernelCalls:{type:"array",items:{type:"object",additionalProperties:!1,required:["file","line","kind","callee","viaImport"],properties:{file:H,line:Q,kind:{enum:["factory","publisher","publish","raise","send","subscribe","register-handler","resolve","resolve-singleton"]},callee:E,viaImport:{type:"boolean"},receiver:E,nameLiteral:E}}},arkRunManagedNews:{type:"array",items:{type:"object",additionalProperties:!1,required:["file","line","typeName"],properties:{file:H,line:Q,typeName:E,importedFrom:E}}},arkRunCompositionRootHits:{type:"array",items:{type:"object",additionalProperties:!1,required:["file","matchedRoot","hasKernelFactory"],properties:{file:H,matchedRoot:E,hasKernelFactory:{type:"boolean"}}}},arkRunDeclarations:{type:"array",items:{type:"object",additionalProperties:!1,required:["file","line","uses","reactsTo","raises","sends"],properties:{file:H,line:Q,uses:{type:"array",items:E},reactsTo:{type:"array",items:E},raises:{type:"array",items:E},sends:{type:"array",items:E}}}},factsHash:E},allOf:[{if:{properties:{completeness:{const:"complete"}}},then:{properties:{completenessReasons:{maxItems:0},files:{items:{properties:{parseStatus:{const:"parsed"}}}}}}},{if:{properties:{completeness:{enum:["partial","unavailable"]}}},then:{properties:{completenessReasons:{minItems:1}}}}]};var St="1.0";var qe=Object.freeze(["network","filesystem","clock","randomness","environment","process","persistence"]),Le=Object.freeze({fetch:"network",XMLHttpRequest:"network",Date:"clock","Date.now":"clock","Math.random":"randomness","process.env":"environment",process:"process"}),We=Object.freeze(Object.keys(Le).sort()),ze=Object.freeze({fs:"filesystem","node:fs":"filesystem","fs/promises":"filesystem","node:fs/promises":"filesystem","fs-extra":"filesystem","graceful-fs":"filesystem",memfs:"filesystem",chokidar:"filesystem",http:"network",https:"network",http2:"network",net:"network",tls:"network",dgram:"network",dns:"network","node:http":"network","node:https":"network","node:http2":"network","node:net":"network","node:tls":"network","node:dgram":"network","node:dns":"network",axios:"network",undici:"network","node-fetch":"network",got:"network",ky:"network",superagent:"network",ws:"network",process:"process","node:process":"process",child_process:"process","node:child_process":"process","@prisma/client":"persistence",prisma:"persistence",pg:"persistence",mysql:"persistence",mysql2:"persistence",mongodb:"persistence",mongoose:"persistence",sqlite3:"persistence","better-sqlite3":"persistence",redis:"persistence",ioredis:"persistence",typeorm:"persistence",knex:"persistence","drizzle-orm":"persistence",sequelize:"persistence",kysely:"persistence","@supabase/supabase-js":"persistence"}),Be=Object.freeze({process:Object.freeze(["process","node:process"])});function ke(e){if(!e||e.startsWith(".")||e.startsWith("/"))return null;let t=ze[e];if(t)return t;let n=e.indexOf("/");if(n<0)return null;let r=e.slice(0,n),s=ze[r];if(s)return s;let a=e.indexOf("/",n+1);return a<0?null:ze[e.slice(0,a)]??null}function ve(e,t){for(let n of t)if(Be[n]?.includes(e))return n;return null}function Ee(e){let t=e.split(".");for(let n=t.length;n>=1;n-=1){let r=t.slice(0,n).join("."),s=Le[r];if(s)return s}return null}function ue(e){if(e?.pure===!0)return[...qe].sort();let n=(e?.capabilities?.deny??[]).filter(r=>qe.includes(r));return[...new Set(n)].sort()}function Ye(e,t){if(t.length===0)return!1;let n=new Set(t),r=e.split(".");for(let s=r.length;s>=1;s-=1)if(n.has(r.slice(0,s).join(".")))return!0;return!1}function Pe(e){let t=new Set,n=new Set,r=Object.keys(Le);for(let s of e?.forbiddenGlobals??[]){let a=r.filter(o=>o===s||o.startsWith(`${s}.`));if(a.length===0)n.add(s);else for(let o of a)t.add(`ambient:${o}`);for(let o of Be[s]??[])t.add(`import-exact:${o}`)}for(let s of ue(e)){if(t.add(`import:${s}`),s==="process")for(let a of Be.process)t.add(`import-exact:${a}`);for(let a of r)Ee(a)===s&&t.add(`ambient:${a}`)}return{atoms:[...t].sort(),rawGlobals:[...n].sort()}}function En(e){let t=new Set,n=Ee(e);n&&t.add(n);for(let[r,s]of Object.entries(Le))(r===e||r.startsWith(`${e}.`))&&t.add(s);return[...t].sort()}var It=new Map;function wt(e){return/[.*+?^${}()|[\]\\]/.test(e)?`\\${e}`:e}function De(e){let t="";for(let n=0;n<e.length;n+=1){let r=e[n];if(r==="\\"&&n+1<e.length){let s=e[n+1];if("*?{}[],".includes(s)||s==="\\"){t+="\\"+s,n+=1;continue}t+="/";continue}t+=r}return t}function Cn(e){let t=0;for(let n=0;n<e.length;n+=1){let r=e[n];if(r==="\\"){n+=1;continue}if(r==="{")t+=1;else if(r==="}"&&(t-=1,t<0))return!1}return t===0}function ae(e){let t=It.get(e);if(t)return t;let n=De(e),r=Cn(n),s="",a=0;for(let i=0;i<n.length;i+=1){let c=n[i];c==="\\"&&i+1<n.length?(s+=wt(n[i+1]),i+=1):c==="*"?n[i+1]==="*"?n[i+2]==="/"?(s+="(?:.*/)?",i+=2):(s+=".*",i+=1):s+="[^/]*":c==="?"?s+="[^/]":c==="{"&&r?(s+="(?:",a+=1):c==="}"&&r&&a>0?(s+=")",a-=1):c===","&&r&&a>0?s+="|":s+=wt(c)}let o=new RegExp(`^${s}$`);return It.set(e,o),o}function Sn(e){return De(String(e)).split("/").filter(Boolean).filter(n=>n!=="**"&&n!=="*"&&!n.includes("*")&&!n.includes("?")&&!n.includes("{")&&!n.includes("["))}function Ze(e,t){let n=De(String(e)),r=Sn(n),s=n.replace(/\*/g,"").length,a=r.length*1e4+s;if(t==null||t==="")return a;let o=String(t).split(/[/\\]/).filter(Boolean);if(r.length===0)return s;let i=0,c=-1;for(let R of r){let A=-1;for(let h=i;h<o.length;h+=1)if(o[h]===R){A=h;break}if(A<0)return a;c=A,i=A+1}return(c+1)*1e6+r.length*1e4+s}function q(e,t){let n=String(e).split(/[/\\]/).join("/"),r,s=-1;for(let a of t??[])if(!(a.exclude??[]).some(o=>ae(o).test(n))){for(let o of a.patterns??[])if(ae(o).test(n)){let i=Ze(o,n);i>s&&(s=i,r=a.name)}}return r}function xt(e,t){if(!t?.length)return;let n=String(e).split(/[/\\]/).filter(Boolean),r=new Set(t.map(s=>String(s).toLowerCase()));for(let s=0;s<n.length-1;s+=1)if(r.has(n[s].toLowerCase()))return`${n[s].toLowerCase()}/${n[s+1].toLowerCase()}`}function In(e){let t=new Set;for(let n of e??[]){let s=De(String(n)).split("/").filter(Boolean);for(let a=0;a<s.length;a+=1){let o=s[a];if((o==="**"||o==="*")&&a>0){let i=s[a-1];i&&!i.includes("*")&&!i.includes("{")&&!i.includes("}")&&t.add(i)}}}return[...t]}function wn(e,t,n){if(Array.isArray(e.sliceFolders)&&e.sliceFolders.length>0)return e.sliceFolders.filter(s=>typeof s=="string"&&s.length>0);let r=(n??[]).find(s=>s.name===t);return In(r?.patterns)}function xn(e){return!e.fromPath||!e.toPath||e.folderCount<=0||!e.fromSlice||!e.toSlice?!0:e.fromSlice!==e.toSlice}function pe(e,t,n,r){for(let s of e??[])if(!(s.from!==t||s.to!==n)&&s.allowed===!1){if(s.peerIsolation){let a=r?.fromPath,o=r?.toPath,i=wn(s,t,r?.layers),c=a&&o?xt(a,i):void 0,R=a&&o?xt(o,i):void 0;if(xn({fromPath:a,toPath:o,folderCount:i.length,fromSlice:c,toSlice:R}))return s;continue}if(t!==n)return s}}var Je={RAW_EVENT_PUBLISH:"Publish through a registered intent creator; raw event objects or intent strings bypass Ark contracts and tooling.",PUBLISH_MISSING_SOURCE:"Strict Ark publish calls must include metadata.source."},Xe=Object.freeze([{layer:"DomainModel",prefixes:["Domain."]},{layer:"ApplicationOrchestration",prefixes:["Application."]},{layer:"PersistenceAdapters",prefixes:["Adapter.Persistence.","Adapter.Repository."]},{layer:"IntegrationAdapters",prefixes:["Adapter.Integration.","Adapter.External."]},{layer:"WorkflowSagaEngine",prefixes:["Workflow."]},{layer:"BackgroundJobsScheduling",prefixes:["Job."]},{layer:"PresentationAdapters",prefixes:["Presentation.","Adapter.Presentation.","Adapter.Api."]},{layer:"ReportingReadModels",prefixes:["Reporting."]},{layer:"ExtensibilityMetadata",prefixes:["Metadata."]},{layer:"SecurityAuditObservability",prefixes:["Security.","Audit.","Observability."]},{layer:"Kernel",prefixes:["Kernel."]}]);function Qe(e,t){return t.flatMap((r,s)=>(r.prefixes??r.intentPrefixes??[]).map(a=>({layer:r.name,layerIndex:s,prefix:a.endsWith(".")?a:`${a}.`}))).filter(({prefix:r})=>e.startsWith(r)).sort((r,s)=>s.prefix.length-r.prefix.length||r.layerIndex-s.layerIndex)[0]?.layer}function $t(e){return/^(Domain|Application|Adapter|Workflow|Job|Presentation|Reporting|Metadata|Security|Audit|Observability|Kernel)\.[A-Za-z0-9_.]+$/.test(e)}function et(e){if(!e.publishCall)return[];let t=[];return(e.rawIntentName!==void 0&&$t(e.rawIntentName)||e.objectHasIntent)&&t.push({ruleId:"RAW_EVENT_PUBLISH",message:Je.RAW_EVENT_PUBLISH}),e.arkPublishCandidate&&!e.hasSource&&t.push({ruleId:"PUBLISH_MISSING_SOURCE",message:Je.PUBLISH_MISSING_SOURCE}),t}var _t="https://unpkg.com/arkgate/schemas/ark.arkrules.schema.json",$n=["aggregate-private-state","always-valid-factory","domain-event-on-mutation","orchestration-only","thin-adapter","no-anemic-model","invariant-coverage"];var Nt={type:"array",items:{type:"string",minLength:1},uniqueItems:!0},fs={$schema:"https://json-schema.org/draft/2020-12/schema",$id:_t,title:"ArkGate ArkRules (intra-layer contract)",description:"Per-layer structure sensors and invariant catalog consumed by the ArkGate Effective Contract.",type:"object",additionalProperties:!1,required:["schemaVersion","layer"],properties:{$schema:{type:"string",minLength:1,default:_t},schemaVersion:{type:"string",const:"1.0",default:"1.0"},layer:{type:"string",minLength:1},structure:{type:"array",default:[],items:{$ref:"#/$defs/structureEntry"}},invariants:{type:"array",default:[],items:{$ref:"#/$defs/invariantEntry"}}},$defs:{structureEntry:{type:"object",additionalProperties:!1,required:["id","sensor"],properties:{id:{type:"string",minLength:1},sensor:{type:"string",enum:[...$n]},mode:{type:"string",enum:["advisory","enforced"],default:"advisory"},appliesTo:Nt,description:{type:"string",minLength:1}}},invariantEntry:{type:"object",additionalProperties:!1,required:["id","description"],properties:{id:{type:"string",minLength:1},description:{type:"string",minLength:1},aggregate:{type:"string",minLength:1},coverage:{type:"object",additionalProperties:!1,properties:{test:{type:"boolean"},symbol:{type:"string",minLength:1}}},mode:{type:"string",enum:["advisory","enforced"],default:"advisory"},appliesTo:Nt}}}};function Ce(){return{schemaVersion:"1.0",byLayer:{},structure:[],invariants:[]}}var _n=["no-anemic-model"];function Ft(e){return/[.*+?^${}()|[\]\\]/.test(e)?`\\${e}`:e}function Nn(e){let t="";for(let r=0;r<e.length;r+=1){let s=e[r];if(s==="\\"&&r+1<e.length){let a=e[r+1];if("*?{}[],".includes(a)||a==="\\"){t+="\\"+a,r+=1;continue}t+="/";continue}t+=s}let n="";for(let r=0;r<t.length;r+=1){let s=t[r];s==="\\"&&r+1<t.length?(n+=Ft(t[r+1]),r+=1):s==="*"?t[r+1]==="*"?t[r+2]==="/"?(n+="(?:.*/)?",r+=2):(n+=".*",r+=1):n+="[^/]*":s==="?"?n+="[^/]":n+=Ft(s)}return new RegExp(`^${n}$`)}function Se(e,t){return!t||t.length===0?!0:t.some(n=>Nn(n).test(e))}function Fn(e){return _n.includes(e)}function Tt(e){return e.mode==="enforced"&&!Fn(e.sensor)?{severity:"error",failsStrict:!0}:{severity:"warning",failsStrict:!1}}function fe(e,t,n,r=1){let{severity:s,failsStrict:a}=Tt(e);return{ruleId:"ARKRULE_STRUCTURE",code:e.sensor,message:n,file:t,line:r,fromLayer:e.provenance.layer,arkruleId:e.id,arkruleSource:e.provenance.sourceFile,severity:s,sensor:e.sensor,failsStrict:a}}function tt(e,t,n){if(!n)return!0;let r=n(e);return r?r===t.provenance.layer:!1}function Me(e,t,n){return t.filter(r=>!(!r.exported||!Se(r.file,e.appliesTo)||!tt(r.file,e,n)))}function Tn(e,t,n){let r=[];for(let s of Me(e,t,n))(s.hasPublicSetters||s.hasPublicMutableFields)&&r.push(fe(e,s.file,`Exported class ${s.className} exposes public mutable state (sensor aggregate-private-state).`));return r}function On(e,t,n){let r=[];for(let s of Me(e,t,n))if(s.hasPublicConstructor&&!s.hasStaticFactory){if(!(s.hasPublicMutableFields||s.hasPublicSetters||(s.mutatingMethods?.length??0)>0))continue;r.push(fe(e,s.file,`Exported class ${s.className} exposes a public constructor without a static factory (sensor always-valid-factory).`))}return r}function Ln(e,t,n){let r=[];for(let s of Me(e,t,n))for(let a of s.mutatingMethods)a.referencesGuardOrPublish||r.push(fe(e,s.file,`Mutating method ${s.className}.${a.name} does not reference a guard or publish symbol (sensor domain-event-on-mutation).`));return r}function Pn(e,t){let n=[];for(let r of t.files)Se(r,e.appliesTo)&&tt(r,e,t.layerForFile)&&t.fileHints?.[r]?.orchestrationHeavy&&n.push(fe(e,r,"File appears to embed domain branching beyond guard-and-delegate orchestration (sensor orchestration-only)."));return n}function Dn(e,t){let n=[];for(let r of t.files)Se(r,e.appliesTo)&&tt(r,e,t.layerForFile)&&t.fileHints?.[r]?.adapterThick&&n.push(fe(e,r,"Adapter module mixes domain branching, persistence, and mapping beyond a thin adapter (sensor thin-adapter)."));return n}function Mn(e,t,n){let r=[];for(let s of Me(e,t,n))if(s.dataOnly===!0){let a=fe(e,s.file,`Exported type ${s.className} looks data-only / anemic (sensor no-anemic-model; advisory only).`);r.push({...a,severity:"warning",failsStrict:!1})}return r}function Ot(e){if(!e.arkRules.structure.length)return[];let t=[];for(let n of e.arkRules.structure)switch(n.sensor){case"aggregate-private-state":t.push(...Tn(n,e.classShapes,e.layerForFile));break;case"always-valid-factory":t.push(...On(n,e.classShapes,e.layerForFile));break;case"domain-event-on-mutation":t.push(...Ln(n,e.classShapes,e.layerForFile));break;case"orchestration-only":t.push(...Pn(n,e));break;case"thin-adapter":t.push(...Dn(n,e));break;case"no-anemic-model":t.push(...Mn(n,e.classShapes,e.layerForFile));break;case"invariant-coverage":break;default:break}return t.sort((n,r)=>n.file.localeCompare(r.file)||n.arkruleId.localeCompare(r.arkruleId)||n.message.localeCompare(r.message))}function Lt(e,t){let n=[],r=t.map(s=>s.replace(/\\/g,"/"));for(let s of e.structure){if(!s.appliesTo||s.appliesTo.length===0||r.some(c=>Se(c,s.appliesTo)))continue;let{severity:o,failsStrict:i}=Tt(s);n.push({ruleId:"ARKRULE_SCOPE_EMPTY",code:"appliesTo-zero-match",message:`ArkRule structure "${s.id}" appliesTo matched zero governed files (patterns: ${s.appliesTo.join(", ")}). A zero-match scope is almost always misconfiguration.`,file:s.provenance.sourceFile,line:1,fromLayer:s.provenance.layer,arkruleId:s.id,arkruleSource:s.provenance.sourceFile,severity:o,sensor:s.sensor,failsStrict:i})}for(let s of e.invariants??[]){if(!s.appliesTo||s.appliesTo.length===0||r.some(i=>Se(i,s.appliesTo)))continue;let o=s.mode==="enforced";n.push({ruleId:"ARKRULE_SCOPE_EMPTY",code:"appliesTo-zero-match",message:`ArkRule invariant "${s.id}" appliesTo matched zero governed files (patterns: ${s.appliesTo.join(", ")}). A zero-match scope is almost always misconfiguration.`,file:s.provenance.sourceFile,line:1,fromLayer:s.provenance.layer,arkruleId:s.id,arkruleSource:s.provenance.sourceFile,severity:o?"error":"warning",sensor:"invariant-coverage",failsStrict:o})}return n.sort((s,a)=>s.file.localeCompare(a.file)||s.arkruleId.localeCompare(a.arkruleId)||s.message.localeCompare(a.message))}var Hn=/\bfrom\s+['"](?:@?prisma\/client|@supabase\/|drizzle-orm|typeorm|knex|mongodb|pg|mysql2|better-sqlite3|ioredis|redis)['"]|require\(\s*['"](?:@?prisma\/client|pg|knex|typeorm)/,Un=/\b(?:@Controller|@Get|@Post|@Put|@Delete|Router\(\)|createRouter|express\.Router|fastify\.(?:get|post)|export\s+(?:async\s+)?function\s+(?:GET|POST|PUT|DELETE|PATCH)\b|export\s+const\s+(?:GET|POST|PUT|DELETE|PATCH)\s*=)/,jn=/(?:^|[;\n])\s*(?:import\s+(?:type\s+)?(?:[^;]{0,512}?\s+from\s+)?|export\s+(?:type\s+)?[^;]{0,512}?\s+from\s+)['"]next\/server(?:\.js)?['"]/,Kn=/\b(?:export\s+)?(?:async\s+)?function\s+(?:can|calculate|compute|should|ensure|validate|is|has)[A-Z]\w*|\b(?:export\s+)?const\s+(?:can|calculate|compute|should|ensure|validate|is|has)[A-Z]\w*\s*=/,Vn=/\bif\s*\(\s*(?:!)?(?:order|invoice|cart|user|account|policy|aggregate|entity|amount|total|balance|status|state)\b/i;function Gn(e,t){if(!t||t.length<40)return null;let n=t.match(new RegExp(Kn.source,"g"))??[],r=t.match(new RegExp(Vn.source,"g"))??[],s=(t.match(/\bif\s*\(/g)??[]).length,a=(t.match(/\bswitch\s*\(/g)??[]).length,o=n.length>=2||n.length>=1&&r.length>=2||r.length>=3&&s+a>=6,i=Hn.test(t),c=Un.test(t)||jn.test(t),R=n.length>=1||r.length>=2,A=/\b(?:mapTo|toDomain|toDto|fromRow|toEntity|fromPrisma|serialize|deserialize)\w*\s*[(=]/.test(t),h=i&&R||c&&R||i&&A&&(s>=4||n.length>=1)||c&&i;return!o&&!h?null:{...o?{orchestrationHeavy:!0}:{},...h?{adapterThick:!0}:{}}}function Pt(e){let t={};for(let[n,r]of Object.entries(e)){let s=Gn(n,r);s&&(t[n.replace(/\\/g,"/")]=s)}return t}function zn(e,t){let n=t.replace(/[.*+?^${}()|[\]\\]/g,"\\$&");return new RegExp(`(?:describe|it|test|context)\\s*\\(\\s*['"\`][^'"\`]*${n}[^'"\`]*['"\`]`,"i").test(e)||e.includes(t)}function qn(e,t){if(!t)return!1;let n=t.split("."),r=n[n.length-1],s=n.length>1?n[0]:null;for(let a of Object.values(e))if(!(s&&!a.includes(s))&&(new RegExp(`(?:function\\s+|\\b)${r.replace(/[.*+?^${}()|[\]\\]/g,"\\$&")}\\s*[(<]`).test(a)||a.includes(t)))return!0;return!1}function Dt(e){let t=e.arkRules.invariants??[];if(t.length===0)return{coverage:[],violations:[],partial:!1};let n=e.testFiles??[],r=e.testGlobsMissing===!0||n.length===0,s=[],a=[];for(let o of t){let i=[],c=o.coverage?.test!==!1,R=o.coverage?.symbol;if(!r&&c)for(let d of n){let l=e.fileContents[d];if(l&&zn(l,o.id)){i.push("test-title");break}}R&&qn(e.fileContents,R)&&i.push("symbol");let h=(o.coverage?.test===!0||!!R||o.coverage===void 0)&&i.length>0||o.coverage?.test===!1&&!R?!0:i.length>0,u=r&&c&&i.length===0;if(s.push({invariantId:o.id,layer:o.provenance.layer,sourceFile:o.provenance.sourceFile,mode:o.mode,covered:h&&!u,evidence:i,partial:u,description:o.description}),!h||u){let d=o.mode==="enforced"&&!u,l=r||n.length===0?"never-had-tests":"tests-disappeared";a.push({ruleId:"INVARIANT_UNCOVERED",message:u?`Invariant ${o.id} coverage cannot be proven (test globs missing or empty); reporting partial, not covered (never-had-tests).`:l==="tests-disappeared"?`Invariant ${o.id} is not covered by a test title or declared symbol (tests-disappeared \u2014 suite exists).`:`Invariant ${o.id} is not covered by a test title or declared symbol (never-had-tests).`,file:o.provenance.sourceFile,line:1,arkruleId:o.id,arkruleSource:o.provenance.sourceFile,fromLayer:o.provenance.layer,severity:d?"error":"warning",failsStrict:d,kind:l})}}return{coverage:s,violations:a,partial:s.some(o=>o.partial)}}function Mt(e){return e?e.partial?{ok:!1,reason:"Coverage is partial (missing test globs); cannot promote until evidence is complete."}:e.covered?{ok:!0,reason:`Invariant ${e.invariantId} has coverage evidence.`}:{ok:!1,reason:`Invariant ${e.invariantId} is uncovered; add a test title or symbol before promoting to enforced.`}:{ok:!1,reason:"No coverage evidence supplied for this invariant; evaluate coverage before promoting to enforced."}}function Bn(e){if(!e)return{};let t=typeof e.governedPercent=="number"?e.governedPercent:null,n=typeof e.populatedLayerCount=="number"?e.populatedLayerCount:null;return n==null&&typeof e.classifiedFiles=="number"&&(n=e.classifiedFiles>0?1:0),{governedPercent:t,populatedLayerCount:n}}function Ht(e){let t=Bn(e),n=typeof t.governedPercent=="number"?t.governedPercent:null,r=typeof t.populatedLayerCount=="number"?t.populatedLayerCount:null;return n==null&&r==null?!0:(n??0)>=50&&(r??0)>=1}function Ut(e){let t=e.length,n=0,r=new Set;for(let s of e){let a=typeof s.layer=="string"&&s.layer.length>0?s.layer:null;a&&(n+=1,r.add(a))}return{governedPercent:t>0?Math.round(n/t*100):0,populatedLayerCount:r.size}}var Wn=["createArkKernel","createStrictArkKernel","createArkKernelFromConfig","createStrictArkKernelFromConfig"];var Rs=new Set(Wn);function jt(e){return e==="@arkgate/runtime"||e.startsWith("@arkgate/runtime/")||e==="arkgate/runtime"||e.startsWith("arkgate/runtime/")}var Yn=["events","node:events","eventemitter2","eventemitter3","emittery","kafkajs","kafka-node","amqplib","amqp","bull","bullmq","mqtt","nats","@aws-sdk/client-sqs","@aws-sdk/client-sns","@aws-sdk/client-eventbridge","@google-cloud/pubsub","@azure/service-bus"],nt=new Set(Yn);function Kt(e){if(!e||e.startsWith(".")||e.startsWith("/"))return!1;if(nt.has(e))return!0;let t=e.indexOf("/");if(t<0)return!1;let n=e.slice(0,t);if(nt.has(n))return!0;let r=e.indexOf("/",t+1);return r<0?!1:nt.has(e.slice(0,r))}var Zn=/(^|\/)(constants|types|enums|shared-types|shared\/(?:types|constants)|test-projects)(\/|\.|$)|(?:^|\/)[^/]*(?:constants|types)(?:\.[cm]?[jt]sx?)?$/i,Jn=/(^|\/)(?:kernel(?:\/|$)|events?(?:\/|\.|$)|bootstrap(?:\.[cm]?[jt]sx?)?$|emitter(?:\.[cm]?[jt]sx?)?$)|(?:^|\/)(?:intents?|publish)(?:\/|\.|$)/i,Xn=/(use-?cases?|usecases?|application|orchestrat|services?|handlers?)(\/|\.|$)/i;function Qn(e,t){let n=String(e??"").replace(/\\/g,"/").trim(),r=String(t?.fromLayer??""),s=String(t?.toLayer??"");return Zn.test(n)?"pure-shared":r==="PersistenceAdapters"&&(Jn.test(n)||/events?|intents?|kernel|bootstrap/i.test(`${s} ${n}`))?"kernel-emit":Xn.test(n)||(r==="DomainModel"||r==="ApplicationOrchestration")&&s==="PersistenceAdapters"?"use-case":"unknown"}function er(e){if(e.typeOnly||e.targetTypeOnlyExports||e.namedBindingsTypeOnly)return"Move the referenced type to a mutually allowed layer, use `import type`, then preflight again.";if(e.peerIsolation)return"Extract the shared dependency to a shared layer, test at the public interface, then preflight again.";let t=Qn(typeof e.target=="string"?e.target:"",{fromLayer:typeof e.fromLayer=="string"?e.fromLayer:void 0,toLayer:typeof e.toLayer=="string"?e.toLayer:void 0});return t==="pure-shared"?"Adopt the imported constants/types/pure module into DomainModel or SharedKernel (do not inject a port). Then preflight again.":t==="kernel-emit"?"Persistence must not emit. Inject a port or move the event map to SharedTypes; do not import kernel/events/bootstrap from a repository. Then preflight again.":t==="use-case"||e.portProofEligible?`Define a port in ${e.fromLayer??"the source layer"}, inject the ${e.toLayer??"outer-layer"} implementation, test at the public interface, then preflight again.`:"Classify the import: if it is constants/types/pure, adopt into DomainModel or SharedKernel; define a port only if the target is a real use-case. Then preflight again."}function tr(e){return typeof e.target=="string"&&e.target.trim().length>0?e.target.trim():void 0}function nr(e){let t=tr(e),n=typeof e.fromLayer=="string"&&e.fromLayer.length>0?e.fromLayer:void 0;switch(e.ruleId){case"ARKRUN_MISSING_ROOT":return t?`Import createStrictArkKernel from @arkgate/runtime and call it in composition root ${t} listed in arkRun.compositionRoots, then preflight again.`:"Import createStrictArkKernel from @arkgate/runtime (never a removed arkgate/runtime shim) and call it in a composition root listed in arkRun.compositionRoots, then preflight again. Never mechanical-safe \u2014 factory placement is a design decision.";case"ARKRUN_KERNEL_IN_DOMAIN":return t?`Move the kernel import of ${t} out of ${n??"the Domain-role layer"} into a composition root or adapter. Import from @arkgate/runtime, never a removed arkgate/runtime shim, then preflight again.`:"Move the kernel import out of the Domain-role layer into a composition root or adapter. Import from @arkgate/runtime, never a removed arkgate/runtime shim, then preflight again. Never mechanical-safe.";case"ARKRUN_DIRECT_NEW":return t?`Resolve ${t} from the kernel instead of constructing it with new, then preflight again.`:"Resolve the type from the kernel instead of constructing it with new, then preflight again. Never mechanical-safe \u2014 rewiring construction is a design decision.";case"ARKRUN_UNDECLARED_EMIT":return t?`Add ${t} to raises or sends on the managed component, then preflight again.`:"Add the existing call-site name to raises or sends on the managed component, then preflight again. Mechanical-safe only when that literal already exists and the edit is the declaration list; inventing a new emit stays judgment.";case"ARKRUN_UNDECLARED_HANDLE":return t?`Add ${t} to reactsTo on the managed component, then preflight again.`:"Add the existing call-site name to reactsTo on the managed component, then preflight again. Mechanical-safe only when that literal already exists and the edit is the declaration list; inventing a new handle stays judgment.";case"ARKRUN_UNDECLARED_DEPEND":return t?`Add ${t} to uses on the managed component, then preflight again.`:"Add the existing call-site name to uses on the managed component, then preflight again. Mechanical-safe only when that literal already exists and the edit is the declaration list; inventing a new depend stays judgment.";case"ARKRUN_TRANSPORT_BYPASS":return t?`Send through the ArkRun kernel transport instead of importing ${t}, then preflight again.`:"Send through the ArkRun kernel transport instead of importing that broker or emitter, then preflight again. Never mechanical-safe \u2014 homemade buses stay judgment.";default:return`Resolve ${typeof e.ruleId=="string"&&e.ruleId.length>0?e.ruleId:"ARK_UNKNOWN"} without weakening ark.config.json, then run Ark again.`}}function me(e){switch(e.ruleId){case"LAYER_IMPORT_VIOLATION":return er(e);case"FORBIDDEN_GLOBAL":return`Inject ${e.target??"the capability"} through a port, test at the public interface, then preflight again.`;case"CAPABILITY_VIOLATION":return`Define a ${String(e.capability??"capability")} port in ${e.fromLayer??"the walled layer"}, bind the implementation outside it, test at the public interface, then preflight again.`;case"CIRCULAR_DEPENDENCY":return"Extract the shared dependency into a third module, test at the public interface, then preflight again.";case"RAW_EVENT_PUBLISH":return"Publish through a registered intent creator, then run Ark again.";case"PUBLISH_MISSING_SOURCE":return"Add metadata.source to the publish call, then run Ark again.";case"ARKRULE_STRUCTURE":case"ARKRULE_INVARIANT":case"INVARIANT_UNCOVERED":return`Fix the structure or invariant for ${typeof e.arkruleId=="string"&&e.arkruleId.length>0?e.arkruleId:"the ArkRule"} (declared in ${typeof e.arkruleSource=="string"&&e.arkruleSource.length>0?e.arkruleSource:"arkrules/<Layer>.json"}), then preflight again. Do not demote the rule without a hash-bound policy acknowledgement.`;case"ARKRUN_MISSING_ROOT":case"ARKRUN_KERNEL_IN_DOMAIN":case"ARKRUN_DIRECT_NEW":case"ARKRUN_UNDECLARED_EMIT":case"ARKRUN_UNDECLARED_HANDLE":case"ARKRUN_UNDECLARED_DEPEND":case"ARKRUN_TRANSPORT_BYPASS":return nr(e);default:return typeof e.ruleId=="string"&&e.ruleId.startsWith("ARKRULE_")?`Fix the ArkRule ${typeof e.arkruleId=="string"?e.arkruleId:e.ruleId}, then preflight again.`:`Resolve ${typeof e.ruleId=="string"&&e.ruleId.length>0?e.ruleId:"ARK_UNKNOWN"} without weakening ark.config.json, then run Ark again.`}}var rr=["arkrun-kernel-in-domain","arkrun-direct-new","arkrun-transport-bypass"],xs=new Set(rr);var Vt={"arkrun-missing-root":"ARKRUN_MISSING_ROOT","arkrun-kernel-in-domain":"ARKRUN_KERNEL_IN_DOMAIN","arkrun-direct-new":"ARKRUN_DIRECT_NEW","arkrun-undeclared-emit":"ARKRUN_UNDECLARED_EMIT","arkrun-undeclared-handle":"ARKRUN_UNDECLARED_HANDLE","arkrun-undeclared-depend":"ARKRUN_UNDECLARED_DEPEND","arkrun-transport-bypass":"ARKRUN_TRANSPORT_BYPASS"},sr="ARKRUN_INTERACTION_NAME_INCOMPLETE";function qt(e,t=[]){let n=e.trim();return/^domain(?:model)?$/i.test(n)||/^domain(?=[A-Z_\-\s])/i.test(n)||/^(?:entit(?:y|ies)|aggregates?)(?:$|(?=[A-Z_\-\s]))/i.test(n)?!0:t.some(r=>{let s=r.trim().replace(/\.+$/,"");return s==="Domain"||s.startsWith("Domain.")})}function ar(e,t){return e.file.localeCompare(t.file)||e.ruleId.localeCompare(t.ruleId)||e.line-t.line||e.message.localeCompare(t.message)}function ee(e,t,n,r,s,a,o){let i=e.mode==="enforced"&&o;return{ruleId:Vt[t],sensor:t,message:s,file:n,line:r,...a?.fromLayer?{fromLayer:a.fromLayer}:{},...a?.target?{target:a.target}:{},severity:i?"error":"warning",failsStrict:i,nextAction:me({ruleId:Vt[t],fromLayer:a?.fromLayer,target:a?.target})}}function or(e,t){let n=[],r=[],s=[],a=[];for(let o of e)o.file===t&&(n.push(...o.uses),r.push(...o.reactsTo),s.push(...o.raises),a.push(...o.sends));return{uses:new Set(n),reactsTo:new Set(r),raises:new Set(s),sends:new Set(a)}}function Gt(e){return e==="publisher"||e==="publish"||e==="raise"||e==="send"}function zt(e){return e==="subscribe"||e==="register-handler"}function ir(e){return e==="resolve"||e==="resolve-singleton"}function lr(e,t,n){let r=[],s=e.compositionRoots;if(s.length===0)return r.push(ee(e,"arkrun-missing-root","ark.config.json",1,"ArkRun compositionRoots is empty; no createArkKernel factory site is declared.",void 0,n)),r;let a=new Map;for(let o of t){let i=a.get(o.matchedRoot)??[];i.push(o),a.set(o.matchedRoot,i)}for(let o of s){let i=[...a.get(o)??[]].sort((R,A)=>R.file.localeCompare(A.file));if(i.length===0){r.push(ee(e,"arkrun-missing-root","ark.config.json",1,`ArkRun composition root ${JSON.stringify(o)} matched no governed files and has no createArkKernel factory.`,{target:o},n));continue}if(i.some(R=>R.hasKernelFactory))continue;let c=i[0];r.push(ee(e,"arkrun-missing-root",c.file,1,`ArkRun composition root ${JSON.stringify(o)} has no createArkKernel / createStrictArkKernel factory.`,{target:o},n))}return r}function cr(e,t,n,r,s){let a=new Map(t.map(i=>[i.name,i.intentPrefixes??[]])),o=[];for(let i of n){let c=i.specifier;if(!c||!jt(c))continue;let R=r(i.from);R&&qt(R,a.get(R)??[])&&o.push(ee(e,"arkrun-kernel-in-domain",i.from,i.line,`${R} must not import kernel module ${JSON.stringify(c)}.`,{fromLayer:R,target:c},s))}return o}function dr(e,t,n,r,s,a){let o=new Set(e.managedLayers);if(o.size===0)return[];let i=new Map(t.map(A=>[A.name,A.intentPrefixes??[]])),c=new Set(r.filter(A=>A.hasKernelFactory).map(A=>A.file)),R=[];for(let A of n){if(c.has(A.file))continue;let h=s(A.file);!h||!o.has(h)||qt(h,i.get(h)??[])||R.push(ee(e,"arkrun-direct-new",A.file,A.line,`${h} must not construct ${A.typeName} with new outside an ArkRun composition-root factory.`,{fromLayer:h,target:A.typeName},a))}return R}function ur(e,t,n,r,s){let a=[],o=[];if(e.requireDeclarations!==!0)return{findings:a,completenessReasons:o};let i=new Set(e.managedLayers);if(i.size===0)return{findings:a,completenessReasons:o};for(let c of t){if(!Gt(c.kind)&&!zt(c.kind)&&!ir(c.kind))continue;let R=r(c.file);if(!R||!i.has(R))continue;if(!c.nameLiteral){e.mode==="enforced"&&o.push({code:sr,file:c.file,message:`ArkRun ${c.kind} call in ${c.file} has no string-literal name; enforced extra cannot prove the declaration.`});continue}let A=or(n,c.file);if(Gt(c.kind)){if(A.raises.has(c.nameLiteral)||A.sends.has(c.nameLiteral))continue;a.push(ee(e,"arkrun-undeclared-emit",c.file,c.line,`Emit ${JSON.stringify(c.nameLiteral)} is not declared in raises or sends.`,{fromLayer:R,target:c.nameLiteral},s));continue}if(zt(c.kind)){if(A.reactsTo.has(c.nameLiteral))continue;a.push(ee(e,"arkrun-undeclared-handle",c.file,c.line,`Handle ${JSON.stringify(c.nameLiteral)} is not declared in reactsTo.`,{fromLayer:R,target:c.nameLiteral},s));continue}A.uses.has(c.nameLiteral)||a.push(ee(e,"arkrun-undeclared-depend",c.file,c.line,`Depend ${JSON.stringify(c.nameLiteral)} is not declared in uses.`,{fromLayer:R,target:c.nameLiteral},s))}return{findings:a,completenessReasons:o}}function pr(e,t,n,r){let s=new Set(e.managedLayers);if(s.size===0)return[];let a=[];for(let o of t){if(o.typeOnly)continue;let i=o.specifier;if(!i||!Kt(i))continue;let c=n(o.from);!c||!s.has(c)||a.push(ee(e,"arkrun-transport-bypass",o.from,o.line,`${c} must not import broker/queue/emitter ${JSON.stringify(i)}; use the ArkRun kernel transport.`,{fromLayer:c,target:i},r))}return a}function Bt(e){let t=e.arkRun;if(!t)return{findings:[],completenessReasons:[]};let n=Ht(e.classification),r=ur(t,e.kernelCalls,e.declarations,e.layerForFile,n),s=[...lr(t,e.compositionRootHits,n),...cr(t,e.layers,e.dependencies,e.layerForFile,n),...dr(t,e.layers,e.managedNews,e.compositionRootHits,e.layerForFile,n),...r.findings,...pr(t,e.dependencies,e.layerForFile,n)].sort(ar),a=[...r.completenessReasons].sort((o,i)=>{let c=`${o.code}\0${o.file??""}\0${o.message}`,R=`${i.code}\0${i.file??""}\0${i.message}`;return c<R?-1:c>R?1:0});return{findings:s,completenessReasons:a}}function U(e,t,n={}){return{ruleId:e,message:t,...n}}function rt(e){let{config:t,rules:n,files:r,manifest:s}=e,a=[];if(t.dynamicImportAllowlist!==void 0&&(!Array.isArray(t.dynamicImportAllowlist)||t.dynamicImportAllowlist.some(d=>typeof d!="string"))&&a.push(U("CONFIG_INVALID_DYNAMIC_IMPORT_ALLOWLIST","dynamicImportAllowlist must be an array of file globs.")),t.safety!==void 0&&(t.safety===null||typeof t.safety!="object"||Array.isArray(t.safety)))a.push(U("CONFIG_INVALID_SAFETY","safety must be an object."));else if(t.safety)for(let d of["maxTsSuppressions","maxAnyCasts"]){let l=t.safety[d];l!==void 0&&(!Number.isInteger(l)||l<0)&&a.push(U("CONFIG_INVALID_SAFETY_THRESHOLD",`safety.${d} must be a non-negative integer.`))}let o=Array.isArray(t.layers)?t.layers:[],i=Array.isArray(s?.architecture?.layers)?s.architecture.layers:[],c=new Set([...o.map(d=>d.name).filter(Boolean),...i.map(d=>d.name).filter(d=>!!d)]);o.length===0&&a.push(U("CONFIG_NO_LAYERS","No file layers are configured; ark-check cannot classify files for import-boundary enforcement."));let R=new Set,A=new Set;for(let d of o){if(!d.name){a.push(U("CONFIG_LAYER_WITHOUT_NAME","A configured layer is missing a name."));continue}R.has(d.name)&&A.add(d.name),R.add(d.name),d.forbiddenGlobals!==void 0&&(!Array.isArray(d.forbiddenGlobals)||d.forbiddenGlobals.some(p=>typeof p!="string"))&&a.push(U("CONFIG_INVALID_FORBIDDEN_GLOBALS",`Layer "${d.name}" has an invalid forbiddenGlobals value; expected an array of strings (e.g. ["fetch", "Date.now"]). The entry is ignored.`,{layer:d.name}));let l=Array.isArray(d.patterns)?d.patterns:[];if(l.length===0){a.push(U("CONFIG_LAYER_WITHOUT_PATTERNS",`Layer "${d.name}" has no file patterns and will never classify files.`,{layer:d.name}));continue}for(let p of l){let g;try{g=ae(p)}catch(v){a.push(U("CONFIG_INVALID_LAYER_PATTERN",`Layer "${d.name}" has an invalid pattern "${p}": ${v instanceof Error?v.message:String(v)}`,{layer:d.name,pattern:p}));continue}let k=d.optional===!0||d.reserved===!0||d.allowEmpty===!0;!r.some(v=>g.test(v))&&!k&&a.push(U("CONFIG_LAYER_PATTERN_NO_MATCHES",`Layer "${d.name}" pattern "${p}" matched no included files (possible typo). Mark the layer reserved/allowEmpty if this house is reserved for later.`,{layer:d.name,pattern:p,failsStrict:!1,reserved:!1}))}}for(let d of A)a.push(U("CONFIG_DUPLICATE_LAYER",`Layer "${d}" is configured more than once.`,{layer:d}));if(c.size>0)for(let d of n??[])d.from&&!c.has(d.from)&&a.push(U("CONFIG_RULE_UNKNOWN_FROM_LAYER",`Rule references unknown source layer "${d.from}".`,{fromLayer:d.from,toLayer:d.to})),d.to&&!c.has(d.to)&&a.push(U("CONFIG_RULE_UNKNOWN_TO_LAYER",`Rule references unknown target layer "${d.to}".`,{fromLayer:d.from,toLayer:d.to}));let h=new Set;if(o.length>1)for(let d of r){let l=-1,p=[];for(let g of o)for(let k of g.patterns??[]){if(!ae(k).test(d))continue;let v=Ze(k,d);v>l?(l=v,p=[g.name]):v===l&&!p.includes(g.name)&&p.push(g.name)}p.length>1&&h.add([...p].sort().join(" + "))}h.size>0&&a.push(U("CONFIG_AMBIGUOUS_LAYERS",`Some files match multiple layers at equal specificity; classification falls back to declaration order. Disambiguate the overlapping patterns: ${[...h].join(", ")}.`,{pairs:[...h]}));let u=r.filter(d=>!q(d,o));return u.length>0&&a.push(U("CONFIG_UNCLASSIFIED_FILES",`${u.length} included source file(s) are not matched by any configured layer; ark-check will not enforce import rules for those source files.`,{count:u.length,samples:u.slice(0,5)})),a}function Wt(e){let t=0,n=new Map,r=new Map,s=new Set,a=[],o=[],i=c=>{n.set(c,t),r.set(c,t),t+=1,a.push(c),s.add(c);for(let h of[...e.get(c)??[]].sort())e.has(h)&&(n.has(h)?s.has(h)&&r.set(c,Math.min(r.get(c)??0,n.get(h)??0)):(i(h),r.set(c,Math.min(r.get(c)??0,r.get(h)??0))));if(r.get(c)!==n.get(c))return;let R=[],A;do{if(A=a.pop(),A===void 0)break;s.delete(A),R.push(A)}while(A!==c);R.length>1&&o.push(R.sort())};for(let c of[...e.keys()].sort())n.has(c)||i(c);return o.sort((c,R)=>c[0]<R[0]?-1:c[0]>R[0]?1:0).map(c=>({ruleId:"CIRCULAR_DEPENDENCY",file:c[0],line:1,target:c.join(" \u2192 "),message:`Circular dependency among ${c.length} files: ${c.join(" \u2192 ")} \u2192 ${c[0]}.`,cycleKind:"value"}))}function Ie(e){let t=e.contentViolations.map(a=>({...a})),n=(e.warnings??[]).map(a=>({...a})),r=new Map(e.files.map(a=>[a,new Set]));for(let a of e.edges){if(a.to&&a.to!==a.from&&!a.typeOnly&&r.has(a.from)&&r.get(a.from)?.add(a.to),!a.to||!a.fromLayer||!a.toLayer)continue;let o=pe(e.rules,a.fromLayer,a.toLayer,{fromPath:a.from,toPath:a.to,layers:e.config.layers});if(!o)continue;let i=!!o.peerIsolation,c=!i&&!!(a.typeOnly||a.namedBindingsTypeOnly),R=o.message??(i?`${a.fromLayer} must not ${a.kind} another slice of ${a.toLayer} (${a.from} \u2192 ${a.to}). Extract shared code or use events/ports across slices.`:`${a.fromLayer} must not ${a.kind} ${a.toLayer}.`);t.push({ruleId:"LAYER_IMPORT_VIOLATION",file:a.from,line:a.line,fromLayer:a.fromLayer,toLayer:a.toLayer,target:a.to,...a.typeOnly?{typeOnly:!0}:{},...a.targetTypeOnlyExports?{targetTypeOnlyExports:!0}:{},...a.sourcePureTypeModule?{sourcePureTypeModule:!0}:{},...a.namedBindingsTypeOnly?{namedBindingsTypeOnly:!0}:{},...!i&&a.portProofEligible?{portProofEligible:!0}:{},...a.kind?{edgeKind:a.kind}:{},...i?{peerIsolation:!0}:{},message:c?`${R} (type-only \u2014 type placement debt; prefer SharedTypes / owning layer; not runtime coupling)`:R,...c?{failsStrict:!1,severity:"warning"}:{}})}let s=String(e.config.cyclePolicy??"strict").toLowerCase();if(s!=="off"){let a=Wt(r);s==="soft"||s==="framework-soft"?n.push(...a.map(o=>({...o,message:`${o.message} (soft cycle policy \u2014 advisory only; set cyclePolicy: "strict" to fail the check)`,failsStrict:!1}))):t.push(...a)}return{violations:t,warnings:n,safety:e.safety}}function fr(e,t){return t.some(n=>{try{return ae(n).test(e)}catch{return!1}})}function mr(e,t){let n=e.contract.config.safety??{},r=Number.isInteger(n.maxTsSuppressions)?Number(n.maxTsSuppressions):0,s=Number.isInteger(n.maxAnyCasts)?Number(n.maxAnyCasts):0,a=e.contract.config.dynamicImportAllowlist??[],o=t.safetyUses.filter(p=>p.kind==="ts-suppression").map(({file:p,line:g})=>({file:p,line:g})),i=t.safetyUses.filter(p=>p.kind==="any-cast").map(({file:p,line:g})=>({file:p,line:g})),c=t.safetyUses.filter(p=>(p.kind==="dynamic-import"||p.kind==="dynamic-require")&&!fr(p.file,a)).map(p=>({file:p.file,line:p.line,kind:p.kind==="dynamic-require"?"require":"import"})),R=n.allowInMemory===!0||t.projectPackageName==="arkgate"?[]:t.safetyUses.filter(p=>p.kind==="in-memory-store").map(p=>({file:p.file,line:p.line,store:p.symbol??"in-memory store"})),A=n.allowDisabledPeerIsolation===!0?[]:(e.contract.config.rules??[]).filter(p=>p.peerIsolation===!1||p.allowed===!1&&!!p.from&&p.from===p.to&&p.peerIsolation!==!0).map(p=>({from:p.from,to:p.to})),h={tsSuppressions:o,anyCasts:i,nonLiteralDynamicImports:c,inMemoryProductionStores:R,disabledPeerIsolationRules:A,thresholds:{maxTsSuppressions:r,maxAnyCasts:s}},u=[],d=c.filter(p=>p.kind==="import");if(d.length>0){let p=d[0];u.push({ruleId:"DYNAMIC_IMPORT_NOT_ALLOWLISTED",file:p.file,line:p.line,message:`${d.length} non-literal dynamic import(s) cannot be resolved statically. Add only reviewed files to dynamicImportAllowlist.`})}let l=c.filter(p=>p.kind==="require");if(l.length>0){let p=l[0];u.push({ruleId:"DYNAMIC_REQUIRE_NOT_ALLOWLISTED",file:p.file,line:p.line,message:`${l.length} non-literal require call(s) cannot be resolved statically. Add only reviewed files to dynamicImportAllowlist.`})}if(o.length>r){let p=o[0];u.push({ruleId:"TS_SUPPRESSION_THRESHOLD_EXCEEDED",file:p.file,line:p.line,message:`${o.length} @ts-ignore/@ts-nocheck directive(s) exceed safety.maxTsSuppressions (${r}).`})}if(i.length>s){let p=i[0];u.push({ruleId:"ANY_CAST_THRESHOLD_EXCEEDED",file:p.file,line:p.line,message:`${i.length} explicit any cast(s) exceed safety.maxAnyCasts (${s}).`})}if(R.length>0){let p=R[0];u.push({ruleId:"IN_MEMORY_STORE_IN_PRODUCTION_SOURCE",file:p.file,line:p.line,message:`${R.length} ArkGate InMemory store risk(s) appear in governed production source. Provide durable stores or set safety.allowInMemory only for an explicitly ephemeral service.`})}return A.length>0&&u.push({ruleId:"PEER_ISOLATION_DISABLED",message:`${A.length} rule(s) disable or omit required peerIsolation. Restore peerIsolation: true or set safety.allowDisabledPeerIsolation only with a documented production exception.`}),{report:h,warnings:u}}function gr(e,t){return[...t].filter(n=>e===n||e.startsWith(`${n}.`)).sort((n,r)=>r.length-n.length)[0]}function Yt(e,t){let n=t.config.layers.filter(r=>(r.intentPrefixes??[]).length>0);return Qe(e,n.length>0?n:Xe.map(r=>({name:r.layer,prefixes:r.prefixes})))}function yr(e,t,n){let r=[],s=new Map(e.contract.config.layers.map(a=>[a.name,a]));for(let a of t.ambientUses){let o=n.get(a.file);!o||!gr(a.symbol,s.get(o)?.forbiddenGlobals??[])||r.push({ruleId:"FORBIDDEN_GLOBAL",file:a.file,line:a.line,fromLayer:o,target:a.symbol,message:`${o} must not use the ambient global "${a.symbol}".`})}for(let a of t.capabilityUses){let o=n.get(a.file);if(!o)continue;let i=s.get(o),c=i?.forbiddenGlobals??[],R=a.source==="import-based"?t.dependencies.find(A=>A.from===a.file&&A.line===a.line&&A.specifier===a.symbol&&!A.typeOnly)?.kind:void 0;if(!(a.source==="ambient-global"&&Ye(a.symbol,c))){if(a.source==="import-based"){let A=ve(a.symbol,c);if(A){r.push({ruleId:"FORBIDDEN_GLOBAL",file:a.file,line:a.line,fromLayer:o,target:a.symbol,...R?{edgeKind:R}:{},message:`${o} must not use module "${a.symbol}" because it is the import form of forbidden global "${A}".`});continue}}ue(i).includes(a.capability)&&r.push({ruleId:"CAPABILITY_VIOLATION",file:a.file,line:a.line,fromLayer:o,target:a.symbol,capability:a.capability,...R?{edgeKind:R}:{},message:a.source==="import-based"?`${o} denies the ${a.capability} capability; found import of "${a.symbol}".`:`${o} denies the ${a.capability} capability; found ambient "${a.symbol}".`})}}for(let a of t.publishCalls){let o=n.get(a.file);if(!o)continue;for(let c of et({publishCall:!0,rawIntentName:a.rawIntentName,objectHasIntent:a.objectHasIntent,arkPublishCandidate:a.arkPublishCandidate,hasSource:a.hasSource}))r.push({ruleId:c.ruleId,file:a.file,line:a.line,...c.ruleId==="PUBLISH_MISSING_SOURCE"?{fromLayer:o}:{},message:c.message});if(!a.sourceIntent)continue;let i=Yt(a.sourceIntent,e.contract);!i||i===o||r.push({ruleId:"PUBLISH_SOURCE_LAYER_MISMATCH",file:a.file,line:a.line,fromLayer:o,toLayer:i,target:a.sourceIntent,message:`Publish source "${a.sourceIntent}" resolves to ${i}, but the publishing file is classified as ${o}.`})}for(let a of t.intentReferences){let o=n.get(a.file);if(!o)continue;let i=Yt(a.intent,e.contract);if(!i)continue;let c=pe(e.contract.config.rules,o,i);c&&r.push({ruleId:"LAYER_INTENT_REFERENCE_VIOLATION",file:a.file,line:a.line,fromLayer:o,toLayer:i,target:a.intent,message:c.message??`${o} must not reference ${i} intent ${a.intent}.`})}return r}function st(e){let{facts:t}=e,n=Te(e.contract.config),r=t.evidenceRequirementsHash===n,s=r?t.completeness:"unavailable",a=r?t.completenessReasons:[...t.completenessReasons,{code:"EVIDENCE_REQUIREMENTS_MISMATCH",message:"Resolved facts were collected for different policy-controlled evidence requirements."}].sort((f,Y)=>{let Ae=`${f.code}\0${f.file??""}\0${f.message}`,be=`${Y.code}\0${Y.file??""}\0${Y.message}`;return Ae<be?-1:Ae>be?1:0}),o=t.files.map(f=>({...f,layer:q(f.path,e.contract.config.layers)??null})),i=new Map(o.map(f=>[f.path,f.layer])),c=t.dependencies.map(f=>{let Y=f.target?i.get(f.target)??q(f.target,e.contract.config.layers):void 0;return{from:f.from,fromLayer:i.get(f.from)??null,...f.resolution==="resolved-project"&&f.target?{to:f.target,...Y?{toLayer:Y}:{}}:{},line:f.line,kind:f.kind,typeOnly:f.typeOnly,...f.targetTypeOnlyExports?{targetTypeOnlyExports:f.targetTypeOnlyExports}:{},...f.sourcePureTypeModule?{sourcePureTypeModule:f.sourcePureTypeModule}:{},...f.namedBindingsTypeOnly?{namedBindingsTypeOnly:f.namedBindingsTypeOnly}:{},...f.portProofEligible?{portProofEligible:f.portProofEligible}:{}}}),R=rt({config:e.contract.config,rules:e.contract.config.rules,files:o.map(f=>f.path)}),A=mr(e,t),h=e.contract.arkRules??Ce(),u=o.map(f=>f.path),l={...e.coverageInputs?.fileContents&&Object.keys(e.coverageInputs.fileContents).length>0?Pt(e.coverageInputs.fileContents):{},...e.fileHints??{}},p=[...Ot({arkRules:h,classShapes:e.contract.classShapes??t.classShapes??[],files:u,layerForFile:f=>i.get(f)??q(f,e.contract.config.layers),fileHints:l}),...Lt(h,u)],g=p.filter(f=>f.failsStrict).map(f=>({ruleId:f.ruleId,file:f.file,line:f.line,message:f.message,fromLayer:f.fromLayer,arkruleId:f.arkruleId,arkruleSource:f.arkruleSource,nextAction:f.ruleId==="ARKRULE_SCOPE_EMPTY"?`Fix appliesTo globs for ${f.arkruleId} in ${f.arkruleSource} so they match governed files, or remove the rule.`:`Fix the structure or invariant for ${f.arkruleId} (declared in ${f.arkruleSource}), then preflight again.`})),k=p.filter(f=>!f.failsStrict).map(f=>({ruleId:f.ruleId,file:f.file,line:f.line,message:f.message,fromLayer:f.fromLayer,arkruleId:f.arkruleId,arkruleSource:f.arkruleSource,failsStrict:!1,nextAction:f.ruleId==="ARKRULE_SCOPE_EMPTY"?`Review appliesTo for ${f.arkruleId} in ${f.arkruleSource} (zero-match scope; advisory).`:`Review ArkRule ${f.arkruleId} in ${f.arkruleSource} (advisory).`})),x=(h.invariants?.length??0)>0?Dt({arkRules:h,fileContents:e.coverageInputs?.fileContents??{},testFiles:e.coverageInputs?.testFiles??[],testGlobsMissing:e.coverageInputs?.testGlobsMissing===!0||e.coverageInputs===void 0||(e.coverageInputs.testFiles?.length??0)===0}):{coverage:[],violations:[],partial:!1},F=x.violations.filter(f=>f.failsStrict).map(f=>({ruleId:f.ruleId,file:f.file,line:f.line,message:f.message,fromLayer:f.fromLayer,arkruleId:f.arkruleId,arkruleSource:f.arkruleSource,nextAction:`Add a test title or declared symbol covering ${f.arkruleId} (declared in ${f.arkruleSource}), then preflight again.`})),re=x.violations.filter(f=>!f.failsStrict).map(f=>({ruleId:f.ruleId,file:f.file,line:f.line,message:f.message,fromLayer:f.fromLayer,arkruleId:f.arkruleId,arkruleSource:f.arkruleSource,failsStrict:!1,nextAction:`Cover invariant ${f.arkruleId} in ${f.arkruleSource} (advisory / partial).`})),Rt=Ut(o),he=Bt({arkRun:e.contract.config.arkRun,layers:e.contract.config.layers,kernelCalls:t.arkRunKernelCalls,managedNews:t.arkRunManagedNews,compositionRootHits:t.arkRunCompositionRootHits,declarations:t.arkRunDeclarations,dependencies:t.dependencies,layerForFile:f=>i.get(f)??q(f,e.contract.config.layers),classification:Rt}),b=e.contract.config.arkRun?.mode,S=he.findings.filter(()=>b==="enforced").map(f=>({ruleId:f.ruleId,file:f.file,line:f.line,message:f.message,fromLayer:f.fromLayer,target:f.target,nextAction:f.nextAction,sensor:f.sensor,failsStrict:f.failsStrict,...f.severity?{severity:f.severity}:{}})),m=he.findings.filter(()=>b!=="enforced").map(f=>({ruleId:f.ruleId,file:f.file,line:f.line,message:f.message,fromLayer:f.fromLayer,target:f.target,nextAction:f.nextAction,sensor:f.sensor,failsStrict:!1})),I=[...x.partial&&x.coverage.some(f=>f.mode==="enforced"&&f.partial)?[{code:"INVARIANT_COVERAGE_PARTIAL",message:"Enforced ArkRules invariant coverage cannot be fully proven (missing test globs or empty test set); reporting partial, never covered."}]:[],...he.completenessReasons],$=Ie({config:e.contract.config,rules:e.contract.config.rules,files:o.filter(f=>f.layer).map(f=>f.path),contentViolations:[...yr(e,t,i),...g,...F,...S],edges:c,warnings:[...R,...A.warnings,...k,...re,...m],safety:A.report}),W=s==="complete"&&I.length>0?"partial":s,le=W==="complete"?a:[...a,...I].sort((f,Y)=>{let Ae=`${f.code}\0${f.file??""}\0${f.message}`,be=`${Y.code}\0${Y.file??""}\0${Y.message}`;return Ae<be?-1:Ae>be?1:0}),Re=$.violations.filter(f=>f.failsStrict!==!1),At=W==="complete"&&Re.length===0,An=At&&$.warnings.every(f=>f.failsStrict===!1);return{mode:"resolved-candidate-facts",completeness:W,completenessReasons:le,valid:At,strictValid:An,policyHash:e.contract.policyHash,factsHash:t.factsHash,resolverIdentity:t.resolverIdentity,candidateTreeHash:t.candidateTreeHash,safety:A.report,ir:{schemaVersion:"1.0",policyHash:e.contract.policyHash,compilerOptionsHash:t.compilerOptionsHash,files:o,layers:e.contract.config.layers.map(f=>f.name),edges:c,capabilityUses:t.capabilityUses,violations:$.violations,warnings:$.warnings}}}function He(e){return st({contract:e.contract,facts:se(e.facts),coverageInputs:e.coverageInputs,fileHints:e.fileHints})}var at="1.0";var Ue=class extends Error{issues;source;constructor(t,n){super(`Invalid architecture change map (${t}):
 ${n.map(r=>`- ${r.path}: ${r.message}`).join(`
-`)}`),this.name="ArchitectureChangeMapValidationError",this.source=t,this.issues=n}};function Je(e){return e!==null&&typeof e=="object"&&!Array.isArray(e)}function Ze(e,t,n,r){for(let s of Object.keys(e))t.includes(s)||r.push({path:`${n}.${s}`,message:"unknown field"})}function Z(e,t,n,r){let s=e[t];if(typeof s=="string"&&s.length>0)return s;r.push({path:`${n}.${t}`,message:"must be a non-empty string"})}function Fn(e){let t=e.replace(/\\/g,"/");if(!t||t.startsWith("/")||/^[A-Za-z]:\//.test(t)||t.includes("\0"))return;let n=[];for(let s of t.split("/"))if(!(!s||s==="."))if(s===".."){if(n.length===0)return;n.pop()}else n.push(s);let r=n.join("/");return r&&r===t?r:void 0}function Ln(e,t,n="architecture change map"){let r=[];if(!Je(e))throw new we(n,[{path:"$",message:"must be an object"}]);Ze(e,["$schema","schemaVersion","files","dependencies"],"$",r);let s=Z(e,"$schema","$",r),a=Z(e,"schemaVersion","$",r);a&&a!==We&&r.push({path:"$.schemaVersion",message:`unsupported version ${JSON.stringify(a)}; expected ${We}`});let i=new Set(t.layers.map(c=>c.name)),d=[],p=new Set;!Array.isArray(e.files)||e.files.length===0?r.push({path:"$.files",message:"must be a non-empty array"}):e.files.forEach((c,f)=>{let y=`$.files[${f}]`;if(!Je(c)){r.push({path:y,message:"must be an object"});return}Ze(c,["path","operation","layer"],y,r);let v=Z(c,"path",y,r),u=Z(c,"operation",y,r),g=Z(c,"layer",y,r),R=v?Fn(v):void 0;v&&!R&&r.push({path:`${y}.path`,message:"must be a canonical project-relative path"}),u&&!["create","update","delete"].includes(u)&&r.push({path:`${y}.operation`,message:"must be create, update, or delete"}),g&&!i.has(g)&&r.push({path:`${y}.layer`,message:`references unknown layer ${JSON.stringify(g)}`}),R&&p.has(R)&&r.push({path:`${y}.path`,message:`duplicates planned path ${R}`}),R&&p.add(R);let S=R?V(R,t.layers):void 0;R&&g&&i.has(g)&&S!==g&&r.push({path:`${y}.layer`,message:S?`${R} resolves to ${S}, not ${g}`:`${R} is not assigned to an architecture layer`}),R&&u&&["create","update","delete"].includes(u)&&g&&d.push({path:R,operation:u,layer:g})});let b=[],A=new Map(d.map(c=>[c.path,c.operation])),h=new Set,o=e.dependencies??[];if(Array.isArray(o)?o.forEach((c,f)=>{let y=`$.dependencies[${f}]`;if(!Je(c)){r.push({path:y,message:"must be an object"});return}Ze(c,["from","to"],y,r);let v=Z(c,"from",y,r),u=Z(c,"to",y,r);v&&!p.has(v)&&r.push({path:`${y}.from`,message:`must reference a planned file path: ${v}`}),u&&!p.has(u)&&r.push({path:`${y}.to`,message:`must reference a planned file path: ${u}`}),v&&A.get(v)==="delete"&&r.push({path:`${y}.from`,message:`cannot depend from deleted file ${v}`}),u&&A.get(u)==="delete"&&r.push({path:`${y}.to`,message:`cannot depend on deleted file ${u}`}),v&&u&&v===u&&r.push({path:y,message:"must not declare a self dependency"});let g=v&&u?`${v}\0${u}`:void 0;g&&h.has(g)&&r.push({path:y,message:`duplicates dependency ${v} -> ${u}`}),g&&h.add(g),v&&u&&b.push({from:v,to:u})}):r.push({path:"$.dependencies",message:"must be an array"}),r.length>0)throw new we(n,r);let l={$schema:s,schemaVersion:We,files:d.sort((c,f)=>c.path.localeCompare(f.path)),dependencies:b.sort((c,f)=>c.from.localeCompare(f.from)||c.to.localeCompare(f.to))};return{map:l,hash:E(k(l))}}function O(e){return`${e.from}->${e.to}`}function he(e,t,n,r="dependency"){return{id:`${e}:${r}:${O(t)}`,classification:e,subject:"dependency",from:t.from,to:t.to,message:n,...e==="missing"?{nextAction:`Add the planned dependency ${O(t)} to the candidate, then preflight again.`}:e==="contradictory"?{nextAction:`Replace the reverse dependency with ${O(t)}, then preflight again.`}:e==="unplanned"?{nextAction:r==="dependency-removed"?`Restore the removed dependency ${O(t)} in the candidate, then preflight again.`:`Remove the unplanned dependency ${O(t)} from the candidate, then preflight again.`}:{}}}function be(e){let t=[],n=new Map(e.changeMap.map.files.map(o=>[o.path,o])),r=new Map(e.changes.map(o=>[o.path,o])),s=new Map(e.changeMap.map.dependencies.map(o=>[O(o),o])),a=new Map(e.baseDependencies.map(o=>[O(o),o])),i=new Map(e.candidateDependencies.map(o=>[O(o),o]));for(let o of[...n.values()].sort((l,c)=>l.path.localeCompare(c.path))){let l=r.get(o.path);l?l.operation!==o.operation?t.push({id:`contradictory:file:${o.path}`,classification:"contradictory",subject:"file",path:o.path,expectedOperation:o.operation,actualOperation:l.operation,message:`${o.path} was planned as ${o.operation} but the actual operation is ${l.operation}.`,nextAction:`Change ${o.path} to the planned ${o.operation} operation, then preflight again.`}):t.push({id:`satisfied:file:${o.path}`,classification:"satisfied",subject:"file",path:o.path,expectedOperation:o.operation,actualOperation:l.operation,message:`${o.path} matches the planned ${o.operation} operation.`}):t.push({id:`missing:file:${o.path}`,classification:"missing",subject:"file",path:o.path,expectedOperation:o.operation,message:`${o.path} was planned as ${o.operation} but is absent from the actual change.`,nextAction:`${o.operation[0].toUpperCase()}${o.operation.slice(1)} ${o.path} in the complete change set, then preflight again.`})}for(let o of[...r.values()].sort((l,c)=>l.path.localeCompare(c.path)))n.has(o.path)||t.push({id:`unplanned:file:${o.path}`,classification:"unplanned",subject:"file",path:o.path,actualOperation:o.operation,message:`${o.path} has an unplanned ${o.operation} operation.`,nextAction:`Remove ${o.path} from the change set, then preflight again.`});let d=new Set;for(let o of[...s.values()].sort((l,c)=>O(l).localeCompare(O(c)))){if(i.has(O(o))){t.push(he("satisfied",o,`${o.from} -> ${o.to} exists in the candidate architecture.`));continue}let l={from:o.to,to:o.from};i.has(O(l))?(d.add(O(l)),t.push(he("contradictory",o,`${o.from} -> ${o.to} was planned, but the candidate contains the reverse edge.`))):t.push(he("missing",o,`${o.from} -> ${o.to} is absent from the candidate architecture.`))}let p=new Set([...n.keys(),...r.keys()]);for(let[o,l]of[...i].sort(([c],[f])=>c.localeCompare(f)))a.has(o)||s.has(o)||d.has(o)||!p.has(l.from)&&!p.has(l.to)||t.push({...he("unplanned",l,`${l.from} -> ${l.to} was added without a matching planned dependency.`,"dependency-added"),actualOperation:"added"});let b=new Set(e.changeMap.map.files.filter(o=>o.operation==="delete").map(o=>o.path));for(let[o,l]of[...a].sort(([c],[f])=>c.localeCompare(f)))i.has(o)||b.has(l.from)||b.has(l.to)||!p.has(l.from)&&!p.has(l.to)||t.push({...he("unplanned",l,`${l.from} -> ${l.to} was removed without a planned file deletion.`,"dependency-removed"),actualOperation:"removed"});let A={satisfied:0,missing:1,contradictory:2,unplanned:3};t.sort((o,l)=>A[o.classification]-A[l.classification]||(o.subject===l.subject?0:o.subject==="file"?-1:1)||o.id.localeCompare(l.id));let h={satisfied:t.filter(o=>o.classification==="satisfied").length,missing:t.filter(o=>o.classification==="missing").length,contradictory:t.filter(o=>o.classification==="contradictory").length,unplanned:t.filter(o=>o.classification==="unplanned").length};return{schemaVersion:"1.0",readOnly:!0,changeMapHash:e.changeMap.hash,structurallyConverged:h.missing===0&&h.contradictory===0&&h.unplanned===0,behavioralCompletion:"not-evaluated",summary:h,findings:t}}function oe(e,t){return t&&e.isStringLiteralLike(t)?t.text:void 0}function Tt(e,t){return e.getLineAndCharacterOfPosition(t.getStart(e)).line+1}function Ot(e,t){if(e.isImportDeclaration(t)){let r=t.importClause;if(!r)return!1;if(r.isTypeOnly)return!0;let s=r.namedBindings;return!!(s&&e.isNamedImports(s)&&s.elements.length>0&&s.elements.every(a=>a.isTypeOnly))}if(t.isTypeOnly)return!0;let n=t.exportClause;return!!(n&&e.isNamedExports(n)&&n.elements.length>0&&n.elements.every(r=>r.isTypeOnly))}function _t(e,t){let n={noLib:!0,noResolve:!0,target:e.ScriptTarget.Latest},r=e.createCompilerHost(n,!0);return r.getSourceFile=s=>s===t.fileName?t:void 0,r.fileExists=s=>s===t.fileName,r.readFile=s=>s===t.fileName?t.text:void 0,e.createProgram([t.fileName],n,r).getTypeChecker()}function Xe(e,t){try{return e.getSymbolAtLocation(t)}catch{return}}function Qe(e,t,n,r){let s=r.parent&&e.isShorthandPropertyAssignment(r.parent)&&r.parent.name===r,a;try{a=s?t.getShorthandAssignmentValueSymbol(r.parent):Xe(t,r)}catch{a=void 0}return!!a?.declarations?.some(i=>i.getSourceFile().fileName===n.fileName)}function et(e,t){let n,r=[],s=(i,d,p,b=!1)=>r.push({specifier:p,kind:d,line:Tt(t,i),typeOnly:b,unresolved:p===void 0,node:i}),a=i=>{if(e.isImportDeclaration(i))s(i,"import",oe(e,i.moduleSpecifier),Ot(e,i));else if(e.isExportDeclaration(i)&&i.moduleSpecifier)s(i,"export",oe(e,i.moduleSpecifier),Ot(e,i));else if(e.isImportEqualsDeclaration(i)&&e.isExternalModuleReference(i.moduleReference))s(i,"require",oe(e,i.moduleReference.expression),i.isTypeOnly===!0);else if(e.isCallExpression(i)){let d=i.expression.kind===e.SyntaxKind.ImportKeyword,b=e.isIdentifier(i.expression)&&i.expression.text==="require"&&!Qe(e,n??(n=_t(e,t)),t,i.expression);(d||b)&&s(i,b?"require":"dynamic-import",oe(e,i.arguments[0]))}e.forEachChild(i,a)};return a(t),r}function Nn(e,t){let n=[],r=t;for(;e.isPropertyAccessExpression(r)||e.isElementAccessExpression(r);){if(e.isPropertyAccessExpression(r))n.unshift(r.name.text);else{let s=oe(e,r.argumentExpression);if(s===void 0)return;n.unshift(s)}r=r.expression}if(e.isIdentifier(r))return n.unshift(r.text),{root:r,segments:n}}function Mn(e,t){let n=t.parent;return e.isPropertyAccessExpression(n)||e.isElementAccessExpression(n)?!1:e.isExpressionNode(t)&&!e.isInTypeQuery(t)||e.isShorthandPropertyAssignment(n)&&n.name===t}function Pt(e,t){let n=t[0]==="globalThis"?t.slice(1):t;for(let r=n.length;r>=1;r-=1){let s=n.slice(0,r).join(".");if(e.has(s))return s}}function tt(e,t,n){if(n.length===0)return[];let r=new Set(n),s=_t(e,t),a=new Map,i=new Set;for(let o of t.statements)if(e.isVariableStatement(o))for(let l of o.declarationList.declarations)e.isIdentifier(l.name)&&i.add(l.name.text);let d=o=>{let l=Nn(e,o);if(!l)return;let c=Xe(s,l.root),f=c?a.get(c):void 0;return f?[...f,...l.segments.slice(1)]:Qe(e,s,t,l.root)||i.has(l.root.text)?void 0:l.segments};for(let o of t.statements)if(e.isVariableStatement(o))for(let l of o.declarationList.declarations){if(!l.initializer||!e.isIdentifier(l.name))continue;let c=d(l.initializer),f=Xe(s,l.name);!c||!f||a.set(f,c)}let p=[],b=new Set,A=(o,l)=>{let c=Tt(t,l),f=`${o}:${l.getStart(t)}`;b.has(f)||(b.add(f),p.push({name:o,line:c,node:l}))},h=o=>{let l=o.parent&&(e.isPropertyAccessExpression(o.parent)||e.isElementAccessExpression(o.parent))&&o.parent.expression===o;if((e.isPropertyAccessExpression(o)||e.isElementAccessExpression(o))&&!l){let c=d(o),f=c?Pt(r,c):void 0;f&&A(f,o)}else e.isIdentifier(o)&&r.has(o.text)&&Mn(e,o)&&!Qe(e,s,t,o)&&A(o.text,o);if(e.isVariableDeclaration(o)&&e.isObjectBindingPattern(o.name)&&o.initializer){let c=d(o.initializer);if(c)for(let f of o.name.elements){if(!e.isIdentifier(f.name))continue;let y=f.propertyName?oe(e,f.propertyName)??f.propertyName.text:f.name.text,v=Pt(r,[...c,y]);v&&A(v,o.initializer)}}e.forEachChild(o,h)};return h(t),p}function Hn(e,t,n){let r=[];for(let s of n?.dependencies??et(e,t)){if(s.typeOnly||!s.specifier)continue;let a=pe(s.specifier);a&&r.push({capability:a,symbol:s.specifier,line:s.line,source:"import-based"})}for(let s of n?.ambientUses??tt(e,t,De)){let a=ue(s.name);a&&r.push({capability:a,symbol:s.name,line:s.line,source:"ambient-global"})}return r.sort((s,a)=>s.line-a.line||s.capability.localeCompare(a.capability)||s.symbol.localeCompare(a.symbol))}var nt="https://unpkg.com/arkgate@2/schemas/ark.config.schema.json",Ft=["DomainModel","ApplicationOrchestration","PersistenceAdapters","IntegrationAdapters","WorkflowSagaEngine","BackgroundJobsScheduling","PresentationAdapters","ReportingReadModels","ExtensibilityMetadata","SecurityAuditObservability","Kernel"],Dn=new Set(["PresentationAdapters->ApplicationOrchestration","ApplicationOrchestration->DomainModel","WorkflowSagaEngine->ApplicationOrchestration","WorkflowSagaEngine->DomainModel","BackgroundJobsScheduling->ApplicationOrchestration"]);function jn(){let e=[];for(let t of Ft)for(let n of Ft)t===n||Dn.has(`${t}->${n}`)||e.push({from:t,to:n,allowed:!1});return e}var Nt=jn(),rt=[{from:"unversioned",to:"1.0"},{from:"1.0",to:"1.1"}],G={type:"array",items:{type:"string",minLength:1},uniqueItems:!0},Lt={$schema:"https://json-schema.org/draft/2020-12/schema",$id:nt,title:"ArkGate architecture contract",description:"Versioned contract consumed identically by ArkGate CLI, MCP, and ESLint surfaces.",type:"object",additionalProperties:!1,required:["$schema","schemaVersion","include","layers","rules"],properties:{$schema:{type:"string",minLength:1,default:nt,description:"Editor-facing URL or local path for this JSON Schema."},schemaVersion:{type:"string",const:"1.1",default:"1.1"},name:{type:"string",minLength:1},include:{...G,minItems:1,default:["src"]},exclude:{...G,default:[]},excludeGenerated:{type:"boolean",default:!0},frameworkOverlay:{type:"string",minLength:1},layers:{type:"array",default:[],items:{$ref:"#/$defs/layer"}},rules:{type:"array",default:Nt,items:{$ref:"#/$defs/rule"}},cyclePolicy:{type:"string",enum:["strict","soft","framework-soft","off"],default:"strict"},dynamicImportAllowlist:{...G,default:[]},safety:{$ref:"#/$defs/safety",default:{maxTsSuppressions:0,maxAnyCasts:0,allowInMemory:!1,allowDisabledPeerIsolation:!1}},arkRules:{type:"object",additionalProperties:{type:"string",minLength:1},default:{}},stewards:{...G,default:[]}},$defs:{layer:{type:"object",additionalProperties:!1,required:["name","patterns"],properties:{name:{type:"string",minLength:1},patterns:{...G,minItems:1},exclude:G,intentPrefixes:G,description:{type:"string",minLength:1},forbiddenGlobals:G,capabilities:{type:"object",additionalProperties:!1,properties:{deny:{type:"array",uniqueItems:!0,items:{type:"string",enum:["network","filesystem","clock","randomness","environment","process","persistence"]}}}},pure:{type:"boolean"},mayImportInfrastructure:{type:"boolean"},optional:{type:"boolean"},reserved:{type:"boolean"},allowEmpty:{type:"boolean"}}},rule:{type:"object",additionalProperties:!1,required:["from","to","allowed"],properties:{from:{type:"string",minLength:1},to:{type:"string",minLength:1},allowed:{type:"boolean"},message:{type:"string",minLength:1},peerIsolation:{type:"boolean"},sliceFolders:{...G,minItems:1}}},safety:{type:"object",additionalProperties:!1,properties:{maxTsSuppressions:{type:"integer",minimum:0,default:0},maxAnyCasts:{type:"integer",minimum:0,default:0},allowInMemory:{type:"boolean",default:!1},allowDisabledPeerIsolation:{type:"boolean",default:!1}}}}},q=class extends Error{issues;source;constructor(t,n){super(`Invalid ArkGate config (${t}):
+`)}`),this.name="ArchitectureChangeMapValidationError",this.source=t,this.issues=n}};function ot(e){return e!==null&&typeof e=="object"&&!Array.isArray(e)}function it(e,t,n,r){for(let s of Object.keys(e))t.includes(s)||r.push({path:`${n}.${s}`,message:"unknown field"})}function oe(e,t,n,r){let s=e[t];if(typeof s=="string"&&s.length>0)return s;r.push({path:`${n}.${t}`,message:"must be a non-empty string"})}function hr(e){let t=e.replace(/\\/g,"/");if(!t||t.startsWith("/")||/^[A-Za-z]:\//.test(t)||t.includes("\0"))return;let n=[];for(let s of t.split("/"))if(!(!s||s==="."))if(s===".."){if(n.length===0)return;n.pop()}else n.push(s);let r=n.join("/");return r&&r===t?r:void 0}function Rr(e,t,n="architecture change map"){let r=[];if(!ot(e))throw new Ue(n,[{path:"$",message:"must be an object"}]);it(e,["$schema","schemaVersion","files","dependencies"],"$",r);let s=oe(e,"$schema","$",r),a=oe(e,"schemaVersion","$",r);a&&a!==at&&r.push({path:"$.schemaVersion",message:`unsupported version ${JSON.stringify(a)}; expected ${at}`});let o=new Set(t.layers.map(l=>l.name)),i=[],c=new Set;!Array.isArray(e.files)||e.files.length===0?r.push({path:"$.files",message:"must be a non-empty array"}):e.files.forEach((l,p)=>{let g=`$.files[${p}]`;if(!ot(l)){r.push({path:g,message:"must be an object"});return}it(l,["path","operation","layer"],g,r);let k=oe(l,"path",g,r),v=oe(l,"operation",g,r),x=oe(l,"layer",g,r),F=k?hr(k):void 0;k&&!F&&r.push({path:`${g}.path`,message:"must be a canonical project-relative path"}),v&&!["create","update","delete"].includes(v)&&r.push({path:`${g}.operation`,message:"must be create, update, or delete"}),x&&!o.has(x)&&r.push({path:`${g}.layer`,message:`references unknown layer ${JSON.stringify(x)}`}),F&&c.has(F)&&r.push({path:`${g}.path`,message:`duplicates planned path ${F}`}),F&&c.add(F);let re=F?q(F,t.layers):void 0;F&&x&&o.has(x)&&re!==x&&r.push({path:`${g}.layer`,message:re?`${F} resolves to ${re}, not ${x}`:`${F} is not assigned to an architecture layer`}),F&&v&&["create","update","delete"].includes(v)&&x&&i.push({path:F,operation:v,layer:x})});let R=[],A=new Map(i.map(l=>[l.path,l.operation])),h=new Set,u=e.dependencies??[];if(Array.isArray(u)?u.forEach((l,p)=>{let g=`$.dependencies[${p}]`;if(!ot(l)){r.push({path:g,message:"must be an object"});return}it(l,["from","to"],g,r);let k=oe(l,"from",g,r),v=oe(l,"to",g,r);k&&!c.has(k)&&r.push({path:`${g}.from`,message:`must reference a planned file path: ${k}`}),v&&!c.has(v)&&r.push({path:`${g}.to`,message:`must reference a planned file path: ${v}`}),k&&A.get(k)==="delete"&&r.push({path:`${g}.from`,message:`cannot depend from deleted file ${k}`}),v&&A.get(v)==="delete"&&r.push({path:`${g}.to`,message:`cannot depend on deleted file ${v}`}),k&&v&&k===v&&r.push({path:g,message:"must not declare a self dependency"});let x=k&&v?`${k}\0${v}`:void 0;x&&h.has(x)&&r.push({path:g,message:`duplicates dependency ${k} -> ${v}`}),x&&h.add(x),k&&v&&R.push({from:k,to:v})}):r.push({path:"$.dependencies",message:"must be an array"}),r.length>0)throw new Ue(n,r);let d={$schema:s,schemaVersion:at,files:i.sort((l,p)=>l.path.localeCompare(p.path)),dependencies:R.sort((l,p)=>l.from.localeCompare(p.from)||l.to.localeCompare(p.to))};return{map:d,hash:T(w(d))}}function K(e){return`${e.from}->${e.to}`}function we(e,t,n,r="dependency"){return{id:`${e}:${r}:${K(t)}`,classification:e,subject:"dependency",from:t.from,to:t.to,message:n,...e==="missing"?{nextAction:`Add the planned dependency ${K(t)} to the candidate, then preflight again.`}:e==="contradictory"?{nextAction:`Replace the reverse dependency with ${K(t)}, then preflight again.`}:e==="unplanned"?{nextAction:r==="dependency-removed"?`Restore the removed dependency ${K(t)} in the candidate, then preflight again.`:`Remove the unplanned dependency ${K(t)} from the candidate, then preflight again.`}:{}}}function xe(e){let t=[],n=new Map(e.changeMap.map.files.map(u=>[u.path,u])),r=new Map(e.changes.map(u=>[u.path,u])),s=new Map(e.changeMap.map.dependencies.map(u=>[K(u),u])),a=new Map(e.baseDependencies.map(u=>[K(u),u])),o=new Map(e.candidateDependencies.map(u=>[K(u),u]));for(let u of[...n.values()].sort((d,l)=>d.path.localeCompare(l.path))){let d=r.get(u.path);d?d.operation!==u.operation?t.push({id:`contradictory:file:${u.path}`,classification:"contradictory",subject:"file",path:u.path,expectedOperation:u.operation,actualOperation:d.operation,message:`${u.path} was planned as ${u.operation} but the actual operation is ${d.operation}.`,nextAction:`Change ${u.path} to the planned ${u.operation} operation, then preflight again.`}):t.push({id:`satisfied:file:${u.path}`,classification:"satisfied",subject:"file",path:u.path,expectedOperation:u.operation,actualOperation:d.operation,message:`${u.path} matches the planned ${u.operation} operation.`}):t.push({id:`missing:file:${u.path}`,classification:"missing",subject:"file",path:u.path,expectedOperation:u.operation,message:`${u.path} was planned as ${u.operation} but is absent from the actual change.`,nextAction:`${u.operation[0].toUpperCase()}${u.operation.slice(1)} ${u.path} in the complete change set, then preflight again.`})}for(let u of[...r.values()].sort((d,l)=>d.path.localeCompare(l.path)))n.has(u.path)||t.push({id:`unplanned:file:${u.path}`,classification:"unplanned",subject:"file",path:u.path,actualOperation:u.operation,message:`${u.path} has an unplanned ${u.operation} operation.`,nextAction:`Remove ${u.path} from the change set, then preflight again.`});let i=new Set;for(let u of[...s.values()].sort((d,l)=>K(d).localeCompare(K(l)))){if(o.has(K(u))){t.push(we("satisfied",u,`${u.from} -> ${u.to} exists in the candidate architecture.`));continue}let d={from:u.to,to:u.from};o.has(K(d))?(i.add(K(d)),t.push(we("contradictory",u,`${u.from} -> ${u.to} was planned, but the candidate contains the reverse edge.`))):t.push(we("missing",u,`${u.from} -> ${u.to} is absent from the candidate architecture.`))}let c=new Set([...n.keys(),...r.keys()]);for(let[u,d]of[...o].sort(([l],[p])=>l.localeCompare(p)))a.has(u)||s.has(u)||i.has(u)||!c.has(d.from)&&!c.has(d.to)||t.push({...we("unplanned",d,`${d.from} -> ${d.to} was added without a matching planned dependency.`,"dependency-added"),actualOperation:"added"});let R=new Set(e.changeMap.map.files.filter(u=>u.operation==="delete").map(u=>u.path));for(let[u,d]of[...a].sort(([l],[p])=>l.localeCompare(p)))o.has(u)||R.has(d.from)||R.has(d.to)||!c.has(d.from)&&!c.has(d.to)||t.push({...we("unplanned",d,`${d.from} -> ${d.to} was removed without a planned file deletion.`,"dependency-removed"),actualOperation:"removed"});let A={satisfied:0,missing:1,contradictory:2,unplanned:3};t.sort((u,d)=>A[u.classification]-A[d.classification]||(u.subject===d.subject?0:u.subject==="file"?-1:1)||u.id.localeCompare(d.id));let h={satisfied:t.filter(u=>u.classification==="satisfied").length,missing:t.filter(u=>u.classification==="missing").length,contradictory:t.filter(u=>u.classification==="contradictory").length,unplanned:t.filter(u=>u.classification==="unplanned").length};return{schemaVersion:"1.0",readOnly:!0,changeMapHash:e.changeMap.hash,structurallyConverged:h.missing===0&&h.contradictory===0&&h.unplanned===0,behavioralCompletion:"not-evaluated",summary:h,findings:t}}function ge(e,t){return t&&e.isStringLiteralLike(t)?t.text:void 0}function Xt(e,t){return e.getLineAndCharacterOfPosition(t.getStart(e)).line+1}function Zt(e,t){if(e.isImportDeclaration(t)){let r=t.importClause;if(!r)return!1;if(r.isTypeOnly)return!0;let s=r.namedBindings;return!!(s&&e.isNamedImports(s)&&s.elements.length>0&&s.elements.every(a=>a.isTypeOnly))}if(t.isTypeOnly)return!0;let n=t.exportClause;return!!(n&&e.isNamedExports(n)&&n.elements.length>0&&n.elements.every(r=>r.isTypeOnly))}function Qt(e,t){let n={noLib:!0,noResolve:!0,target:e.ScriptTarget.Latest},r=e.createCompilerHost(n,!0);return r.getSourceFile=s=>s===t.fileName?t:void 0,r.fileExists=s=>s===t.fileName,r.readFile=s=>s===t.fileName?t.text:void 0,e.createProgram([t.fileName],n,r).getTypeChecker()}function lt(e,t){try{return e.getSymbolAtLocation(t)}catch{return}}function ct(e,t,n,r){let s=r.parent&&e.isShorthandPropertyAssignment(r.parent)&&r.parent.name===r,a;try{a=s?t.getShorthandAssignmentValueSymbol(r.parent):lt(t,r)}catch{a=void 0}return!!a?.declarations?.some(o=>o.getSourceFile().fileName===n.fileName)}function dt(e,t){let n,r=[],s=(o,i,c,R=!1)=>r.push({specifier:c,kind:i,line:Xt(t,o),typeOnly:R,unresolved:c===void 0,node:o}),a=o=>{if(e.isImportDeclaration(o))s(o,"import",ge(e,o.moduleSpecifier),Zt(e,o));else if(e.isExportDeclaration(o)&&o.moduleSpecifier)s(o,"export",ge(e,o.moduleSpecifier),Zt(e,o));else if(e.isImportEqualsDeclaration(o)&&e.isExternalModuleReference(o.moduleReference))s(o,"require",ge(e,o.moduleReference.expression),o.isTypeOnly===!0);else if(e.isCallExpression(o)){let i=o.expression.kind===e.SyntaxKind.ImportKeyword,R=e.isIdentifier(o.expression)&&o.expression.text==="require"&&!ct(e,n??(n=Qt(e,t)),t,o.expression);(i||R)&&s(o,R?"require":"dynamic-import",ge(e,o.arguments[0]))}e.forEachChild(o,a)};return a(t),r}function Ar(e,t){let n=[],r=t;for(;e.isPropertyAccessExpression(r)||e.isElementAccessExpression(r);){if(e.isPropertyAccessExpression(r))n.unshift(r.name.text);else{let s=ge(e,r.argumentExpression);if(s===void 0)return;n.unshift(s)}r=r.expression}if(e.isIdentifier(r))return n.unshift(r.text),{root:r,segments:n}}function br(e,t){let n=t.parent;return e.isPropertyAccessExpression(n)||e.isElementAccessExpression(n)?!1:e.isExpressionNode(t)&&!e.isInTypeQuery(t)||e.isShorthandPropertyAssignment(n)&&n.name===t}function Jt(e,t){let n=t[0]==="globalThis"?t.slice(1):t;for(let r=n.length;r>=1;r-=1){let s=n.slice(0,r).join(".");if(e.has(s))return s}}function ut(e,t,n){if(n.length===0)return[];let r=new Set(n),s=Qt(e,t),a=new Map,o=new Set;for(let u of t.statements)if(e.isVariableStatement(u))for(let d of u.declarationList.declarations)e.isIdentifier(d.name)&&o.add(d.name.text);let i=u=>{let d=Ar(e,u);if(!d)return;let l=lt(s,d.root),p=l?a.get(l):void 0;return p?[...p,...d.segments.slice(1)]:ct(e,s,t,d.root)||o.has(d.root.text)?void 0:d.segments};for(let u of t.statements)if(e.isVariableStatement(u))for(let d of u.declarationList.declarations){if(!d.initializer||!e.isIdentifier(d.name))continue;let l=i(d.initializer),p=lt(s,d.name);!l||!p||a.set(p,l)}let c=[],R=new Set,A=(u,d)=>{let l=Xt(t,d),p=`${u}:${d.getStart(t)}`;R.has(p)||(R.add(p),c.push({name:u,line:l,node:d}))},h=u=>{let d=u.parent&&(e.isPropertyAccessExpression(u.parent)||e.isElementAccessExpression(u.parent))&&u.parent.expression===u;if((e.isPropertyAccessExpression(u)||e.isElementAccessExpression(u))&&!d){let l=i(u),p=l?Jt(r,l):void 0;p&&A(p,u)}else e.isIdentifier(u)&&r.has(u.text)&&br(e,u)&&!ct(e,s,t,u)&&A(u.text,u);if(e.isVariableDeclaration(u)&&e.isObjectBindingPattern(u.name)&&u.initializer){let l=i(u.initializer);if(l)for(let p of u.name.elements){if(!e.isIdentifier(p.name))continue;let g=p.propertyName?ge(e,p.propertyName)??p.propertyName.text:p.name.text,k=Jt(r,[...l,g]);k&&A(k,u.initializer)}}e.forEachChild(u,h)};return h(t),c}function kr(e,t,n){let r=[];for(let s of n?.dependencies??dt(e,t)){if(s.typeOnly||!s.specifier)continue;let a=ke(s.specifier);a&&r.push({capability:a,symbol:s.specifier,line:s.line,source:"import-based"})}for(let s of n?.ambientUses??ut(e,t,We)){let a=Ee(s.name);a&&r.push({capability:a,symbol:s.name,line:s.line,source:"ambient-global"})}return r.sort((s,a)=>s.line-a.line||s.capability.localeCompare(a.capability)||s.symbol.localeCompare(a.symbol))}var pt="https://unpkg.com/arkgate@2/schemas/ark.config.schema.json",en=["DomainModel","ApplicationOrchestration","PersistenceAdapters","IntegrationAdapters","WorkflowSagaEngine","BackgroundJobsScheduling","PresentationAdapters","ReportingReadModels","ExtensibilityMetadata","SecurityAuditObservability","Kernel"],vr=new Set(["PresentationAdapters->ApplicationOrchestration","ApplicationOrchestration->DomainModel","WorkflowSagaEngine->ApplicationOrchestration","WorkflowSagaEngine->DomainModel","BackgroundJobsScheduling->ApplicationOrchestration"]);function Er(){let e=[];for(let t of en)for(let n of en)t===n||vr.has(`${t}->${n}`)||e.push({from:t,to:n,allowed:!1});return e}var nn=Er(),ft=[{from:"unversioned",to:"1.0"},{from:"1.0",to:"1.1"},{from:"1.1",to:"1.2"}],B={type:"array",items:{type:"string",minLength:1},uniqueItems:!0},tn={$schema:"https://json-schema.org/draft/2020-12/schema",$id:pt,title:"ArkGate architecture contract",description:"Versioned contract consumed identically by ArkGate CLI, MCP, and ESLint surfaces.",type:"object",additionalProperties:!1,required:["$schema","schemaVersion","include","layers","rules"],properties:{$schema:{type:"string",minLength:1,default:pt,description:"Editor-facing URL or local path for this JSON Schema."},schemaVersion:{type:"string",const:"1.2",default:"1.2"},name:{type:"string",minLength:1},include:{...B,minItems:1,default:["src"]},exclude:{...B,default:[]},excludeGenerated:{type:"boolean",default:!0},frameworkOverlay:{type:"string",minLength:1},layers:{type:"array",default:[],items:{$ref:"#/$defs/layer"}},rules:{type:"array",default:nn,items:{$ref:"#/$defs/rule"}},cyclePolicy:{type:"string",enum:["strict","soft","framework-soft","off"],default:"strict"},dynamicImportAllowlist:{...B,default:[]},safety:{$ref:"#/$defs/safety",default:{maxTsSuppressions:0,maxAnyCasts:0,allowInMemory:!1,allowDisabledPeerIsolation:!1}},arkRules:{type:"object",additionalProperties:{type:"string",minLength:1},default:{}},arkRun:{$ref:"#/$defs/arkRun"},stewards:{...B,default:[]}},$defs:{layer:{type:"object",additionalProperties:!1,required:["name","patterns"],properties:{name:{type:"string",minLength:1},patterns:{...B,minItems:1},exclude:B,intentPrefixes:B,description:{type:"string",minLength:1},forbiddenGlobals:B,capabilities:{type:"object",additionalProperties:!1,properties:{deny:{type:"array",uniqueItems:!0,items:{type:"string",enum:["network","filesystem","clock","randomness","environment","process","persistence"]}}}},pure:{type:"boolean"},mayImportInfrastructure:{type:"boolean"},optional:{type:"boolean"},reserved:{type:"boolean"},allowEmpty:{type:"boolean"}}},rule:{type:"object",additionalProperties:!1,required:["from","to","allowed"],properties:{from:{type:"string",minLength:1},to:{type:"string",minLength:1},allowed:{type:"boolean"},message:{type:"string",minLength:1},peerIsolation:{type:"boolean"},sliceFolders:{...B,minItems:1}}},safety:{type:"object",additionalProperties:!1,properties:{maxTsSuppressions:{type:"integer",minimum:0,default:0},maxAnyCasts:{type:"integer",minimum:0,default:0},allowInMemory:{type:"boolean",default:!1},allowDisabledPeerIsolation:{type:"boolean",default:!1}}},arkRun:{type:"object",additionalProperties:!1,properties:{mode:{type:"string",enum:["advisory","enforced"],default:"advisory"},compositionRoots:{...B,default:[]},managedLayers:{...B,default:[]},requireDeclarations:{type:"boolean",default:!0}}}}},te=class extends Error{issues;source;constructor(t,n){super(`Invalid ArkGate config (${t}):
 ${n.map(r=>`- ${r.path}: ${r.message}`).join(`
-`)}`),this.name="ArkConfigValidationError",this.source=t,this.issues=n}};function Mt(e){return e!==null&&typeof e=="object"&&!Array.isArray(e)}function xe(e,t){return/^[A-Za-z_$][A-Za-z0-9_$]*$/.test(t)?`${e}.${t}`:`${e}[${JSON.stringify(t)}]`}function le(e){return e===null?"null":Array.isArray(e)?"array":typeof e}function Vn(e,t){let n="#/$defs/";if(e.startsWith(n))return t.$defs[e.slice(n.length)]}function Ae(e,t,n,r,s){if(t.$ref){let a=Vn(t.$ref,r);if(!a){s.push({path:n,message:`schema reference ${t.$ref} cannot be resolved`});return}Ae(e,a,n,r,s);return}if(t.const!==void 0&&!Object.is(e,t.const)){s.push({path:n,message:`must equal ${JSON.stringify(t.const)}`});return}if(t.enum&&!t.enum.some(a=>Object.is(a,e))){s.push({path:n,message:`must be one of ${t.enum.map(String).join(", ")}`});return}if(t.type==="object"){if(!Mt(e)){s.push({path:n,message:`must be an object; received ${le(e)}`});return}let a=t.properties??{};for(let i of t.required??[])e[i]===void 0&&s.push({path:xe(n,i),message:"is required"});if(t.additionalProperties===!1)for(let i of Object.keys(e))i in a||s.push({path:xe(n,i),message:"unknown field"});else if(t.additionalProperties!==void 0&&t.additionalProperties!==!0&&typeof t.additionalProperties=="object"){let i=t.additionalProperties;for(let d of Object.keys(e))d in a||Ae(e[d],i,xe(n,d),r,s)}for(let[i,d]of Object.entries(a))e[i]!==void 0&&Ae(e[i],d,xe(n,i),r,s);return}if(t.type==="array"){if(!Array.isArray(e)){s.push({path:n,message:`must be an array; received ${le(e)}`});return}if(t.minItems!==void 0&&e.length<t.minItems&&s.push({path:n,message:`must contain at least ${t.minItems} item(s)`}),t.uniqueItems){let a=e.map(i=>JSON.stringify(i));new Set(a).size!==a.length&&s.push({path:n,message:"must not contain duplicate items"})}t.items&&e.forEach((a,i)=>Ae(a,t.items,`${n}[${i}]`,r,s));return}if(t.type==="string"){if(typeof e!="string"){s.push({path:n,message:`must be a string; received ${le(e)}`});return}t.minLength!==void 0&&e.length<t.minLength&&s.push({path:n,message:`must contain at least ${t.minLength} character(s)`});return}if(t.type==="boolean"){typeof e!="boolean"&&s.push({path:n,message:`must be a boolean; received ${le(e)}`});return}if(t.type==="integer"){if(!Number.isInteger(e)){s.push({path:n,message:`must be an integer; received ${le(e)}`});return}t.minimum!==void 0&&e<t.minimum&&s.push({path:n,message:`must be at least ${t.minimum}`})}}function Un(e){return{...e,$schema:e.$schema===void 0?nt:e.$schema,schemaVersion:e.schemaVersion===void 0?"1.1":e.schemaVersion,include:e.include===void 0?["src"]:e.include,layers:e.layers===void 0?[]:e.layers,rules:e.rules===void 0?Nt.map(t=>({...t})):e.rules}}function Gn(){let e=new Set(["1.1"]);for(let t of rt)t.from!=="unversioned"&&e.add(t.from),e.add(t.to);return e}function qn(e,t="ark.config.json"){if(!Mt(e))throw new q(t,[{path:"$",message:`must be an object; received ${le(e)}`}]);let n=Gn(),r=e.schemaVersion===void 0?"unversioned":typeof e.schemaVersion=="string"?e.schemaVersion:null;if(r===null)throw new q(t,[{path:"$.schemaVersion",message:`unsupported version ${JSON.stringify(e.schemaVersion)}; expected 1.1`}]);if(r!=="unversioned"&&!n.has(r))throw new q(t,[{path:"$.schemaVersion",message:`unsupported version ${JSON.stringify(r)}; expected 1.1`}]);let s=r,a={...e},i=0;for(;s!=="1.1"&&i<rt.length+1;){i+=1;let p=rt.find(b=>b.from===s);if(!p)throw new q(t,[{path:"$.schemaVersion",message:`unsupported version ${JSON.stringify(s)}; expected 1.1`}]);s=p.to,a.schemaVersion=s}if(s!=="1.1")throw new q(t,[{path:"$.schemaVersion",message:`unsupported version ${JSON.stringify(r)}; expected 1.1`}]);let d=r==="unversioned"?"unversioned":r==="1.0"?"1.0":null;return{candidate:Un(a),migratedFrom:d}}function st(e,t="ark.config.json"){let{candidate:n,migratedFrom:r}=qn(e,t),s=[];if(Ae(n,Lt,"$",Lt,s),s.length>0)throw new q(t,s);return{config:n,migratedFrom:r}}function Ht(e,t="ark.config.json"){let n;try{n=JSON.parse(e)}catch(r){throw new q(t,[{path:"$",message:`invalid JSON: ${r instanceof Error?r.message:String(r)}`}])}return st(n,t)}function Dt(e){let{stewards:t,...n}=e.config;return{config:n,arkRules:{schemaVersion:e.arkRules.schemaVersion,structure:e.arkRules.structure.map(r=>({id:r.id,sensor:r.sensor,mode:r.mode,appliesTo:r.appliesTo??null,description:r.description??null,provenance:r.provenance})),invariants:e.arkRules.invariants.map(r=>({id:r.id,description:r.description,aggregate:r.aggregate??null,coverage:r.coverage??null,mode:r.mode,appliesTo:r.appliesTo??null,provenance:r.provenance}))}}}var Ut="1.0";function I(e,t){e.push({id:`${t.classification}:${t.path}:${t.kind}`,path:t.path,classification:t.classification,message:t.message,...t.classification==="weakening"||t.classification==="judgment-required"?{nextAction:`Restore the previous protection at ${t.path}, then run ArkGate again.`}:{},...t.before===void 0?{}:{before:t.before},...t.after===void 0?{}:{after:t.after}})}function _(e){return[...new Set(e??[])].sort()}function X(e,t,n,r,s){let a=_(n),i=_(r),d=new Set(a),p=new Set(i),b=i.filter(h=>!d.has(h)),A=a.filter(h=>!p.has(h));b.length===0&&A.length===0||(b.length>0&&I(e,{kind:"added",path:t,classification:s.added,message:s.addedMessage,before:a,after:i}),A.length>0&&I(e,{kind:"removed",path:t,classification:s.removed,message:s.removedMessage,before:a,after:i}))}function Oe(e,t,n,r,s,a,i){if(n===r)return;I(e,{kind:r?"enabled":"disabled",path:t,classification:r?s:s==="strengthening"?"weakening":"strengthening",message:r?a:i,before:n,after:r})}function Pe(e,t){let n=new Map,r=new Set;for(let s of e){let a=t(s);n.has(a)?r.add(a):n.set(a,s)}return{values:n,duplicates:[...r].sort()}}function zn(e,t,n){let r=Pe(t,a=>a.name),s=Pe(n,a=>a.name);(r.duplicates.length>0||s.duplicates.length>0)&&I(e,{kind:"duplicate-layer",path:"$.layers",classification:"judgment-required",message:"Duplicate layer names make policy ownership ambiguous.",before:r.duplicates,after:s.duplicates});for(let a of[...new Set([...r.values.keys(),...s.values.keys()])].sort()){let i=r.values.get(a),d=s.values.get(a),p=`$.layers[${a}]`;if(!i&&d){I(e,{kind:"layer-added",path:p,classification:"judgment-required",message:"A layer was added; verify overlap, ownership, and rule coverage.",after:d});continue}if(i&&!d){I(e,{kind:"layer-removed",path:p,classification:"weakening",message:"Removing a layer can leave its source paths ungoverned.",before:i});continue}if(!i||!d)continue;X(e,`${p}.patterns`,i.patterns,d.patterns,{added:"strengthening",removed:"weakening",addedMessage:"Additional paths are governed by this layer.",removedMessage:"Paths were removed from this layer and may become ungoverned."}),X(e,`${p}.exclude`,i.exclude,d.exclude,{added:"weakening",removed:"strengthening",addedMessage:"Additional paths are excluded from this layer.",removedMessage:"Fewer paths are excluded from this layer."});let b=ke(i),A=ke(d);X(e,`${p}.forbiddenGlobals`,b.rawGlobals,A.rawGlobals,{added:"strengthening",removed:"weakening",addedMessage:"Additional forbidden globals are enforced in this layer.",removedMessage:"A forbidden-global protection was removed from this layer."}),X(e,`${p}.capabilities`,b.atoms,A.atoms,{added:"strengthening",removed:"weakening",addedMessage:"Additional ambient/import protection is enforced in this layer (coverage atoms).",removedMessage:"An ambient/import protection was lost from this layer (coverage atoms)."}),_(i.intentPrefixes).join("\0")!==_(d.intentPrefixes).join("\0")&&I(e,{kind:"intent-prefixes-changed",path:`${p}.intentPrefixes`,classification:"judgment-required",message:"Intent ownership changed and must be reviewed against publishers and consumers.",before:_(i.intentPrefixes),after:_(d.intentPrefixes)}),Oe(e,`${p}.mayImportInfrastructure`,i.mayImportInfrastructure===!0,d.mayImportInfrastructure===!0,"weakening","The layer may now import infrastructure directly.","Direct infrastructure imports are no longer allowed for this layer."),Oe(e,`${p}.optional`,i.optional===!0,d.optional===!0,"weakening","The layer is now optional and can be absent without a strict warning.","The layer is now required when its contract is active.")}}function Bn(e,t,n){let r=i=>`${i.from}->${i.to}`,s=Pe(t,r),a=Pe(n,r);(s.duplicates.length>0||a.duplicates.length>0)&&I(e,{kind:"duplicate-rule",path:"$.rules",classification:"judgment-required",message:"Duplicate rule edges make the effective verdict order-dependent.",before:s.duplicates,after:a.duplicates});for(let i of[...new Set([...s.values.keys(),...a.values.keys()])].sort()){let d=s.values.get(i),p=a.values.get(i),b=`$.rules[${i}]`;if(!d&&p){p.allowed===!1&&I(e,{kind:"deny-added",path:b,classification:"strengthening",message:"A denied dependency edge was added.",after:p});continue}if(d&&!p){d.allowed===!1&&I(e,{kind:"deny-removed",path:b,classification:"weakening",message:"A denied dependency edge was removed.",before:d});continue}if(!d||!p)continue;d.allowed!==p.allowed&&I(e,{kind:p.allowed?"deny-disabled":"deny-enabled",path:`${b}.allowed`,classification:p.allowed?"weakening":"strengthening",message:p.allowed?"A previously denied dependency edge is now allowed.":"A dependency edge is now denied.",before:d.allowed,after:p.allowed});let A=d.peerIsolation===!0,h=p.peerIsolation===!0;if(A!==h){let o=d.from===d.to&&p.from===p.to;I(e,{kind:h?"peer-isolation-enabled":"peer-isolation-disabled",path:`${b}.peerIsolation`,classification:o?h?"strengthening":"weakening":"judgment-required",message:o?h?"Cross-slice dependencies inside this layer are now denied.":"Cross-slice dependencies inside this layer are no longer denied.":"Changing peer isolation on a cross-layer edge changes the denial scope.",before:A,after:h})}_(d.sliceFolders).join("\0")!==_(p.sliceFolders).join("\0")&&I(e,{kind:"slice-folders-changed",path:`${b}.sliceFolders`,classification:"judgment-required",message:"Slice ownership folders changed and can reclassify existing dependencies.",before:_(d.sliceFolders),after:_(p.sliceFolders)})}}function Kn(e,t,n){let r=t.safety??{},s=n.safety??{};for(let a of["maxTsSuppressions","maxAnyCasts"]){let i=r[a]??0,d=s[a]??0;i!==d&&I(e,{kind:d>i?"threshold-raised":"threshold-lowered",path:`$.safety.${a}`,classification:d>i?"weakening":"strengthening",message:d>i?"The safety threshold allows more violations.":"The safety threshold allows fewer violations.",before:i,after:d})}for(let a of["allowInMemory","allowDisabledPeerIsolation"])Oe(e,`$.safety.${a}`,r[a]===!0,s[a]===!0,"weakening","A safety exception was enabled.","A safety exception was disabled.")}function Yn(e){return e.some(t=>t.classification==="weakening")?"weakening":e.some(t=>t.classification==="judgment-required")?"judgment-required":e.some(t=>t.classification==="strengthening")?"strengthening":"neutral"}function jt(e,t){return`${e}::${t}`}function Vt(e){let t=new Map,n=new Map;if(!e)return{structure:t,invariants:n};for(let r of e.structure)t.set(jt(r.provenance.layer,r.id),r);for(let r of e.invariants)n.set(jt(r.provenance.layer,r.id),r);return{structure:t,invariants:n}}function Wn(e,t,n,r,s,a){let i=new Map((a??[]).map(o=>[o.invariantId,o])),d=t.arkRules??{},p=n.arkRules??{},b=[...new Set([...Object.keys(d),...Object.keys(p)])].sort();for(let o of b){let l=d[o],c=p[o],f=`$.arkRules[${o}]`;if(l===void 0&&c!==void 0){I(e,{kind:"arkrules-ref-added",path:f,classification:"strengthening",message:`ArkRules reference for layer ${o} was added.`,after:c});continue}if(l!==void 0&&c===void 0){I(e,{kind:"arkrules-ref-removed",path:f,classification:"weakening",message:`ArkRules reference for layer ${o} was removed.`,before:l});continue}l!==c&&I(e,{kind:"arkrules-ref-path-changed",path:f,classification:"judgment-required",message:`ArkRules file path for layer ${o} changed; verify the effective rules still match intent.`,before:l,after:c})}let A=Vt(r),h=Vt(s);for(let o of[...new Set([...A.structure.keys(),...h.structure.keys()])].sort()){let l=A.structure.get(o),c=h.structure.get(o),f=`$.arkRules.structure[${o}]`;if(!l&&c){I(e,{kind:"arkrule-structure-added",path:f,classification:"strengthening",message:`Structure ArkRule ${c.id} was added (${c.mode}).`,after:c});continue}if(l&&!c){I(e,{kind:"arkrule-structure-removed",path:f,classification:"weakening",message:`Structure ArkRule ${l.id} was removed.`,before:l});continue}if(!(!l||!c)){if(l.mode!==c.mode){let y=l.mode==="advisory"&&c.mode==="enforced";I(e,{kind:y?"arkrule-promoted":"arkrule-demoted",path:`${f}.mode`,classification:y?"strengthening":"weakening",message:y?`Structure ArkRule ${c.id} was promoted to enforced.`:`Structure ArkRule ${c.id} was demoted to advisory.`,before:l.mode,after:c.mode})}l.sensor!==c.sensor&&I(e,{kind:"arkrule-sensor-changed",path:`${f}.sensor`,classification:"judgment-required",message:`Structure ArkRule ${c.id} changed sensor identity.`,before:l.sensor,after:c.sensor})}}for(let o of[...new Set([...A.invariants.keys(),...h.invariants.keys()])].sort()){let l=A.invariants.get(o),c=h.invariants.get(o),f=`$.arkRules.invariants[${o}]`;if(!l&&c){I(e,{kind:"arkrule-invariant-added",path:f,classification:"strengthening",message:`Invariant ${c.id} was added (${c.mode}).`,after:c});continue}if(l&&!c){I(e,{kind:"arkrule-invariant-removed",path:f,classification:"weakening",message:`Invariant ${l.id} was removed.`,before:l});continue}if(!(!l||!c)&&l.mode!==c.mode)if(l.mode==="advisory"&&c.mode==="enforced"){let v=i?.get(c.id),u=$t(v);u.ok?I(e,{kind:"arkrule-invariant-promoted",path:`${f}.mode`,classification:"strengthening",message:`Invariant ${c.id} was promoted to enforced (coverage evidence present).`,before:l.mode,after:c.mode}):I(e,{kind:"arkrule-invariant-promote-refused",path:`${f}.mode`,classification:"judgment-required",message:`Invariant ${c.id} cannot be promoted to enforced: ${u.reason}`,before:l.mode,after:c.mode})}else I(e,{kind:"arkrule-invariant-demoted",path:`${f}.mode`,classification:"weakening",message:`Invariant ${c.id} was demoted to advisory.`,before:l.mode,after:c.mode})}}function Gt(e,t,n){let r=[];X(r,"$.include",e.include,t.include,{added:"strengthening",removed:"weakening",addedMessage:"Additional project roots are governed.",removedMessage:"Project roots were removed from governance."}),X(r,"$.exclude",e.exclude,t.exclude,{added:"weakening",removed:"strengthening",addedMessage:"Additional project paths are excluded from governance.",removedMessage:"Fewer project paths are excluded from governance."}),X(r,"$.dynamicImportAllowlist",e.dynamicImportAllowlist,t.dynamicImportAllowlist,{added:"weakening",removed:"strengthening",addedMessage:"Additional files may use non-literal dynamic imports.",removedMessage:"Fewer files may use non-literal dynamic imports."}),Oe(r,"$.excludeGenerated",e.excludeGenerated!==!1,t.excludeGenerated!==!1,"weakening","Generated source is now excluded from governance.","Generated source is now governed.");let s={off:0,soft:1,"framework-soft":1,strict:2},a=e.cyclePolicy??"strict",i=t.cyclePolicy??"strict";if(a!==i){let d=s[i]===s[a]?"judgment-required":s[i]>s[a]?"strengthening":"weakening";I(r,{kind:"cycle-policy-changed",path:"$.cyclePolicy",classification:d,message:"The cycle enforcement level changed.",before:a,after:i})}return(e.frameworkOverlay??null)!==(t.frameworkOverlay??null)&&I(r,{kind:"framework-overlay-changed",path:"$.frameworkOverlay",classification:"judgment-required",message:"The framework overlay changed and may alter effective layer matching.",before:e.frameworkOverlay??null,after:t.frameworkOverlay??null}),zn(r,e.layers,t.layers),Bn(r,e.rules,t.rules),Kn(r,e,t),Wn(r,e,t,n?.baseArkRules,n?.candidateArkRules,n?.candidateInvariantCoverage),r.sort((d,p)=>d.path.localeCompare(p.path)||d.id.localeCompare(p.id)),{schemaVersion:Ut,classification:Yn(r),findings:r}}function qt(e,t){if(!e||e.schemaVersion!==Ut||typeof e.basePolicyHash!="string"||typeof e.candidatePolicyHash!="string"||typeof e.reason!="string"||!Array.isArray(e.findingIds)||e.findingIds.some(s=>typeof s!="string")||e.reason.trim().length===0||e.basePolicyHash!==t.basePolicyHash||e.candidatePolicyHash!==t.candidatePolicyHash)return!1;let n=_(e.findingIds),r=_(t.findingIds);return n.length===r.length&&n.every((s,a)=>s===r[a])}function Q(e){let t=[];for(let n of e.replace(/\\/g,"/").split("/"))!n||n==="."||(n===".."&&t.length>0&&t.at(-1)!==".."?t.pop():t.push(n));return t.join("/")}function zt(e){return e!==void 0&&/[A-Za-z_$]/.test(e)}function Te(e){return e!==void 0&&/[A-Za-z0-9_$]/.test(e)}function P(e,t){for(;t<e.length&&/\s/.test(e[t]);)t+=1;return t}function ve(e,t){let n=e[t];if(n!=="'"&&n!=='"')return;let r=t,s="";for(t+=1;t<e.length;t+=1){let a=e[t];if(a===n)return{value:s,offset:r,excerpt:e.slice(r,t+1)};a==="\\"&&t+1<e.length?(s+=e[t+1],t+=1):s+=a}}function F(e,t,n){return e.startsWith(t,n)&&!Te(e[n-1])&&!Te(e[n+t.length])}function Bt(e,t){let n=P(e,t);if(e[n]!=="{")return!1;n+=1;let r=!1;for(;n<e.length;){if(n=P(e,n),e[n]==="}")return r;if(e[n]===","){n+=1;continue}if(!F(e,"type",n))return!1;let s=P(e,n+4);if(s>=e.length||e[s]===","||e[s]==="}"||F(e,"as",s)||!zt(e[s]))return!1;for(n=s;n<e.length&&Te(e[n]);)n+=1;if(n=P(e,n),F(e,"as",n)){if(n=P(e,n+2),!zt(e[n]))return!1;for(;n<e.length&&Te(e[n]);)n+=1}r=!0}return!1}function Jn(e,t){if(t=P(e,t+6),e[t]==="(")return ve(e,P(e,t+1));let n=!1;if(F(e,"type",t)){let s=P(e,t+4);e[s]!==","&&!F(e,"from",s)&&(n=!0)}else Bt(e,t)&&(n=!0);let r=Kt(e,t,!0);return r&&n?{...r,typeOnly:!0}:r}function Zn(e,t){t=t+6;let n=P(e,t),r=!1;if(F(e,"type",n)){let a=P(e,n+4);(e[a]==="{"||e[a]==="*")&&(r=!0)}else Bt(e,n)&&(r=!0);let s=Kt(e,t,!1);return s&&r?{...s,typeOnly:!0}:s}function Kt(e,t,n){for(;t<e.length;t+=1){if(e[t]===";")return;if(F(e,"from",t))return ve(e,P(e,t+4));if(n&&(e[t]==="'"||e[t]==='"'))return ve(e,t);if(t>0&&(F(e,"import",t)||F(e,"export",t)))return}}function Xn(e,t){for(t+=1;t<e.length;t+=1){let n=e[t];if(n==="\\")t+=1;else if(n==="`")return t}return e.length}function Qn(e,t){let n=t-1;for(;n>=0&&/\s/.test(e[n]);)n-=1;if(e[n]===".")return;let r=P(e,t+7);if(e[r]!=="(")return;r=P(e,r+1);let s=ve(e,r);return s?{...s,requireCall:!0}:void 0}function er(e){let t=[];for(let n=0;n<e.length;n+=1){let r=e[n];if(r==="/"&&e[n+1]==="/"){if(n=e.indexOf(`
-`,n+2),n<0)break;continue}if(r==="/"&&e[n+1]==="*"){let a=e.indexOf("*/",n+2);if(a<0)break;n=a+1;continue}if(r==="`"){n=Xn(e,n);continue}if(r==="'"||r==='"'){let a=ve(e,n);a&&(n=a.offset+a.excerpt.length-1);continue}let s=r==="i"&&F(e,"import",n)?Jn(e,n):r==="e"&&F(e,"export",n)?Zn(e,n):r==="r"&&F(e,"require",n)?Qn(e,n):void 0;s&&(t.push(s),n=s.offset+s.excerpt.length-1)}return t}function Yt(e,t){let n=[],r=[];for(let s of er(e.content)){let a=s.value;if(!a.startsWith(".")){if(s.typeOnly)continue;let b=pe(a);if(!b)continue;let A=e.content.slice(0,s.offset).split(`
-`).length;r.push({file:e.path,symbol:a,capability:b,evidence:{kind:"import",file:e.path,line:A,excerpt:s.excerpt}});continue}let i=e.content.slice(0,s.offset).split(`
-`).length,d={kind:"import",file:e.path,line:i,excerpt:s.excerpt},p=tr(e.path,a,t);n.push({from:e.path,specifier:a,to:p?.path??null,resolution:p?"resolved":"unresolved",fromLayer:e.layer,toLayer:p?.layer??null,evidence:d})}return{edges:n,capabilityUses:r}}function tr(e,t,n){let r=e.split("/");r.pop();for(let a of t.split("/"))a==="."||a===""||(a===".."?r.pop():r.push(a));let s=r.join("/");for(let a of[s,`${s}.ts`,`${s}.tsx`,`${s}.mts`,`${s}.cts`,`${s}/index.ts`,`${s}/index.tsx`]){let i=n.get(a);if(i)return i}}function Wt(e,t){let n=[];for(let r of e){if(!r.to||!r.fromLayer||!r.toLayer)continue;let s=ae(t.rules,r.fromLayer,r.toLayer,{fromPath:r.from,toPath:r.to,layers:t.layers});s&&n.push({ruleId:`layer-dependency:${s.from}->${s.to}`,message:s.message??`${s.from} must not depend on ${s.to}.`,edge:r,evidence:r.evidence})}return n}var nr={code:"LEXICAL_EVIDENCE_INCOMPLETE",message:"Lexical compatibility mode cannot prove parse status, TypeScript/package/symlink resolution, or symbol-aware source-policy and safety evidence. Use the resolved candidate facts APIs for an authoritative verdict."};function rr(e,t){return e.arkRules!==void 0&&Object.keys(e.arkRules).length>0||t.structure.length>0||t.invariants.length>0}function sr(e,t){return rr(e,t)?E(k(Dt({config:e,arkRules:t,warnings:[]}))):E(k(e))}function at(e,t,n){let r=typeof e=="string"?Ht(e,t):st(e,t),s=n?.arkRules??me();return{...r,arkRules:s,policyHash:sr(r.config,s)}}function ar(e){let t=at(e.baseConfig,e.baseSource??"base ark.config.json",{arkRules:e.baseArkRules}),n=at(e.candidateConfig,e.candidateSource??"candidate ark.config.json",{arkRules:e.candidateArkRules}),r=Gt(t.config,n.config,{baseArkRules:t.arkRules,candidateArkRules:n.arkRules,candidateInvariantCoverage:e.candidateInvariantCoverage}),s=r.findings.filter(d=>d.classification==="weakening"||d.classification==="judgment-required").map(d=>d.id).sort(),a=s.length>0,i=a&&qt(e.acknowledgement,{basePolicyHash:t.policyHash,candidatePolicyHash:n.policyHash,findingIds:s});return{schemaVersion:r.schemaVersion,basePolicyHash:t.policyHash,candidatePolicyHash:n.policyHash,classification:r.classification,findings:r.findings,blockingFindingIds:s,requiresAcknowledgement:a,acknowledged:i,valid:!a||i}}function _e(e){let t=e.files.map(h=>{let o=Q(h.path);return{path:o,content:h.content,contentHash:E(h.content),layer:V(o,e.contract.config.layers)??null}}).sort((h,o)=>h.path.localeCompare(o.path)),n=new Map(t.map(h=>[h.path,h])),r=[],s=[];for(let h of t){let o=Yt(h,n);r.push(...o.edges),s.push(...o.capabilityUses)}let a=Wt(r,e.contract.config),i=new Map(e.contract.config.layers.map(h=>[h.name,h])),d=new Map(e.contract.config.layers.map(h=>[h.name,new Set(se(h))]));for(let h of s){let o=n.get(h.file)?.layer;if(!o)continue;let l=i.get(o),c=fe(h.symbol,l?.forbiddenGlobals??[]);if(c){a.push({ruleId:"FORBIDDEN_GLOBAL",message:`${o} must not use module "${h.symbol}" because it is the import form of forbidden global "${c}".`,symbol:h.symbol,evidence:h.evidence});continue}d.get(o)?.has(h.capability)&&a.push({ruleId:"CAPABILITY_VIOLATION",message:`${o} denies the ${h.capability} capability; found import of "${h.symbol}".`,capability:h.capability,symbol:h.symbol,evidence:h.evidence})}let p=t.length===0?"complete":"partial",b=p==="complete"?[]:[{...nr}],A={schemaVersion:mt,policyHash:e.contract.policyHash,compilerOptionsHash:E(k(e.compilerOptions??{})),files:t,layers:e.contract.config.layers.map(h=>h.name),edges:r,capabilityUses:s,violations:a};return{mode:"lexical-compatibility",completeness:p,completenessReasons:b,valid:p==="complete"&&a.length===0,ir:A}}function it(e){let t=new Map(e.files.map(n=>[Q(n.path),n]));for(let n of e.changes){let r=Q(n.path);"delete"in n&&n.delete?t.delete(r):"content"in n&&t.set(r,{path:r,content:n.content})}return _e({contract:e.contract,files:[...t.values()],compilerOptions:e.compilerOptions})}function ir(e){let t=`${e.evidence.file}:${e.evidence.line}`;if(!e.edge)return`${e.ruleId} at ${t}: ${e.message}`;let n=e.edge.to??e.edge.specifier;return`${e.ruleId} at ${t}: ${e.edge.from} imports ${n}. ${e.message}`}var or=/(^|\/)(constants|types|enums|shared-types|shared\/(?:types|constants)|test-projects)(\/|\.|$)|(?:^|\/)[^/]*(?:constants|types)(?:\.[cm]?[jt]sx?)?$/i,lr=/(^|\/)(?:kernel(?:\/|$)|events?(?:\/|\.|$)|bootstrap(?:\.[cm]?[jt]sx?)?$|emitter(?:\.[cm]?[jt]sx?)?$)|(?:^|\/)(?:intents?|publish)(?:\/|\.|$)/i,cr=/(use-?cases?|usecases?|application|orchestrat|services?|handlers?)(\/|\.|$)/i;function dr(e,t){let n=String(e??"").replace(/\\/g,"/").trim(),r=String(t?.fromLayer??""),s=String(t?.toLayer??"");return or.test(n)?"pure-shared":r==="PersistenceAdapters"&&(lr.test(n)||/events?|intents?|kernel|bootstrap/i.test(`${s} ${n}`))?"kernel-emit":cr.test(n)||(r==="DomainModel"||r==="ApplicationOrchestration")&&s==="PersistenceAdapters"?"use-case":"unknown"}function pr(e){if(e.typeOnly||e.targetTypeOnlyExports||e.namedBindingsTypeOnly)return"Move the referenced type to a mutually allowed layer, use `import type`, then preflight again.";if(e.peerIsolation)return"Extract the shared dependency to a shared layer, test at the public interface, then preflight again.";let t=dr(typeof e.target=="string"?e.target:"",{fromLayer:typeof e.fromLayer=="string"?e.fromLayer:void 0,toLayer:typeof e.toLayer=="string"?e.toLayer:void 0});return t==="pure-shared"?"Adopt the imported constants/types/pure module into DomainModel or SharedKernel (do not inject a port). Then preflight again.":t==="kernel-emit"?"Persistence must not emit. Inject a port or move the event map to SharedTypes; do not import kernel/events/bootstrap from a repository. Then preflight again.":t==="use-case"||e.portProofEligible?`Define a port in ${e.fromLayer??"the source layer"}, inject the ${e.toLayer??"outer-layer"} implementation, test at the public interface, then preflight again.`:"Classify the import: if it is constants/types/pure, adopt into DomainModel or SharedKernel; define a port only if the target is a real use-case. Then preflight again."}function Fe(e){switch(e.ruleId){case"LAYER_IMPORT_VIOLATION":return pr(e);case"FORBIDDEN_GLOBAL":return`Inject ${e.target??"the capability"} through a port, test at the public interface, then preflight again.`;case"CAPABILITY_VIOLATION":return`Define a ${String(e.capability??"capability")} port in ${e.fromLayer??"the walled layer"}, bind the implementation outside it, test at the public interface, then preflight again.`;case"CIRCULAR_DEPENDENCY":return"Extract the shared dependency into a third module, test at the public interface, then preflight again.";case"RAW_EVENT_PUBLISH":return"Publish through a registered intent creator, then run Ark again.";case"PUBLISH_MISSING_SOURCE":return"Add metadata.source to the publish call, then run Ark again.";case"ARKRULE_STRUCTURE":case"ARKRULE_INVARIANT":case"INVARIANT_UNCOVERED":return`Fix the structure or invariant for ${typeof e.arkruleId=="string"&&e.arkruleId.length>0?e.arkruleId:"the ArkRule"} (declared in ${typeof e.arkruleSource=="string"&&e.arkruleSource.length>0?e.arkruleSource:"arkrules/<Layer>.json"}), then preflight again. Do not demote the rule without a hash-bound policy acknowledgement.`;default:return typeof e.ruleId=="string"&&e.ruleId.startsWith("ARKRULE_")?`Fix the ArkRule ${typeof e.arkruleId=="string"?e.arkruleId:e.ruleId}, then preflight again.`:`Resolve ${typeof e.ruleId=="string"&&e.ruleId.length>0?e.ruleId:"ARK_UNKNOWN"} without weakening ark.config.json, then run Ark again.`}}function Jt(e){return E(k(e.map(({path:t,contentHash:n})=>({path:t,contentHash:n}))))}function fr(e){let t=_e(e),n=new Map(t.ir.files.map(c=>[c.path,c])),r=[],s=new Set,a=[];for(let c of e.changes){let f=c.path.replace(/\\/g,"/"),y=Q(c.path);if(!y||y===".."||y.startsWith("../")||f.startsWith("/")||/^[A-Za-z]:\//.test(f)||f.includes("\0")){a.push({ruleId:"INVALID_CHANGE_PATH",file:"<change-set>",line:1,message:"Every change requires a safe, non-empty project-relative path."});continue}if(s.has(y)){a.push({ruleId:"DUPLICATE_CHANGE_PATH",file:y,line:1,message:`The atomic change set contains more than one operation for ${y}.`});continue}s.add(y),"delete"in c&&c.delete&&!n.has(y)&&a.push({ruleId:"DELETE_TARGET_MISSING",file:y,line:1,message:`Cannot delete ${y} because it is not present in the supplied base tree.`}),r.push("delete"in c&&c.delete?{path:y,delete:!0}:{path:y,content:"content"in c?c.content:""})}e.changes.length===0&&a.push({ruleId:"CHANGE_SET_EMPTY",file:"<change-set>",line:1,message:"Atomic preflight requires at least one create, update, or delete."});let i=it({...e,changes:r}),d=new Map(i.ir.files.map(c=>[c.path,c])),p=i.ir.violations.filter(c=>c.ruleId==="CAPABILITY_VIOLATION"||c.ruleId==="FORBIDDEN_GLOBAL").map(c=>{let f=d.get(c.evidence.file)?.layer;return{ruleId:c.ruleId,file:c.evidence.file,line:c.evidence.line,target:c.symbol,...c.capability?{capability:c.capability}:{},...f?{fromLayer:f}:{},edgeKind:"import",message:c.message}}),b=ge({config:e.contract.config,rules:e.contract.config.rules,files:i.ir.files.map(c=>c.path),contentViolations:p,edges:i.ir.edges.filter(c=>!!c.fromLayer).map(c=>({from:c.from,fromLayer:c.fromLayer,...c.to?{to:c.to}:{},...c.toLayer?{toLayer:c.toLayer}:{},line:c.evidence.line,kind:"import",...c.typeOnly?{typeOnly:!0}:{},...c.namedBindingsTypeOnly?{namedBindingsTypeOnly:!0}:{}}))}),A=r.map(c=>{let f=Q(c.path),y=n.get(f),v=d.get(f);return{path:f,operation:"delete"in c&&c.delete?"delete":y?"update":"create",...y?{beforeContentHash:y.contentHash}:{},...v?{candidateContentHash:v.contentHash}:{}}}).sort((c,f)=>c.path.localeCompare(f.path)),h=[...a,...b.violations].map(c=>({...c,nextAction:Fe(c)})),o=h.filter(c=>c.failsStrict!==!1),l=e.changeMap?be({changeMap:e.changeMap,changes:A,baseDependencies:t.ir.edges.flatMap(c=>c.to?[{from:c.from,to:c.to}]:[]),candidateDependencies:i.ir.edges.flatMap(c=>c.to?[{from:c.from,to:c.to}]:[])}):void 0;return{schemaVersion:"1.0",mode:"lexical-compatibility",valid:t.completeness==="complete"&&i.valid&&o.length===0&&(l?.structurallyConverged??!0),readOnly:!0,policyHash:e.contract.policyHash,compilerOptionsHash:i.ir.compilerOptionsHash,baseTreeHash:Jt(t.ir.files),candidateTreeHash:Jt(i.ir.files),baseCompleteness:t.completeness,candidateCompleteness:i.completeness,baseCompletenessReasons:t.completenessReasons,candidateCompletenessReasons:i.completenessReasons,...e.changeMap?{changeMapHash:e.changeMap.hash}:{},...l?{convergence:l}:{},changes:A,violations:h,warnings:b.warnings}}function ur(e){let t=e.replace(/\\/g,"/");if(!t||t.startsWith("/")||/^[A-Za-z]:\//.test(t)||t.includes("\0"))return;let n=[];for(let s of t.split("/"))if(!(!s||s==="."))if(s===".."){if(n.length===0)return;n.pop()}else n.push(s);let r=n.join("/");return r&&r===t?r:void 0}function mr(e,t){return[["resolverIdentity",e.resolverIdentity,t.resolverIdentity],["compilerIdentity",e.compilerIdentity,t.compilerIdentity],["evidenceRequirementsHash",e.evidenceRequirementsHash,t.evidenceRequirementsHash],["projectPackageName",e.projectPackageName??"",t.projectPackageName??""]].filter(([,r,s])=>r!==s).map(([r,s,a])=>({ruleId:"FACTS_IDENTITY_MISMATCH",file:"<change-set>",line:1,field:r,before:s,candidate:a,message:`Base and candidate facts must use the same ${r}.`}))}function yr(e,t,n,r){let s=n.get(t),a=r.get(t);return{path:t,operation:"delete"in e&&e.delete?"delete":s?"update":"create",...s?{beforeContentHash:s.contentHash}:{},...a?{candidateContentHash:a.contentHash}:{}}}function gr(e){let t=W(e.baseFacts),n=W(e.candidateFacts),r=$e({contract:e.contract,facts:t}),s=$e({contract:e.contract,facts:n}),a=new Map(t.files.map(l=>[l.path,l])),i=new Map(n.files.map(l=>[l.path,l])),d=mr(t,n),p=new Map,b=[];for(let l of e.changes){let c=ur(l.path);if(!c){d.push({ruleId:"INVALID_CHANGE_PATH",file:"<change-set>",line:1,message:"Every change requires a canonical project-relative path."});continue}if(p.has(c)){d.push({ruleId:"DUPLICATE_CHANGE_PATH",file:c,line:1,message:`The atomic change set contains more than one operation for ${c}.`});continue}p.set(c,l);let f=a.get(c),y=i.get(c);if("delete"in l&&l.delete)f||d.push({ruleId:"DELETE_TARGET_MISSING",file:c,line:1,message:`Cannot delete ${c} because it is not present in the supplied base facts.`}),y&&d.push({ruleId:"CANDIDATE_DELETE_NOT_APPLIED",file:c,line:1,message:`Candidate facts still contain deleted file ${c}.`});else{let v="content"in l?l.content:"",u=E(v);y?y.contentHash!==u&&d.push({ruleId:"CANDIDATE_CONTENT_HASH_MISMATCH",file:c,line:1,expectedContentHash:u,candidateContentHash:y.contentHash,message:`Candidate facts for ${c} do not match the declared content.`}):d.push({ruleId:"CANDIDATE_CHANGE_MISSING",file:c,line:1,message:`Candidate facts do not contain changed file ${c}.`})}b.push(yr(l,c,a,i))}e.changes.length===0&&d.push({ruleId:"CHANGE_SET_EMPTY",file:"<change-set>",line:1,message:"Atomic preflight requires at least one create, update, or delete."});for(let l of new Set([...a.keys(),...i.keys()])){if(p.has(l))continue;let c=a.get(l),f=i.get(l);c&&f&&k(c)===k(f)||d.push({ruleId:"UNDECLARED_CANDIDATE_CHANGE",file:l,line:1,message:`Candidate facts change ${l}, but the atomic change set does not declare it.`})}let A=e.changeMap?be({changeMap:e.changeMap,changes:b,baseDependencies:r.ir.edges.flatMap(l=>l.to?[{from:l.from,to:l.to}]:[]),candidateDependencies:s.ir.edges.flatMap(l=>l.to?[{from:l.from,to:l.to}]:[])}):void 0,h=[...d,...s.ir.violations].map(l=>({...l,nextAction:Fe(l)})),o=h.filter(l=>l.failsStrict!==!1);return{schemaVersion:"1.0",mode:"resolved-candidate-facts",valid:r.completeness==="complete"&&s.strictValid&&o.length===0&&(A?.structurallyConverged??!0),readOnly:!0,policyHash:e.contract.policyHash,resolverIdentity:n.resolverIdentity,compilerIdentity:n.compilerIdentity,compilerOptionsHash:n.compilerOptionsHash,tsconfigHash:n.tsconfigHash,baseCompilerOptionsHash:t.compilerOptionsHash,candidateCompilerOptionsHash:n.compilerOptionsHash,baseTsconfigHash:t.tsconfigHash,candidateTsconfigHash:n.tsconfigHash,evidenceRequirementsHash:n.evidenceRequirementsHash,baseFactsHash:t.factsHash,candidateFactsHash:n.factsHash,baseTreeHash:t.candidateTreeHash,candidateTreeHash:n.candidateTreeHash,baseCompleteness:r.completeness,candidateCompleteness:s.completeness,baseCompletenessReasons:r.completenessReasons,candidateCompletenessReasons:s.completenessReasons,...e.changeMap?{changeMapHash:e.changeMap.hash}:{},...A?{convergence:A}:{},changes:b.sort((l,c)=>l.path<c.path?-1:l.path>c.path?1:0),violations:h,warnings:s.ir.warnings}}var Zt=new WeakSet;function Xt(e){if(!e||typeof e!="object"||Object.isFrozen(e))return e;for(let t of Object.values(e))Xt(t);return Object.freeze(e)}function Qs(e){let t=Xt(Ie(e));return Zt.add(t),t}function ea(e){if(!Zt.has(e.facts))throw new Error("Trusted resolved analysis requires immutable in-process canonical facts.");return Ye(e)}export{De as AMBIENT_CAPABILITY_ENTRIES,Me as CAPABILITY_IDS,Ge as DEFAULT_INTENT_PREFIXES,ut as RESOLVED_CANDIDATE_FACTS_SCHEMA,ee as RESOLVED_CANDIDATE_FACTS_SCHEMA_VERSION,Ue as SOURCE_POLICY_MESSAGES,je as ambientCoveredByForbiddenGlobals,be as analyzeArchitectureConvergence,it as analyzeChange,ar as analyzePolicyDelta,_e as analyzeProject,$e as analyzeResolvedProject,ea as analyzeTrustedResolvedProject,ue as capabilityForAmbientName,pe as capabilityForModuleSpecifier,ze as classifyPublishFacts,Ke as collectAnalysisConfigWarnings,Hn as collectCapabilityUses,tt as collectForbiddenCapabilityUses,Ie as createResolvedCandidateFacts,Qs as createTrustedResolvedCandidateFacts,wt as detectArchitectureCycles,E as deterministicHash,se as effectiveCapabilityDeny,ge as evaluateArchitectureGraph,ir as explainViolation,et as extractSemanticDependencies,fe as forbiddenGlobalForModuleSpecifier,Ln as loadArchitectureChangeMap,at as loadContract,W as loadResolvedCandidateFacts,bt as looksLikeArkIntent,an as lowerForbiddenGlobal,ke as loweredLayerCoverage,fr as preflightChange,gr as preflightResolvedChange,qe as resolveIntentLayer,Re as resolvedFactsEvidenceRequirementsHash,k as stableSerialize};
+`)}`),this.name="ArkConfigValidationError",this.source=t,this.issues=n}};function _e(e){return e!==null&&typeof e=="object"&&!Array.isArray(e)}function je(e,t){return/^[A-Za-z_$][A-Za-z0-9_$]*$/.test(t)?`${e}.${t}`:`${e}[${JSON.stringify(t)}]`}function ye(e){return e===null?"null":Array.isArray(e)?"array":typeof e}function Cr(e,t){let n="#/$defs/";if(e.startsWith(n))return t.$defs[e.slice(n.length)]}function $e(e,t,n,r,s){if(t.$ref){let a=Cr(t.$ref,r);if(!a){s.push({path:n,message:`schema reference ${t.$ref} cannot be resolved`});return}$e(e,a,n,r,s);return}if(t.const!==void 0&&!Object.is(e,t.const)){s.push({path:n,message:`must equal ${JSON.stringify(t.const)}`});return}if(t.enum&&!t.enum.some(a=>Object.is(a,e))){s.push({path:n,message:`must be one of ${t.enum.map(String).join(", ")}`});return}if(t.type==="object"){if(!_e(e)){s.push({path:n,message:`must be an object; received ${ye(e)}`});return}let a=t.properties??{};for(let o of t.required??[])e[o]===void 0&&s.push({path:je(n,o),message:"is required"});if(t.additionalProperties===!1)for(let o of Object.keys(e))o in a||s.push({path:je(n,o),message:"unknown field"});else if(t.additionalProperties!==void 0&&t.additionalProperties!==!0&&typeof t.additionalProperties=="object"){let o=t.additionalProperties;for(let i of Object.keys(e))i in a||$e(e[i],o,je(n,i),r,s)}for(let[o,i]of Object.entries(a))e[o]!==void 0&&$e(e[o],i,je(n,o),r,s);return}if(t.type==="array"){if(!Array.isArray(e)){s.push({path:n,message:`must be an array; received ${ye(e)}`});return}if(t.minItems!==void 0&&e.length<t.minItems&&s.push({path:n,message:`must contain at least ${t.minItems} item(s)`}),t.uniqueItems){let a=e.map(o=>JSON.stringify(o));new Set(a).size!==a.length&&s.push({path:n,message:"must not contain duplicate items"})}t.items&&e.forEach((a,o)=>$e(a,t.items,`${n}[${o}]`,r,s));return}if(t.type==="string"){if(typeof e!="string"){s.push({path:n,message:`must be a string; received ${ye(e)}`});return}t.minLength!==void 0&&e.length<t.minLength&&s.push({path:n,message:`must contain at least ${t.minLength} character(s)`});return}if(t.type==="boolean"){typeof e!="boolean"&&s.push({path:n,message:`must be a boolean; received ${ye(e)}`});return}if(t.type==="integer"){if(!Number.isInteger(e)){s.push({path:n,message:`must be an integer; received ${ye(e)}`});return}t.minimum!==void 0&&e<t.minimum&&s.push({path:n,message:`must be at least ${t.minimum}`})}}function Sr(e){return _e(e)?{...e,mode:e.mode===void 0?"advisory":e.mode,compositionRoots:e.compositionRoots===void 0?[]:e.compositionRoots,managedLayers:e.managedLayers===void 0?[]:e.managedLayers,requireDeclarations:e.requireDeclarations===void 0?!0:e.requireDeclarations}:e}function Ir(e){let t={...e,$schema:e.$schema===void 0?pt:e.$schema,schemaVersion:e.schemaVersion===void 0?"1.2":e.schemaVersion,include:e.include===void 0?["src"]:e.include,layers:e.layers===void 0?[]:e.layers,rules:e.rules===void 0?nn.map(n=>({...n})):e.rules};return e.arkRun!==void 0&&(t.arkRun=Sr(e.arkRun)),t}function wr(e,t){let n=e.arkRun;if(n===void 0||!_e(n))return;let r=new Set;if(Array.isArray(e.layers))for(let a of e.layers)_e(a)&&typeof a.name=="string"&&a.name.length>0&&r.add(a.name);let s=n.managedLayers;if(Array.isArray(s)&&s.forEach((a,o)=>{typeof a=="string"&&a.length>0&&!r.has(a)&&t.push({path:`$.arkRun.managedLayers[${o}]`,message:`layer ${JSON.stringify(a)} is not declared in layers[]`})}),n.mode==="enforced"){let a=n.compositionRoots;(!Array.isArray(a)||a.length===0)&&t.push({path:"$.arkRun.compositionRoots",message:"ARKRUN_MISSING_ROOT: enforced mode requires at least one composition root"}),(!Array.isArray(s)||s.length===0)&&t.push({path:"$.arkRun.managedLayers",message:"enforced mode requires at least one managed layer"})}}function xr(e){return e==="1.2"?null:e==="unversioned"?"unversioned":e==="1.0"||e==="1.1"?e:null}function $r(){let e=new Set(["1.2"]);for(let t of ft)t.from!=="unversioned"&&e.add(t.from),e.add(t.to);return e}function _r(e,t="ark.config.json"){if(!_e(e))throw new te(t,[{path:"$",message:`must be an object; received ${ye(e)}`}]);let n=$r(),r=e.schemaVersion===void 0?"unversioned":typeof e.schemaVersion=="string"?e.schemaVersion:null;if(r===null)throw new te(t,[{path:"$.schemaVersion",message:`unsupported version ${JSON.stringify(e.schemaVersion)}; expected 1.2`}]);if(r!=="unversioned"&&!n.has(r))throw new te(t,[{path:"$.schemaVersion",message:`unsupported version ${JSON.stringify(r)}; expected 1.2`}]);let s=r,a={...e},o=0;for(;s!=="1.2"&&o<ft.length+1;){o+=1;let i=ft.find(c=>c.from===s);if(!i)throw new te(t,[{path:"$.schemaVersion",message:`unsupported version ${JSON.stringify(s)}; expected 1.2`}]);s=i.to,a.schemaVersion=s}if(s!=="1.2")throw new te(t,[{path:"$.schemaVersion",message:`unsupported version ${JSON.stringify(r)}; expected 1.2`}]);return{candidate:Ir(a),migratedFrom:xr(r)}}function mt(e,t="ark.config.json"){let{candidate:n,migratedFrom:r}=_r(e,t),s=[];if($e(n,tn,"$",tn,s),wr(n,s),s.length>0)throw new te(t,s);return{config:n,migratedFrom:r}}function rn(e,t="ark.config.json"){let n;try{n=JSON.parse(e)}catch(r){throw new te(t,[{path:"$",message:`invalid JSON: ${r instanceof Error?r.message:String(r)}`}])}return mt(n,t)}function sn(e){let{stewards:t,...n}=e.config;return{config:n,arkRules:{schemaVersion:e.arkRules.schemaVersion,structure:e.arkRules.structure.map(r=>({id:r.id,sensor:r.sensor,mode:r.mode,appliesTo:r.appliesTo??null,description:r.description??null,provenance:r.provenance})),invariants:e.arkRules.invariants.map(r=>({id:r.id,description:r.description,aggregate:r.aggregate??null,coverage:r.coverage??null,mode:r.mode,appliesTo:r.appliesTo??null,provenance:r.provenance}))}}}var ln="1.0";function C(e,t){e.push({id:`${t.classification}:${t.path}:${t.kind}`,path:t.path,classification:t.classification,message:t.message,...t.classification==="weakening"||t.classification==="judgment-required"?{nextAction:`Restore the previous protection at ${t.path}, then run ArkGate again.`}:{},...t.before===void 0?{}:{before:t.before},...t.after===void 0?{}:{after:t.after}})}function G(e){return[...new Set(e??[])].sort()}function ne(e,t,n,r,s){let a=G(n),o=G(r),i=new Set(a),c=new Set(o),R=o.filter(h=>!i.has(h)),A=a.filter(h=>!c.has(h));R.length===0&&A.length===0||(R.length>0&&C(e,{kind:"added",path:t,classification:s.added,message:s.addedMessage,before:a,after:o}),A.length>0&&C(e,{kind:"removed",path:t,classification:s.removed,message:s.removedMessage,before:a,after:o}))}function Ne(e,t,n,r,s,a,o){if(n===r)return;C(e,{kind:r?"enabled":"disabled",path:t,classification:r?s:s==="strengthening"?"weakening":"strengthening",message:r?a:o,before:n,after:r})}function Ke(e,t){let n=new Map,r=new Set;for(let s of e){let a=t(s);n.has(a)?r.add(a):n.set(a,s)}return{values:n,duplicates:[...r].sort()}}function Nr(e,t,n){let r=Ke(t,a=>a.name),s=Ke(n,a=>a.name);(r.duplicates.length>0||s.duplicates.length>0)&&C(e,{kind:"duplicate-layer",path:"$.layers",classification:"judgment-required",message:"Duplicate layer names make policy ownership ambiguous.",before:r.duplicates,after:s.duplicates});for(let a of[...new Set([...r.values.keys(),...s.values.keys()])].sort()){let o=r.values.get(a),i=s.values.get(a),c=`$.layers[${a}]`;if(!o&&i){C(e,{kind:"layer-added",path:c,classification:"judgment-required",message:"A layer was added; verify overlap, ownership, and rule coverage.",after:i});continue}if(o&&!i){C(e,{kind:"layer-removed",path:c,classification:"weakening",message:"Removing a layer can leave its source paths ungoverned.",before:o});continue}if(!o||!i)continue;ne(e,`${c}.patterns`,o.patterns,i.patterns,{added:"strengthening",removed:"weakening",addedMessage:"Additional paths are governed by this layer.",removedMessage:"Paths were removed from this layer and may become ungoverned."}),ne(e,`${c}.exclude`,o.exclude,i.exclude,{added:"weakening",removed:"strengthening",addedMessage:"Additional paths are excluded from this layer.",removedMessage:"Fewer paths are excluded from this layer."});let R=Pe(o),A=Pe(i);ne(e,`${c}.forbiddenGlobals`,R.rawGlobals,A.rawGlobals,{added:"strengthening",removed:"weakening",addedMessage:"Additional forbidden globals are enforced in this layer.",removedMessage:"A forbidden-global protection was removed from this layer."}),ne(e,`${c}.capabilities`,R.atoms,A.atoms,{added:"strengthening",removed:"weakening",addedMessage:"Additional ambient/import protection is enforced in this layer (coverage atoms).",removedMessage:"An ambient/import protection was lost from this layer (coverage atoms)."}),G(o.intentPrefixes).join("\0")!==G(i.intentPrefixes).join("\0")&&C(e,{kind:"intent-prefixes-changed",path:`${c}.intentPrefixes`,classification:"judgment-required",message:"Intent ownership changed and must be reviewed against publishers and consumers.",before:G(o.intentPrefixes),after:G(i.intentPrefixes)}),Ne(e,`${c}.mayImportInfrastructure`,o.mayImportInfrastructure===!0,i.mayImportInfrastructure===!0,"weakening","The layer may now import infrastructure directly.","Direct infrastructure imports are no longer allowed for this layer."),Ne(e,`${c}.optional`,o.optional===!0,i.optional===!0,"weakening","The layer is now optional and can be absent without a strict warning.","The layer is now required when its contract is active.")}}function Fr(e,t,n){let r=o=>`${o.from}->${o.to}`,s=Ke(t,r),a=Ke(n,r);(s.duplicates.length>0||a.duplicates.length>0)&&C(e,{kind:"duplicate-rule",path:"$.rules",classification:"judgment-required",message:"Duplicate rule edges make the effective verdict order-dependent.",before:s.duplicates,after:a.duplicates});for(let o of[...new Set([...s.values.keys(),...a.values.keys()])].sort()){let i=s.values.get(o),c=a.values.get(o),R=`$.rules[${o}]`;if(!i&&c){c.allowed===!1&&C(e,{kind:"deny-added",path:R,classification:"strengthening",message:"A denied dependency edge was added.",after:c});continue}if(i&&!c){i.allowed===!1&&C(e,{kind:"deny-removed",path:R,classification:"weakening",message:"A denied dependency edge was removed.",before:i});continue}if(!i||!c)continue;i.allowed!==c.allowed&&C(e,{kind:c.allowed?"deny-disabled":"deny-enabled",path:`${R}.allowed`,classification:c.allowed?"weakening":"strengthening",message:c.allowed?"A previously denied dependency edge is now allowed.":"A dependency edge is now denied.",before:i.allowed,after:c.allowed});let A=i.peerIsolation===!0,h=c.peerIsolation===!0;if(A!==h){let u=i.from===i.to&&c.from===c.to;C(e,{kind:h?"peer-isolation-enabled":"peer-isolation-disabled",path:`${R}.peerIsolation`,classification:u?h?"strengthening":"weakening":"judgment-required",message:u?h?"Cross-slice dependencies inside this layer are now denied.":"Cross-slice dependencies inside this layer are no longer denied.":"Changing peer isolation on a cross-layer edge changes the denial scope.",before:A,after:h})}G(i.sliceFolders).join("\0")!==G(c.sliceFolders).join("\0")&&C(e,{kind:"slice-folders-changed",path:`${R}.sliceFolders`,classification:"judgment-required",message:"Slice ownership folders changed and can reclassify existing dependencies.",before:G(i.sliceFolders),after:G(c.sliceFolders)})}}function Tr(e,t,n){let r=t.safety??{},s=n.safety??{};for(let a of["maxTsSuppressions","maxAnyCasts"]){let o=r[a]??0,i=s[a]??0;o!==i&&C(e,{kind:i>o?"threshold-raised":"threshold-lowered",path:`$.safety.${a}`,classification:i>o?"weakening":"strengthening",message:i>o?"The safety threshold allows more violations.":"The safety threshold allows fewer violations.",before:o,after:i})}for(let a of["allowInMemory","allowDisabledPeerIsolation"])Ne(e,`$.safety.${a}`,r[a]===!0,s[a]===!0,"weakening","A safety exception was enabled.","A safety exception was disabled.")}function gt(e){return e.mode==="enforced"?"enforced":"advisory"}function Or(e,t,n){let r=t.arkRun,s=n.arkRun,a="$.arkRun";if(!r&&!s)return;if(!r&&s){C(e,{kind:"arkrun-added",path:a,classification:"strengthening",message:`ArkRun extra was added (${gt(s)}).`,after:s});return}if(r&&!s){C(e,{kind:"arkrun-removed",path:a,classification:"weakening",message:"ArkRun extra was removed.",before:r});return}if(!r||!s)return;let o=gt(r),i=gt(s);if(o!==i){let c=o==="advisory"&&i==="enforced";C(e,{kind:c?"arkrun-promoted":"arkrun-demoted",path:`${a}.mode`,classification:c?"strengthening":"weakening",message:c?"ArkRun extra was promoted to enforced.":"ArkRun extra was demoted to advisory.",before:o,after:i})}ne(e,`${a}.compositionRoots`,r.compositionRoots,s.compositionRoots,{added:"strengthening",removed:"weakening",addedMessage:"Additional ArkRun composition roots are governed.",removedMessage:"ArkRun composition roots were removed and may skip the kernel."}),ne(e,`${a}.managedLayers`,r.managedLayers,s.managedLayers,{added:"strengthening",removed:"weakening",addedMessage:"Additional layers are managed by ArkRun.",removedMessage:"Layers were removed from ArkRun management."}),Ne(e,`${a}.requireDeclarations`,r.requireDeclarations!==!1,s.requireDeclarations!==!1,"strengthening","ArkRun now requires interaction declarations.","ArkRun no longer requires interaction declarations.")}function Lr(e){return e.some(t=>t.classification==="weakening")?"weakening":e.some(t=>t.classification==="judgment-required")?"judgment-required":e.some(t=>t.classification==="strengthening")?"strengthening":"neutral"}function an(e,t){return`${e}::${t}`}function on(e){let t=new Map,n=new Map;if(!e)return{structure:t,invariants:n};for(let r of e.structure)t.set(an(r.provenance.layer,r.id),r);for(let r of e.invariants)n.set(an(r.provenance.layer,r.id),r);return{structure:t,invariants:n}}function Pr(e,t,n,r,s,a){let o=new Map((a??[]).map(u=>[u.invariantId,u])),i=t.arkRules??{},c=n.arkRules??{},R=[...new Set([...Object.keys(i),...Object.keys(c)])].sort();for(let u of R){let d=i[u],l=c[u],p=`$.arkRules[${u}]`;if(d===void 0&&l!==void 0){C(e,{kind:"arkrules-ref-added",path:p,classification:"strengthening",message:`ArkRules reference for layer ${u} was added.`,after:l});continue}if(d!==void 0&&l===void 0){C(e,{kind:"arkrules-ref-removed",path:p,classification:"weakening",message:`ArkRules reference for layer ${u} was removed.`,before:d});continue}d!==l&&C(e,{kind:"arkrules-ref-path-changed",path:p,classification:"judgment-required",message:`ArkRules file path for layer ${u} changed; verify the effective rules still match intent.`,before:d,after:l})}let A=on(r),h=on(s);for(let u of[...new Set([...A.structure.keys(),...h.structure.keys()])].sort()){let d=A.structure.get(u),l=h.structure.get(u),p=`$.arkRules.structure[${u}]`;if(!d&&l){C(e,{kind:"arkrule-structure-added",path:p,classification:"strengthening",message:`Structure ArkRule ${l.id} was added (${l.mode}).`,after:l});continue}if(d&&!l){C(e,{kind:"arkrule-structure-removed",path:p,classification:"weakening",message:`Structure ArkRule ${d.id} was removed.`,before:d});continue}if(!(!d||!l)){if(d.mode!==l.mode){let g=d.mode==="advisory"&&l.mode==="enforced";C(e,{kind:g?"arkrule-promoted":"arkrule-demoted",path:`${p}.mode`,classification:g?"strengthening":"weakening",message:g?`Structure ArkRule ${l.id} was promoted to enforced.`:`Structure ArkRule ${l.id} was demoted to advisory.`,before:d.mode,after:l.mode})}d.sensor!==l.sensor&&C(e,{kind:"arkrule-sensor-changed",path:`${p}.sensor`,classification:"judgment-required",message:`Structure ArkRule ${l.id} changed sensor identity.`,before:d.sensor,after:l.sensor})}}for(let u of[...new Set([...A.invariants.keys(),...h.invariants.keys()])].sort()){let d=A.invariants.get(u),l=h.invariants.get(u),p=`$.arkRules.invariants[${u}]`;if(!d&&l){C(e,{kind:"arkrule-invariant-added",path:p,classification:"strengthening",message:`Invariant ${l.id} was added (${l.mode}).`,after:l});continue}if(d&&!l){C(e,{kind:"arkrule-invariant-removed",path:p,classification:"weakening",message:`Invariant ${d.id} was removed.`,before:d});continue}if(!(!d||!l)&&d.mode!==l.mode)if(d.mode==="advisory"&&l.mode==="enforced"){let k=o?.get(l.id),v=Mt(k);v.ok?C(e,{kind:"arkrule-invariant-promoted",path:`${p}.mode`,classification:"strengthening",message:`Invariant ${l.id} was promoted to enforced (coverage evidence present).`,before:d.mode,after:l.mode}):C(e,{kind:"arkrule-invariant-promote-refused",path:`${p}.mode`,classification:"judgment-required",message:`Invariant ${l.id} cannot be promoted to enforced: ${v.reason}`,before:d.mode,after:l.mode})}else C(e,{kind:"arkrule-invariant-demoted",path:`${p}.mode`,classification:"weakening",message:`Invariant ${l.id} was demoted to advisory.`,before:d.mode,after:l.mode})}}function cn(e,t,n){let r=[];ne(r,"$.include",e.include,t.include,{added:"strengthening",removed:"weakening",addedMessage:"Additional project roots are governed.",removedMessage:"Project roots were removed from governance."}),ne(r,"$.exclude",e.exclude,t.exclude,{added:"weakening",removed:"strengthening",addedMessage:"Additional project paths are excluded from governance.",removedMessage:"Fewer project paths are excluded from governance."}),ne(r,"$.dynamicImportAllowlist",e.dynamicImportAllowlist,t.dynamicImportAllowlist,{added:"weakening",removed:"strengthening",addedMessage:"Additional files may use non-literal dynamic imports.",removedMessage:"Fewer files may use non-literal dynamic imports."}),Ne(r,"$.excludeGenerated",e.excludeGenerated!==!1,t.excludeGenerated!==!1,"weakening","Generated source is now excluded from governance.","Generated source is now governed.");let s={off:0,soft:1,"framework-soft":1,strict:2},a=e.cyclePolicy??"strict",o=t.cyclePolicy??"strict";if(a!==o){let i=s[o]===s[a]?"judgment-required":s[o]>s[a]?"strengthening":"weakening";C(r,{kind:"cycle-policy-changed",path:"$.cyclePolicy",classification:i,message:"The cycle enforcement level changed.",before:a,after:o})}return(e.frameworkOverlay??null)!==(t.frameworkOverlay??null)&&C(r,{kind:"framework-overlay-changed",path:"$.frameworkOverlay",classification:"judgment-required",message:"The framework overlay changed and may alter effective layer matching.",before:e.frameworkOverlay??null,after:t.frameworkOverlay??null}),Nr(r,e.layers,t.layers),Fr(r,e.rules,t.rules),Tr(r,e,t),Pr(r,e,t,n?.baseArkRules,n?.candidateArkRules,n?.candidateInvariantCoverage),Or(r,e,t),r.sort((i,c)=>i.path.localeCompare(c.path)||i.id.localeCompare(c.id)),{schemaVersion:ln,classification:Lr(r),findings:r}}function dn(e,t){if(!e||e.schemaVersion!==ln||typeof e.basePolicyHash!="string"||typeof e.candidatePolicyHash!="string"||typeof e.reason!="string"||!Array.isArray(e.findingIds)||e.findingIds.some(s=>typeof s!="string")||e.reason.trim().length===0||e.basePolicyHash!==t.basePolicyHash||e.candidatePolicyHash!==t.candidatePolicyHash)return!1;let n=G(e.findingIds),r=G(t.findingIds);return n.length===r.length&&n.every((s,a)=>s===r[a])}function ie(e){let t=[];for(let n of e.replace(/\\/g,"/").split("/"))!n||n==="."||(n===".."&&t.length>0&&t.at(-1)!==".."?t.pop():t.push(n));return t.join("/")}function un(e){return e!==void 0&&/[A-Za-z_$]/.test(e)}function Ve(e){return e!==void 0&&/[A-Za-z0-9_$]/.test(e)}function V(e,t){for(;t<e.length&&/\s/.test(e[t]);)t+=1;return t}function Fe(e,t){let n=e[t];if(n!=="'"&&n!=='"')return;let r=t,s="";for(t+=1;t<e.length;t+=1){let a=e[t];if(a===n)return{value:s,offset:r,excerpt:e.slice(r,t+1)};a==="\\"&&t+1<e.length?(s+=e[t+1],t+=1):s+=a}}function z(e,t,n){return e.startsWith(t,n)&&!Ve(e[n-1])&&!Ve(e[n+t.length])}function pn(e,t){let n=V(e,t);if(e[n]!=="{")return!1;n+=1;let r=!1;for(;n<e.length;){if(n=V(e,n),e[n]==="}")return r;if(e[n]===","){n+=1;continue}if(!z(e,"type",n))return!1;let s=V(e,n+4);if(s>=e.length||e[s]===","||e[s]==="}"||z(e,"as",s)||!un(e[s]))return!1;for(n=s;n<e.length&&Ve(e[n]);)n+=1;if(n=V(e,n),z(e,"as",n)){if(n=V(e,n+2),!un(e[n]))return!1;for(;n<e.length&&Ve(e[n]);)n+=1}r=!0}return!1}function Dr(e,t){if(t=V(e,t+6),e[t]==="(")return Fe(e,V(e,t+1));let n=!1;if(z(e,"type",t)){let s=V(e,t+4);e[s]!==","&&!z(e,"from",s)&&(n=!0)}else pn(e,t)&&(n=!0);let r=fn(e,t,!0);return r&&n?{...r,typeOnly:!0}:r}function Mr(e,t){t=t+6;let n=V(e,t),r=!1;if(z(e,"type",n)){let a=V(e,n+4);(e[a]==="{"||e[a]==="*")&&(r=!0)}else pn(e,n)&&(r=!0);let s=fn(e,t,!1);return s&&r?{...s,typeOnly:!0}:s}function fn(e,t,n){for(;t<e.length;t+=1){if(e[t]===";")return;if(z(e,"from",t))return Fe(e,V(e,t+4));if(n&&(e[t]==="'"||e[t]==='"'))return Fe(e,t);if(t>0&&(z(e,"import",t)||z(e,"export",t)))return}}function Hr(e,t){for(t+=1;t<e.length;t+=1){let n=e[t];if(n==="\\")t+=1;else if(n==="`")return t}return e.length}function Ur(e,t){let n=t-1;for(;n>=0&&/\s/.test(e[n]);)n-=1;if(e[n]===".")return;let r=V(e,t+7);if(e[r]!=="(")return;r=V(e,r+1);let s=Fe(e,r);return s?{...s,requireCall:!0}:void 0}function jr(e){let t=[];for(let n=0;n<e.length;n+=1){let r=e[n];if(r==="/"&&e[n+1]==="/"){if(n=e.indexOf(`
+`,n+2),n<0)break;continue}if(r==="/"&&e[n+1]==="*"){let a=e.indexOf("*/",n+2);if(a<0)break;n=a+1;continue}if(r==="`"){n=Hr(e,n);continue}if(r==="'"||r==='"'){let a=Fe(e,n);a&&(n=a.offset+a.excerpt.length-1);continue}let s=r==="i"&&z(e,"import",n)?Dr(e,n):r==="e"&&z(e,"export",n)?Mr(e,n):r==="r"&&z(e,"require",n)?Ur(e,n):void 0;s&&(t.push(s),n=s.offset+s.excerpt.length-1)}return t}function mn(e,t){let n=[],r=[];for(let s of jr(e.content)){let a=s.value;if(!a.startsWith(".")){if(s.typeOnly)continue;let R=ke(a);if(!R)continue;let A=e.content.slice(0,s.offset).split(`
+`).length;r.push({file:e.path,symbol:a,capability:R,evidence:{kind:"import",file:e.path,line:A,excerpt:s.excerpt}});continue}let o=e.content.slice(0,s.offset).split(`
+`).length,i={kind:"import",file:e.path,line:o,excerpt:s.excerpt},c=Kr(e.path,a,t);n.push({from:e.path,specifier:a,to:c?.path??null,resolution:c?"resolved":"unresolved",fromLayer:e.layer,toLayer:c?.layer??null,evidence:i})}return{edges:n,capabilityUses:r}}function Kr(e,t,n){let r=e.split("/");r.pop();for(let a of t.split("/"))a==="."||a===""||(a===".."?r.pop():r.push(a));let s=r.join("/");for(let a of[s,`${s}.ts`,`${s}.tsx`,`${s}.mts`,`${s}.cts`,`${s}/index.ts`,`${s}/index.tsx`]){let o=n.get(a);if(o)return o}}function gn(e,t){let n=[];for(let r of e){if(!r.to||!r.fromLayer||!r.toLayer)continue;let s=pe(t.rules,r.fromLayer,r.toLayer,{fromPath:r.from,toPath:r.to,layers:t.layers});s&&n.push({ruleId:`layer-dependency:${s.from}->${s.to}`,message:s.message??`${s.from} must not depend on ${s.to}.`,edge:r,evidence:r.evidence})}return n}var Vr={code:"LEXICAL_EVIDENCE_INCOMPLETE",message:"Lexical compatibility mode cannot prove parse status, TypeScript/package/symlink resolution, or symbol-aware source-policy and safety evidence. Use the resolved candidate facts APIs for an authoritative verdict."};function Gr(e,t){return e.arkRules!==void 0&&Object.keys(e.arkRules).length>0||t.structure.length>0||t.invariants.length>0}function zr(e,t){return Gr(e,t)?T(w(sn({config:e,arkRules:t,warnings:[]}))):T(w(e))}function yt(e,t,n){let r=typeof e=="string"?rn(e,t):mt(e,t),s=n?.arkRules??Ce();return{...r,arkRules:s,policyHash:zr(r.config,s)}}function qr(e){let t=yt(e.baseConfig,e.baseSource??"base ark.config.json",{arkRules:e.baseArkRules}),n=yt(e.candidateConfig,e.candidateSource??"candidate ark.config.json",{arkRules:e.candidateArkRules}),r=cn(t.config,n.config,{baseArkRules:t.arkRules,candidateArkRules:n.arkRules,candidateInvariantCoverage:e.candidateInvariantCoverage}),s=r.findings.filter(i=>i.classification==="weakening"||i.classification==="judgment-required").map(i=>i.id).sort(),a=s.length>0,o=a&&dn(e.acknowledgement,{basePolicyHash:t.policyHash,candidatePolicyHash:n.policyHash,findingIds:s});return{schemaVersion:r.schemaVersion,basePolicyHash:t.policyHash,candidatePolicyHash:n.policyHash,classification:r.classification,findings:r.findings,blockingFindingIds:s,requiresAcknowledgement:a,acknowledged:o,valid:!a||o}}function Ge(e){let t=e.files.map(h=>{let u=ie(h.path);return{path:u,content:h.content,contentHash:T(h.content),layer:q(u,e.contract.config.layers)??null}}).sort((h,u)=>h.path.localeCompare(u.path)),n=new Map(t.map(h=>[h.path,h])),r=[],s=[];for(let h of t){let u=mn(h,n);r.push(...u.edges),s.push(...u.capabilityUses)}let a=gn(r,e.contract.config),o=new Map(e.contract.config.layers.map(h=>[h.name,h])),i=new Map(e.contract.config.layers.map(h=>[h.name,new Set(ue(h))]));for(let h of s){let u=n.get(h.file)?.layer;if(!u)continue;let d=o.get(u),l=ve(h.symbol,d?.forbiddenGlobals??[]);if(l){a.push({ruleId:"FORBIDDEN_GLOBAL",message:`${u} must not use module "${h.symbol}" because it is the import form of forbidden global "${l}".`,symbol:h.symbol,evidence:h.evidence});continue}i.get(u)?.has(h.capability)&&a.push({ruleId:"CAPABILITY_VIOLATION",message:`${u} denies the ${h.capability} capability; found import of "${h.symbol}".`,capability:h.capability,symbol:h.symbol,evidence:h.evidence})}let c=t.length===0?"complete":"partial",R=c==="complete"?[]:[{...Vr}],A={schemaVersion:St,policyHash:e.contract.policyHash,compilerOptionsHash:T(w(e.compilerOptions??{})),files:t,layers:e.contract.config.layers.map(h=>h.name),edges:r,capabilityUses:s,violations:a};return{mode:"lexical-compatibility",completeness:c,completenessReasons:R,valid:c==="complete"&&a.length===0,ir:A}}function ht(e){let t=new Map(e.files.map(n=>[ie(n.path),n]));for(let n of e.changes){let r=ie(n.path);"delete"in n&&n.delete?t.delete(r):"content"in n&&t.set(r,{path:r,content:n.content})}return Ge({contract:e.contract,files:[...t.values()],compilerOptions:e.compilerOptions})}function Br(e){let t=`${e.evidence.file}:${e.evidence.line}`;if(!e.edge)return`${e.ruleId} at ${t}: ${e.message}`;let n=e.edge.to??e.edge.specifier;return`${e.ruleId} at ${t}: ${e.edge.from} imports ${n}. ${e.message}`}function yn(e){return T(w(e.map(({path:t,contentHash:n})=>({path:t,contentHash:n}))))}function Wr(e){let t=Ge(e),n=new Map(t.ir.files.map(l=>[l.path,l])),r=[],s=new Set,a=[];for(let l of e.changes){let p=l.path.replace(/\\/g,"/"),g=ie(l.path);if(!g||g===".."||g.startsWith("../")||p.startsWith("/")||/^[A-Za-z]:\//.test(p)||p.includes("\0")){a.push({ruleId:"INVALID_CHANGE_PATH",file:"<change-set>",line:1,message:"Every change requires a safe, non-empty project-relative path."});continue}if(s.has(g)){a.push({ruleId:"DUPLICATE_CHANGE_PATH",file:g,line:1,message:`The atomic change set contains more than one operation for ${g}.`});continue}s.add(g),"delete"in l&&l.delete&&!n.has(g)&&a.push({ruleId:"DELETE_TARGET_MISSING",file:g,line:1,message:`Cannot delete ${g} because it is not present in the supplied base tree.`}),r.push("delete"in l&&l.delete?{path:g,delete:!0}:{path:g,content:"content"in l?l.content:""})}e.changes.length===0&&a.push({ruleId:"CHANGE_SET_EMPTY",file:"<change-set>",line:1,message:"Atomic preflight requires at least one create, update, or delete."});let o=ht({...e,changes:r}),i=new Map(o.ir.files.map(l=>[l.path,l])),c=o.ir.violations.filter(l=>l.ruleId==="CAPABILITY_VIOLATION"||l.ruleId==="FORBIDDEN_GLOBAL").map(l=>{let p=i.get(l.evidence.file)?.layer;return{ruleId:l.ruleId,file:l.evidence.file,line:l.evidence.line,target:l.symbol,...l.capability?{capability:l.capability}:{},...p?{fromLayer:p}:{},edgeKind:"import",message:l.message}}),R=Ie({config:e.contract.config,rules:e.contract.config.rules,files:o.ir.files.map(l=>l.path),contentViolations:c,edges:o.ir.edges.filter(l=>!!l.fromLayer).map(l=>({from:l.from,fromLayer:l.fromLayer,...l.to?{to:l.to}:{},...l.toLayer?{toLayer:l.toLayer}:{},line:l.evidence.line,kind:"import",...l.typeOnly?{typeOnly:!0}:{},...l.namedBindingsTypeOnly?{namedBindingsTypeOnly:!0}:{}}))}),A=r.map(l=>{let p=ie(l.path),g=n.get(p),k=i.get(p);return{path:p,operation:"delete"in l&&l.delete?"delete":g?"update":"create",...g?{beforeContentHash:g.contentHash}:{},...k?{candidateContentHash:k.contentHash}:{}}}).sort((l,p)=>l.path.localeCompare(p.path)),h=[...a,...R.violations].map(l=>({...l,nextAction:me(l)})),u=h.filter(l=>l.failsStrict!==!1),d=e.changeMap?xe({changeMap:e.changeMap,changes:A,baseDependencies:t.ir.edges.flatMap(l=>l.to?[{from:l.from,to:l.to}]:[]),candidateDependencies:o.ir.edges.flatMap(l=>l.to?[{from:l.from,to:l.to}]:[])}):void 0;return{schemaVersion:"1.0",mode:"lexical-compatibility",valid:t.completeness==="complete"&&o.valid&&u.length===0&&(d?.structurallyConverged??!0),readOnly:!0,policyHash:e.contract.policyHash,compilerOptionsHash:o.ir.compilerOptionsHash,baseTreeHash:yn(t.ir.files),candidateTreeHash:yn(o.ir.files),baseCompleteness:t.completeness,candidateCompleteness:o.completeness,baseCompletenessReasons:t.completenessReasons,candidateCompletenessReasons:o.completenessReasons,...e.changeMap?{changeMapHash:e.changeMap.hash}:{},...d?{convergence:d}:{},changes:A,violations:h,warnings:R.warnings}}function Yr(e){let t=e.replace(/\\/g,"/");if(!t||t.startsWith("/")||/^[A-Za-z]:\//.test(t)||t.includes("\0"))return;let n=[];for(let s of t.split("/"))if(!(!s||s==="."))if(s===".."){if(n.length===0)return;n.pop()}else n.push(s);let r=n.join("/");return r&&r===t?r:void 0}function Zr(e,t){return[["resolverIdentity",e.resolverIdentity,t.resolverIdentity],["compilerIdentity",e.compilerIdentity,t.compilerIdentity],["evidenceRequirementsHash",e.evidenceRequirementsHash,t.evidenceRequirementsHash],["projectPackageName",e.projectPackageName??"",t.projectPackageName??""]].filter(([,r,s])=>r!==s).map(([r,s,a])=>({ruleId:"FACTS_IDENTITY_MISMATCH",file:"<change-set>",line:1,field:r,before:s,candidate:a,message:`Base and candidate facts must use the same ${r}.`}))}function Jr(e,t,n,r){let s=n.get(t),a=r.get(t);return{path:t,operation:"delete"in e&&e.delete?"delete":s?"update":"create",...s?{beforeContentHash:s.contentHash}:{},...a?{candidateContentHash:a.contentHash}:{}}}function Xr(e){let t=se(e.baseFacts),n=se(e.candidateFacts),r=He({contract:e.contract,facts:t}),s=He({contract:e.contract,facts:n}),a=new Map(t.files.map(d=>[d.path,d])),o=new Map(n.files.map(d=>[d.path,d])),i=Zr(t,n),c=new Map,R=[];for(let d of e.changes){let l=Yr(d.path);if(!l){i.push({ruleId:"INVALID_CHANGE_PATH",file:"<change-set>",line:1,message:"Every change requires a canonical project-relative path."});continue}if(c.has(l)){i.push({ruleId:"DUPLICATE_CHANGE_PATH",file:l,line:1,message:`The atomic change set contains more than one operation for ${l}.`});continue}c.set(l,d);let p=a.get(l),g=o.get(l);if("delete"in d&&d.delete)p||i.push({ruleId:"DELETE_TARGET_MISSING",file:l,line:1,message:`Cannot delete ${l} because it is not present in the supplied base facts.`}),g&&i.push({ruleId:"CANDIDATE_DELETE_NOT_APPLIED",file:l,line:1,message:`Candidate facts still contain deleted file ${l}.`});else{let k="content"in d?d.content:"",v=T(k);g?g.contentHash!==v&&i.push({ruleId:"CANDIDATE_CONTENT_HASH_MISMATCH",file:l,line:1,expectedContentHash:v,candidateContentHash:g.contentHash,message:`Candidate facts for ${l} do not match the declared content.`}):i.push({ruleId:"CANDIDATE_CHANGE_MISSING",file:l,line:1,message:`Candidate facts do not contain changed file ${l}.`})}R.push(Jr(d,l,a,o))}e.changes.length===0&&i.push({ruleId:"CHANGE_SET_EMPTY",file:"<change-set>",line:1,message:"Atomic preflight requires at least one create, update, or delete."});for(let d of new Set([...a.keys(),...o.keys()])){if(c.has(d))continue;let l=a.get(d),p=o.get(d);l&&p&&w(l)===w(p)||i.push({ruleId:"UNDECLARED_CANDIDATE_CHANGE",file:d,line:1,message:`Candidate facts change ${d}, but the atomic change set does not declare it.`})}let A=e.changeMap?xe({changeMap:e.changeMap,changes:R,baseDependencies:r.ir.edges.flatMap(d=>d.to?[{from:d.from,to:d.to}]:[]),candidateDependencies:s.ir.edges.flatMap(d=>d.to?[{from:d.from,to:d.to}]:[])}):void 0,h=[...i,...s.ir.violations].map(d=>({...d,nextAction:me(d)})),u=h.filter(d=>d.failsStrict!==!1);return{schemaVersion:"1.0",mode:"resolved-candidate-facts",valid:r.completeness==="complete"&&s.strictValid&&u.length===0&&(A?.structurallyConverged??!0),readOnly:!0,policyHash:e.contract.policyHash,resolverIdentity:n.resolverIdentity,compilerIdentity:n.compilerIdentity,compilerOptionsHash:n.compilerOptionsHash,tsconfigHash:n.tsconfigHash,baseCompilerOptionsHash:t.compilerOptionsHash,candidateCompilerOptionsHash:n.compilerOptionsHash,baseTsconfigHash:t.tsconfigHash,candidateTsconfigHash:n.tsconfigHash,evidenceRequirementsHash:n.evidenceRequirementsHash,baseFactsHash:t.factsHash,candidateFactsHash:n.factsHash,baseTreeHash:t.candidateTreeHash,candidateTreeHash:n.candidateTreeHash,baseCompleteness:r.completeness,candidateCompleteness:s.completeness,baseCompletenessReasons:r.completenessReasons,candidateCompletenessReasons:s.completenessReasons,...e.changeMap?{changeMapHash:e.changeMap.hash}:{},...A?{convergence:A}:{},changes:R.sort((d,l)=>d.path<l.path?-1:d.path>l.path?1:0),violations:h,warnings:s.ir.warnings}}var hn=new WeakSet;function Rn(e){if(!e||typeof e!="object"||Object.isFrozen(e))return e;for(let t of Object.values(e))Rn(t);return Object.freeze(e)}function Ya(e){let t=Rn(Oe(e));return hn.add(t),t}function Za(e){if(!hn.has(e.facts))throw new Error("Trusted resolved analysis requires immutable in-process canonical facts.");return st(e)}export{We as AMBIENT_CAPABILITY_ENTRIES,qe as CAPABILITY_IDS,Xe as DEFAULT_INTENT_PREFIXES,Ct as RESOLVED_CANDIDATE_FACTS_SCHEMA,ce as RESOLVED_CANDIDATE_FACTS_SCHEMA_VERSION,Je as SOURCE_POLICY_MESSAGES,Ye as ambientCoveredByForbiddenGlobals,xe as analyzeArchitectureConvergence,ht as analyzeChange,qr as analyzePolicyDelta,Ge as analyzeProject,He as analyzeResolvedProject,Za as analyzeTrustedResolvedProject,Ee as capabilityForAmbientName,ke as capabilityForModuleSpecifier,et as classifyPublishFacts,rt as collectAnalysisConfigWarnings,kr as collectCapabilityUses,ut as collectForbiddenCapabilityUses,Oe as createResolvedCandidateFacts,Ya as createTrustedResolvedCandidateFacts,Wt as detectArchitectureCycles,T as deterministicHash,ue as effectiveCapabilityDeny,Ie as evaluateArchitectureGraph,Br as explainViolation,dt as extractSemanticDependencies,ve as forbiddenGlobalForModuleSpecifier,Rr as loadArchitectureChangeMap,yt as loadContract,se as loadResolvedCandidateFacts,$t as looksLikeArkIntent,En as lowerForbiddenGlobal,Pe as loweredLayerCoverage,Wr as preflightChange,Xr as preflightResolvedChange,Qe as resolveIntentLayer,Te as resolvedFactsEvidenceRequirementsHash,w as stableSerialize};