1:"$Sreact.fragment"
2:I[9766,[],""]
3:I[8924,[],""]
4:I[704,["909","static/chunks/909-740805674b8356ef.js","673","static/chunks/673-ecb18a6be88b46a3.js","177","static/chunks/app/layout-e05370c0b1c07ee0.js"],"Toaster"]
5:I[948,["367","static/chunks/b536a0f1-61944077f37791f0.js","909","static/chunks/909-740805674b8356ef.js","619","static/chunks/619-ba102abea3e3d0e4.js","419","static/chunks/app/projects/%5Bslug%5D/page-c0dfecfd8e9124a1.js"],"default"]
6:I[2619,["367","static/chunks/b536a0f1-61944077f37791f0.js","909","static/chunks/909-740805674b8356ef.js","619","static/chunks/619-ba102abea3e3d0e4.js","419","static/chunks/app/projects/%5Bslug%5D/page-c0dfecfd8e9124a1.js"],""]
12:I[7150,[],""]
:HL["/_next/static/css/573ed087f811ca32.css","style"]
0:{"P":null,"b":"CDQPXbBSRHr0b9ehyywxO","p":"","c":["","projects","aegis"],"i":false,"f":[[["",{"children":["projects",{"children":[["slug","aegis","d"],{"children":["__PAGE__",{}]}]}]},"$undefined","$undefined",true],["",["$","$1","c",{"children":[[["$","link","0",{"rel":"stylesheet","href":"/_next/static/css/573ed087f811ca32.css","precedence":"next","crossOrigin":"$undefined","nonce":"$undefined"}]],["$","html",null,{"lang":"en","className":"dark","children":[["$","head",null,{"children":[["$","link",null,{"rel":"preconnect","href":"https://fonts.googleapis.com"}],["$","link",null,{"rel":"preconnect","href":"https://fonts.gstatic.com","crossOrigin":"anonymous"}],["$","link",null,{"href":"https://fonts.googleapis.com/css2?family=Inter:wght@400;600;700&family=Space+Grotesk:wght@500;700&display=swap","rel":"stylesheet"}]]}],["$","body",null,{"className":"font-body antialiased","children":[["$","div",null,{"className":"relative z-10 flex min-h-screen flex-col","children":["$","div",null,{"className":"flex-grow","children":["$","$L2",null,{"parallelRouterKey":"children","error":"$undefined","errorStyles":"$undefined","errorScripts":"$undefined","template":["$","$L3",null,{}],"templateStyles":"$undefined","templateScripts":"$undefined","notFound":[[["$","title",null,{"children":"404: This page could not be found."}],["$","div",null,{"style":{"fontFamily":"system-ui,\"Segoe UI\",Roboto,Helvetica,Arial,sans-serif,\"Apple Color Emoji\",\"Segoe UI Emoji\"","height":"100vh","textAlign":"center","display":"flex","flexDirection":"column","alignItems":"center","justifyContent":"center"},"children":["$","div",null,{"children":[["$","style",null,{"dangerouslySetInnerHTML":{"__html":"body{color:#000;background:#fff;margin:0}.next-error-h1{border-right:1px solid rgba(0,0,0,.3)}@media (prefers-color-scheme:dark){body{color:#fff;background:#000}.next-error-h1{border-right:1px solid rgba(255,255,255,.3)}}"}}],["$","h1",null,{"className":"next-error-h1","style":{"display":"inline-block","margin":"0 20px 0 0","padding":"0 23px 0 0","fontSize":24,"fontWeight":500,"verticalAlign":"top","lineHeight":"49px"},"children":404}],["$","div",null,{"style":{"display":"inline-block"},"children":["$","h2",null,{"style":{"fontSize":14,"fontWeight":400,"lineHeight":"49px","margin":0},"children":"This page could not be found."}]}]]}]}]],[]],"forbidden":"$undefined","unauthorized":"$undefined"}]}]}],["$","$L4",null,{}]]}]]}]]}],{"children":["projects",["$","$1","c",{"children":[null,["$","$L2",null,{"parallelRouterKey":"children","error":"$undefined","errorStyles":"$undefined","errorScripts":"$undefined","template":["$","$L3",null,{}],"templateStyles":"$undefined","templateScripts":"$undefined","notFound":"$undefined","forbidden":"$undefined","unauthorized":"$undefined"}]]}],{"children":[["slug","aegis","d"],["$","$1","c",{"children":[null,["$","$L2",null,{"parallelRouterKey":"children","error":"$undefined","errorStyles":"$undefined","errorScripts":"$undefined","template":["$","$L3",null,{}],"templateStyles":"$undefined","templateScripts":"$undefined","notFound":"$undefined","forbidden":"$undefined","unauthorized":"$undefined"}]]}],{"children":["__PAGE__",["$","$1","c",{"children":[[["$","$L5",null,{}],["$","$L6",null,{"href":"/projects","className":"absolute top-8 left-8 z-20 flex items-center gap-2 text-sm text-neutral-400 hover:text-white transition-colors duration-300","children":[["$","svg",null,{"ref":"$undefined","xmlns":"http://www.w3.org/2000/svg","width":24,"height":24,"viewBox":"0 0 24 24","fill":"none","stroke":"currentColor","strokeWidth":2,"strokeLinecap":"round","strokeLinejoin":"round","className":"lucide lucide-arrow-left w-4 h-4","children":[["$","path","1l729n",{"d":"m12 19-7-7 7-7"}],["$","path","x3x0zl",{"d":"M19 12H5"}],"$undefined"]}],["$","span",null,{"children":"Back to Portfolio"}]]}],["$","div",null,{"className":"h-20"}],["$","div",null,{"className":"container mx-auto px-4 pb-24 sm:pb-32 relative z-10","children":["$","div",null,{"className":"max-w-5xl mx-auto","children":["$","div",null,{"className":"space-y-16","children":[["$","section",null,{"className":"text-center border-b border-neutral-800 pb-12","children":[["$","h1",null,{"className":"text-4xl md:text-6xl font-bold tracking-tighter mb-2 font-headline","children":"🛡️ PROJECT AEGIS"}],["$","p",null,{"className":"text-lg md:text-xl text-muted-foreground max-w-3xl mx-auto","children":"Autonomous Exploit Generation & Intelligence System"}],["$","p",null,{"className":"text-md text-primary/80 mt-2 font-mono","children":["Version ","2.0.9"," — \"","The Realistic Deterministic Standard","\""]}],["$","div",null,{"className":"flex justify-center gap-4 mt-6","children":[["$","div",null,{"className":"inline-flex items-center rounded-full border px-2.5 py-0.5 text-xs font-semibold transition-colors focus:outline-none focus:ring-2 focus:ring-ring focus:ring-offset-2 text-foreground","children":"Build: Passing"}],"$L7","$L8","$L9"]}],"$La"]}],"$Lb","$Lc","$Ld","$Le","$Lf"]}]}]}]],null,"$L10"]}],{},null,false]},null,false]},null,false]},null,false],"$L11",false]],"m":"$undefined","G":["$12",[]],"s":false,"S":true}
1d:I[4431,[],"OutletBoundary"]
1f:I[5278,[],"AsyncMetadataOutlet"]
21:I[4431,[],"ViewportBoundary"]
23:I[4431,[],"MetadataBoundary"]
24:"$Sreact.suspense"
7:["$","div",null,{"className":"inline-flex items-center rounded-full border px-2.5 py-0.5 text-xs font-semibold transition-colors focus:outline-none focus:ring-2 focus:ring-ring focus:ring-offset-2 text-foreground","children":"License: PolyForm Noncommercial"}]
8:["$","div",null,{"className":"inline-flex items-center rounded-full border px-2.5 py-0.5 text-xs font-semibold transition-colors focus:outline-none focus:ring-2 focus:ring-ring focus:ring-offset-2 text-foreground","children":"Python: 3.11+"}]
9:["$","div",null,{"className":"inline-flex items-center rounded-full border px-2.5 py-0.5 text-xs font-semibold transition-colors focus:outline-none focus:ring-2 focus:ring-ring focus:ring-offset-2 text-foreground","children":"PRs: Welcome"}]
a:["$","div",null,{"ref":"$undefined","className":"bg-white/5 backdrop-blur-md transition-all duration-300 border border-neutral-700/80 rounded-2xl max-w-2xl mx-auto mt-8 text-center p-4 italic text-muted-foreground border-dashed","children":[["$","p",null,{"children":["\"","If it cannot be proven, it will not be done.","\""]}],["$","p",null,{"className":"text-right not-italic text-xs font-mono mt-2 pr-4","children":["— The Revised Iron Rule (v","2.0.9",")"]}]]}]
b:["$","section",null,{"className":"grid md:grid-cols-3 gap-8 items-start","children":[["$","div",null,{"className":"md:col-span-1 flex items-center gap-4","children":[["$","svg",null,{"ref":"$undefined","xmlns":"http://www.w3.org/2000/svg","width":24,"height":24,"viewBox":"0 0 24 24","fill":"none","stroke":"currentColor","strokeWidth":2,"strokeLinecap":"round","strokeLinejoin":"round","className":"lucide lucide-triangle-alert w-8 h-8 text-yellow-400","children":[["$","path","wmoenq",{"d":"m21.73 18-8-14a2 2 0 0 0-3.48 0l-8 14A2 2 0 0 0 4 21h16a2 2 0 0 0 1.73-3"}],["$","path","juzpu7",{"d":"M12 9v4"}],["$","path","p32p05",{"d":"M12 17h.01"}],"$undefined"]}],["$","h2",null,{"className":"text-3xl font-headline font-bold","children":"Safety Notice"}]]}],["$","div",null,{"className":"md:col-span-2","children":["$","div",null,{"ref":"$undefined","className":"backdrop-blur-md transition-all duration-300 border rounded-2xl p-6 border-yellow-400/30 bg-yellow-950/20","children":[["$","h3",null,{"className":"font-bold text-yellow-300 text-lg mb-2","children":"THIS REPOSITORY OPERATES IN SIMULATION MODE"}],["$","p",null,{"className":"text-sm text-yellow-200/80 leading-relaxed","children":"In compliance with dual-use technology standards and responsible disclosure practices, this repository contains the Cognitive Core and Formal Verification Logic of AEGIS. Active network drivers and exploit payloads have been removed or replaced with synthetic constraints."}]]}]}]]}]
c:["$","section",null,{"className":"grid md:grid-cols-3 gap-8 items-start","children":[["$","div",null,{"className":"md:col-span-1 flex items-center gap-4","children":[["$","svg",null,{"ref":"$undefined","xmlns":"http://www.w3.org/2000/svg","width":24,"height":24,"viewBox":"0 0 24 24","fill":"none","stroke":"currentColor","strokeWidth":2,"strokeLinecap":"round","strokeLinejoin":"round","className":"lucide lucide-file-text w-8 h-8 text-primary/80","children":[["$","path","1rqfz7",{"d":"M15 2H6a2 2 0 0 0-2 2v16a2 2 0 0 0 2 2h12a2 2 0 0 0 2-2V7Z"}],["$","path","tnqrlb",{"d":"M14 2v4a2 2 0 0 0 2 2h4"}],["$","path","b1mrlr",{"d":"M10 9H8"}],["$","path","t4e002",{"d":"M16 13H8"}],["$","path","z1uh3a",{"d":"M16 17H8"}],"$undefined"]}],["$","h2",null,{"className":"text-3xl font-headline font-bold","children":"Summary"}]]}],["$","div",null,{"className":"md:col-span-2 text-muted-foreground leading-relaxed space-y-4","children":["$","p",null,{"children":"PROJECT AEGIS is a formal-logic-based autonomous cybersecurity framework designed to identify, verify, and remediate vulnerabilities in complex networked systems. Unlike \"black box\" neural network approaches, AEGIS utilizes Strict XAI (Explainable AI) and SMT Solvers (Z3) to derive attack paths with mathematical certainty.\n\nThe system addresses the \"Kobayashi Maru\" state-explosion problem in binary analysis by utilizing Targeted Backward Slicing rather than whole-program symbolic execution."}]}]]}]
d:["$","section",null,{"className":"space-y-8","children":[["$","div",null,{"className":"flex items-center gap-4","children":[["$","svg",null,{"ref":"$undefined","xmlns":"http://www.w3.org/2000/svg","width":24,"height":24,"viewBox":"0 0 24 24","fill":"none","stroke":"currentColor","strokeWidth":2,"strokeLinecap":"round","strokeLinejoin":"round","className":"lucide lucide-star w-8 h-8 text-primary/80","children":[["$","path","r04s7s",{"d":"M11.525 2.295a.53.53 0 0 1 .95 0l2.31 4.679a2.123 2.123 0 0 0 1.595 1.16l5.166.756a.53.53 0 0 1 .294.904l-3.736 3.638a2.123 2.123 0 0 0-.611 1.878l.882 5.14a.53.53 0 0 1-.771.56l-4.618-2.428a2.122 2.122 0 0 0-1.973 0L6.396 21.01a.53.53 0 0 1-.77-.56l.881-5.139a2.122 2.122 0 0 0-.611-1.879L2.16 9.795a.53.53 0 0 1 .294-.906l5.165-.755a2.122 2.122 0 0 0 1.597-1.16z"}],"$undefined"]}],["$","h2",null,{"className":"text-3xl font-headline font-bold","children":"Core Capabilities"}]]}],["$","div",null,{"className":"grid grid-cols-1 md:grid-cols-2 gap-6","children":[["$","div","Deterministic Reasoning",{"ref":"$undefined","className":"bg-white/5 backdrop-blur-md transition-all duration-300 border border-neutral-700/80 rounded-2xl","children":["$","div",null,{"ref":"$undefined","className":"p-6 flex gap-4 items-start","children":[["$","svg",null,{"ref":"$undefined","xmlns":"http://www.w3.org/2000/svg","width":24,"height":24,"viewBox":"0 0 24 24","fill":"none","stroke":"currentColor","strokeWidth":2,"strokeLinecap":"round","strokeLinejoin":"round","className":"lucide lucide-brain-circuit w-8 h-8 mt-1 text-primary/70 shrink-0","children":[["$","path","l5xja",{"d":"M12 5a3 3 0 1 0-5.997.125 4 4 0 0 0-2.526 5.77 4 4 0 0 0 .556 6.588A4 4 0 1 0 12 18Z"}],["$","path","10igwf",{"d":"M9 13a4.5 4.5 0 0 0 3-4"}],["$","path","105sqy",{"d":"M6.003 5.125A3 3 0 0 0 6.401 6.5"}],["$","path","ql3yin",{"d":"M3.477 10.896a4 4 0 0 1 .585-.396"}],["$","path","2e4loj",{"d":"M6 18a4 4 0 0 1-1.967-.516"}],["$","path","1ku699",{"d":"M12 13h4"}],["$","path","105ag5",{"d":"M12 18h6a2 2 0 0 1 2 2v1"}],["$","path","1lhi5i",{"d":"M12 8h8"}],["$","path","u6izg6",{"d":"M16 8V5a2 2 0 0 1 2-2"}],["$","circle","ry7gng",{"cx":"16","cy":"13","r":".5"}],["$","circle","1aiba7",{"cx":"18","cy":"3","r":".5"}],["$","circle","yhc1fs",{"cx":"20","cy":"21","r":".5"}],["$","circle","1e43v0",{"cx":"20","cy":"8","r":".5"}],"$undefined"]}],["$","div",null,{"children":[["$","h3",null,{"className":"font-bold text-lg mb-1 text-foreground","children":"Deterministic Reasoning"}],["$","p",null,{"className":"text-sm text-muted-foreground leading-relaxed","children":"Uses Z3 Theorem Prover to model attack graphs as constraint satisfaction problems with mathematical certainty."}]]}]]}]}],["$","div","O-SAFE Governance",{"ref":"$undefined","className":"bg-white/5 backdrop-blur-md transition-all duration-300 border border-neutral-700/80 rounded-2xl","children":["$","div",null,{"ref":"$undefined","className":"p-6 flex gap-4 items-start","children":[["$","svg",null,{"ref":"$undefined","xmlns":"http://www.w3.org/2000/svg","width":24,"height":24,"viewBox":"0 0 24 24","fill":"none","stroke":"currentColor","strokeWidth":2,"strokeLinecap":"round","strokeLinejoin":"round","className":"lucide lucide-shield-check w-8 h-8 mt-1 text-primary/70 shrink-0","children":[["$","path","oel41y",{"d":"M20 13c0 5-3.5 7.5-7.66 8.95a1 1 0 0 1-.67-.01C7.5 20.5 4 18 4 13V6a1 1 0 0 1 1-1c2 0 4.5-1.2 6.24-2.72a1.17 1.17 0 0 1 1.52 0C14.51 3.81 17 5 19 5a1 1 0 0 1 1 1z"}],["$","path","dzmm74",{"d":"m9 12 2 2 4-4"}],"$undefined"]}],["$","div",null,{"children":[["$","h3",null,{"className":"font-bold text-lg mb-1 text-foreground","children":"O-SAFE Governance"}],["$","p",null,{"className":"text-sm text-muted-foreground leading-relaxed","children":"Integrated safety protocol that classifies actions into Tiers (GREEN/YELLOW/RED). High-risk actions require cryptographic proof of authorization."}]]}]]}]}],["$","div","JIT Verification",{"ref":"$undefined","className":"bg-white/5 backdrop-blur-md transition-all duration-300 border border-neutral-700/80 rounded-2xl","children":["$","div",null,{"ref":"$undefined","className":"p-6 flex gap-4 items-start","children":[["$","svg",null,{"ref":"$undefined","xmlns":"http://www.w3.org/2000/svg","width":24,"height":24,"viewBox":"0 0 24 24","fill":"none","stroke":"currentColor","strokeWidth":2,"strokeLinecap":"round","strokeLinejoin":"round","className":"lucide lucide-network w-8 h-8 mt-1 text-primary/70 shrink-0","children":["$L13","$L14","$L15","$L16","$L17","$undefined"]}],"$L18"]}]}],"$L19"]}]]}]
e:["$","section",null,{"className":"grid md:grid-cols-2 gap-x-12 gap-y-8","children":[["$","div",null,{"children":[["$","div",null,{"className":"flex items-center gap-4 mb-6","children":[["$","svg",null,{"ref":"$undefined","xmlns":"http://www.w3.org/2000/svg","width":24,"height":24,"viewBox":"0 0 24 24","fill":"none","stroke":"currentColor","strokeWidth":2,"strokeLinecap":"round","strokeLinejoin":"round","className":"lucide lucide-rocket w-8 h-8 text-primary/80","children":[["$","path","m3kijz",{"d":"M4.5 16.5c-1.5 1.26-2 5-2 5s3.74-.5 5-2c.71-.84.7-2.13-.09-2.91a2.18 2.18 0 0 0-2.91-.09z"}],["$","path","1fmvmk",{"d":"m12 15-3-3a22 22 0 0 1 2-3.95A12.88 12.88 0 0 1 22 2c0 2.72-.78 7.5-6 11a22.35 22.35 0 0 1-4 2z"}],["$","path","1f8sc4",{"d":"M9 12H4s.55-3.03 2-4c1.62-1.08 5 0 5 0"}],["$","path","qeys4",{"d":"M12 15v5s3.03-.55 4-2c1.08-1.62 0-5 0-5"}],"$undefined"]}],["$","h2",null,{"className":"text-2xl font-headline font-bold","children":"Quick Start"}]]}],["$","div",null,{"className":"text-sm space-y-6","children":[["$","div",null,{"children":[["$","h4",null,{"className":"font-bold mb-2 text-muted-foreground","children":"Prerequisites"}],["$","div",null,{"className":"space-y-2","children":[["$","div","Python",{"className":"flex justify-between items-center p-2 bg-neutral-900/50 rounded-md text-xs","children":[["$","span",null,{"className":"font-bold text-foreground","children":"Python"}],["$","span",null,{"className":"text-muted-foreground","children":"3.11+"}],["$","span",null,{"className":"text-muted-foreground italic","children":"Core runtime"}]]}],["$","div","Z3",{"className":"flex justify-between items-center p-2 bg-neutral-900/50 rounded-md text-xs","children":[["$","span",null,{"className":"font-bold text-foreground","children":"Z3"}],["$","span",null,{"className":"text-muted-foreground","children":"latest"}],["$","span",null,{"className":"text-muted-foreground italic","children":"SMT solving"}]]}],["$","div","Graphviz",{"className":"flex justify-between items-center p-2 bg-neutral-900/50 rounded-md text-xs","children":[["$","span",null,{"className":"font-bold text-foreground","children":"Graphviz"}],["$","span",null,{"className":"text-muted-foreground","children":"latest"}],["$","span",null,{"className":"text-muted-foreground italic","children":"Visualization"}]]}]]}]]}],["$","div",null,{"children":[["$","h4",null,{"className":"font-bold mb-2 text-muted-foreground","children":"Installation & Verification"}],["$","pre",null,{"className":"p-4 rounded-lg bg-neutral-900/70 border border-neutral-700 font-mono text-xs overflow-x-auto","children":["$","code",null,{"children":"git clone https://github.com/sirkianmj/aegis-core.git\ncd aegis-core\nconda env create -f environment.yml\nconda activate aegis-core\npytest tests/test_safety_compliance.py"}]}]]}],["$","div",null,{"children":[["$","h4",null,{"className":"font-bold mb-2 text-muted-foreground","children":"Running the Simulation"}],["$","pre",null,{"className":"p-4 rounded-lg bg-neutral-900/70 border border-neutral-700 font-mono text-xs overflow-x-auto","children":["$","code",null,{"children":"python main.py --mode simulation --topology scenarios/corporate_network.json"}]}]]}]]}]]}],["$","div",null,{"children":[["$","div",null,{"className":"flex items-center gap-4 mb-6","children":[["$","svg",null,{"ref":"$undefined","xmlns":"http://www.w3.org/2000/svg","width":24,"height":24,"viewBox":"0 0 24 24","fill":"none","stroke":"currentColor","strokeWidth":2,"strokeLinecap":"round","strokeLinejoin":"round","className":"lucide lucide-square-chart-gantt w-8 h-8 text-primary/80","children":[["$","rect","afitv7",{"width":"18","height":"18","x":"3","y":"3","rx":"2"}],["$","path","kbo1nt",{"d":"M9 8h7"}],["$","path","ikassy",{"d":"M8 12h6"}],["$","path","oq65wt",{"d":"M11 16h5"}],"$undefined"]}],["$","h2",null,{"className":"text-2xl font-headline font-bold","children":"Roadmap"}]]}],["$","div",null,{"className":"space-y-4","children":[["$","div","0-4",{"className":"flex items-center gap-4 text-sm","children":[["$","div",null,{"className":"w-1.5 h-12 bg-green-500 rounded-full"}],["$","div",null,{"children":[["$","p",null,{"className":"font-bold text-foreground","children":"Foundation, Grammar Definition (UGE), and Z3 Integration"}],["$","p",null,{"className":"text-xs text-muted-foreground font-mono","children":["Phase: ","0-4"," // Status: ","Complete"]}]]}]]}],"$L1a","$L1b","$L1c"]}]]}]]}]
f:["$","section",null,{"className":"grid md:grid-cols-2 gap-8 items-start","children":[["$","div",null,{"className":"flex items-center gap-4","children":[["$","svg",null,{"ref":"$undefined","xmlns":"http://www.w3.org/2000/svg","width":24,"height":24,"viewBox":"0 0 24 24","fill":"none","stroke":"currentColor","strokeWidth":2,"strokeLinecap":"round","strokeLinejoin":"round","className":"lucide lucide-scale w-8 h-8 text-primary/80","children":[["$","path","7g6ntu",{"d":"m16 16 3-8 3 8c-.87.65-1.92 1-3 1s-2.13-.35-3-1Z"}],["$","path","ijws7r",{"d":"m2 16 3-8 3 8c-.87.65-1.92 1-3 1s-2.13-.35-3-1Z"}],["$","path","1b0cd5",{"d":"M7 21h10"}],["$","path","108xh3",{"d":"M12 3v18"}],["$","path","3gwbw2",{"d":"M3 7h2c2 0 5-1 7-2 2 1 5 2 7 2h2"}],"$undefined"]}],["$","h2",null,{"className":"text-3xl font-headline font-bold","children":"License"}]]}],["$","div",null,{"className":"text-muted-foreground","children":[["$","p",null,{"className":"mb-2","children":["This project is licensed under the ",["$","span",null,{"className":"text-foreground font-semibold","children":"PolyForm Noncommercial License 1.0.0"}],"."]}],["$","p",null,{"className":"text-xs","children":"You may view, audit, and run the simulation for educational purposes. You may NOT use this software for commercial penetration testing, sell it, or provide it as a service."}]]}]]}]
10:["$","$L1d",null,{"children":["$L1e",["$","$L1f",null,{"promise":"$@20"}]]}]
11:["$","$1","h",{"children":[null,[["$","$L21",null,{"children":"$L22"}],null],["$","$L23",null,{"children":["$","div",null,{"hidden":true,"children":["$","$24",null,{"fallback":null,"children":"$L25"}]}]}]]}]
13:["$","rect","4q2zg0",{"x":"16","y":"16","width":"6","height":"6","rx":"1"}]
14:["$","rect","8cvhb9",{"x":"2","y":"16","width":"6","height":"6","rx":"1"}]
15:["$","rect","1egb70",{"x":"9","y":"2","width":"6","height":"6","rx":"1"}]
16:["$","path","1jsf9p",{"d":"M5 16v-3a1 1 0 0 1 1-1h12a1 1 0 0 1 1 1v3"}]
17:["$","path","2874zd",{"d":"M12 12V8"}]
18:["$","div",null,{"children":[["$","h3",null,{"className":"font-bold text-lg mb-1 text-foreground","children":"JIT Verification"}],["$","p",null,{"className":"text-sm text-muted-foreground leading-relaxed","children":"Handles network uncertainty (jitter, packet loss) by treating scan data as UncertainBool types until verified by micro-probes."}]]}]
19:["$","div","Backward Program Slicing",{"ref":"$undefined","className":"bg-white/5 backdrop-blur-md transition-all duration-300 border border-neutral-700/80 rounded-2xl","children":["$","div",null,{"ref":"$undefined","className":"p-6 flex gap-4 items-start","children":[["$","svg",null,{"ref":"$undefined","xmlns":"http://www.w3.org/2000/svg","width":24,"height":24,"viewBox":"0 0 24 24","fill":"none","stroke":"currentColor","strokeWidth":2,"strokeLinecap":"round","strokeLinejoin":"round","className":"lucide lucide-binary w-8 h-8 mt-1 text-primary/70 shrink-0","children":[["$","rect","p02svl",{"x":"14","y":"14","width":"4","height":"6","rx":"2"}],["$","rect","xm4xkj",{"x":"6","y":"4","width":"4","height":"6","rx":"2"}],["$","path","1i6q5t",{"d":"M6 20h4"}],["$","path","ru81e7",{"d":"M14 10h4"}],["$","path","16z9wg",{"d":"M6 14h2v6"}],["$","path","1idq9u",{"d":"M14 4h2v6"}],"$undefined"]}],["$","div",null,{"children":[["$","h3",null,{"className":"font-bold text-lg mb-1 text-foreground","children":"Backward Program Slicing"}],["$","p",null,{"className":"text-sm text-muted-foreground leading-relaxed","children":"Extracts minimal executable slices from binaries to isolate vulnerability sinks (e.g., strcpy, system) for analysis."}]]}]]}]}]
1a:["$","div","5-10",{"className":"flex items-center gap-4 text-sm","children":[["$","div",null,{"className":"w-1.5 h-12 bg-yellow-500 rounded-full"}],["$","div",null,{"children":[["$","p",null,{"className":"font-bold text-foreground","children":"Just-In-Time (JIT) Verification and Safety Tiers"}],["$","p",null,{"className":"text-xs text-muted-foreground font-mono","children":["Phase: ","5-10"," // Status: ","Complete"]}]]}]]}]
1b:["$","div","11-16",{"className":"flex items-center gap-4 text-sm","children":[["$","div",null,{"className":"w-1.5 h-12 bg-orange-500 rounded-full"}],["$","div",null,{"children":[["$","p",null,{"className":"font-bold text-foreground","children":"Hardware-Assisted Tracing (HATL) Abstraction"}],["$","p",null,{"className":"text-xs text-muted-foreground font-mono","children":["Phase: ","11-16"," // Status: ","Complete"]}]]}]]}]
1c:["$","div","21",{"className":"flex items-center gap-4 text-sm","children":[["$","div",null,{"className":"w-1.5 h-12 bg-blue-500 rounded-full"}],["$","div",null,{"children":[["$","p",null,{"className":"font-bold text-foreground","children":"Formal Verification of Governance Logic (Coq/Lean)"}],["$","p",null,{"className":"text-xs text-muted-foreground font-mono","children":["Phase: ","21"," // Status: ","Complete"]}]]}]]}]
22:[["$","meta","0",{"charSet":"utf-8"}],["$","meta","1",{"name":"viewport","content":"width=device-width, initial-scale=1"}]]
1e:null
26:I[622,[],"IconMark"]
20:{"metadata":[["$","title","0",{"children":"ForgeX4"}],["$","meta","1",{"name":"description","content":"A research and engineering laboratory dedicated to solving high-stakes challenges at the intersection of generative AI, autonomous systems, and formal verification."}],["$","meta","2",{"name":"robots","content":"index, follow"}],["$","meta","3",{"property":"og:title","content":"ForgeX4"}],["$","meta","4",{"property":"og:description","content":"A research and engineering laboratory dedicated to solving high-stakes challenges at the intersection of generative AI, autonomous systems, and formal verification."}],["$","meta","5",{"property":"og:url","content":"https://www.forgex4.com"}],["$","meta","6",{"property":"og:site_name","content":"ForgeX4"}],["$","meta","7",{"property":"og:locale","content":"en_US"}],["$","meta","8",{"property":"og:type","content":"website"}],["$","meta","9",{"name":"twitter:card","content":"summary_large_image"}],["$","meta","10",{"name":"twitter:title","content":"ForgeX4"}],["$","meta","11",{"name":"twitter:description","content":"A research and engineering laboratory dedicated to solving high-stakes challenges at the intersection of generative AI, autonomous systems, and formal verification."}],["$","link","12",{"rel":"icon","href":"/favicon.ico","type":"image/x-icon","sizes":"16x16"}],["$","$L26","13",{}]],"error":null,"digest":"$undefined"}
25:"$20:metadata"