Launch MathGraph Open Challenge: first verified finding free

website/scripts/check-built-site.mjs

@@ -88,14 +88,15 @@ for (const value of ['48/48', '31', '17', '52/52', 'UNKNOWN', 'NOT_CHECKED_AFTER
   assert(recordHtml.includes(value), `record page missing qualified observation ${value}`);
 }
 assert(homeHtml.includes(record.id), 'homepage must identify the featured record');
-assert(homeHtml.includes('<title>MathGraph — Verification Evidence Network</title>'));
-assert(homeHtml.includes('<h1>Knowledge you can verify. Capabilities you can build on.</h1>'));
+assert(homeHtml.includes('<title>MathGraph — Find What Your Verification Missed</title>'));
+assert(homeHtml.includes('<h1>Find what your verification missed.</h1>'));
+assert(homeHtml.includes('href="/assurance/"'), 'homepage must link to free-first-finding offer');
 assert(homeHtml.includes('data-home-search') && homeHtml.includes('action="/explore/"'), 'homepage must expose same-origin knowledge search');
 assert(!homeHtml.includes('data-import-workbench'), 'generic local import belongs on Verify, not the homepage');
 for (const value of ['2,345', 'Indexed declarations', '1,224', 'TYPE_REFERENCES', 'Real.rpow', 'SOURCE_INDEXED', 'Independent verification', 'NOT_CHECKED', 'data-source-neighborhood']) {
   assert(homeHtml.includes(value), `homepage living-network projection missing ${value}`);
 }
-for (const route of ['explore', 'verify', 'build', 'check', 'resolve', 'discover', 'develop', 'capabilities', 'records', 'objects', 'protocol', 'agents', 'developers', 'about', 'contact']) {
+for (const route of ['assurance', 'explore', 'verify', 'build', 'check', 'resolve', 'discover', 'develop', 'capabilities', 'records', 'objects', 'protocol', 'agents', 'developers', 'about', 'contact']) {
   const html = await readFile(join(dist, route, 'index.html'), 'utf8');
   assert(html.includes('aria-controls="primary-navigation"'), `${route}: navigation disclosure missing`);
 }

website/src/layouts/BaseLayout.astro

@@ -24,6 +24,7 @@ const canonical = new URL(canonicalPath ?? Astro.url.pathname, Astro.site);
 const absoluteSocialImage = socialImage ? new URL(socialImage, Astro.site) : undefined;
 const contentSecurityPolicy = "default-src 'self'; base-uri 'none'; connect-src 'self'; font-src 'self'; form-action 'self'; img-src 'self' data:; object-src 'none'; script-src 'self'; style-src 'self' 'unsafe-inline'";
 const nav = [
+  { href: '/assurance/', label: 'The Open Challenge', routes: ['/assurance/'] },
   { href: '/explore/', label: 'Explore', routes: ['/explore/', '/records/', '/objects/', '/discover/'] },
   { href: '/verify/', label: 'Verify', routes: ['/verify/', '/check/', '/resolve/'] },
   { href: '/build/', label: 'Build', routes: ['/build/', '/develop/', '/capabilities/'] },
@@ -82,10 +83,11 @@ const currentState = (item: typeof nav[number]) => normalizedPath === item.href
     <footer class="site-footer">
       <div class="site-footer__inner shell">
         <div>
-          <p><strong>Evidence you can inspect. Results you can reuse.</strong></p>
-          <p class="fineprint">MathGraph is a research-stage verification and evidence project developed by Metalogic Labs. Evidence status is scoped; unknowns remain visible.</p>
+          <p><strong>Know what holds. Know what doesn't. Know what remains unproven.</strong></p>
+          <p class="fineprint">MathGraph offers founder-led independent assurance investigations backed by source-pinned research. Selected free first findings and optional paid follow-on work are bounded; no universal correctness or institutional endorsement is implied.</p>
         </div>
         <nav class="footer-links" aria-label="Footer">
+          <a href="/assurance/">The Open Challenge</a>
           <a href="/discover/">Discover</a>
           <a href="/develop/">Develop</a>
           <a href="/capabilities/">Capabilities</a>

website/src/pages/about.astro

@@ -2,14 +2,15 @@
 import BaseLayout from '../layouts/BaseLayout.astro';
 ---
 
-<BaseLayout title="About MathGraph — Evidence and provenance" description="MathGraph publishes source-pinned mathematical objects and bounded verification evidence. A research project developed by Metalogic Labs." currentPath="/about/">
+<BaseLayout title="About MathGraph — Independent Assurance and Evidence" description="Founder-led independent assurance for consequential software, backed by source-pinned research and explicit evidence boundaries." currentPath="/about/">
   <header class="section section--compact"><div class="shell">
     <div class="eyebrow">About MathGraph</div>
-    <h1>Evidence should remain inspectable without the platform that published it.</h1>
-    <p class="lede">MathGraph is a research-stage project developed by Metalogic Labs. It publishes source-pinned mathematical objects, explicit verification boundaries, portable replay contracts, and unresolved results.</p>
+    <h1>Independent assurance. Evidence you can inspect.</h1>
+    <p class="lede">MathGraph is a founder-led independent assurance practice developed by Metalogic Labs. Heath Sanchez leads bounded investigations into consequential software claims, and the research-stage evidence network publishes source-pinned mathematical objects, explicit verification boundaries, portable replay contracts, and unresolved results.</p>
   </div></header>
   <section class="section"><div class="shell grid"><div class="span-7 prose">
     <h2>What is available</h2>
+    <p><a href="/assurance/">The MathGraph Open Challenge</a> invites selected public repositories to a bounded first-finding investigation free of charge if a genuine issue is established. Optional paid engineering follow-on work is separately scoped; no finding is guaranteed. No proprietary source upload is offered.</p>
     <p>The current public site contains a 13-module Mathlib source catalogue, two immutable bounded evidence records, offline consumers, advisory discovery output, and one qualified finite capability profile. Source-indexed references support navigation; they are not proof dependencies or independently checked theorems.</p>
     <h2>Verification remains with the verifier</h2>
     <p>Native checkers and their declared trust boundaries remain authoritative. A successful historical receipt does not automatically establish current applicability, broader correctness, or permission to act. General hosted verification and continuous requalification are not implemented.</p>

website/src/pages/assurance/index.astro

@@ -0,0 +1,119 @@
+---
+import BaseLayout from '../../layouts/BaseLayout.astro';
+
+const subject = 'MathGraph Open Challenge — first finding free';
+const message = [
+  'Hello Heath,',
+  '',
+  'I would like to submit a repository for the MathGraph Open Challenge.',
+  '',
+  'Public repository URL:',
+  'One consequential claim or requirement:',
+  'What important decision are you making because you believe this claim is true?',
+  'What could happen if that claim were false?',
+  'What tests, specifications, proofs or other evidence support it?',
+  'My relationship to the project / authority to request review:',
+  '',
+  'I understand selection is discretionary, the investigation is bounded, and a finding is not guaranteed.',
+].join('\n');
+const enquiryUrl = `mailto:heath@mathgraph.org?subject=${encodeURIComponent(subject)}&body=${encodeURIComponent(message)}`;
+---
+
+<BaseLayout
+  title="Are you game? First verified finding free — MathGraph"
+  description="Show MathGraph your repo and one consequential software claim. Selected projects receive their first independently reproducible finding free. Optional paid follow-on assurance."
+  currentPath="/assurance/"
+>
+  <header class="section section--compact">
+    <div class="shell">
+      <div class="eyebrow">The MathGraph Open Challenge · Founder-led independent assurance</div>
+      <h1>Are you game? Show me your repo.</h1>
+      <p class="lede"><strong>Find what your verification missed. Your first verified finding is free—if one is established.</strong></p>
+      <p>Your code may pass its tests. Your proof may check. Your model may produce the expected result. But what, exactly, does that evidence establish—and is it enough for the decision you need to make?</p>
+      <p>Sometimes the gap lies in the code. Sometimes it is a missing requirement, an untested assumption, a lossy interface, a misleading report or a claim stronger than its supporting evidence. Led by <a href="https://heathsanchez.github.io/" rel="external">Heath Sanchez</a>, MathGraph independently investigates the weakest consequential boundary—even when our starting hypothesis is wrong.</p>
+      <div class="actions">
+        <a class="button" href="#challenge">Submit a repository for consideration</a>
+        <a class="button button--secondary" href="#evidence">See accepted upstream findings</a>
+      </div>
+      <p class="fineprint">Human-led review · Selected projects · Bounded investigation · No obligation to purchase work · A finding is not guaranteed.</p>
+    </div>
+  </header>
+
+  <section class="section section--compact" id="challenge" aria-labelledby="challenge-title" data-assurance-boundary>
+    <div class="shell grid">
+      <div class="span-7">
+        <div class="eyebrow">The free first-finding offer</div>
+        <h2 id="challenge-title">One repo. One consequential claim. One decision that depends on it.</h2>
+        <p>Tell us what your software must get right, which evidence gives you confidence, and <strong>what important decision you are making because you believe the claim is true.</strong> What would happen if it were false? We select repositories where that decision-to-evidence boundary can be investigated independently.</p>
+        <p><strong>If we establish a consequential discrepancy or unsupported claim, your first source-pinned, independently reproducible finding is free.</strong> You receive the examined claim, the decisive witness or bounded evidence, its limits and consequences, and recommended next steps—not a teaser withheld for a sale.</p>
+        <p>We may also find no issue in the selected scope, disconfirm a hypothesis or conclude <code>UNKNOWN</code>. No discovery is guaranteed, and no outcome should be mistaken for blanket approval of the software.</p>
+        <div class="actions">
+          <a class="button" href={enquiryUrl}>Email your repository and claim ↗</a>
+          <a class="button button--secondary" href="https://nz.linkedin.com/in/hesanchez" rel="external">Contact Heath on LinkedIn ↗</a>
+        </div>
+        <p class="fineprint">The email link opens your mail app; there is no hosted upload or automatic scan. If email isn't configured, use LinkedIn to request a private conversation. Do not include credentials, undisclosed vulnerabilities, proprietary code or personal data in an initial message. Private projects require separate authorization and secure access arrangements.</p>
+      </div>
+      <aside class="span-5 callout">
+        <h3>What to send</h3>
+        <ol>
+          <li>A public repository link (or a high-level description of a private project).</li>
+          <li>One important claim or requirement your team relies on.</li>
+          <li><strong>What important decision are you making because you believe it is correct—and what would happen if it were false?</strong></li>
+          <li>The existing test, specification, proof or evidence you consider relevant.</li>
+          <li>Your role or authority to request a review, and a reply address.</li>
+        </ol>
+        <p class="fineprint">Selection is discretionary; not every repository will be investigated or receive a finding.</p>
+      </aside>
+    </div>
+  </section>
+
+  <section class="section" id="evidence" aria-labelledby="evidence-title">
+    <div class="shell">
+      <div class="eyebrow">Evidence, not promises</div>
+      <h2 id="evidence-title">Uncomfortable findings. Accepted engineering corrections.</h2>
+      <div class="grid">
+        <article class="span-6 callout">
+          <h3>A test report that could show green when it should fail</h3>
+          <p><strong>L4YAML · Test-evidence integrity.</strong> Malformed JUnit XML could be accepted by the report reader and produce a misleading successful report. The upstream maintainer independently reproduced the discrepancy, reviewed the repair, and <a href="https://github.com/nasa-jpl/L4YAML/pull/232" rel="external">merged PR #232</a>.</p>
+          <p>On final merged source <code>fdcd6fdc4bc7491166c6c73505e1f62a203c50bf</code>, <a href="https://github.com/metalogiclabs/L4YAML/actions/runs/42274503860" rel="external">independent native qualification</a> passed 24/24 declared XML controls and 14,945/14,945 project checks. The <a href="https://github.com/metalogiclabs/L4YAML/actions/runs/41979488458" rel="external">earlier candidate run</a> is separate historical evidence, not automatically transferable.</p>
+        </article>
+        <article class="span-6 callout">
+          <h3>Orbital data whose reference frame could silently change</h3>
+          <p><strong>Nyx · Physical meaning across interfaces.</strong> Parquet trajectory exports could describe selected rows using the wrong reference-frame metadata, altering the physical interpretation of otherwise plausible numerical results. The <a href="https://github.com/nyx-space/nyx/pull/615" rel="external">source- and regression-backed correction was merged upstream on 13 November 2026</a>.</p>
+          <p>The repair validates the existing one-frame-per-table export contract. Separate import-side and frame-difference obligations remain outside this scoped change.</p>
+        </article>
+      </div>
+      <div class="callout callout--unknown">
+        <p><strong>Evidence boundary:</strong> These are public contributions to independently maintained open-source projects. They are not paid-client testimonials, institutional endorsements by NASA/JPL or other organizations, proof of universal correctness, or autonomous discoveries by a deployed MathGraph App. Anything not qualified by the stated tests remains <code>UNKNOWN</code>.</p>
+      </div>
+    </div>
+  </section>
+
+  <section class="section section--compact" id="audit-scope" aria-labelledby="audit-scope-title">
+    <div class="shell">
+      <div class="eyebrow">After the free finding · Optional paid work</div>
+      <h2 id="audit-scope-title">Found a gap? Let’s establish what now holds.</h2>
+      <p class="lede">A finding is only the beginning. If your team wants help closing the gap, MathGraph offers separately scoped paid assurance work to investigate the full implications, support a correction and independently establish what the evidence now warrants.</p>
+      <div class="grid">
+        <article class="span-6 callout">
+          <h3>Understand and resolve the gap</h3>
+          <p>Agree the intended requirement and source revision, investigate the affected decision, trace the failure mechanism or missing evidence, and work with your team toward a justified resolution.</p>
+        </article>
+        <article class="span-6 callout">
+          <h3>Reverify and document</h3>
+          <p>Run appropriate native, formal or adversarial checks against the proposed resolution, preserve remaining uncertainties, and deliver a source- and requirement-linked report describing exactly what now holds—and what does not.</p>
+        </article>
+      </div>
+      <p class="fineprint">Work is bounded by the agreed source, requirements, execution environment and scope. An audit is not a certification, a whole-codebase proof, a security guarantee or an automatic authorization to release.</p>
+    </div>
+  </section>
+
+  <section class="section section--compact" aria-labelledby="research-title">
+    <div class="shell">
+      <div class="eyebrow">Behind the service</div>
+      <h2 id="research-title">Independent verification matters. So does verifying the right thing.</h2>
+      <p>MathGraph's <a href="/explore/">research and source-pinned evidence network</a> makes some bounded verification records and unresolved questions inspectable. Indexed mathematical declarations are not themselves independent proof checks. The long-term research ambition is reusable, change-aware claim assurance—not a currently deployed universal code verifier.</p>
+      <p><strong>Know what holds. Know what doesn't. Know what remains unproven.</strong></p>
+    </div>
+  </section>
+</BaseLayout>

website/src/pages/contact.astro

@@ -2,13 +2,14 @@
 import BaseLayout from '../layouts/BaseLayout.astro';
 ---
 
-<BaseLayout title="Contact MathGraph — Public project channels" description="Use the public MathGraph repository and issue tracker for source, reproducible reports, and project enquiries." currentPath="/contact/">
+<BaseLayout title="Contact MathGraph — Audits and public project channels" description="Join the MathGraph Open Challenge for a selected free first finding, or use GitHub for public technical reports." currentPath="/contact/">
   <header class="section section--compact"><div class="shell">
     <div class="eyebrow">Contact</div>
-    <h1>Start with the public evidence and source.</h1>
-    <p class="lede">MathGraph is developed in the open by Metalogic Labs. Use the public repository for source and the issue tracker for reproducible project reports or enquiries.</p>
+    <h1>Have a consequential claim? Are you game?</h1>
+    <p class="lede">For selected projects, MathGraph offers a bounded free-first-finding investigation with no guaranteed defect. Start privately through our challenge page. Public GitHub issues are for non-confidential reproducible technical reports only.</p>
   </div></header>
   <section class="section"><div class="shell grid">
+    <article class="span-6 callout"><h2>Free first-finding challenge</h2><p><a href="/assurance/">Show us your repo — the MathGraph Open Challenge</a></p><p>One consequential claim, source-pinned evidence, and a selected bounded investigation. No code upload is provided on this page.</p></article>
     <article class="span-6 callout"><h2>Repository</h2><p><a href="https://github.com/metalogiclabs/mathgraph">github.com/metalogiclabs/mathgraph ↗</a></p><p>Inspect code, protocols, qualification tests, and immutable evidence sources.</p></article>
     <article class="span-6 callout"><h2>Issues</h2><p><a href="https://github.com/metalogiclabs/mathgraph/issues">github.com/metalogiclabs/mathgraph/issues ↗</a></p><p>Report a reproducible defect or propose a scoped improvement. Public issue handling does not create a trust relationship or verification result.</p></article>
   </div></section>