@spec-engine/spec-engine 0.4.0 → 0.5.0

package/dist/docs/agent-reference/index.html

@@ -77,7 +77,7 @@
 <li>Code binds with <code dir="auto">// @spec KEY-NNN</code>. A test tag may add <code dir="auto">unit</code> | <code dir="auto">integration</code> | <code dir="auto">e2e</code>.</li>
 <li>Tag kind is path-derived: implementation code implements, a test path verifies.</li>
 <li>The index at <code dir="auto">&#x3C;platformDir>/.spec-engine/index.sqlite</code> is derived and disposable.</li>
-<li>Coverage, drift, and propagation are SQL projections over tags. Drift compares a member’s pin (<code dir="auto">spec-engine@N</code>) against each referenced requirement’s <code dir="auto">changed_at_version</code>; the platform version is the max domain version.</li>
+<li>Coverage, drift, and propagation are SQL projections over tags. Drift compares a member’s pin (<code dir="auto">spec-engine@N</code>) against each referenced requirement’s <code dir="auto">changed_at_version</code>; the platform version is the max domain version. Propagation rows come in dependency order, providers before consumers, from platform-map’s <code dir="auto">dependsOn</code>.</li>
 </ul>
 <p>The repo’s <code dir="auto">AGENTS.md</code> is the canonical copy of this page, with every command’s flags and <code dir="auto">--json</code> shape.</p>
 <div class="sl-heading-wrapper level-h2"><h2 id="invocation">Invocation</h2><a class="sl-anchor-link" href="#invocation"><span aria-hidden="true" class="sl-anchor-icon"><svg width="16" height="16" viewBox="0 0 24 24"><path fill="currentcolor" d="m12.11 15.39-3.88 3.88a2.52 2.52 0 0 1-3.5 0 2.47 2.47 0 0 1 0-3.5l3.88-3.88a1 1 0 0 0-1.42-1.42l-3.88 3.89a4.48 4.48 0 0 0 6.33 6.33l3.89-3.88a1 1 0 1 0-1.42-1.42Zm8.58-12.08a4.49 4.49 0 0 0-6.33 0l-3.89 3.88a1 1 0 0 0 1.42 1.42l3.88-3.88a2.52 2.52 0 0 1 3.5 0 2.47 2.47 0 0 1 0 3.5l-3.88 3.88a1 1 0 1 0 1.42 1.42l3.88-3.89a4.49 4.49 0 0 0 0-6.33ZM8.83 15.17a1 1 0 0 0 1.1.22 1 1 0 0 0 .32-.22l4.92-4.92a1 1 0 0 0-1.42-1.42l-4.92 4.92a1 1 0 0 0 0 1.42Z"></path></svg></span><span class="sr-only" data-pagefind-ignore="">Section titled “Invocation”</span></a></div>

package/dist/docs/commands/index.html

@@ -182,7 +182,7 @@
 <p>Requirements tagged in the given files. Accepts multiple positionals, comma-split within a positional, and absolute paths under the platform tree. <code dir="auto">--req KEY-NNN</code> inverts the lookup: every tag site for that requirement across all repos.</p>
 <p><strong>Exit codes:</strong> 0 / 2</p>
 <div class="sl-heading-wrapper level-h3"><h3 id="spec-propagation-reqid-platformdir"><code dir="auto">spec propagation &#x3C;reqId> [platformDir]</code></h3><a class="sl-anchor-link" href="#spec-propagation-reqid-platformdir"><span aria-hidden="true" class="sl-anchor-icon"><svg width="16" height="16" viewBox="0 0 24 24"><path fill="currentcolor" d="m12.11 15.39-3.88 3.88a2.52 2.52 0 0 1-3.5 0 2.47 2.47 0 0 1 0-3.5l3.88-3.88a1 1 0 0 0-1.42-1.42l-3.88 3.89a4.48 4.48 0 0 0 6.33 6.33l3.89-3.88a1 1 0 1 0-1.42-1.42Zm8.58-12.08a4.49 4.49 0 0 0-6.33 0l-3.89 3.88a1 1 0 0 0 1.42 1.42l3.88-3.88a2.52 2.52 0 0 1 3.5 0 2.47 2.47 0 0 1 0 3.5l-3.88 3.88a1 1 0 1 0 1.42 1.42l3.88-3.89a4.49 4.49 0 0 0 0-6.33ZM8.83 15.17a1 1 0 0 0 1.1.22 1 1 0 0 0 .32-.22l4.92-4.92a1 1 0 0 0-1.42-1.42l-4.92 4.92a1 1 0 0 0 0 1.42Z"></path></svg></span><span class="sr-only" data-pagefind-ignore="">Section titled “spec propagation &#x3C;reqId> [platformDir]”</span></a></div>
-<p>Classify each member repo’s relationship to a superseded requirement: <code dir="auto">MIGRATED_VERIFIED</code>, <code dir="auto">MIGRATED_UNVERIFIED</code>, <code dir="auto">ON_PREDECESSOR</code>, <code dir="auto">ON_OTHER_DOMAIN_REQ</code>, <code dir="auto">NO_DOMAIN_REFERENCE</code> — plus a <code dir="auto">drifted</code> flag per member.</p>
+<p>Classify each member repo’s relationship to a superseded requirement: <code dir="auto">MIGRATED_VERIFIED</code>, <code dir="auto">MIGRATED_UNVERIFIED</code>, <code dir="auto">ON_PREDECESSOR</code>, <code dir="auto">ON_OTHER_DOMAIN_REQ</code>, <code dir="auto">NO_DOMAIN_REFERENCE</code> — plus a <code dir="auto">drifted</code> flag per member. Rows are in dependency order, providers before consumers, read from platform-map’s <code dir="auto">dependsOn</code>; ties by name. See <a href="/platform-mapping/">Platform Mapping</a>.</p>
 <p><strong>Exit codes:</strong> 0 / 2</p>
 <div class="sl-heading-wrapper level-h3"><h3 id="spec-gate-repo-reqid-platformdir"><code dir="auto">spec gate &#x3C;repo> &#x3C;reqId> [platformDir]</code></h3><a class="sl-anchor-link" href="#spec-gate-repo-reqid-platformdir"><span aria-hidden="true" class="sl-anchor-icon"><svg width="16" height="16" viewBox="0 0 24 24"><path fill="currentcolor" d="m12.11 15.39-3.88 3.88a2.52 2.52 0 0 1-3.5 0 2.47 2.47 0 0 1 0-3.5l3.88-3.88a1 1 0 0 0-1.42-1.42l-3.88 3.89a4.48 4.48 0 0 0 6.33 6.33l3.89-3.88a1 1 0 1 0-1.42-1.42Zm8.58-12.08a4.49 4.49 0 0 0-6.33 0l-3.89 3.88a1 1 0 0 0 1.42 1.42l3.88-3.88a2.52 2.52 0 0 1 3.5 0 2.47 2.47 0 0 1 0 3.5l-3.88 3.88a1 1 0 1 0 1.42 1.42l3.88-3.89a4.49 4.49 0 0 0 0-6.33ZM8.83 15.17a1 1 0 0 0 1.1.22 1 1 0 0 0 .32-.22l4.92-4.92a1 1 0 0 0-1.42-1.42l-4.92 4.92a1 1 0 0 0 0 1.42Z"></path></svg></span><span class="sr-only" data-pagefind-ignore="">Section titled “spec gate &#x3C;repo> &#x3C;reqId> [platformDir]”</span></a></div>
 <p>Approval primitive. Passes iff <code dir="auto">&#x3C;reqId></code> is Active AND <code dir="auto">&#x3C;repo></code>’s pin covers the requirement’s <code dir="auto">changed_at_version</code>. <strong>Decision order:</strong> <code dir="auto">NOT_FOUND</code> → <code dir="auto">DRAFT</code> → <code dir="auto">SUPERSEDED</code> → <code dir="auto">VERSION_PIN</code> → <code dir="auto">PASS</code>; pin equality passes. An unknown repo is a usage error (exit 2), not a gate failure.</p>

package/dist/docs/pagefind/pagefind-entry.json

@@ -1 +1 @@
-{"version":"1.5.2","languages":{"en":{"hash":"en_b7799d257e","wasm":"en","page_count":12}},"include_characters":["_","‿","⁀","⁔","︳","︴","﹍","﹎","﹏","＿"]}
+{"version":"1.5.2","languages":{"en":{"hash":"en_20f81448c5","wasm":"en","page_count":12}},"include_characters":["_","‿","⁀","⁔","︳","︴","﹍","﹎","﹏","＿"]}

package/dist/docs/platform-mapping/index.html

