@altnovatrail/contracts 0.8.2 → 0.8.4

package/novatrail/api/v1/learning_pb.js

@@ -0,0 +1,171 @@
+// @generated by protoc-gen-es v2.16.0 with parameter "target=js+dts,import_extension=js"
+// @generated from file novatrail/api/v1/learning.proto (package novatrail.api.v1, syntax proto3)
+/* eslint-disable */
+
+// The way from a module to a task in the contract between `app` and `api`: the engine's choice, the
+// beginning of an attempt and the open attempt, and lessons, which `api` leads by lesson runs. What
+// each message means is the rule of contracts/README.md, section 15.
+
+import { fileDesc, messageDesc, serviceDesc } from "@bufbuild/protobuf/codegenv2";
+import { file_google_protobuf_timestamp } from "@bufbuild/protobuf/wkt";
+import { file_novatrail_api_v1_attempt } from "./attempt_pb.js";
+import { file_novatrail_api_v1_cause } from "./cause_pb.js";
+import { file_novatrail_api_v1_package } from "./package_pb.js";
+
+/**
+ * Describes the file novatrail/api/v1/learning.proto.
+ */
+export const file_novatrail_api_v1_learning = /*@__PURE__*/
+  fileDesc("Ch9ub3ZhdHJhaWwvYXBpL3YxL2xlYXJuaW5nLnByb3RvEhBub3ZhdHJhaWwuYXBpLnYxIk8KEUNob29zZU5leHRSZXF1ZXN0EhIKCnByb2ZpbGVfaWQYASABKAkSFwoPaWRlbXBvdGVuY3lfa2V5GAIgASgJEg0KBXNraWxsGAMgASgJIkQKEkNob29zZU5leHRSZXNwb25zZRIuCgZjaG9pY2UYASABKAsyHi5ub3ZhdHJhaWwuYXBpLnYxLkVuZ2luZUNob2ljZSLMAQoTQmVnaW5BdHRlbXB0UmVxdWVzdBISCgpwcm9maWxlX2lkGAEgASgJEhcKD2lkZW1wb3RlbmN5X2tleRgCIAEoCRITCgljaG9pY2VfaWQYAyABKAlIABIxCgdzZWdtZW50GAQgASgLMh4ubm92YXRyYWlsLmFwaS52MS5TZWdtZW50UGxhY2VIABIdChNwcmV2aW91c19hdHRlbXB0X2lkGAUgASgJSAASGAoQb3duX2tleV9wcm92aWRlchgGIAEoCUIHCgVzdGFydCJHChRCZWdpbkF0dGVtcHRSZXNwb25zZRIvCgdhdHRlbXB0GAEgASgLMh4ubm92YXRyYWlsLmFwaS52MS5BdHRlbXB0U3RhcnQiNgoMU2VnbWVudFBsYWNlEhUKDWxlc3Nvbl9ydW5faWQYASABKAkSDwoHc2VnbWVudBgCIAEoBSKVAQoMQXR0ZW1wdFN0YXJ0EhIKCmF0dGVtcHRfaWQYASABKAkSKAoEdGFzaxgCIAEoCzIaLm5vdmF0cmFpbC5hcGkudjEuT3BlblZpZXcSFgoOcGFja2FnZV9kaWdlc3QYAyABKAkSLwoHc2VnbWVudBgEIAEoCzIeLm5vdmF0cmFpbC5hcGkudjEuU2VnbWVudFBsYWNlIj8KFUdldE9wZW5BdHRlbXB0UmVxdWVzdBISCgpwcm9maWxlX2lkGAEgASgJEhIKCmF0dGVtcHRfaWQYAiABKAkiSAoWR2V0T3BlbkF0dGVtcHRSZXNwb25zZRIuCgdhdHRlbXB0GAEgASgLMh0ubm92YXRyYWlsLmFwaS52MS5PcGVuQXR0ZW1wdCLFAgoLT3BlbkF0dGVtcHQSLQoFc3RhcnQYASABKAsyHi5ub3ZhdHJhaWwuYXBpLnYxLkF0dGVtcHRTdGFydBIsCgVpdGVtcxgCIAMoCzIdLm5vdmF0cmFpbC5hcGkudjEuSXRlbVZlcmRpY3QSFQoNd3JvbmdfYW5zd2VycxgDIAEoBRIoCgRydW5nGAQgASgLMhoubm92YXRyYWlsLmFwaS52MS5SdW5nSGludBIdChVleHBsYWluZWRfZGlmZmVyZW50bHkYBSABKAgSGgoSc3RlcF90ZWNobmlxdWVfaWRzGAYgAygJEh8KF3JlcXVlc3RlZF90ZWNobmlxdWVfaWRzGAcgAygJEjwKEWVzc2F5X3N1Ym1pc3Npb25zGAggAygLMiEubm92YXRyYWlsLmFwaS52MS5Fc3NheVN1Ym1pc3Npb24icQoPRXNzYXlTdWJtaXNzaW9uEjAKDHN1Ym1pdHRlZF9hdBgBIAEoCzIaLmdvb2dsZS5wcm90b2J1Zi5UaW1lc3RhbXASLAoDZW5kGAIgASgOMh8ubm92YXRyYWlsLmFwaS52MS5TdWJtaXNzaW9uRW5kIjoKEU9wZW5MZXNzb25SZXF1ZXN0EhIKCnByb2ZpbGVfaWQYASABKAkSEQoJY2hvaWNlX2lkGAIgASgJIj4KEk9wZW5MZXNzb25SZXNwb25zZRIoCgNydW4YASABKAsyGy5ub3ZhdHJhaWwuYXBpLnYxLkxlc3NvblJ1biJAChNHZXRMZXNzb25SdW5SZXF1ZXN0EhIKCnByb2ZpbGVfaWQYASABKAkSFQoNbGVzc29uX3J1bl9pZBgCIAEoCSJAChRHZXRMZXNzb25SdW5SZXNwb25zZRIoCgNydW4YASABKAsyGy5ub3ZhdHJhaWwuYXBpLnYxLkxlc3NvblJ1biK2AQoJTGVzc29uUnVuEhUKDWxlc3Nvbl9ydW5faWQYASABKAkSKgoGbGVzc29uGAIgASgLMhoubm92YXRyYWlsLmFwaS52MS5PcGVuVmlldxIWCg5wYWNrYWdlX2RpZ2VzdBgDIAEoCRIWCg5lbmRlZF9zZWdtZW50cxgEIAMoBRI2CgxvcGVuX2F0dGVtcHQYBSABKAsyIC5ub3ZhdHJhaWwuYXBpLnYxLk9wZW5BdHRlbXB0UmVmIkIKFUNvbXBsZXRlTGVzc29uUmVxdWVzdBISCgpwcm9maWxlX2lkGAEgASgJEhUKDWxlc3Nvbl9ydW5faWQYAiABKAkiPwoWQ29tcGxldGVMZXNzb25SZXNwb25zZRIlCgNlbmQYASABKAsyGC5ub3ZhdHJhaWwuYXBpLnYxLlJ1bkVuZCJVCg5PcGVuQXR0ZW1wdFJlZhISCgphdHRlbXB0X2lkGAEgASgJEi8KB3NlZ21lbnQYAiABKAsyHi5ub3ZhdHJhaWwuYXBpLnYxLlNlZ21lbnRQbGFjZSJNCgxMZXNzb25SdW5SZWYSFQoNbGVzc29uX3J1bl9pZBgBIAEoCRIOCgZsZXNzb24YAiABKAkSFgoOcGFja2FnZV9kaWdlc3QYAyABKAkyywQKD0xlYXJuaW5nU2VydmljZRJXCgpDaG9vc2VOZXh0EiMubm92YXRyYWlsLmFwaS52MS5DaG9vc2VOZXh0UmVxdWVzdBokLm5vdmF0cmFpbC5hcGkudjEuQ2hvb3NlTmV4dFJlc3BvbnNlEl0KDEJlZ2luQXR0ZW1wdBIlLm5vdmF0cmFpbC5hcGkudjEuQmVnaW5BdHRlbXB0UmVxdWVzdBomLm5vdmF0cmFpbC5hcGkudjEuQmVnaW5BdHRlbXB0UmVzcG9uc2USYwoOR2V0T3BlbkF0dGVtcHQSJy5ub3ZhdHJhaWwuYXBpLnYxLkdldE9wZW5BdHRlbXB0UmVxdWVzdBooLm5vdmF0cmFpbC5hcGkudjEuR2V0T3BlbkF0dGVtcHRSZXNwb25zZRJXCgpPcGVuTGVzc29uEiMubm92YXRyYWlsLmFwaS52MS5PcGVuTGVzc29uUmVxdWVzdBokLm5vdmF0cmFpbC5hcGkudjEuT3Blbkxlc3NvblJlc3BvbnNlEl0KDEdldExlc3NvblJ1bhIlLm5vdmF0cmFpbC5hcGkudjEuR2V0TGVzc29uUnVuUmVxdWVzdBomLm5vdmF0cmFpbC5hcGkudjEuR2V0TGVzc29uUnVuUmVzcG9uc2USYwoOQ29tcGxldGVMZXNzb24SJy5ub3ZhdHJhaWwuYXBpLnYxLkNvbXBsZXRlTGVzc29uUmVxdWVzdBooLm5vdmF0cmFpbC5hcGkudjEuQ29tcGxldGVMZXNzb25SZXNwb25zZULGAQoUY29tLm5vdmF0cmFpbC5hcGkudjFCDUxlYXJuaW5nUHJvdG9QAVo9Z2l0aHViLmNvbS9hbHRub3ZhdHJhaWwvc3BlYy9jb250cmFjdHMvbm92YXRyYWlsL2FwaS92MTthcGl2MaICA05BWKoCEE5vdmF0cmFpbC5BcGkuVjHKAhBOb3ZhdHJhaWxcQXBpXFYx4gIcTm92YXRyYWlsXEFwaVxWMVxHUEJNZXRhZGF0YeoCEk5vdmF0cmFpbDo6QXBpOjpWMWIGcHJvdG8z", [file_google_protobuf_timestamp, file_novatrail_api_v1_attempt, file_novatrail_api_v1_cause, file_novatrail_api_v1_package]);
+
+/**
+ * Describes the message novatrail.api.v1.ChooseNextRequest.
+ * Use `create(ChooseNextRequestSchema)` to create a new message.
+ */
+export const ChooseNextRequestSchema = /*@__PURE__*/
+  messageDesc(file_novatrail_api_v1_learning, 0);
+
+/**
+ * Describes the message novatrail.api.v1.ChooseNextResponse.
+ * Use `create(ChooseNextResponseSchema)` to create a new message.
+ */
+export const ChooseNextResponseSchema = /*@__PURE__*/
+  messageDesc(file_novatrail_api_v1_learning, 1);
+
+/**
+ * Describes the message novatrail.api.v1.BeginAttemptRequest.
+ * Use `create(BeginAttemptRequestSchema)` to create a new message.
+ */
+export const BeginAttemptRequestSchema = /*@__PURE__*/
+  messageDesc(file_novatrail_api_v1_learning, 2);
+
+/**
+ * Describes the message novatrail.api.v1.BeginAttemptResponse.
+ * Use `create(BeginAttemptResponseSchema)` to create a new message.
+ */
+export const BeginAttemptResponseSchema = /*@__PURE__*/
+  messageDesc(file_novatrail_api_v1_learning, 3);
+
+/**
+ * Describes the message novatrail.api.v1.SegmentPlace.
+ * Use `create(SegmentPlaceSchema)` to create a new message.
+ */
+export const SegmentPlaceSchema = /*@__PURE__*/
+  messageDesc(file_novatrail_api_v1_learning, 4);
+
+/**
+ * Describes the message novatrail.api.v1.AttemptStart.
+ * Use `create(AttemptStartSchema)` to create a new message.
+ */
+export const AttemptStartSchema = /*@__PURE__*/
+  messageDesc(file_novatrail_api_v1_learning, 5);
+
+/**
+ * Describes the message novatrail.api.v1.GetOpenAttemptRequest.
+ * Use `create(GetOpenAttemptRequestSchema)` to create a new message.
+ */
+export const GetOpenAttemptRequestSchema = /*@__PURE__*/
+  messageDesc(file_novatrail_api_v1_learning, 6);
+
+/**
+ * Describes the message novatrail.api.v1.GetOpenAttemptResponse.
+ * Use `create(GetOpenAttemptResponseSchema)` to create a new message.
+ */
+export const GetOpenAttemptResponseSchema = /*@__PURE__*/
+  messageDesc(file_novatrail_api_v1_learning, 7);
+
+/**
+ * Describes the message novatrail.api.v1.OpenAttempt.
+ * Use `create(OpenAttemptSchema)` to create a new message.
+ */
+export const OpenAttemptSchema = /*@__PURE__*/
+  messageDesc(file_novatrail_api_v1_learning, 8);
+
+/**
+ * Describes the message novatrail.api.v1.EssaySubmission.
+ * Use `create(EssaySubmissionSchema)` to create a new message.
+ */
+export const EssaySubmissionSchema = /*@__PURE__*/
+  messageDesc(file_novatrail_api_v1_learning, 9);
+
+/**
+ * Describes the message novatrail.api.v1.OpenLessonRequest.
+ * Use `create(OpenLessonRequestSchema)` to create a new message.
+ */
+export const OpenLessonRequestSchema = /*@__PURE__*/
+  messageDesc(file_novatrail_api_v1_learning, 10);
+
+/**
+ * Describes the message novatrail.api.v1.OpenLessonResponse.
+ * Use `create(OpenLessonResponseSchema)` to create a new message.
+ */
+export const OpenLessonResponseSchema = /*@__PURE__*/
+  messageDesc(file_novatrail_api_v1_learning, 11);
+
+/**
+ * Describes the message novatrail.api.v1.GetLessonRunRequest.
+ * Use `create(GetLessonRunRequestSchema)` to create a new message.
+ */
+export const GetLessonRunRequestSchema = /*@__PURE__*/
+  messageDesc(file_novatrail_api_v1_learning, 12);
+
+/**
+ * Describes the message novatrail.api.v1.GetLessonRunResponse.
+ * Use `create(GetLessonRunResponseSchema)` to create a new message.
+ */
+export const GetLessonRunResponseSchema = /*@__PURE__*/
+  messageDesc(file_novatrail_api_v1_learning, 13);
+
+/**
+ * Describes the message novatrail.api.v1.LessonRun.
+ * Use `create(LessonRunSchema)` to create a new message.
+ */
+export const LessonRunSchema = /*@__PURE__*/
+  messageDesc(file_novatrail_api_v1_learning, 14);
+
+/**
+ * Describes the message novatrail.api.v1.CompleteLessonRequest.
+ * Use `create(CompleteLessonRequestSchema)` to create a new message.
+ */
+export const CompleteLessonRequestSchema = /*@__PURE__*/
+  messageDesc(file_novatrail_api_v1_learning, 15);
+
+/**
+ * Describes the message novatrail.api.v1.CompleteLessonResponse.
+ * Use `create(CompleteLessonResponseSchema)` to create a new message.
+ */
+export const CompleteLessonResponseSchema = /*@__PURE__*/
+  messageDesc(file_novatrail_api_v1_learning, 16);
+
+/**
+ * Describes the message novatrail.api.v1.OpenAttemptRef.
+ * Use `create(OpenAttemptRefSchema)` to create a new message.
+ */
+export const OpenAttemptRefSchema = /*@__PURE__*/
+  messageDesc(file_novatrail_api_v1_learning, 17);
+
+/**
+ * Describes the message novatrail.api.v1.LessonRunRef.
+ * Use `create(LessonRunRefSchema)` to create a new message.
+ */
+export const LessonRunRefSchema = /*@__PURE__*/
+  messageDesc(file_novatrail_api_v1_learning, 18);
+
+/**
+ * The way from a module to a task, from a learner's session: each method is a learning request,
+ * with the right `can_learn`. Every method 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 with what
+ * `app` does on each; a profile that is not the account's gets `CAUSE_NO_PROFILE`, a request of a
+ * profile whose consent is not confirmed `CAUSE_NO_CONSENT`, and a request whose form the contract
+ * refuses the code `invalid_argument` with no `Refusal`. A profile has one open attempt: a new one
+ * closes the one before `CLOSE_REASON_LEFT`. A lesson run goes on the package it began on, and
+ * every attempt of its task segments too. `app` keeps the place in a lesson and the state of its
+ * demos by the key "lesson's full ID, package digest", beside the ID of the run: the state of
+ * another run under the same key it drops, and it erases the state of the lesson at every end of
+ * the run, in an answer or in a refusal.
+ *
+ * @generated from service novatrail.api.v1.LearningService
+ */
+export const LearningService = /*@__PURE__*/
+  serviceDesc(file_novatrail_api_v1_learning, 0);
+

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

