<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8"><meta name="viewport" content="width=device-width, initial-scale=1">
<meta name="theme-color" content="#0c0917">
<title>Discoverability Compiler · SUCCESSOR Ω</title>
<style>
:root{color-scheme:dark;--bg:#0c0917;--panel:#171222;--ink:#f5f0ff;--muted:#c0b4ce;--purple:#b99aff;--line:#40314f;--mint:#8ce4c1;--gold:#f1ca7a;--danger:#ffb4ad}
*{box-sizing:border-box}body{margin:0;background:radial-gradient(ellipse at 80% 0%,#35204e 0,transparent 48%),var(--bg);color:var(--ink);font:16px/1.65 ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif}a{color:var(--purple);text-underline-offset:4px}button,input,select{font:inherit}button,select,input{max-width:100%}button{cursor:pointer;border:1px solid #a78bd7;border-radius:9px;background:#bea0ed;color:#1e1230;padding:12px 19px;font-weight:650}button:hover{background:#d4baff}button.secondary{color:var(--ink);background:#241a34;border-color:#69547f}button:disabled{opacity:.5;cursor:default}button:focus-visible,a:focus-visible,select:focus-visible,input:focus-visible,summary:focus-visible{outline:3px solid var(--mint);outline-offset:5px}select{background:#21172d;color:var(--ink);border:1px solid #69547f;border-radius:7px;padding:9px;width:100%}main{max-width:1220px;margin:auto;padding:0 28px 72px}.top{border-bottom:1px solid var(--line);display:flex;align-items:center;justify-content:space-between;padding:22px 0;gap:20px}.brand{font-weight:700;letter-spacing:.12em;font-size:12px}.top nav{display:flex;flex-wrap:wrap;gap:22px;font-size:13px}.top nav a{text-decoration:none;color:var(--muted)}.hero{padding:67px 0 45px;display:grid;grid-template-columns:1.5fr 1fr;gap:56px;align-items:center}.eyebrow{color:var(--purple);font-size:11px;letter-spacing:.19em;text-transform:uppercase;font-weight:750}.hero h1{font:400 clamp(35px,4.8vw,62px)/1.08 Georgia,"Times New Roman",serif;letter-spacing:-.035em;margin:19px 0 24px}.hero h1 em{font-style:normal;color:#caacff}.hero p{max-width:640px;color:var(--muted);font-size:18px;line-height:1.75}.stamp{display:inline-flex;gap:8px;align-items:center;color:var(--mint);font-size:12px;border:1px solid #47675d;border-radius:30px;padding:6px 12px;margin-top:12px}.stamp::before{content:"";width:6px;height:6px;background:var(--mint);border-radius:100%}.mechanism{background:linear-gradient(145deg,#221732,#120e1d);border:1px solid #58416d;padding:28px;border-radius:16px;box-shadow:0 20px 80px #0003}.mechanism h2{font-size:16px;margin:0 0 8px}.mechanism p{font-size:13px;line-height:1.6}.equation{font:27px/1.5 Georgia,serif;color:#e9d9ff;text-align:center;padding:22px 0}.stage-line{display:grid;grid-template-columns:1fr 1fr 1fr;gap:8px;text-align:center}.stage-line div{padding:12px 4px;border-top:1px solid var(--line);color:var(--muted);font-size:11px}.stage-line strong{display:block;color:var(--ink);font-size:13px}.section-top{display:flex;justify-content:space-between;align-items:end;margin:29px 0 18px;gap:20px}.section-top h2{font:30px/1.2 Georgia,serif;margin:7px 0}.section-top p{color:var(--muted);font-size:13px;max-width:420px;margin:0}.workspace{display:grid;grid-template-columns:300px 1fr;gap:20px}.panel{background:linear-gradient(160deg,#191321,#14101d);border:1px solid var(--line);border-radius:12px;padding:25px;min-width:0}.controls label{display:block;font-size:12px;font-weight:650;color:var(--muted);margin:19px 0 7px}.controls label:first-of-type{margin-top:0}.note{font-size:12px;color:var(--muted);line-height:1.65}.controls .actions{display:grid;gap:9px;margin-top:23px}.controls .actions button{width:100%;font-size:13px}.status{font-size:13px;padding:13px 0;min-height:54px;color:var(--mint);overflow-wrap:anywhere}.status.error{color:var(--danger)}.state-tag{display:inline-block;color:var(--gold);font-size:10px;letter-spacing:.1em;text-transform:uppercase;border:1px solid #675333;padding:4px 8px;border-radius:5px}.metrics{display:grid;grid-template-columns:repeat(3,1fr);gap:14px;margin:24px 0}.metric{border-left:2px solid #8260ad;padding-left:13px}.metric b{display:block;font:34px/1.1 Georgia,serif}.metric span{font-size:11px;color:var(--muted)}.result h3{font:23px/1.2 Georgia,serif;margin:14px 0 8px}.empty{padding:25px 0 10px;color:var(--muted);font-size:14px;max-width:620px}.table-wrap{overflow:auto;max-width:100%}table{border-collapse:collapse;width:100%;font-size:12px}th{text-align:left;color:var(--muted);font-weight:500}td,th{padding:11px 10px 11px 0;border-bottom:1px solid var(--line);vertical-align:top}td{overflow-wrap:anywhere}code{font-size:12px;color:#dac5fa;overflow-wrap:anywhere}.weight-row{display:flex;gap:5px;flex-wrap:wrap}.weight{display:inline-flex;align-items:center;justify-content:center;width:29px;height:29px;border:1px solid #503963;border-radius:5px;font-size:11px;background:#38244d}.weight.zero{background:#15101e;color:#887597}.quality{background:#17281f;border:1px solid #325e48;border-radius:8px;padding:15px;margin-top:19px}.quality.warn{background:#2b2418;border-color:#6b5733}.quality h4{font-size:13px;margin:0 0 5px}.quality p{font-size:12px;margin:0;color:#d4dacc}.inline-actions{display:flex;flex-wrap:wrap;gap:10px;margin-top:20px}.inline-actions button{font-size:12px;padding:9px 13px}.details{margin-top:15px;border-top:1px solid var(--line);padding-top:14px}.details summary{font-size:13px;cursor:pointer}.details pre{white-space:pre-wrap;overflow-wrap:anywhere;font-size:11px;max-height:360px;overflow:auto;color:var(--muted)}.grid3{display:grid;grid-template-columns:repeat(3,1fr);gap:20px}.step-no{display:block;font:32px/1.1 Georgia,serif;color:#b69acb;margin-bottom:20px}.grid3 h3{font-size:16px;margin:0 0 8px}.grid3 p{font-size:13px;color:var(--muted);margin:0}.principle{margin:38px 0 28px;padding:26px 0;border-top:1px solid var(--line);border-bottom:1px solid var(--line);display:grid;grid-template-columns:1fr 1fr;gap:36px}.principle blockquote{font:27px/1.4 Georgia,serif;margin:0}.principle p{margin:0;font-size:13px;color:var(--muted)}footer{border-top:1px solid var(--line);margin-top:48px;padding-top:24px;display:flex;justify-content:space-between;gap:25px;color:var(--muted);font-size:11px}footer a{color:var(--muted)}.sr-only{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}.skip{position:absolute;top:-60px;left:20px;background:var(--ink);color:var(--bg);padding:10px;z-index:5}.skip:focus{top:10px}.loading{font-size:12px;color:var(--gold)}[hidden]{display:none!important}
@media(max-width:900px){.hero{grid-template-columns:1fr;gap:22px;padding:42px 0 25px}.mechanism{max-width:650px}.workspace{grid-template-columns:1fr}.controls{display:grid;grid-template-columns:1fr 1fr;gap:15px}.controls .fields{min-width:0}.controls .actions{margin-top:0}.controls .status{grid-column:1/-1;padding:0}.grid3{gap:12px}.panel{padding:21px}}
@media(max-width:600px){main{padding:0 18px 45px}.top{align-items:flex-start}.top nav{gap:12px;font-size:11px}.brand{font-size:10px}.hero h1{font-size:39px}.hero p{font-size:15px}.controls{display:block}.controls .actions{margin-top:18px}.grid3,.principle{grid-template-columns:1fr}.section-top{display:block}.section-top p{margin-top:12px}.metrics{gap:9px}.metric b{font-size:29px}.metric span{font-size:10px}footer{display:block}footer p{margin-bottom:14px}.mechanism{padding:23px}.result h3{font-size:22px}}
@media(prefers-reduced-motion:reduce){*{scroll-behavior:auto!important}}
</style></head>
<body><a class="skip" href="#operate">Skip to the instrument builder</a>
<main>
<header class="top"><div class="brand">MONTREAL.AI <span style="color:#8e73b4">/</span> SUCCESSOR Ω</div><nav aria-label="Page"><a href="#operate">Operate</a><a href="#evidence">Evidence</a><a href="#research">Research</a></nav></header>
<section class="hero">
<div><div class="eyebrow">Autonomous Enterprises · Activate. Evolve. Scale.</div><h1>Build the observation.<br><em>Unlock the next decision.</em></h1><p>The Discoverability Compiler constructs a measurement program that can answer a bounded question—and explains when the permitted observations cannot.</p><span class="stamp">Experimental · executes locally in your browser</span></div>
<aside class="mechanism" aria-label="How the capability works"><div class="eyebrow">A reusable means of discovery</div><h2 style="margin-top:16px">Make the missing distinction measurable.</h2><div class="equation">primitive readings → wᵀy → decision</div><div class="stage-line"><div><strong>Construct</strong>cancel declared nuisance</div><div><strong>Check</strong>separate required decisions</div><div><strong>Inherit</strong>recheck changed scope</div></div><p>Finite models. Real computation. Synthetic acquisitions. Every accepted distinction depends on the declared model and measurement protocol.</p></aside>
</section>
<section id="operate" aria-labelledby="operate-title">
<div class="section-top"><div><div class="eyebrow">01 / Construct and use</div><h2 id="operate-title">Your first instrument.</h2></div><p>Choose a mission, construct its experiment, then acquire new synthetic readings and inspect the decision.</p></div>
<div class="workspace">
<div class="panel controls">
<div class="fields"><label for="mission">Mission family</label><select id="mission"><option value="digital">Digital fault diagnosis</option><option value="mixture">Mixture assay</option><option value="successor">Held-out successor</option></select>
<label for="condition">Measurement conditions</label><select id="condition"><option value="normal">Declared noise bounds</option><option value="noisy">Larger measurement uncertainty</option><option value="budget">Insufficient acquisition budget</option></select>
<p class="note" id="mission-description">Construct a probe program that distinguishes six digital-module conditions despite shared offset and drift.</p></div>
<div class="actions"><button id="construct" disabled>Construct instrument</button><button id="acquire" class="secondary" disabled>Acquire readings + decide</button><button id="stop" class="secondary" disabled>Stop current work</button><p class="note">No wallet, credentials, model API or server execution. Cost units describe simulated acquisition work.</p></div>
<div id="status" class="status" role="status" aria-live="polite">Loading the source-bound workbench…</div>
</div>
<div class="panel result" aria-labelledby="result-title">
<span class="state-tag" id="mode">Ready for a new execution</span><h3 id="result-title">A capability you can inspect.</h3>
<div id="empty" class="empty">The compiler will synthesize legal contrasts, test every pair of incompatible decisions and select a minimum-cost program within the permitted grammar. Ambiguity and exhausted work stay visible.</div>
<div class="metrics"><div class="metric"><b id="metric-experiments">—</b><span>constructed experiments</span></div><div class="metric"><b id="metric-cost">—</b><span>acquisition units / decision</span></div><div class="metric"><b id="metric-quality">—</b><span>world decisions checked</span></div></div>
<div class="table-wrap"><table id="program-table" hidden><caption class="sr-only">Synthesized measurement program</caption><thead><tr><th>Experiment</th><th>Channel weights</th><th>Noise bound</th><th>Cost</th></tr></thead><tbody id="program-body"></tbody></table></div>
<div id="quality" class="quality warn"><h4>Review and settlement</h4><p>Constructed programs remain REVIEW_REQUIRED. Independent operator admission, Fleet execution and settlement are not connected to this browser experiment.</p></div>
<div class="inline-actions"><button id="invalidate" class="secondary" disabled>Test stale inheritance</button><button id="next" class="secondary" disabled>Construct the successor</button><button id="export" class="secondary" disabled>Export evidence pack</button><button id="restore" class="secondary">Restore an evidence pack</button><input id="restore-file" type="file" accept=".json,application/json" class="sr-only" tabindex="-1" aria-label="Choose a workbench evidence pack"></div>
<details class="details"><summary>Decisions, measurements and limits</summary><pre id="details">No execution yet.</pre></details>
</div></div></section>
<section id="evidence" aria-labelledby="evidence-title">
<div class="section-top"><div><div class="eyebrow">02 / Make the result falsifiable</div><h2 id="evidence-title">What changed—and what did not.</h2></div></div>
<div class="grid3"><article class="panel"><span class="step-no">01</span><h3>Construct the distinction</h3><p>The input provides primitive channel equations and an uncertainty class. The compiler builds weighted measurement programs; it receives no catalogue of finished instruments.</p></article><article class="panel"><span class="step-no">02</span><h3>Check the original question</h3><p>A fit is insufficient. Every admitted world consistent with the complete observation must require the same decision. Touching uncertainty intervals remain ambiguous.</p></article><article class="panel"><span class="step-no">03</span><h3>Earn inheritance again</h3><p>A changed decision or nuisance model invalidates the earlier certificate. Reusable construction code survives; scope-specific programs must be qualified again.</p></article></div>
<div class="principle"><blockquote>A productive asset earns its place<br><span style="color:#c7a8ed">in the next mission.</span></blockquote><p>The independent references retain conventional wins and ties. Development acquisition costs match optimal conventional designs. A separate adaptive control is cheaper than the static compiler. This is a bounded software result, with commercial realization and broader operational autonomy still unproved.</p></div>
</section>
<section id="growth" aria-labelledby="growth-title"><div class="section-top"><div><div class="eyebrow">03 / Earn the next capability</div><h2 id="growth-title">A larger possibility. A new burden of proof.</h2></div></div><div class="grid3"><article class="panel"><span class="step-no">Now</span><h3>Demonstrated software</h3><p>Three synthetic mission families. A frozen compiler. Independent decision checks. A successor that inherits valid structure and refuses changed scope. Conventional ties and losses remain visible.</p></article><article class="panel"><span class="step-no">Next</span><h3>A physical diagnostic fixture</h3><p>Construct a low-voltage switched network, reference loads and a calibrated acquisition interface. Blind the faults. Charge materials, bench time and labor. Test its decisions against an independent instrument.</p></article><article class="panel"><span class="step-no">Later</span><h3>Productive physical capacity</h3><p>Qualified instruments can support manufacturing, commissioned infrastructure and useful energy services. Each stage needs its own materials, power, engineering, validation, financing and independently accepted demand.</p></article></div><div class="quality warn" style="margin-top:20px"><h4>The economic challenge remains open</h4><p>At most US$100 total attributable cost → more than US$10,000 genuinely realizable incremental value. Status: <strong>UNPROVEN</strong>. There is no independent executable offer or cash receipt; full inference, compute, setup and labor costs remain unknown. Acquisition units are not dollars. <a href="commercial-preregistration.json">Inspect the commercial test protocol</a>.</p></div></section>
<section id="research" aria-labelledby="research-title"><div class="section-top"><div><div class="eyebrow">04 / Inspect and reproduce</div><h2 id="research-title">One experiment. A complete record.</h2></div></div><div class="panel"><p>Built additively on the existing SUCCESSOR Ω workbench. The experiment records its model, construction, source identity, typed work drafts and integrity commitments. Imported evidence remains inert.</p><div class="inline-actions"><a href="paper.pdf" id="paper-link">Read the research paper</a><a href="evidence/manifest.json" id="manifest-link">Inspect the evidence manifest</a><a href="https://github.com/MontrealAI/AGI-Alpha-Agent-v0/pull/4872">Review the source PR</a><a href="https://github.com/MontrealAI/AGI-Alpha-Agent-v0/issues/4850">Project coordination</a></div><p class="note" id="source-identity"></p></div></section>
<footer><p>Vincent Boucher · MONTREAL.AI · QUEBEC.AI<br>Montréal, Québec, Canada<br>Powered by TRANSFORMATIONAL INTELLIGENCE ∞</p><p>♾️ TRANSFORMATIONAL META-AGENTIC α-AGI 👁️✨<br>Experimental finite-domain software · Apache-2.0<br><a href="https://github.com/MontrealAI/AGI-Alpha-Agent-v0/blob/main/docs/DISCLAIMER_SNIPPET.md">Project scope and disclaimer</a></p></footer>
</main>
<!--BUNDLE-->
</body></html>