@@ -70,7 +70,7 @@
 		})();
 	</script> </sl-sidebar-state-persist> <div class="md:sl-hidden"> <div class="mobile-preferences sl-flex astro-2lx56rho"> <div class="social-icons astro-2lx56rho"> <a href="https://github.com/spec-engine/spec-engine" rel="me" class="sl-flex astro-opyhioab"><span class="sr-only astro-opyhioab">GitHub</span><svg aria-hidden="true" class="astro-opyhioab astro-lm5mbbcm" width="16" height="16" viewBox="0 0 24 24" fill="currentColor" style="--sl-icon-size: 1em;"><path d="M12 .3a12 12 0 0 0-3.8 23.38c.6.12.83-.26.83-.57L9 21.07c-3.34.72-4.04-1.61-4.04-1.61-.55-1.39-1.34-1.76-1.34-1.76-1.08-.74.09-.73.09-.73 1.2.09 1.83 1.24 1.83 1.24 1.08 1.83 2.81 1.3 3.5 1 .1-.78.42-1.31.76-1.61-2.67-.3-5.47-1.33-5.47-5.93 0-1.31.47-2.38 1.24-3.22-.14-.3-.54-1.52.1-3.18 0 0 1-.32 3.3 1.23a11.5 11.5 0 0 1 6 0c2.28-1.55 3.29-1.23 3.29-1.23.64 1.66.24 2.88.12 3.18a4.65 4.65 0 0 1 1.23 3.22c0 4.61-2.8 5.63-5.48 5.92.42.36.81 1.1.81 2.22l-.01 3.29c0 .31.2.69.82.57A12 12 0 0 0 12 .3Z"/></svg></a> </div> <starlight-theme-select>  <label style="--sl-select-width: 6.25em" class="astro-oxpvutiw"> <span class="sr-only astro-oxpvutiw">Select theme</span> <svg aria-hidden="true" class="icon label-icon astro-oxpvutiw astro-lm5mbbcm" width="16" height="16" viewBox="0 0 24 24" fill="currentColor" style="--sl-icon-size: 1em;"><path d="M21 14h-1V7a3 3 0 0 0-3-3H7a3 3 0 0 0-3 3v7H3a1 1 0 0 0-1 1v2a3 3 0 0 0 3 3h14a3 3 0 0 0 3-3v-2a1 1 0 0 0-1-1ZM6 7a1 1 0 0 1 1-1h10a1 1 0 0 1 1 1v7H6V7Zm14 10a1 1 0 0 1-1 1H5a1 1 0 0 1-1-1v-1h16v1Z"/></svg> <select autocomplete="off" class="astro-oxpvutiw"> <option value="dark" class="astro-oxpvutiw">Dark</option><option value="light" class="astro-oxpvutiw">Light</option><option value="auto" selected class="astro-oxpvutiw">Auto</option> </select> <svg aria-hidden="true" class="icon caret astro-oxpvutiw astro-lm5mbbcm" width="16" height="16" viewBox="0 0 24 24" fill="currentColor" style="--sl-icon-size: 1em;"><path d="M17 9.17a1 1 0 0 0-1.41 0L12 12.71 8.46 9.17a1 1 0 1 0-1.41 1.42l4.24 4.24a1.002 1.002 0 0 0 1.42 0L17 10.59a1.002 1.002 0 0 0 0-1.42Z"/></svg> </label> </starlight-theme-select>  <script>
 	StarlightThemeProvider.updatePickers();