@@ -0,0 +1,320 @@
+// @generated by protoc-gen-es v2.16.0 with parameter "target=js+dts,import_extension=js"
+// @generated from file novatrail/api/v1/module.proto (package novatrail.api.v1, syntax proto3)
+/* eslint-disable */
+
+// The modules of a learner in the contract between `app` and `api`: the catalog of the modules a
+// profile may connect, and the modules connected to it, each by the digest of its current version.
+// What each message means is the rule of contracts/README.md, section 15.
+
+import type { GenFile, GenMessage, GenService } from "@bufbuild/protobuf/codegenv2";
+import type { Message } from "@bufbuild/protobuf";
+import type { Timestamp } from "@bufbuild/protobuf/wkt";
+
+/**
+ * Describes the file novatrail/api/v1/module.proto.
+ */
+export declare const file_novatrail_api_v1_module: GenFile;
+
+/**
+ * A request for the catalog.
+ *
+ * @generated from message novatrail.api.v1.ListCatalogRequest
+ */
+export declare type ListCatalogRequest = Message<"novatrail.api.v1.ListCatalogRequest"> & {
+  /**
+   * The profile.
+   *
+   * @generated from field: string profile_id = 1;
+   */
+  profileId: string;
+};
+
+/**
+ * Describes the message novatrail.api.v1.ListCatalogRequest.
+ * Use `create(ListCatalogRequestSchema)` to create a new message.
+ */
+export declare const ListCatalogRequestSchema: GenMessage<ListCatalogRequest>;
+
+/**
+ * The catalog of a profile.
+ *
+ * @generated from message novatrail.api.v1.ListCatalogResponse
+ */
+export declare type ListCatalogResponse = Message<"novatrail.api.v1.ListCatalogResponse"> & {
+  /**
+   * The modules the profile may connect, in the order of their IDs' UTF-16 code units.
+   *
+   * @generated from field: repeated novatrail.api.v1.CatalogModule modules = 1;
+   */
+  modules: CatalogModule[];
+};
+
+/**
+ * Describes the message novatrail.api.v1.ListCatalogResponse.
+ * Use `create(ListCatalogResponseSchema)` to create a new message.
+ */
+export declare const ListCatalogResponseSchema: GenMessage<ListCatalogResponse>;
+
+/**
+ * A module of the catalog.
+ *
+ * @generated from message novatrail.api.v1.CatalogModule
+ */
+export declare type CatalogModule = Message<"novatrail.api.v1.CatalogModule"> & {
+  /**
+   * The module's ID, as its manifest writes it: "novatrail/olympiad-math".
+   *
+   * @generated from field: string module_id = 1;
+   */
+  moduleId: string;
+
+  /**
+   * The digest of the package of its current version.
+   *
+   * @generated from field: string package_digest = 2;
+   */
+  packageDigest: string;
+};
+
+/**
+ * Describes the message novatrail.api.v1.CatalogModule.
+ * Use `create(CatalogModuleSchema)` to create a new message.
+ */
+export declare const CatalogModuleSchema: GenMessage<CatalogModule>;
+
+/**
+ * The connection of a module.
+ *
+ * @generated from message novatrail.api.v1.ConnectModuleRequest
+ */
+export declare type ConnectModuleRequest = Message<"novatrail.api.v1.ConnectModuleRequest"> & {
+  /**
+   * The profile.
+   *
+   * @generated from field: string profile_id = 1;
+   */
+  profileId: string;
+
+  /**
+   * The module's ID.
+   *
+   * @generated from field: string module_id = 2;
+   */
+  moduleId: string;
+};
+
+/**
+ * Describes the message novatrail.api.v1.ConnectModuleRequest.
+ * Use `create(ConnectModuleRequestSchema)` to create a new message.
+ */
+export declare const ConnectModuleRequestSchema: GenMessage<ConnectModuleRequest>;
+
+/**
+ * The modules connected, once the module is.
+ *
+ * @generated from message novatrail.api.v1.ConnectModuleResponse
+ */
+export declare type ConnectModuleResponse = Message<"novatrail.api.v1.ConnectModuleResponse"> & {
+  /**
+   * The modules connected to the profile.
+   *
+   * @generated from field: repeated novatrail.api.v1.ConnectedModule modules = 1;
+   */
+  modules: ConnectedModule[];
+};
+
+/**
+ * Describes the message novatrail.api.v1.ConnectModuleResponse.
+ * Use `create(ConnectModuleResponseSchema)` to create a new message.
+ */
+export declare const ConnectModuleResponseSchema: GenMessage<ConnectModuleResponse>;
+
+/**
+ * The disconnection of a module.
+ *
+ * @generated from message novatrail.api.v1.DisconnectModuleRequest
+ */
+export declare type DisconnectModuleRequest = Message<"novatrail.api.v1.DisconnectModuleRequest"> & {
+  /**
+   * The profile.
+   *
+   * @generated from field: string profile_id = 1;
+   */
+  profileId: string;
+
+  /**
+   * The module's ID.
+   *
+   * @generated from field: string module_id = 2;
+   */
+  moduleId: string;
+};
+
+/**
+ * Describes the message novatrail.api.v1.DisconnectModuleRequest.
+ * Use `create(DisconnectModuleRequestSchema)` to create a new message.
+ */
+export declare const DisconnectModuleRequestSchema: GenMessage<DisconnectModuleRequest>;
+
+/**
+ * The modules connected, once the module is not.
+ *
+ * @generated from message novatrail.api.v1.DisconnectModuleResponse
+ */
+export declare type DisconnectModuleResponse = Message<"novatrail.api.v1.DisconnectModuleResponse"> & {
+  /**
+   * The modules connected to the profile.
+   *
+   * @generated from field: repeated novatrail.api.v1.ConnectedModule modules = 1;
+   */
+  modules: ConnectedModule[];
+};
+
+/**
+ * Describes the message novatrail.api.v1.DisconnectModuleResponse.
+ * Use `create(DisconnectModuleResponseSchema)` to create a new message.
+ */
+export declare const DisconnectModuleResponseSchema: GenMessage<DisconnectModuleResponse>;
+
+/**
+ * A request for the modules connected.
+ *
+ * @generated from message novatrail.api.v1.ListConnectedModulesRequest
+ */
+export declare type ListConnectedModulesRequest = Message<"novatrail.api.v1.ListConnectedModulesRequest"> & {
+  /**
+   * The profile.
+   *
+   * @generated from field: string profile_id = 1;
+   */
+  profileId: string;
+};
+
+/**
+ * Describes the message novatrail.api.v1.ListConnectedModulesRequest.
+ * Use `create(ListConnectedModulesRequestSchema)` to create a new message.
+ */
+export declare const ListConnectedModulesRequestSchema: GenMessage<ListConnectedModulesRequest>;
+
+/**
+ * The modules connected to a profile.
+ *
+ * @generated from message novatrail.api.v1.ListConnectedModulesResponse
+ */
+export declare type ListConnectedModulesResponse = Message<"novatrail.api.v1.ListConnectedModulesResponse"> & {
+  /**
+   * The modules connected, in the order they were connected.
+   *
+   * @generated from field: repeated novatrail.api.v1.ConnectedModule modules = 1;
+   */
+  modules: ConnectedModule[];
+};
+
+/**
+ * Describes the message novatrail.api.v1.ListConnectedModulesResponse.
+ * Use `create(ListConnectedModulesResponseSchema)` to create a new message.
+ */
+export declare const ListConnectedModulesResponseSchema: GenMessage<ListConnectedModulesResponse>;
+
+/**
+ * A module connected to a profile.
+ *
+ * @generated from message novatrail.api.v1.ConnectedModule
+ */
+export declare type ConnectedModule = Message<"novatrail.api.v1.ConnectedModule"> & {
+  /**
+   * The module's ID.
+   *
+   * @generated from field: string module_id = 1;
+   */
+  moduleId: string;
+
+  /**
+   * When it was connected.
+   *
+   * @generated from field: google.protobuf.Timestamp connected_at = 2;
+   */
+  connectedAt?: Timestamp | undefined;
+
+  /**
+   * The digest of the package of its current version: empty when the module has no current
+   * version for the learner — none at all, or one whose audience the learner is not in. Without a
+   * digest there is no manifest to name the module by: `app` names it by the title of a manifest
+   * it keeps of an earlier version, or else by its ID.
+   *
+   * @generated from field: string package_digest = 3;
+   */
+  packageDigest: string;
+};
+
+/**
+ * Describes the message novatrail.api.v1.ConnectedModule.
+ * Use `create(ConnectedModuleSchema)` to create a new message.
+ */
+export declare const ConnectedModuleSchema: GenMessage<ConnectedModule>;
+
+/**
+ * The modules of a profile, from a learner's session: each method is a learning request, with the
+ * right `can_learn`, and repeats by the state of the profile, with no idempotency key. Every method
+ * 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 with what `app` does on each; a profile that is not
+ * the account's gets `CAUSE_NO_PROFILE`, and a request of a profile whose consent is not confirmed
+ * `CAUSE_NO_CONSENT`. A module is named by its ID, and a version by the digest of its package:
+ * `app` reads its title and explanation language in the open view of its manifest,
+ * `PackageService`.
+ *
+ * @generated from service novatrail.api.v1.ModuleService
+ */
+export declare const ModuleService: GenService<{
+  /**
+   * The catalog: the modules of the pinned index of `api` whose current version suits the profile
+   * by its audience, the age category of the profile (R63), connected ones too. The explanation
+   * language goes into no choice: the card of a module names it when it is not the language of the
+   * screen (R92), and the adult chooses.
+   *
+   * @generated from rpc novatrail.api.v1.ModuleService.ListCatalog
+   */
+  listCatalog: {
+    methodKind: "unary";
+    input: typeof ListCatalogRequestSchema;
+    output: typeof ListCatalogResponseSchema;
+  },
+  /**
+   * Connects a module to the profile, with no version: the attempts outside a lesson and new lesson
+   * runs go on its current version. The answer is the modules connected; a module connected
+   * already stays as it is. Refusals: `CAUSE_NOT_FOUND`, a module the index does not name, and
+   * `CAUSE_NO_CURRENT_VERSION`.
+   *
+   * @generated from rpc novatrail.api.v1.ModuleService.ConnectModule
+   */
+  connectModule: {
+    methodKind: "unary";
+    input: typeof ConnectModuleRequestSchema;
+    output: typeof ConnectModuleResponseSchema;
+  },
+  /**
+   * Disconnects a module from the profile. The answer is the modules connected; a module not
+   * connected changes nothing. The evidence of the module stays in the profile's journal, and an
+   * open lesson run of it ends `RUN_END_REASON_NOT_SUITABLE` at its next request.
+   *
+   * @generated from rpc novatrail.api.v1.ModuleService.DisconnectModule
+   */
+  disconnectModule: {
+    methodKind: "unary";
+    input: typeof DisconnectModuleRequestSchema;
+    output: typeof DisconnectModuleResponseSchema;
+  },
+  /**
+   * The modules connected to the profile, each with the digest of its current version, or with
+   * none when it has none for the learner. `app` shows such a module unavailable: it may be
+   * disconnected, and it has no attempts and no lessons.
+   *
+   * @generated from rpc novatrail.api.v1.ModuleService.ListConnectedModules
+   */
+  listConnectedModules: {
+    methodKind: "unary";
+    input: typeof ListConnectedModulesRequestSchema;
+    output: typeof ListConnectedModulesResponseSchema;
+  },
+}>;
+

