@velarscript/web 0.31.0 → 0.32.0

package/dist/analysis/components/contracts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contracts.js","sourceRoot":"","sources":["../../../src/analysis/components/contracts.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAAa,MAAM,uBAAuB,CAAC;AAClD,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,UAAU,EAAkB,MAAM,iCAAiC,CAAC;AAC3G,OAAO,EAAoJ,MAAM,cAAc,CAAC;AAChL,OAAO,EAAE,kBAAkB,EAAE,yBAAyB,EAAE,MAAM,gBAAgB,CAAC;AAC/E,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAA8B,MAAM,WAAW,CAAC;AAEvD,MAAM,UAAU,oBAAoB,CAAC,IAA2B,EAAE,IAAe;IAC/E,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;IAC1C,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,oBAAoB,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;IACpF,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IAC5G,OAAO,cAAc,CAAC,QAAQ,CAAC,CAAC;AAClC,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,IAA2B,EAAE,IAAe,EAAE,UAAgB;IACxG,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,KAAK,QAAQ;QACvC,CAAC,CAAC,QAAQ,CAAC,MAAM;QACjB,CAAC,CAAC,QAAQ,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACzF,IAAI,CAAC,MAAM;QAAE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,+DAA+D,YAAY,CAAC,IAAI,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC;AAC7J,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,IAAe;IACzD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,UAAU,CAAC,2BAA2B,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IACzF,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,2BAA2B,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;IACxH,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,2BAA2B,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,2BAA2B,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;IACxI,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,2BAA2B,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;IAC/F,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa;QAAE,OAAO,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,2BAA2B,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;IAC/H,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,2BAA2B,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACrJ,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO;YAC1F,GAAG,IAAI;YACP,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,2BAA2B,CAAC,SAAS,CAAC,CAAC;YACtF,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,2BAA2B,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACtE,MAAM,EAAE,2BAA2B,CAAC,IAAI,CAAC,MAAM,CAAC;SACjD,CAAC;IACF,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,2BAA2B,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;IAChI,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3C,OAAO,yBAAyB,CAC9B,IAAI,EACJ,CAAC,KAAK,EAAE,EAAE,CAAC,2BAA2B,CAAC,KAAK,CAAC,EAC7C,CAAC,KAAK,EAAE,EAAE,CAAC,2BAA2B,CAAC,KAAK,CAAC,CAC9C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,IAA2B,EAAE,MAA4B,EAAE,SAA+B;IAC9H,MAAM,KAAK,GAAmB,EAAE,CAAC;IACjC,MAAM,KAAK,GAAG,CAAC,OAA6B,EAAQ,EAAE;QACpD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YACjC,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,UAAU;gBAAE,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM;oBAAE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACnG,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,QAAQ;YAAE,IAAI,KAAK,CAAC,IAAI,KAAK,6BAA6B;gBAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACvG,CAAC,CAAC;IACF,KAAK,CAAC,MAAM,CAAC,CAAC;IACd,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,cAAc,SAAS,CAAC,IAAI,uCAAuC,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IACxJ,KAAK,MAAM,MAAM,IAAI,KAAK;QAAE,IAAI,MAAM,CAAC,KAAK,KAAK,IAAI;YAAE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,0CAA0C,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAC7J,MAAM,gBAAgB,GAAG,MAAM,CAAC,GAAG,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IAC1E,MAAM,sBAAsB,GAAG,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IAC1D,IAAI,CAAC,gBAAgB,IAAI,CAAC,sBAAsB,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,cAAc,SAAS,CAAC,IAAI,2EAA2E,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACrK,CAAC;AACH,CAAC"}

package/dist/analysis/components/declaration.d.ts

@@ -0,0 +1,4 @@
+import { type WebComponentDeclaration as ComponentDeclaration } from "../../ast.ts";
+import { type ComponentAnalysisHost } from "./host.ts";
+export declare function analyzeComponent(host: ComponentAnalysisHost, statement: ComponentDeclaration): void;
+//# sourceMappingURL=declaration.d.ts.map

package/dist/analysis/components/declaration.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"declaration.d.ts","sourceRoot":"","sources":["../../../src/analysis/components/declaration.ts"],"names":[],"mappings":"AAYA,OAAO,EAAY,KAAK,uBAAuB,IAAI,oBAAoB,EAAyB,MAAM,cAAc,CAAC;AAarH,OAAO,EAAE,KAAK,qBAAqB,EAAE,MAAM,WAAW,CAAC;AAoBvD,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,qBAAqB,EAAE,SAAS,EAAE,oBAAoB,GAAG,IAAI,CAKnG"}

package/dist/analysis/components/declaration.js

