docs: name security purpose in hero eyebrow and subhead

Eyebrow gains a third fragment ("Formal substrate for AI application
security.") so the technique-led pair ("AST-pattern rules. Whole-program
taint analysis.") now declares the use case too.

Subhead lead changes from "Formal inter-procedural taint analysis" to
"Formal taint analysis for AI application security" — purpose phrase
instead of pure technique. Beat 2 changes from "enacts what LLM agents
discover as rules" to "enacts every vulnerability LLM agents discover
as a rule" — concrete object instead of the placeholder "what."

Updated in three places: the visible subhead in AnimatedHero, the
JSON-LD SoftwareApplication description, and the page meta description.
The anchor-phrase Playwright constant is extended to match the new
three-fragment eyebrow.

Author: misonijnik

src/components/AnimatedHero.tsx

@@ -36,15 +36,15 @@ export function AnimatedHero() {
   return (
     <div>
       <p className="mb-3 font-mono text-xs uppercase tracking-[0.14em] text-primary/80 lg:mb-4 lg:text-[13px]">
-        AST-pattern rules. Whole-program taint analysis.
+        AST-pattern rules. Whole-program taint analysis. Formal substrate for AI application security.
       </p>
 
       <h1 className="font-mono text-[26px] font-bold tracking-tight text-foreground sm:text-[30px] md:text-[38px] md:leading-[1.15] lg:text-[42px]">
         The open source taint analysis engine for the AI era
       </h1>
 
       <p className="mt-5 font-mono text-[15px] leading-[185%] text-muted-foreground sm:max-w-[82%] lg:text-base lg:mt-6">
-        Formal inter-procedural taint analysis — finds what AST-pattern matchers miss, enacts what LLM agents discover as rules, scales where neither can alone.
+        Formal taint analysis for AI application security — finds what AST-pattern matchers miss, enacts every vulnerability LLM agents discover as a rule, scales where neither can alone.
       </p>
 
       <div className="mt-8 flex justify-center gap-3 sm:hidden">

src/components/astro/WhatIsOpenTaint.astro

@@ -20,7 +20,7 @@ const features = [
 
 <section class="page-section" aria-labelledby="what-heading">
   <p class="mb-3 text-center font-mono text-xs uppercase tracking-[0.14em] text-primary/80 lg:mb-4 lg:text-[13px]">
-    AST-pattern rules. Whole-program taint analysis.
+    AST-pattern rules. Whole-program taint analysis. Formal substrate for AI application security.
   </p>
   <h2 id="what-heading" class="section-title text-center">Why OpenTaint?</h2>
   <p class="section-subtitle">

src/pages/index.astro

@@ -36,7 +36,7 @@ const structuredData = [
     name: siteConfig.title,
     applicationCategory: "DeveloperApplication",
     operatingSystem: "Linux, macOS, Windows",
-    description: "The open source taint analysis engine for the AI era. Formal inter-procedural taint analysis — finds what AST-pattern matchers miss, enacts what LLM agents discover as rules, scales where neither can alone. The most thorough taint analysis engine for Spring apps.",
+    description: "The open source taint analysis engine for the AI era. Formal taint analysis for AI application security — finds what AST-pattern matchers miss, enacts every vulnerability LLM agents discover as a rule, scales where neither can alone. The most thorough taint analysis engine for Spring apps.",
     url: siteConfig.url,
     downloadUrl: "https://github.com/seqra/opentaint/releases",
     license: "https://www.apache.org/licenses/LICENSE-2.0",
@@ -70,7 +70,7 @@ const structuredData = [
 
 <BaseLayout
   title="OpenTaint | The Open Source Taint Analysis Engine for the AI Era"
-  description="The open source taint analysis engine for the AI era. Formal inter-procedural taint analysis — finds what AST-pattern matchers miss, enacts what LLM agents discover as rules, scales where neither can alone."
+  description="The open source taint analysis engine for the AI era. Formal taint analysis for AI application security — finds what AST-pattern matchers miss, enacts every vulnerability LLM agents discover as a rule, scales where neither can alone."
   keywords={defaultKeywords}
   structuredData={structuredData}
 >

tests/anchor-phrase.spec.ts

@@ -1,6 +1,6 @@
 import { expect, test } from "@playwright/test";
 
-const ANCHOR = "AST-pattern rules. Whole-program taint analysis.";
+const ANCHOR = "AST-pattern rules. Whole-program taint analysis. Formal substrate for AI application security.";
 
 test.describe("anchor phrase distinction", () => {
   test("hero shows the anchor eyebrow above the H1", async ({ page }) => {