-</script>   </div> </div> </div> </div> </nav> <div class="main-frame astro-to3xypmc">  <script type="module">const a=document.getElementById("starlight__sidebar"),n=a?.querySelector("sl-sidebar-state-persist"),o="sl-sidebar-state",i=()=>{let t=[];const e=n?.dataset.hash||"";try{const s=sessionStorage.getItem(o),r=JSON.parse(s||"{}");Array.isArray(r.open)&&r.hash===e&&(t=r.open)}catch{}return{hash:e,open:t,scroll:a?.scrollTop||0}},c=t=>{try{sessionStorage.setItem(o,JSON.stringify(t))}catch{}},d=()=>c(i()),l=(t,e)=>{const s=i();s.open[e]=t,c(s)};n?.addEventListener("click",t=>{if(!(t.target instanceof Element))return;const e=t.target.closest("summary")?.closest("details");if(!e)return;const s=e.querySelector("sl-sidebar-restore"),r=parseInt(s?.dataset.index||"");isNaN(r)||l(!e.open,r)});addEventListener("visibilitychange",()=>{document.visibilityState==="hidden"&&d()});addEventListener("pageHide",d);</script> <div class="lg:sl-flex astro-blhl7r6q"> <aside class="right-sidebar-container print:hidden astro-blhl7r6q"> <div class="right-sidebar astro-blhl7r6q"> <div class="lg:sl-hidden astro-l5m3cfel"><mobile-starlight-toc data-min-h="2" data-max-h="3" class="astro-goxitxj7"><nav aria-labelledby="starlight__on-this-page--mobile" class="astro-goxitxj7"><details id="starlight__mobile-toc" class="astro-goxitxj7"><summary id="starlight__on-this-page--mobile" class="sl-flex astro-goxitxj7"><span class="toggle sl-flex astro-goxitxj7">On this page<svg aria-hidden="true" class="caret astro-goxitxj7 astro-lm5mbbcm" width="16" height="16" viewBox="0 0 24 24" fill="currentColor" style="--sl-icon-size: 1rem;"><path d="m14.83 11.29-4.24-4.24a1 1 0 1 0-1.42 1.41L12.71 12l-3.54 3.54a1 1 0 0 0 0 1.41 1 1 0 0 0 .71.29 1 1 0 0 0 .71-.29l4.24-4.24a1.002 1.002 0 0 0 0-1.42Z"/></svg></span><span class="display-current astro-goxitxj7"></span></summary><div class="dropdown astro-goxitxj7"><ul class="isMobile astro-xz67lhkg" style="--depth: 0;"> <li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#_top" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">Overview</span> </a>  </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#two-files-one-convention" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">Two files, one convention</span> </a>  </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#the-platform-root" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">The platform root</span> </a>  </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#members" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">Members</span> </a> <ul class="isMobile astro-xz67lhkg" style="--depth: 1;"> <li class="astro-xz67lhkg" style="--depth: 1;"> <a href="#two-ignore-lists" class="astro-xz67lhkg" style="--depth: 1;"> <span class="astro-xz67lhkg" style="--depth: 1;">Two ignore lists</span> </a>  </li> </ul> </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#monorepo-members-and-their-packages" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">Monorepo members and their packages</span> </a>  </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#a-lone-repository" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">A lone repository</span> </a>  </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#names" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">Names</span> </a>  </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#diagnostics" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">Diagnostics</span> </a>  </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#where-spec-init-may-write" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">Where spec init may write</span> </a>  </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#the-webapps-scan-mode-tile" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">The webapp’s scan-mode tile</span> </a>  </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#determinism" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">Determinism</span> </a>  </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#declaring-a-platform" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">Declaring a platform</span> </a>  </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#a-future-input-dependson" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">A future input: dependsOn</span> </a>  </li> </ul></div></details></nav></mobile-starlight-toc><script type="module" src="/_astro/MobileTableOfContents.astro_astro_type_script_index_0_lang.hwBsy0Mo.js"></script></div><div class="right-sidebar-panel sl-hidden lg:sl-block astro-l5m3cfel"><div class="sl-container astro-l5m3cfel"><starlight-toc data-min-h="2" data-max-h="3"><nav aria-labelledby="starlight__on-this-page"><h2 id="starlight__on-this-page">On this page</h2><ul class="astro-xz67lhkg" style="--depth: 0;"> <li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#_top" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">Overview</span> </a>  </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#two-files-one-convention" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">Two files, one convention</span> </a>  </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#the-platform-root" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">The platform root</span> </a>  </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#members" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">Members</span> </a> <ul class="astro-xz67lhkg" style="--depth: 1;"> <li class="astro-xz67lhkg" style="--depth: 1;"> <a href="#two-ignore-lists" class="astro-xz67lhkg" style="--depth: 1;"> <span class="astro-xz67lhkg" style="--depth: 1;">Two ignore lists</span> </a>  </li> </ul> </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#monorepo-members-and-their-packages" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">Monorepo members and their packages</span> </a>  </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#a-lone-repository" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">A lone repository</span> </a>  </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#names" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">Names</span> </a>  </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#diagnostics" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">Diagnostics</span> </a>  </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#where-spec-init-may-write" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">Where spec init may write</span> </a>  </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#the-webapps-scan-mode-tile" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">The webapp’s scan-mode tile</span> </a>  </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#determinism" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">Determinism</span> </a>  </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#declaring-a-platform" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">Declaring a platform</span> </a>  </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#a-future-input-dependson" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">A future input: dependsOn</span> </a>  </li> </ul></nav></starlight-toc><script type="module" src="/_astro/TableOfContents.astro_astro_type_script_index_0_lang.FuRcXuRY.js"></script></div></div> </div> </aside> <div class="main-pane astro-blhl7r6q">  <main data-pagefind-body class="astro-ioexmpvj" lang="en" dir="ltr">    <div class="content-panel astro-sfndtt72"> <div class="sl-container astro-sfndtt72"> <h1 id="_top" class="astro-4b4mtvou">Platform Mapping</h1> </div> </div> <div class="content-panel astro-sfndtt72"> <div class="sl-container astro-sfndtt72"> <div class="sl-markdown-content"> <p>Spec Engine does not have its own idea of what a platform is. It takes membership and shape from <a href="https://www.npmjs.com/package/@spec-engine/platform-map"><code dir="auto">@spec-engine/platform-map</code></a>, the same package every tool built on Spec Engine uses, and adds exactly one fact of its own per member: the version pin. <!-- @spec INIT-037 --> platform-map is a dependency of the engine and is called as a library: <code dir="auto">spec init</code> declares members through it, <code dir="auto">spec check</code> runs its checks underneath, and no <code dir="auto">spec</code> workflow asks you to run a platform-map command yourself. This page states the model in platform-map’s vocabulary and names the requirement each rule carries.</p>
+</script>   </div> </div> </div> </div> </nav> <div class="main-frame astro-to3xypmc">  <script type="module">const a=document.getElementById("starlight__sidebar"),n=a?.querySelector("sl-sidebar-state-persist"),o="sl-sidebar-state",i=()=>{let t=[];const e=n?.dataset.hash||"";try{const s=sessionStorage.getItem(o),r=JSON.parse(s||"{}");Array.isArray(r.open)&&r.hash===e&&(t=r.open)}catch{}return{hash:e,open:t,scroll:a?.scrollTop||0}},c=t=>{try{sessionStorage.setItem(o,JSON.stringify(t))}catch{}},d=()=>c(i()),l=(t,e)=>{const s=i();s.open[e]=t,c(s)};n?.addEventListener("click",t=>{if(!(t.target instanceof Element))return;const e=t.target.closest("summary")?.closest("details");if(!e)return;const s=e.querySelector("sl-sidebar-restore"),r=parseInt(s?.dataset.index||"");isNaN(r)||l(!e.open,r)});addEventListener("visibilitychange",()=>{document.visibilityState==="hidden"&&d()});addEventListener("pageHide",d);</script> <div class="lg:sl-flex astro-blhl7r6q"> <aside class="right-sidebar-container print:hidden astro-blhl7r6q"> <div class="right-sidebar astro-blhl7r6q"> <div class="lg:sl-hidden astro-l5m3cfel"><mobile-starlight-toc data-min-h="2" data-max-h="3" class="astro-goxitxj7"><nav aria-labelledby="starlight__on-this-page--mobile" class="astro-goxitxj7"><details id="starlight__mobile-toc" class="astro-goxitxj7"><summary id="starlight__on-this-page--mobile" class="sl-flex astro-goxitxj7"><span class="toggle sl-flex astro-goxitxj7">On this page<svg aria-hidden="true" class="caret astro-goxitxj7 astro-lm5mbbcm" width="16" height="16" viewBox="0 0 24 24" fill="currentColor" style="--sl-icon-size: 1rem;"><path d="m14.83 11.29-4.24-4.24a1 1 0 1 0-1.42 1.41L12.71 12l-3.54 3.54a1 1 0 0 0 0 1.41 1 1 0 0 0 .71.29 1 1 0 0 0 .71-.29l4.24-4.24a1.002 1.002 0 0 0 0-1.42Z"/></svg></span><span class="display-current astro-goxitxj7"></span></summary><div class="dropdown astro-goxitxj7"><ul class="isMobile astro-xz67lhkg" style="--depth: 0;"> <li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#_top" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">Overview</span> </a>  </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#two-files-one-convention" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">Two files, one convention</span> </a>  </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#the-platform-root" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">The platform root</span> </a>  </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#members" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">Members</span> </a> <ul class="isMobile astro-xz67lhkg" style="--depth: 1;"> <li class="astro-xz67lhkg" style="--depth: 1;"> <a href="#two-ignore-lists" class="astro-xz67lhkg" style="--depth: 1;"> <span class="astro-xz67lhkg" style="--depth: 1;">Two ignore lists</span> </a>  </li> </ul> </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#monorepo-members-and-their-packages" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">Monorepo members and their packages</span> </a>  </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#a-lone-repository" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">A lone repository</span> </a>  </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#names" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">Names</span> </a>  </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#diagnostics" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">Diagnostics</span> </a>  </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#where-spec-init-may-write" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">Where spec init may write</span> </a>  </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#the-webapps-scan-mode-tile" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">The webapp’s scan-mode tile</span> </a>  </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#determinism" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">Determinism</span> </a>  </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#declaring-a-platform" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">Declaring a platform</span> </a>  </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#propagation-order-dependson" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">Propagation order: dependsOn</span> </a>  </li> </ul></div></details></nav></mobile-starlight-toc><script type="module" src="/_astro/MobileTableOfContents.astro_astro_type_script_index_0_lang.hwBsy0Mo.js"></script></div><div class="right-sidebar-panel sl-hidden lg:sl-block astro-l5m3cfel"><div class="sl-container astro-l5m3cfel"><starlight-toc data-min-h="2" data-max-h="3"><nav aria-labelledby="starlight__on-this-page"><h2 id="starlight__on-this-page">On this page</h2><ul class="astro-xz67lhkg" style="--depth: 0;"> <li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#_top" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">Overview</span> </a>  </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#two-files-one-convention" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">Two files, one convention</span> </a>  </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#the-platform-root" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">The platform root</span> </a>  </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#members" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">Members</span> </a> <ul class="astro-xz67lhkg" style="--depth: 1;"> <li class="astro-xz67lhkg" style="--depth: 1;"> <a href="#two-ignore-lists" class="astro-xz67lhkg" style="--depth: 1;"> <span class="astro-xz67lhkg" style="--depth: 1;">Two ignore lists</span> </a>  </li> </ul> </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#monorepo-members-and-their-packages" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">Monorepo members and their packages</span> </a>  </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#a-lone-repository" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">A lone repository</span> </a>  </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#names" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">Names</span> </a>  </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#diagnostics" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">Diagnostics</span> </a>  </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#where-spec-init-may-write" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">Where spec init may write</span> </a>  </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#the-webapps-scan-mode-tile" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">The webapp’s scan-mode tile</span> </a>  </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#determinism" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">Determinism</span> </a>  </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#declaring-a-platform" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">Declaring a platform</span> </a>  </li><li class="astro-xz67lhkg" style="--depth: 0;"> <a href="#propagation-order-dependson" class="astro-xz67lhkg" style="--depth: 0;"> <span class="astro-xz67lhkg" style="--depth: 0;">Propagation order: dependsOn</span> </a>  </li> </ul></nav></starlight-toc><script type="module" src="/_astro/TableOfContents.astro_astro_type_script_index_0_lang.FuRcXuRY.js"></script></div></div> </div> </aside> <div class="main-pane astro-blhl7r6q">  <main data-pagefind-body class="astro-ioexmpvj" lang="en" dir="ltr">    <div class="content-panel astro-sfndtt72"> <div class="sl-container astro-sfndtt72"> <h1 id="_top" class="astro-4b4mtvou">Platform Mapping</h1> </div> </div> <div class="content-panel astro-sfndtt72"> <div class="sl-container astro-sfndtt72"> <div class="sl-markdown-content"> <p>Spec Engine does not have its own idea of what a platform is. It takes membership and shape from <a href="https://www.npmjs.com/package/@spec-engine/platform-map"><code dir="auto">@spec-engine/platform-map</code></a>, the same package every tool built on Spec Engine uses, and adds exactly one fact of its own per member: the version pin. <!-- @spec INIT-037 --> platform-map is a dependency of the engine and is called as a library: <code dir="auto">spec init</code> declares members through it, <code dir="auto">spec check</code> runs its checks underneath, and no <code dir="auto">spec</code> workflow asks you to run a platform-map command yourself. This page states the model in platform-map’s vocabulary and names the requirement each rule carries.</p>
 <div class="sl-heading-wrapper level-h2"><h2 id="two-files-one-convention">Two files, one convention</h2><a class="sl-anchor-link" href="#two-files-one-convention"><span aria-hidden="true" class="sl-anchor-icon"><svg width="16" height="16" viewBox="0 0 24 24"><path fill="currentcolor" d="m12.11 15.39-3.88 3.88a2.52 2.52 0 0 1-3.5 0 2.47 2.47 0 0 1 0-3.5l3.88-3.88a1 1 0 0 0-1.42-1.42l-3.88 3.89a4.48 4.48 0 0 0 6.33 6.33l3.89-3.88a1 1 0 1 0-1.42-1.42Zm8.58-12.08a4.49 4.49 0 0 0-6.33 0l-3.89 3.88a1 1 0 0 0 1.42 1.42l3.88-3.88a2.52 2.52 0 0 1 3.5 0 2.47 2.47 0 0 1 0 3.5l-3.88 3.88a1 1 0 1 0 1.42 1.42l3.88-3.89a4.49 4.49 0 0 0 0-6.33ZM8.83 15.17a1 1 0 0 0 1.1.22 1 1 0 0 0 .32-.22l4.92-4.92a1 1 0 0 0-1.42-1.42l-4.92 4.92a1 1 0 0 0 0 1.42Z"></path></svg></span><span class="sr-only" data-pagefind-ignore="">Section titled “Two files, one convention”</span></a></div>
 <p>platform-map works from two small committed files that share one name, <code dir="auto">platform-map.json</code>. Which one a file is depends on its keys.</p>
 <p><strong>The platform file</strong> lives at the platform root and declares the members:</p>