@@ -0,0 +1,163 @@
+/**
+ * One `component` declaration analyzed: the prologue that opens the body's
+ * scope and declares its props, the per-section dispatch over the items a body
+ * may hold, and the epilogue that counts the sections and closes everything the
+ * prologue opened.
+ *
+ * D115 P4 R3c. The three are named rather than one 122-line method because they
+ * are three different things: the prologue and the epilogue are a matched pair
+ * that has to stay balanced, and the loop between them is a dispatch whose arms
+ * are the reactive declarations `analysis/declarations.ts` already owns.
+ */
+import { nullType, unknownType } from "@velarscript/compiler/extension";
+import { isWebJsx } from "../../ast.js";
+import { isWebNodeType } from "../../types.js";
+import { componentSectionCountDiagnostics } from "../component-guidance.js";
+import { analyzeActionDeclaration, analyzeComputedDeclaration, analyzeResourceDeclaration, analyzeStateDeclaration, componentType, } from "../declarations.js";
+import { rejectFrozenWatchSubject, rejectWatchCycle } from "../watch-cycles.js";
+import { diagnostic } from "../web-types.js";
+import { containsReadonlyView, validateComponentHandleType, validateComponentHost } from "./contracts.js";
+import {} from "./host.js";
+export function analyzeComponent(host, statement) {
+    const frame = beginComponentBody(host, statement);
+    const sections = { cleanup: 0, exposes: 0, mounted: 0, renders: 0, renderValue: null };
+    for (const item of statement.body)
+        analyzeComponentItem(host, statement, item, frame, sections);
+    endComponentBody(host, statement, frame, sections);
+}
+function beginComponentBody(host, statement) {
+    const outerConstructorDepth = host.constructorDepth;
+    if (!host.isPredeclared(statement))
+        host.declareBinding(statement.name, false, componentType(host, statement), statement.span);
+    // VEL5075: a `def` written from here to the matching decrement lowers
+    // through this component's scope, so its component elements are children.
+    host.componentBodyDepth += 1;
+    host.enterScope();
+    host.flowFrameDepth += 1;
+    const previousStates = host.componentStates;
+    host.componentStates = new Set(statement.body.filter((item) => item.kind === "ExtensionStatement:web:state").map((item) => item.name));
+    const previousExplicitReadonlyProps = host.explicitReadonlyPropBindings;
+    const explicitReadonlyProps = new Map();
+    // Component items are analyzed one by one rather than through
+    // analyzeStatements, so the shadow prescan runs here — before the
+    // parameters, whose defaults are emitted as closures inside the component
+    // body where a later item's shadow would capture them.
+    host.prescanScopeDeclarations(statement.body.filter((item) => item.kind !== "ExtensionStatement:web:mounted" && item.kind !== "ExtensionStatement:web:cleanup" && item.kind !== "ExtensionStatement:web:expose"));
+    for (const parameter of statement.parameters) {
+        const type = host.resolveAnnotation(parameter.type);
+        const valid = parameter.type ? host.validateTypeReference(parameter.type) : true;
+        if (parameter.defaultValue && valid)
+            host.requireAssignable(host.inferParameterDefault(parameter.defaultValue, type), type, parameter.defaultValue.span);
+        const declared = valid ? type : host.resolveValidatedAnnotation(parameter.type);
+        host.declareBinding(parameter.name, false, declared, parameter.span);
+        if (valid && containsReadonlyView(host, declared))
+            explicitReadonlyProps.set(parameter.name, parameter.span.start);
+        host.markDeclaredBindingReactive(parameter.name, "prop");
+        if (parameter.name === "ref")
+            host.diagnostics.push(diagnostic("VEL5056", "'ref' is a compiler-owned JSX directive and cannot be declared as a component prop", parameter.span));
+    }
+    host.explicitReadonlyPropBindings = explicitReadonlyProps;
+    const handleType = statement.handleType ? host.resolveAnnotation(statement.handleType) : null;
+    const handleTypeValid = statement.handleType ? host.validateTypeReference(statement.handleType) : true;
+    if (handleType && handleTypeValid)
+        validateComponentHandleType(host, handleType, statement.handleType.span);
+    host.constructorDepth = 0;
+    return { handleType, handleTypeValid, outerConstructorDepth, previousExplicitReadonlyProps, previousStates };
+}
+function analyzeComponentItem(host, statement, item, frame, sections) {
+    const { handleType, handleTypeValid } = frame;
+    if (item.kind === "ExtensionStatement:web:state") {
+        analyzeStateDeclaration(host, item);
+    }
+    else if (item.kind === "ExtensionStatement:web:computed") {
+        host.flowFrameDepth += 1;
+        analyzeComputedDeclaration(host, item);
+        host.flowFrameDepth -= 1;
+    }
+    else if (item.kind === "ExtensionStatement:web:resource") {
+        host.flowFrameDepth += 1;
+        analyzeResourceDeclaration(host, item);
+        host.flowFrameDepth -= 1;
+    }
+    else if (item.kind === "ExtensionStatement:web:action") {
+        analyzeActionDeclaration(host, item);
+    }
+    else if (item.kind === "ExtensionStatement:web:watch") {
+        host.flowFrameDepth += 1;
+        host.synchronousReactiveDepth += 1;
+        const watched = host.inferExpression(item.expression);
+        if (rejectFrozenWatchSubject(host, item.expression, watched, item.currentName, item.previousName)) {
+            rejectWatchCycle(host, item.expression, watched, item.body);
+        }
+        host.enterScope();
+        if (item.currentName)
+            host.declareBinding(item.currentName, false, watched, item.span);
+        if (item.previousName)
+            host.declareBinding(item.previousName, false, watched, item.span);
+        host.watchBodyDepth += 1;
+        host.analyzeStatements(item.body);
+        host.watchBodyDepth -= 1;
+        host.exitScope();
+        host.synchronousReactiveDepth -= 1;
+        host.flowFrameDepth -= 1;
+    }
+    else if (item.kind === "ExtensionStatement:web:expose") {
+        sections.exposes += 1;
+        host.flowFrameDepth += 1;
+        const actual = host.inferExpression(item.value, handleType ?? unknownType);
+        host.flowFrameDepth -= 1;
+        if (!handleType)
+            host.diagnostics.push(diagnostic("VEL5056", `Component '${statement.name}' uses 'expose' without declaring 'exposes HandleType'`, item.span));
+        else if (handleTypeValid)
+            host.requireAssignable(actual, handleType, item.value.span);
+    }
+    else if (item.kind === "ExtensionStatement:web:mounted") {
+        sections.mounted += 1;
+        host.mountedDepth += 1;
+        host.flowFrameDepth += 1;
+        host.analyzeBlock(item.body);
+        host.flowFrameDepth -= 1;
+        host.mountedDepth -= 1;
+    }
+    else if (item.kind === "ExtensionStatement:web:cleanup") {
+        sections.cleanup += 1;
+        // D51 (audit 12): a cleanup hook runs once and ends, so it is an
+        // ordinary scope with an exit. It used to be counted as component
+        // setup, and the rejection then named `@cleanup` as its own fix.
+        host.cleanupDepth += 1;
+        host.flowFrameDepth += 1;
+        host.analyzeBlock(item.body);
+        host.flowFrameDepth -= 1;
+        host.cleanupDepth -= 1;
+    }
+    else if (item.kind === "ReturnStatement") {
+        sections.renders += 1;
+        sections.renderValue = item.value;
+        host.flowFrameDepth += 1;
+        const rendered = item.value ? host.inferExpression(item.value) : nullType;
+        host.flowFrameDepth -= 1;
+        // WEB-U15: `return null` is the React habit for "render nothing". A
+        // component always has one root, so the decision belongs to the caller.
+        if (rendered.kind === "null") {
+            host.typeError("A component always returns one JSX root; decide at the call site with '{show ? <Card /> : null}', or return an empty element such as <span />", item.span);
+        }
+        else if (!isWebNodeType(rendered) && rendered.kind !== "any")
+            host.typeError("A component must return JSX", item.span);
+    }
+    else {
+        host.analyzeStatement(item);
+    }
+}
+function endComponentBody(host, statement, frame, sections) {
+    const { cleanup, exposes, mounted, renders, renderValue } = sections;
+    host.diagnostics.push(...componentSectionCountDiagnostics(statement.name, { renders, mounted, cleanup, exposes }, statement.span, statement.handleType?.span ?? null));
+    if (renderValue && isWebJsx(renderValue))
+        validateComponentHost(host, renderValue, statement);
+    host.componentStates = frame.previousStates;
+    host.explicitReadonlyPropBindings = frame.previousExplicitReadonlyProps;
+    host.flowFrameDepth -= 1;
+    host.exitScope();
+    host.componentBodyDepth -= 1;
+    host.constructorDepth = frame.outerConstructorDepth;
+}
+//# sourceMappingURL=declaration.js.map

