ivue 2.4.0 → 2.5.0

package/bin/ivue.mjs

@@ -10,6 +10,7 @@
  * the installed package, so the manual always matches the engine version
  * the project actually runs.
  */
+import { createHash } from 'node:crypto';
 import { existsSync, mkdirSync, readFileSync, writeFileSync } from 'node:fs';
 import { dirname, join, resolve } from 'node:path';
 import { fileURLToPath } from 'node:url';
@@ -27,7 +28,11 @@ if (command !== 'skill') {
 
   npx ivue skill [targets] [--force]
 
-  Installs the ivue operating manual for coding agents. Targets:
+  Installs the ivue operating manual for coding agents, and (for the
+  Claude target) the house gate seed — your own extendable Standard
+  gate at .claude/skills/ivue/ivue-house-gate.ts. A house gate you have
+  customized is never overwritten; upgrade it with your AI agent using
+  the ivue skill, or --force. Targets:
     (none) / --claude   .claude/skills/ivue/SKILL.md
     --cursor            .cursor/rules/ivue.mdc
     --copilot           .github/instructions/ivue.instructions.md
@@ -58,6 +63,50 @@ const skillDescription =
   /description:\s*([^\n]+)/.exec(skillText)?.[1] ??
   'The ivue operating manual.';
 
+/**
+ * A SEED is a file the user is meant to edit (the house gate). The install
+ * stamps it with a hash of its own content; on upgrade, a matching stamp
+ * means "untouched since install" (safe to replace), anything else means
+ * the user customized it — leave it alone and point at AI reconciliation.
+ */
+const SEED_STAMP = /^\/\/ ivue-seed: ([0-9a-f]{64})\n/;
+
+function stampSeed(content) {
+  const hash = createHash('sha256').update(content).digest('hex');
+  return `// ivue-seed: ${hash}\n${content}`;
+}
+
+function seedUntouched(existing) {
+  const stamp = SEED_STAMP.exec(existing);
+  if (!stamp) return false;
+  const body = existing.slice(stamp[0].length);
+  return createHash('sha256').update(body).digest('hex') === stamp[1];
+}
+
+function installSeed(relativePath, content, label) {
+  const targetPath = join(process.cwd(), relativePath);
+  const stamped = stampSeed(content);
+  if (existsSync(targetPath)) {
+    const existing = readFileSync(targetPath, 'utf8');
+    if (existing === stamped) {
+      console.log(`ivue: ${label} already up to date (ivue v${version}).`);
+      return;
+    }
+    if (!seedUntouched(existing) && !force) {
+      console.log(
+        `ivue: ${label} at ${relativePath} was customized — keeping yours.\n` +
+          '      To upgrade it, ask your AI agent (with the ivue skill installed) to\n' +
+          "      reconcile your gate with the new Standard's — it knows both sides.\n" +
+          '      Or re-run with --force to overwrite your customizations.',
+      );
+      return;
+    }
+  }
+  mkdirSync(dirname(targetPath), { recursive: true });
+  writeFileSync(targetPath, stamped);
+  console.log(`ivue: ${label} installed at ${relativePath} (ivue v${version}).`);
+}
+
 /** Write one target idempotently; refuse to clobber local edits sans --force. */
 function install(relativePath, content, label) {
   const targetPath = join(process.cwd(), relativePath);
@@ -104,6 +153,18 @@ const wantClaude =
 
 if (wantClaude) {
   install('.claude/skills/ivue/SKILL.md', skillText, 'Claude skill');
+  // the house gate seed — the user's own gate, never clobbered once edited
+  const housePath = [
+    join(packageRoot, 'skills', 'ivue', 'ivue-house-gate.ts'),
+    join(packageRoot, '.claude', 'skills', 'ivue', 'ivue-house-gate.ts'),
+  ].find(existsSync);
+  if (housePath) {
+    const houseSeed = readFileSync(housePath, 'utf8')
+      .replace("from '../../lib/Static'", "from 'ivue/extras'")
+      .replace("from './ivue-standards-check'", "from 'ivue/skills/ivue/ivue-standards-check'")
+      .replace("from './ivue-generator-standard'", "from 'ivue/skills/ivue/ivue-generator-standard'");
+    installSeed('.claude/skills/ivue/ivue-house-gate.ts', houseSeed, 'house gate');
+  }
 }
 if (wantAll && !wantCursor) skipped('Cursor rule', '.cursor/', '--cursor');
 if (wantAll && !wantCopilot) skipped('Copilot instructions', '.github/', '--copilot');

package/dist/Reactive.d.ts

@@ -118,11 +118,28 @@ export declare type ExtractEmitTypes<T extends Record<string, any>> = UnionToInt
 }>>;
 /**
  * Extract properties as all-assigned (non-optional) because every one of
- * them carries a default.
+ * them carries a default — the honesty check: a declared type without a
+ * default is a compile error. Props declared `required: true` are FILTERED
+ * OUT automatically (a required prop can never carry a default —
+ * propsWithDefaults skips them at runtime), so no manual `Omit` is needed;
+ * a deliberately default-free OPTIONAL prop is declared `key: undefined`,
+ * stating the ruling in the defaults object itself. The `required: true`
+ * literal survives `typeof` only through generic inference — declare the
+ * types map with `definePropTypes({...})`, never as a bare object const.
  */
 export declare type ExtractPropDefaultTypes<O> = {
-    [K in keyof O]: K extends keyof ExtractPropTypes<O> ? ExtractPropTypes<O>[K] : never;
+    [K in keyof O as O[K] extends {
+        required: true;
+    } ? never : K]: K extends keyof ExtractPropTypes<O> ? ExtractPropTypes<O>[K] : never;
 };
+/**
+ * Identity helper for a prop-TYPES map. Exists for one reason: in a bare
+ * `const propsTypes = {...}`, TypeScript widens `required: true` to
+ * `boolean`, which blinds ExtractPropDefaultTypes' required-key filter —
+ * generic inference through this call preserves the literal. Costs
+ * nothing at runtime.
+ */
+export declare function definePropTypes<T extends VuePropsObject>(types: T): T;
 /**
  * Extend a slots interface T with prefixed 'before--' & 'after--' slots to
  * create fully extensible wrapped components.

package/dist/extras.cjs

@@ -1 +1 @@
-"use strict";Object.defineProperty(exports,Symbol.toStringTag,{value:"Module"});const u=Object.hasOwn;exports.LazyShared=class{constructor(s){this.make=s,this.constructed=!1,this.constructing=!1,this.stored=null}get value(){if(!this.constructed){if(this.constructing)throw new Error("LazyShared thunk cycle: this cell is read inside its own construction. Break the dependency between the two thunks.");this.constructing=!0;try{this.stored=this.make(),this.constructed=!0}finally{this.constructing=!1}}return this.stored}reset(){this.constructed=!1,this.stored=null}},exports.Static=function(s){const i=class extends s{},c=new Set;for(let r=s;r!==Function.prototype;r=Object.getPrototypeOf(r))for(const t of Reflect.ownKeys(r)){if(c.has(t))continue;c.add(t);const e=Object.getOwnPropertyDescriptor(r,t);if(typeof e.value=="function"){const o=e.value,n=typeof t=="string"?Symbol.for(`ivue.staticBound.${t}`):Symbol("ivue.staticBound");Object.defineProperty(i,t,{configurable:!0,enumerable:e.enumerable,get(){return u(this,n)||Object.defineProperty(this,n,{configurable:!0,value:o.bind(this)}),this[n]}})}else if(e.get&&!e.set&&typeof t=="string"&&t.startsWith("$")){const o=e.get,n=Symbol.for(`ivue.staticCache.${t}`);Object.defineProperty(i,t,{configurable:!0,enumerable:e.enumerable,get(){return u(this,n)||Object.defineProperty(this,n,{configurable:!0,value:o.call(this)}),this[n]}})}}return i};
+"use strict";Object.defineProperty(exports,Symbol.toStringTag,{value:"Module"});const l=Object.hasOwn,c=new Set;exports.LazyShared=class{constructor(s){this.make=s,this.constructed=!1,this.constructing=!1,this.stored=null}get value(){if(!this.constructed){if(this.constructing)throw new Error("LazyShared thunk cycle: this cell is read inside its own construction. Break the dependency between the two thunks.");this.constructing=!0;try{this.stored=this.make(),this.constructed=!0}finally{this.constructing=!1}}return this.stored}reset(){this.constructed=!1,this.stored=null}},exports.Static=function(s){var a;const o=class extends s{},u=new Set;for(let n=s;n!==Function.prototype;n=Object.getPrototypeOf(n))for(const t of Reflect.ownKeys(n)){if(u.has(t)||(u.add(t),typeof t=="symbol"&&((a=Symbol.keyFor(t))==null?void 0:a.startsWith("ivue.static")))||c.has(t))continue;const i=Object.getOwnPropertyDescriptor(n,t);if(typeof i.value=="function"){const r=i.value,e=typeof t=="string"?Symbol.for(`ivue.staticBound.${t}`):Symbol("ivue.staticBound");c.add(e),Object.defineProperty(o,t,{configurable:!0,enumerable:i.enumerable,get(){return l(this,e)||Object.defineProperty(this,e,{configurable:!0,value:r.bind(this)}),this[e]}})}else if(i.get&&!i.set&&typeof t=="string"&&t.startsWith("$")){const r=i.get,e=Symbol.for(`ivue.staticCache.${t}`);c.add(e),Object.defineProperty(o,t,{configurable:!0,enumerable:i.enumerable,get(){return l(this,e)||Object.defineProperty(this,e,{configurable:!0,value:r.call(this)}),this[e]}})}}return o};

package/dist/extras.es.js

@@ -1,30 +1,30 @@
-const u = Object.hasOwn;
-function a(i) {
-  const n = class extends i {
-  }, c = /* @__PURE__ */ new Set();
-  for (let r = i; r !== Function.prototype; r = Object.getPrototypeOf(r))
-    for (const t of Reflect.ownKeys(r)) {
-      if (c.has(t))
+const h = Object.hasOwn, c = /* @__PURE__ */ new Set();
+function l(o) {
+  var a;
+  const i = class extends o {
+  }, u = /* @__PURE__ */ new Set();
+  for (let n = o; n !== Function.prototype; n = Object.getPrototypeOf(n))
+    for (const t of Reflect.ownKeys(n)) {
+      if (u.has(t) || (u.add(t), typeof t == "symbol" && ((a = Symbol.keyFor(t)) == null ? void 0 : a.startsWith("ivue.static"))) || c.has(t))
         continue;
-      c.add(t);
-      const e = Object.getOwnPropertyDescriptor(r, t);
-      if (typeof e.value == "function") {
-        const o = e.value, s = typeof t == "string" ? Symbol.for(`ivue.staticBound.${t}`) : Symbol("ivue.staticBound");
-        Object.defineProperty(n, t, { configurable: !0, enumerable: e.enumerable, get() {
-          return u(this, s) || Object.defineProperty(this, s, { configurable: !0, value: o.bind(this) }), this[s];
+      const s = Object.getOwnPropertyDescriptor(n, t);
+      if (typeof s.value == "function") {
+        const r = s.value, e = typeof t == "string" ? Symbol.for(`ivue.staticBound.${t}`) : Symbol("ivue.staticBound");
+        c.add(e), Object.defineProperty(i, t, { configurable: !0, enumerable: s.enumerable, get() {
+          return h(this, e) || Object.defineProperty(this, e, { configurable: !0, value: r.bind(this) }), this[e];
         } });
-      } else if (e.get && !e.set && typeof t == "string" && t.startsWith("$")) {
-        const o = e.get, s = Symbol.for(`ivue.staticCache.${t}`);
-        Object.defineProperty(n, t, { configurable: !0, enumerable: e.enumerable, get() {
-          return u(this, s) || Object.defineProperty(this, s, { configurable: !0, value: o.call(this) }), this[s];
+      } else if (s.get && !s.set && typeof t == "string" && t.startsWith("$")) {
+        const r = s.get, e = Symbol.for(`ivue.staticCache.${t}`);
+        c.add(e), Object.defineProperty(i, t, { configurable: !0, enumerable: s.enumerable, get() {
+          return h(this, e) || Object.defineProperty(this, e, { configurable: !0, value: r.call(this) }), this[e];
         } });
       }
     }
-  return n;
+  return i;
 }
-class h {
-  constructor(n) {
-    this.make = n, this.constructed = !1, this.constructing = !1, this.stored = null;
+class f {
+  constructor(i) {
+    this.make = i, this.constructed = !1, this.constructing = !1, this.stored = null;
   }
   get value() {
     if (!this.constructed) {
@@ -44,6 +44,6 @@ class h {
   }
 }
 export {
-  h as LazyShared,
-  a as Static
+  f as LazyShared,
+  l as Static
 };

package/dist/index.cjs

@@ -1 +1 @@
-"use strict";Object.defineProperty(exports,Symbol.toStringTag,{value:"Module"});const l=require("vue"),g=Object.hasOwn,y=Object.getPrototypeOf,w=Object.getOwnPropertyDescriptor,m=Object.getOwnPropertyNames,a=Object.defineProperty,d=Object.prototype,b=Symbol.for("ivue.raw"),p=Symbol.for("ivue.scope"),h=Symbol.for("ivue.processed");function i(e){const c=l.toRaw(e);if(c!==e)return c[b]??(c[b]=c);const r=e[b];return r?r===e?r:l.toRaw(r):e[b]=e}function O(e,c,r,o){a(e,c,{configurable:!0,enumerable:!1,get(){const t=i(this);return t[r]??(t[r]=o.bind(t))},set(t){i(this)[r]=t}})}function S(e,c,r,o,t){const n=c[0]==="$";a(e,c,{configurable:!0,enumerable:!1,get:function(){const u=i(this);if(r in u)return u[r];const f=o.call(u);return n?(u[r]=f,f):(l.isRef(f)?u[r]=f:a(e,c,{configurable:!0,enumerable:!1,get(){return o.call(i(this))},set:t?function(s){return t.call(i(this),s)}:void 0}),f)},set:t?function(u){return t.call(i(this),u)}:void 0})}function v(e){var c;return typeof e=="function"&&!!e.prototype&&!((c=w(e,"prototype"))!=null&&c.writable)}exports.Reactive=function(e){const c=[];let r=e.prototype;for(;r&&r!==d;)c.push(r),r=y(r);c.reverse();for(const o of c){if(g(o,h))continue;const t=m(o),n=[];for(const u of t){if(u==="constructor")continue;const f=w(o,u);if(typeof f.value=="function"){const s=Symbol(u);n.push(s),O(o,u,s,f.value)}else if(f.get){const s=Symbol(u);n.push(s),S(o,u,s,f.get,f.set)}}a(o,h,{value:n})}return g(e.prototype,"$stopEffects")||(a(e.prototype,"$watch",{enumerable:!1,configurable:!0,writable:!0,value:function(...o){const t=i(this);return(t[p]??(t[p]=l.effectScope(!0))).run(()=>l.watch(...o))}}),a(e.prototype,"$watchEffect",{enumerable:!1,configurable:!0,writable:!0,value:function(...o){const t=i(this);return(t[p]??(t[p]=l.effectScope(!0))).run(()=>l.watchEffect(...o))}}),a(e.prototype,"$stopEffects",{enumerable:!1,configurable:!0,writable:!0,value:function(o){const t=i(this);try{const n=t[p];n&&n.stop()}finally{if(delete t[p],(o==null?void 0:o.reset)!==!1){let n=y(t);for(;n&&n!==d;){const u=n[h];if(u)for(const f of u)delete t[f];n=y(n)}}}}})),e},exports.isClass=v,exports.propsWithDefaults=function(e,c,r){const o={};for(const t in c){const n=e==null?void 0:e[t],u=c[t];o[t]={...u},u.required||n===void 0||(typeof n=="object"&&n!==null?o[t].default=()=>r?r(n):structuredClone(n):v(n)?o[t].default=()=>n:o[t].default=n)}return o};
+"use strict";Object.defineProperty(exports,Symbol.toStringTag,{value:"Module"});const l=require("vue"),d=Object.hasOwn,y=Object.getPrototypeOf,w=Object.getOwnPropertyDescriptor,m=Object.getOwnPropertyNames,a=Object.defineProperty,g=Object.prototype,b=Symbol.for("ivue.raw"),p=Symbol.for("ivue.scope"),h=Symbol.for("ivue.processed");function i(e){const c=l.toRaw(e);if(c!==e)return c[b]??(c[b]=c);const r=e[b];return r?r===e?r:l.toRaw(r):e[b]=e}function O(e,c,r,o){a(e,c,{configurable:!0,enumerable:!1,get(){const t=i(this);return t[r]??(t[r]=o.bind(t))},set(t){i(this)[r]=t}})}function S(e,c,r,o,t){const n=c[0]==="$";a(e,c,{configurable:!0,enumerable:!1,get:function(){const u=i(this);if(r in u)return u[r];const f=o.call(u);return n?(u[r]=f,f):(l.isRef(f)?u[r]=f:a(e,c,{configurable:!0,enumerable:!1,get(){return o.call(i(this))},set:t?function(s){return t.call(i(this),s)}:void 0}),f)},set:t?function(u){return t.call(i(this),u)}:void 0})}function v(e){var c;return typeof e=="function"&&!!e.prototype&&!((c=w(e,"prototype"))!=null&&c.writable)}exports.Reactive=function(e){const c=[];let r=e.prototype;for(;r&&r!==g;)c.push(r),r=y(r);c.reverse();for(const o of c){if(d(o,h))continue;const t=m(o),n=[];for(const u of t){if(u==="constructor")continue;const f=w(o,u);if(typeof f.value=="function"){const s=Symbol(u);n.push(s),O(o,u,s,f.value)}else if(f.get){const s=Symbol(u);n.push(s),S(o,u,s,f.get,f.set)}}a(o,h,{value:n})}return d(e.prototype,"$stopEffects")||(a(e.prototype,"$watch",{enumerable:!1,configurable:!0,writable:!0,value:function(...o){const t=i(this);return(t[p]??(t[p]=l.effectScope(!0))).run(()=>l.watch(...o))}}),a(e.prototype,"$watchEffect",{enumerable:!1,configurable:!0,writable:!0,value:function(...o){const t=i(this);return(t[p]??(t[p]=l.effectScope(!0))).run(()=>l.watchEffect(...o))}}),a(e.prototype,"$stopEffects",{enumerable:!1,configurable:!0,writable:!0,value:function(o){const t=i(this);try{const n=t[p];n&&n.stop()}finally{if(delete t[p],(o==null?void 0:o.reset)!==!1){let n=y(t);for(;n&&n!==g;){const u=n[h];if(u)for(const f of u)delete t[f];n=y(n)}}}}})),e},exports.definePropTypes=function(e){return e},exports.isClass=v,exports.propsWithDefaults=function(e,c,r){const o={};for(const t in c){const n=e==null?void 0:e[t],u=c[t];o[t]={...u},u.required||n===void 0||(typeof n=="object"&&n!==null?o[t].default=()=>r?r(n):structuredClone(n):v(n)?o[t].default=()=>n:o[t].default=n)}return o};

package/dist/index.es.js

@@ -1,99 +1,103 @@
-import { effectScope as h, watch as w, watchEffect as O, toRaw as g, isRef as j } from "vue";
-const m = Object.hasOwn, b = Object.getPrototypeOf, d = Object.getOwnPropertyDescriptor, S = Object.getOwnPropertyNames, a = Object.defineProperty, v = Object.prototype, p = Symbol.for("ivue.raw"), l = Symbol.for("ivue.scope"), y = Symbol.for("ivue.processed");
-function f(e) {
-  const c = g(e);
-  if (c !== e)
+import { effectScope as h, watch as w, watchEffect as O, toRaw as d, isRef as j } from "vue";
+const g = Object.hasOwn, b = Object.getPrototypeOf, v = Object.getOwnPropertyDescriptor, S = Object.getOwnPropertyNames, a = Object.defineProperty, m = Object.prototype, p = Symbol.for("ivue.raw"), l = Symbol.for("ivue.scope"), y = Symbol.for("ivue.processed");
+function f(t) {
+  const c = d(t);
+  if (c !== t)
     return c[p] ?? (c[p] = c);
-  const r = e[p];
-  return r ? r === e ? r : g(r) : e[p] = e;
+  const r = t[p];
+  return r ? r === t ? r : d(r) : t[p] = t;
 }
-function $(e, c, r, o) {
-  a(e, c, { configurable: !0, enumerable: !1, get() {
-    const t = f(this);
-    return t[r] ?? (t[r] = o.bind(t));
-  }, set(t) {
-    f(this)[r] = t;
+function P(t, c, r, o) {
+  a(t, c, { configurable: !0, enumerable: !1, get() {
+    const e = f(this);
+    return e[r] ?? (e[r] = o.bind(e));
+  }, set(e) {
+    f(this)[r] = e;
   } });
 }
-function E(e, c, r, o, t) {
+function $(t, c, r, o, e) {
   const n = c[0] === "$";
-  a(e, c, { configurable: !0, enumerable: !1, get: function() {
+  a(t, c, { configurable: !0, enumerable: !1, get: function() {
     const s = f(this);
     if (r in s)
       return s[r];
     const u = o.call(s);
-    return n ? (s[r] = u, u) : (j(u) ? s[r] = u : a(e, c, { configurable: !0, enumerable: !1, get() {
+    return n ? (s[r] = u, u) : (j(u) ? s[r] = u : a(t, c, { configurable: !0, enumerable: !1, get() {
       return o.call(f(this));
-    }, set: t ? function(i) {
-      return t.call(f(this), i);
+    }, set: e ? function(i) {
+      return e.call(f(this), i);
     } : void 0 }), u);
-  }, set: t ? function(s) {
-    return t.call(f(this), s);
+  }, set: e ? function(s) {
+    return e.call(f(this), s);
   } : void 0 });
 }
-function C(e) {
+function C(t) {
   const c = [];
-  let r = e.prototype;
-  for (; r && r !== v; )
+  let r = t.prototype;
+  for (; r && r !== m; )
     c.push(r), r = b(r);
   c.reverse();
   for (const o of c) {
-    if (m(o, y))
+    if (g(o, y))
       continue;
-    const t = S(o), n = [];
-    for (const s of t) {
+    const e = S(o), n = [];
+    for (const s of e) {
       if (s === "constructor")
         continue;
-      const u = d(o, s);
+      const u = v(o, s);
       if (typeof u.value == "function") {
         const i = Symbol(s);
-        n.push(i), $(o, s, i, u.value);
+        n.push(i), P(o, s, i, u.value);
       } else if (u.get) {
         const i = Symbol(s);
-        n.push(i), E(o, s, i, u.get, u.set);
+        n.push(i), $(o, s, i, u.get, u.set);
       }
     }
     a(o, y, { value: n });
   }
-  return m(e.prototype, "$stopEffects") || (a(e.prototype, "$watch", { enumerable: !1, configurable: !0, writable: !0, value: function(...o) {
-    const t = f(this);
-    return (t[l] ?? (t[l] = h(!0))).run(() => w(...o));
-  } }), a(e.prototype, "$watchEffect", { enumerable: !1, configurable: !0, writable: !0, value: function(...o) {
-    const t = f(this);
-    return (t[l] ?? (t[l] = h(!0))).run(() => O(...o));
-  } }), a(e.prototype, "$stopEffects", { enumerable: !1, configurable: !0, writable: !0, value: function(o) {
-    const t = f(this);
+  return g(t.prototype, "$stopEffects") || (a(t.prototype, "$watch", { enumerable: !1, configurable: !0, writable: !0, value: function(...o) {
+    const e = f(this);
+    return (e[l] ?? (e[l] = h(!0))).run(() => w(...o));
+  } }), a(t.prototype, "$watchEffect", { enumerable: !1, configurable: !0, writable: !0, value: function(...o) {
+    const e = f(this);
+    return (e[l] ?? (e[l] = h(!0))).run(() => O(...o));
+  } }), a(t.prototype, "$stopEffects", { enumerable: !1, configurable: !0, writable: !0, value: function(o) {
+    const e = f(this);
     try {
-      const n = t[l];
+      const n = e[l];
       n && n.stop();
     } finally {
-      if (delete t[l], (o == null ? void 0 : o.reset) !== !1) {
-        let n = b(t);
-        for (; n && n !== v; ) {
+      if (delete e[l], (o == null ? void 0 : o.reset) !== !1) {
+        let n = b(e);
+        for (; n && n !== m; ) {
           const s = n[y];
           if (s)
             for (const u of s)
-              delete t[u];
+              delete e[u];
           n = b(n);
         }
       }
     }
-  } })), e;
+  } })), t;
 }
-function P(e) {
+function E(t) {
   var c;
-  return typeof e == "function" && !!e.prototype && !((c = d(e, "prototype")) != null && c.writable);
+  return typeof t == "function" && !!t.prototype && !((c = v(t, "prototype")) != null && c.writable);
 }
-function D(e, c, r) {
+function D(t, c, r) {
   const o = {};
-  for (const t in c) {
-    const n = e == null ? void 0 : e[t], s = c[t];
-    o[t] = { ...s }, s.required || n === void 0 || (typeof n == "object" && n !== null ? o[t].default = () => r ? r(n) : structuredClone(n) : P(n) ? o[t].default = () => n : o[t].default = n);
+  for (const e in c) {
+    const n = t == null ? void 0 : t[e], s = c[e];
+    o[e] = { ...s }, s.required || n === void 0 || (typeof n == "object" && n !== null ? o[e].default = () => r ? r(n) : structuredClone(n) : E(n) ? o[e].default = () => n : o[e].default = n);
   }
   return o;
 }
+function q(t) {
+  return t;
+}
 export {
   C as Reactive,
-  P as isClass,
+  q as definePropTypes,
+  E as isClass,
   D as propsWithDefaults
 };

package/lib/Reactive.ts

@@ -486,14 +486,32 @@ export type ExtractEmitTypes<T extends Record<string, any>> =
 
 /**
  * Extract properties as all-assigned (non-optional) because every one of
- * them carries a default.
+ * them carries a default — the honesty check: a declared type without a
+ * default is a compile error. Props declared `required: true` are FILTERED
+ * OUT automatically (a required prop can never carry a default —
+ * propsWithDefaults skips them at runtime), so no manual `Omit` is needed;
+ * a deliberately default-free OPTIONAL prop is declared `key: undefined`,
+ * stating the ruling in the defaults object itself. The `required: true`
+ * literal survives `typeof` only through generic inference — declare the
+ * types map with `definePropTypes({...})`, never as a bare object const.
  */
 export type ExtractPropDefaultTypes<O> = {
-  [K in keyof O]: K extends keyof ExtractPropTypes<O>
-    ? ExtractPropTypes<O>[K]
-    : never;
+  [K in keyof O as O[K] extends { required: true }
+    ? never
+    : K]: K extends keyof ExtractPropTypes<O> ? ExtractPropTypes<O>[K] : never;
 };
 
+/**
+ * Identity helper for a prop-TYPES map. Exists for one reason: in a bare
+ * `const propsTypes = {...}`, TypeScript widens `required: true` to
+ * `boolean`, which blinds ExtractPropDefaultTypes' required-key filter —
+ * generic inference through this call preserves the literal. Costs
+ * nothing at runtime.
+ */
+export function definePropTypes<T extends VuePropsObject>(types: T): T {
+  return types;
+}
+
 /**
  * Extend a slots interface T with prefixed 'before--' & 'after--' slots to
  * create fully extensible wrapped components.

package/lib/Static.ts

@@ -42,6 +42,11 @@ export type ClassConstructor = new (...arguments_: any[]) => any;
 
 const hasOwn = Object.hasOwn;
 
+// Every bind/cache symbol this module ever issues — so a second wrap can
+// recognize an ancestor's runtime residue even for the unregistered
+// symbols that back symbol-keyed methods.
+const issuedCacheKeys = new Set<PropertyKey>();
+
 export function Static<Class extends ClassConstructor>(targetClass: Class): Class {
   const SelectedClass = class extends targetClass {};
   const visitedKeys = new Set<PropertyKey>();
@@ -55,6 +60,13 @@ export function Static<Class extends ClassConstructor>(targetClass: Class): Clas
       if (visitedKeys.has(key)) continue;
       visitedKeys.add(key);
 
+      // An already-wrapped ancestor that has been READ owns its bind/cache
+      // symbol properties. They are runtime residue, not API — re-wrapping
+      // them would install an ancestor-bound function where the child's
+      // own chain lookup expects to bind for itself.
+      if (typeof key === 'symbol' && Symbol.keyFor(key)?.startsWith('ivue.static')) continue;
+      if (issuedCacheKeys.has(key)) continue; // the unregistered symbols backing symbol-keyed methods
+
       const descriptor = Object.getOwnPropertyDescriptor(currentClass, key)!;
 
       if (typeof descriptor.value === 'function') {
@@ -63,6 +75,7 @@ export function Static<Class extends ClassConstructor>(targetClass: Class): Clas
           typeof key === 'string'
             ? Symbol.for(`ivue.staticBound.${key}`)
             : Symbol('ivue.staticBound');
+        issuedCacheKeys.add(bindKey);
 
         Object.defineProperty(SelectedClass, key, {
           configurable: true,
@@ -85,6 +98,7 @@ export function Static<Class extends ClassConstructor>(targetClass: Class): Clas
       ) {
         const getter = descriptor.get;
         const cacheKey = Symbol.for(`ivue.staticCache.${key}`);
+        issuedCacheKeys.add(cacheKey);
 
         Object.defineProperty(SelectedClass, key, {
           configurable: true,

package/lib/__tests__/Reactive.vitest.spec.ts

@@ -17,6 +17,7 @@ import {
   propsWithDefaults,
   Reactive,
   type ReactiveInstance,
+  definePropTypes,
 } from '../Reactive';
 
 /**
@@ -418,18 +419,18 @@ describe('Reactive()', () => {
         }
       }
       class Mid extends Base {
-        get summary() {
+        override get summary() {
           return computed(() => `(Mid>${super.summary.value})`);
         }
-        get chain() {
+        override get chain() {
           return super.chain + '->Mid';
         }
       }
       class Leaf extends Mid {
-        get summary() {
+        override get summary() {
           return computed(() => `{Leaf>${super.summary.value}}`);
         }
-        get chain() {
+        override get chain() {
           return super.chain + '->Leaf';
         }
       }
@@ -446,7 +447,7 @@ describe('Reactive()', () => {
         }
       }
       class Child extends Base {
-        get val() {
+        override get val() {
           return computed(() => 10 + super.val.value);
         }
       }
@@ -491,13 +492,13 @@ describe('Reactive()', () => {
       }
     }
     class L2 extends L1 {
-      get tag() {
+      override get tag() {
         return computed(() => `L2(${super.tag.value})`);
       }
-      get name() {
+      override get name() {
         return super.name + '>L2';
       }
-      greet() {
+      override greet() {
         return super.greet() + '/L2';
       }
     }
@@ -505,18 +506,18 @@ describe('Reactive()', () => {
       get extra() {
         return ref(5);
       }
-      get tag() {
+      override get tag() {
         return computed(() => `L3[${super.tag.value}]`);
       }
-      get name() {
+      override get name() {
         return super.name + '>L3';
       }
     }
     class L4 extends L3 {
-      get tag() {
+      override get tag() {
         return computed(() => `L4{${super.tag.value}}`);
       }
-      get name() {
+      override get name() {
         return super.name + '>L4';
       }
       // computed in the child aggregating refs declared 3 and 1 levels up
@@ -525,7 +526,7 @@ describe('Reactive()', () => {
           () => (this as any).base.value + (this as any).extra.value,
         );
       }
-      greet() {
+      override greet() {
         return super.greet() + '/L4';
       }
     }
@@ -1112,3 +1113,14 @@ describe('$watchEffect (scoped watchEffect)', () => {
     expect(watchRuns).toBe(1); // sibling watcher in the same scope still fires
   });
 });
+
+describe('definePropTypes()', () => {
+  it('returns the same types map (identity, literal-preserving)', () => {
+    const types = definePropTypes({
+      title: { type: String, required: true },
+      size: { type: Number },
+    });
+    expect(types.title.required).toBe(true);
+    expect(types.size.type).toBe(Number);
+  });
+});

package/lib/__tests__/Static.vitest.spec.ts

@@ -49,7 +49,7 @@ describe('Static', () => {
       }
     }
     class $Child extends $Base {
-      static describe() {
+      static override describe() {
         return 'child';
       }
     }
@@ -426,6 +426,65 @@ describe('Static $-cached getters', () => {
     expect(settle()).toBe(70); // inherited method binds to the child, detached
   });
 
+  // invariant: A prototype level is transformed at most once (ivue.invariants.md)
+  it('re-wrapping a subclass never resurrects a parent-bound method through the bind cache', () => {
+    // The double-wrap pattern the manual prescribes: a Static parent, a raw
+    // subclass extending it, and Static() applied again to the subclass.
+    // The parent is READ FIRST, so its bind cache (an own symbol property)
+    // exists when the second wrap walks the chain — that cache must be
+    // invisible to the walk, or the child's methods run with the parent
+    // as receiver.
+    class $Fleet {
+      static get vessels(): string[] {
+        return ['tug'];
+      }
+
+      static roster() {
+        return this.vessels.join(',');
+      }
+    }
+
+    const Fleet = Static($Fleet);
+    expect(Fleet.roster()).toBe('tug'); // parent reads (and caches its bound method) first
+
+    class $HarborFleet extends Fleet {
+      static override get vessels(): string[] {
+        return [...super.vessels, 'ferry'];
+      }
+    }
+    const HarborFleet = Static($HarborFleet);
+
+    expect(HarborFleet.roster()).toBe('tug,ferry'); // the child's override, not the parent's snapshot
+    const roster = HarborFleet.roster;
+    expect(roster()).toBe('tug,ferry'); // detached, still child-bound
+  });
+
+  // invariant: A prototype level is transformed at most once (ivue.invariants.md)
+  it('re-wrapping skips the unregistered bind caches of symbol-keyed methods too', () => {
+    const describeKind = Symbol('describeKind');
+    class $Signal {
+      static get kind(): string {
+        return 'base';
+      }
+
+      static [describeKind]() {
+        return `kind:${this.kind}`;
+      }
+    }
+
+    const Signal = Static($Signal);
+    expect((Signal as any)[describeKind]()).toBe('kind:base'); // parent reads first — unregistered bind cache lands
+
+    class $AlertSignal extends Signal {
+      static override get kind(): string {
+        return 'alert';
+      }
+    }
+    const AlertSignal = Static($AlertSignal);
+
+    expect((AlertSignal as any)[describeKind]()).toBe('kind:alert'); // child receiver, not the parent snapshot
+  });
+
   it('walks the raw inheritance chain — ancestor $-getters cache per receiver', () => {
     class $Base {
       static get scale() {