carrick 0.3.133 → 0.3.135

package/sidecar/dist/src/library-claims.d.ts

@@ -50,6 +50,11 @@ type Outcome = {
      */
     members?: readonly ts.Declaration[];
     bodyMembers?: readonly ts.Declaration[];
+    /**
+     * Stamped: why a receive op's `request` was dropped while the op
+     * itself verified (carrick#2968). Only `request_member_missing`.
+     */
+    requestDropped?: string;
 } | {
     verdict: 'failed' | 'unchecked';
     reason: string;
@@ -86,6 +91,15 @@ export interface ModuleGraph {
     /** How the program resolves `name` from `from`; `undefined` where there is no graph, and Node resolution answers. */
     resolveModule(name: string, from: string, options: ts.CompilerOptions): ts.ResolvedModuleFull | undefined;
 }
+/**
+ * Test instrumentation, never on the wire: how many times the lister built a
+ * handler parameter's members and printed a type, since the caller last
+ * reset them (carrick#2977).
+ */
+export declare const surfaceReadCounts: {
+    handlerMemberBuilds: number;
+    typePrints: number;
+};
 export declare class LibraryClaimsVerifier {
     private readonly project;
     private readonly graph;
@@ -124,9 +138,20 @@ export declare class LibraryClaimsVerifier {
      * (`receiverExpression` on the export's `importLine`, read through
      * `DeclarationReader.returnOf`) and lists from it.
      *
+     * A member of an `instance:` receiver whose call returns another object
+     * that routes are registered on lists that object as its `scope_receiver`
+     * (carrick#2774), built as the verifier builds a scope step, under a cap of
+     * its own and left out of the hash.
+     *
+     * Each member's handler-parameter members (carrick#2674 S3) are listed
+     * only when `options.handlers` is set, and each signature's result
+     * candidates (carrick#2817) only when `options.resultCandidates` is
+     * (carrick#2966): on a large package either costs more than the rest of the
+     * listing.
+     *
      * `surface_sha256` is the full-surface hash (see `fullSurfaceSha256`).
      */
-    listSurface(fromDir: string, packages: string[], maxEntries: number, only?: Readonly<Record<string, string[]>>): ListedSurface;
+    listSurface(fromDir: string, packages: string[], maxEntries: number, only?: Readonly<Record<string, string[]>>, options?: SurfaceOptions): ListedSurface;
     /** `read` over a probe file holding `lines` in `fromDir`, removed again afterwards. */
     private readProbe;
 }
@@ -140,8 +165,8 @@ export interface ListedSurface {
  * array of `[package, exports]` for every surface that listed at least one
  * export, sorted by `package` (code unit order). A specifier that lists
  * nothing (unresolved, local, no value exports) is left out, so asking for a
- * subpath a version does not have changes nothing. Handler members are not
- * hashed. Type text already names
+ * subpath a version does not have changes nothing. Handler members, result
+ * candidates and scope receivers are not hashed. Type text already names
  * the request's directory as `<root>`.
  */
 export declare function fullSurfaceSha256(surfaces: readonly LibrarySurface[]): string;
@@ -177,4 +202,11 @@ export interface LabelledMembers {
     /** How each label read came out (`verified`, or the reason it was not), for the log. */
     outcomes?: Readonly<Record<string, number>>;
 }
+/** What a surface listing adds beyond the hashed surface, each only when asked (carrick#2966). */
+export interface SurfaceOptions {
+    /** Each member's `handlers` (carrick#2674 S3). */
+    handlers?: boolean;
+    /** Each signature's `result_candidates` (carrick#2817). */
+    resultCandidates?: boolean;
+}
 export {};