Present KeyLoad as an AI-native database across README and landing

README: lead with the AI-native thesis ("Agents shouldn't need a dozen
databases"), a before/after stack diagram, why we think one database is
the future, a capability matrix (atomic writes, reads, SQL, MCP tools per
model), composition and agent tool-call diagrams, why .NET, Orleans and
ZoneTree, an SEO-oriented FAQ and calls to action. All credits are kept;
the benchmark comparison engines are now credited too.

Landing: add the same theses in a "Why an AI-native database" section and
a "Why .NET, Orleans and ZoneTree" section with Liquid Glass styles, plain
product language for composition and engine copy, a valid MCP request
sample, a Get started CTA, and AI-native title, description, Open Graph
and JSON-LD within the AC-SEO-002 contract.

Traceability: REQ-COMP-007 / AC-COMP-009 / ADR-067 stage 8 (TASK-COMP-008)
with SiteProductThesisTests (README headings, landing main copy,
forbidden claims, all-missing and one-missing cases). Shared
SiteProductCopy helper replaces duplicated parsing, and README and
landing now assert one set of composition stage contracts.

Verification: three review rounds (accuracy, engagement/SEO, final gate)
with all findings applied; SiteTests Release build and dotnet format pass;
thesis and composition assertions verified statically with the tests' own
tokens; Mermaid diagrams render; landing checked at 320/375/761/1440 px
with no overflow. The site suite needs the GitHub exact-revision gate and
was not run locally.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

Author: KSemenenko

README.md

@@ -1,7 +1,7 @@
 # ADR-067: One composable database for AI agents
 
 Status: Accepted. Date: 2026-10-03. Owner: root integration agent.
-REQ-COMP-001–006 / AC-COMP-001–008, [DatabaseComposition](../Features/DatabaseComposition.md).
+REQ-COMP-001–007 / AC-COMP-001–009, [DatabaseComposition](../Features/DatabaseComposition.md).
 
 ## Decision
 
@@ -69,6 +69,9 @@ flowchart LR
 7. TASK-COMP-005 records development versus exact-source GitHub proof separately;
    build/analyzers/format/governance, normal/scalar, process recovery and RF3 gates
    remain mandatory. Full site publication waits on complete Benchmarks producer.
+8. TASK-COMP-008 (root) owns the README and landing AI-native thesis copy and the
+   SiteProductCopy/SiteProductThesis* content tests for REQ-COMP-007/AC-COMP-009.
+   It changes no runtime contract, storage, serialization or topology.
 
 Determinism: replicated apply cannot use a local elapsed deadline or caller
 cancellation to choose effects. A frozen monotonic TimeProvider feeds the existing

docs/ADR/ADR-067-composable-agent-database.md

@@ -34,6 +34,7 @@ flowchart LR
 | REQ-COMP-004: persisted source/target/row/field authorization and stable retries | AC-COMP-005/007 | TASK-COMP-002/004; real policy, replay and scope errors |
 | REQ-COMP-005: bounded deterministic same-partition atomic execution | AC-COMP-004/006 | TASK-COMP-002/004; cumulative limits, late rollback, real reopen, real process-kill atomic recovery and identical replica commands |
 | REQ-COMP-006: honest syntax, qualification, performance and publication | AC-COMP-001/008 | TASK-COMP-003/005; content tests, integrated checks and exact-source Actions receipts |
+| REQ-COMP-007: README and landing present one AI-native product thesis | AC-COMP-009 | TASK-COMP-008 (ADR-067 stage 8); SiteProductThesisTests and lead prose review |
 
 Canonical slice map: Abstractions/Core/UnitTests/IntegrationTests/RecoveryTests/CrashHost
 `Features/DatabaseComposition/`; shared Mutation/ApplyMutations/authorization joins
@@ -81,6 +82,7 @@ one request grain; physical hosts retain ZoneTree/native WAL and RF3 ownership.
 | AC-COMP-006 | One cumulative read-byte budget and expanded MaxBatchMutations bound cover entire batch; overflow rejects all, never truncates silently; reads materialize before writes; replicated derivation uses deterministic bounds without local wall deadlines/cancellation | byte/count/multiple-composition/exact-cap/replica-determinism cases; code review of callbacks and apply clock |
 | AC-COMP-007 | Native DTOs have stable aliases/IDs; public polymorphic JSON preserves old shapes; SQL canonical CALL needs no second gateway/operation kind; fresh request routing remains | serializer roundtrip + frozen pre-composition native writer fixtures + SQL compiler + actual RF3 .NET/official MCP forward/reverse/retry/error tests |
 | AC-COMP-008 | Build/formatter/governance and relevant TUnit tests pass; exact-source Actions full normal/scalar/recovery/RF3 remain separately recorded, website publication requires existing complete Benchmarks pipeline | retained source/SHA/commands/reports in implementation receipt; no numeric coverage claim without collector |
+| AC-COMP-009 | README and landing both state the same theses: KeyLoad is an AI-native database; agents shouldn't need a dozen databases; why we think one database is the future; why .NET, Orleans and ZoneTree. Neither surface claims production readiness. README theses are its section headings and lead sentence, not navigation links; landing theses are visible `<main>` copy, not metadata. Fail if either surface drops a thesis or matches the forbidden-claims pattern | SiteProductThesisTests (README headings, landing main copy, forbidden claims on both, all-missing and one-missing cases); prose and SEO review is the explicit manual exception |
 
 Frozen DTOs: QueueGraphLink(From EntityRef, To EntityRef, Label string,
 AttributesJson string = "{}"); QueueToGraph(Graph string, Queue string,

docs/Features/DatabaseComposition.md

@@ -121,7 +121,7 @@ <h1 id="page-title">The database <span class="h1-break">for <span class="kl-mark
       </figure>
       <ul class="hero-facts" aria-label="KeyLoad at a glance">
         <li><strong>Connected models</strong><span>Documents, rows, graphs and queued work share references and persisted permissions.</span></li>
-        <li><strong>MCP built in</strong><span>Agents query, read and write through the official MCP server, under the same permissions.</span></li>
+        <li><strong>MCP built in</strong><span>Agents query, read and write through the built-in MCP server, under the same permissions.</span></li>
         <li><strong>Policy in the database</strong><span>Credentials and authorization live server-side; callers cannot claim trusted roles.</span></li>
         <li><strong>.NET 10 · Orleans · RF3</strong><span>Three replicas of your data, each on its own node.</span></li>
       </ul>
@@ -150,7 +150,7 @@ <h3>The stitched stack</h3>
         <article class="thesis-card thesis-card--one">
           <h3>One AI-native database</h3>
           <ul class="thesis-points">
-            <li><b>One reference</b> Any record can reference any other through canonical entity references.</li>
+            <li><b>One reference</b> Any record can point to any other through canonical entity references.</li>
             <li><b>One permission check</b> Keys and policies live in the database, so an agent gets exactly what you grant.</li>
             <li><b>One atomic write</b> A document, its event, a graph edge and the next task in the same partition commit together.</li>
             <li><b>One way in</b> SQL, the built-in MCP server and the .NET SDK reach the same operations.</li>
@@ -169,7 +169,7 @@ <h3>One AI-native database</h3>
         <ol class="anatomy-steps">
           <li><span class="step-no" aria-hidden="true">01</span><div><h3>Queue to knowledge graph</h3><p>Read ready messages, resolve their linked entities and write knowledge-graph relationships inside the database.</p></div></li>
           <li><span class="step-no" aria-hidden="true">02</span><div><h3>Graph to queued actions</h3><p>Follow visible relationships to enqueue actions carrying canonical entity references.</p></div></li>
-          <li><span class="step-no" aria-hidden="true">03</span><div><h3>One authorized atomic command</h3><p>Source and target resources share the same atomic partition and transaction domain. A failed effect rolls back the whole command. Projection does not lease or ACK messages. Blobs remain part of the same database; staged upload and publication use their existing operations outside this initial graph/queue batch.</p></div></li>
+          <li><span class="step-no" aria-hidden="true">03</span><div><h3>One authorized atomic command</h3><p>Every source and target must live in the same atomic partition and transaction domain, so the whole command succeeds or rolls back together. Reading a queue into the graph does not lease or ACK its messages. Blobs remain part of the same database, but use their separate upload and publication operations.</p></div></li>
         </ol>
         <div class="terminal kl-graphite">
           <article class="code-card"><header><span class="code-tag">SQL</span>One bound command envelope</header><pre><code><span class="tok-key">CALL</span> keyload_documents_commit(@arguments);</code></pre></article>
@@ -182,7 +182,7 @@ <h3>One AI-native database</h3>
 (<span class="tok-key">await</span> client.CommitAsync(command)).ThrowIfFail();</code></pre></article>
         </div>
       </div>
-      <p>The source adds this initial bounded procedural composition stage through SQL CALL, the .NET SDK and official MCP, with exact-source qualification pending. Full declarative SQL, the native SQL-client protocol and cross-partition composition remain required and pending.</p>
+      <p>The current composition API runs through SQL CALL, the .NET SDK and the official MCP server. KeyLoad is a development preview: full declarative SQL, the native SQL-client protocol and cross-partition composition are still in development, and production guarantees remain under qualification.</p>
       <p><a class="text-link" href="https://github.com/managedcode/KeyLoad/blob/main/docs/Features/DatabaseComposition.md">Database composition contract <span aria-hidden="true">↗</span></a> · <a class="text-link" href="https://github.com/managedcode/KeyLoad/blob/main/docs/ADR/ADR-067-composable-agent-database.md">Composition architecture <span aria-hidden="true">↗</span></a></p>
     </section>
 

site/Features/BenchmarkComparisons/index.html

@@ -121,6 +121,24 @@ h1 .kl-mark { background-size: 100% .11em; background-position: 0 94%; }
 .shape p { margin: 0; color: var(--kl-muted); font-size: .9rem; line-height: 1.5; }
 .shape-link { margin-top: .5rem; color: var(--kl-ink-2); font-size: .8rem; font-weight: 600; }
 
+/* Thesis: the stitched stack against one AI-native database */
+.thesis-grid { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); gap: .9rem; }
+.thesis-card { min-width: 0; padding: clamp(1.3rem, 3vw, 2rem); border: 1px solid var(--kl-stroke); border-radius: var(--kl-radius-xl); background: var(--kl-sheen), var(--kl-surface); box-shadow: var(--kl-shadow); backdrop-filter: var(--kl-glass); }
+.thesis-card h3 { margin: 0 0 1.2rem; font-size: 1.35rem; }
+.thesis-card > p { margin: 1.2rem 0 0; color: var(--kl-muted); font-size: .92rem; }
+.thesis-stack { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: .5rem; margin: 0; padding: 0; list-style: none; }
+.thesis-stack li { display: grid; align-content: start; gap: .1rem; min-width: 0; padding: .65rem .85rem; border: 1px dashed var(--kl-line-strong); border-radius: var(--kl-radius); color: var(--kl-muted); font: .72rem/1.4 var(--kl-font-mono); }
+.thesis-stack b { color: var(--kl-ink-2); font: 650 .95rem/1.3 var(--kl-font-display); letter-spacing: -.01em; }
+.thesis-card--one { border-color: var(--kl-graphite-line); background: linear-gradient(180deg, var(--kl-graphite-2) 0%, var(--kl-graphite) 100%); box-shadow: inset 0 1px 0 rgba(255, 255, 255, .08), 0 24px 60px rgba(17, 18, 20, .22); color: var(--kl-on-graphite); }
+.thesis-card--one h3 { color: #fff; }
+.thesis-points { display: grid; gap: 1.15rem; margin: 0; padding: 0; list-style: none; }
+.thesis-points li { display: grid; gap: .2rem; padding-left: 1rem; border-left: 2px solid transparent; border-image: linear-gradient(180deg, var(--kl-peach), var(--kl-lilac), var(--kl-periwinkle)) 1; color: var(--kl-on-graphite-muted); font-size: .92rem; }
+.thesis-points b { color: #fff; font: 700 1.05rem/1.3 var(--kl-font-display); letter-spacing: -.015em; }
+.thesis-future { max-width: 54rem; margin: 1.8rem 0 0; color: var(--kl-ink-2); font-size: 1.08rem; }
+.why-grid { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: .9rem; }
+.why-grid .shape-no { margin-top: 0; color: var(--kl-ink-2); }
+.why-grid .shape-link { margin-top: auto; padding-top: .5rem; }
+
 /* Engine cross-section on graphite */
 .engine-inner { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1.15fr); gap: clamp(2rem, 5vw, 4.5rem); padding: clamp(1.6rem, 5vw, 4rem); border-radius: var(--kl-radius-xl); }
 .engine .eyebrow, .engine .eyebrow::before, .reproduce .eyebrow::before { color: var(--kl-on-graphite-muted); }
@@ -212,6 +230,7 @@ tr:last-child td { border-bottom: 0; }
   .hero-facts li:nth-child(n + 3) { margin-top: 1rem; border-top: 1px solid var(--kl-line); }
   .anatomy-grid, .engine-inner, .reproduce-inner { grid-template-columns: minmax(0, 1fr); }
   .bento { grid-template-columns: repeat(2, minmax(0, 1fr)); }
+  .thesis-grid, .why-grid { grid-template-columns: minmax(0, 1fr); }
 }
 
 @media (max-width: 760px) {

site/Features/BenchmarkComparisons/styles.css

@@ -1,18 +1,15 @@
-using System.Net;
-using System.Text.RegularExpressions;
-
 namespace KeyLoad.SiteTests.Features.BenchmarkComparisons;
 
-internal sealed partial class SiteDatabaseCompositionTests
+internal sealed class SiteDatabaseCompositionTests
 {
     [Test]
     public async Task AC_COMP_001_PublicIntroductionsDescribeOneLinkedDatabaseWithFamiliarSql()
     {
-        var readme = await ReadSourceAsync(SiteDatabaseCompositionTokens.ReadmePath);
-        var html = await ReadSourceAsync(SiteDatabaseCompositionTokens.HtmlPath);
-        var hero = ReadSection(html, SiteDatabaseCompositionTokens.HeroStart,
+        var readme = await SiteProductCopy.ReadSourceAsync(SiteDatabaseCompositionTokens.ReadmePath);
+        var html = await SiteProductCopy.ReadSourceAsync(SiteDatabaseCompositionTokens.HtmlPath);
+        var hero = SiteProductCopy.ReadSection(html, SiteDatabaseCompositionTokens.HeroStart,
             SiteDatabaseCompositionTokens.ParagraphEnd);
-        var readmeIntroduction = ReadSection(readme, SiteDatabaseCompositionTokens.ReadmeIntroductionStart,
+        var readmeIntroduction = SiteProductCopy.ReadSection(readme, SiteDatabaseCompositionTokens.ReadmeIntroductionStart,
             SiteDatabaseCompositionTokens.ReadmeIntroductionEnd);
         foreach (var introduction in new[] { readmeIntroduction, hero })
         {
@@ -37,17 +34,17 @@ public async Task AC_COMP_001_PublicCompositionExplainsQueueGraphAndReverseFlows
     public async Task AC_COMP_001_008_PublicCompositionRetainsCurrentStageAndAtomicBoundaries()
     {
         var sections = await ReadCompositionSectionsAsync();
-        await AssertIncludesAsync(sections[SiteDatabaseCompositionTokens.ReadmeSectionIndex],
-            SiteDatabaseCompositionTokens.ReadmeStageContracts);
-        await AssertIncludesAsync(sections[SiteDatabaseCompositionTokens.HtmlSectionIndex],
-            SiteDatabaseCompositionTokens.StageContracts);
+        foreach (var section in sections)
+        {
+            await AssertIncludesAsync(section, SiteDatabaseCompositionTokens.StageContracts);
+        }
     }
 
     [Test]
     public async Task AC_COMP_001_PublicCompositionLinksItsFeatureAndArchitectureContract()
     {
-        var readme = await ReadSourceAsync(SiteDatabaseCompositionTokens.ReadmePath);
-        var html = await ReadSourceAsync(SiteDatabaseCompositionTokens.HtmlPath);
+        var readme = await SiteProductCopy.ReadSourceAsync(SiteDatabaseCompositionTokens.ReadmePath);
+        var html = await SiteProductCopy.ReadSourceAsync(SiteDatabaseCompositionTokens.HtmlPath);
         await AssertIncludesAsync(readme,
             [SiteDatabaseCompositionTokens.FeaturePath, SiteDatabaseCompositionTokens.AdrPath]);
         await Assert.That(html).Contains(SiteDatabaseCompositionTokens.GitHubRoot + SiteDatabaseCompositionTokens.FeaturePath);
@@ -56,53 +53,19 @@ await AssertIncludesAsync(readme,
 
     private static async Task<string[]> ReadCompositionSectionsAsync()
     {
-        var readme = await ReadSourceAsync(SiteDatabaseCompositionTokens.ReadmePath);
-        var html = await ReadSourceAsync(SiteDatabaseCompositionTokens.HtmlPath);
+        var readme = await SiteProductCopy.ReadSourceAsync(SiteDatabaseCompositionTokens.ReadmePath);
+        var html = await SiteProductCopy.ReadSourceAsync(SiteDatabaseCompositionTokens.HtmlPath);
         return
         [
-            ReadSection(readme, SiteDatabaseCompositionTokens.ReadmeCompositionStart,
+            SiteProductCopy.ReadSection(readme, SiteDatabaseCompositionTokens.ReadmeCompositionStart,
                 SiteDatabaseCompositionTokens.ReadmeCompositionEnd),
-            ReadSection(html, SiteDatabaseCompositionTokens.HtmlCompositionStart,
+            SiteProductCopy.ReadSection(html, SiteDatabaseCompositionTokens.HtmlCompositionStart,
                 SiteDatabaseCompositionTokens.HtmlSectionEnd),
         ];
     }
 
-    private static Task<string> ReadSourceAsync(string relativePath)
-    {
-        var repository = Environment.GetEnvironmentVariable(SiteTokens.RepositoryEnvironment);
-        if (string.IsNullOrWhiteSpace(repository) || !Path.IsPathFullyQualified(repository))
-        {
-            throw new InvalidOperationException(SiteDatabaseCompositionTokens.MissingRepository);
-        }
-
-        return File.ReadAllTextAsync(Path.Combine(repository, relativePath),
-            TestContext.Current!.Execution.CancellationToken);
-    }
-
-    private static string ReadSection(string source, string startMarker, string endMarker)
-    {
-        var start = source.IndexOf(startMarker, StringComparison.Ordinal);
-        var end = start < 0 ? -1 : source.IndexOf(endMarker, start + startMarker.Length, StringComparison.Ordinal);
-        if (start < 0 || end < 0)
-        {
-            throw new InvalidDataException(SiteDatabaseCompositionTokens.MissingSection);
-        }
-
-        return source[start..end];
-    }
-
     private static async Task AssertIncludesAsync(string source, IEnumerable<string> contracts)
     {
-        var plainText = WebUtility.HtmlDecode(HtmlTags().Replace(source, SiteDatabaseCompositionTokens.WordSeparator));
-        var text = string.Join(SiteDatabaseCompositionTokens.WordSeparator,
-            plainText.Split((char[]?)null, StringSplitOptions.RemoveEmptyEntries));
-        foreach (var contract in contracts)
-        {
-            await Assert.That(text.Contains(contract, StringComparison.OrdinalIgnoreCase)).IsTrue();
-        }
+        await Assert.That(SiteProductCopy.Missing(source, contracts)).IsEmpty();
     }
-
-    [GeneratedRegex(SiteDatabaseCompositionTokens.HtmlTagPattern, RegexOptions.CultureInvariant,
-        SiteDatabaseCompositionTokens.PatternTimeoutMilliseconds)]
-    private static partial Regex HtmlTags();
 }