package/dist/analysis/components/declaration.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"declaration.js","sourceRoot":"","sources":["../../../src/analysis/components/declaration.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAmD,MAAM,iCAAiC,CAAC;AACzH,OAAO,EAAE,QAAQ,EAA+E,MAAM,cAAc,CAAC;AACrH,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,EAAE,gCAAgC,EAAE,MAAM,0BAA0B,CAAC;AAC5E,OAAO,EACL,wBAAwB,EACxB,0BAA0B,EAC1B,0BAA0B,EAC1B,uBAAuB,EACvB,aAAa,GACd,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,wBAAwB,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAChF,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,oBAAoB,EAAE,2BAA2B,EAAE,qBAAqB,EAAE,MAAM,gBAAgB,CAAC;AAC1G,OAAO,EAA8B,MAAM,WAAW,CAAC;AAoBvD,MAAM,UAAU,gBAAgB,CAAC,IAA2B,EAAE,SAA+B;IAC3F,MAAM,KAAK,GAAG,kBAAkB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAClD,MAAM,QAAQ,GAAsB,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;IAC1G,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,IAAI;QAAE,oBAAoB,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;IAChG,gBAAgB,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,kBAAkB,CAAC,IAA2B,EAAE,SAA+B;IACtF,MAAM,qBAAqB,GAAG,IAAI,CAAC,gBAAgB,CAAC;IACpD,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC;QAAE,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,aAAa,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;IAC/H,sEAAsE;IACtE,0EAA0E;IAC1E,IAAI,CAAC,kBAAkB,IAAI,CAAC,CAAC;IAC7B,IAAI,CAAC,UAAU,EAAE,CAAC;IAClB,IAAI,CAAC,cAAc,IAAI,CAAC,CAAC;IACzB,MAAM,cAAc,GAAG,IAAI,CAAC,eAAe,CAAC;IAC5C,IAAI,CAAC,eAAe,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,8BAA8B,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACvI,MAAM,6BAA6B,GAAG,IAAI,CAAC,4BAA4B,CAAC;IACxE,MAAM,qBAAqB,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxD,8DAA8D;IAC9D,kEAAkE;IAClE,0EAA0E;IAC1E,uDAAuD;IACvD,IAAI,CAAC,wBAAwB,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAC3D,IAAI,CAAC,IAAI,KAAK,gCAAgC,IAAI,IAAI,CAAC,IAAI,KAAK,gCAAgC,IAAI,IAAI,CAAC,IAAI,KAAK,+BAA+B,CAAyB,CAAC,CAAC;IAC9K,KAAK,MAAM,SAAS,IAAI,SAAS,CAAC,UAAU,EAAE,CAAC;QAC7C,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACpD,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACjF,IAAI,SAAS,CAAC,YAAY,IAAI,KAAK;YAAE,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,qBAAqB,CAAC,SAAS,CAAC,YAAY,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QACzJ,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,0BAA0B,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAChF,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;QACrE,IAAI,KAAK,IAAI,oBAAoB,CAAC,IAAI,EAAE,QAAQ,CAAC;YAAE,qBAAqB,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnH,IAAI,CAAC,2BAA2B,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACzD,IAAI,SAAS,CAAC,IAAI,KAAK,KAAK;YAAE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,oFAAoF,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;IACnL,CAAC;IACD,IAAI,CAAC,4BAA4B,GAAG,qBAAqB,CAAC;IAC1D,MAAM,UAAU,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9F,MAAM,eAAe,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACvG,IAAI,UAAU,IAAI,eAAe;QAAE,2BAA2B,CAAC,IAAI,EAAE,UAAU,EAAE,SAAS,CAAC,UAAW,CAAC,IAAI,CAAC,CAAC;IAC7G,IAAI,CAAC,gBAAgB,GAAG,CAAC,CAAC;IAC1B,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,qBAAqB,EAAE,6BAA6B,EAAE,cAAc,EAAE,CAAC;AAC/G,CAAC;AAED,SAAS,oBAAoB,CAC3B,IAA2B,EAC3B,SAA+B,EAC/B,IAAsB,EACtB,KAAqB,EACrB,QAA2B;IAE3B,MAAM,EAAE,UAAU,EAAE,eAAe,EAAE,GAAG,KAAK,CAAC;IAC9C,IAAI,IAAI,CAAC,IAAI,KAAK,8BAA8B,EAAE,CAAC;QACjD,uBAAuB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACtC,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,iCAAiC,EAAE,CAAC;QAC3D,IAAI,CAAC,cAAc,IAAI,CAAC,CAAC;QACzB,0BAA0B,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACvC,IAAI,CAAC,cAAc,IAAI,CAAC,CAAC;IAC3B,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,iCAAiC,EAAE,CAAC;QAC3D,IAAI,CAAC,cAAc,IAAI,CAAC,CAAC;QACzB,0BAA0B,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACvC,IAAI,CAAC,cAAc,IAAI,CAAC,CAAC;IAC3B,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,+BAA+B,EAAE,CAAC;QACzD,wBAAwB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACvC,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,8BAA8B,EAAE,CAAC;QACxD,IAAI,CAAC,cAAc,IAAI,CAAC,CAAC;QACzB,IAAI,CAAC,wBAAwB,IAAI,CAAC,CAAC;QACnC,MAAM,OAAO,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACtD,IAAI,wBAAwB,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC;YAClG,gBAAgB,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9D,CAAC;QACD,IAAI,CAAC,UAAU,EAAE,CAAC;QAClB,IAAI,IAAI,CAAC,WAAW;YAAE,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACvF,IAAI,IAAI,CAAC,YAAY;YAAE,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,YAAY,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACzF,IAAI,CAAC,cAAc,IAAI,CAAC,CAAC;QACzB,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,CAAC,cAAc,IAAI,CAAC,CAAC;QACzB,IAAI,CAAC,SAAS,EAAE,CAAC;QACjB,IAAI,CAAC,wBAAwB,IAAI,CAAC,CAAC;QACnC,IAAI,CAAC,cAAc,IAAI,CAAC,CAAC;IAC3B,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,+BAA+B,EAAE,CAAC;QACzD,QAAQ,CAAC,OAAO,IAAI,CAAC,CAAC;QACtB,IAAI,CAAC,cAAc,IAAI,CAAC,CAAC;QACzB,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,UAAU,IAAI,WAAW,CAAC,CAAC;QAC3E,IAAI,CAAC,cAAc,IAAI,CAAC,CAAC;QACzB,IAAI,CAAC,UAAU;YAAE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,cAAc,SAAS,CAAC,IAAI,wDAAwD,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;aAC1J,IAAI,eAAe;YAAE,IAAI,CAAC,iBAAiB,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACxF,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,gCAAgC,EAAE,CAAC;QAC1D,QAAQ,CAAC,OAAO,IAAI,CAAC,CAAC;QACtB,IAAI,CAAC,YAAY,IAAI,CAAC,CAAC;QACvB,IAAI,CAAC,cAAc,IAAI,CAAC,CAAC;QACzB,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,CAAC,cAAc,IAAI,CAAC,CAAC;QACzB,IAAI,CAAC,YAAY,IAAI,CAAC,CAAC;IACzB,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,gCAAgC,EAAE,CAAC;QAC1D,QAAQ,CAAC,OAAO,IAAI,CAAC,CAAC;QACtB,iEAAiE;QACjE,kEAAkE;QAClE,iEAAiE;QACjE,IAAI,CAAC,YAAY,IAAI,CAAC,CAAC;QACvB,IAAI,CAAC,cAAc,IAAI,CAAC,CAAC;QACzB,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,CAAC,cAAc,IAAI,CAAC,CAAC;QACzB,IAAI,CAAC,YAAY,IAAI,CAAC,CAAC;IACzB,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QAC3C,QAAQ,CAAC,OAAO,IAAI,CAAC,CAAC;QACtB,QAAQ,CAAC,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC;QAClC,IAAI,CAAC,cAAc,IAAI,CAAC,CAAC;QACzB,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;QAC1E,IAAI,CAAC,cAAc,IAAI,CAAC,CAAC;QACzB,oEAAoE;QACpE,wEAAwE;QACxE,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC7B,IAAI,CAAC,SAAS,CAAC,+IAA+I,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7K,CAAC;aAAM,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK;YAAE,IAAI,CAAC,SAAS,CAAC,6BAA6B,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3H,CAAC;SAAM,CAAC;QACN,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CACvB,IAA2B,EAC3B,SAA+B,EAC/B,KAAqB,EACrB,QAA2B;IAE3B,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,QAAQ,CAAC;IACrE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,gCAAgC,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,UAAU,EAAE,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC;IACvK,IAAI,WAAW,IAAI,QAAQ,CAAC,WAAW,CAAC;QAAE,qBAAqB,CAAC,IAAI,EAAE,WAAW,EAAE,SAAS,CAAC,CAAC;IAC9F,IAAI,CAAC,eAAe,GAAG,KAAK,CAAC,cAAc,CAAC;IAC5C,IAAI,CAAC,4BAA4B,GAAG,KAAK,CAAC,6BAA6B,CAAC;IACxE,IAAI,CAAC,cAAc,IAAI,CAAC,CAAC;IACzB,IAAI,CAAC,SAAS,EAAE,CAAC;IACjB,IAAI,CAAC,kBAAkB,IAAI,CAAC,CAAC;IAC7B,IAAI,CAAC,gBAAgB,GAAG,KAAK,CAAC,qBAAqB,CAAC;AACtD,CAAC"}

