<?xml version="1.0" encoding="UTF-8"?>
<?xml-stylesheet type="text/xsl" href="/assets/sitemap.xsl"?>
<urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">
  <!-- Primary pages -->
  <url>
    <loc>https://caersyn.com/</loc>
    <lastmod>2026-09-24</lastmod>
  </url>
  <url>
    <loc>https://caersyn.com/trace.html</loc>
    <lastmod>2026-09-22</lastmod>
  </url>
  <url>
    <loc>https://caersyn.com/research.html</loc>
    <lastmod>2026-09-22</lastmod>
  </url>
  <url>
    <loc>https://caersyn.com/research-methodology.html</loc>
    <lastmod>2026-09-22</lastmod>
  </url>
  <url>
    <loc>https://caersyn.com/about.html</loc>
    <lastmod>2026-09-24</lastmod>
  </url>
  <url>
    <loc>https://caersyn.com/contact.html</loc>
    <lastmod>2026-09-24</lastmod>
  </url>
  <url>
    <loc>https://caersyn.com/proof-case-study.html</loc>
    <lastmod>2026-09-22</lastmod>
  </url>
  <url>
    <loc>https://caersyn.com/privacy.html</loc>
    <lastmod>2026-09-22</lastmod>
  </url>

  <!-- Research publications -->
  <url>
    <loc>https://caersyn.com/research/execution-evidence-for-ai-and-autonomous-systems.html</loc>
    <lastmod>2026-07-22</lastmod>
  </url>
  <url>
    <loc>https://caersyn.com/research/why-logs-are-no-longer-enough.html</loc>
    <lastmod>2026-06-20</lastmod>
  </url>
  <url>
    <loc>https://caersyn.com/research/the-difference-between-history-and-evidence.html</loc>
    <lastmod>2026-06-24</lastmod>
  </url>
  <url>
    <loc>https://caersyn.com/research/recorded-behaviour-as-a-trust-surface.html</loc>
    <lastmod>2026-06-12</lastmod>
  </url>
  <url>
    <loc>https://caersyn.com/research/silent-trust-transfer-in-automated-systems.html</loc>
    <lastmod>2026-06-21</lastmod>
  </url>

  <!-- Engineering proof records -->
  <url>
    <loc>https://caersyn.com/proof/trace-architectural-proof-demo.html</loc>
    <lastmod>2026-09-22</lastmod>
  </url>
  <url>
    <loc>https://caersyn.com/proof/trace-proof-of-operation-demo.html</loc>
    <lastmod>2026-09-22</lastmod>
  </url>
  <url>
    <loc>https://caersyn.com/proof/operational-proof-of-caersyn-trace.html</loc>
    <lastmod>2026-09-22</lastmod>
  </url>
  <url>
    <loc>https://caersyn.com/proof/gate-15-architectural-proof-summary.html</loc>
    <lastmod>2026-09-22</lastmod>
  </url>
  <url>
    <loc>https://caersyn.com/proof/gate-15-execution-summary.html</loc>
    <lastmod>2026-09-22</lastmod>
  </url>
  <url>
    <loc>https://caersyn.com/proof/gate-15-proof-matrix.html</loc>
    <lastmod>2026-09-22</lastmod>
  </url>
  <url>
    <loc>https://caersyn.com/proof/gate-15-s-scale-summary.html</loc>
    <lastmod>2026-09-22</lastmod>
  </url>
</urlset>
