@altnovatrail/contracts 0.8.2 → 0.8.4

package/novatrail/api/v1/package_pb.d.ts

@@ -0,0 +1,401 @@
+// @generated by protoc-gen-es v2.16.0 with parameter "target=js+dts,import_extension=js"
+// @generated from file novatrail/api/v1/package.proto (package novatrail.api.v1, syntax proto3)
+/* eslint-disable */
+
+// What a package of a module gives by its digest, in the contract between `app` and `api`: the
+// open views of its manifest, skill graph, technique catalog and solving steps, which go without a
+// token, and whether the image of `api` still gives a package. The files of a package's device
+// part are no method of the contract: they go by HTTP GET, as contracts/README.md, section 15, has
+// it, with the rules of the whole contract.
+
+import type { GenEnum, GenFile, GenMessage, GenService } from "@bufbuild/protobuf/codegenv2";
+import type { Message } from "@bufbuild/protobuf";
+
+/**
+ * Describes the file novatrail/api/v1/package.proto.
+ */
+export declare const file_novatrail_api_v1_package: GenFile;
+
+/**
+ * An open view of a part of a module: what the learner's app receives of the part, without its
+ * closed fields (section 6 of the module format). `app` and `api` read it by the types of the
+ * module format, `open` of `@altnovatrail/spec` and of the Go module `spec`.
+ *
+ * @generated from message novatrail.api.v1.OpenView
+ */
+export declare type OpenView = Message<"novatrail.api.v1.OpenView"> & {
+  /**
+   * The open view, as JSON of the module format.
+   *
+   * @generated from field: bytes json = 1;
+   */
+  json: Uint8Array;
+
+  /**
+   * The version of the module format the view is written in, MAJOR.MINOR: `app` reads a view of a
+   * version its build reads, and offers to reload for another (R44).
+   *
+   * @generated from field: string module_format_version = 2;
+   */
+  moduleFormatVersion: string;
+};
+
+/**
+ * Describes the message novatrail.api.v1.OpenView.
+ * Use `create(OpenViewSchema)` to create a new message.
+ */
+export declare const OpenViewSchema: GenMessage<OpenView>;
+
+/**
+ * A request for the open view of a manifest.
+ *
+ * @generated from message novatrail.api.v1.GetManifestRequest
+ */
+export declare type GetManifestRequest = Message<"novatrail.api.v1.GetManifestRequest"> & {
+  /**
+   * The package digest, `sha256:` and 64 lowercase hexadecimal digits.
+   *
+   * @generated from field: string package_digest = 1;
+   */
+  packageDigest: string;
+};
+
+/**
+ * Describes the message novatrail.api.v1.GetManifestRequest.
+ * Use `create(GetManifestRequestSchema)` to create a new message.
+ */
+export declare const GetManifestRequestSchema: GenMessage<GetManifestRequest>;
+
+/**
+ * The open view of a manifest.
+ *
+ * @generated from message novatrail.api.v1.GetManifestResponse
+ */
+export declare type GetManifestResponse = Message<"novatrail.api.v1.GetManifestResponse"> & {
+  /**
+   * The open view of the package's manifest.
+   *
+   * @generated from field: novatrail.api.v1.OpenView manifest = 1;
+   */
+  manifest?: OpenView | undefined;
+};
+
+/**
+ * Describes the message novatrail.api.v1.GetManifestResponse.
+ * Use `create(GetManifestResponseSchema)` to create a new message.
+ */
+export declare const GetManifestResponseSchema: GenMessage<GetManifestResponse>;
+
+/**
+ * A request for the open view of a skill graph.
+ *
+ * @generated from message novatrail.api.v1.GetSkillGraphRequest
+ */
+export declare type GetSkillGraphRequest = Message<"novatrail.api.v1.GetSkillGraphRequest"> & {
+  /**
+   * The package digest.
+   *
+   * @generated from field: string package_digest = 1;
+   */
+  packageDigest: string;
+};
+
+/**
+ * Describes the message novatrail.api.v1.GetSkillGraphRequest.
+ * Use `create(GetSkillGraphRequestSchema)` to create a new message.
+ */
+export declare const GetSkillGraphRequestSchema: GenMessage<GetSkillGraphRequest>;
+
+/**
+ * The open view of a skill graph, with its tiers.
+ *
+ * @generated from message novatrail.api.v1.GetSkillGraphResponse
+ */
+export declare type GetSkillGraphResponse = Message<"novatrail.api.v1.GetSkillGraphResponse"> & {
+  /**
+   * The open view of the package's skill graph: absent when the module has none.
+   *
+   * @generated from field: novatrail.api.v1.OpenView skill_graph = 1;
+   */
+  skillGraph?: OpenView | undefined;
+
+  /**
+   * The tier of each skill of the graph, by its local ID, as section 12 of the module format
+   * computes it and the canonical view of the package holds it, `skill_tiers`: no field of the
+   * graph, nor of its open view.
+   *
+   * @generated from field: map<string, int32> skill_tiers = 2;
+   */
+  skillTiers: { [key: string]: number };
+};
+
+/**
+ * Describes the message novatrail.api.v1.GetSkillGraphResponse.
+ * Use `create(GetSkillGraphResponseSchema)` to create a new message.
+ */
+export declare const GetSkillGraphResponseSchema: GenMessage<GetSkillGraphResponse>;
+
+/**
+ * A request for the open view of a technique catalog.
+ *
+ * @generated from message novatrail.api.v1.GetTechniquesRequest
+ */
+export declare type GetTechniquesRequest = Message<"novatrail.api.v1.GetTechniquesRequest"> & {
+  /**
+   * The package digest.
+   *
+   * @generated from field: string package_digest = 1;
+   */
+  packageDigest: string;
+};
+
+/**
+ * Describes the message novatrail.api.v1.GetTechniquesRequest.
+ * Use `create(GetTechniquesRequestSchema)` to create a new message.
+ */
+export declare const GetTechniquesRequestSchema: GenMessage<GetTechniquesRequest>;
+
+/**
+ * The open view of a technique catalog.
+ *
+ * @generated from message novatrail.api.v1.GetTechniquesResponse
+ */
+export declare type GetTechniquesResponse = Message<"novatrail.api.v1.GetTechniquesResponse"> & {
+  /**
+   * The open view of the package's technique catalog: absent when the module has none.
+   *
+   * @generated from field: novatrail.api.v1.OpenView techniques = 1;
+   */
+  techniques?: OpenView | undefined;
+};
+
+/**
+ * Describes the message novatrail.api.v1.GetTechniquesResponse.
+ * Use `create(GetTechniquesResponseSchema)` to create a new message.
+ */
+export declare const GetTechniquesResponseSchema: GenMessage<GetTechniquesResponse>;
+
+/**
+ * A request for the open view of solving steps.
+ *
+ * @generated from message novatrail.api.v1.GetSolvingStepsRequest
+ */
+export declare type GetSolvingStepsRequest = Message<"novatrail.api.v1.GetSolvingStepsRequest"> & {
+  /**
+   * The package digest.
+   *
+   * @generated from field: string package_digest = 1;
+   */
+  packageDigest: string;
+};
+
+/**
+ * Describes the message novatrail.api.v1.GetSolvingStepsRequest.
+ * Use `create(GetSolvingStepsRequestSchema)` to create a new message.
+ */
+export declare const GetSolvingStepsRequestSchema: GenMessage<GetSolvingStepsRequest>;
+
+/**
+ * The open view of solving steps.
+ *
+ * @generated from message novatrail.api.v1.GetSolvingStepsResponse
+ */
+export declare type GetSolvingStepsResponse = Message<"novatrail.api.v1.GetSolvingStepsResponse"> & {
+  /**
+   * The open view of the package's solving steps: absent when the module has none.
+   *
+   * @generated from field: novatrail.api.v1.OpenView solving_steps = 1;
+   */
+  solvingSteps?: OpenView | undefined;
+};
+
+/**
+ * Describes the message novatrail.api.v1.GetSolvingStepsResponse.
+ * Use `create(GetSolvingStepsResponseSchema)` to create a new message.
+ */
+export declare const GetSolvingStepsResponseSchema: GenMessage<GetSolvingStepsResponse>;
+
+/**
+ * A request on which packages the image of `api` still gives.
+ *
+ * @generated from message novatrail.api.v1.CheckPackagesRequest
+ */
+export declare type CheckPackagesRequest = Message<"novatrail.api.v1.CheckPackagesRequest"> & {
+  /**
+   * The package digests, each `sha256:` and 64 lowercase hexadecimal digits.
+   *
+   * @generated from field: repeated string package_digests = 1;
+   */
+  packageDigests: string[];
+};
+
+/**
+ * Describes the message novatrail.api.v1.CheckPackagesRequest.
+ * Use `create(CheckPackagesRequestSchema)` to create a new message.
+ */
+export declare const CheckPackagesRequestSchema: GenMessage<CheckPackagesRequest>;
+
+/**
+ * Which packages the image of `api` still gives.
+ *
+ * @generated from message novatrail.api.v1.CheckPackagesResponse
+ */
+export declare type CheckPackagesResponse = Message<"novatrail.api.v1.CheckPackagesResponse"> & {
+  /**
+   * Each digest of the request, in its order, with whether the image gives it.
+   *
+   * @generated from field: repeated novatrail.api.v1.PackageCheck packages = 1;
+   */
+  packages: PackageCheck[];
+};
+
+/**
+ * Describes the message novatrail.api.v1.CheckPackagesResponse.
+ * Use `create(CheckPackagesResponseSchema)` to create a new message.
+ */
+export declare const CheckPackagesResponseSchema: GenMessage<CheckPackagesResponse>;
+
+/**
+ * Whether the image of `api` gives a package.
+ *
+ * @generated from message novatrail.api.v1.PackageCheck
+ */
+export declare type PackageCheck = Message<"novatrail.api.v1.PackageCheck"> & {
+  /**
+   * The package digest.
+   *
+   * @generated from field: string package_digest = 1;
+   */
+  packageDigest: string;
+
+  /**
+   * Whether the image gives it.
+   *
+   * @generated from field: novatrail.api.v1.PackageStatus status = 2;
+   */
+  status: PackageStatus;
+};
+
+/**
+ * Describes the message novatrail.api.v1.PackageCheck.
+ * Use `create(PackageCheckSchema)` to create a new message.
+ */
+export declare const PackageCheckSchema: GenMessage<PackageCheck>;
+
+/**
+ * Whether the image of `api` gives a package. A status its build does not know `app` reads as
+ * `PACKAGE_STATUS_UNKNOWN`.
+ *
+ * @generated from enum novatrail.api.v1.PackageStatus
+ */
+export enum PackageStatus {
+  /**
+   * Not named: never sent.
+   *
+   * @generated from enum value: PACKAGE_STATUS_UNSPECIFIED = 0;
+   */
+  UNSPECIFIED = 0,
+
+  /**
+   * The image gives the package: its open views and the files of its device part.
+   *
+   * @generated from enum value: PACKAGE_STATUS_GIVEN = 1;
+   */
+  GIVEN = 1,
+
+  /**
+   * The image no longer gives the package: its version is withdrawn, or its module format is out of
+   * the window of formats that `api` reads. `app` erases its open views.
+   *
+   * @generated from enum value: PACKAGE_STATUS_NOT_GIVEN = 2;
+   */
+  NOT_GIVEN = 2,
+
+  /**
+   * The index of the image does not know the digest: a deployment is going on, or the digest is
+   * no package's. `app` asks again later.
+   *
+   * @generated from enum value: PACKAGE_STATUS_UNKNOWN = 3;
+   */
+  UNKNOWN = 3,
+}
+
+/**
+ * Describes the enum novatrail.api.v1.PackageStatus.
+ */
+export declare const PackageStatusSchema: GenEnum<PackageStatus>;
+
+/**
+ * What a package of a module gives by its digest (R62). The four open views go without a token and
+ * without the ID of a profile, by Connect GET: each method has the idempotency level
+ * `NO_SIDE_EFFECTS`, and `app` calls it with no header — no `Connect-Timeout-Ms` either, which would
+ * make the request not simple and send a preflight before it. They go for any package that the
+ * image of `api` gives: the package of an attempt or of a lesson run, and the current version of a
+ * module in the catalog or connected. Their refusals: `CAUSE_VERSION_NOT_GIVEN`, and
+ * `CAUSE_PACKAGE_UNKNOWN`; a digest that is not one, `invalid_argument` with no `Refusal`.
+ * `CheckPackages` carries the token of the sign-in service and may get the refusals of every
+ * request with a token, which the comment of `AccountService` names.
+ *
+ * @generated from service novatrail.api.v1.PackageService
+ */
+export declare const PackageService: GenService<{
+  /**
+   * The open view of the manifest of a package: `app` caches it by the digest, gives it to the
+   * canvas with each task of the package, and reads in it the title and the explanation language of
+   * a module before its first attempt (R92).
+   *
+   * @generated from rpc novatrail.api.v1.PackageService.GetManifest
+   */
+  getManifest: {
+    methodKind: "unary";
+    input: typeof GetManifestRequestSchema;
+    output: typeof GetManifestResponseSchema;
+  },
+  /**
+   * The open view of the skill graph of a package, with the tier of each skill: what the skill map
+   * draws, and what `app` reads a sequential module by (R58).
+   *
+   * @generated from rpc novatrail.api.v1.PackageService.GetSkillGraph
+   */
+  getSkillGraph: {
+    methodKind: "unary";
+    input: typeof GetSkillGraphRequestSchema;
+    output: typeof GetSkillGraphResponseSchema;
+  },
+  /**
+   * The open view of the technique catalog of a package: the techniques whose IDs a step or a hint
+   * gives.
+   *
+   * @generated from rpc novatrail.api.v1.PackageService.GetTechniques
+   */
+  getTechniques: {
+    methodKind: "unary";
+    input: typeof GetTechniquesRequestSchema;
+    output: typeof GetTechniquesResponseSchema;
+  },
+  /**
+   * The open view of the solving steps of a package, which `app` leads in the mode "by steps".
+   *
+   * @generated from rpc novatrail.api.v1.PackageService.GetSolvingSteps
+   */
+  getSolvingSteps: {
+    methodKind: "unary";
+    input: typeof GetSolvingStepsRequestSchema;
+    output: typeof GetSolvingStepsResponseSchema;
+  },
+  /**
+   * Which of the digests named the image of `api` still gives: of the account of the token, with
+   * no ID of a profile, and `api` keeps none of them. `app` asks it when it starts, about the
+   * digests whose open views it keeps, and after `CAUSE_VERSION_NOT_GIVEN` or an answer `410` to a
+   * file of a device part. It erases the open views of a digest no longer given, and asks about a
+   * digest not known later.
+   *
+   * @generated from rpc novatrail.api.v1.PackageService.CheckPackages
+   */
+  checkPackages: {
+    methodKind: "unary";
+    input: typeof CheckPackagesRequestSchema;
+    output: typeof CheckPackagesResponseSchema;
+  },
+}>;
+