package/dist/analysis/components/host.d.ts

@@ -0,0 +1,61 @@
+/**
+ * What the component rules ask of the analyzer that hosts them: the six depths
+ * that say where in a component body the walk stands, the set of states the
+ * body declares, and the base-analyzer operations a body's sections perform.
+ *
+ * D115 P4 R3c. `ComponentAnalysisHost` is an intersection rather than an
+ * `extends` chain because a component body *runs* the declaration analyzers and
+ * the watch refusals: it needs everything those two groups need, and the two
+ * declare some of the same tables at different widths — `computedBindingSpans`
+ * is written by a `computed` declaration and only read by the name rules. An
+ * intersection lets each face keep saying exactly what its own group does with
+ * a table.
+ *
+ * Every depth is an accessor pair, so the moved bodies keep their original
+ * `host.flowFrameDepth += 1` / `-= 1` text and the analyzer's own field is what
+ * moves.
+ */
+import { type Diagnostic, type Span } from "@velarscript/compiler";
+import { type Expression, type Statement, type TypeReference, type ValueType } from "@velarscript/compiler/extension";
+import { type DeclarationAnalysisHost } from "../declarations.ts";
+import { type WatchCycleHost } from "../watch-cycles.ts";
+export interface ComponentBodyHost {
+    /** D51 (audit 12): how many `@cleanup` hooks enclose the walk — an ordinary scope with an exit. */
+    cleanupDepth: number;
+    /** VEL5075: how many component bodies enclose the declaration being analyzed. */
+    componentBodyDepth: number;
+    /** The `state` names this component body declares, or null outside every component. */
+    componentStates: Set<string> | null;
+    /** The base analyzer's constructor depth, saved and restored around a component body. */
+    constructorDepth: number;
+    /** D74: the props of this component whose authors wrote a readonly contract. Replaced per component. */
+    explicitReadonlyPropBindings: ReadonlyMap<string, number>;
+    flowFrameDepth: number;
+    /** How deep the walk stands inside JSX; an `await` there has no synchronous position to run in. */
+    jsxDepth: number;
+    mountedDepth: number;
+    /** D51 (audit 12): a component `watch` body runs on a change and ends, exactly as a module `watch` body does. */
+    watchBodyDepth: number;
+    readonly diagnostics: Diagnostic[];
+    analyzeBlock(statements: readonly Statement[]): void;
+    analyzeStatement(statement: Statement): void;
+    analyzeStatements(statements: readonly Statement[]): void;
+    enterScope(): void;
+    exitScope(): void;
+    expandAliases(type: ValueType): ValueType;
+    fieldsOf(identity: string): ReadonlyMap<string, ValueType> | null;
+    inComponentSetupPosition(): boolean;
+    inferExpression(expression: Expression, contextualType?: ValueType): ValueType;
+    inferParameterDefault(expression: Expression, contextualType: ValueType): ValueType;
+    isPredeclared(statement: object): boolean;
+    prescanScopeDeclarations(statements: readonly Statement[]): void;
+    resolveAnnotation(reference: TypeReference | null): ValueType;
+    typeError(message: string, errorSpan: Span): void;
+}
+/**
+ * The one face the `analysis/components/` collaborators read: what a component
+ * body itself needs, plus the declaration analyzers its sections run and the
+ * watch refusals its `watch` section asks.
+ */
+export type ComponentAnalysisHost = ComponentBodyHost & DeclarationAnalysisHost & WatchCycleHost;
+//# sourceMappingURL=host.d.ts.map