@@ -254,5 +254,8 @@
 <div class="sl-heading-wrapper level-h2"><h2 id="declaring-a-platform">Declaring a platform</h2><a class="sl-anchor-link" href="#declaring-a-platform"><span aria-hidden="true" class="sl-anchor-icon"><svg width="16" height="16" viewBox="0 0 24 24"><path fill="currentcolor" d="m12.11 15.39-3.88 3.88a2.52 2.52 0 0 1-3.5 0 2.47 2.47 0 0 1 0-3.5l3.88-3.88a1 1 0 0 0-1.42-1.42l-3.88 3.89a4.48 4.48 0 0 0 6.33 6.33l3.89-3.88a1 1 0 1 0-1.42-1.42Zm8.58-12.08a4.49 4.49 0 0 0-6.33 0l-3.89 3.88a1 1 0 0 0 1.42 1.42l3.88-3.88a2.52 2.52 0 0 1 3.5 0 2.47 2.47 0 0 1 0 3.5l-3.88 3.88a1 1 0 1 0 1.42 1.42l3.88-3.89a4.49 4.49 0 0 0 0-6.33ZM8.83 15.17a1 1 0 0 0 1.1.22 1 1 0 0 0 .32-.22l4.92-4.92a1 1 0 0 0-1.42-1.42l-4.92 4.92a1 1 0 0 0 0 1.42Z"></path></svg></span><span class="sr-only" data-pagefind-ignore="">Section titled “Declaring a platform”</span></a></div>
 <div class="expressive-code"><figure class="frame is-terminal not-content"><figcaption class="header"><span class="title"></span><span class="sr-only">Terminal window</span></figcaption><pre data-language="bash"><code><div class="ec-line"><div class="code"><span style="--0:#C5E478;--1:#3B61B0">cd</span><span style="--0:#D6DEEB;--1:#403F53"> </span><span style="--0:#ECC48D;--1:#3B61B0">~/clients/acme</span><span style="--0:#D6DEEB;--1:#403F53">                  </span><span style="--0:#919F9F;--1:#5F636F"># the folder holding the repos</span></div></div><div class="ec-line"><div class="code"><span style="--0:#82AAFF;--1:#3B61B0">spec</span><span style="--0:#D6DEEB;--1:#403F53"> </span><span style="--0:#ECC48D;--1:#3B61B0">domain</span><span style="--0:#D6DEEB;--1:#403F53"> </span><span style="--0:#ECC48D;--1:#3B61B0">new</span><span style="--0:#D6DEEB;--1:#403F53"> </span><span style="--0:#ECC48D;--1:#3B61B0">BILLING</span><span style="--0:#D6DEEB;--1:#403F53">            </span><span style="--0:#919F9F;--1:#5F636F"># the canonical tree makes it a Spec Engine platform</span></div></div><div class="ec-line"><div class="code"><span style="--0:#82AAFF;--1:#3B61B0">spec</span><span style="--0:#D6DEEB;--1:#403F53"> </span><span style="--0:#ECC48D;--1:#3B61B0">init</span><span style="--0:#D6DEEB;--1:#403F53"> </span><span style="--0:#ECC48D;--1:#3B61B0">api</span><span style="--0:#D6DEEB;--1:#403F53"> &#x26;&#x26; </span><span style="--0:#82AAFF;--1:#3B61B0">spec</span><span style="--0:#D6DEEB;--1:#403F53"> </span><span style="--0:#ECC48D;--1:#3B61B0">init</span><span style="--0:#D6DEEB;--1:#403F53"> </span><span style="--0:#ECC48D;--1:#3B61B0">webapp</span><span style="--0:#D6DEEB;--1:#403F53">  </span><span style="--0:#919F9F;--1:#5F636F"># each: platform file entry, marker, pin</span></div></div><div class="ec-line"><div class="code"><span style="--0:#82AAFF;--1:#3B61B0">spec</span><span style="--0:#D6DEEB;--1:#403F53"> </span><span style="--0:#ECC48D;--1:#3B61B0">index</span><span style="--0:#D6DEEB;--1:#403F53"> </span><span style="--0:#ECC48D;--1:#3B61B0">.</span><span style="--0:#D6DEEB;--1:#403F53"> &#x26;&#x26; </span><span style="--0:#82AAFF;--1:#3B61B0">spec</span><span style="--0:#D6DEEB;--1:#403F53"> </span><span style="--0:#ECC48D;--1:#3B61B0">check</span><span style="--0:#D6DEEB;--1:#403F53"> </span><span style="--0:#ECC48D;--1:#3B61B0">.</span><span style="--0:#D6DEEB;--1:#403F53"> </span><span style="--0:#82AAFF;--1:#3B61B0">--ci</span><span style="--0:#D6DEEB;--1:#403F53">  </span><span style="--0:#919F9F;--1:#5F636F"># membership and pins are now one gate</span></div></div></code></pre><div class="copy"><div aria-live="polite"></div><button title="Copy to clipboard" data-copied="Copied!" data-code="cd ~/clients/acme                  # the folder holding the reposspec domain new BILLING            # the canonical tree makes it a Spec Engine platformspec init api &#x26;&#x26; spec init webapp  # each: platform file entry, marker, pinspec index . &#x26;&#x26; spec check . --ci  # membership and pins are now one gate"><div></div></button></div></figure></div>
 <p><code dir="auto">spec check . --ci</code> runs platform-map’s own check underneath, so one gate fails when a requirement, a tag, a pin, or the platform declaration is broken.</p>
