<?xml version="1.0" encoding="UTF-8"?>
<!--
  PEMOS Sovereign XML Spine — ARC Sub-Spine
  Layer 2 · ARC-AGI, SSAF bounty pipeline, OVERSEER
  OSS: lean4,python,solidity
  Generated: 2026-06-07 · γ₁=14.134725141734693
  TRB: TRB-PEMOS-XML-SPINE-V14-001
-->
<urlset
  xmlns="http://www.sitemaps.org/schemas/sitemap/0.9"
  xmlns:pemos="https://pemos.ca/schema/spine/v14"
  pemos:gamma1="14.134725141734693"
  pemos:domain="arc"
  pemos:version="V14">

  <url>
    <loc>https://pemos.ca/ap-submissions</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ap-submissions</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/arc-1-gap</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: arc-1-gap</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/arc-2-gap</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: arc-2-gap</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/arc-2pager</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: arc-2pager</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/arc-3-gap</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: arc-3-gap</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/arc-agi-1</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: arc-agi-1</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/arc-agi-2</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: arc-agi-2</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/arc-agi-3</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: arc-agi-3</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/arc-agi-v7</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: arc-agi-v7</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/arc-agi-v8</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: arc-agi-v8</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/arc-agi3-coaster</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: arc-agi3-coaster</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/arc-autopsy</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: arc-autopsy</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/arc-baseline</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: arc-baseline</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/arc-benchmark</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: arc-benchmark</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/arc-bfs</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: arc-bfs</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/arc-board</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: arc-board</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/arc-bonsai</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: arc-bonsai</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/arc-command-deck</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: arc-command-deck</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/arc-console</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: arc-console</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/arc-dsl-sim</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: arc-dsl-sim</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/arc-galaxy</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: arc-galaxy</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/arc-grail</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: arc-grail</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/arc-grail-protocol</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: arc-grail-protocol</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/arc-index</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: arc-index</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/arc-inspector</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: arc-inspector</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/arc-leaderboard</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: arc-leaderboard</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/arc-leaderboard-v8</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: arc-leaderboard-v8</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/arc-library</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: arc-library</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/arc-optic-live</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: arc-optic-live</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/arc-replay</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: arc-replay</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/arc-run4</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: arc-run4</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/arc-run5-telemetry</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: arc-run5-telemetry</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/arc-scatter</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: arc-scatter</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/arc-spiral</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: arc-spiral</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/arc-state</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: arc-state</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/arc-test-harness</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: arc-test-harness</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/arc-topology-locked</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: arc-topology-locked</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/arc-v10-allall</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: arc-v10-allall</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/arc-v9-registry</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: arc-v9-registry</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/arc3-temporal-nexus</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: arc3-temporal-nexus</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/boon-architecture</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: boon-architecture</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/bounty-diamonds</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.7</priority>
    <pemos:desc>ARC: bounty-diamonds</pemos:desc>
    <pemos:oss-lang>solidity,lean4</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/bounty-floor</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.7</priority>
    <pemos:desc>ARC: bounty-floor</pemos:desc>
    <pemos:oss-lang>solidity,lean4</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/bounty-floors</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.7</priority>
    <pemos:desc>ARC: bounty-floors</pemos:desc>
    <pemos:oss-lang>solidity,lean4</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/bounty-floors-h1</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.7</priority>
    <pemos:desc>ARC: bounty-floors-h1</pemos:desc>
    <pemos:oss-lang>solidity,lean4</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/bounty-leaderboard</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.7</priority>
    <pemos:desc>ARC: bounty-leaderboard</pemos:desc>
    <pemos:oss-lang>solidity,lean4</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/bounty-peek</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.7</priority>
    <pemos:desc>ARC: bounty-peek</pemos:desc>
    <pemos:oss-lang>solidity,lean4</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/catomain-cancer-sechive</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.7</priority>
    <pemos:desc>ARC: catomain-cancer-sechive</pemos:desc>
    <pemos:oss-lang>solidity,lean4</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/eose-ap</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: eose-ap</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/helix-ref-arch</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: helix-ref-arch</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/meek-hierarchy</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: meek-hierarchy</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/meek-search-boxiner</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: meek-search-boxiner</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/menendo-starfighter-arcade</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: menendo-starfighter-arcade</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/pancreas-sechive</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.7</priority>
    <pemos:desc>ARC: pancreas-sechive</pemos:desc>
    <pemos:oss-lang>solidity,lean4</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/poc-mm-005</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.7</priority>
    <pemos:desc>ARC: poc-mm-005</pemos:desc>
    <pemos:oss-lang>solidity,lean4</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/poc016-morpho-sorry</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.7</priority>
    <pemos:desc>ARC: poc016-morpho-sorry</pemos:desc>
    <pemos:oss-lang>solidity,lean4</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/principal-arc</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: principal-arc</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/research-bonsai-adhd</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: research-bonsai-adhd</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/research-bonsai-als</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: research-bonsai-als</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/research-bonsai-alzheimers</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: research-bonsai-alzheimers</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/research-bonsai-cancer-breast-her2</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: research-bonsai-cancer-breast-her2</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/research-bonsai-cancer-colorectal-msi</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: research-bonsai-cancer-colorectal-msi</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/research-bonsai-cancer-gbm</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: research-bonsai-cancer-gbm</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/research-bonsai-cancer-leukemia-all</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: research-bonsai-cancer-leukemia-all</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/research-bonsai-cancer-leukemia-aml</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: research-bonsai-cancer-leukemia-aml</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/research-bonsai-cancer-lung-nsclc</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: research-bonsai-cancer-lung-nsclc</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/research-bonsai-cancer-lymphoma-dlbcl</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: research-bonsai-cancer-lymphoma-dlbcl</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/research-bonsai-cancer-melanoma-braf</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: research-bonsai-cancer-melanoma-braf</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/research-bonsai-cancer-pancreatic-pdac</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: research-bonsai-cancer-pancreatic-pdac</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/research-bonsai-cancer-prostate-crpc</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: research-bonsai-cancer-prostate-crpc</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/research-bonsai-cold-fusion</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: research-bonsai-cold-fusion</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/research-bonsai-depression</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: research-bonsai-depression</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/research-bonsai-e294-harmonic-meeks</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: research-bonsai-e294-harmonic-meeks</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/research-bonsai-epilepsy</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: research-bonsai-epilepsy</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/research-bonsai-ftd</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: research-bonsai-ftd</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/research-bonsai-ftd-helix</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: research-bonsai-ftd-helix</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/research-bonsai-huntingtons</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: research-bonsai-huntingtons</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/research-bonsai-lewy-body</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: research-bonsai-lewy-body</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/research-bonsai-lyme</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: research-bonsai-lyme</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/research-bonsai-mecfs</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: research-bonsai-mecfs</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/research-bonsai-ms</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: research-bonsai-ms</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/research-bonsai-p45-p52</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: research-bonsai-p45-p52</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/research-bonsai-parkinsons</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: research-bonsai-parkinsons</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/research-bonsai-schizophrenia</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: research-bonsai-schizophrenia</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/research-bonsai-vascular-dementia</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: research-bonsai-vascular-dementia</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/roast-bounty-foundry</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.7</priority>
    <pemos:desc>ARC: roast-bounty-foundry</pemos:desc>
    <pemos:oss-lang>solidity,lean4</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/sechive-enzyme-blue</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.7</priority>
    <pemos:desc>ARC: sechive-enzyme-blue</pemos:desc>
    <pemos:oss-lang>solidity,lean4</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/sechive-harness</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.7</priority>
    <pemos:desc>ARC: sechive-harness</pemos:desc>
    <pemos:oss-lang>solidity,lean4</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/sechive-harness-v14</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.7</priority>
    <pemos:desc>ARC: sechive-harness-v14</pemos:desc>
    <pemos:oss-lang>solidity,lean4</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/sechive-immunefi</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.7</priority>
    <pemos:desc>ARC: sechive-immunefi</pemos:desc>
    <pemos:oss-lang>solidity,lean4</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/sechive-meek-flip</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.7</priority>
    <pemos:desc>ARC: sechive-meek-flip</pemos:desc>
    <pemos:oss-lang>solidity,lean4</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/sechive-minebench</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.7</priority>
    <pemos:desc>ARC: sechive-minebench</pemos:desc>
    <pemos:oss-lang>solidity,lean4</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/sechive-shape-galaxy</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.7</priority>
    <pemos:desc>ARC: sechive-shape-galaxy</pemos:desc>
    <pemos:oss-lang>solidity,lean4</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/sechive-z1-engine</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.7</priority>
    <pemos:desc>ARC: sechive-z1-engine</pemos:desc>
    <pemos:oss-lang>solidity,lean4</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/sencho-logic-search</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: sencho-logic-search</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/soallines-eose-bounty</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.7</priority>
    <pemos:desc>ARC: soallines-eose-bounty</pemos:desc>
    <pemos:oss-lang>solidity,lean4</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/sot-sostle-arch</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: sot-sostle-arch</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/spermbot-research-atlas</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: spermbot-research-atlas</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-141-arcade</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-141-arcade</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-bonsai-COSMOS002-v14</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-bonsai-COSMOS002-v14</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-bonsai-EOSE-BOUNTY-001</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-bonsai-EOSE-BOUNTY-001</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-bonsai-EOSE-BOUNTY-001-v14</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-bonsai-EOSE-BOUNTY-001-v14</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-bonsai-LF52</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-bonsai-LF52</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-bonsai-MM002</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-bonsai-MM002</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-bonsai-MM005-v14</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-bonsai-MM005-v14</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-bonsai-MM006-v14</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-bonsai-MM006-v14</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-bonsai-PAV2-F001</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-bonsai-PAV2-F001</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-bonsai-R11L</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-bonsai-R11L</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-bonsai-S5I5</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-bonsai-S5I5</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-bonsai-SUB001</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-bonsai-SUB001</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-bonsai-SUB001-v14</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-bonsai-SUB001-v14</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-bonsai-SUB002</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-bonsai-SUB002</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-bonsai-SUB003</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-bonsai-SUB003</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-bonsai-SUB004</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-bonsai-SUB004</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-bonsai-SUB005</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-bonsai-SUB005</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-bonsai-SUB006</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-bonsai-SUB006</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-bonsai-SUB007</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-bonsai-SUB007</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-bonsai-SUB008</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-bonsai-SUB008</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-bonsai-SUB009</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-bonsai-SUB009</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-bonsai-SUB010</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-bonsai-SUB010</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-bonsai-SUB011</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-bonsai-SUB011</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-bonsai-SUB012</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-bonsai-SUB012</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-bonsai-SYMB-F001</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-bonsai-SYMB-F001</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-bonsai-TN36</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-bonsai-TN36</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-bonsai-TRON001-v14</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-bonsai-TRON001-v14</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-crew-spiral</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-crew-spiral</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-domain-access-control</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-domain-access-control</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-domain-bridge</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-domain-bridge</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-domain-cross-protocol</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-domain-cross-protocol</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-domain-fee-mev</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-domain-fee-mev</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-domain-finality</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-domain-finality</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-domain-flash-loan</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-domain-flash-loan</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-domain-governance</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-domain-governance</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-domain-hub</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-domain-hub</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-domain-liquidation</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-domain-liquidation</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-domain-oracle</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-domain-oracle</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-domain-reentrancy</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-domain-reentrancy</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-domain-slashing</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-domain-slashing</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-domain-solvency</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-domain-solvency</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-master</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-master</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-starfighter-trials</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-starfighter-trials</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-submissions</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-submissions</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-universe</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-universe</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-v13-rebaseline</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-v13-rebaseline</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/ssaf-v13-sub006</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: ssaf-v13-sub006</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/three-eye</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: three-eye</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/three-eye-bonsai</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: three-eye-bonsai</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/trb-loco-arc-001</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: trb-loco-arc-001</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/viz-arch-flow</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: viz-arch-flow</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>
  <url>
    <loc>https://pemos.ca/wiki-tier-architecture</loc>
    <lastmod>2026-06-07</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
    <pemos:desc>ARC: wiki-tier-architecture</pemos:desc>
    <pemos:oss-lang>lean4,python,solidity</pemos:oss-lang>
    <pemos:gamma1>14.134725141734693</pemos:gamma1>
  </url>

</urlset>
