vue-shaker 0.1.0

package/CHANGELOG.md

@@ -0,0 +1,22 @@
+# vue-shaker
+
+## 0.1.0
+
+### Minor Changes
+
+- Initial release.
+
+  A sound, source-level tree-shaker for Vue 3 SFCs that use `<script setup>` +
+  `defineProps`. It runs in `vite build`, before the Vue compiler, and slims each
+  `.vue` by partially evaluating it against how the whole app uses it:
+
+  - **L0/L1** — props no call site passes (or always passes the same constant) are
+    dropped from `defineProps`, demoted to a local `const`, and their attribute is
+    stripped at every call site.
+  - **L1.5** — value-set narrowing deletes provably-dead `v-if`/`v-else-if` arms.
+  - **CSS** — unreachable `<style scoped>` rules are removed (Vue does no
+    unused-CSS pruning itself, so the shaker owns it).
+
+  Ships a Vite plugin (`vue-shaker/vite`) and a Rollup plugin
+  (`rollup-plugin-vue-shaker`). Build-only by design — dev is a pass-through.
+  Soundness is defended by a differential-SSR oracle. Requires `vue@^3`.

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2024 Yuichiro Yamashita
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -0,0 +1,157 @@
+<p align="center">
+  <img src="https://raw.githubusercontent.com/baseballyama/vue-shaker/main/assets/vue-shaker.png" alt="vue-shaker" width="190" />
+</p>
+
+<h1 align="center">vue-shaker</h1>
+
+<p align="center">A <strong>sound, source-level tree-shaker for Vue&nbsp;3 SFCs (<code>&lt;script setup&gt;</code> + <code>defineProps</code>).</strong></p>
+
+**▶ Try it in the browser: https://baseballyama.github.io/vue-shaker/** — an
+interactive playground that runs the engine entirely client-side.
+
+It runs in your app's production build, _before_ the Vue compiler, and slims each
+`.vue` file by partially evaluating it against how the **whole app** actually uses
+it: props that are never passed (or always passed the same value) are folded to
+their constant, the dead `v-if` arms behind them are deleted, those props are
+dropped from the `defineProps` signature, and the now-pointless attributes are
+removed at every call site. The Vue compiler then only sees the code your app can
+actually reach.
+
+It is **sound first**: it never changes what the user sees. When it cannot prove a
+transform is safe, it leaves the code untouched (bails).
+
+See [`docs/ARCHITECTURE.md`](https://github.com/baseballyama/vue-shaker/blob/main/docs/ARCHITECTURE.md) for the full design.
+
+## Why this exists (and why a JS bundler can't do it)
+
+Design-system components carry lots of props (`Button` with
+`variant / size / loading / icon / iconPosition / fullWidth / rounded / href …`),
+but any one app uses only a few. The code behind the unused props — template
+branches, class computation, computed values, imports, CSS — is effectively dead
+for that app, yet it ships anyway.
+
+It cannot be removed _after_ Vue compiles, because Vue emits **one generic render
+function per component**, shared by every caller. In that output the prop values
+flow through the runtime (`props.loading`, `$props`), so `loading` / `variant` are
+not static JS constants — terser/esbuild/Rollup cannot fold `if (loading)` to
+`if (false)`, and the single module has no whole-program information to know which
+props this particular app never uses.
+
+vue-shaker works **one step earlier**, on the pre-compile `.vue` source, where the
+prop's value (its default, or the literal at the call site) is still visible and
+the template structure is intact. It is essentially a **whole-program partial
+evaluator + dead-code eliminator that understands Vue**, driven by every call site
+in the app.
+
+### The CSS differentiator (what a bundler genuinely can't reach)
+
+Given `:class="['btn', \`btn-${variant}\`]"` where the app only ever passes
+`variant ∈ {primary, secondary}`, the class `btn-danger` can never exist at
+runtime. But the class only appears as a runtime string, so Rollup/terser can't
+touch it (the class isn't in the JS at all), and — unlike Svelte — **Vue does not
+prune unused `<style scoped>` rules at all**. So `btn-danger` ships no matter what.
+
+vue-shaker computes the reachable value set of `variant`, proves the `.btn-danger`
+/ `.btn-ghost` rules can never match any element this component renders, and
+**removes those `<style scoped>` rules** — while keeping `.btn`, `.btn-primary`,
+`.btn-secondary`. Because Vue has no unused-CSS pruning of its own, this is an even
+bigger win for Vue than for Svelte.
+
+## Install
+
+```sh
+pnpm add -D vue-shaker
+# or: npm i -D vue-shaker / yarn add -D vue-shaker
+```
+
+Requires `vue@^3`.
+
+## Usage (Vite)
+
+Add the plugin **before** `vue()` so it hands already-slimmed source to the Vue
+compiler. It is **build-only by design** — dev is a pass-through.
+
+```ts
+// vite.config.ts
+import { defineConfig } from 'vite';
+import vue from '@vitejs/plugin-vue';
+import { shaker } from 'vue-shaker/vite';
+
+export default defineConfig({
+  plugins: [
+    // `include` must cover EVERY call site in the app, or prop elimination
+    // would be unsound. Defaults to the Vite root.
+    shaker({ include: ['src'] }),
+    vue(),
+  ],
+});
+```
+
+There is also a plain-Rollup plugin (`rollup-plugin-vue-shaker`) for non-Vite
+pipelines; the Vite plugin is preferred for apps.
+
+### Options
+
+```ts
+shaker({
+  include: ['src'], // dirs (relative to root) holding every .vue call site
+  level: 1, //  0 | 1 | 2 — default 1 (L0/L1/L1.5 always on). 2 = opt-in L2.
+  monomorphize: false, // L2 tuning; only consulted when level: 2.
+});
+```
+
+## What it does
+
+| Level    | What it removes                                                                                                                          | Default    |
+| -------- | ---------------------------------------------------------------------------------------------------------------------------------------- | ---------- |
+| **L0**   | Props no call site ever passes → fold to the default, drop from `defineProps`, strip the attribute at call sites                          | on         |
+| **L1**   | Props that collapse to one constant app-wide → fold + drop + strip every call site's attribute                                           | on         |
+| **L1.5** | Value-set **narrowing**: with `variant ∈ {primary, secondary}`, delete provably-dead `v-if`/`v-else-if` arms (prop stays in the signature) | on         |
+| **CSS**  | `<style scoped>` rules whose class can never be produced given the value sets — the bundler-can't differentiator (and Vue can't either)   | on         |
+| **L2**   | Per-call-site monomorphization: specialize a component per prop shape (deduped by residual, capped by `maxVariants`)                      | **opt-in** |
+
+## Soundness
+
+The whole point is to **never change observable behavior**.
+
+- **Differential-SSR verified.** Tests server-render the original and the shaken
+  component (via `@vue/server-renderer`, comments/scope-ids stripped, whitespace
+  normalized) and assert the HTML is identical for every value the app passes.
+- **Conservative bail.** When a transform can't be _proven_ safe, the code is left
+  as-is. Whole-component bails: a component rendered through `<component :is>`, that
+  escapes as a value, or is reached only through a barrel/named re-export (its call
+  sites aren't enumerable). Per-prop bails: a `v-bind="…"` spread that could
+  overwrite it, a name shadowed by `v-for` / scoped-slot props, or used in a way the
+  engine can't follow.
+- **Side effects preserved.** A call-site attribute is only stripped if its value
+  has no side effects; a value's code is removed only when it is provably pure and
+  unused.
+- **Whole-program fixpoint.** Call sites inside a folded-away `v-if` don't count
+  toward a child's prop profile; analysis iterates to a fixpoint so cascades are
+  consistent with what the transform actually deletes.
+
+## Limitations
+
+- **`<script setup>` + `defineProps` only.** Options API and plain `<script>`
+  (`defineComponent({ props })`) are out of scope and silently passed through.
+- **Needs `.vue` source.** Libraries shipping compiled JS can't be shaken (the
+  source has to be visible — that's the whole premise). Anything it can't resolve is
+  silently passed through.
+- **Build only.** It runs in `vite build`, not in dev/HMR — whole-program analysis
+  is fundamentally incompatible with HMR's locality. Dev is always a pass-through
+  (unoptimized but always correct).
+- **`include` must cover the whole app.** A call site outside the scanned dirs is
+  invisible, so soundness requires every consumer of a prop to be in scope.
+
+## Architecture & status
+
+The engine is split into an environment-free **Engine** (Vue-aware analysis +
+transform) behind a stable IR, and a thin **Shell** (the Vite/Rollup plugin) that
+owns file IO and module resolution — so the core can later be ported to Rust on
+[vize](https://github.com/baseballyama/vize) (the Rust Vue toolchain). See
+[`docs/ARCHITECTURE.md`](https://github.com/baseballyama/vue-shaker/blob/main/docs/ARCHITECTURE.md) and
+[`docs/RUST-MIGRATION.md`](https://github.com/baseballyama/vue-shaker/blob/main/docs/RUST-MIGRATION.md).
+
+## License
+
+MIT

package/dist/index.cjs

@@ -0,0 +1 @@
+"use strict";var e=require("@vue/compiler-sfc"),t=require("@babel/parser"),n=require("magic-string"),o=require("postcss"),r=require("postcss-selector-parser");const s=1,i=2,c=3,a=6,u=7,f=1,l=e=>e.type===s&&e.tagType===f,p=["typescript"];function d(n,o){const{descriptor:r}=e.parse(n,{filename:o}),s=r;let i;if(s.scriptSetup){const e=s.scriptSetup,n=e.attrs?.lang;i={content:e.content,base:e.loc.start.offset,endOffset:e.loc.end.offset,ast:(c=e.content,t.parse(c,{sourceType:"module",plugins:[...p]}).program),lang:"string"==typeof n?n:void 0}}var c;const a=(s.styles??[]).map(e=>({content:e.content,base:e.loc.start.offset,scoped:!0===e.scoped}));return{id:o,code:n,template:s.template?.ast??void 0,scriptSetup:i,hasPlainScript:null!=s.script,styles:a}}function m(e,t,n){if(!n)return d(t,e);const o=n.get(e);if(o&&o.code===t)return o.sfc;const r=d(t,e);return n.set(e,{code:t,sfc:r}),r}function y(e){if(null!=e&&""!==e.trim())try{return t.parseExpression(e,{plugins:[...p]})}catch{return}}function v(e){if(e)return"string"==typeof e.content?e.content:void 0}function w(e,t){if(!e)return;if(!1!==t(e))for(const n of e.children??[])w(n,t)}function g(e,t){if(!e)return;const n=e.children;if(n){t(n,e);for(const e of n)g(e,t)}}function h(e,t,n=null){if(e&&"object"==typeof e&&"string"==typeof e.type){t(e,n);for(const n of Object.values(e))if(Array.isArray(n))for(const o of n)h(o,t,e);else n&&"object"==typeof n&&"string"==typeof n.type&&h(n,t,e)}}const k={known:!1};function S(e,t){if(!e)return k;switch(e.type){case"Literal":case"StringLiteral":case"NumericLiteral":case"BooleanLiteral":return{known:!0,value:e.value};case"NullLiteral":return{known:!0,value:null};case"Identifier":{const n=e.name??"";return"undefined"===n?{known:!0,value:void 0}:t.has(n)?{known:!0,value:t.get(n)}:k}case"UnaryExpression":{const n=S(e.argument,t);if(!n.known)return k;const o=n.value;switch(e.operator){case"!":return{known:!0,value:!o};case"-":return{known:!0,value:-o};case"+":return{known:!0,value:+o};case"typeof":return{known:!0,value:typeof o};case"void":return{known:!0,value:void 0};default:return k}}case"LogicalExpression":{const n=S(e.left,t);if(!n.known)return k;switch(e.operator){case"&&":return n.value?S(e.right,t):n;case"||":return n.value?n:S(e.right,t);case"??":return null===n.value||void 0===n.value?S(e.right,t):n;default:return k}}case"BinaryExpression":{const n=S(e.left,t),o=S(e.right,t);if(!n.known||!o.known)return k;const r=n.value,s=o.value;switch(e.operator){case"===":return{known:!0,value:r===s};case"!==":return{known:!0,value:r!==s};case"==":return{known:!0,value:r==s};case"!=":return{known:!0,value:r!=s};case"<":return{known:!0,value:r<s};case">":return{known:!0,value:r>s};case"<=":return{known:!0,value:r<=s};case">=":return{known:!0,value:r>=s};case"+":return{known:!0,value:r+s};case"-":return{known:!0,value:r-s};case"*":return{known:!0,value:r*s};case"/":return{known:!0,value:r/s};case"%":return{known:!0,value:r%s};default:return k}}default:return k}}function b(e,t,n){const o=S(e,t);if(o.known)return o;const r=x(e,t,n);return"unknown"===r?k:{known:!0,value:r}}function x(e,t,n){if(!e)return"unknown";switch(e.type){case"UnaryExpression":return"!"===e.operator?P(x(e.argument,t,n)):"unknown";case"LogicalExpression":{const s=x(e.left,t,n),i=()=>x(e.right,t,n);return"&&"===e.operator?!1!==s&&(o=s,r=i(),!1!==o&&!1!==r&&(!0===o&&!0===r||"unknown")):"||"===e.operator?!0===s||function(e,t){return!0===e||!0===t||(!1!==e||!1!==t)&&"unknown"}(s,i()):"unknown"}case"BinaryExpression":{const o=e.operator;if("==="===o||"=="===o||"!=="===o||"!="===o){const r="=="===o||"!="===o,s=function(e,t,n,o,r){const s=I(e,o),i=S(t,n);if(s&&i.known)return E(s,i.value,r);const c=I(t,o),a=S(e,n);return c&&a.known?E(c,a.value,r):a.known&&i.known?r?a.value==i.value:a.value===i.value:"unknown"}(e.left,e.right,t,n,r);return"!=="===o||"!="===o?P(s):s}return"unknown"}default:return"unknown"}var o,r}function I(e,t){return"Identifier"===e?.type&&e.name&&t.has(e.name)?t.get(e.name):null}function E(e,t,n){const o=n?e=>e==t:e=>e===t;return!!e.some(o)&&(!!e.every(o)||"unknown")}function P(e){return!0!==e&&(!1===e||"unknown")}function M(e){if(e.type===s)for(const t of e.props??[])if(t.type===u){if("if"===t.name)return{dir:t,kind:"if"};if("else-if"===t.name)return{dir:t,kind:"else-if"};if("else"===t.name)return{dir:t,kind:"else"}}}const L=e=>e.type===i&&"string"==typeof e.content&&""===e.content.trim()||e.type===c;function D(e){const t=[];for(let n=0;n<e.length;n++){const o=e[n],r=M(o);if(!r||"if"!==r.kind)continue;const s=[R(o,r.dir,"if")];let i=n+1;for(;i<e.length;i++){const t=e[i];if(L(t))continue;const n=M(t);if(!n||"if"===n.kind)break;if(s.push(R(t,n.dir,n.kind)),"else"===n.kind){i++;break}}t.push(s),n=i-1}return t}function R(e,t,n){return{el:e,dir:t,kind:n,testAst:"else"===n?void 0:y(v(t.exp))}}function j(e,t,n){const o=e.map(e=>"else"===e.kind?{known:!0,value:!0}:b(e.testAst,t,n)),r=e=>e.known&&Boolean(e.value),s=e=>e.known&&!e.value,i=e=>[e.el.loc.start.offset,e.el.loc.end.offset],c=e=>[e.dir.loc.start.offset,e.dir.loc.end.offset];let a=!0;for(let t=0;t<e.length;t++){if(r(o[t])&&a){const n=[];for(let o=0;o<e.length;o++)o!==t&&n.push(i(e[o]));return{removed:n,dirRemovals:[c(e[t])]}}s(o[t])||(a=!1)}const u=o.findIndex(e=>!s(e));if(-1===u)return{removed:e.map(i),dirRemovals:[]};const f=[];for(let t=0;t<u;t++)f.push(i(e[t]));for(let t=u+1;t<e.length;t++)s(o[t])&&f.push(i(e[t]));if(0===u)return{removed:f,dirRemovals:[]};const l=e[u];if("else"===l.kind)return{removed:f,dirRemovals:[c(l)]};const p=l.dir.loc.start.offset;return{removed:f,dirRemovals:[],promotion:{from:p,to:p+9,text:"v-if"}}}function z(e,t){const n=e.loc;return!!n&&function(e,t){return t.some(([t,n])=>e[0]>=t&&e[1]<=n)}([n.start.offset,n.end.offset],t)}function O(e,t,n){if(!e||0===t.size&&0===n.size)return[];const o=[];return g(e,e=>{for(const r of D(e)){if(z(r[0].el,o))continue;const e=j(r,t,n);for(const t of e.removed)o.push(t)}}),o}const A=e=>e.endsWith(".vue"),C='escapes as value (e.g. <component :is="X">)',F="rendered through a barrel/named import (call sites unobservable)";function N(e){return e.sfc.scriptSetup?.base??0}async function q(e,t,n){return B(await $(e,t,n))}function B(e,t){const n=function(e,t){const n=new Map;for(const t of e.edges){const e=n.get(t.from);e?e.push(t):n.set(t.from,[t])}const o=new Map;for(const r of e.files)o.set(r.id,G(r,n.get(r.id)??[],t));return o}(e,t),o=new Set;for(const e of n.values())for(const t of e.escapedComponents)o.add(t);for(const e of o){const t=n.get(e);t&&!t.bailReasons.includes(C)&&t.bailReasons.push(C)}const r=new Set;for(const e of n.values())for(const t of e.barrelChildIds)r.add(t);for(const e of r){const t=n.get(e);t&&!t.bailReasons.includes(F)&&t.bailReasons.push(F)}let s=U(n,T(n,new Map));for(let e=0;e<10;e++){const e=U(n,T(n,X(n,s)));if(V(s,e)){s=e;break}s=e}return{models:n,plans:s}}async function $(e,t,n,o){const r=Array.isArray(e)?[...e]:[e],s=[],i=[],c=[...r],a=new Set(c);for(;c.length>0;){const e=c.shift();let r,u;try{r=await n(e)}catch{continue}s.push({id:e,code:r});try{u=m(e,r,o)}catch{continue}if(!u.scriptSetup)continue;const f=new Map,l=[];for(const o of ue(u.scriptSetup.ast)){if("default"===o.imported&&A(o.value)){const n=await t(o.value,e);n&&(i.push({from:e,local:o.local,to:n,kind:"default-vue"}),l.push(n));continue}const r=await de(o.value,o.imported,e,t,n);r&&(i.push({from:e,local:o.local,to:r,kind:"barrel"}),f.set(o.local,r))}const p=Z(u.template,f);for(const e of[...l,...p])a.has(e)||(a.add(e),c.push(e))}return{files:s,edges:i,entries:r}}function T(e,t){const n=new Map,o=e=>{let t=n.get(e);return t||(t={sites:[]},n.set(e,t)),t};for(const n of e.values()){const e=t.get(n.id)??[];N(n);for(const t of n.childCalls)e.length>0&&z(t.node,e)||o(t.childId).sites.push(ee(t.node))}return n}function U(e,t){const n=new Map;for(const o of e.values())n.set(o.id,ie(o,t.get(o.id)));return n}function V(e,t){if(e.size!==t.size)return!1;for(const[n,o]of e){const e=t.get(n);if(!e)return!1;if(o.bail!==e.bail)return!1;if(!J(o.constFold,e.constFold))return!1;if(!W(o.narrow,e.narrow))return!1}return!0}function J(e,t){if(e.size!==t.size)return!1;for(const[n,o]of e)if(!t.has(n)||!Object.is(t.get(n),o))return!1;return!0}function W(e,t){if(e.size!==t.size)return!1;for(const[n,o]of e){const e=t.get(n);if(!e||o.length!==e.length)return!1;for(let t=0;t<o.length;t++)if(!Object.is(o[t],e[t]))return!1}return!0}function X(e,t){const n=new Map;for(const o of e.values()){const e=t.get(o.id);if(e.bail)continue;const r=O(o.sfc.template,e.constFold,e.narrow);r.length>0&&n.set(o.id,r)}return n}function G(e,t,n){const{id:o,code:r}=e,i=m(o,r,n),c=new Map,a=new Map;for(const e of t)"default-vue"===e.kind?c.set(e.local,e.to):a.set(e.local,e.to);const f=[];if(i.scriptSetup)for(const e of function(e){const t=new Set;return h(e,e=>{"CallExpression"===e.type&&"Identifier"===e.callee?.type&&e.callee.name&&t.add(e.callee.name)}),t}(i.scriptSetup.ast))"defineExpose"===e&&f.push("defineExpose() (public instance surface)");let p,d,g,k=null,S=!1,b=!1;const x=new Set;if(i.scriptSetup){for(const e of ue(i.scriptSetup.ast))x.add(e.local);const e=function(e){const t=e.body??[];for(const e of t)if("VariableDeclaration"===e.type)for(const t of e.declarations??[]){const n=t.init,o=t.id;if("ObjectPattern"!==o?.type||"CallExpression"!==n?.type)continue;const r="Identifier"===n.callee?.type?n.callee.name:void 0;if("defineProps"===r)return{declaration:e,pattern:o,definePropsCall:n,withDefaults:new Map,sharesStatement:(e.declarations?.length??1)>1};if("withDefaults"===r){const t=n.arguments?.[0];if("CallExpression"!==t?.type||"Identifier"!==t.callee?.type)continue;if("defineProps"!==t.callee.name)continue;return{declaration:e,pattern:o,definePropsCall:t,withDefaults:ye(n.arguments?.[1]),sharesStatement:(e.declarations?.length??1)>1}}}return null}(i.scriptSetup.ast);if(e){d=e.declaration,p=e.pattern,g=e.definePropsCall,b=e.sharesStatement,e.sharesStatement&&f.push("defineProps() shares a multi-declarator statement"),k=[];for(const t of e.pattern.properties??[]){if("RestElement"===t.type){S=!0;continue}if("ObjectProperty"!==t.type)continue;const n=t.key;if("Identifier"!==n?.type||!n.name)continue;const o=t.value,r="AssignmentPattern"===o?.type?o.right:void 0;k.push({name:n.name,property:t,defaultExpr:r??e.withDefaults.get(n.name)})}}}const I=function(e,t){const n=[];return w(e,e=>{if(l(e)&&e.tag){const o=t.get(e.tag);o&&n.push({childId:o,node:e})}}),n}(i.template,c),E=Z(i.template,a),P=function(e){const t=new Set;w(e.template,e=>{if(e.type===s)for(const n of e.props??[])n.type===u&&("for"===n.name?H(v(n.exp),t):"slot"===n.name&&K(v(n.exp),t))});const n=e.scriptSetup;n&&h(n.ast,e=>{if("FunctionDeclaration"===e.type||"FunctionExpression"===e.type||"ArrowFunctionExpression"===e.type)for(const n of e.params??[])Q(n,t)});return t}(i),M=function(e,t,n){const o=new Set,r=e=>{if(!e)return;const n=t.get(e);n&&o.add(n)};w(e.template,e=>{if(e.type===s)for(const t of e.props??[])if(t.type===u&&"bind"===t.name&&"is"===_(t.arg)){const e=y(v(t.exp));"Identifier"===e?.type&&r(e.name)}});const i=e.scriptSetup;i&&h(i.ast,(e,o)=>{"Identifier"===e.type&&e.name&&t.has(e.name)&&n.has(e.name)&&function(e,t){return!!t&&(!("MemberExpression"===t.type&&t.property===e&&!t.computed)&&(!!("ObjectProperty"!==t.type&&"Property"!==t.type||t.key!==e||t.computed||!0===t.shorthand)&&!Y(t)))}(e,o)&&!Y(o)&&r(e.name)});return o}(i,c,x);return{id:o,code:r,sfc:i,imports:c,props:k,propsPattern:p,propsDeclaration:d,definePropsCall:g,hasRestProp:S,sharesStatement:b,childCalls:I,shadowedNames:P,escapedComponents:M,barrelChildIds:E,bailReasons:f}}function H(e,t){if(!e)return;const n=/^(.*?)\s+(?:in|of)\s+/s.exec(e),o=(n?n[1]:e).trim();o&&K(o,t)}function K(e,t){if(!e)return;const n=y(`(${e}) => 0`);if("ArrowFunctionExpression"!==n?.type){const n=y(e);return void(n&&Q(n,t))}for(const e of n.params??[])Q(e,t)}function Q(e,t){if(e)switch(e.type){case"Identifier":return void(e.name&&t.add(e.name));case"ObjectExpression":case"ObjectPattern":for(const n of e.properties??[])"RestElement"===n.type?Q(n.argument,t):"ObjectProperty"!==n.type&&"Property"!==n.type||Q(n.value??n.key,t);return;case"ArrayExpression":case"ArrayPattern":for(const n of e.elements??[])Q(n,t);return;case"AssignmentPattern":return void Q(e.left,t);case"RestElement":return void Q(e.argument,t);default:return}}function Y(e){return null!=e&&("ImportSpecifier"===e.type||"ImportDefaultSpecifier"===e.type||"ImportNamespaceSpecifier"===e.type||"ExportSpecifier"===e.type)}function Z(e,t){const n=new Set;return 0===t.size||w(e,e=>{if(l(e)&&e.tag){const o=t.get(e.tag);o&&n.add(o)}}),n}function _(e){return v(e)}function ee(e,t){const n=e.props??[];let o=-1;for(let e=0;e<n.length;e++){const t=n[e];t.type===u&&"bind"===t.name&&te(t)&&(o=e)}const r=new Map;for(let e=0;e<n.length;e++){const t=n[e],s=e>o;if(t.type===a){if(!t.name)continue;const e=oe(t);r.set(t.name,{value:e,dynamic:!1,afterLastSpread:s});continue}if(t.type===u){if("bind"===t.name){if(te(t))continue;const e=v(t.arg);if(!e)continue;const n=re(v(t.exp));r.set(e,n.known?{value:n.value,dynamic:!1,afterLastSpread:s}:ne(s));continue}if("model"===t.name){const e=v(t.arg)??"modelValue";r.set(e,ne(s));continue}}}return{hadSpread:o>=0,explicit:r}}function te(e){return null==e.arg||null==v(e.arg)}function ne(e){return{value:void 0,dynamic:!0,afterLastSpread:e}}function oe(e){const t=e.value;return!t||("string"==typeof t.content?t.content:"")}function re(e){const t=y(e);return t?S(t,new Map):{known:!1}}function se(e,t){return e.shadowedNames.has(t)}function ie(e,t){const n={id:e.id,bail:!1,reasons:[],constFold:new Map,narrow:new Map,valueSets:new Map};if(e.bailReasons.length>0)return n.bail=!0,n.reasons.push(...e.bailReasons),n;if(!e.props||0===e.props.length)return n;const o=t?.sites??[];if(0===o.length)return n;for(const t of e.props){if(se(e,t.name))continue;const r=ce(t,o);n.valueSets.set(t.name,r),r.top||r.dynamic||(1!==r.values.length?r.values.length>=2&&n.narrow.set(t.name,r.values):n.constFold.set(t.name,r.values[0]))}return n}function ce(e,t){const n=[];let o=!1,r=!1;const s=e=>{n.some(t=>Object.is(t,e))||n.push(e)};for(const n of t){const t=n.explicit.get(e.name);if(t?.afterLastSpread){t.dynamic?o=!0:s(t.value);continue}if(n.hadSpread){r=!0;continue}const i=ae(e.defaultExpr);i.known?s(i.value):o=!0}return{values:n,dynamic:o,top:r}}function ae(e){return e?S(e,new Map):{known:!0,value:void 0}}function*ue(e){const t=e.body??[];for(const e of t){if("ImportDeclaration"!==e.type)continue;const t=e.source?.value;if("string"==typeof t)for(const n of e.specifiers??[]){const e=n.local?.name;e&&("ImportDefaultSpecifier"===n.type?yield{value:t,local:e,imported:"default"}:"ImportNamespaceSpecifier"===n.type?yield{value:t,local:e,imported:"*"}:"ImportSpecifier"===n.type&&(yield{value:t,local:e,imported:fe(n)??e}))}}}function fe(e){const t=e.imported;return"Identifier"===t?.type&&t.name?t.name:"StringLiteral"===t?.type&&"string"==typeof t.value?t.value:void 0}function le(e){return"Identifier"===e?.type&&e.name?e.name:"StringLiteral"===e?.type&&"string"==typeof e.value?e.value:void 0}const pe=8;async function de(e,t,n,o,r,s=0){if(s>pe)return null;const i=await o(e,n);if(!i)return null;if(A(e)||A(i))return"default"===t||"*"===t?i:null;let c;try{c=await r(i)}catch{return null}const a=function(e){try{const t=d(`<script setup>\n${e}\n<\/script>`,"barrel.vue");return t.scriptSetup?.ast.body??null}catch{return null}}(c);if(!a)return null;for(const e of a)if("ExportNamedDeclaration"===e.type&&e.source?.value){for(const n of e.specifiers??[])if(le(n.exported)===t)return de(String(e.source.value),le(n.local)??"default",i,o,r,s+1)}else if("ExportNamedDeclaration"!==e.type||e.source){if("ExportAllDeclaration"===e.type&&e.source?.value){const n=await de(String(e.source.value),t,i,o,r,s+1);if(n)return n}}else for(const n of e.specifiers??[]){if(le(n.exported)!==t)continue;const e=le(n.local);if(!e)continue;const c=me(a,e);return c?de(c.value,c.imported,i,o,r,s+1):null}return null}function me(e,t){for(const n of e){if("ImportDeclaration"!==n.type)continue;const e=n.source?.value;if("string"==typeof e)for(const o of n.specifiers??[])if(o.local?.name===t){if("ImportDefaultSpecifier"===o.type)return{value:e,imported:"default"};if("ImportNamespaceSpecifier"===o.type)return{value:e,imported:"*"};if("ImportSpecifier"===o.type)return{value:e,imported:fe(o)??t}}}return null}function ye(e){const t=new Map;if("ObjectExpression"!==e?.type)return t;for(const n of e.properties??[]){if("ObjectProperty"!==n.type)continue;const e=n.key,o="Identifier"===e?.type?e.name:void 0;o&&n.value&&t.set(o,n.value)}return t}const ve=Symbol("unbounded-class-source");function we(e,t,n){if(!e)return ve;if("ObjectExpression"===e.type){const t=new Set;for(const n of e.properties??[]){if("ObjectProperty"!==n.type)return ve;const e=n.key,o="Identifier"===e?.type?e.name:"StringLiteral"===e?.type?e.value:void 0;if(null==o)return ve;for(const e of o.split(/\s+/))e&&t.add(e)}return t}if("ArrayExpression"===e.type){const o=new Set;for(const r of e.elements??[]){if(!r)continue;const e=we(r,t,n);if(e===ve)return ve;for(const t of e)o.add(t)}return o}const o=ge(e,t,n);if(o===ve)return ve;const r=new Set;for(const e of o)for(const t of e.split(/\s+/))t&&r.add(t);return r}function ge(e,t,n){if(!e)return ve;switch(e.type){case"StringLiteral":case"NumericLiteral":case"BooleanLiteral":return new Set([String(e.value)]);case"Identifier":{const o=e.name??"";if(n.has(o)){const e=new Set;for(const t of n.get(o))e.add(String(t));return e}const r=S(e,t);return r.known?new Set([String(r.value)]):ve}case"TemplateLiteral":{const o=e.quasis??[],r=e.expressions??[];let s=[he(o[0])];for(let e=0;e<r.length;e++){const i=ge(r[e],t,n);if(i===ve)return ve;const c=he(o[e+1]),a=[];for(const e of s)for(const t of i)if(a.push(e+t+c),a.length>64)return ve;s=a}return new Set(s)}case"BinaryExpression":{if("+"!==e.operator)break;const o=ge(e.left,t,n),r=ge(e.right,t,n);if(o===ve||r===ve)return ve;const s=new Set;for(const e of o)for(const t of r)if(s.add(e+t),s.size>64)return ve;return s}case"ConditionalExpression":{const o=S(e.test,t);if(o.known)return ge(o.value?e.consequent:e.alternate,t,n);const r=ge(e.consequent,t,n),s=ge(e.alternate,t,n);return r===ve||s===ve?ve:new Set([...r,...s])}}const o=S(e,t);return o.known?new Set([String(o.value)]):ve}function he(e){const t=e?.value;return t?.cooked??t?.raw??""}function ke(e,t,n){const r=function(e,t){const n=new Set;let o=!1;const r=t.constFold,i=t.narrow;return w(e.sfc.template,e=>{if(e.type===s)for(const t of e.props??[]){if(t.type===a){if("class"===t.name){const e=t.value,o="string"==typeof e?.content?e.content:"";for(const e of o.split(/\s+/))e&&n.add(e)}continue}if(t.type!==u||"bind"!==t.name)continue;const e=v(t.arg);if(null==t.arg||null==e){o=!0;continue}if("class"!==e)continue;const s=we(y(v(t.exp)),r,i);if(s===ve)o=!0;else for(const e of s)n.add(e)}}),{classes:n,unbounded:o}}(e,t);if(r.unbounded)return 0;let i=0;for(const t of e.sfc.styles){if(!t.scoped)continue;let e;try{e=o.parse(t.content)}catch{continue}let s=0;if(e.each(e=>{"rule"===e.type&&Se(e,r.classes)&&(e.remove(),s+=1)}),s>0){const o=t.base+t.content.length;n.overwrite(t.base,o,e.toString()),i+=s}}return i}function Se(e,t){let n=!1;try{r(e=>{let o=!1,r=!0,s=!1;e.each(e=>{s=!0;const n=[];e.walkPseudos(e=>{const t=e.value;(t.includes("deep")||t.includes("global")||t.includes("slotted"))&&(o=!0)}),e.walkClasses(e=>{n.push(e.value)});n.some(e=>!t.has(e))||(r=!1)}),n=s&&r&&!o}).processSync(e.selector)}catch{return!1}return n}function be(e,t){const o=new Map,r=new Map;for(const s of e.values()){const e=new n(s.code);o.set(s.id,e);const i=t.get(s.id);r.set(s.id,i.bail?new Set:xe(s,i.constFold,i.narrow,i,e))}for(const t of e.values())Le(t,r,o.get(t.id));const s={};for(const t of e.values())s[t.id]=o.get(t.id).toString();return s}function xe(e,t,n,o,r){if(0===t.size&&0===n.size)return new Set;!function(e,t,n,o,r){const s=e.code;g(e.sfc.template,e=>{for(const i of D(e)){if(z(i[0].el,r))continue;const e=j(i,t,n);for(const[t,n]of e.removed)Ie(s,t,n,o),r.push([t,n]);for(const[t,n]of e.dirRemovals)Ie(s,t,n,o);if(e.promotion){const{from:t,to:n,text:r}=e.promotion;o.overwrite(t,n,r)}}})}(e,t,n,r,[]);const s=function(e,t,n){const o=new Set,r=e.sfc.scriptSetup;if(!(e.props&&0!==t.size&&r&&e.propsDeclaration&&e.propsPattern))return o;const s=r.base,i=e.props.filter(e=>t.has(e.name));if(0===i.length)return o;for(const e of i)o.add(e.name);const c=i.map(e=>{return`const ${e.name} = ${n=t.get(e.name),void 0===n?"undefined":JSON.stringify(n)};`;var n}).join("\n"),a=e.props.filter(e=>!t.has(e.name)),u=s+(e.propsDeclaration.start??0);let f=s+(e.propsDeclaration.end??0);";"===e.code[f]&&(f+=1);if(0===a.length&&!e.hasRestProp)return n.overwrite(u,f,c),o;const l=e.propsPattern?.properties??[];for(const t of i)Ee(l,t.property,s,n,e.code),Pe(e.definePropsCall,t.name,s,n,e.code);return n.appendLeft(f,`\n${c}`),o}(e,t,r);return ke(e,{...o,constFold:t,narrow:n},r),s}function Ie(e,t,n,o){let r=t;for(;r>0&&(" "===e[r-1]||"\t"===e[r-1]);)r-=1;o.remove(r,n)}function Ee(e,t,n,o,r){const s=e.indexOf(t);Me(t,e[s-1],n,o,r)}function Pe(e,t,n,o,r){const s=e?.typeParameters?.params?.[0],i=s?.members??[],c=i.findIndex(e=>"Identifier"===e.key?.type&&e.key.name===t);-1!==c&&Me(i[c],i[c-1],n,o,r)}function Me(e,t,n,o,r){const s=n+(e.start??0),i=n+(e.end??0);let c=i;for(;c<r.length&&(" "===r[c]||"\t"===r[c]);)c+=1;if(","===r[c]){let e=c+1;for(;e<r.length&&(" "===r[e]||"\t"===r[e]||"\n"===r[e]);)e+=1;return void o.remove(s,e)}t?o.remove(n+(t.end??0),i):o.remove(s,i)}function Le(e,t,n){const o=e.code;w(e.sfc.template,r=>{if(!l(r)||!r.tag)return;const s=e.imports.get(r.tag),i=s?t.get(s):void 0;if(i&&0!==i.size)for(const e of r.props??[])if(e.type===a)e.name&&i.has(e.name)&&Re(o,e,n);else if(e.type===u&&"bind"===e.name){const t=v(e.arg);t&&i.has(t)&&De(e)&&Re(o,e,n)}})}function De(e){const t=v(e.exp);if(null==t)return!1;const n=y(t);return null!=n&&S(n,new Map).known}function Re(e,t,n){const o=t.loc;let r=o.start.offset;for(;r>0&&(" "===e[r-1]||"\t"===e[r-1]||"\n"===e[r-1]);)r-=1;n.remove(r,o.end.offset)}exports.analyze=q,exports.analyzeInput=B,exports.buildAnalyzeInput=$,exports.transformAll=be,exports.vueShaker=async function(e,t,n){const{models:o,plans:r}=await q(e,t,n);return be(o,r)};

package/dist/index.js

@@ -0,0 +1 @@
+import{parse as e}from"@vue/compiler-sfc";import{parseExpression as t,parse as n}from"@babel/parser";import o from"magic-string";import{parse as r}from"postcss";import s from"postcss-selector-parser";const i=1,c=2,a=3,u=6,f=7,l=1,p=e=>e.type===i&&e.tagType===l,d=["typescript"];function m(t,o){const{descriptor:r}=e(t,{filename:o}),s=r;let i;if(s.scriptSetup){const e=s.scriptSetup,t=e.attrs?.lang;i={content:e.content,base:e.loc.start.offset,endOffset:e.loc.end.offset,ast:(c=e.content,n(c,{sourceType:"module",plugins:[...d]}).program),lang:"string"==typeof t?t:void 0}}var c;const a=(s.styles??[]).map(e=>({content:e.content,base:e.loc.start.offset,scoped:!0===e.scoped}));return{id:o,code:t,template:s.template?.ast??void 0,scriptSetup:i,hasPlainScript:null!=s.script,styles:a}}function y(e,t,n){if(!n)return m(t,e);const o=n.get(e);if(o&&o.code===t)return o.sfc;const r=m(t,e);return n.set(e,{code:t,sfc:r}),r}function v(e){if(null!=e&&""!==e.trim())try{return t(e,{plugins:[...d]})}catch{return}}function w(e){if(e)return"string"==typeof e.content?e.content:void 0}function g(e,t){if(!e)return;if(!1!==t(e))for(const n of e.children??[])g(n,t)}function h(e,t){if(!e)return;const n=e.children;if(n){t(n,e);for(const e of n)h(e,t)}}function k(e,t,n=null){if(e&&"object"==typeof e&&"string"==typeof e.type){t(e,n);for(const n of Object.values(e))if(Array.isArray(n))for(const o of n)k(o,t,e);else n&&"object"==typeof n&&"string"==typeof n.type&&k(n,t,e)}}const S={known:!1};function b(e,t){if(!e)return S;switch(e.type){case"Literal":case"StringLiteral":case"NumericLiteral":case"BooleanLiteral":return{known:!0,value:e.value};case"NullLiteral":return{known:!0,value:null};case"Identifier":{const n=e.name??"";return"undefined"===n?{known:!0,value:void 0}:t.has(n)?{known:!0,value:t.get(n)}:S}case"UnaryExpression":{const n=b(e.argument,t);if(!n.known)return S;const o=n.value;switch(e.operator){case"!":return{known:!0,value:!o};case"-":return{known:!0,value:-o};case"+":return{known:!0,value:+o};case"typeof":return{known:!0,value:typeof o};case"void":return{known:!0,value:void 0};default:return S}}case"LogicalExpression":{const n=b(e.left,t);if(!n.known)return S;switch(e.operator){case"&&":return n.value?b(e.right,t):n;case"||":return n.value?n:b(e.right,t);case"??":return null===n.value||void 0===n.value?b(e.right,t):n;default:return S}}case"BinaryExpression":{const n=b(e.left,t),o=b(e.right,t);if(!n.known||!o.known)return S;const r=n.value,s=o.value;switch(e.operator){case"===":return{known:!0,value:r===s};case"!==":return{known:!0,value:r!==s};case"==":return{known:!0,value:r==s};case"!=":return{known:!0,value:r!=s};case"<":return{known:!0,value:r<s};case">":return{known:!0,value:r>s};case"<=":return{known:!0,value:r<=s};case">=":return{known:!0,value:r>=s};case"+":return{known:!0,value:r+s};case"-":return{known:!0,value:r-s};case"*":return{known:!0,value:r*s};case"/":return{known:!0,value:r/s};case"%":return{known:!0,value:r%s};default:return S}}default:return S}}function x(e,t,n){const o=b(e,t);if(o.known)return o;const r=I(e,t,n);return"unknown"===r?S:{known:!0,value:r}}function I(e,t,n){if(!e)return"unknown";switch(e.type){case"UnaryExpression":return"!"===e.operator?M(I(e.argument,t,n)):"unknown";case"LogicalExpression":{const s=I(e.left,t,n),i=()=>I(e.right,t,n);return"&&"===e.operator?!1!==s&&(o=s,r=i(),!1!==o&&!1!==r&&(!0===o&&!0===r||"unknown")):"||"===e.operator?!0===s||function(e,t){return!0===e||!0===t||(!1!==e||!1!==t)&&"unknown"}(s,i()):"unknown"}case"BinaryExpression":{const o=e.operator;if("==="===o||"=="===o||"!=="===o||"!="===o){const r="=="===o||"!="===o,s=function(e,t,n,o,r){const s=E(e,o),i=b(t,n);if(s&&i.known)return P(s,i.value,r);const c=E(t,o),a=b(e,n);return c&&a.known?P(c,a.value,r):a.known&&i.known?r?a.value==i.value:a.value===i.value:"unknown"}(e.left,e.right,t,n,r);return"!=="===o||"!="===o?M(s):s}return"unknown"}default:return"unknown"}var o,r}function E(e,t){return"Identifier"===e?.type&&e.name&&t.has(e.name)?t.get(e.name):null}function P(e,t,n){const o=n?e=>e==t:e=>e===t;return!!e.some(o)&&(!!e.every(o)||"unknown")}function M(e){return!0!==e&&(!1===e||"unknown")}function L(e){if(e.type===i)for(const t of e.props??[])if(t.type===f){if("if"===t.name)return{dir:t,kind:"if"};if("else-if"===t.name)return{dir:t,kind:"else-if"};if("else"===t.name)return{dir:t,kind:"else"}}}const D=e=>e.type===c&&"string"==typeof e.content&&""===e.content.trim()||e.type===a;function R(e){const t=[];for(let n=0;n<e.length;n++){const o=e[n],r=L(o);if(!r||"if"!==r.kind)continue;const s=[j(o,r.dir,"if")];let i=n+1;for(;i<e.length;i++){const t=e[i];if(D(t))continue;const n=L(t);if(!n||"if"===n.kind)break;if(s.push(j(t,n.dir,n.kind)),"else"===n.kind){i++;break}}t.push(s),n=i-1}return t}function j(e,t,n){return{el:e,dir:t,kind:n,testAst:"else"===n?void 0:v(w(t.exp))}}function O(e,t,n){const o=e.map(e=>"else"===e.kind?{known:!0,value:!0}:x(e.testAst,t,n)),r=e=>e.known&&Boolean(e.value),s=e=>e.known&&!e.value,i=e=>[e.el.loc.start.offset,e.el.loc.end.offset],c=e=>[e.dir.loc.start.offset,e.dir.loc.end.offset];let a=!0;for(let t=0;t<e.length;t++){if(r(o[t])&&a){const n=[];for(let o=0;o<e.length;o++)o!==t&&n.push(i(e[o]));return{removed:n,dirRemovals:[c(e[t])]}}s(o[t])||(a=!1)}const u=o.findIndex(e=>!s(e));if(-1===u)return{removed:e.map(i),dirRemovals:[]};const f=[];for(let t=0;t<u;t++)f.push(i(e[t]));for(let t=u+1;t<e.length;t++)s(o[t])&&f.push(i(e[t]));if(0===u)return{removed:f,dirRemovals:[]};const l=e[u];if("else"===l.kind)return{removed:f,dirRemovals:[c(l)]};const p=l.dir.loc.start.offset;return{removed:f,dirRemovals:[],promotion:{from:p,to:p+9,text:"v-if"}}}function C(e,t){const n=e.loc;return!!n&&function(e,t){return t.some(([t,n])=>e[0]>=t&&e[1]<=n)}([n.start.offset,n.end.offset],t)}function z(e,t,n){if(!e||0===t.size&&0===n.size)return[];const o=[];return h(e,e=>{for(const r of R(e)){if(C(r[0].el,o))continue;const e=O(r,t,n);for(const t of e.removed)o.push(t)}}),o}const A=e=>e.endsWith(".vue"),F='escapes as value (e.g. <component :is="X">)',N="rendered through a barrel/named import (call sites unobservable)";function B(e){return e.sfc.scriptSetup?.base??0}async function $(e,t,n){return q(await T(e,t,n))}function q(e,t){const n=function(e,t){const n=new Map;for(const t of e.edges){const e=n.get(t.from);e?e.push(t):n.set(t.from,[t])}const o=new Map;for(const r of e.files)o.set(r.id,H(r,n.get(r.id)??[],t));return o}(e,t),o=new Set;for(const e of n.values())for(const t of e.escapedComponents)o.add(t);for(const e of o){const t=n.get(e);t&&!t.bailReasons.includes(F)&&t.bailReasons.push(F)}const r=new Set;for(const e of n.values())for(const t of e.barrelChildIds)r.add(t);for(const e of r){const t=n.get(e);t&&!t.bailReasons.includes(N)&&t.bailReasons.push(N)}let s=V(n,U(n,new Map));for(let e=0;e<10;e++){const e=V(n,U(n,G(n,s)));if(J(s,e)){s=e;break}s=e}return{models:n,plans:s}}async function T(e,t,n,o){const r=Array.isArray(e)?[...e]:[e],s=[],i=[],c=[...r],a=new Set(c);for(;c.length>0;){const e=c.shift();let r,u;try{r=await n(e)}catch{continue}s.push({id:e,code:r});try{u=y(e,r,o)}catch{continue}if(!u.scriptSetup)continue;const f=new Map,l=[];for(const o of fe(u.scriptSetup.ast)){if("default"===o.imported&&A(o.value)){const n=await t(o.value,e);n&&(i.push({from:e,local:o.local,to:n,kind:"default-vue"}),l.push(n));continue}const r=await me(o.value,o.imported,e,t,n);r&&(i.push({from:e,local:o.local,to:r,kind:"barrel"}),f.set(o.local,r))}const p=_(u.template,f);for(const e of[...l,...p])a.has(e)||(a.add(e),c.push(e))}return{files:s,edges:i,entries:r}}function U(e,t){const n=new Map,o=e=>{let t=n.get(e);return t||(t={sites:[]},n.set(e,t)),t};for(const n of e.values()){const e=t.get(n.id)??[];B(n);for(const t of n.childCalls)e.length>0&&C(t.node,e)||o(t.childId).sites.push(te(t.node))}return n}function V(e,t){const n=new Map;for(const o of e.values())n.set(o.id,ce(o,t.get(o.id)));return n}function J(e,t){if(e.size!==t.size)return!1;for(const[n,o]of e){const e=t.get(n);if(!e)return!1;if(o.bail!==e.bail)return!1;if(!W(o.constFold,e.constFold))return!1;if(!X(o.narrow,e.narrow))return!1}return!0}function W(e,t){if(e.size!==t.size)return!1;for(const[n,o]of e)if(!t.has(n)||!Object.is(t.get(n),o))return!1;return!0}function X(e,t){if(e.size!==t.size)return!1;for(const[n,o]of e){const e=t.get(n);if(!e||o.length!==e.length)return!1;for(let t=0;t<o.length;t++)if(!Object.is(o[t],e[t]))return!1}return!0}function G(e,t){const n=new Map;for(const o of e.values()){const e=t.get(o.id);if(e.bail)continue;const r=z(o.sfc.template,e.constFold,e.narrow);r.length>0&&n.set(o.id,r)}return n}function H(e,t,n){const{id:o,code:r}=e,s=y(o,r,n),c=new Map,a=new Map;for(const e of t)"default-vue"===e.kind?c.set(e.local,e.to):a.set(e.local,e.to);const u=[];if(s.scriptSetup)for(const e of function(e){const t=new Set;return k(e,e=>{"CallExpression"===e.type&&"Identifier"===e.callee?.type&&e.callee.name&&t.add(e.callee.name)}),t}(s.scriptSetup.ast))"defineExpose"===e&&u.push("defineExpose() (public instance surface)");let l,d,m,h=null,S=!1,b=!1;const x=new Set;if(s.scriptSetup){for(const e of fe(s.scriptSetup.ast))x.add(e.local);const e=function(e){const t=e.body??[];for(const e of t)if("VariableDeclaration"===e.type)for(const t of e.declarations??[]){const n=t.init,o=t.id;if("ObjectPattern"!==o?.type||"CallExpression"!==n?.type)continue;const r="Identifier"===n.callee?.type?n.callee.name:void 0;if("defineProps"===r)return{declaration:e,pattern:o,definePropsCall:n,withDefaults:new Map,sharesStatement:(e.declarations?.length??1)>1};if("withDefaults"===r){const t=n.arguments?.[0];if("CallExpression"!==t?.type||"Identifier"!==t.callee?.type)continue;if("defineProps"!==t.callee.name)continue;return{declaration:e,pattern:o,definePropsCall:t,withDefaults:ve(n.arguments?.[1]),sharesStatement:(e.declarations?.length??1)>1}}}return null}(s.scriptSetup.ast);if(e){d=e.declaration,l=e.pattern,m=e.definePropsCall,b=e.sharesStatement,e.sharesStatement&&u.push("defineProps() shares a multi-declarator statement"),h=[];for(const t of e.pattern.properties??[]){if("RestElement"===t.type){S=!0;continue}if("ObjectProperty"!==t.type)continue;const n=t.key;if("Identifier"!==n?.type||!n.name)continue;const o=t.value,r="AssignmentPattern"===o?.type?o.right:void 0;h.push({name:n.name,property:t,defaultExpr:r??e.withDefaults.get(n.name)})}}}const I=function(e,t){const n=[];return g(e,e=>{if(p(e)&&e.tag){const o=t.get(e.tag);o&&n.push({childId:o,node:e})}}),n}(s.template,c),E=_(s.template,a),P=function(e){const t=new Set;g(e.template,e=>{if(e.type===i)for(const n of e.props??[])n.type===f&&("for"===n.name?K(w(n.exp),t):"slot"===n.name&&Q(w(n.exp),t))});const n=e.scriptSetup;n&&k(n.ast,e=>{if("FunctionDeclaration"===e.type||"FunctionExpression"===e.type||"ArrowFunctionExpression"===e.type)for(const n of e.params??[])Y(n,t)});return t}(s),M=function(e,t,n){const o=new Set,r=e=>{if(!e)return;const n=t.get(e);n&&o.add(n)};g(e.template,e=>{if(e.type===i)for(const t of e.props??[])if(t.type===f&&"bind"===t.name&&"is"===ee(t.arg)){const e=v(w(t.exp));"Identifier"===e?.type&&r(e.name)}});const s=e.scriptSetup;s&&k(s.ast,(e,o)=>{"Identifier"===e.type&&e.name&&t.has(e.name)&&n.has(e.name)&&function(e,t){return!!t&&(!("MemberExpression"===t.type&&t.property===e&&!t.computed)&&(!!("ObjectProperty"!==t.type&&"Property"!==t.type||t.key!==e||t.computed||!0===t.shorthand)&&!Z(t)))}(e,o)&&!Z(o)&&r(e.name)});return o}(s,c,x);return{id:o,code:r,sfc:s,imports:c,props:h,propsPattern:l,propsDeclaration:d,definePropsCall:m,hasRestProp:S,sharesStatement:b,childCalls:I,shadowedNames:P,escapedComponents:M,barrelChildIds:E,bailReasons:u}}function K(e,t){if(!e)return;const n=/^(.*?)\s+(?:in|of)\s+/s.exec(e),o=(n?n[1]:e).trim();o&&Q(o,t)}function Q(e,t){if(!e)return;const n=v(`(${e}) => 0`);if("ArrowFunctionExpression"!==n?.type){const n=v(e);return void(n&&Y(n,t))}for(const e of n.params??[])Y(e,t)}function Y(e,t){if(e)switch(e.type){case"Identifier":return void(e.name&&t.add(e.name));case"ObjectExpression":case"ObjectPattern":for(const n of e.properties??[])"RestElement"===n.type?Y(n.argument,t):"ObjectProperty"!==n.type&&"Property"!==n.type||Y(n.value??n.key,t);return;case"ArrayExpression":case"ArrayPattern":for(const n of e.elements??[])Y(n,t);return;case"AssignmentPattern":return void Y(e.left,t);case"RestElement":return void Y(e.argument,t);default:return}}function Z(e){return null!=e&&("ImportSpecifier"===e.type||"ImportDefaultSpecifier"===e.type||"ImportNamespaceSpecifier"===e.type||"ExportSpecifier"===e.type)}function _(e,t){const n=new Set;return 0===t.size||g(e,e=>{if(p(e)&&e.tag){const o=t.get(e.tag);o&&n.add(o)}}),n}function ee(e){return w(e)}function te(e,t){const n=e.props??[];let o=-1;for(let e=0;e<n.length;e++){const t=n[e];t.type===f&&"bind"===t.name&&ne(t)&&(o=e)}const r=new Map;for(let e=0;e<n.length;e++){const t=n[e],s=e>o;if(t.type===u){if(!t.name)continue;const e=re(t);r.set(t.name,{value:e,dynamic:!1,afterLastSpread:s});continue}if(t.type===f){if("bind"===t.name){if(ne(t))continue;const e=w(t.arg);if(!e)continue;const n=se(w(t.exp));r.set(e,n.known?{value:n.value,dynamic:!1,afterLastSpread:s}:oe(s));continue}if("model"===t.name){const e=w(t.arg)??"modelValue";r.set(e,oe(s));continue}}}return{hadSpread:o>=0,explicit:r}}function ne(e){return null==e.arg||null==w(e.arg)}function oe(e){return{value:void 0,dynamic:!0,afterLastSpread:e}}function re(e){const t=e.value;return!t||("string"==typeof t.content?t.content:"")}function se(e){const t=v(e);return t?b(t,new Map):{known:!1}}function ie(e,t){return e.shadowedNames.has(t)}function ce(e,t){const n={id:e.id,bail:!1,reasons:[],constFold:new Map,narrow:new Map,valueSets:new Map};if(e.bailReasons.length>0)return n.bail=!0,n.reasons.push(...e.bailReasons),n;if(!e.props||0===e.props.length)return n;const o=t?.sites??[];if(0===o.length)return n;for(const t of e.props){if(ie(e,t.name))continue;const r=ae(t,o);n.valueSets.set(t.name,r),r.top||r.dynamic||(1!==r.values.length?r.values.length>=2&&n.narrow.set(t.name,r.values):n.constFold.set(t.name,r.values[0]))}return n}function ae(e,t){const n=[];let o=!1,r=!1;const s=e=>{n.some(t=>Object.is(t,e))||n.push(e)};for(const n of t){const t=n.explicit.get(e.name);if(t?.afterLastSpread){t.dynamic?o=!0:s(t.value);continue}if(n.hadSpread){r=!0;continue}const i=ue(e.defaultExpr);i.known?s(i.value):o=!0}return{values:n,dynamic:o,top:r}}function ue(e){return e?b(e,new Map):{known:!0,value:void 0}}function*fe(e){const t=e.body??[];for(const e of t){if("ImportDeclaration"!==e.type)continue;const t=e.source?.value;if("string"==typeof t)for(const n of e.specifiers??[]){const e=n.local?.name;e&&("ImportDefaultSpecifier"===n.type?yield{value:t,local:e,imported:"default"}:"ImportNamespaceSpecifier"===n.type?yield{value:t,local:e,imported:"*"}:"ImportSpecifier"===n.type&&(yield{value:t,local:e,imported:le(n)??e}))}}}function le(e){const t=e.imported;return"Identifier"===t?.type&&t.name?t.name:"StringLiteral"===t?.type&&"string"==typeof t.value?t.value:void 0}function pe(e){return"Identifier"===e?.type&&e.name?e.name:"StringLiteral"===e?.type&&"string"==typeof e.value?e.value:void 0}const de=8;async function me(e,t,n,o,r,s=0){if(s>de)return null;const i=await o(e,n);if(!i)return null;if(A(e)||A(i))return"default"===t||"*"===t?i:null;let c;try{c=await r(i)}catch{return null}const a=function(e){try{const t=m(`<script setup>\n${e}\n<\/script>`,"barrel.vue");return t.scriptSetup?.ast.body??null}catch{return null}}(c);if(!a)return null;for(const e of a)if("ExportNamedDeclaration"===e.type&&e.source?.value){for(const n of e.specifiers??[])if(pe(n.exported)===t)return me(String(e.source.value),pe(n.local)??"default",i,o,r,s+1)}else if("ExportNamedDeclaration"!==e.type||e.source){if("ExportAllDeclaration"===e.type&&e.source?.value){const n=await me(String(e.source.value),t,i,o,r,s+1);if(n)return n}}else for(const n of e.specifiers??[]){if(pe(n.exported)!==t)continue;const e=pe(n.local);if(!e)continue;const c=ye(a,e);return c?me(c.value,c.imported,i,o,r,s+1):null}return null}function ye(e,t){for(const n of e){if("ImportDeclaration"!==n.type)continue;const e=n.source?.value;if("string"==typeof e)for(const o of n.specifiers??[])if(o.local?.name===t){if("ImportDefaultSpecifier"===o.type)return{value:e,imported:"default"};if("ImportNamespaceSpecifier"===o.type)return{value:e,imported:"*"};if("ImportSpecifier"===o.type)return{value:e,imported:le(o)??t}}}return null}function ve(e){const t=new Map;if("ObjectExpression"!==e?.type)return t;for(const n of e.properties??[]){if("ObjectProperty"!==n.type)continue;const e=n.key,o="Identifier"===e?.type?e.name:void 0;o&&n.value&&t.set(o,n.value)}return t}const we=Symbol("unbounded-class-source");function ge(e,t,n){if(!e)return we;if("ObjectExpression"===e.type){const t=new Set;for(const n of e.properties??[]){if("ObjectProperty"!==n.type)return we;const e=n.key,o="Identifier"===e?.type?e.name:"StringLiteral"===e?.type?e.value:void 0;if(null==o)return we;for(const e of o.split(/\s+/))e&&t.add(e)}return t}if("ArrayExpression"===e.type){const o=new Set;for(const r of e.elements??[]){if(!r)continue;const e=ge(r,t,n);if(e===we)return we;for(const t of e)o.add(t)}return o}const o=he(e,t,n);if(o===we)return we;const r=new Set;for(const e of o)for(const t of e.split(/\s+/))t&&r.add(t);return r}function he(e,t,n){if(!e)return we;switch(e.type){case"StringLiteral":case"NumericLiteral":case"BooleanLiteral":return new Set([String(e.value)]);case"Identifier":{const o=e.name??"";if(n.has(o)){const e=new Set;for(const t of n.get(o))e.add(String(t));return e}const r=b(e,t);return r.known?new Set([String(r.value)]):we}case"TemplateLiteral":{const o=e.quasis??[],r=e.expressions??[];let s=[ke(o[0])];for(let e=0;e<r.length;e++){const i=he(r[e],t,n);if(i===we)return we;const c=ke(o[e+1]),a=[];for(const e of s)for(const t of i)if(a.push(e+t+c),a.length>64)return we;s=a}return new Set(s)}case"BinaryExpression":{if("+"!==e.operator)break;const o=he(e.left,t,n),r=he(e.right,t,n);if(o===we||r===we)return we;const s=new Set;for(const e of o)for(const t of r)if(s.add(e+t),s.size>64)return we;return s}case"ConditionalExpression":{const o=b(e.test,t);if(o.known)return he(o.value?e.consequent:e.alternate,t,n);const r=he(e.consequent,t,n),s=he(e.alternate,t,n);return r===we||s===we?we:new Set([...r,...s])}}const o=b(e,t);return o.known?new Set([String(o.value)]):we}function ke(e){const t=e?.value;return t?.cooked??t?.raw??""}function Se(e,t,n){const o=function(e,t){const n=new Set;let o=!1;const r=t.constFold,s=t.narrow;return g(e.sfc.template,e=>{if(e.type===i)for(const t of e.props??[]){if(t.type===u){if("class"===t.name){const e=t.value,o="string"==typeof e?.content?e.content:"";for(const e of o.split(/\s+/))e&&n.add(e)}continue}if(t.type!==f||"bind"!==t.name)continue;const e=w(t.arg);if(null==t.arg||null==e){o=!0;continue}if("class"!==e)continue;const i=ge(v(w(t.exp)),r,s);if(i===we)o=!0;else for(const e of i)n.add(e)}}),{classes:n,unbounded:o}}(e,t);if(o.unbounded)return 0;let s=0;for(const t of e.sfc.styles){if(!t.scoped)continue;let e;try{e=r(t.content)}catch{continue}let i=0;if(e.each(e=>{"rule"===e.type&&be(e,o.classes)&&(e.remove(),i+=1)}),i>0){const o=t.base+t.content.length;n.overwrite(t.base,o,e.toString()),s+=i}}return s}function be(e,t){let n=!1;try{s(e=>{let o=!1,r=!0,s=!1;e.each(e=>{s=!0;const n=[];e.walkPseudos(e=>{const t=e.value;(t.includes("deep")||t.includes("global")||t.includes("slotted"))&&(o=!0)}),e.walkClasses(e=>{n.push(e.value)});n.some(e=>!t.has(e))||(r=!1)}),n=s&&r&&!o}).processSync(e.selector)}catch{return!1}return n}function xe(e,t){const n=new Map,r=new Map;for(const s of e.values()){const e=new o(s.code);n.set(s.id,e);const i=t.get(s.id);r.set(s.id,i.bail?new Set:Ie(s,i.constFold,i.narrow,i,e))}for(const t of e.values())De(t,r,n.get(t.id));const s={};for(const t of e.values())s[t.id]=n.get(t.id).toString();return s}function Ie(e,t,n,o,r){if(0===t.size&&0===n.size)return new Set;!function(e,t,n,o,r){const s=e.code;h(e.sfc.template,e=>{for(const i of R(e)){if(C(i[0].el,r))continue;const e=O(i,t,n);for(const[t,n]of e.removed)Ee(s,t,n,o),r.push([t,n]);for(const[t,n]of e.dirRemovals)Ee(s,t,n,o);if(e.promotion){const{from:t,to:n,text:r}=e.promotion;o.overwrite(t,n,r)}}})}(e,t,n,r,[]);const s=function(e,t,n){const o=new Set,r=e.sfc.scriptSetup;if(!(e.props&&0!==t.size&&r&&e.propsDeclaration&&e.propsPattern))return o;const s=r.base,i=e.props.filter(e=>t.has(e.name));if(0===i.length)return o;for(const e of i)o.add(e.name);const c=i.map(e=>{return`const ${e.name} = ${n=t.get(e.name),void 0===n?"undefined":JSON.stringify(n)};`;var n}).join("\n"),a=e.props.filter(e=>!t.has(e.name)),u=s+(e.propsDeclaration.start??0);let f=s+(e.propsDeclaration.end??0);";"===e.code[f]&&(f+=1);if(0===a.length&&!e.hasRestProp)return n.overwrite(u,f,c),o;const l=e.propsPattern?.properties??[];for(const t of i)Pe(l,t.property,s,n,e.code),Me(e.definePropsCall,t.name,s,n,e.code);return n.appendLeft(f,`\n${c}`),o}(e,t,r);return Se(e,{...o,constFold:t,narrow:n},r),s}function Ee(e,t,n,o){let r=t;for(;r>0&&(" "===e[r-1]||"\t"===e[r-1]);)r-=1;o.remove(r,n)}function Pe(e,t,n,o,r){const s=e.indexOf(t);Le(t,e[s-1],n,o,r)}function Me(e,t,n,o,r){const s=e?.typeParameters?.params?.[0],i=s?.members??[],c=i.findIndex(e=>"Identifier"===e.key?.type&&e.key.name===t);-1!==c&&Le(i[c],i[c-1],n,o,r)}function Le(e,t,n,o,r){const s=n+(e.start??0),i=n+(e.end??0);let c=i;for(;c<r.length&&(" "===r[c]||"\t"===r[c]);)c+=1;if(","===r[c]){let e=c+1;for(;e<r.length&&(" "===r[e]||"\t"===r[e]||"\n"===r[e]);)e+=1;return void o.remove(s,e)}t?o.remove(n+(t.end??0),i):o.remove(s,i)}function De(e,t,n){const o=e.code;g(e.sfc.template,r=>{if(!p(r)||!r.tag)return;const s=e.imports.get(r.tag),i=s?t.get(s):void 0;if(i&&0!==i.size)for(const e of r.props??[])if(e.type===u)e.name&&i.has(e.name)&&je(o,e,n);else if(e.type===f&&"bind"===e.name){const t=w(e.arg);t&&i.has(t)&&Re(e)&&je(o,e,n)}})}function Re(e){const t=w(e.exp);if(null==t)return!1;const n=v(t);return null!=n&&b(n,new Map).known}function je(e,t,n){const o=t.loc;let r=o.start.offset;for(;r>0&&(" "===e[r-1]||"\t"===e[r-1]||"\n"===e[r-1]);)r-=1;n.remove(r,o.end.offset)}async function Oe(e,t,n){const{models:o,plans:r}=await $(e,t,n);return xe(o,r)}export{$ as analyze,q as analyzeInput,T as buildAnalyzeInput,xe as transformAll,Oe as vueShaker};

package/dist/scan.js

@@ -0,0 +1 @@
+import*as e from"node:fs";import*as t from"node:path";const n=(e,n)=>e.startsWith(".")?t.resolve(t.dirname(n),e):null,o=t=>e.readFileSync(t,"utf-8");function r(n){const o=[];let s;try{s=e.readdirSync(n,{withFileTypes:!0})}catch{return o}for(const e of s){if("node_modules"===e.name||e.name.startsWith("."))continue;const s=t.join(n,e.name);e.isDirectory()?o.push(...r(s)):e.isFile()&&e.name.endsWith(".vue")&&o.push(s)}return o}export{r as collectVueFiles,o as fsReadFile,n as fsResolve};

package/dist/types/analyze.d.ts

@@ -0,0 +1,82 @@
+import { type AnyNode, type ParseCache, type ParsedSfc } from './parse';
+import { type AnalyzeInput, type ComponentId, type ComponentPlan, type Literal } from './ir';
+import { type Span } from './dead';
+export type Resolve = (source: string, importer: ComponentId) => Promise<ComponentId | null> | ComponentId | null;
+export type ReadFile = (id: ComponentId) => Promise<string> | string;
+/** One declared prop in a `defineProps` destructuring. */
+export interface PropDecl {
+    name: string;
+    /** The `ObjectProperty` node inside the destructure pattern (for removal). */
+    property: AnyNode;
+    /** Default value expression (inline `= d` or via `withDefaults`), if any. */
+    defaultExpr?: AnyNode | undefined;
+}
+/** Everything we learn from parsing one component, reused by the transform. */
+export interface FileModel {
+    id: ComponentId;
+    code: string;
+    sfc: ParsedSfc;
+    /** local import name (`Child`) -> resolved child component id. */
+    imports: Map<string, ComponentId>;
+    /** Declared props, or `null` if the component has no destructured `defineProps`. */
+    props: PropDecl[] | null;
+    /** The `const { … } = defineProps()` declarator's ObjectPattern, for editing. */
+    propsPattern?: AnyNode | undefined;
+    /** The whole `VariableDeclaration` statement (absolute span via scriptBase). */
+    propsDeclaration?: AnyNode | undefined;
+    /** The `defineProps<{…}>()` call, whose type args hold the prop type members. */
+    definePropsCall?: AnyNode | undefined;
+    hasRestProp: boolean;
+    /** True when the destructure shares its statement with other declarators. */
+    sharesStatement: boolean;
+    /** Every `<Child .../>` this component renders. */
+    childCalls: ChildCall[];
+    /** Names bound by a template/script scope that collide with a prop name. */
+    shadowedNames: Set<string>;
+    /** Child ids leaked as a value (`<component :is="Child">`, value use). */
+    escapedComponents: Set<ComponentId>;
+    /** Child ids rendered through a barrel/named import (sites unobservable). */
+    barrelChildIds: Set<ComponentId>;
+    bailReasons: string[];
+}
+/** One `<Child .../>` instance rendered by a component. */
+export interface ChildCall {
+    childId: ComponentId;
+    node: AnyNode;
+}
+/** One value passed explicitly to a prop at one call site (last-write-wins). */
+export interface ExplicitProp {
+    value: Literal;
+    dynamic: boolean;
+    afterLastSpread: boolean;
+}
+/** How a child component is called at one `<Child .../>` site. */
+export interface CallSite {
+    hadSpread: boolean;
+    explicit: Map<string, ExplicitProp>;
+}
+export interface AnalyzeResult {
+    models: Map<ComponentId, FileModel>;
+    plans: Map<ComponentId, ComponentPlan>;
+}
+export declare function analyze(entries: ComponentId | ComponentId[], resolve: Resolve, readFile: ReadFile): Promise<AnalyzeResult>;
+/**
+ * The pure, environment-free engine entry (docs/RUST-MIGRATION.md §2): given a
+ * fully-resolved, batched {@link AnalyzeInput}, build every component's model and
+ * compute its plan to a whole-program fixpoint (docs §2.1).  No IO/resolution.
+ */
+export declare function analyzeInput(input: AnalyzeInput, parseCache?: ParseCache): AnalyzeResult;
+/**
+ * The Shell-side resolution + IO layer (docs/RUST-MIGRATION.md §2.1): BFS-crawl
+ * the component graph from `entries`, resolving every import edge and reading
+ * every reachable `.vue` file up front into a batched {@link AnalyzeInput}.
+ */
+export declare function buildAnalyzeInput(entries: ComponentId | ComponentId[], resolve: Resolve, readFile: ReadFile, parseCache?: ParseCache): Promise<AnalyzeInput>;
+export declare function deadSpansForPlans(models: Map<ComponentId, FileModel>, plans: Map<ComponentId, ComponentPlan>): Map<ComponentId, Span[]>;
+/**
+ * Read one `<Child .../>` into a {@link CallSite}.  Props are in source order, so
+ * last-write-wins; a `v-bind="obj"` spread (or dynamic `:[key]`) makes the site's
+ * unset props Unknown (docs §4.1).
+ */
+export declare function readCallSite(component: AnyNode, _scriptBase: number): CallSite;
+export declare function isFoldBlockedName(model: FileModel, name: string): boolean;

package/dist/types/css.d.ts

@@ -0,0 +1,20 @@
+import type MagicString from 'magic-string';
+import type { ComponentPlan } from './ir';
+import type { FileModel } from './analyze';
+export interface PossibleClasses {
+    classes: Set<string>;
+    unbounded: boolean;
+}
+/**
+ * Compute the component's possible class set (docs §3, step 1).  Sources: static
+ * `class="a b"`, `:class` with foldable/narrowable expressions, and object/array
+ * `:class` syntaxes (object keys are always-possible classes).  Any spread or
+ * non-enumerable `:class` makes the set unbounded.
+ */
+export declare function computePossibleClasses(model: FileModel, plan: ComponentPlan): PossibleClasses;
+/**
+ * Remove provably-dead rules from each `<style scoped>` block by re-stringifying
+ * the block without them (postcss preserves the raws of surviving rules, so the
+ * remaining CSS keeps its original formatting).  Returns the number removed.
+ */
+export declare function shakeCss(model: FileModel, plan: ComponentPlan, s: MagicString): number;

package/dist/types/dead.d.ts

@@ -0,0 +1,61 @@
+import { type AnyNode } from './parse';
+import type { Literal } from './ir';
+export type Span = [number, number];
+export type CondKind = 'if' | 'else-if' | 'else';
+/** One arm of a `v-if` chain: its element, its conditional directive, its test. */
+interface Arm {
+    el: AnyNode;
+    dir: AnyNode;
+    kind: CondKind;
+    /** Parsed test expression (undefined for `v-else` or an unparsable exp). */
+    testAst: AnyNode | undefined;
+}
+/**
+ * The outcome of folding one chain against the known environments.
+ *
+ * `removed` are element spans deleted from the output (dead arms).
+ * `dirRemovals` are directive spans deleted because their element now renders
+ * unconditionally (a `v-if`/`v-else-if` proven true, or a surviving `v-else`).
+ * `promotion`, when present, rewrites a surviving `v-else-if` head to `v-if`.
+ */
+export interface ChainDecision {
+    removed: Span[];
+    dirRemovals: Span[];
+    promotion?: {
+        from: number;
+        to: number;
+        text: string;
+    } | undefined;
+}
+/** The conditional directive on an element, if any. */
+export declare function conditionalOf(el: AnyNode): {
+    dir: AnyNode;
+    kind: CondKind;
+} | undefined;
+/**
+ * Collect every `v-if` chain in one children array.  A chain begins at an
+ * element carrying `v-if` and extends across following siblings (skipping blank
+ * text / comments) that carry `v-else-if`, ending at a `v-else` or the first
+ * sibling that continues no chain.
+ */
+export declare function collectChains(children: AnyNode[]): Arm[][];
+/**
+ * Decide how one chain folds against `env` (constFold) and `setEnv` (value
+ * sets).  Soundness: an arm is dropped only when its test is provably FALSE for
+ * every reachable value; the chain collapses to one arm only when that arm is
+ * provably TRUE and every earlier arm is provably FALSE.  Otherwise the chain is
+ * kept (with provably-dead later arms removed).
+ */
+export declare function decideChain(arms: Arm[], env: Map<string, Literal>, setEnv: Map<string, Literal[]>): ChainDecision;
+/** Is `span` fully contained in any of `spans`? */
+export declare function inSpans(span: Span, spans: Span[]): boolean;
+/** Is the node's template span inside any dead span? */
+export declare function nodeInSpans(node: AnyNode, spans: Span[]): boolean;
+/**
+ * Element spans that genuinely vanish from a component's output when its plan is
+ * applied (dead `v-if` arms).  The SAME predicate the transform uses, so a call
+ * site is excluded from a child's prop profile iff the transform would actually
+ * delete it (docs §2.1 cascade).
+ */
+export declare function computeDeadSpans(template: AnyNode | undefined, env: Map<string, Literal>, setEnv: Map<string, Literal[]>): Span[];
+export {};

package/dist/types/eval.d.ts

@@ -0,0 +1,30 @@
+import type { AnyNode } from './parse';
+import type { Literal } from './ir';
+export type EvalResult = {
+    known: true;
+    value: Literal;
+} | {
+    known: false;
+};
+/**
+ * A deliberately tiny, total constant evaluator over an ESTree/Babel expression,
+ * given an environment of statically-known identifiers.  It never throws and
+ * never guesses: anything it cannot prove is `{ known: false }`.
+ *
+ * Vue parses `<script setup>` and template expressions with `@babel/parser`, so
+ * literals arrive as Babel's `StringLiteral` / `NumericLiteral` / … rather than
+ * ESTree's single `Literal`; both spellings are accepted here.
+ *
+ * This is the M0 stand-in for the abstract-interpretation engine described in
+ * docs/ARCHITECTURE.md §13 — same contract (sound over-approximation, falls to
+ * unknown on non-distributive ops), just without the interprocedural lattice.
+ */
+export declare function evaluate(node: AnyNode | null | undefined, env: Map<string, Literal>): EvalResult;
+/**
+ * Sound set-aware predicate.  `constEnv` holds props collapsed to a single
+ * literal (`constFold`); `setEnv` holds props whose reachable value set is known
+ * (`narrow`, >= 2 literals).  Returns `{ known:true }` ONLY when the boolean is
+ * provable for the whole reachable set — a value reachable through the set keeps
+ * the branch.  Anything outside the small supported fragment is `{ known:false }`.
+ */
+export declare function evaluateWithSets(node: AnyNode | null | undefined, constEnv: Map<string, Literal>, setEnv: Map<string, Literal[]>): EvalResult;

package/dist/types/index.d.ts

@@ -0,0 +1,17 @@
+import { type ReadFile, type Resolve } from './analyze';
+import type { ComponentId } from './ir';
+export type { ComponentId, AnalyzeInput, InputFile, ResolvedEdge, EdgeKind, EditResult, ComponentPlan, PropAbstraction, PropValueSet, Literal, } from './ir';
+export type { Resolve, ReadFile, FileModel, AnalyzeResult } from './analyze';
+export { analyze, analyzeInput, buildAnalyzeInput } from './analyze';
+export { transformAll } from './transform';
+/**
+ * Whole-program shake: crawl the component graph from `entries`, decide what to
+ * fold, and return the shaken source for every reachable `.vue` file.
+ *
+ * `resolve` / `readFile` are injected so the engine stays environment-free — it
+ * has NO `node:*` imports, so it runs unchanged in the browser (the playground
+ * passes an in-memory file map).  A Vite plugin passes `this.resolve`; Node
+ * callers use `fsResolve` / `fsReadFile` from `vue-shaker/node`.  See
+ * docs/ARCHITECTURE.md §5 — this is the Engine; the Shell owns resolution.
+ */
+export declare function vueShaker(entries: ComponentId | ComponentId[], resolve: Resolve, readFile: ReadFile): Promise<Record<ComponentId, string>>;

package/dist/types/ir.d.ts

@@ -0,0 +1,111 @@
+/** Resolved absolute path of a `.vue` file. */
+export type ComponentId = string;
+/** A statically-known literal value a prop can take. */
+export type Literal = string | number | boolean | null | undefined;
+/** How an imported local name binds to a child `.vue` component. */
+export type EdgeKind = 'default-vue' | 'barrel';
+/** One reachable `.vue` source the engine will model. */
+export interface InputFile {
+    id: ComponentId;
+    code: string;
+}
+/** One resolved import edge: `from` binds `local` to the child `.vue` `to`. */
+export interface ResolvedEdge {
+    from: ComponentId;
+    local: string;
+    to: ComponentId;
+    kind: EdgeKind;
+}
+/**
+ * The fully-resolved, batched input to the engine (docs §2.1).  `files` is every
+ * reachable `.vue` (barrel `.js`/`.ts` are consumed during resolution and do not
+ * appear here); `edges` are already resolved to absolute ids; `entries` is the
+ * call-site-completeness set (the Shell's FS scan) and the L2 net-win roots.
+ */
+export interface AnalyzeInput {
+    files: InputFile[];
+    edges: ResolvedEdge[];
+    entries: ComponentId[];
+}
+/**
+ * The delta the dev engine returns after applying file changes (docs §2.1, the
+ * `vite dev` incremental path).  `changed` maps each component whose SLIMMED
+ * OUTPUT changed to its new source — a SUPERSET of the edited files, because a
+ * call-site edit can change a child's residual without the child being touched
+ * (the HMR module-graph divergence the Shell must widen for).  `removed` lists
+ * components no longer in the program (deleted or now unreachable).
+ */
+export interface EditResult {
+    changed: Record<ComponentId, string>;
+    removed: ComponentId[];
+}
+/**
+ * The join, over every call site in the program, of the value passed to a
+ * single prop.  See the lattice in docs/ARCHITECTURE.md §2.2.
+ *
+ * M0 only ever produces `const` (single literal across all sites) and `top`
+ * (something we cannot reason about — never fold).  `multi` / `dynamic` are
+ * declared now so L1.5 narrowing can be added without reshaping callers.
+ */
+export type PropAbstraction = {
+    kind: 'bottom';
+} | {
+    kind: 'const';
+    value: Literal;
+} | {
+    kind: 'multi';
+    values: Literal[];
+} | {
+    kind: 'dynamic';
+} | {
+    kind: 'top';
+    reason: string;
+};
+/**
+ * The set of literal values one declared prop is seen to take across the whole
+ * program (default included for sites that omit it), plus the two ways it can
+ * escape the lattice.  This is the value-set foundation later levels narrow on
+ * (docs §2.2 `multi`, §3 L1.5): `constFold` is just the `size === 1 && !dynamic
+ * && !top` projection of it.  Kept on the plan as groundwork.
+ */
+export interface PropValueSet {
+    /** Distinct literals observed (dedup'd; `undefined`/`null` are distinct). */
+    values: Literal[];
+    /** A non-literal value was passed somewhere (used, value not statically known). */
+    dynamic: boolean;
+    /**
+     * ⊤: a call-site `v-bind` spread may set this prop (docs §4.1 partial bail), so
+     * the value set is really "all values" and the prop must not be folded.
+     */
+    top: boolean;
+}
+/** What the analysis decides to do to one component. */
+export interface ComponentPlan {
+    id: ComponentId;
+    /** Whole-component bail (escape / `<component :is>` / barrel). */
+    bail: boolean;
+    reasons: string[];
+    /**
+     * L0/L1: props that collapse to a single constant.  Under the "攻め"
+     * default (docs §12-2) these are folded in the body, dropped from the
+     * `defineProps` signature, and their attributes are removed at every call site.
+     */
+    constFold: Map<string, Literal>;
+    /**
+     * L1.5 value-set narrowing (docs §3): props whose reachable value set is a
+     * known set of >= 2 distinct literals (no `dynamic`/`top` contribution).  We
+     * delete branches the prop can provably never reach (e.g. a `variant ===
+     * 'danger'` arm when `variant ∈ {'primary','secondary'}`), but — unlike
+     * `constFold` — the prop is still genuinely used/dynamic, so it is NOT
+     * substituted and NOT dropped from the `defineProps` signature.  Singletons
+     * stay in `constFold`; these two maps are disjoint.
+     */
+    narrow: Map<string, Literal[]>;
+    /**
+     * Per-declared-prop value-set foundation (see {@link PropValueSet}).  Present
+     * for every declared prop the analysis reasoned about; `constFold` is its
+     * singleton projection and `narrow` is its multi-element projection.
+     */
+    valueSets: Map<string, PropValueSet>;
+}
+export declare function emptyPlan(id: ComponentId): ComponentPlan;

package/dist/types/parse.d.ts

@@ -0,0 +1,165 @@
+export interface Pos {
+    offset: number;
+    line?: number | undefined;
+    column?: number | undefined;
+}
+export interface Loc {
+    start: Pos;
+    end: Pos;
+    source?: string | undefined;
+}
+export interface AnyNode {
+    /** Numeric for Vue template nodes (NodeTypes), string for Babel nodes. */
+    type: string | number;
+    start?: number | undefined;
+    end?: number | undefined;
+    loc?: Loc | undefined;
+    operator?: string | undefined;
+    left?: AnyNode | undefined;
+    right?: AnyNode | undefined;
+    argument?: AnyNode | undefined;
+    test?: AnyNode | undefined;
+    consequent?: AnyNode | undefined;
+    alternate?: AnyNode | null | undefined;
+    callee?: AnyNode | undefined;
+    arguments?: AnyNode[] | undefined;
+    object?: AnyNode | undefined;
+    property?: AnyNode | undefined;
+    computed?: boolean | undefined;
+    shorthand?: boolean | undefined;
+    expressions?: AnyNode[] | undefined;
+    quasis?: AnyNode[] | undefined;
+    elements?: (AnyNode | null)[] | undefined;
+    properties?: AnyNode[] | undefined;
+    key?: AnyNode | undefined;
+    id?: AnyNode | undefined;
+    init?: AnyNode | null | undefined;
+    declarations?: AnyNode[] | undefined;
+    declaration?: AnyNode | null | undefined;
+    specifiers?: AnyNode[] | undefined;
+    local?: AnyNode | undefined;
+    imported?: AnyNode | undefined;
+    exported?: AnyNode | undefined;
+    source?: AnyNode | undefined;
+    params?: AnyNode[] | undefined;
+    body?: AnyNode | AnyNode[] | undefined;
+    typeParameters?: AnyNode | undefined;
+    typeAnnotation?: AnyNode | undefined;
+    members?: AnyNode[] | undefined;
+    program?: AnyNode | undefined;
+    tag?: string | undefined;
+    /** ElementTypes: 0=ELEMENT 1=COMPONENT 2=SLOT 3=TEMPLATE. */
+    tagType?: number | undefined;
+    isSelfClosing?: boolean | undefined;
+    props?: AnyNode[] | undefined;
+    children?: AnyNode[] | undefined;
+    /** SimpleExpressionNode `arg`/`exp` (DirectiveNode) — has `.content` string. */
+    arg?: AnyNode | undefined;
+    exp?: AnyNode | undefined;
+    modifiers?: unknown[] | undefined;
+    isStatic?: boolean | undefined;
+    /** Vue's precompiled Babel AST for a complex expression (may be absent). */
+    ast?: AnyNode | false | null | undefined;
+    /** Babel: `Identifier.name`/import name; Vue: DirectiveNode name (`if`,`bind`). */
+    name?: string | undefined;
+    /** Babel literal value; Vue AttributeNode `value` is itself a TextNode. */
+    value?: unknown;
+    /** Vue TextNode / SimpleExpressionNode string, or InterpolationNode child. */
+    content?: unknown;
+}
+export declare const VueNode: {
+    readonly ROOT: 0;
+    readonly ELEMENT: 1;
+    readonly TEXT: 2;
+    readonly COMMENT: 3;
+    readonly SIMPLE_EXPRESSION: 4;
+    readonly INTERPOLATION: 5;
+    readonly ATTRIBUTE: 6;
+    readonly DIRECTIVE: 7;
+};
+export declare const ElementType: {
+    readonly ELEMENT: 0;
+    readonly COMPONENT: 1;
+    readonly SLOT: 2;
+    readonly TEMPLATE: 3;
+};
+export declare const isElementNode: (n: AnyNode) => boolean;
+export declare const isComponentNode: (n: AnyNode) => boolean;
+export declare const isDirective: (n: AnyNode) => boolean;
+export declare const isAttribute: (n: AnyNode) => boolean;
+export declare const isInterpolation: (n: AnyNode) => boolean;
+export declare const isText: (n: AnyNode) => boolean;
+/** Absolute SFC span of a Vue template node. */
+export declare function tspan(n: AnyNode): [number, number];
+/** One `<script setup>` block, with the base offset to map Babel -> SFC. */
+export interface ScriptSetup {
+    content: string;
+    /** Absolute SFC offset where `content` begins (loc.start.offset). */
+    base: number;
+    /** Absolute SFC offset where `content` ends (loc.end.offset). */
+    endOffset: number;
+    /** Babel `Program` node (its `.body` are the top-level statements). */
+    ast: AnyNode;
+    lang: string | undefined;
+}
+/** One `<style>` block. */
+export interface StyleBlock {
+    content: string;
+    /** Absolute SFC offset where the style content begins. */
+    base: number;
+    scoped: boolean;
+}
+/** Everything one `.vue` SFC parse yields, in this engine's loose shape. */
+export interface ParsedSfc {
+    id: string;
+    code: string;
+    /** Vue template RootNode (`descriptor.template.ast`), or undefined. */
+    template: AnyNode | undefined;
+    /** Parsed `<script setup>`, or undefined (Options API / plain script). */
+    scriptSetup: ScriptSetup | undefined;
+    /** True when the SFC has a non-setup `<script>` or no `<script setup>`. */
+    hasPlainScript: boolean;
+    styles: StyleBlock[];
+}
+/**
+ * Parse one `.vue` SFC into the engine's loose model.  Throws nothing the caller
+ * must handle beyond Vue's own parse errors (a malformed SFC); the Shell decides
+ * whether to pass such files through untouched.
+ */
+export declare function parseVue(code: string, filename: string): ParsedSfc;
+/**
+ * Content-keyed parse cache: a hit returns the IDENTICAL parse for unchanged
+ * source, so the dev engine re-parses only files that actually changed
+ * (docs/RUST-MIGRATION.md §2.2).  Keyed by content, so a stale entry can never
+ * return offsets that disagree with the source.
+ */
+export type ParseCache = Map<string, {
+    code: string;
+    sfc: ParsedSfc;
+}>;
+export declare function parseCached(filename: string, code: string, cache?: ParseCache): ParsedSfc;
+/**
+ * Parse a Vue template expression string into a Babel AST.  Offsets on the
+ * returned node are RELATIVE to `content`; map to absolute SFC offsets via the
+ * owning expression node's `loc.start.offset` (which the probe confirmed aligns
+ * exactly with `content`).  Returns `undefined` if the expression does not parse
+ * (the caller then treats it as non-foldable).
+ */
+export declare function parseExpr(content: string | undefined): AnyNode | undefined;
+/** The `.content` string of a Vue SimpleExpressionNode (`exp`/`arg`). */
+export declare function exprContent(node: AnyNode | undefined): string | undefined;
+/**
+ * Depth-first walk over Vue TEMPLATE nodes (the `children` tree).  `visit` is
+ * called for every node; returning `false` skips that node's children.  Does NOT
+ * descend into directive expressions (those are Babel ASTs walked separately).
+ */
+export declare function walkTemplate(node: AnyNode | undefined, visit: (n: AnyNode) => boolean | void): void;
+/**
+ * For every node that owns a `children` array (root + element/template nodes),
+ * call `fn(children, parent)`.  This is the level at which `v-if` / `v-else-if` /
+ * `v-else` chains are folded, since in Vue those are sibling elements rather than
+ * one nested block (docs §7).
+ */
+export declare function eachChildList(node: AnyNode | undefined, fn: (children: AnyNode[], parent: AnyNode) => void): void;
+/** Generic depth-first walk over a Babel AST node, with parent tracking. */
+export declare function walkBabel(node: AnyNode | null | undefined, visit: (n: AnyNode, parent: AnyNode | null) => void, parent?: AnyNode | null): void;

package/dist/types/scan.d.ts

@@ -0,0 +1,12 @@
+import type { ComponentId } from './ir';
+import type { Resolve, ReadFile } from './analyze';
+/** Default filesystem resolver: resolve `source` relative to its importer. */
+export declare const fsResolve: Resolve;
+/** Default filesystem reader. */
+export declare const fsReadFile: ReadFile;
+/**
+ * Recursively collect every `.vue` file under `dir` (skipping `node_modules` and
+ * dot-directories).  A Shell helper kept out of the env-free engine core: plugins
+ * use it to seed the whole-program crawl (the call-site-completeness set).
+ */
+export declare function collectVueFiles(dir: string): ComponentId[];

package/dist/types/transform.d.ts

@@ -0,0 +1,24 @@
+import MagicString from 'magic-string';
+import type { ComponentId, ComponentPlan, Literal } from './ir';
+import type { FileModel } from './analyze';
+/**
+ * Apply every plan to every component and return the shaken source per file.
+ *
+ * Two phases over a shared set of MagicStrings so a parent's call-site
+ * attributes are removed using each child's ACTUALLY dropped props (phase 2),
+ * not just what the plan proposed (phase 1).
+ */
+export declare function transformAll(models: Map<ComponentId, FileModel>, plans: Map<ComponentId, ComponentPlan>): Record<ComponentId, string>;
+/**
+ * Slim one component's body against the fold (`env`) and narrow (`setEnv`)
+ * environments, editing `s` in place, and return the set of props that left the
+ * `defineProps` signature.
+ *
+ * Vue strategy (docs §7): a folded prop is DEMOTED from the destructure to a
+ * local `const name = <value>`, rather than substituted at every reference.  Vue
+ * resolves template/script identifiers to setup bindings, so the demoted const
+ * keeps every reference valid with no dangling identifier — and the prop still
+ * leaves the public signature, so call sites can drop the attribute.  This avoids
+ * the substitution-completeness hazard (a missed reference would dangle).
+ */
+export declare function shakeBody(model: FileModel, env: Map<string, Literal>, setEnv: Map<string, Literal[]>, cssPlan: ComponentPlan, s: MagicString): Set<string>;

package/dist/types/vite.d.ts

@@ -0,0 +1,25 @@
+import type { Plugin } from 'vite';
+export interface ShakerOptions {
+    /**
+     * Dirs (relative to the Vite root) holding EVERY `.vue` call site.  Prop
+     * elimination is only sound if every consumer of a prop is in scope.  Defaults
+     * to the Vite root.
+     */
+    include?: string[];
+    /**
+     * Optimization level.  L0/L1/L1.5 + CSS are always on; `2` opts into L2
+     * monomorphization (not yet implemented — accepted for forward compatibility).
+     */
+    level?: 0 | 1 | 2;
+    /** L2 tuning; consulted only when `level: 2` (not yet implemented). */
+    monomorphize?: boolean | {
+        maxVariants?: number;
+    };
+}
+/**
+ * The Vite plugin Shell (docs/ARCHITECTURE.md §5/§6).  It runs `enforce: 'pre'`
+ * and `apply: 'build'` so it hands already-slimmed `.vue` source to
+ * `@vitejs/plugin-vue` — and only in `vite build`, never dev (dev is a
+ * pass-through by design; whole-program analysis is incompatible with HMR).
+ */
+export declare function shaker(options?: ShakerOptions): Plugin;

package/dist/vite.js

@@ -0,0 +1 @@
+import*as e from"node:path";import{parse as t}from"@vue/compiler-sfc";import{parseExpression as n,parse as o}from"@babel/parser";import r from"magic-string";import{parse as s}from"postcss";import i from"postcss-selector-parser";import*as c from"node:fs";const a=1,u=2,f=3,l=6,p=7,d=1,m=e=>e.type===a&&e.tagType===d,y=["typescript"];function v(e,n){const{descriptor:r}=t(e,{filename:n}),s=r;let i;if(s.scriptSetup){const e=s.scriptSetup,t=e.attrs?.lang;i={content:e.content,base:e.loc.start.offset,endOffset:e.loc.end.offset,ast:(c=e.content,o(c,{sourceType:"module",plugins:[...y]}).program),lang:"string"==typeof t?t:void 0}}var c;const a=(s.styles??[]).map(e=>({content:e.content,base:e.loc.start.offset,scoped:!0===e.scoped}));return{id:n,code:e,template:s.template?.ast??void 0,scriptSetup:i,hasPlainScript:null!=s.script,styles:a}}function w(e,t,n){return v(t,e)}function h(e){if(null!=e&&""!==e.trim())try{return n(e,{plugins:[...y]})}catch{return}}function g(e){if(e)return"string"==typeof e.content?e.content:void 0}function k(e,t){if(!e)return;if(!1!==t(e))for(const n of e.children??[])k(n,t)}function S(e,t){if(!e)return;const n=e.children;if(n){t(n,e);for(const e of n)S(e,t)}}function b(e,t,n=null){if(e&&"object"==typeof e&&"string"==typeof e.type){t(e,n);for(const n of Object.values(e))if(Array.isArray(n))for(const o of n)b(o,t,e);else n&&"object"==typeof n&&"string"==typeof n.type&&b(n,t,e)}}const x={known:!1};function I(e,t){if(!e)return x;switch(e.type){case"Literal":case"StringLiteral":case"NumericLiteral":case"BooleanLiteral":return{known:!0,value:e.value};case"NullLiteral":return{known:!0,value:null};case"Identifier":{const n=e.name??"";return"undefined"===n?{known:!0,value:void 0}:t.has(n)?{known:!0,value:t.get(n)}:x}case"UnaryExpression":{const n=I(e.argument,t);if(!n.known)return x;const o=n.value;switch(e.operator){case"!":return{known:!0,value:!o};case"-":return{known:!0,value:-o};case"+":return{known:!0,value:+o};case"typeof":return{known:!0,value:typeof o};case"void":return{known:!0,value:void 0};default:return x}}case"LogicalExpression":{const n=I(e.left,t);if(!n.known)return x;switch(e.operator){case"&&":return n.value?I(e.right,t):n;case"||":return n.value?n:I(e.right,t);case"??":return null===n.value||void 0===n.value?I(e.right,t):n;default:return x}}case"BinaryExpression":{const n=I(e.left,t),o=I(e.right,t);if(!n.known||!o.known)return x;const r=n.value,s=o.value;switch(e.operator){case"===":return{known:!0,value:r===s};case"!==":return{known:!0,value:r!==s};case"==":return{known:!0,value:r==s};case"!=":return{known:!0,value:r!=s};case"<":return{known:!0,value:r<s};case">":return{known:!0,value:r>s};case"<=":return{known:!0,value:r<=s};case">=":return{known:!0,value:r>=s};case"+":return{known:!0,value:r+s};case"-":return{known:!0,value:r-s};case"*":return{known:!0,value:r*s};case"/":return{known:!0,value:r/s};case"%":return{known:!0,value:r%s};default:return x}}default:return x}}function E(e,t,n){const o=I(e,t);if(o.known)return o;const r=P(e,t,n);return"unknown"===r?x:{known:!0,value:r}}function P(e,t,n){if(!e)return"unknown";switch(e.type){case"UnaryExpression":return"!"===e.operator?L(P(e.argument,t,n)):"unknown";case"LogicalExpression":{const s=P(e.left,t,n),i=()=>P(e.right,t,n);return"&&"===e.operator?!1!==s&&(o=s,r=i(),!1!==o&&!1!==r&&(!0===o&&!0===r||"unknown")):"||"===e.operator?!0===s||function(e,t){return!0===e||!0===t||(!1!==e||!1!==t)&&"unknown"}(s,i()):"unknown"}case"BinaryExpression":{const o=e.operator;if("==="===o||"=="===o||"!=="===o||"!="===o){const r="=="===o||"!="===o,s=function(e,t,n,o,r){const s=M(e,o),i=I(t,n);if(s&&i.known)return D(s,i.value,r);const c=M(t,o),a=I(e,n);return c&&a.known?D(c,a.value,r):a.known&&i.known?r?a.value==i.value:a.value===i.value:"unknown"}(e.left,e.right,t,n,r);return"!=="===o||"!="===o?L(s):s}return"unknown"}default:return"unknown"}var o,r}function M(e,t){return"Identifier"===e?.type&&e.name&&t.has(e.name)?t.get(e.name):null}function D(e,t,n){const o=n?e=>e==t:e=>e===t;return!!e.some(o)&&(!!e.every(o)||"unknown")}function L(e){return!0!==e&&(!1===e||"unknown")}function R(e){if(e.type===a)for(const t of e.props??[])if(t.type===p){if("if"===t.name)return{dir:t,kind:"if"};if("else-if"===t.name)return{dir:t,kind:"else-if"};if("else"===t.name)return{dir:t,kind:"else"}}}const j=e=>e.type===u&&"string"==typeof e.content&&""===e.content.trim()||e.type===f;function O(e){const t=[];for(let n=0;n<e.length;n++){const o=e[n],r=R(o);if(!r||"if"!==r.kind)continue;const s=[C(o,r.dir,"if")];let i=n+1;for(;i<e.length;i++){const t=e[i];if(j(t))continue;const n=R(t);if(!n||"if"===n.kind)break;if(s.push(C(t,n.dir,n.kind)),"else"===n.kind){i++;break}}t.push(s),n=i-1}return t}function C(e,t,n){return{el:e,dir:t,kind:n,testAst:"else"===n?void 0:h(g(t.exp))}}function z(e,t,n){const o=e.map(e=>"else"===e.kind?{known:!0,value:!0}:E(e.testAst,t,n)),r=e=>e.known&&Boolean(e.value),s=e=>e.known&&!e.value,i=e=>[e.el.loc.start.offset,e.el.loc.end.offset],c=e=>[e.dir.loc.start.offset,e.dir.loc.end.offset];let a=!0;for(let t=0;t<e.length;t++){if(r(o[t])&&a){const n=[];for(let o=0;o<e.length;o++)o!==t&&n.push(i(e[o]));return{removed:n,dirRemovals:[c(e[t])]}}s(o[t])||(a=!1)}const u=o.findIndex(e=>!s(e));if(-1===u)return{removed:e.map(i),dirRemovals:[]};const f=[];for(let t=0;t<u;t++)f.push(i(e[t]));for(let t=u+1;t<e.length;t++)s(o[t])&&f.push(i(e[t]));if(0===u)return{removed:f,dirRemovals:[]};const l=e[u];if("else"===l.kind)return{removed:f,dirRemovals:[c(l)]};const p=l.dir.loc.start.offset;return{removed:f,dirRemovals:[],promotion:{from:p,to:p+9,text:"v-if"}}}function F(e,t){const n=e.loc;return!!n&&function(e,t){return t.some(([t,n])=>e[0]>=t&&e[1]<=n)}([n.start.offset,n.end.offset],t)}function A(e,t,n){if(!e||0===t.size&&0===n.size)return[];const o=[];return S(e,e=>{for(const r of O(e)){if(F(r[0].el,o))continue;const e=z(r,t,n);for(const t of e.removed)o.push(t)}}),o}const N=e=>e.endsWith(".vue"),B='escapes as value (e.g. <component :is="X">)',W="rendered through a barrel/named import (call sites unobservable)";function $(e){return e.sfc.scriptSetup?.base??0}async function T(e,t,n){return function(e){const t=function(e){const t=new Map;for(const n of e.edges){const e=t.get(n.from);e?e.push(n):t.set(n.from,[n])}const n=new Map;for(const o of e.files)n.set(o.id,G(o,t.get(o.id)??[]));return n}(e),n=new Set;for(const e of t.values())for(const t of e.escapedComponents)n.add(t);for(const e of n){const n=t.get(e);n&&!n.bailReasons.includes(B)&&n.bailReasons.push(B)}const o=new Set;for(const e of t.values())for(const t of e.barrelChildIds)o.add(t);for(const e of o){const n=t.get(e);n&&!n.bailReasons.includes(W)&&n.bailReasons.push(W)}let r=U(t,q(t,new Map));for(let e=0;e<10;e++){const e=U(t,q(t,_(t,r)));if(V(r,e)){r=e;break}r=e}return{models:t,plans:r}}(await async function(e,t,n){const o=Array.isArray(e)?[...e]:[e],r=[],s=[],i=[...o],c=new Set(i);for(;i.length>0;){const e=i.shift();let o,a;try{o=await n(e)}catch{continue}r.push({id:e,code:o});try{a=w(e,o)}catch{continue}if(!a.scriptSetup)continue;const u=new Map,f=[];for(const o of fe(a.scriptSetup.ast)){if("default"===o.imported&&N(o.value)){const n=await t(o.value,e);n&&(s.push({from:e,local:o.local,to:n,kind:"default-vue"}),f.push(n));continue}const r=await me(o.value,o.imported,e,t,n);r&&(s.push({from:e,local:o.local,to:r,kind:"barrel"}),u.set(o.local,r))}const l=Z(a.template,u);for(const e of[...f,...l])c.has(e)||(c.add(e),i.push(e))}return{files:r,edges:s,entries:o}}(e,t,n))}function q(e,t){const n=new Map,o=e=>{let t=n.get(e);return t||(t={sites:[]},n.set(e,t)),t};for(const n of e.values()){const e=t.get(n.id)??[];$(n);for(const t of n.childCalls)e.length>0&&F(t.node,e)||o(t.childId).sites.push(te(t.node))}return n}function U(e,t){const n=new Map;for(const o of e.values())n.set(o.id,ce(o,t.get(o.id)));return n}function V(e,t){if(e.size!==t.size)return!1;for(const[n,o]of e){const e=t.get(n);if(!e)return!1;if(o.bail!==e.bail)return!1;if(!J(o.constFold,e.constFold))return!1;if(!X(o.narrow,e.narrow))return!1}return!0}function J(e,t){if(e.size!==t.size)return!1;for(const[n,o]of e)if(!t.has(n)||!Object.is(t.get(n),o))return!1;return!0}function X(e,t){if(e.size!==t.size)return!1;for(const[n,o]of e){const e=t.get(n);if(!e||o.length!==e.length)return!1;for(let t=0;t<o.length;t++)if(!Object.is(o[t],e[t]))return!1}return!0}function _(e,t){const n=new Map;for(const o of e.values()){const e=t.get(o.id);if(e.bail)continue;const r=A(o.sfc.template,e.constFold,e.narrow);r.length>0&&n.set(o.id,r)}return n}function G(e,t,n){const{id:o,code:r}=e,s=w(o,r),i=new Map,c=new Map;for(const e of t)"default-vue"===e.kind?i.set(e.local,e.to):c.set(e.local,e.to);const u=[];if(s.scriptSetup)for(const e of function(e){const t=new Set;return b(e,e=>{"CallExpression"===e.type&&"Identifier"===e.callee?.type&&e.callee.name&&t.add(e.callee.name)}),t}(s.scriptSetup.ast))"defineExpose"===e&&u.push("defineExpose() (public instance surface)");let f,l,d,y=null,v=!1,S=!1;const x=new Set;if(s.scriptSetup){for(const e of fe(s.scriptSetup.ast))x.add(e.local);const e=function(e){const t=e.body??[];for(const e of t)if("VariableDeclaration"===e.type)for(const t of e.declarations??[]){const n=t.init,o=t.id;if("ObjectPattern"!==o?.type||"CallExpression"!==n?.type)continue;const r="Identifier"===n.callee?.type?n.callee.name:void 0;if("defineProps"===r)return{declaration:e,pattern:o,definePropsCall:n,withDefaults:new Map,sharesStatement:(e.declarations?.length??1)>1};if("withDefaults"===r){const t=n.arguments?.[0];if("CallExpression"!==t?.type||"Identifier"!==t.callee?.type)continue;if("defineProps"!==t.callee.name)continue;return{declaration:e,pattern:o,definePropsCall:t,withDefaults:ve(n.arguments?.[1]),sharesStatement:(e.declarations?.length??1)>1}}}return null}(s.scriptSetup.ast);if(e){l=e.declaration,f=e.pattern,d=e.definePropsCall,S=e.sharesStatement,e.sharesStatement&&u.push("defineProps() shares a multi-declarator statement"),y=[];for(const t of e.pattern.properties??[]){if("RestElement"===t.type){v=!0;continue}if("ObjectProperty"!==t.type)continue;const n=t.key;if("Identifier"!==n?.type||!n.name)continue;const o=t.value,r="AssignmentPattern"===o?.type?o.right:void 0;y.push({name:n.name,property:t,defaultExpr:r??e.withDefaults.get(n.name)})}}}const I=function(e,t){const n=[];return k(e,e=>{if(m(e)&&e.tag){const o=t.get(e.tag);o&&n.push({childId:o,node:e})}}),n}(s.template,i),E=Z(s.template,c),P=function(e){const t=new Set;k(e.template,e=>{if(e.type===a)for(const n of e.props??[])n.type===p&&("for"===n.name?H(g(n.exp),t):"slot"===n.name&&K(g(n.exp),t))});const n=e.scriptSetup;n&&b(n.ast,e=>{if("FunctionDeclaration"===e.type||"FunctionExpression"===e.type||"ArrowFunctionExpression"===e.type)for(const n of e.params??[])Q(n,t)});return t}(s),M=function(e,t,n){const o=new Set,r=e=>{if(!e)return;const n=t.get(e);n&&o.add(n)};k(e.template,e=>{if(e.type===a)for(const t of e.props??[])if(t.type===p&&"bind"===t.name&&"is"===ee(t.arg)){const e=h(g(t.exp));"Identifier"===e?.type&&r(e.name)}});const s=e.scriptSetup;s&&b(s.ast,(e,o)=>{"Identifier"===e.type&&e.name&&t.has(e.name)&&n.has(e.name)&&function(e,t){return!!t&&(!("MemberExpression"===t.type&&t.property===e&&!t.computed)&&(!!("ObjectProperty"!==t.type&&"Property"!==t.type||t.key!==e||t.computed||!0===t.shorthand)&&!Y(t)))}(e,o)&&!Y(o)&&r(e.name)});return o}(s,i,x);return{id:o,code:r,sfc:s,imports:i,props:y,propsPattern:f,propsDeclaration:l,definePropsCall:d,hasRestProp:v,sharesStatement:S,childCalls:I,shadowedNames:P,escapedComponents:M,barrelChildIds:E,bailReasons:u}}function H(e,t){if(!e)return;const n=/^(.*?)\s+(?:in|of)\s+/s.exec(e),o=(n?n[1]:e).trim();o&&K(o,t)}function K(e,t){if(!e)return;const n=h(`(${e}) => 0`);if("ArrowFunctionExpression"!==n?.type){const n=h(e);return void(n&&Q(n,t))}for(const e of n.params??[])Q(e,t)}function Q(e,t){if(e)switch(e.type){case"Identifier":return void(e.name&&t.add(e.name));case"ObjectExpression":case"ObjectPattern":for(const n of e.properties??[])"RestElement"===n.type?Q(n.argument,t):"ObjectProperty"!==n.type&&"Property"!==n.type||Q(n.value??n.key,t);return;case"ArrayExpression":case"ArrayPattern":for(const n of e.elements??[])Q(n,t);return;case"AssignmentPattern":return void Q(e.left,t);case"RestElement":return void Q(e.argument,t);default:return}}function Y(e){return null!=e&&("ImportSpecifier"===e.type||"ImportDefaultSpecifier"===e.type||"ImportNamespaceSpecifier"===e.type||"ExportSpecifier"===e.type)}function Z(e,t){const n=new Set;return 0===t.size||k(e,e=>{if(m(e)&&e.tag){const o=t.get(e.tag);o&&n.add(o)}}),n}function ee(e){return g(e)}function te(e,t){const n=e.props??[];let o=-1;for(let e=0;e<n.length;e++){const t=n[e];t.type===p&&"bind"===t.name&&ne(t)&&(o=e)}const r=new Map;for(let e=0;e<n.length;e++){const t=n[e],s=e>o;if(t.type===l){if(!t.name)continue;const e=re(t);r.set(t.name,{value:e,dynamic:!1,afterLastSpread:s});continue}if(t.type===p){if("bind"===t.name){if(ne(t))continue;const e=g(t.arg);if(!e)continue;const n=se(g(t.exp));r.set(e,n.known?{value:n.value,dynamic:!1,afterLastSpread:s}:oe(s));continue}if("model"===t.name){const e=g(t.arg)??"modelValue";r.set(e,oe(s));continue}}}return{hadSpread:o>=0,explicit:r}}function ne(e){return null==e.arg||null==g(e.arg)}function oe(e){return{value:void 0,dynamic:!0,afterLastSpread:e}}function re(e){const t=e.value;return!t||("string"==typeof t.content?t.content:"")}function se(e){const t=h(e);return t?I(t,new Map):{known:!1}}function ie(e,t){return e.shadowedNames.has(t)}function ce(e,t){const n={id:e.id,bail:!1,reasons:[],constFold:new Map,narrow:new Map,valueSets:new Map};if(e.bailReasons.length>0)return n.bail=!0,n.reasons.push(...e.bailReasons),n;if(!e.props||0===e.props.length)return n;const o=t?.sites??[];if(0===o.length)return n;for(const t of e.props){if(ie(e,t.name))continue;const r=ae(t,o);n.valueSets.set(t.name,r),r.top||r.dynamic||(1!==r.values.length?r.values.length>=2&&n.narrow.set(t.name,r.values):n.constFold.set(t.name,r.values[0]))}return n}function ae(e,t){const n=[];let o=!1,r=!1;const s=e=>{n.some(t=>Object.is(t,e))||n.push(e)};for(const n of t){const t=n.explicit.get(e.name);if(t?.afterLastSpread){t.dynamic?o=!0:s(t.value);continue}if(n.hadSpread){r=!0;continue}const i=ue(e.defaultExpr);i.known?s(i.value):o=!0}return{values:n,dynamic:o,top:r}}function ue(e){return e?I(e,new Map):{known:!0,value:void 0}}function*fe(e){const t=e.body??[];for(const e of t){if("ImportDeclaration"!==e.type)continue;const t=e.source?.value;if("string"==typeof t)for(const n of e.specifiers??[]){const e=n.local?.name;e&&("ImportDefaultSpecifier"===n.type?yield{value:t,local:e,imported:"default"}:"ImportNamespaceSpecifier"===n.type?yield{value:t,local:e,imported:"*"}:"ImportSpecifier"===n.type&&(yield{value:t,local:e,imported:le(n)??e}))}}}function le(e){const t=e.imported;return"Identifier"===t?.type&&t.name?t.name:"StringLiteral"===t?.type&&"string"==typeof t.value?t.value:void 0}function pe(e){return"Identifier"===e?.type&&e.name?e.name:"StringLiteral"===e?.type&&"string"==typeof e.value?e.value:void 0}const de=8;async function me(e,t,n,o,r,s=0){if(s>de)return null;const i=await o(e,n);if(!i)return null;if(N(e)||N(i))return"default"===t||"*"===t?i:null;let c;try{c=await r(i)}catch{return null}const a=function(e){try{const t=v(`<script setup>\n${e}\n<\/script>`,"barrel.vue");return t.scriptSetup?.ast.body??null}catch{return null}}(c);if(!a)return null;for(const e of a)if("ExportNamedDeclaration"===e.type&&e.source?.value){for(const n of e.specifiers??[])if(pe(n.exported)===t)return me(String(e.source.value),pe(n.local)??"default",i,o,r,s+1)}else if("ExportNamedDeclaration"!==e.type||e.source){if("ExportAllDeclaration"===e.type&&e.source?.value){const n=await me(String(e.source.value),t,i,o,r,s+1);if(n)return n}}else for(const n of e.specifiers??[]){if(pe(n.exported)!==t)continue;const e=pe(n.local);if(!e)continue;const c=ye(a,e);return c?me(c.value,c.imported,i,o,r,s+1):null}return null}function ye(e,t){for(const n of e){if("ImportDeclaration"!==n.type)continue;const e=n.source?.value;if("string"==typeof e)for(const o of n.specifiers??[])if(o.local?.name===t){if("ImportDefaultSpecifier"===o.type)return{value:e,imported:"default"};if("ImportNamespaceSpecifier"===o.type)return{value:e,imported:"*"};if("ImportSpecifier"===o.type)return{value:e,imported:le(o)??t}}}return null}function ve(e){const t=new Map;if("ObjectExpression"!==e?.type)return t;for(const n of e.properties??[]){if("ObjectProperty"!==n.type)continue;const e=n.key,o="Identifier"===e?.type?e.name:void 0;o&&n.value&&t.set(o,n.value)}return t}const we=Symbol("unbounded-class-source");function he(e,t,n){if(!e)return we;if("ObjectExpression"===e.type){const t=new Set;for(const n of e.properties??[]){if("ObjectProperty"!==n.type)return we;const e=n.key,o="Identifier"===e?.type?e.name:"StringLiteral"===e?.type?e.value:void 0;if(null==o)return we;for(const e of o.split(/\s+/))e&&t.add(e)}return t}if("ArrayExpression"===e.type){const o=new Set;for(const r of e.elements??[]){if(!r)continue;const e=he(r,t,n);if(e===we)return we;for(const t of e)o.add(t)}return o}const o=ge(e,t,n);if(o===we)return we;const r=new Set;for(const e of o)for(const t of e.split(/\s+/))t&&r.add(t);return r}function ge(e,t,n){if(!e)return we;switch(e.type){case"StringLiteral":case"NumericLiteral":case"BooleanLiteral":return new Set([String(e.value)]);case"Identifier":{const o=e.name??"";if(n.has(o)){const e=new Set;for(const t of n.get(o))e.add(String(t));return e}const r=I(e,t);return r.known?new Set([String(r.value)]):we}case"TemplateLiteral":{const o=e.quasis??[],r=e.expressions??[];let s=[ke(o[0])];for(let e=0;e<r.length;e++){const i=ge(r[e],t,n);if(i===we)return we;const c=ke(o[e+1]),a=[];for(const e of s)for(const t of i)if(a.push(e+t+c),a.length>64)return we;s=a}return new Set(s)}case"BinaryExpression":{if("+"!==e.operator)break;const o=ge(e.left,t,n),r=ge(e.right,t,n);if(o===we||r===we)return we;const s=new Set;for(const e of o)for(const t of r)if(s.add(e+t),s.size>64)return we;return s}case"ConditionalExpression":{const o=I(e.test,t);if(o.known)return ge(o.value?e.consequent:e.alternate,t,n);const r=ge(e.consequent,t,n),s=ge(e.alternate,t,n);return r===we||s===we?we:new Set([...r,...s])}}const o=I(e,t);return o.known?new Set([String(o.value)]):we}function ke(e){const t=e?.value;return t?.cooked??t?.raw??""}function Se(e,t,n){const o=function(e,t){const n=new Set;let o=!1;const r=t.constFold,s=t.narrow;return k(e.sfc.template,e=>{if(e.type===a)for(const t of e.props??[]){if(t.type===l){if("class"===t.name){const e=t.value,o="string"==typeof e?.content?e.content:"";for(const e of o.split(/\s+/))e&&n.add(e)}continue}if(t.type!==p||"bind"!==t.name)continue;const e=g(t.arg);if(null==t.arg||null==e){o=!0;continue}if("class"!==e)continue;const i=he(h(g(t.exp)),r,s);if(i===we)o=!0;else for(const e of i)n.add(e)}}),{classes:n,unbounded:o}}(e,t);if(o.unbounded)return 0;let r=0;for(const t of e.sfc.styles){if(!t.scoped)continue;let e;try{e=s(t.content)}catch{continue}let i=0;if(e.each(e=>{"rule"===e.type&&be(e,o.classes)&&(e.remove(),i+=1)}),i>0){const o=t.base+t.content.length;n.overwrite(t.base,o,e.toString()),r+=i}}return r}function be(e,t){let n=!1;try{i(e=>{let o=!1,r=!0,s=!1;e.each(e=>{s=!0;const n=[];e.walkPseudos(e=>{const t=e.value;(t.includes("deep")||t.includes("global")||t.includes("slotted"))&&(o=!0)}),e.walkClasses(e=>{n.push(e.value)});n.some(e=>!t.has(e))||(r=!1)}),n=s&&r&&!o}).processSync(e.selector)}catch{return!1}return n}function xe(e,t,n,o,r){if(0===t.size&&0===n.size)return new Set;!function(e,t,n,o,r){const s=e.code;S(e.sfc.template,e=>{for(const i of O(e)){if(F(i[0].el,r))continue;const e=z(i,t,n);for(const[t,n]of e.removed)Ie(s,t,n,o),r.push([t,n]);for(const[t,n]of e.dirRemovals)Ie(s,t,n,o);if(e.promotion){const{from:t,to:n,text:r}=e.promotion;o.overwrite(t,n,r)}}})}(e,t,n,r,[]);const s=function(e,t,n){const o=new Set,r=e.sfc.scriptSetup;if(!(e.props&&0!==t.size&&r&&e.propsDeclaration&&e.propsPattern))return o;const s=r.base,i=e.props.filter(e=>t.has(e.name));if(0===i.length)return o;for(const e of i)o.add(e.name);const c=i.map(e=>{return`const ${e.name} = ${n=t.get(e.name),void 0===n?"undefined":JSON.stringify(n)};`;var n}).join("\n"),a=e.props.filter(e=>!t.has(e.name)),u=s+(e.propsDeclaration.start??0);let f=s+(e.propsDeclaration.end??0);";"===e.code[f]&&(f+=1);if(0===a.length&&!e.hasRestProp)return n.overwrite(u,f,c),o;const l=e.propsPattern?.properties??[];for(const t of i)Ee(l,t.property,s,n,e.code),Pe(e.definePropsCall,t.name,s,n,e.code);return n.appendLeft(f,`\n${c}`),o}(e,t,r);return Se(e,{...o,constFold:t,narrow:n},r),s}function Ie(e,t,n,o){let r=t;for(;r>0&&(" "===e[r-1]||"\t"===e[r-1]);)r-=1;o.remove(r,n)}function Ee(e,t,n,o,r){const s=e.indexOf(t);Me(t,e[s-1],n,o,r)}function Pe(e,t,n,o,r){const s=e?.typeParameters?.params?.[0],i=s?.members??[],c=i.findIndex(e=>"Identifier"===e.key?.type&&e.key.name===t);-1!==c&&Me(i[c],i[c-1],n,o,r)}function Me(e,t,n,o,r){const s=n+(e.start??0),i=n+(e.end??0);let c=i;for(;c<r.length&&(" "===r[c]||"\t"===r[c]);)c+=1;if(","===r[c]){let e=c+1;for(;e<r.length&&(" "===r[e]||"\t"===r[e]||"\n"===r[e]);)e+=1;return void o.remove(s,e)}t?o.remove(n+(t.end??0),i):o.remove(s,i)}function De(e,t,n){const o=e.code;k(e.sfc.template,r=>{if(!m(r)||!r.tag)return;const s=e.imports.get(r.tag),i=s?t.get(s):void 0;if(i&&0!==i.size)for(const e of r.props??[])if(e.type===l)e.name&&i.has(e.name)&&Re(o,e,n);else if(e.type===p&&"bind"===e.name){const t=g(e.arg);t&&i.has(t)&&Le(e)&&Re(o,e,n)}})}function Le(e){const t=g(e.exp);if(null==t)return!1;const n=h(t);return null!=n&&I(n,new Map).known}function Re(e,t,n){const o=t.loc;let r=o.start.offset;for(;r>0&&(" "===e[r-1]||"\t"===e[r-1]||"\n"===e[r-1]);)r-=1;n.remove(r,o.end.offset)}const je=(t,n)=>t.startsWith(".")?e.resolve(e.dirname(n),t):null,Oe=e=>c.readFileSync(e,"utf-8");function Ce(t){const n=[];let o;try{o=c.readdirSync(t,{withFileTypes:!0})}catch{return n}for(const r of o){if("node_modules"===r.name||r.name.startsWith("."))continue;const o=e.join(t,r.name);r.isDirectory()?n.push(...Ce(o)):r.isFile()&&r.name.endsWith(".vue")&&n.push(o)}return n}function ze(t={}){const n=t.include??["."];let o=process.cwd(),s={};return{name:"vue-shaker",enforce:"pre",apply:"build",configResolved(e){o=e.root},async buildStart(){const t=n.flatMap(t=>Ce(e.resolve(o,t)));if(0===t.length)return;const{models:i,plans:c}=await T(t,je,Oe);s=function(e,t){const n=new Map,o=new Map;for(const s of e.values()){const e=new r(s.code);n.set(s.id,e);const i=t.get(s.id);o.set(s.id,i.bail?new Set:xe(s,i.constFold,i.narrow,i,e))}for(const t of e.values())De(t,o,n.get(t.id));const s={};for(const t of e.values())s[t.id]=n.get(t.id).toString();return s}(i,c)},transform(t,n){if(n.includes("?"))return null;const o=n.split("?",1)[0];if(!o.endsWith(".vue"))return null;const r=s[o]??s[e.normalize(o)];return null==r||r===t?null:{code:r,map:null}}}}export{ze as shaker};

package/package.json

@@ -0,0 +1,80 @@
+{
+  "name": "vue-shaker",
+  "version": "0.1.0",
+  "description": "Tree shaking for Vue components",
+  "license": "MIT",
+  "author": "baseballyama",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/baseballyama/vue-shaker.git",
+    "directory": "packages/vue-shaker"
+  },
+  "homepage": "https://github.com/baseballyama/vue-shaker#readme",
+  "bugs": "https://github.com/baseballyama/vue-shaker/issues",
+  "keywords": [
+    "vue",
+    "vue3",
+    "tree-shaking",
+    "tree-shaker",
+    "dead-code-elimination",
+    "sfc",
+    "vite-plugin",
+    "rollup-plugin",
+    "optimization",
+    "defineProps"
+  ],
+  "type": "module",
+  "files": [
+    "dist",
+    "CHANGELOG.md"
+  ],
+  "main": "./dist/index.js",
+  "types": "./dist/types/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/types/index.d.ts",
+      "import": "./dist/index.js",
+      "require": "./dist/index.cjs"
+    },
+    "./vite": {
+      "types": "./dist/types/vite.d.ts",
+      "import": "./dist/vite.js"
+    },
+    "./node": {
+      "types": "./dist/types/scan.d.ts",
+      "import": "./dist/scan.js"
+    },
+    "./package.json": "./package.json"
+  },
+  "scripts": {
+    "build": "rollup -c",
+    "build:wasm": "wasm-pack build engine-rs --target nodejs --release --out-dir pkg",
+    "prepack": "rollup -c",
+    "dev": "rollup -cw",
+    "test:watch": "vitest",
+    "test": "vitest run"
+  },
+  "dependencies": {
+    "@babel/parser": "^7.26.0",
+    "@vue/compiler-dom": "^3.5.13",
+    "@vue/compiler-sfc": "^3.5.13",
+    "magic-string": "0.30.10",
+    "postcss": "^8.4.49",
+    "postcss-selector-parser": "^6.1.2"
+  },
+  "devDependencies": {
+    "@rollup/plugin-commonjs": "25.0.8",
+    "@rollup/plugin-node-resolve": "15.2.3",
+    "@rollup/plugin-terser": "0.4.4",
+    "@rollup/plugin-typescript": "11.1.6",
+    "@vitejs/plugin-vue": "^5.2.1",
+    "@vue/server-renderer": "^3.5.13",
+    "rollup": "4.18.0",
+    "tslib": "2.6.2",
+    "vite": "^5.4.11",
+    "vue": "^3.5.13"
+  },
+  "peerDependencies": {
+    "vue": "^3"
+  }
+}