package/dist/analysis/components/host.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"host.d.ts","sourceRoot":"","sources":["../../../src/analysis/components/host.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,EAAE,KAAK,UAAU,EAAE,KAAK,IAAI,EAAE,MAAM,uBAAuB,CAAC;AACnE,OAAO,EAAE,KAAK,UAAU,EAAE,KAAK,SAAS,EAAE,KAAK,aAAa,EAAE,KAAK,SAAS,EAAE,MAAM,iCAAiC,CAAC;AACtH,OAAO,EAAE,KAAK,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAClE,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAEzD,MAAM,WAAW,iBAAiB;IAChC,mGAAmG;IACnG,YAAY,EAAE,MAAM,CAAC;IACrB,iFAAiF;IACjF,kBAAkB,EAAE,MAAM,CAAC;IAC3B,uFAAuF;IACvF,eAAe,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;IACpC,yFAAyF;IACzF,gBAAgB,EAAE,MAAM,CAAC;IACzB,wGAAwG;IACxG,4BAA4B,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC1D,cAAc,EAAE,MAAM,CAAC;IACvB,mGAAmG;IACnG,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,MAAM,CAAC;IACrB,iHAAiH;IACjH,cAAc,EAAE,MAAM,CAAC;IAEvB,QAAQ,CAAC,WAAW,EAAE,UAAU,EAAE,CAAC;IACnC,YAAY,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,GAAG,IAAI,CAAC;IACrD,gBAAgB,CAAC,SAAS,EAAE,SAAS,GAAG,IAAI,CAAC;IAC7C,iBAAiB,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,GAAG,IAAI,CAAC;IAC1D,UAAU,IAAI,IAAI,CAAC;IACnB,SAAS,IAAI,IAAI,CAAC;IAClB,aAAa,CAAC,IAAI,EAAE,SAAS,GAAG,SAAS,CAAC;IAC1C,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,GAAG,IAAI,CAAC;IAClE,wBAAwB,IAAI,OAAO,CAAC;IACpC,eAAe,CAAC,UAAU,EAAE,UAAU,EAAE,cAAc,CAAC,EAAE,SAAS,GAAG,SAAS,CAAC;IAC/E,qBAAqB,CAAC,UAAU,EAAE,UAAU,EAAE,cAAc,EAAE,SAAS,GAAG,SAAS,CAAC;IACpF,aAAa,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC;IAC1C,wBAAwB,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,GAAG,IAAI,CAAC;IACjE,iBAAiB,CAAC,SAAS,EAAE,aAAa,GAAG,IAAI,GAAG,SAAS,CAAC;IAC9D,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,GAAG,IAAI,CAAC;CACnD;AAED;;;;GAIG;AACH,MAAM,MAAM,qBAAqB,GAAG,iBAAiB,GAAG,uBAAuB,GAAG,cAAc,CAAC"}

package/dist/analysis/components/host.js

@@ -0,0 +1,22 @@
+/**
+ * What the component rules ask of the analyzer that hosts them: the six depths
+ * that say where in a component body the walk stands, the set of states the
+ * body declares, and the base-analyzer operations a body's sections perform.
+ *
+ * D115 P4 R3c. `ComponentAnalysisHost` is an intersection rather than an
+ * `extends` chain because a component body *runs* the declaration analyzers and
+ * the watch refusals: it needs everything those two groups need, and the two
+ * declare some of the same tables at different widths — `computedBindingSpans`
+ * is written by a `computed` declaration and only read by the name rules. An
+ * intersection lets each face keep saying exactly what its own group does with
+ * a table.
+ *
+ * Every depth is an accessor pair, so the moved bodies keep their original
+ * `host.flowFrameDepth += 1` / `-= 1` text and the analyzer's own field is what
+ * moves.
+ */
+import {} from "@velarscript/compiler";
+import {} from "@velarscript/compiler/extension";
+import {} from "../declarations.js";
+import {} from "../watch-cycles.js";
+//# sourceMappingURL=host.js.map

package/dist/analysis/components/host.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"host.js","sourceRoot":"","sources":["../../../src/analysis/components/host.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,EAA8B,MAAM,uBAAuB,CAAC;AACnE,OAAO,EAAuE,MAAM,iCAAiC,CAAC;AACtH,OAAO,EAAgC,MAAM,oBAAoB,CAAC;AAClE,OAAO,EAAuB,MAAM,oBAAoB,CAAC"}

package/dist/analysis/components/lifecycle.d.ts

