legend-doctor 0.1.0

package/dist/src/rules/child-contract/leaf-render.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"leaf-render.js","sourceRoot":"","sources":["../../../../src/rules/child-contract/leaf-render.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,uBAAuB,EACvB,oBAAoB,EACpB,oBAAoB,GACrB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,YAAY,EACZ,iBAAiB,EACjB,qBAAqB,EACrB,UAAU,EACV,KAAK,GACN,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAGvE,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAC/C,OAAO,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAClD,OAAO,EAAE,MAAM,YAAY,CAAC;AA0B5B,MAAM,UAAU,iBAAiB,CAC/B,IAAmB,EACnB,MAA4B,EAC5B,KAAsB;IAEtB,IAAI,oBAAoB,CAAC,IAAI,CAAC,IAAI,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QACtD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,YAAY,CAAC,IAAI,EAAE,qBAAqB,CAAC,KAAK,MAAM,CAAC,KAAK,IAAI,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3F,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAC3E,IAAI,SAAS,EAAE,CAAC;QACd,OAAO,gBAAgB,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;IAClD,CAAC;IACD,IAAI,iBAAiB,CAAC,IAAI,EAAE,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACrD,OAAO,aAAa,CAAC;IACvB,CAAC;IACD,OAAO,oBAAoB,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC;AACxF,CAAC;AAED,SAAS,gBAAgB,CACvB,IAAmB,EACnB,SAA0B,EAC1B,EAAE,SAAS,EAAE,QAAQ,EAAmB;IAExC,MAAM,OAAO,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC;IACxC,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,CAAC;QACvC,OAAO,aAAa,CAAC;IACvB,CAAC;IACD,MAAM,MAAM,GACV,SAAS,CAAC,WAAW,KAAK,SAAS;QACnC,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,WAAW,CAAC;QACzC,SAAS,CAAC,WAAW,CAAC,UAAU,KAAK,IAAI,CAAC;IAC5C,OAAO,MAAM,IAAI,SAAS,EAAE,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC7F,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAC3B,MAA6B,EAC7B,QAAgB,EAChB,EAAE,SAAS,EAAE,QAAQ,EAAmB;IAExC,MAAM,OAAO,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IACrC,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,CAAC;QACvC,OAAO,aAAa,CAAC;IACvB,CAAC;IACD,OAAO,SAAS,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC;AACnE,CAAC;AAED,SAAS,YAAY,CACnB,SAAkD;IAElD,MAAM,SAAS,GAAY,SAAS,CAAC,MAAM,CAAC;IAC5C,MAAM,OAAO,GAAG,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;IAC7E,OAAO,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;AACjG,CAAC;AAED,SAAS,cAAc,CACrB,OAAwD,EACxD,QAAwB;IAExB,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,QAAQ,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,SAAS,CAChB,IAAa;IAEb,OAAO,CACL,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QACrB,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC;QAChC,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC;QACtB,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,CACzB,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,SAAS,oBAAoB,CAC3B,IAAmB,EACnB,KAAoC,EACpC,OAAoB;IAEpB,MAAM,WAAW,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,qBAAqB,EAAE,KAAK,CAAC,CAAC;IAC7E,IACE,CAAC,WAAW;QACZ,CAAC,WAAW,CAAC,WAAW;QACxB,CAAC,UAAU,CAAC,IAAI,EAAE,WAAW,CAAC,WAAW,CAAC;QAC1C,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC;QAClC,CAAC,EAAE,CAAC,yBAAyB,CAAC,WAAW,CAAC,MAAM,CAAC;QACjD,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;QACrD,uBAAuB,CAAC,KAAK,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC;QAC3D,OAAO,CAAC,IAAI,IAAI,iBAAiB,EACjC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC,OAAO,EAAE,EAAE;QACzC,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO;QACT,CAAC;QACD,IACE,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC;YAC5B,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC;YAC3B,EAAE,CAAC,iBAAiB,CAAC,OAAO,CAAC;YAC7B,EAAE,CAAC,iBAAiB,CAAC,OAAO,CAAC;YAC7B,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC;YAC3B,CAAC,EAAE,CAAC,kBAAkB,CAAC,OAAO,CAAC,IAAI,oBAAoB,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,EACpF,CAAC;YACD,IAAI,GAAG,KAAK,CAAC;YACb,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1D,KAAK,IAAI,CAAC,CAAC;QACb,CAAC;IACH,CAAC,CAAC,CAAC;IACH,IAAI,CAAC,IAAI,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/src/rules/child-contract/model.d.ts

@@ -0,0 +1,105 @@
+import type ts from "typescript";
+export interface ChildComponentSource {
+    readonly body: ts.ConciseBody;
+    readonly deferredCallbackHooks: ReadonlyMap<string, ReadonlySet<number>>;
+    readonly file: string;
+    readonly invocation?: ts.JsxOpeningElement | ts.JsxSelfClosingElement;
+    readonly invocationOwner?: ChildComponentSource;
+    readonly owner: ts.ArrowFunction | ts.FunctionDeclaration | ts.FunctionExpression;
+    readonly reactWrapped?: boolean;
+}
+export interface ContextConsumerSource {
+    readonly file: string;
+    readonly hookNames: ReadonlySet<string>;
+    readonly sourceFile: ts.SourceFile;
+}
+export interface CallbackContractSourceResolver {
+    contextReaderHooks: (file: string, contextName: string) => ReadonlyMap<string, ReadonlySet<string>>;
+    deferredCallbackHooks: (file: string) => ReadonlyMap<string, ReadonlySet<number>>;
+    frameworkEventComponent: (file: string, name: string) => boolean;
+    hookCallbackIsDeferred: (file: string, name: string, argumentIndex: number) => boolean;
+    resolveComponent: (file: string, name: string) => ChildComponentSource | null;
+    resolveHook: (file: string, name: string) => ChildComponentSource | null;
+    sourceFile: (file: string) => ts.SourceFile | null;
+}
+export type HookReturnMember = {
+    readonly kind: "index";
+    readonly index: number;
+} | {
+    readonly kind: "property";
+    readonly name: string;
+} | {
+    readonly kind: "self";
+};
+export interface HookReturnMembers {
+    readonly setter: HookReturnMember | null;
+    readonly value: HookReturnMember;
+}
+export interface HookPresentationConsumer {
+    readonly consumerNames: readonly string[];
+    readonly derivedBindings: readonly string[];
+    readonly renderSites: number;
+}
+export interface ChildContractResolver {
+    componentArrayItemCallbackIsDeferred: (componentName: string, propName: string, callbackProperty: string) => boolean;
+    callbackRegistrationIsDeferred: (ownerBinding: string, method: string, argumentIndex: number) => boolean;
+    callbackPropertyIsDeferred: (hookName: string, argumentIndex: number, property: string) => boolean;
+    hookStateHasKeyedRowConsumer: (hookName: string, stateProperty: string, setterProperty: string) => boolean;
+    hookStateHasSingleLeafConsumer: (hookName: string, members: HookReturnMembers) => boolean;
+    hookStatePresentationConsumer: (hookName: string, members: HookReturnMembers, broadOwnerJsx: number) => HookPresentationConsumer | null;
+    componentPropCallbackIsDeferred: (componentName: string, propName: string, callbackProperty: string) => boolean;
+    componentCallbackPropIsDeferred: (componentName: string, propName: string) => boolean;
+    componentCallbackPropIsDeferredAtInvocation: (componentName: string, propName: string, invocation: ts.JsxOpeningElement | ts.JsxSelfClosingElement) => boolean;
+    componentCallbackPropRunsOnlyInReactEffect: (componentName: string, propName: string) => boolean;
+    componentPropIsLeafRenderConsumer: (componentName: string, propName: string) => boolean;
+    /** Every source file that reads a React context created or imported here, with its reader hooks. */
+    contextConsumers: (contextName: string) => readonly ContextConsumerSource[];
+    /** How many `<Context.Provider>` sites the indexed sources render for this context. */
+    contextProviderSites: (contextName: string) => number;
+    /** Whether a platform-specific sibling (`.native`, `.ios`, `.android`, `.web`) shadows this file. */
+    hasPlatformVariant: () => boolean;
+    frameworkEventComponent: (componentName: string) => boolean;
+    pureProjectionBindings: () => ReadonlySet<string>;
+    resolveComponent: (name: string) => ChildComponentSource | null;
+}
+export declare const MAX_TRACKED_NAMES = 8;
+export interface TrackedCallbackPath {
+    name: string;
+    path: readonly string[];
+}
+export interface CallbackReturnTarget {
+    call: ts.CallExpression;
+    source: ChildComponentSource;
+}
+export declare const MAX_CALLBACK_PATH_DEPTH = 32;
+export interface CallbackDeferral {
+    readonly sourceInput: (probe: SourceInputProbe) => boolean;
+    readonly trackedPath: (source: ChildComponentSource, tracked: TrackedCallbackPath, trace: CallbackTrace) => boolean;
+}
+export interface CallbackTrace {
+    readonly deferral: CallbackDeferral;
+    readonly depth: number;
+    readonly resolver: CallbackContractSourceResolver;
+    readonly returnTarget: CallbackReturnTarget | null;
+    readonly visited: ReadonlySet<string>;
+}
+export interface SourceInputProbe {
+    readonly argumentIndex: number;
+    readonly path: readonly string[];
+    readonly source: ChildComponentSource;
+    readonly trace: CallbackTrace;
+}
+export interface CallbackReferenceProbe {
+    readonly path: readonly string[];
+    readonly reference: ts.Identifier;
+    readonly source: ChildComponentSource;
+    readonly trace: CallbackTrace;
+}
+export interface CallbackExpressionProbe {
+    readonly expression: ts.Expression;
+    readonly path: readonly string[];
+    readonly source: ChildComponentSource;
+    readonly trace: CallbackTrace;
+}
+export declare function deeperTrace(trace: CallbackTrace, returnTarget: CallbackReturnTarget | null): CallbackTrace;
+//# sourceMappingURL=model.d.ts.map

package/dist/src/rules/child-contract/model.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../../../../src/rules/child-contract/model.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC;IAC9B,QAAQ,CAAC,qBAAqB,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;IACzE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC,iBAAiB,GAAG,EAAE,CAAC,qBAAqB,CAAC;IACtE,QAAQ,CAAC,eAAe,CAAC,EAAE,oBAAoB,CAAC;IAChD,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,mBAAmB,GAAG,EAAE,CAAC,kBAAkB,CAAC;IAClF,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;CACjC;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACxC,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC;CACpC;AAED,MAAM,WAAW,8BAA8B;IAC7C,kBAAkB,EAAE,CAClB,IAAI,EAAE,MAAM,EACZ,WAAW,EAAE,MAAM,KAChB,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;IAC9C,qBAAqB,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;IAClF,uBAAuB,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC;IACjE,sBAAsB,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,KAAK,OAAO,CAAC;IACvF,gBAAgB,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,oBAAoB,GAAG,IAAI,CAAC;IAC9E,WAAW,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,oBAAoB,GAAG,IAAI,CAAC;IACzE,UAAU,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,EAAE,CAAC,UAAU,GAAG,IAAI,CAAC;CACpD;AAED,MAAM,MAAM,gBAAgB,GACxB;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACpD;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAE9B,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,MAAM,EAAE,gBAAgB,GAAG,IAAI,CAAC;IACzC,QAAQ,CAAC,KAAK,EAAE,gBAAgB,CAAC;CAClC;AAED,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,qBAAqB;IACpC,oCAAoC,EAAE,CACpC,aAAa,EAAE,MAAM,EACrB,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,KACrB,OAAO,CAAC;IACb,8BAA8B,EAAE,CAC9B,YAAY,EAAE,MAAM,EACpB,MAAM,EAAE,MAAM,EACd,aAAa,EAAE,MAAM,KAClB,OAAO,CAAC;IACb,0BAA0B,EAAE,CAC1B,QAAQ,EAAE,MAAM,EAChB,aAAa,EAAE,MAAM,EACrB,QAAQ,EAAE,MAAM,KACb,OAAO,CAAC;IACb,4BAA4B,EAAE,CAC5B,QAAQ,EAAE,MAAM,EAChB,aAAa,EAAE,MAAM,EACrB,cAAc,EAAE,MAAM,KACnB,OAAO,CAAC;IACb,8BAA8B,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,iBAAiB,KAAK,OAAO,CAAC;IAC1F,6BAA6B,EAAE,CAC7B,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,iBAAiB,EAC1B,aAAa,EAAE,MAAM,KAClB,wBAAwB,GAAG,IAAI,CAAC;IACrC,+BAA+B,EAAE,CAC/B,aAAa,EAAE,MAAM,EACrB,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,KACrB,OAAO,CAAC;IACb,+BAA+B,EAAE,CAAC,aAAa,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,KAAK,OAAO,CAAC;IACtF,2CAA2C,EAAE,CAC3C,aAAa,EAAE,MAAM,EACrB,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,EAAE,CAAC,iBAAiB,GAAG,EAAE,CAAC,qBAAqB,KACxD,OAAO,CAAC;IACb,0CAA0C,EAAE,CAAC,aAAa,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,KAAK,OAAO,CAAC;IACjG,iCAAiC,EAAE,CAAC,aAAa,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,KAAK,OAAO,CAAC;IACxF,oGAAoG;IACpG,gBAAgB,EAAE,CAAC,WAAW,EAAE,MAAM,KAAK,SAAS,qBAAqB,EAAE,CAAC;IAC5E,uFAAuF;IACvF,oBAAoB,EAAE,CAAC,WAAW,EAAE,MAAM,KAAK,MAAM,CAAC;IACtD,qGAAqG;IACrG,kBAAkB,EAAE,MAAM,OAAO,CAAC;IAClC,uBAAuB,EAAE,CAAC,aAAa,EAAE,MAAM,KAAK,OAAO,CAAC;IAC5D,sBAAsB,EAAE,MAAM,WAAW,CAAC,MAAM,CAAC,CAAC;IAClD,gBAAgB,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,oBAAoB,GAAG,IAAI,CAAC;CACjE;AAED,eAAO,MAAM,iBAAiB,IAAI,CAAC;AAEnC,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;CACzB;AAED,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC;IACxB,MAAM,EAAE,oBAAoB,CAAC;CAC9B;AAED,eAAO,MAAM,uBAAuB,KAAK,CAAC;AAE1C,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,WAAW,EAAE,CAAC,KAAK,EAAE,gBAAgB,KAAK,OAAO,CAAC;IAC3D,QAAQ,CAAC,WAAW,EAAE,CACpB,MAAM,EAAE,oBAAoB,EAC5B,OAAO,EAAE,mBAAmB,EAC5B,KAAK,EAAE,aAAa,KACjB,OAAO,CAAC;CACd;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,8BAA8B,CAAC;IAClD,QAAQ,CAAC,YAAY,EAAE,oBAAoB,GAAG,IAAI,CAAC;IACnD,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACvC;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,oBAAoB,CAAC;IACtC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;CAC/B;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,QAAQ,CAAC,SAAS,EAAE,EAAE,CAAC,UAAU,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,oBAAoB,CAAC;IACtC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;CAC/B;AAED,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC;IACnC,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,oBAAoB,CAAC;IACtC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;CAC/B;AAED,wBAAgB,WAAW,CACzB,KAAK,EAAE,aAAa,EACpB,YAAY,EAAE,oBAAoB,GAAG,IAAI,GACxC,aAAa,CAQf"}

package/dist/src/rules/child-contract/model.js

@@ -0,0 +1,12 @@
+export const MAX_TRACKED_NAMES = 8;
+export const MAX_CALLBACK_PATH_DEPTH = 32;
+export function deeperTrace(trace, returnTarget) {
+    return {
+        deferral: trace.deferral,
+        depth: trace.depth + 1,
+        resolver: trace.resolver,
+        returnTarget,
+        visited: trace.visited,
+    };
+}
+//# sourceMappingURL=model.js.map

package/dist/src/rules/child-contract/model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.js","sourceRoot":"","sources":["../../../../src/rules/child-contract/model.ts"],"names":[],"mappings":"AAkGA,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC;AAYnC,MAAM,CAAC,MAAM,uBAAuB,GAAG,EAAE,CAAC;AAwC1C,MAAM,UAAU,WAAW,CACzB,KAAoB,EACpB,YAAyC;IAEzC,OAAO;QACL,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,KAAK,EAAE,KAAK,CAAC,KAAK,GAAG,CAAC;QACtB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,YAAY;QACZ,OAAO,EAAE,KAAK,CAAC,OAAO;KACvB,CAAC;AACJ,CAAC"}

package/dist/src/rules/child-contract/observation-only-reads.d.ts

@@ -0,0 +1,3 @@
+import ts from "typescript";
+export declare function callbackReferenceIsObservationOnly(expression: ts.Expression): boolean;
+//# sourceMappingURL=observation-only-reads.d.ts.map

package/dist/src/rules/child-contract/observation-only-reads.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"observation-only-reads.d.ts","sourceRoot":"","sources":["../../../../src/rules/child-contract/observation-only-reads.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAgC5B,wBAAgB,kCAAkC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,OAAO,CAgBrF"}

package/dist/src/rules/child-contract/observation-only-reads.js

@@ -0,0 +1,56 @@
+import ts from "typescript";
+const EQUALITY_OPERATOR_KINDS = new Set([
+    ts.SyntaxKind.EqualsEqualsEqualsToken,
+    ts.SyntaxKind.ExclamationEqualsEqualsToken,
+    ts.SyntaxKind.EqualsEqualsToken,
+    ts.SyntaxKind.ExclamationEqualsToken,
+]);
+function referenceIsBooleanTest(expression, parent) {
+    if ((ts.isIfStatement(parent) || ts.isWhileStatement(parent) || ts.isDoStatement(parent)) &&
+        parent.expression === expression) {
+        return true;
+    }
+    if (ts.isConditionalExpression(parent) && parent.condition === expression) {
+        return true;
+    }
+    if (ts.isPrefixUnaryExpression(parent) &&
+        parent.operand === expression &&
+        parent.operator === ts.SyntaxKind.ExclamationToken) {
+        return true;
+    }
+    if (ts.isTypeOfExpression(parent) && parent.expression === expression) {
+        return true;
+    }
+    return ts.isTypeQueryNode(parent) && parent.exprName === expression;
+}
+export function callbackReferenceIsObservationOnly(expression) {
+    const { parent } = expression;
+    if (referenceIsBooleanTest(expression, parent)) {
+        return true;
+    }
+    if (!ts.isBinaryExpression(parent)) {
+        return false;
+    }
+    if (EQUALITY_OPERATOR_KINDS.has(parent.operatorToken.kind)) {
+        return true;
+    }
+    return ((parent.operatorToken.kind === ts.SyntaxKind.AmpersandAmpersandToken ||
+        parent.operatorToken.kind === ts.SyntaxKind.BarBarToken) &&
+        expressionFeedsBooleanControl(parent));
+}
+function expressionFeedsBooleanControl(expression) {
+    let current = expression;
+    while (ts.isBinaryExpression(current.parent) &&
+        (current.parent.operatorToken.kind === ts.SyntaxKind.AmpersandAmpersandToken ||
+            current.parent.operatorToken.kind === ts.SyntaxKind.BarBarToken)) {
+        current = current.parent;
+    }
+    const { parent } = current;
+    return (((ts.isIfStatement(parent) || ts.isWhileStatement(parent) || ts.isDoStatement(parent)) &&
+        parent.expression === current) ||
+        (ts.isConditionalExpression(parent) && parent.condition === current) ||
+        (ts.isPrefixUnaryExpression(parent) &&
+            parent.operator === ts.SyntaxKind.ExclamationToken &&
+            parent.operand === current));
+}
+//# sourceMappingURL=observation-only-reads.js.map

package/dist/src/rules/child-contract/observation-only-reads.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"observation-only-reads.js","sourceRoot":"","sources":["../../../../src/rules/child-contract/observation-only-reads.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,uBAAuB,GAA+B,IAAI,GAAG,CAAC;IAClE,EAAE,CAAC,UAAU,CAAC,uBAAuB;IACrC,EAAE,CAAC,UAAU,CAAC,4BAA4B;IAC1C,EAAE,CAAC,UAAU,CAAC,iBAAiB;IAC/B,EAAE,CAAC,UAAU,CAAC,sBAAsB;CACrC,CAAC,CAAC;AAEH,SAAS,sBAAsB,CAAC,UAAyB,EAAE,MAAe;IACxE,IACE,CAAC,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;QACrF,MAAM,CAAC,UAAU,KAAK,UAAU,EAChC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,EAAE,CAAC,uBAAuB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,SAAS,KAAK,UAAU,EAAE,CAAC;QAC1E,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IACE,EAAE,CAAC,uBAAuB,CAAC,MAAM,CAAC;QAClC,MAAM,CAAC,OAAO,KAAK,UAAU;QAC7B,MAAM,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,EAClD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;QACtE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ,KAAK,UAAU,CAAC;AACtE,CAAC;AAED,MAAM,UAAU,kCAAkC,CAAC,UAAyB;IAC1E,MAAM,EAAE,MAAM,EAAE,GAAG,UAAU,CAAC;IAC9B,IAAI,sBAAsB,CAAC,UAAU,EAAE,MAAM,CAAC,EAAE,CAAC;QAC/C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC,EAAE,CAAC;QACnC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,uBAAuB,CAAC,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3D,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,CACL,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;QAClE,MAAM,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC;QAC1D,6BAA6B,CAAC,MAAM,CAAC,CACtC,CAAC;AACJ,CAAC;AAED,SAAS,6BAA6B,CAAC,UAAyB;IAC9D,IAAI,OAAO,GAAG,UAAU,CAAC;IACzB,OACE,EAAE,CAAC,kBAAkB,CAAC,OAAO,CAAC,MAAM,CAAC;QACrC,CAAC,OAAO,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;YAC1E,OAAO,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,EAClE,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;IAC3B,CAAC;IACD,MAAM,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC;IAC3B,OAAO,CACL,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;QACpF,MAAM,CAAC,UAAU,KAAK,OAAO,CAAC;QAChC,CAAC,EAAE,CAAC,uBAAuB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,SAAS,KAAK,OAAO,CAAC;QACpE,CAAC,EAAE,CAAC,uBAAuB,CAAC,MAAM,CAAC;YACjC,MAAM,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;YAClD,MAAM,CAAC,OAAO,KAAK,OAAO,CAAC,CAC9B,CAAC;AACJ,CAAC"}

package/dist/src/rules/child-contract/path-trace.d.ts

@@ -0,0 +1,5 @@
+import type { CallbackContractSourceResolver, CallbackDeferral, CallbackTrace, SourceInputProbe } from "./model.js";
+export declare const PATH_DEFERRAL: CallbackDeferral;
+export declare function rootTrace(resolver: CallbackContractSourceResolver): CallbackTrace;
+export declare function sourceInputCallbackIsDeferred(probe: SourceInputProbe): boolean;
+//# sourceMappingURL=path-trace.d.ts.map

package/dist/src/rules/child-contract/path-trace.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"path-trace.d.ts","sourceRoot":"","sources":["../../../../src/rules/child-contract/path-trace.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,8BAA8B,EAC9B,gBAAgB,EAEhB,aAAa,EAEb,gBAAgB,EAEjB,MAAM,YAAY,CAAC;AAUpB,eAAO,MAAM,aAAa,EAAE,gBAG3B,CAAC;AAEF,wBAAgB,SAAS,CAAC,QAAQ,EAAE,8BAA8B,GAAG,aAAa,CAEjF;AAED,wBAAgB,6BAA6B,CAAC,KAAK,EAAE,gBAAgB,GAAG,OAAO,CAQ9E"}

package/dist/src/rules/child-contract/path-trace.js

@@ -0,0 +1,91 @@
+import { MAX_CALLBACK_PATH_DEPTH, deeperTrace } from "./model.js";
+import { bindCallbackPath, isBindingName } from "./prop-bindings.js";
+import { bindingDeclarationCount, isNonValueIdentifier } from "../../core/analysis-ast.js";
+import { climbTransparentExpression, staticPropertyAccessFrom } from "./carried-values.js";
+import { callbackPathExpressionIsDeferred } from "./expression-stages.js";
+import { destructuredCallbackPath } from "./hook-boundary-paths.js";
+import { identifiersNamed } from "../../core/ast.js";
+export const PATH_DEFERRAL = {
+    sourceInput: sourceInputCallbackIsDeferred,
+    trackedPath: trackedCallbackPathIsDeferred,
+};
+export function rootTrace(resolver) {
+    return { deferral: PATH_DEFERRAL, depth: 0, resolver, returnTarget: null, visited: new Set() };
+}
+export function sourceInputCallbackIsDeferred(probe) {
+    const { argumentIndex, path, source, trace } = probe;
+    if (trace.depth > MAX_CALLBACK_PATH_DEPTH || !source.owner.body) {
+        return false;
+    }
+    const parameter = source.owner.parameters[argumentIndex];
+    const tracked = parameter ? bindCallbackPath(parameter.name, path) : null;
+    return tracked !== null && trackedCallbackPathIsDeferred(source, tracked, trace);
+}
+function trackedPathKey(source, tracked) {
+    const invocationKey = source.invocation
+        ? `${source.invocation.getSourceFile().fileName}:${source.invocation.pos}`
+        : "";
+    return `${source.file}\0${source.owner.pos}\0${invocationKey}\0${tracked.name}\0${tracked.path.join(".")}`;
+}
+function trackedReferencesAreDeferred(source, tracked, trace) {
+    let references = 0;
+    let safe = true;
+    for (const node of identifiersNamed(source.owner.body, tracked.name)) {
+        if (!safe) {
+            break;
+        }
+        if (isBindingName(node) || isNonValueIdentifier(node)) {
+            continue;
+        }
+        references += 1;
+        safe = callbackPathReferenceIsDeferred({ path: tracked.path, reference: node, source, trace });
+    }
+    return safe && references > 0;
+}
+function trackedCallbackPathIsDeferred(source, tracked, trace) {
+    if (trace.depth > MAX_CALLBACK_PATH_DEPTH ||
+        bindingDeclarationCount(source.owner, tracked.name) !== 1) {
+        return false;
+    }
+    const key = trackedPathKey(source, tracked);
+    if (trace.visited.has(key)) {
+        return false;
+    }
+    const nextTrace = {
+        deferral: trace.deferral,
+        depth: trace.depth,
+        resolver: trace.resolver,
+        returnTarget: trace.returnTarget,
+        visited: new Set(trace.visited).add(key),
+    };
+    return trackedReferencesAreDeferred(source, tracked, nextTrace);
+}
+function nestedPathVerdict(options) {
+    const { expression, head, path, source, trace } = options;
+    const access = staticPropertyAccessFrom(expression);
+    if (access) {
+        return (access.name !== head ||
+            callbackPathExpressionIsDeferred({
+                expression: access.expression,
+                path: path.slice(1),
+                source,
+                trace,
+            }));
+    }
+    const destructured = destructuredCallbackPath(source.owner, expression, path);
+    if (destructured) {
+        return trackedCallbackPathIsDeferred(source, destructured, deeperTrace(trace, trace.returnTarget));
+    }
+    return null;
+}
+function callbackPathReferenceIsDeferred(probe) {
+    const { path, reference, source, trace } = probe;
+    const expression = climbTransparentExpression(reference);
+    const [head] = path;
+    const nested = head === undefined ? null : nestedPathVerdict({ expression, head, path, source, trace });
+    if (nested !== null) {
+        return nested;
+    }
+    return callbackPathExpressionIsDeferred({ expression, path, source, trace });
+}
+//# sourceMappingURL=path-trace.js.map

package/dist/src/rules/child-contract/path-trace.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"path-trace.js","sourceRoot":"","sources":["../../../../src/rules/child-contract/path-trace.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,uBAAuB,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAClE,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACrE,OAAO,EAAE,uBAAuB,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAC3F,OAAO,EAAE,0BAA0B,EAAE,wBAAwB,EAAE,MAAM,qBAAqB,CAAC;AAC3F,OAAO,EAAE,gCAAgC,EAAE,MAAM,wBAAwB,CAAC;AAC1E,OAAO,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAC;AACpE,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAGrD,MAAM,CAAC,MAAM,aAAa,GAAqB;IAC7C,WAAW,EAAE,6BAA6B;IAC1C,WAAW,EAAE,6BAA6B;CAC3C,CAAC;AAEF,MAAM,UAAU,SAAS,CAAC,QAAwC;IAChE,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,YAAY,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;AACjG,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,KAAuB;IACnE,MAAM,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IACrD,IAAI,KAAK,CAAC,KAAK,GAAG,uBAAuB,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAChE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;IACzD,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC1E,OAAO,OAAO,KAAK,IAAI,IAAI,6BAA6B,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;AACnF,CAAC;AAED,SAAS,cAAc,CAAC,MAA4B,EAAE,OAA4B;IAChF,MAAM,aAAa,GAAG,MAAM,CAAC,UAAU;QACrC,CAAC,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC,QAAQ,IAAI,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE;QAC1E,CAAC,CAAC,EAAE,CAAC;IACP,OAAO,GAAG,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,KAAK,CAAC,GAAG,KAAK,aAAa,KAAK,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;AAC7G,CAAC;AAED,SAAS,4BAA4B,CACnC,MAA4B,EAC5B,OAA4B,EAC5B,KAAoB;IAEpB,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,MAAM,IAAI,IAAI,gBAAgB,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACrE,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,MAAM;QACR,CAAC;QACD,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;YACtD,SAAS;QACX,CAAC;QACD,UAAU,IAAI,CAAC,CAAC;QAChB,IAAI,GAAG,+BAA+B,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;IACjG,CAAC;IACD,OAAO,IAAI,IAAI,UAAU,GAAG,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,6BAA6B,CACpC,MAA4B,EAC5B,OAA4B,EAC5B,KAAoB;IAEpB,IACE,KAAK,CAAC,KAAK,GAAG,uBAAuB;QACrC,uBAAuB,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EACzD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,GAAG,GAAG,cAAc,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC5C,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,SAAS,GAAkB;QAC/B,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,OAAO,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;KACzC,CAAC;IACF,OAAO,4BAA4B,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;AAClE,CAAC;AAED,SAAS,iBAAiB,CAAC,OAM1B;IACC,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IAC1D,MAAM,MAAM,GAAG,wBAAwB,CAAC,UAAU,CAAC,CAAC;IACpD,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,CACL,MAAM,CAAC,IAAI,KAAK,IAAI;YACpB,gCAAgC,CAAC;gBAC/B,UAAU,EAAE,MAAM,CAAC,UAAU;gBAC7B,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;gBACnB,MAAM;gBACN,KAAK;aACN,CAAC,CACH,CAAC;IACJ,CAAC;IACD,MAAM,YAAY,GAAG,wBAAwB,CAAC,MAAM,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;IAC9E,IAAI,YAAY,EAAE,CAAC;QACjB,OAAO,6BAA6B,CAClC,MAAM,EACN,YAAY,EACZ,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,CACvC,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,+BAA+B,CAAC,KAA6B;IACpE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IACjD,MAAM,UAAU,GAAG,0BAA0B,CAAC,SAAS,CAAC,CAAC;IACzD,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IACpB,MAAM,MAAM,GACV,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;IAC3F,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACpB,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,gCAAgC,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;AAC/E,CAAC"}

package/dist/src/rules/child-contract/prop-bindings.d.ts

@@ -0,0 +1,12 @@
+import type { ChildComponentSource, TrackedCallbackPath } from "./model.js";
+import ts from "typescript";
+export declare function bindCallbackPath(binding: ts.BindingName, path: readonly string[]): TrackedCallbackPath | null;
+export declare function bindingElementPropertyName(element: ts.BindingElement): string | null;
+export declare function isModuleBindingReference(node: ts.Identifier): boolean;
+export declare function objectBindingOmitsProperty(binding: ts.BindingName, property: string): boolean;
+export declare function propertyName(name: ts.PropertyName): string | null;
+export declare function propsParameter(owner: ChildComponentSource["owner"], allowRefParameter?: boolean): ts.ParameterDeclaration | null;
+export declare function boundPropIdentifier(owner: ChildComponentSource["owner"], propName: string, allowRefParameter?: boolean): ts.Identifier | null;
+export declare function isBindingName(node: ts.Identifier): boolean;
+export declare function referenceIsWritten(node: ts.Identifier): boolean;
+//# sourceMappingURL=prop-bindings.d.ts.map

package/dist/src/rules/child-contract/prop-bindings.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prop-bindings.d.ts","sourceRoot":"","sources":["../../../../src/rules/child-contract/prop-bindings.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAO5E,OAAO,EAAE,MAAM,YAAY,CAAC;AA2C5B,wBAAgB,gBAAgB,CAC9B,OAAO,EAAE,EAAE,CAAC,WAAW,EACvB,IAAI,EAAE,SAAS,MAAM,EAAE,GACtB,mBAAmB,GAAG,IAAI,CAK5B;AAED,wBAAgB,0BAA0B,CAAC,OAAO,EAAE,EAAE,CAAC,cAAc,GAAG,MAAM,GAAG,IAAI,CAKpF;AAED,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,GAAG,OAAO,CAUrE;AAED,wBAAgB,0BAA0B,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAO7F;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,GAAG,MAAM,GAAG,IAAI,CAIjE;AAqED,wBAAgB,cAAc,CAC5B,KAAK,EAAE,oBAAoB,CAAC,OAAO,CAAC,EACpC,iBAAiB,UAAQ,GACxB,EAAE,CAAC,oBAAoB,GAAG,IAAI,CAehC;AAED,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,oBAAoB,CAAC,OAAO,CAAC,EACpC,QAAQ,EAAE,MAAM,EAChB,iBAAiB,UAAQ,GACxB,EAAE,CAAC,UAAU,GAAG,IAAI,CActB;AAED,wBAAgB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,GAAG,OAAO,CAO1D;AAED,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,GAAG,OAAO,CAU/D"}

package/dist/src/rules/child-contract/prop-bindings.js

@@ -0,0 +1,157 @@
+import { bindingDeclarationCount, isAssignmentOperator, isNonValueIdentifier, } from "../../core/analysis-ast.js";
+import { isRuntimeFunctionLike, visit } from "../../core/ast.js";
+import ts from "typescript";
+function bindingElementNamed(elements, property) {
+    for (const element of elements) {
+        if (!element.dotDotDotToken &&
+            ts.isIdentifier(element.name) &&
+            bindingElementPropertyName(element) === property) {
+            return element.name;
+        }
+    }
+    return null;
+}
+function restBindingElement(elements) {
+    for (const element of elements) {
+        if (element.dotDotDotToken && ts.isIdentifier(element.name)) {
+            return element.name;
+        }
+    }
+    return null;
+}
+function bindObjectPatternPath(binding, path) {
+    const [head, ...tail] = path;
+    if (!head) {
+        return null;
+    }
+    const matched = bindingElementNamed(binding.elements, head);
+    if (matched) {
+        return { name: matched.text, path: tail };
+    }
+    const rest = restBindingElement(binding.elements);
+    return rest ? { name: rest.text, path } : null;
+}
+export function bindCallbackPath(binding, path) {
+    if (ts.isIdentifier(binding)) {
+        return { name: binding.text, path };
+    }
+    return ts.isObjectBindingPattern(binding) ? bindObjectPatternPath(binding, path) : null;
+}
+export function bindingElementPropertyName(element) {
+    if (element.propertyName) {
+        return propertyName(element.propertyName);
+    }
+    return ts.isIdentifier(element.name) ? element.name.text : null;
+}
+export function isModuleBindingReference(node) {
+    for (let current = node.parent; current; current = current.parent) {
+        if (ts.isImportDeclaration(current) || ts.isExportDeclaration(current)) {
+            return true;
+        }
+        if (ts.isSourceFile(current) || isRuntimeFunctionLike(current)) {
+            return false;
+        }
+    }
+    return false;
+}
+export function objectBindingOmitsProperty(binding, property) {
+    return (ts.isObjectBindingPattern(binding) &&
+        !binding.elements.some((element) => element.dotDotDotToken || bindingElementPropertyName(element) === property));
+}
+export function propertyName(name) {
+    return ts.isIdentifier(name) || ts.isStringLiteralLike(name) || ts.isNumericLiteral(name)
+        ? name.text
+        : null;
+}
+function destructuredSourceName(element) {
+    if (element.propertyName && ts.isIdentifier(element.propertyName)) {
+        return element.propertyName.text;
+    }
+    return ts.isIdentifier(element.name) ? element.name.text : null;
+}
+function directPropBinding(pattern, propName) {
+    for (const element of pattern.elements) {
+        if (!element.dotDotDotToken &&
+            ts.isIdentifier(element.name) &&
+            destructuredSourceName(element) === propName) {
+            return element.name;
+        }
+    }
+    return null;
+}
+function renamedPropBinding(pattern, propName) {
+    for (const element of pattern.elements) {
+        if (!element.dotDotDotToken &&
+            ts.isIdentifier(element.name) &&
+            !element.initializer &&
+            destructuredSourceName(element) === propName) {
+            return element.name;
+        }
+    }
+    return null;
+}
+function restPropBinding(owner, rest, propName) {
+    let bound = null;
+    let safe = true;
+    visit(owner.body, (node) => {
+        if (!safe || !ts.isIdentifier(node) || node.text !== rest.text || isNonValueIdentifier(node)) {
+            return;
+        }
+        const declaration = node.parent;
+        if (!ts.isVariableDeclaration(declaration) ||
+            declaration.initializer !== node ||
+            !ts.isObjectBindingPattern(declaration.name)) {
+            safe = false;
+            return;
+        }
+        bound ??= renamedPropBinding(declaration.name, propName);
+    });
+    return safe ? bound : null;
+}
+const REF_FORWARDING_PARAMETERS = 2;
+export function propsParameter(owner, allowRefParameter = false) {
+    const [parameter, second] = owner.parameters;
+    if (!parameter) {
+        return null;
+    }
+    if (owner.parameters.length === 1) {
+        return parameter;
+    }
+    const refOnly = allowRefParameter &&
+        owner.parameters.length === REF_FORWARDING_PARAMETERS &&
+        second !== undefined &&
+        ts.isIdentifier(second.name) &&
+        !second.dotDotDotToken;
+    return refOnly ? parameter : null;
+}
+export function boundPropIdentifier(owner, propName, allowRefParameter = false) {
+    const parameter = propsParameter(owner, allowRefParameter);
+    if (!parameter || !ts.isObjectBindingPattern(parameter.name)) {
+        return null;
+    }
+    const direct = directPropBinding(parameter.name, propName);
+    if (direct) {
+        return direct;
+    }
+    const rest = restBindingElement(parameter.name.elements);
+    if (!rest || !owner.body || bindingDeclarationCount(owner, rest.text) !== 1) {
+        return null;
+    }
+    return restPropBinding(owner, rest, propName);
+}
+export function isBindingName(node) {
+    const { parent } = node;
+    return (ts.isBindingElement(parent) ||
+        ts.isVariableDeclaration(parent) ||
+        (ts.isParameter(parent) && parent.name === node));
+}
+export function referenceIsWritten(node) {
+    const { parent } = node;
+    return ((ts.isBinaryExpression(parent) &&
+        parent.left === node &&
+        isAssignmentOperator(parent.operatorToken.kind)) ||
+        (ts.isPrefixUnaryExpression(parent) && parent.operand === node) ||
+        (ts.isPostfixUnaryExpression(parent) && parent.operand === node) ||
+        (ts.isDeleteExpression(parent) && parent.expression === node));
+}
+//# sourceMappingURL=prop-bindings.js.map

package/dist/src/rules/child-contract/prop-bindings.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prop-bindings.js","sourceRoot":"","sources":["../../../../src/rules/child-contract/prop-bindings.ts"],"names":[],"mappings":"AACA,OAAO,EACL,uBAAuB,EACvB,oBAAoB,EACpB,oBAAoB,GACrB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,qBAAqB,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACjE,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,SAAS,mBAAmB,CAC1B,QAAyC,EACzC,QAAgB;IAEhB,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,IACE,CAAC,OAAO,CAAC,cAAc;YACvB,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC;YAC7B,0BAA0B,CAAC,OAAO,CAAC,KAAK,QAAQ,EAChD,CAAC;YACD,OAAO,OAAO,CAAC,IAAI,CAAC;QACtB,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,kBAAkB,CAAC,QAAyC;IACnE,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,IAAI,OAAO,CAAC,cAAc,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5D,OAAO,OAAO,CAAC,IAAI,CAAC;QACtB,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,qBAAqB,CAC5B,OAAgC,EAChC,IAAuB;IAEvB,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;IAC7B,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAG,mBAAmB,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAC5D,IAAI,OAAO,EAAE,CAAC;QACZ,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAC5C,CAAC;IACD,MAAM,IAAI,GAAG,kBAAkB,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAClD,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACjD,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,OAAuB,EACvB,IAAuB;IAEvB,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7B,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC;IACtC,CAAC;IACD,OAAO,EAAE,CAAC,sBAAsB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,qBAAqB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC1F,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,OAA0B;IACnE,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC;QACzB,OAAO,YAAY,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AAClE,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,IAAmB;IAC1D,KAAK,IAAI,OAAO,GAAwB,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;QACvF,IAAI,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,EAAE,CAAC;YACvE,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;YAC/D,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,OAAuB,EAAE,QAAgB;IAClF,OAAO,CACL,EAAE,CAAC,sBAAsB,CAAC,OAAO,CAAC;QAClC,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CACpB,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,cAAc,IAAI,0BAA0B,CAAC,OAAO,CAAC,KAAK,QAAQ,CACxF,CACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,IAAqB;IAChD,OAAO,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QACvF,CAAC,CAAC,IAAI,CAAC,IAAI;QACX,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,sBAAsB,CAAC,OAA0B;IACxD,IAAI,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;QAClE,OAAO,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC;IACnC,CAAC;IACD,OAAO,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AAClE,CAAC;AAED,SAAS,iBAAiB,CACxB,OAAgC,EAChC,QAAgB;IAEhB,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACvC,IACE,CAAC,OAAO,CAAC,cAAc;YACvB,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC;YAC7B,sBAAsB,CAAC,OAAO,CAAC,KAAK,QAAQ,EAC5C,CAAC;YACD,OAAO,OAAO,CAAC,IAAI,CAAC;QACtB,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,kBAAkB,CACzB,OAAgC,EAChC,QAAgB;IAEhB,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACvC,IACE,CAAC,OAAO,CAAC,cAAc;YACvB,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC;YAC7B,CAAC,OAAO,CAAC,WAAW;YACpB,sBAAsB,CAAC,OAAO,CAAC,KAAK,QAAQ,EAC5C,CAAC;YACD,OAAO,OAAO,CAAC,IAAI,CAAC;QACtB,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,eAAe,CACtB,KAAoC,EACpC,IAAmB,EACnB,QAAgB;IAEhB,IAAI,KAAK,GAAyB,IAAI,CAAC;IACvC,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,IAAI,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7F,OAAO;QACT,CAAC;QACD,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC;QAChC,IACE,CAAC,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC;YACtC,WAAW,CAAC,WAAW,KAAK,IAAI;YAChC,CAAC,EAAE,CAAC,sBAAsB,CAAC,WAAW,CAAC,IAAI,CAAC,EAC5C,CAAC;YACD,IAAI,GAAG,KAAK,CAAC;YACb,OAAO;QACT,CAAC;QACD,KAAK,KAAK,kBAAkB,CAAC,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAC7B,CAAC;AAED,MAAM,yBAAyB,GAAG,CAAC,CAAC;AAEpC,MAAM,UAAU,cAAc,CAC5B,KAAoC,EACpC,iBAAiB,GAAG,KAAK;IAEzB,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC;IAC7C,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,OAAO,GACX,iBAAiB;QACjB,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,yBAAyB;QACrD,MAAM,KAAK,SAAS;QACpB,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC;QAC5B,CAAC,MAAM,CAAC,cAAc,CAAC;IACzB,OAAO,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;AACpC,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,KAAoC,EACpC,QAAgB,EAChB,iBAAiB,GAAG,KAAK;IAEzB,MAAM,SAAS,GAAG,cAAc,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC;IAC3D,IAAI,CAAC,SAAS,IAAI,CAAC,EAAE,CAAC,sBAAsB,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7D,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,MAAM,GAAG,iBAAiB,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC3D,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,MAAM,IAAI,GAAG,kBAAkB,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACzD,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,uBAAuB,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5E,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,eAAe,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,IAAmB;IAC/C,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IACxB,OAAO,CACL,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC;QAC3B,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;QAChC,CAAC,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,CACjD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,IAAmB;IACpD,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IACxB,OAAO,CACL,CAAC,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC;QAC5B,MAAM,CAAC,IAAI,KAAK,IAAI;QACpB,oBAAoB,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;QAClD,CAAC,EAAE,CAAC,uBAAuB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,KAAK,IAAI,CAAC;QAC/D,CAAC,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,KAAK,IAAI,CAAC;QAChE,CAAC,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI,CAAC,CAC9D,CAAC;AACJ,CAAC"}

package/dist/src/rules/child-contract/react-effect-usage.d.ts

@@ -0,0 +1,5 @@
+import type { ChildComponentSource } from "./model.js";
+import type { HookImports } from "../../core/imports.js";
+import ts from "typescript";
+export declare function reactEffectCallbackUsage(reference: ts.Identifier, owner: ChildComponentSource["owner"], imports: HookImports): "dependency" | "invoke" | "observe" | null;
+//# sourceMappingURL=react-effect-usage.d.ts.map

package/dist/src/rules/child-contract/react-effect-usage.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"react-effect-usage.d.ts","sourceRoot":"","sources":["../../../../src/rules/child-contract/react-effect-usage.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AACvD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAIzD,OAAO,EAAE,MAAM,YAAY,CAAC;AAG5B,wBAAgB,wBAAwB,CACtC,SAAS,EAAE,EAAE,CAAC,UAAU,EACxB,KAAK,EAAE,oBAAoB,CAAC,OAAO,CAAC,EACpC,OAAO,EAAE,WAAW,GACnB,YAAY,GAAG,QAAQ,GAAG,SAAS,GAAG,IAAI,CAU5C"}

package/dist/src/rules/child-contract/react-effect-usage.js

@@ -0,0 +1,59 @@
+import { nearestNestedFunction, nodeWithin } from "../../core/ast.js";
+import { callbackReferenceIsObservationOnly } from "./observation-only-reads.js";
+import { climbTransparentExpression } from "./carried-values.js";
+import { isImportedHookCall } from "../../core/imports.js";
+import ts from "typescript";
+import { unwrapTransparentExpression } from "../../core/analysis-ast.js";
+export function reactEffectCallbackUsage(reference, owner, imports) {
+    let current = reference;
+    while (current.parent && current.parent !== owner) {
+        const { parent } = current;
+        if (ts.isCallExpression(parent) && isReactEffectCall(parent, imports)) {
+            return effectCallReferenceUsage(parent, reference, owner);
+        }
+        current = parent;
+    }
+    return null;
+}
+function effectCallReferenceUsage(call, reference, owner) {
+    const [effect, dependencies] = call.arguments;
+    if (dependencies &&
+        ts.isArrayLiteralExpression(dependencies) &&
+        dependencies.elements.some((element) => unwrapTransparentExpression(element) === reference)) {
+        return "dependency";
+    }
+    if (!effect ||
+        (!ts.isArrowFunction(effect) && !ts.isFunctionExpression(effect)) ||
+        !nodeWithin(reference, effect.body) ||
+        nearestNestedFunction(reference, owner) !== effect) {
+        return null;
+    }
+    if (callbackReferenceIsObservationOnly(reference)) {
+        return "observe";
+    }
+    const expression = climbTransparentExpression(reference);
+    return ts.isCallExpression(expression.parent) && expression.parent.expression === expression
+        ? "invoke"
+        : null;
+}
+function isReactEffectCall(call, imports) {
+    return (isImportedHookCall({
+        call,
+        localNames: imports.useEffect,
+        namespaceNames: imports.reactNamespaces,
+        canonicalName: "useEffect",
+    }) ||
+        isImportedHookCall({
+            call,
+            localNames: imports.useLayoutEffect,
+            namespaceNames: imports.reactNamespaces,
+            canonicalName: "useLayoutEffect",
+        }) ||
+        isImportedHookCall({
+            call,
+            localNames: imports.useInsertionEffect,
+            namespaceNames: imports.reactNamespaces,
+            canonicalName: "useInsertionEffect",
+        }));
+}
+//# sourceMappingURL=react-effect-usage.js.map

package/dist/src/rules/child-contract/react-effect-usage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"react-effect-usage.js","sourceRoot":"","sources":["../../../../src/rules/child-contract/react-effect-usage.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAGtE,OAAO,EAAE,kCAAkC,EAAE,MAAM,6BAA6B,CAAC;AACjF,OAAO,EAAE,0BAA0B,EAAE,MAAM,qBAAqB,CAAC;AACjE,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,2BAA2B,EAAE,MAAM,4BAA4B,CAAC;AAEzE,MAAM,UAAU,wBAAwB,CACtC,SAAwB,EACxB,KAAoC,EACpC,OAAoB;IAEpB,IAAI,OAAO,GAAY,SAAS,CAAC;IACjC,OAAO,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,KAAK,KAAK,EAAE,CAAC;QAClD,MAAM,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC;QAC3B,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,iBAAiB,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;YACtE,OAAO,wBAAwB,CAAC,MAAM,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;QAC5D,CAAC;QACD,OAAO,GAAG,MAAM,CAAC;IACnB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,wBAAwB,CAC/B,IAAuB,EACvB,SAAwB,EACxB,KAAoC;IAEpC,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;IAC9C,IACE,YAAY;QACZ,EAAE,CAAC,wBAAwB,CAAC,YAAY,CAAC;QACzC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,2BAA2B,CAAC,OAAO,CAAC,KAAK,SAAS,CAAC,EAC3F,CAAC;QACD,OAAO,YAAY,CAAC;IACtB,CAAC;IACD,IACE,CAAC,MAAM;QACP,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC;QACjE,CAAC,UAAU,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC;QACnC,qBAAqB,CAAC,SAAS,EAAE,KAAK,CAAC,KAAK,MAAM,EAClD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,kCAAkC,CAAC,SAAS,CAAC,EAAE,CAAC;QAClD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,UAAU,GAAG,0BAA0B,CAAC,SAAS,CAAC,CAAC;IACzD,OAAO,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,MAAM,CAAC,UAAU,KAAK,UAAU;QAC1F,CAAC,CAAC,QAAQ;QACV,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAuB,EAAE,OAAoB;IACtE,OAAO,CACL,kBAAkB,CAAC;QACjB,IAAI;QACJ,UAAU,EAAE,OAAO,CAAC,SAAS;QAC7B,cAAc,EAAE,OAAO,CAAC,eAAe;QACvC,aAAa,EAAE,WAAW;KAC3B,CAAC;QACF,kBAAkB,CAAC;YACjB,IAAI;YACJ,UAAU,EAAE,OAAO,CAAC,eAAe;YACnC,cAAc,EAAE,OAAO,CAAC,eAAe;YACvC,aAAa,EAAE,iBAAiB;SACjC,CAAC;QACF,kBAAkB,CAAC;YACjB,IAAI;YACJ,UAAU,EAAE,OAAO,CAAC,kBAAkB;YACtC,cAAc,EAAE,OAAO,CAAC,eAAe;YACvC,aAAa,EAAE,oBAAoB;SACpC,CAAC,CACH,CAAC;AACJ,CAAC"}

package/dist/src/rules/command-only-state/command-only-state.d.ts

@@ -0,0 +1,12 @@
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import type { StateCandidate } from "../../analysis/model.js";
+import ts from "typescript";
+interface CommandOnlyUsage {
+    setterCallNodes: readonly ts.CallExpression[];
+    setterUsesPreviousValue: boolean;
+}
+export declare function refWouldChangeCommandSnapshot(state: StateCandidate, usage: CommandOnlyUsage, readsAreEventRooted: boolean): boolean;
+export declare function functionalUpdaterPrecedesSnapshotRead(state: StateCandidate, usage: CommandOnlyUsage, nearestMutationFunction: (node: ts.Node, owner: RuntimeFunctionLike) => RuntimeFunctionLike): boolean;
+export declare function functionalCounterUpdaterPreservesSnapshot(state: StateCandidate, usage: CommandOnlyUsage, nearestMutationFunction: (node: ts.Node, owner: RuntimeFunctionLike) => RuntimeFunctionLike): boolean;
+export {};
+//# sourceMappingURL=command-only-state.d.ts.map

package/dist/src/rules/command-only-state/command-only-state.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"command-only-state.d.ts","sourceRoot":"","sources":["../../../../src/rules/command-only-state/command-only-state.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAE9D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,UAAU,gBAAgB;IACxB,eAAe,EAAE,SAAS,EAAE,CAAC,cAAc,EAAE,CAAC;IAC9C,uBAAuB,EAAE,OAAO,CAAC;CAClC;AAED,wBAAgB,6BAA6B,CAC3C,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,gBAAgB,EACvB,mBAAmB,EAAE,OAAO,GAC3B,OAAO,CAiCT;AAgBD,wBAAgB,qCAAqC,CACnD,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,gBAAgB,EACvB,uBAAuB,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,mBAAmB,KAAK,mBAAmB,GAC1F,OAAO,CA0BT;AAED,wBAAgB,yCAAyC,CACvD,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,gBAAgB,EACvB,uBAAuB,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,mBAAmB,KAAK,mBAAmB,GAC1F,OAAO,CAOT"}