llms.txt Content
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8" />
<meta name="viewport" content="width=device-width, initial-scale=1.0, maximum-scale=1" />
<link rel="icon" type="image/svg+xml" href="/favicon.svg" />
<title>EN Diagram | Structural Verification for Concurrent Systems</title>
<meta name="description" content="Describe any concurrent system in plain text. Get deterministic structural analysis — topology, conservation laws, deadlock detection, path tracing. No AI inside the engine." />
<!-- Fonts are self-hosted via @fontsource imports in src/main.tsx.
No third-party font CDN is loaded — see /privacy for the rationale. -->
<script type="module" crossorigin src="/assets/index-CcRuawd4.js"></script>
<link rel="stylesheet" crossorigin href="/assets/index-BLJfbz9S.css">
</head>
<body>
<div id="root"></div>
<script defer src="https://static.cloudflareinsights.com/beacon.min.js/v8c78df7c7c0f484497ecbca7046644da1771523124516" integrity="sha512-8DS7rgIrAmghBFwoOTujcf6D9rXvH8xm8JQ1Ja01h9QX8EzXldiszufYa4IFfKdLUKTTrnSFXLDkUEOTrZQ8Qg==" data-cf-beacon='{"version":"2024.11.0","token":"1bff58989e384aec95875afacf711878","r":1,"server_timing":{"name":{"cfCacheStatus":true,"cfEdge":true,"cfExtPri":true,"cfL4":true,"cfOrigin":true,"cfSpeedBrain":true},"location_startswith":null}}' crossorigin="anonymous"></script>
</body>
</html>