@@ -0,0 +1,22 @@
+/**
+ * Where inside a component the walk stands, and what that position refuses: a
+ * `return` nested in a body that has no function frame, and an `await` in one of
+ * the three synchronous positions.
+ *
+ * D115 P4 R3c. All three are readings of the depths and of nothing else, which
+ * is why they are one module: a change to what counts as "inside the body" has
+ * to move all three together or the three answers stop agreeing.
+ */
+import { type ComponentAnalysisHost } from "./host.ts";
+/**
+ * D114 0.29.0 JX-I2: a component body has no function frame, so a `return` nested
+ * inside it — in a `match` arm, an `if`, a `for` — used to earn VEL3003 next to
+ * VEL5008 ("exactly one top-level return"), two rules its author can only read as
+ * contradicting each other. A lifecycle hook and a watch body are inside the same
+ * component and are *not* it: neither returns anything, so a `return` there keeps
+ * VEL3003.
+ */
+export declare function extensionOwnsFunctionlessReturn(host: ComponentAnalysisHost): boolean;
+export declare function invalidExtensionAwaitContext(host: ComponentAnalysisHost): boolean;
+export declare function invalidExtensionAwaitMessage(host: ComponentAnalysisHost): string | null;
+//# sourceMappingURL=lifecycle.d.ts.map

package/dist/analysis/components/lifecycle.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lifecycle.d.ts","sourceRoot":"","sources":["../../../src/analysis/components/lifecycle.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAE,KAAK,qBAAqB,EAAE,MAAM,WAAW,CAAC;AAEvD;;;;;;;GAOG;AACH,wBAAgB,+BAA+B,CAAC,IAAI,EAAE,qBAAqB,GAAG,OAAO,CAEpF;AAED,wBAAgB,4BAA4B,CAAC,IAAI,EAAE,qBAAqB,GAAG,OAAO,CAGjF;AAED,wBAAgB,4BAA4B,CAAC,IAAI,EAAE,qBAAqB,GAAG,MAAM,GAAG,IAAI,CAIvF"}

package/dist/analysis/components/lifecycle.js

@@ -0,0 +1,33 @@
+/**
+ * Where inside a component the walk stands, and what that position refuses: a
+ * `return` nested in a body that has no function frame, and an `await` in one of
+ * the three synchronous positions.
+ *
+ * D115 P4 R3c. All three are readings of the depths and of nothing else, which
+ * is why they are one module: a change to what counts as "inside the body" has
+ * to move all three together or the three answers stop agreeing.
+ */
+import {} from "./host.js";
+/**
+ * D114 0.29.0 JX-I2: a component body has no function frame, so a `return` nested
+ * inside it — in a `match` arm, an `if`, a `for` — used to earn VEL3003 next to
+ * VEL5008 ("exactly one top-level return"), two rules its author can only read as
+ * contradicting each other. A lifecycle hook and a watch body are inside the same
+ * component and are *not* it: neither returns anything, so a `return` there keeps
+ * VEL3003.
+ */
+export function extensionOwnsFunctionlessReturn(host) {
+    return host.componentBodyDepth > 0 && host.mountedDepth === 0 && host.cleanupDepth === 0 && host.watchBodyDepth === 0;
+}
+export function invalidExtensionAwaitContext(host) {
+    return host.synchronousReactiveDepth > 0 || host.jsxDepth > 0
+        || (host.componentStates !== null && host.mountedDepth === 0);
+}
+export function invalidExtensionAwaitMessage(host) {
+    if (host.jsxDepth > 0)
+        return "JSX rendering is synchronous; load async component data with a resource or await before constructing JSX";
+    if (host.synchronousReactiveDepth > 0)
+        return "Computed callbacks and watch blocks are synchronous; use resource, action, or mounted for async work";
+    return "Component setup and cleanup are synchronous; use resource, action, or mounted for async work";
+}
+//# sourceMappingURL=lifecycle.js.map

package/dist/analysis/components/lifecycle.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lifecycle.js","sourceRoot":"","sources":["../../../src/analysis/components/lifecycle.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAA8B,MAAM,WAAW,CAAC;AAEvD;;;;;;;GAOG;AACH,MAAM,UAAU,+BAA+B,CAAC,IAA2B;IACzE,OAAO,IAAI,CAAC,kBAAkB,GAAG,CAAC,IAAI,IAAI,CAAC,YAAY,KAAK,CAAC,IAAI,IAAI,CAAC,YAAY,KAAK,CAAC,IAAI,IAAI,CAAC,cAAc,KAAK,CAAC,CAAC;AACxH,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,IAA2B;IACtE,OAAO,IAAI,CAAC,wBAAwB,GAAG,CAAC,IAAI,IAAI,CAAC,QAAQ,GAAG,CAAC;WACxD,CAAC,IAAI,CAAC,eAAe,KAAK,IAAI,IAAI,IAAI,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC;AAClE,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,IAA2B;IACtE,IAAI,IAAI,CAAC,QAAQ,GAAG,CAAC;QAAE,OAAO,0GAA0G,CAAC;IACzI,IAAI,IAAI,CAAC,wBAAwB,GAAG,CAAC;QAAE,OAAO,sGAAsG,CAAC;IACrJ,OAAO,8FAA8F,CAAC;AACxG,CAAC"}

package/dist/analysis/components/ownership.d.ts