package/novatrail/api/v1/module_pb.js

@@ -0,0 +1,102 @@
+// @generated by protoc-gen-es v2.16.0 with parameter "target=js+dts,import_extension=js"
+// @generated from file novatrail/api/v1/module.proto (package novatrail.api.v1, syntax proto3)
+/* eslint-disable */
+
+// The modules of a learner in the contract between `app` and `api`: the catalog of the modules a
+// profile may connect, and the modules connected to it, each by the digest of its current version.
+// What each message means is the rule of contracts/README.md, section 15.
+
+import { fileDesc, messageDesc, serviceDesc } from "@bufbuild/protobuf/codegenv2";
+import { file_google_protobuf_timestamp } from "@bufbuild/protobuf/wkt";
+
+/**
+ * Describes the file novatrail/api/v1/module.proto.
+ */
+export const file_novatrail_api_v1_module = /*@__PURE__*/
+  fileDesc("Ch1ub3ZhdHJhaWwvYXBpL3YxL21vZHVsZS5wcm90bxIQbm92YXRyYWlsLmFwaS52MSIoChJMaXN0Q2F0YWxvZ1JlcXVlc3QSEgoKcHJvZmlsZV9pZBgBIAEoCSJHChNMaXN0Q2F0YWxvZ1Jlc3BvbnNlEjAKB21vZHVsZXMYASADKAsyHy5ub3ZhdHJhaWwuYXBpLnYxLkNhdGFsb2dNb2R1bGUiOgoNQ2F0YWxvZ01vZHVsZRIRCgltb2R1bGVfaWQYASABKAkSFgoOcGFja2FnZV9kaWdlc3QYAiABKAkiPQoUQ29ubmVjdE1vZHVsZVJlcXVlc3QSEgoKcHJvZmlsZV9pZBgBIAEoCRIRCgltb2R1bGVfaWQYAiABKAkiSwoVQ29ubmVjdE1vZHVsZVJlc3BvbnNlEjIKB21vZHVsZXMYASADKAsyIS5ub3ZhdHJhaWwuYXBpLnYxLkNvbm5lY3RlZE1vZHVsZSJAChdEaXNjb25uZWN0TW9kdWxlUmVxdWVzdBISCgpwcm9maWxlX2lkGAEgASgJEhEKCW1vZHVsZV9pZBgCIAEoCSJOChhEaXNjb25uZWN0TW9kdWxlUmVzcG9uc2USMgoHbW9kdWxlcxgBIAMoCzIhLm5vdmF0cmFpbC5hcGkudjEuQ29ubmVjdGVkTW9kdWxlIjEKG0xpc3RDb25uZWN0ZWRNb2R1bGVzUmVxdWVzdBISCgpwcm9maWxlX2lkGAEgASgJIlIKHExpc3RDb25uZWN0ZWRNb2R1bGVzUmVzcG9uc2USMgoHbW9kdWxlcxgBIAMoCzIhLm5vdmF0cmFpbC5hcGkudjEuQ29ubmVjdGVkTW9kdWxlIm4KD0Nvbm5lY3RlZE1vZHVsZRIRCgltb2R1bGVfaWQYASABKAkSMAoMY29ubmVjdGVkX2F0GAIgASgLMhouZ29vZ2xlLnByb3RvYnVmLlRpbWVzdGFtcBIWCg5wYWNrYWdlX2RpZ2VzdBgDIAEoCTKvAwoNTW9kdWxlU2VydmljZRJaCgtMaXN0Q2F0YWxvZxIkLm5vdmF0cmFpbC5hcGkudjEuTGlzdENhdGFsb2dSZXF1ZXN0GiUubm92YXRyYWlsLmFwaS52MS5MaXN0Q2F0YWxvZ1Jlc3BvbnNlEmAKDUNvbm5lY3RNb2R1bGUSJi5ub3ZhdHJhaWwuYXBpLnYxLkNvbm5lY3RNb2R1bGVSZXF1ZXN0Gicubm92YXRyYWlsLmFwaS52MS5Db25uZWN0TW9kdWxlUmVzcG9uc2USaQoQRGlzY29ubmVjdE1vZHVsZRIpLm5vdmF0cmFpbC5hcGkudjEuRGlzY29ubmVjdE1vZHVsZVJlcXVlc3QaKi5ub3ZhdHJhaWwuYXBpLnYxLkRpc2Nvbm5lY3RNb2R1bGVSZXNwb25zZRJ1ChRMaXN0Q29ubmVjdGVkTW9kdWxlcxItLm5vdmF0cmFpbC5hcGkudjEuTGlzdENvbm5lY3RlZE1vZHVsZXNSZXF1ZXN0Gi4ubm92YXRyYWlsLmFwaS52MS5MaXN0Q29ubmVjdGVkTW9kdWxlc1Jlc3BvbnNlQsQBChRjb20ubm92YXRyYWlsLmFwaS52MUILTW9kdWxlUHJvdG9QAVo9Z2l0aHViLmNvbS9hbHRub3ZhdHJhaWwvc3BlYy9jb250cmFjdHMvbm92YXRyYWlsL2FwaS92MTthcGl2MaICA05BWKoCEE5vdmF0cmFpbC5BcGkuVjHKAhBOb3ZhdHJhaWxcQXBpXFYx4gIcTm92YXRyYWlsXEFwaVxWMVxHUEJNZXRhZGF0YeoCEk5vdmF0cmFpbDo6QXBpOjpWMWIGcHJvdG8z", [file_google_protobuf_timestamp]);
+
+/**
+ * Describes the message novatrail.api.v1.ListCatalogRequest.
+ * Use `create(ListCatalogRequestSchema)` to create a new message.
+ */
+export const ListCatalogRequestSchema = /*@__PURE__*/
+  messageDesc(file_novatrail_api_v1_module, 0);
+
+/**
+ * Describes the message novatrail.api.v1.ListCatalogResponse.
+ * Use `create(ListCatalogResponseSchema)` to create a new message.
+ */
+export const ListCatalogResponseSchema = /*@__PURE__*/
+  messageDesc(file_novatrail_api_v1_module, 1);
+
+/**
+ * Describes the message novatrail.api.v1.CatalogModule.
+ * Use `create(CatalogModuleSchema)` to create a new message.
+ */
+export const CatalogModuleSchema = /*@__PURE__*/
+  messageDesc(file_novatrail_api_v1_module, 2);
+
+/**
+ * Describes the message novatrail.api.v1.ConnectModuleRequest.
+ * Use `create(ConnectModuleRequestSchema)` to create a new message.
+ */
+export const ConnectModuleRequestSchema = /*@__PURE__*/
+  messageDesc(file_novatrail_api_v1_module, 3);
+
+/**
+ * Describes the message novatrail.api.v1.ConnectModuleResponse.
+ * Use `create(ConnectModuleResponseSchema)` to create a new message.
+ */
+export const ConnectModuleResponseSchema = /*@__PURE__*/
+  messageDesc(file_novatrail_api_v1_module, 4);
+
+/**
+ * Describes the message novatrail.api.v1.DisconnectModuleRequest.
+ * Use `create(DisconnectModuleRequestSchema)` to create a new message.
+ */
+export const DisconnectModuleRequestSchema = /*@__PURE__*/
+  messageDesc(file_novatrail_api_v1_module, 5);
+
+/**
+ * Describes the message novatrail.api.v1.DisconnectModuleResponse.
+ * Use `create(DisconnectModuleResponseSchema)` to create a new message.
+ */
+export const DisconnectModuleResponseSchema = /*@__PURE__*/
+  messageDesc(file_novatrail_api_v1_module, 6);
+
+/**
+ * Describes the message novatrail.api.v1.ListConnectedModulesRequest.
+ * Use `create(ListConnectedModulesRequestSchema)` to create a new message.
+ */
+export const ListConnectedModulesRequestSchema = /*@__PURE__*/
+  messageDesc(file_novatrail_api_v1_module, 7);
+
+/**
+ * Describes the message novatrail.api.v1.ListConnectedModulesResponse.
+ * Use `create(ListConnectedModulesResponseSchema)` to create a new message.
+ */
+export const ListConnectedModulesResponseSchema = /*@__PURE__*/
+  messageDesc(file_novatrail_api_v1_module, 8);
+
+/**
+ * Describes the message novatrail.api.v1.ConnectedModule.
+ * Use `create(ConnectedModuleSchema)` to create a new message.
+ */
+export const ConnectedModuleSchema = /*@__PURE__*/
+  messageDesc(file_novatrail_api_v1_module, 9);
+
+/**
+ * The modules of a profile, from a learner's session: each method is a learning request, with the
+ * right `can_learn`, and repeats by the state of the profile, with no idempotency key. Every method
+ * 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 with what `app` does on each; a profile that is not
+ * the account's gets `CAUSE_NO_PROFILE`, and a request of a profile whose consent is not confirmed
+ * `CAUSE_NO_CONSENT`. A module is named by its ID, and a version by the digest of its package:
+ * `app` reads its title and explanation language in the open view of its manifest,
+ * `PackageService`.
+ *
+ * @generated from service novatrail.api.v1.ModuleService
+ */
+export const ModuleService = /*@__PURE__*/
+  serviceDesc(file_novatrail_api_v1_module, 0);
+