package/novatrail/api/v1/package_pb.js

@@ -0,0 +1,133 @@
+// @generated by protoc-gen-es v2.16.0 with parameter "target=js+dts,import_extension=js"
+// @generated from file novatrail/api/v1/package.proto (package novatrail.api.v1, syntax proto3)
+/* eslint-disable */
+
+// What a package of a module gives by its digest, in the contract between `app` and `api`: the
+// open views of its manifest, skill graph, technique catalog and solving steps, which go without a
+// token, and whether the image of `api` still gives a package. The files of a package's device
+// part are no method of the contract: they go by HTTP GET, as contracts/README.md, section 15, has
+// it, with the rules of the whole contract.
+
+import { enumDesc, fileDesc, messageDesc, serviceDesc, tsEnum } from "@bufbuild/protobuf/codegenv2";
+
+/**
+ * Describes the file novatrail/api/v1/package.proto.
+ */
+export const file_novatrail_api_v1_package = /*@__PURE__*/
+  fileDesc("Ch5ub3ZhdHJhaWwvYXBpL3YxL3BhY2thZ2UucHJvdG8SEG5vdmF0cmFpbC5hcGkudjEiNwoIT3BlblZpZXcSDAoEanNvbhgBIAEoDBIdChVtb2R1bGVfZm9ybWF0X3ZlcnNpb24YAiABKAkiLAoSR2V0TWFuaWZlc3RSZXF1ZXN0EhYKDnBhY2thZ2VfZGlnZXN0GAEgASgJIkMKE0dldE1hbmlmZXN0UmVzcG9uc2USLAoIbWFuaWZlc3QYASABKAsyGi5ub3ZhdHJhaWwuYXBpLnYxLk9wZW5WaWV3Ii4KFEdldFNraWxsR3JhcGhSZXF1ZXN0EhYKDnBhY2thZ2VfZGlnZXN0GAEgASgJIskBChVHZXRTa2lsbEdyYXBoUmVzcG9uc2USLwoLc2tpbGxfZ3JhcGgYASABKAsyGi5ub3ZhdHJhaWwuYXBpLnYxLk9wZW5WaWV3EkwKC3NraWxsX3RpZXJzGAIgAygLMjcubm92YXRyYWlsLmFwaS52MS5HZXRTa2lsbEdyYXBoUmVzcG9uc2UuU2tpbGxUaWVyc0VudHJ5GjEKD1NraWxsVGllcnNFbnRyeRILCgNrZXkYASABKAkSDQoFdmFsdWUYAiABKAU6AjgBIi4KFEdldFRlY2huaXF1ZXNSZXF1ZXN0EhYKDnBhY2thZ2VfZGlnZXN0GAEgASgJIkcKFUdldFRlY2huaXF1ZXNSZXNwb25zZRIuCgp0ZWNobmlxdWVzGAEgASgLMhoubm92YXRyYWlsLmFwaS52MS5PcGVuVmlldyIwChZHZXRTb2x2aW5nU3RlcHNSZXF1ZXN0EhYKDnBhY2thZ2VfZGlnZXN0GAEgASgJIkwKF0dldFNvbHZpbmdTdGVwc1Jlc3BvbnNlEjEKDXNvbHZpbmdfc3RlcHMYASABKAsyGi5ub3ZhdHJhaWwuYXBpLnYxLk9wZW5WaWV3Ii8KFENoZWNrUGFja2FnZXNSZXF1ZXN0EhcKD3BhY2thZ2VfZGlnZXN0cxgBIAMoCSJJChVDaGVja1BhY2thZ2VzUmVzcG9uc2USMAoIcGFja2FnZXMYASADKAsyHi5ub3ZhdHJhaWwuYXBpLnYxLlBhY2thZ2VDaGVjayJXCgxQYWNrYWdlQ2hlY2sSFgoOcGFja2FnZV9kaWdlc3QYASABKAkSLwoGc3RhdHVzGAIgASgOMh8ubm92YXRyYWlsLmFwaS52MS5QYWNrYWdlU3RhdHVzKoMBCg1QYWNrYWdlU3RhdHVzEh4KGlBBQ0tBR0VfU1RBVFVTX1VOU1BFQ0lGSUVEEAASGAoUUEFDS0FHRV9TVEFUVVNfR0lWRU4QARIcChhQQUNLQUdFX1NUQVRVU19OT1RfR0lWRU4QAhIaChZQQUNLQUdFX1NUQVRVU19VTktOT1dOEAMyjgQKDlBhY2thZ2VTZXJ2aWNlEl8KC0dldE1hbmlmZXN0EiQubm92YXRyYWlsLmFwaS52MS5HZXRNYW5pZmVzdFJlcXVlc3QaJS5ub3ZhdHJhaWwuYXBpLnYxLkdldE1hbmlmZXN0UmVzcG9uc2UiA5ACARJlCg1HZXRTa2lsbEdyYXBoEiYubm92YXRyYWlsLmFwaS52MS5HZXRTa2lsbEdyYXBoUmVxdWVzdBonLm5vdmF0cmFpbC5hcGkudjEuR2V0U2tpbGxHcmFwaFJlc3BvbnNlIgOQAgESZQoNR2V0VGVjaG5pcXVlcxImLm5vdmF0cmFpbC5hcGkudjEuR2V0VGVjaG5pcXVlc1JlcXVlc3QaJy5ub3ZhdHJhaWwuYXBpLnYxLkdldFRlY2huaXF1ZXNSZXNwb25zZSIDkAIBEmsKD0dldFNvbHZpbmdTdGVwcxIoLm5vdmF0cmFpbC5hcGkudjEuR2V0U29sdmluZ1N0ZXBzUmVxdWVzdBopLm5vdmF0cmFpbC5hcGkudjEuR2V0U29sdmluZ1N0ZXBzUmVzcG9uc2UiA5ACARJgCg1DaGVja1BhY2thZ2VzEiYubm92YXRyYWlsLmFwaS52MS5DaGVja1BhY2thZ2VzUmVxdWVzdBonLm5vdmF0cmFpbC5hcGkudjEuQ2hlY2tQYWNrYWdlc1Jlc3BvbnNlQsUBChRjb20ubm92YXRyYWlsLmFwaS52MUIMUGFja2FnZVByb3RvUAFaPWdpdGh1Yi5jb20vYWx0bm92YXRyYWlsL3NwZWMvY29udHJhY3RzL25vdmF0cmFpbC9hcGkvdjE7YXBpdjGiAgNOQViqAhBOb3ZhdHJhaWwuQXBpLlYxygIQTm92YXRyYWlsXEFwaVxWMeICHE5vdmF0cmFpbFxBcGlcVjFcR1BCTWV0YWRhdGHqAhJOb3ZhdHJhaWw6OkFwaTo6VjFiBnByb3RvMw");
+
+/**
+ * Describes the message novatrail.api.v1.OpenView.
+ * Use `create(OpenViewSchema)` to create a new message.
+ */
+export const OpenViewSchema = /*@__PURE__*/
+  messageDesc(file_novatrail_api_v1_package, 0);
+
+/**
+ * Describes the message novatrail.api.v1.GetManifestRequest.
+ * Use `create(GetManifestRequestSchema)` to create a new message.
+ */
+export const GetManifestRequestSchema = /*@__PURE__*/
+  messageDesc(file_novatrail_api_v1_package, 1);
+
+/**
+ * Describes the message novatrail.api.v1.GetManifestResponse.
+ * Use `create(GetManifestResponseSchema)` to create a new message.
+ */
+export const GetManifestResponseSchema = /*@__PURE__*/
+  messageDesc(file_novatrail_api_v1_package, 2);
+
+/**
+ * Describes the message novatrail.api.v1.GetSkillGraphRequest.
+ * Use `create(GetSkillGraphRequestSchema)` to create a new message.
+ */
+export const GetSkillGraphRequestSchema = /*@__PURE__*/
+  messageDesc(file_novatrail_api_v1_package, 3);
+
+/**
+ * Describes the message novatrail.api.v1.GetSkillGraphResponse.
+ * Use `create(GetSkillGraphResponseSchema)` to create a new message.
+ */
+export const GetSkillGraphResponseSchema = /*@__PURE__*/
+  messageDesc(file_novatrail_api_v1_package, 4);
+
+/**
+ * Describes the message novatrail.api.v1.GetTechniquesRequest.
+ * Use `create(GetTechniquesRequestSchema)` to create a new message.
+ */
+export const GetTechniquesRequestSchema = /*@__PURE__*/
+  messageDesc(file_novatrail_api_v1_package, 5);
+
+/**
+ * Describes the message novatrail.api.v1.GetTechniquesResponse.
+ * Use `create(GetTechniquesResponseSchema)` to create a new message.
+ */
+export const GetTechniquesResponseSchema = /*@__PURE__*/
+  messageDesc(file_novatrail_api_v1_package, 6);
+
+/**
+ * Describes the message novatrail.api.v1.GetSolvingStepsRequest.
+ * Use `create(GetSolvingStepsRequestSchema)` to create a new message.
+ */
+export const GetSolvingStepsRequestSchema = /*@__PURE__*/
+  messageDesc(file_novatrail_api_v1_package, 7);
+
+/**
+ * Describes the message novatrail.api.v1.GetSolvingStepsResponse.
+ * Use `create(GetSolvingStepsResponseSchema)` to create a new message.
+ */
+export const GetSolvingStepsResponseSchema = /*@__PURE__*/
+  messageDesc(file_novatrail_api_v1_package, 8);
+
+/**
+ * Describes the message novatrail.api.v1.CheckPackagesRequest.
+ * Use `create(CheckPackagesRequestSchema)` to create a new message.
+ */
+export const CheckPackagesRequestSchema = /*@__PURE__*/
+  messageDesc(file_novatrail_api_v1_package, 9);
+
+/**
+ * Describes the message novatrail.api.v1.CheckPackagesResponse.
+ * Use `create(CheckPackagesResponseSchema)` to create a new message.
+ */
+export const CheckPackagesResponseSchema = /*@__PURE__*/
+  messageDesc(file_novatrail_api_v1_package, 10);
+
+/**
+ * Describes the message novatrail.api.v1.PackageCheck.
+ * Use `create(PackageCheckSchema)` to create a new message.
+ */
+export const PackageCheckSchema = /*@__PURE__*/
+  messageDesc(file_novatrail_api_v1_package, 11);
+
+/**
+ * Describes the enum novatrail.api.v1.PackageStatus.
+ */
+export const PackageStatusSchema = /*@__PURE__*/
+  enumDesc(file_novatrail_api_v1_package, 0);
+
+/**
+ * Whether the image of `api` gives a package. A status its build does not know `app` reads as
+ * `PACKAGE_STATUS_UNKNOWN`.
+ *
+ * @generated from enum novatrail.api.v1.PackageStatus
+ */
+export const PackageStatus = /*@__PURE__*/
+  tsEnum(PackageStatusSchema);
+
+/**
+ * What a package of a module gives by its digest (R62). The four open views go without a token and
+ * without the ID of a profile, by Connect GET: each method has the idempotency level
+ * `NO_SIDE_EFFECTS`, and `app` calls it with no header — no `Connect-Timeout-Ms` either, which would
+ * make the request not simple and send a preflight before it. They go for any package that the
+ * image of `api` gives: the package of an attempt or of a lesson run, and the current version of a
+ * module in the catalog or connected. Their refusals: `CAUSE_VERSION_NOT_GIVEN`, and
+ * `CAUSE_PACKAGE_UNKNOWN`; a digest that is not one, `invalid_argument` with no `Refusal`.
+ * `CheckPackages` carries the token of the sign-in service and may get the refusals of every
+ * request with a token, which the comment of `AccountService` names.
+ *
+ * @generated from service novatrail.api.v1.PackageService
+ */
+export const PackageService = /*@__PURE__*/
+  serviceDesc(file_novatrail_api_v1_package, 0);
+