@@ -0,0 +1,74 @@
+/**
+ * What a component owns and what a plain `def` may not: the `using` a
+ * construction section has no scope to release at, the component element a
+ * helper answers with but cannot build, and the reactive declaration that makes
+ * a markup helper a component in a function's clothes.
+ *
+ * D115 P4 R3c. The three are one module because each of them is the same
+ * question asked from a different side — who owns the value this position
+ * produces — and each answers it from the component depths.
+ */
+import { type Statement } from "@velarscript/compiler/extension";
+import { type ComponentAnalysisHost } from "./host.ts";
+type FunctionDeclaration = Extract<Statement, {
+    readonly kind: "FunctionDeclaration";
+}>;
+/**
+ * D43 item 69: a component body is a construction section, not a scope with
+ * an exit — its resources live until unmount. Ownership belongs to the
+ * lifecycle hook or to a function inside the component, so the setup section
+ * says so instead of releasing at the wrong moment.
+ *
+ * Null means this position has nothing of its own to say, and the base
+ * analyzer's own answer stands.
+ */
+export declare function ownershipScopeRejection(host: ComponentAnalysisHost): string | null;
+/**
+ * P2b-5: a `def` that answers markup and answers it with a component element.
+ *
+ * Everything about the shape is legal one step out. A component element is a
+ * legal module-level expression — `const root = <App />` is the instantiation
+ * site D90 R4-b rules on, and `mount` takes exactly the instance it evaluates
+ * to. A `def` answering markup is a legal markup helper — dispatch over a
+ * closed vocabulary is what the P2b wave was writing. The defect is only
+ * where the two meet, and it is a representation split the type does not
+ * carry: a component element in a *child* position lowers to `__velarChild`,
+ * which owns a scope and answers a DOM node, while the same element standing
+ * alone lowers to `__velarInstantiate`, which answers an instance. Both are
+ * typed `WebNode`; only one is one. Returned from a helper and handed to a
+ * render, the instance reaches `__velarAppend` and takes the whole subtree
+ * down with "JSX can render only text, finite numbers, bool, enums, WebNode
+ * values, and Lists of those values" — the check-green, runtime-dead shape.
+ *
+ * The walk stops at every JSX element, which is exactly where the emitter
+ * stops: inside one, every position is a child position and every component
+ * element there is already correct — `return <div><Badge /></div>` and an
+ * interpolated `{cond ? <Badge /> : ...}` both work today and must keep
+ * working. Only a component element the returned markup *starts* with is the
+ * defect, including one reached through a `.map(...)` answering a row per
+ * item, which fails the same way for the same reason.
+ */
+export declare function rejectUnownedComponentElement(host: ComponentAnalysisHost, statement: FunctionDeclaration): void;
+/**
+ * The audit's seventh root cause: a `def` that declares reactive state and
+ * answers `WebNode` is a component wearing a function's clothes, and calling
+ * it bypasses exactly what the charter already refuses `View(...)` for. Two
+ * things follow from the call, both reproduced: every call runs the `state`
+ * declaration again, so the value resets on every re-render; and the
+ * observers the returned markup registers bind to whatever scope the call
+ * site was building — at module scope the global one, which is never
+ * destroyed, so they are never cleaned up.
+ *
+ * Only DECLARATION is refused. A `def -> WebNode` that merely reads state or a
+ * prop is a legitimate markup helper — examples/app has two — and a `def`
+ * nested inside a component binds its observers to that component's scope, so
+ * nothing about reading is defective.
+ *
+ * What answers "this `def` returns markup" is the sink, not one spelling of
+ * it: `-> WebNode?` and `-> List<WebNode>` are the shapes markup travels in,
+ * and a `def` may carry no return type at all — all three reached the same
+ * defect with the same body while only the bare annotation was read.
+ */
+export declare function rejectStatefulWebNodeFunction(host: ComponentAnalysisHost, statement: FunctionDeclaration): void;
+export {};
+//# sourceMappingURL=ownership.d.ts.map

package/dist/analysis/components/ownership.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ownership.d.ts","sourceRoot":"","sources":["../../../src/analysis/components/ownership.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAAE,KAAK,SAAS,EAAE,MAAM,iCAAiC,CAAC;AAGjE,OAAO,EAAE,KAAK,qBAAqB,EAAE,MAAM,WAAW,CAAC;AAEvD,KAAK,mBAAmB,GAAG,OAAO,CAAC,SAAS,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,qBAAqB,CAAA;CAAE,CAAC,CAAC;AAExF;;;;;;;;GAQG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,qBAAqB,GAAG,MAAM,GAAG,IAAI,CAMlF;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAgB,6BAA6B,CAAC,IAAI,EAAE,qBAAqB,EAAE,SAAS,EAAE,mBAAmB,GAAG,IAAI,CAkB/G;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,6BAA6B,CAAC,IAAI,EAAE,qBAAqB,EAAE,SAAS,EAAE,mBAAmB,GAAG,IAAI,CAa/G"}

package/dist/analysis/components/ownership.js