-<div class="sl-heading-wrapper level-h2"><h2 id="a-future-input-dependson">A future input: <code dir="auto">dependsOn</code></h2><a class="sl-anchor-link" href="#a-future-input-dependson"><span aria-hidden="true" class="sl-anchor-icon"><svg width="16" height="16" viewBox="0 0 24 24"><path fill="currentcolor" d="m12.11 15.39-3.88 3.88a2.52 2.52 0 0 1-3.5 0 2.47 2.47 0 0 1 0-3.5l3.88-3.88a1 1 0 0 0-1.42-1.42l-3.88 3.89a4.48 4.48 0 0 0 6.33 6.33l3.89-3.88a1 1 0 1 0-1.42-1.42Zm8.58-12.08a4.49 4.49 0 0 0-6.33 0l-3.89 3.88a1 1 0 0 0 1.42 1.42l3.88-3.88a2.52 2.52 0 0 1 3.5 0 2.47 2.47 0 0 1 0 3.5l-3.88 3.88a1 1 0 1 0 1.42 1.42l3.88-3.89a4.49 4.49 0 0 0 0-6.33ZM8.83 15.17a1 1 0 0 0 1.1.22 1 1 0 0 0 .32-.22l4.92-4.92a1 1 0 0 0-1.42-1.42l-4.92 4.92a1 1 0 0 0 0 1.42Z"></path></svg></span><span class="sr-only" data-pagefind-ignore="">Section titled “A future input: dependsOn”</span></a></div>
-<p>Every repo and package in the map carries <code dir="auto">dependsOn</code>, the platform’s own package names it depends on. Spec Engine does not read it yet. It is the natural ordering input for propagation across members and is recorded here so the migration leaves room for it.</p> </div> <footer class="sl-flex astro-5h22m7ac"> <div class="meta sl-flex astro-5h22m7ac"> <a href="https://github.com/spec-engine/spec-engine/edit/main/packages/site/src/content/docs/platform-mapping.md" class="sl-flex print:hidden astro-txs4wy42"><svg aria-hidden="true" class="astro-txs4wy42 astro-lm5mbbcm" width="16" height="16" viewBox="0 0 24 24" fill="currentColor" style="--sl-icon-size: 1.2em;"><path d="M22 7.24a1 1 0 0 0-.29-.71l-4.24-4.24a1 1 0 0 0-1.1-.22 1 1 0 0 0-.32.22l-2.83 2.83L2.29 16.05a1 1 0 0 0-.29.71V21a1 1 0 0 0 1 1h4.24a1 1 0 0 0 .76-.29l10.87-10.93L21.71 8c.1-.1.17-.2.22-.33a1 1 0 0 0 0-.24v-.14l.07-.05ZM6.83 20H4v-2.83l9.93-9.93 2.83 2.83L6.83 20ZM18.17 8.66l-2.83-2.83 1.42-1.41 2.82 2.82-1.41 1.42Z"/></svg>Edit page</a>  </div> <div class="pagination-links print:hidden astro-7kn6nbmm" dir="ltr"> <a href="/architecture/" rel="prev" class="astro-7kn6nbmm"> <svg aria-hidden="true" class="astro-7kn6nbmm astro-lm5mbbcm" width="16" height="16" viewBox="0 0 24 24" fill="currentColor" style="--sl-icon-size: 1.5rem;"><path d="M17 11H9.41l3.3-3.29a1.004 1.004 0 1 0-1.42-1.42l-5 5a1 1 0 0 0-.21.33 1 1 0 0 0 0 .76 1 1 0 0 0 .21.33l5 5a1.002 1.002 0 0 0 1.639-.325 1 1 0 0 0-.219-1.095L9.41 13H17a1 1 0 0 0 0-2Z"/></svg> <span class="astro-7kn6nbmm"> Previous <br class="astro-7kn6nbmm"> <span class="link-title astro-7kn6nbmm">Architecture</span> </span> </a> <a href="/commands/" rel="next" class="astro-7kn6nbmm"> <svg aria-hidden="true" class="astro-7kn6nbmm astro-lm5mbbcm" width="16" height="16" viewBox="0 0 24 24" fill="currentColor" style="--sl-icon-size: 1.5rem;"><path d="M17.92 11.62a1.001 1.001 0 0 0-.21-.33l-5-5a1.003 1.003 0 1 0-1.42 1.42l3.3 3.29H7a1 1 0 0 0 0 2h7.59l-3.3 3.29a1.002 1.002 0 0 0 .325 1.639 1 1 0 0 0 1.095-.219l5-5a1 1 0 0 0 .21-.33 1 1 0 0 0 0-.76Z"/></svg> <span class="astro-7kn6nbmm"> Next <br class="astro-7kn6nbmm"> <span class="link-title astro-7kn6nbmm">Commands</span> </span> </a> </div>  </footer> </div> </div>  </main> </div> </div> </div> </div> </body></html>
+<div class="sl-heading-wrapper level-h2"><h2 id="propagation-order-dependson">Propagation order: <code dir="auto">dependsOn</code></h2><a class="sl-anchor-link" href="#propagation-order-dependson"><span aria-hidden="true" class="sl-anchor-icon"><svg width="16" height="16" viewBox="0 0 24 24"><path fill="currentcolor" d="m12.11 15.39-3.88 3.88a2.52 2.52 0 0 1-3.5 0 2.47 2.47 0 0 1 0-3.5l3.88-3.88a1 1 0 0 0-1.42-1.42l-3.88 3.89a4.48 4.48 0 0 0 6.33 6.33l3.89-3.88a1 1 0 1 0-1.42-1.42Zm8.58-12.08a4.49 4.49 0 0 0-6.33 0l-3.89 3.88a1 1 0 0 0 1.42 1.42l3.88-3.88a2.52 2.52 0 0 1 3.5 0 2.47 2.47 0 0 1 0 3.5l-3.88 3.88a1 1 0 1 0 1.42 1.42l3.88-3.89a4.49 4.49 0 0 0 0-6.33ZM8.83 15.17a1 1 0 0 0 1.1.22 1 1 0 0 0 .32-.22l4.92-4.92a1 1 0 0 0-1.42-1.42l-4.92 4.92a1 1 0 0 0 0 1.42Z"></path></svg></span><span class="sr-only" data-pagefind-ignore="">Section titled “Propagation order: dependsOn”</span></a></div>
+<p>Every repo and package in the map carries <code dir="auto">dependsOn</code>, the platform’s own package names its manifest depends on, matched within one ecosystem. Spec Engine reads it as the order in which a superseded requirement propagates: a consumer can only move to the successor after the packages it depends on ship it. <code dir="auto">spec propagation</code>, <code dir="auto">/api/propagation/:id</code>, <code dir="auto">spec_propagation</code>, and the webapp’s propagation page list members in dependency order, a member after every member it depends on, and members at the same depth by name. <!-- @spec PROP-006 --></p>
+<p>The depth is a coverage-column fact, computed at discovery and stored in the derived index. A single-repo member’s node is its map repo; a monorepo member’s package column, and a lone monorepo’s package column, is its map <code dir="auto">Package</code>. A column depends on another column when the other’s <code dir="auto">packageName</code> appears in its <code dir="auto">dependsOn</code>; a name that is no column (a monorepo root’s own package, an absent member) is no edge. A column with no dependency is depth 0; every other column is one deeper than its deepest dependency. A dependency cycle, and every column downstream of it, sits at one depth after every column outside it, by name.</p>
+<div class="expressive-code"><figure class="frame not-content"><figcaption class="header"></figcaption><pre data-language="plaintext"><code><div class="ec-line"><div class="code"><span style="--0:#d6deeb;--1:#403f53">$ spec propagation BILLING-002 .</span></div></div><div class="ec-line"><div class="code"><span style="--0:#d6deeb;--1:#403f53">REPO    STATE                VIA          DRIFT?</span></div></div><div class="ec-line"><div class="code"><span style="--0:#d6deeb;--1:#403f53">shared  MIGRATED_VERIFIED    —            no</span></div></div><div class="ec-line"><div class="code"><span style="--0:#d6deeb;--1:#403f53">zed     NO_DOMAIN_REFERENCE  —            no</span></div></div><div class="ec-line"><div class="code"><span style="--0:#d6deeb;--1:#403f53">api     ON_PREDECESSOR       BILLING-001  no</span></div></div><div class="ec-line"><div class="code"><span style="--0:#d6deeb;--1:#403f53">web     MIGRATED_UNVERIFIED  —            no</span></div></div></code></pre><div class="copy"><div aria-live="polite"></div><button title="Copy to clipboard" data-copied="Copied!" data-code="$ spec propagation BILLING-002 .REPO    STATE                VIA          DRIFT?shared  MIGRATED_VERIFIED    —            nozed     NO_DOMAIN_REFERENCE  —            noapi     ON_PREDECESSOR       BILLING-001  noweb     MIGRATED_UNVERIFIED  —            no"><div></div></button></div></figure></div>
+<p>Here <code dir="auto">api</code> depends on <code dir="auto">shared</code> and <code dir="auto">web</code> on <code dir="auto">api</code>, so <code dir="auto">api</code> is the member to migrate next. A platform with no in-platform dependencies lists members by name, as before.</p> </div> <footer class="sl-flex astro-5h22m7ac"> <div class="meta sl-flex astro-5h22m7ac"> <a href="https://github.com/spec-engine/spec-engine/edit/main/packages/site/src/content/docs/platform-mapping.md" class="sl-flex print:hidden astro-txs4wy42"><svg aria-hidden="true" class="astro-txs4wy42 astro-lm5mbbcm" width="16" height="16" viewBox="0 0 24 24" fill="currentColor" style="--sl-icon-size: 1.2em;"><path d="M22 7.24a1 1 0 0 0-.29-.71l-4.24-4.24a1 1 0 0 0-1.1-.22 1 1 0 0 0-.32.22l-2.83 2.83L2.29 16.05a1 1 0 0 0-.29.71V21a1 1 0 0 0 1 1h4.24a1 1 0 0 0 .76-.29l10.87-10.93L21.71 8c.1-.1.17-.2.22-.33a1 1 0 0 0 0-.24v-.14l.07-.05ZM6.83 20H4v-2.83l9.93-9.93 2.83 2.83L6.83 20ZM18.17 8.66l-2.83-2.83 1.42-1.41 2.82 2.82-1.41 1.42Z"/></svg>Edit page</a>  </div> <div class="pagination-links print:hidden astro-7kn6nbmm" dir="ltr"> <a href="/architecture/" rel="prev" class="astro-7kn6nbmm"> <svg aria-hidden="true" class="astro-7kn6nbmm astro-lm5mbbcm" width="16" height="16" viewBox="0 0 24 24" fill="currentColor" style="--sl-icon-size: 1.5rem;"><path d="M17 11H9.41l3.3-3.29a1.004 1.004 0 1 0-1.42-1.42l-5 5a1 1 0 0 0-.21.33 1 1 0 0 0 0 .76 1 1 0 0 0 .21.33l5 5a1.002 1.002 0 0 0 1.639-.325 1 1 0 0 0-.219-1.095L9.41 13H17a1 1 0 0 0 0-2Z"/></svg> <span class="astro-7kn6nbmm"> Previous <br class="astro-7kn6nbmm"> <span class="link-title astro-7kn6nbmm">Architecture</span> </span> </a> <a href="/commands/" rel="next" class="astro-7kn6nbmm"> <svg aria-hidden="true" class="astro-7kn6nbmm astro-lm5mbbcm" width="16" height="16" viewBox="0 0 24 24" fill="currentColor" style="--sl-icon-size: 1.5rem;"><path d="M17.92 11.62a1.001 1.001 0 0 0-.21-.33l-5-5a1.003 1.003 0 1 0-1.42 1.42l3.3 3.29H7a1 1 0 0 0 0 2h7.59l-3.3 3.29a1.002 1.002 0 0 0 .325 1.639 1 1 0 0 0 1.095-.219l5-5a1 1 0 0 0 .21-.33 1 1 0 0 0 0-.76Z"/></svg> <span class="astro-7kn6nbmm"> Next <br class="astro-7kn6nbmm"> <span class="link-title astro-7kn6nbmm">Commands</span> </span> </a> </div>  </footer> </div> </div>  </main> </div> </div> </div> </div> </body></html>

package/dist/impl.js