@@ -0,0 +1,106 @@
+/**
+ * What a component owns and what a plain `def` may not: the `using` a
+ * construction section has no scope to release at, the component element a
+ * helper answers with but cannot build, and the reactive declaration that makes
+ * a markup helper a component in a function's clothes.
+ *
+ * D115 P4 R3c. The three are one module because each of them is the same
+ * question asked from a different side — who owns the value this position
+ * produces — and each answers it from the component depths.
+ */
+import {} from "@velarscript/compiler/extension";
+import { bodyReturnsJsx, carriesWebNode, componentSpelling, firstReactiveDeclaration, returnedMarkupRoots } from "../jsx-detection.js";
+import { diagnostic } from "../web-types.js";
+import {} from "./host.js";
+/**
+ * D43 item 69: a component body is a construction section, not a scope with
+ * an exit — its resources live until unmount. Ownership belongs to the
+ * lifecycle hook or to a function inside the component, so the setup section
+ * says so instead of releasing at the wrong moment.
+ *
+ * Null means this position has nothing of its own to say, and the base
+ * analyzer's own answer stands.
+ */
+export function ownershipScopeRejection(host) {
+    if (host.componentStates !== null && host.mountedDepth === 0 && host.cleanupDepth === 0 && host.watchBodyDepth === 0
+        && host.inComponentSetupPosition()) {
+        return "A component body builds the component and does not end, so a 'using' here has no scope to release at; own the resource inside an action, a method, or the cleanup hook";
+    }
+    return null;
+}
+/**
+ * P2b-5: a `def` that answers markup and answers it with a component element.
+ *
+ * Everything about the shape is legal one step out. A component element is a
+ * legal module-level expression — `const root = <App />` is the instantiation
+ * site D90 R4-b rules on, and `mount` takes exactly the instance it evaluates
+ * to. A `def` answering markup is a legal markup helper — dispatch over a
+ * closed vocabulary is what the P2b wave was writing. The defect is only
+ * where the two meet, and it is a representation split the type does not
+ * carry: a component element in a *child* position lowers to `__velarChild`,
+ * which owns a scope and answers a DOM node, while the same element standing
+ * alone lowers to `__velarInstantiate`, which answers an instance. Both are
+ * typed `WebNode`; only one is one. Returned from a helper and handed to a
+ * render, the instance reaches `__velarAppend` and takes the whole subtree
+ * down with "JSX can render only text, finite numbers, bool, enums, WebNode
+ * values, and Lists of those values" — the check-green, runtime-dead shape.
+ *
+ * The walk stops at every JSX element, which is exactly where the emitter
+ * stops: inside one, every position is a child position and every component
+ * element there is already correct — `return <div><Badge /></div>` and an
+ * interpolated `{cond ? <Badge /> : ...}` both work today and must keep
+ * working. Only a component element the returned markup *starts* with is the
+ * defect, including one reached through a `.map(...)` answering a row per
+ * item, which fails the same way for the same reason.
+ */
+export function rejectUnownedComponentElement(host, statement) {
+    // A helper nested in a component body is emitted with that component's
+    // scope in hand, so its component elements are `__velarChild` and answer
+    // nodes. Only a helper standing outside every component body has nowhere
+    // for the emitter to put them.
+    if (host.componentBodyDepth > 0)
+        return;
+    const answersMarkup = statement.returnType
+        ? carriesWebNode(host.resolveAnnotation(statement.returnType))
+        : bodyReturnsJsx(statement.body);
+    if (!answersMarkup)
+        return;
+    for (const element of returnedMarkupRoots(statement.body)) {
+        if (!/^[A-Z]/u.test(element.tag))
+            continue;
+        host.diagnostics.push(diagnostic("VEL5075", `'${statement.name}' answers markup with the component element '<${element.tag} />', and a component element standing on its own is an instance rather than a node: it is built by the position that shows it, and a 'def' is not one, so what this returns fails the moment JSX tries to render it. Write '<${element.tag} />' where it is rendered — a component's own body, or a child position inside markup this returns such as '<div><${element.tag} ... /></div>' — and keep the helper for the native elements it builds.`, element.span));
+    }
+}
+/**
+ * The audit's seventh root cause: a `def` that declares reactive state and
+ * answers `WebNode` is a component wearing a function's clothes, and calling
+ * it bypasses exactly what the charter already refuses `View(...)` for. Two
+ * things follow from the call, both reproduced: every call runs the `state`
+ * declaration again, so the value resets on every re-render; and the
+ * observers the returned markup registers bind to whatever scope the call
+ * site was building — at module scope the global one, which is never
+ * destroyed, so they are never cleaned up.
+ *
+ * Only DECLARATION is refused. A `def -> WebNode` that merely reads state or a
+ * prop is a legitimate markup helper — examples/app has two — and a `def`
+ * nested inside a component binds its observers to that component's scope, so
+ * nothing about reading is defective.
+ *
+ * What answers "this `def` returns markup" is the sink, not one spelling of
+ * it: `-> WebNode?` and `-> List<WebNode>` are the shapes markup travels in,
+ * and a `def` may carry no return type at all — all three reached the same
+ * defect with the same body while only the bare annotation was read.
+ */
+export function rejectStatefulWebNodeFunction(host, statement) {
+    const answersMarkup = statement.returnType
+        ? carriesWebNode(host.resolveAnnotation(statement.returnType))
+        : bodyReturnsJsx(statement.body);
+    if (!answersMarkup)
+        return;
+    const declaration = firstReactiveDeclaration(statement.body);
+    if (!declaration)
+        return;
+    const component = componentSpelling(statement.name);
+    host.diagnostics.push(diagnostic("VEL5074", `'${statement.name}' declares ${declaration.label} and returns WebNode, so calling it bypasses JSX ownership, prop cells, and lifecycle: every call declares the value again, so it resets on each render, and the observers its markup registers belong to whatever scope the call site was building rather than to this value. Write it as a component — 'component ${component}(...)' rendered as '<${component} />'; a 'def' that returns WebNode is a markup helper and may only read.`, declaration.span));
+}
+//# sourceMappingURL=ownership.js.map

package/dist/analysis/components/ownership.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ownership.js","sourceRoot":"","sources":["../../../src/analysis/components/ownership.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAAkB,MAAM,iCAAiC,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AACvI,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAA8B,MAAM,WAAW,CAAC;AAIvD;;;;;;;;GAQG;AACH,MAAM,UAAU,uBAAuB,CAAC,IAA2B;IACjE,IAAI,IAAI,CAAC,eAAe,KAAK,IAAI,IAAI,IAAI,CAAC,YAAY,KAAK,CAAC,IAAI,IAAI,CAAC,YAAY,KAAK,CAAC,IAAI,IAAI,CAAC,cAAc,KAAK,CAAC;WAC/G,IAAI,CAAC,wBAAwB,EAAE,EAAE,CAAC;QACrC,OAAO,wKAAwK,CAAC;IAClL,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,UAAU,6BAA6B,CAAC,IAA2B,EAAE,SAA8B;IACvG,uEAAuE;IACvE,yEAAyE;IACzE,yEAAyE;IACzE,+BAA+B;IAC/B,IAAI,IAAI,CAAC,kBAAkB,GAAG,CAAC;QAAE,OAAO;IACxC,MAAM,aAAa,GAAG,SAAS,CAAC,UAAU;QACxC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,iBAAiB,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QAC9D,CAAC,CAAC,cAAc,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,CAAC,aAAa;QAAE,OAAO;IAC3B,KAAK,MAAM,OAAO,IAAI,mBAAmB,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1D,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC;YAAE,SAAS;QAC3C,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAC9B,SAAS,EACT,IAAI,SAAS,CAAC,IAAI,iDAAiD,OAAO,CAAC,GAAG,iOAAiO,OAAO,CAAC,GAAG,qHAAqH,OAAO,CAAC,GAAG,yEAAyE,EACngB,OAAO,CAAC,IAAI,CACb,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,6BAA6B,CAAC,IAA2B,EAAE,SAA8B;IACvG,MAAM,aAAa,GAAG,SAAS,CAAC,UAAU;QACxC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,iBAAiB,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QAC9D,CAAC,CAAC,cAAc,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,CAAC,aAAa;QAAE,OAAO;IAC3B,MAAM,WAAW,GAAG,wBAAwB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC7D,IAAI,CAAC,WAAW;QAAE,OAAO;IACzB,MAAM,SAAS,GAAG,iBAAiB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACpD,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAC9B,SAAS,EACT,IAAI,SAAS,CAAC,IAAI,cAAc,WAAW,CAAC,KAAK,uTAAuT,SAAS,wBAAwB,SAAS,0EAA0E,EAC5d,WAAW,CAAC,IAAI,CACjB,CAAC,CAAC;AACL,CAAC"}