@@ -20,7 +20,7 @@ var package_default;
 var init_package = __esm(() => {
   package_default = {
     name: "@spec-engine/spec-engine",
-    version: "0.4.0",
+    version: "0.5.0",
     description: "Cross-repo spec engine \u2014 durable requirements with permanent IDs, bound to code via @spec tags, checked in CI. Ships the spec CLI, the local coverage webapp (spec serve), and offline docs (spec docs).",
     license: "MIT",
     type: "module",
@@ -432,19 +432,20 @@ function buildCoverageReport(rows) {
 }
 
 // ../shared/src/schema.ts
-var SCHEMA_VERSION = 10, FILES_MAX = 1000, DEFAULT_QUERY_LIMIT = 10, LIMIT_MAX = 1000, TABLES_DDL = `
+var SCHEMA_VERSION = 11, FILES_MAX = 1000, DEFAULT_QUERY_LIMIT = 10, LIMIT_MAX = 1000, TABLES_DDL = `
 -- _schema_version: single-row table holding the integer schema_version on disk.
 -- Engine reads this on open; if it doesn't match SCHEMA_VERSION, the DB is wiped
--- and rebuilt from scratch (D-12).
+-- and rebuilt from scratch.
 CREATE TABLE IF NOT EXISTS _schema_version (
   version INTEGER NOT NULL
 );
 
--- Per D-03 / SCHM-07: NO CHECK / FK / UNIQUE on domain fields. PRIMARY KEY only.
+-- No CHECK, FK, or UNIQUE constraint on any domain field. PRIMARY KEY only.
 CREATE TABLE IF NOT EXISTS repos (
   name                  TEXT PRIMARY KEY,
   path                  TEXT NOT NULL,
-  pinned_spec_version   INTEGER NOT NULL
+  pinned_spec_version   INTEGER NOT NULL,
+  dependency_depth      INTEGER NOT NULL
 );
 
 CREATE TABLE IF NOT EXISTS domains (
@@ -483,12 +484,10 @@ CREATE INDEX IF NOT EXISTS idx_tags_by_req  ON tags(req_id);
 CREATE INDEX IF NOT EXISTS idx_tags_by_repo ON tags(repo);
 CREATE INDEX IF NOT EXISTS idx_tags_by_file ON tags(file);
 
--- relations (RED-16): one row per **Relates:** link in a SPEC.md entry.
--- from_id carries the field; to_id is the linked requirement. Per
--- Invariant #4 there is NO FK \u2014 a to_id pointing at a missing requirement
+-- relations: one row per relates link. from_id carries the field; to_id is
+-- the linked requirement. No FK: a to_id pointing at a missing requirement
 -- lands verbatim so spec check can surface BROKEN_RELATES; a to_id whose
--- requirement was superseded surfaces RELATES_SUPERSEDED. source_file +
--- line locate the authored Relates field line.
+-- requirement was superseded surfaces RELATES_SUPERSEDED.
 CREATE TABLE IF NOT EXISTS relations (
   id            INTEGER PRIMARY KEY AUTOINCREMENT,
   from_id       TEXT NOT NULL,
@@ -499,11 +498,8 @@ CREATE TABLE IF NOT EXISTS relations (
 CREATE INDEX IF NOT EXISTS idx_relations_from ON relations(from_id);
 CREATE INDEX IF NOT EXISTS idx_relations_to   ON relations(to_id);
 
--- term_aliases (TERM-01, Phase 6): one row per glossary-term alias. Cloned 1:1
--- from the relations table \u2014 id AUTOINCREMENT (excluded from build_id), no
--- FK/CHECK/UNIQUE (SCHM-07 / Invariant #4, or the arch-fence trips). term_id is
--- the owning TERM's id; name the synonym string. Present-and-empty until Wave C
--- flattens the requirement aliases field into rows.
+-- term_aliases: one row per glossary-term alias. id AUTOINCREMENT is excluded
+-- from build_id. term_id is the owning TERM's id; name the synonym string.
 CREATE TABLE IF NOT EXISTS term_aliases (
   id            INTEGER PRIMARY KEY AUTOINCREMENT,
   term_id       TEXT NOT NULL,
@@ -512,15 +508,12 @@ CREATE TABLE IF NOT EXISTS term_aliases (
 CREATE INDEX IF NOT EXISTS idx_term_aliases_term ON term_aliases(term_id);
 CREATE INDEX IF NOT EXISTS idx_term_aliases_name ON term_aliases(name);
 
--- term_citations (TERM-01, Phase 6): one row per pinned cites reference from a
--- requirement to a glossary TERM. Cloned from the relations table: id
--- AUTOINCREMENT (excluded from build_id), NO FK/CHECK/UNIQUE (SCHM-07 /
--- Invariant #4) \u2014 a term_id pointing at a missing/superseded TERM lands verbatim
--- so spec check can surface UNDEFINED_TERM / TERM_DRIFT (Wave D). req_id carries
--- the citing requirement; term_id the cited TERM (nullable \u2014 an unresolved cite
--- still lands); cited_as the authored surface form; pinned_version the term
--- spec_version the citation was pinned to; source_file + line locate the cite.
--- Present-and-empty until Wave C wires the flatten.
+-- term_citations: one row per pinned cites reference from a requirement to a
+-- glossary TERM. id AUTOINCREMENT is excluded from build_id. No FK: a term_id
+-- pointing at a missing or superseded TERM lands verbatim so spec check can
+-- surface UNDEFINED_TERM / TERM_DRIFT. term_id is nullable (an unresolved cite
+-- still lands); cited_as is the authored surface form; pinned_version the term
+-- spec_version the citation was pinned to.
 CREATE TABLE IF NOT EXISTS term_citations (
   id             INTEGER PRIMARY KEY AUTOINCREMENT,
   req_id         TEXT NOT NULL,
@@ -533,30 +526,25 @@ CREATE TABLE IF NOT EXISTS term_citations (
 CREATE INDEX IF NOT EXISTS idx_term_citations_req  ON term_citations(req_id);
 CREATE INDEX IF NOT EXISTS idx_term_citations_term ON term_citations(term_id);
 
--- provenance (PROV-02 / PROV-04): one row per **Issues:** role:ID link in a
--- SPEC.md entry. req_id carries the field; issue_id is the OPAQUE external
--- tracker payload; role is a closed-allow-list label (created | supersedes-via
--- | amends-via), validated at PARSE time, never as a DB constraint (SCHM-07 /
--- Invariant #4). source_file + line locate the authored **Issues:** field line.
--- Exactly ONE index, on req_id (SC3) \u2014 never on issue_id, which would read as
--- treating the opaque payload as a lookup key (PROV-02, grep-fenced in Plan 04).
+-- provenance: one row per issues role:ID link. issue_id is the opaque
+-- external tracker payload; role is a closed-allow-list label (created |
+-- supersedes-via | amends-via), validated at parse time, never as a DB
+-- constraint. Exactly one index, on req_id; never on issue_id, which would
+-- treat the opaque payload as a lookup key.
 -- @spec PROV-004
 CREATE TABLE IF NOT EXISTS provenance (
   id            INTEGER PRIMARY KEY AUTOINCREMENT,
   req_id        TEXT NOT NULL,
-  issue_id      TEXT NOT NULL,   -- OPAQUE payload string \u2014 never PK/FK/UNIQUE/JOIN key (PROV-02/SC3)
+  issue_id      TEXT NOT NULL,   -- opaque payload string, never a PK/FK/UNIQUE/JOIN key
   role          TEXT NOT NULL,   -- created | supersedes-via | amends-via
   source_file   TEXT NOT NULL,
   line          INTEGER NOT NULL
 );
-CREATE INDEX IF NOT EXISTS idx_provenance_by_req ON provenance(req_id);  -- ONLY index, on req_id (SC3)
-
--- parse_diagnostics: structural diagnostics carried forward from Phase 2's
--- validate-on-parse pass (DUP_ID, BROKEN_SUPERSEDE, BAD_STATUS). Stored so
--- spec check can render them with file+line; not used by Phase 1's smoke.
--- req_id is nullable per WR-02 (03-REVIEW): the parser knows the implicated
--- id for BROKEN_SUPERSEDE and BAD_STATUS, and for the SECOND DUP_ID
--- occurrence. NULL when no specific id is implicated.
+CREATE INDEX IF NOT EXISTS idx_provenance_by_req ON provenance(req_id);  -- the only index
+
+-- parse_diagnostics: structural diagnostics from the validate-on-parse pass
+-- (DUP_ID, BROKEN_SUPERSEDE, BAD_STATUS), stored so spec check can render them
+-- with file+line. req_id is NULL when no specific id is implicated.
 CREATE TABLE IF NOT EXISTS parse_diagnostics (
   id            INTEGER PRIMARY KEY AUTOINCREMENT,
   code          TEXT NOT NULL,
@@ -591,13 +579,9 @@ FROM requirements r
 CROSS JOIN repos
 LEFT JOIN tags t
   ON t.req_id = r.id AND t.repo = repos.name
--- TERM-01 (Phase 6): a glossary TERM is a requirement row but NEVER a
--- code-coverage obligation \u2014 it carries no @spec tag. Excluding key='TERM' here
--- drops terms from spec map / spec report (and provenance_matrix, which joins
--- coverage) in ONE edit, so a migrated term never renders an empty coverage
--- cell. The Q4 ORPHAN_REQ / Q5 UNVERIFIED_REQ queries (sqlite.ts) carry the
--- SAME literal exclusion so a term never fires a coverage ERROR. The match is
--- the exact literal 'TERM' \u2014 never a real domain key.
+-- A glossary TERM is a requirement row but never a code-coverage obligation.
+-- The ORPHAN_REQ / UNVERIFIED_REQ queries in sqlite.ts carry the same literal
+-- exclusion. The match is the exact literal 'TERM', never a real domain key.
 -- @spec SCHM-017
 WHERE r.key != 'TERM'
 GROUP BY r.id, repos.name;
@@ -616,15 +600,9 @@ JOIN requirements r ON r.id = t.req_id
 JOIN repos        ON repos.name = t.repo
 WHERE r.changed_at_version > repos.pinned_spec_version;
 
--- term_drift (TERM-01 / Phase 6): the citation-drift VIEW, a 1:1 shape-clone of
--- the member-pin drift VIEW but keyed on the CITATION's pin instead of a repo's.
--- One row per cites reference whose pinned_version is behind the cited TERM's
--- changed_at_version \u2014 i.e. the term's definition moved on since the citation
--- was pinned. INNER JOIN (not LEFT): an unresolved term_id (no matching
--- requirement) is an UNDEFINED_TERM concern, NOT drift \u2014 scoped distinctly by
--- the Wave-D diagnostics. term.key='TERM' keeps the VIEW scoped to the reserved
--- glossary domain. Present-and-empty until Wave C populates term_citations; the
--- diagnostic (TERM_DRIFT) reads it in Wave E.
+-- term_drift: one row per cites reference whose pinned_version is behind the
+-- cited TERM's changed_at_version. INNER JOIN: an unresolved term_id is an
+-- UNDEFINED_TERM concern, not drift.
 -- @spec CHCK-018
 CREATE VIEW IF NOT EXISTS term_drift AS
 SELECT
@@ -638,38 +616,21 @@ FROM term_citations tc
 JOIN requirements term ON term.id = tc.term_id
 WHERE term.key = 'TERM' AND term.changed_at_version > tc.pinned_version;
 
--- provenance_matrix (PMAT-04 / data half of PMAT-01): a WIDENED projection
--- over provenance \xD7 requirements \xD7 coverage, never materialized (mirrors the
--- coverage VIEW pattern). The widening joins are ON req_id ONLY \u2014 NEVER on
--- issue_id, which is OPAQUE (PROV-02/SC3). JOIN requirements r ON p.req_id =
--- r.id carries req_status (the requirement's lifecycle status); LEFT JOIN
--- coverage c ON c.req_id = p.req_id carries the backing-test columns. Because
--- coverage is a per-(req,repo) matrix, the join fans out per repo \u2014 so we
--- aggregate to ONE row per provenance link.
---
--- WR-01 (13-REVIEW review-fix): test_levels is re-aggregated at the
--- INDIVIDUAL-level granularity via a correlated subquery over tags, NOT by
--- GROUP_CONCAT(DISTINCT c.test_levels). The coverage VIEW already concatenates
--- levels per (req,repo) into a single string (api -> "unit,integration",
--- mobile -> "unit"); GROUP_CONCAT(DISTINCT ...) over those whole strings
--- deduplicates STRINGS, not levels, so a level present in two repos emitted
--- twice ("unit,integration,unit"). The subquery selects DISTINCT t2.level for
--- this req across ALL repos (ORDER BY level for determinism), so each level
--- appears exactly once. The correlation is ON req_id ONLY (t2.req_id =
--- p.req_id) \u2014 the issue_id-opacity fence stays green (no issue_id key usage).
--- CRITICAL FENCE CONSTRAINT
--- (PROV-02/SC3): the CI issue_id-opacity fence forbids grouping by issue_id,
--- so we GROUP BY the provenance PK p.id (which uniquely determines the link)
--- and let issue_id ride as a bare projected column under SQLite's
--- bare-column rule. issue_id is therefore PURELY projected \u2014 never a
--- JOIN/GROUP-BY/PK/FK/UNIQUE/INDEX key.
+-- provenance_matrix: provenance \xD7 requirements \xD7 coverage, never
+-- materialized. Every join is on req_id, never on issue_id. coverage is a
+-- per-(req, repo) matrix, so the join fans out per repo and is aggregated to
+-- one row per provenance link, grouped by the provenance PK p.id; issue_id
+-- rides as a bare projected column and is never a JOIN, GROUP BY, PK, FK,
+-- UNIQUE, or INDEX key. test_levels is aggregated by a correlated subquery
+-- over tags (DISTINCT level, ORDER BY level) so a level present in two repos
+-- appears once.
 CREATE VIEW IF NOT EXISTS provenance_matrix AS
 SELECT
   p.req_id                          AS req_id,
   p.role                            AS role,
-  p.issue_id                        AS issue_id,   -- OPAQUE payload, projected only (PROV-02/SC3)
+  p.issue_id                        AS issue_id,   -- opaque payload, projected only
   p.source_file                     AS source_file,
-  p.line                            AS line,        -- git pointer per PMAT-01
+  p.line                            AS line,
   r.status                          AS req_status,
   MAX(c.implemented)                AS implemented,
   MAX(c.verified)                   AS verified,
@@ -1204,19 +1165,86 @@ function packageColumnName(root, dir) {
 function byName(a, b) {
   return a.name < b.name ? -1 : a.name > b.name ? 1 : 0;
 }
-function column(name, path, pin, ignore) {
+function column(name, path, pin, node, ignore) {
   return {
-    name,
-    path,
-    pinned_spec_version: pin,
-    ...ignore && ignore.length > 0 ? { ignore } : {}
+    repo: {
+      name,
+      path,
+      pinned_spec_version: pin,
+      ...ignore && ignore.length > 0 ? { ignore } : {}
+    },
+    node
   };
 }
+function packageKey(ecosystem, packageName) {
+  return `${ecosystem ?? ""}\x00${packageName}`;
+}
+function providersOf(columns) {
+  const providers = new Map;
+  for (const c of columns) {
+    if (c.node.packageName === undefined)
+      continue;
+    const key = packageKey(c.node.ecosystem, c.node.packageName);
+    if (!providers.has(key))
+      providers.set(key, c.repo.name);
+  }
+  return providers;
+}
+function dependenciesOf(c, providers) {
+  const deps = new Set;
+  for (const name of c.node.dependsOn) {
+    const provider = providers.get(packageKey(c.node.ecosystem, name));
+    if (provider !== undefined && provider !== c.repo.name)
+      deps.add(provider);
+  }
+  return deps;
+}
+function dependencyGraph(columns) {
+  const providers = providersOf(columns);
+  const dependents = new Map;
+  const waitingOn = new Map;
+  for (const c of columns) {
+    const deps = dependenciesOf(c, providers);
+    waitingOn.set(c.repo.name, deps.size);
+    for (const provider of deps) {
+      dependents.set(provider, [...dependents.get(provider) ?? [], c.repo.name]);
+    }
+  }
+  return { names: columns.map((c) => c.repo.name).sort(), dependents, waitingOn };
+}
+function dependencyDepths(columns) {
+  const { names, dependents, waitingOn } = dependencyGraph(columns);
+  const depth = new Map;
+  const ready = names.filter((n) => waitingOn.get(n) === 0);
+  for (const n of ready)
+    depth.set(n, 0);
+  for (let i = 0;i < ready.length; i++) {
+    const provider = ready[i];
+    const providerDepth = depth.get(provider) ?? 0;
+    for (const consumer of dependents.get(provider) ?? []) {
+      depth.set(consumer, Math.max(depth.get(consumer) ?? 0, providerDepth + 1));
+      const left = (waitingOn.get(consumer) ?? 0) - 1;
+      waitingOn.set(consumer, left);
+      if (left === 0)
+        ready.push(consumer);
+    }
+  }
+  const cyclic = Math.max(-1, ...depth.values()) + 1;
+  for (const n of names)
+    if (!depth.has(n))
+      depth.set(n, cyclic);
+  return depth;
+}
+function toRepos(columns) {
+  const depth = dependencyDepths(columns);
+  return columns.map((c) => ({ ...c.repo, dependency_depth: depth.get(c.repo.name) ?? 0 })).sort(byName);
+}
 function selfMember(absPlatform, platformVersion) {
   return {
     name: basename(absPlatform),
     path: absPlatform,
     pinned_spec_version: platformVersion,
+    dependency_depth: 0,
     selfMember: true
   };
 }
@@ -1238,11 +1266,11 @@ async function packageColumns(repoPath, prefix, repo, parentPin) {
     const path = join3(repoPath, pkg.path);
     const configPath = join3(path, MEMBER_CONFIG_FILENAME);
     if (!existsSync(configPath)) {
-      out.push(column(name, path, parentPin));
+      out.push(column(name, path, parentPin, pkg));
       continue;
     }
     const cfg = await readRepoConfig(configPath);
-    out.push(column(name, path, extractPin(cfg.specs), cfg.ignore));
+    out.push(column(name, path, extractPin(cfg.specs), pkg, cfg.ignore));
   }
   return out;
 }
@@ -1279,14 +1307,14 @@ async function membersOf(reading, absPlatform, platformVersion) {
   const diagnostics2 = surfaced(mapped);
   if (mapped.mode !== "multi-repo") {
     const repo = mapped.repos[0];
-    const members2 = repo !== undefined && repo.mode === "monorepo" && repo.packages.length > 0 ? await packageColumns(absPlatform, "", repo, platformVersion) : [selfMember(absPlatform, platformVersion)];
-    return { mode: mapped.mode, members: members2, unpinned: [], undeclared: [], diagnostics: diagnostics2 };
+    const members = repo !== undefined && repo.mode === "monorepo" && repo.packages.length > 0 ? toRepos(await packageColumns(absPlatform, "", repo, platformVersion)) : [selfMember(absPlatform, platformVersion)];
+    return { mode: mapped.mode, members, unpinned: [], undeclared: [], diagnostics: diagnostics2 };
   }
   if (!mapped.declared) {
     const undeclared2 = mapped.repos.map((r) => ({ name: r.name, path: join3(absPlatform, r.name) }));
     return { mode: "multi-repo", members: [], unpinned: [], undeclared: undeclared2, diagnostics: diagnostics2 };
   }
-  const members = [];
+  const columns = [];
   const unpinned = [];
   for (const repo of mapped.repos) {
     const path = located.repos[repo.name];
@@ -1300,14 +1328,13 @@ async function membersOf(reading, absPlatform, platformVersion) {
     const cfg = await readRepoConfig(configPath);
     const pin = extractPin(cfg.specs);
     if (repo.mode === "monorepo" && repo.packages.length > 0) {
-      members.push(...await packageColumns(path, `${repo.name}/`, repo, pin));
+      columns.push(...await packageColumns(path, `${repo.name}/`, repo, pin));
     } else {
-      members.push(column(repo.name, path, pin, cfg.ignore));
+      columns.push(column(repo.name, path, pin, repo, cfg.ignore));
     }
   }
-  members.sort(byName);
   const undeclared = mapped.diagnostics.filter((d) => d.code === "UNLISTED_REPO").map((d) => ({ name: d.subject, path: join3(absPlatform, d.subject) }));
-  return { mode: "multi-repo", members, unpinned, undeclared, diagnostics: diagnostics2 };
+  return { mode: "multi-repo", members: toRepos(columns), unpinned, undeclared, diagnostics: diagnostics2 };
 }
 async function discoverRepos(platformDir) {
   const absPlatform = resolve2(platformDir);
@@ -1320,7 +1347,8 @@ async function discoverRepos(platformDir) {
   const canonical = {
     name: CANONICAL_SPECS_DIR,
     path: canonicalPath,
-    pinned_spec_version: platformVersion
+    pinned_spec_version: platformVersion,
+    dependency_depth: 0
   };
   const reading = readPlatformMap(absPlatform);
   const shape = reading === null ? loneSingleRepo(absPlatform, platformVersion) : await membersOf(reading, absPlatform, platformVersion);
@@ -1706,11 +1734,11 @@ SELECT
   ) AS via_other
 FROM repos
 WHERE repos.name != 'spec-engine'
-ORDER BY repos.name
+ORDER BY repos.dependency_depth, repos.name
 `;
 
 // src/storage/sql/reads.ts
-var LIST_RELATIONS_SQL, LIST_TERM_ALIASES_SQL = "SELECT term_id, name FROM term_aliases ORDER BY term_id, name", LIST_TERM_CITATIONS_SQL, LIST_PROVENANCE_SQL, LIST_PROVENANCE_MATRIX_SQL, PROVENANCE_BY_ISSUE_SQL, LIST_REPOS_SQL = "SELECT name, path, pinned_spec_version FROM repos ORDER BY name", GET_REPO_SQL = "SELECT name, path, pinned_spec_version FROM repos WHERE name = $name", LIST_DOMAINS_SQL = "SELECT key, owner, schema, spec_version, source_repo FROM domains ORDER BY key", GET_DOMAIN_SQL = "SELECT key, owner, schema, spec_version, source_repo FROM domains WHERE key = $key", LIST_TAGS_SQL = `SELECT id, req_id, repo, file, line, kind, level FROM tags
+var LIST_RELATIONS_SQL, LIST_TERM_ALIASES_SQL = "SELECT term_id, name FROM term_aliases ORDER BY term_id, name", LIST_TERM_CITATIONS_SQL, LIST_PROVENANCE_SQL, LIST_PROVENANCE_MATRIX_SQL, PROVENANCE_BY_ISSUE_SQL, LIST_REPOS_SQL = "SELECT name, path, pinned_spec_version, dependency_depth FROM repos ORDER BY name", GET_REPO_SQL = "SELECT name, path, pinned_spec_version, dependency_depth FROM repos WHERE name = $name", LIST_DOMAINS_SQL = "SELECT key, owner, schema, spec_version, source_repo FROM domains ORDER BY key", GET_DOMAIN_SQL = "SELECT key, owner, schema, spec_version, source_repo FROM domains WHERE key = $key", LIST_TAGS_SQL = `SELECT id, req_id, repo, file, line, kind, level FROM tags
   WHERE ($repo IS NULL OR repo = $repo)
     AND ($req_id IS NULL OR req_id = $req_id)
     AND ($file IS NULL OR file = $file)
@@ -1983,7 +2011,7 @@ class SqliteStorage {
   }
   #makeWriteHandle() {
     const db = this.#db;
-    const insRepo = db.prepare("INSERT OR REPLACE INTO repos (name, path, pinned_spec_version) VALUES ($name, $path, $pin)");
+    const insRepo = db.prepare("INSERT OR REPLACE INTO repos (name, path, pinned_spec_version, dependency_depth) VALUES ($name, $path, $pin, $depth)");
     const insDomain = db.prepare("INSERT OR REPLACE INTO domains (key, owner, schema, spec_version, source_repo) " + "VALUES ($key, $owner, $schema, $ver, $source)");
     const insReq = db.prepare("INSERT OR REPLACE INTO requirements " + "(id, key, seq, status, superseded_by, text, why, source_file, line, spec_version, changed_at_version, superseded_at_version) " + "VALUES ($id, $key, $seq, $status, $sup, $text, $why, $file, $line, $sver, $cver, $saver)");
     const insTag = db.prepare("INSERT INTO tags (req_id, repo, file, line, kind, level) " + "VALUES ($req, $repo, $file, $line, $kind, $level)");
@@ -2013,7 +2041,8 @@ class SqliteStorage {
         insRepo.run({
           name: r.name,
           path: r.path,
-          pin: r.pinned_spec_version
+          pin: r.pinned_spec_version,
+          depth: r.dependency_depth
         });
       },
       upsertDomain(d) {
@@ -2136,11 +2165,7 @@ function poisonSchemaVersion(path, badVersion) {
 function poisonRepoRow(path, name) {
   const db = new Database(path);
   try {
-    db.run("INSERT INTO repos (name, path, pinned_spec_version) VALUES (?, ?, ?)", [
-      name,
-      "/dev/null",
-      999
-    ]);
+    db.run("INSERT INTO repos (name, path, pinned_spec_version, dependency_depth) VALUES (?, ?, ?, ?)", [name, "/dev/null", 999, 0]);
   } finally {
     db.close();
   }
@@ -2165,7 +2190,7 @@ function computeBuildId(storage2) {
       },
       {
         label: "repos",
-        sql: "SELECT name, path, pinned_spec_version FROM repos ORDER BY name"
+        sql: "SELECT name, path, pinned_spec_version, dependency_depth FROM repos ORDER BY name"
       },
       {
         label: "domains",
@@ -2511,7 +2536,8 @@ function buildRows(input) {
     {
       name: canonical.name,
       path: canonical.path,
-      pinned_spec_version: platformVersion
+      pinned_spec_version: platformVersion,
+      dependency_depth: 0
     },
     ...members
   ], (r) => r.name);
@@ -5654,19 +5680,15 @@ var init_list = __esm(() => {
 });
 
 // src/propagation/format.ts
-function sortPropagation(rows) {
-  return [...rows].sort((a, b) => a.repo.localeCompare(b.repo));
-}
 function renderPropagation(rows, mode) {
-  const sorted = sortPropagation(rows);
   if (mode === "json") {
-    return JSON.stringify(sorted);
+    return JSON.stringify(rows);
   }
-  if (sorted.length === 0)
+  if (rows.length === 0)
     return "";
   const header = ["REPO", "STATE", "VIA", "DRIFT?"];
   const lines = [header];
-  for (const row of sorted) {
+  for (const row of rows) {
     lines.push([row.repo, row.state, row.via_req_id ?? EMPTY_CELL2, row.drifted ? "yes" : "no"]);
   }
   const widths = header.map((_, col) => Math.max(...lines.map((row) => row[col]?.length ?? 0)));

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@spec-engine/spec-engine",
-  "version": "0.4.0",
+  "version": "0.5.0",
   "description": "Cross-repo spec engine — durable requirements with permanent IDs, bound to code via @spec tags, checked in CI. Ships the spec CLI, the local coverage webapp (spec serve), and offline docs (spec docs).",
   "license": "MIT",
   "type": "module",