@openmbee/opensysml 0.9.1 → 0.10.0

package/dist/generated/sysml_pb.d.ts

@@ -268,6 +268,23 @@ export type VerifyConstraintRequest = Message<"sysml.VerifyConstraintRequest"> &
      * @generated from field: string question = 5;
      */
     question: string;
+    /**
+     * Values for the constraint's `in` parameters, in declaration order, as
+     * RunAnalysisRequest.arguments binds a case's; an argument the constraint
+     * does not take is INVALID_ARGUMENT, as is a parameter left without an
+     * argument or default. Reported as the "verification_arguments" capability.
+     *
+     * @generated from field: repeated sysml.Value arguments = 6;
+     */
+    arguments: Value[];
+    /**
+     * Values for `in` parameters by name; see arguments.
+     *
+     * @generated from field: map<string, sysml.Value> named_arguments = 7;
+     */
+    namedArguments: {
+        [key: string]: Value;
+    };
 };
 /**
  * Describes the message sysml.VerifyConstraintRequest.
@@ -345,6 +362,20 @@ export type VerifyRequirementRequest = Message<"sysml.VerifyRequirementRequest">
      * @generated from field: string question = 5;
      */
     question: string;
+    /**
+     * Values for the requirement's `in` parameters, positional and by name; see
+     * VerifyConstraintRequest.arguments. Reported as the "verification_arguments"
+     * capability.
+     *
+     * @generated from field: repeated sysml.Value arguments = 6;
+     */
+    arguments: Value[];
+    /**
+     * @generated from field: map<string, sysml.Value> named_arguments = 7;
+     */
+    namedArguments: {
+        [key: string]: Value;
+    };
 };
 /**
  * Describes the message sysml.VerifyRequirementRequest.
@@ -943,6 +974,27 @@ export type RunAnalysisResponse = Message<"sysml.RunAnalysisResponse"> & {
  * Use `create(RunAnalysisResponseSchema)` to create a new message.
  */
 export declare const RunAnalysisResponseSchema: GenMessage<RunAnalysisResponse>;
+/**
+ * ProbabilityRange is the model-draw probability of an outcome, bounded by the
+ * least and greatest probabilities over schedulers resolving scheduling choices.
+ *
+ * @generated from message sysml.ProbabilityRange
+ */
+export type ProbabilityRange = Message<"sysml.ProbabilityRange"> & {
+    /**
+     * @generated from field: double min = 1;
+     */
+    min: number;
+    /**
+     * @generated from field: double max = 2;
+     */
+    max: number;
+};
+/**
+ * Describes the message sysml.ProbabilityRange.
+ * Use `create(ProbabilityRangeSchema)` to create a new message.
+ */
+export declare const ProbabilityRangeSchema: GenMessage<ProbabilityRange>;
 /**
  * Outcome is one distinct outcome an exploration reached: the observables a
  * conformance case compares, how many linearizations reached it, and the choice
@@ -1001,12 +1053,18 @@ export type Outcome = Message<"sysml.Outcome"> & {
      */
     diagnostics: Diagnostic[];
     /**
-     * The probability of the linearizations reaching this outcome, as explore
-     * computes it; a lower bound when the exploration is incomplete.
+     * The exact model-draw probability when probability_range is exact; zero otherwise.
      *
      * @generated from field: double probability = 8;
      */
     probability: number;
+    /**
+     * Present when the exploration made a weighted choice. Bounds probabilities
+     * over schedulers, not shares of the enumerated schedules.
+     *
+     * @generated from field: sysml.ProbabilityRange probability_range = 9;
+     */
+    probabilityRange?: ProbabilityRange | undefined;
 };
 /**
  * Describes the message sysml.Outcome.
@@ -1050,12 +1108,18 @@ export type ExplorationStatus = Message<"sysml.ExplorationStatus"> & {
      */
     depthBudget: number;
     /**
-     * True when the outcomes' probabilities are lower bounds: a budget kept some
+     * True when weighted probabilities are lower bounds: a budget kept some
      * linearizations unexplored.
      *
      * @generated from field: bool probabilities_lower_bound = 6;
      */
     probabilitiesLowerBound: boolean;
+    /**
+     * How many linearizations ended in runtime-error outcomes.
+     *
+     * @generated from field: int32 failed_linearizations = 7;
+     */
+    failedLinearizations: number;
 };
 /**
  * Describes the message sysml.ExplorationStatus.
@@ -1311,6 +1375,14 @@ export type ParseSourcesRequest = Message<"sysml.ParseSourcesRequest"> & {
      * @generated from field: bool strict_conformance = 2;
      */
     strictConformance: boolean;
+    /**
+     * The model_hash of a model of these documents the client holds results of,
+     * typically the one its previous ParseSources returned. The answer's affected
+     * is relative to it. Reported as the "parse_sources_affected" capability.
+     *
+     * @generated from field: string base_model_hash = 3;
+     */
+    baseModelHash: string;
 };
 /**
  * Describes the message sysml.ParseSourcesRequest.
@@ -1344,6 +1416,20 @@ export type ParseSourcesResponse = Message<"sysml.ParseSourcesResponse"> & {
      * @generated from field: string error = 4;
      */
     error: string;
+    /**
+     * The documents, by name and in the request's order, whose analysis, and so
+     * whose diagnostics and conversion, may differ from base_model_hash's model:
+     * those whose text changed, those whose analysis read something an edit
+     * changed, and those base_model_hash's model did not hold. Every other
+     * document's results are the base's, so a client may reuse them. Answered
+     * only when base_model_hash is given; every document when the service
+     * cannot relate it to this model (no longer cached, not of the same
+     * documents, or a model whose documents may declare an identity scope).
+     * Reported as the "parse_sources_affected" capability.
+     *
+     * @generated from field: repeated string affected = 5;
+     */
+    affected: string[];
 };
 /**
  * Describes the message sysml.ParseSourcesResponse.
@@ -1801,6 +1887,13 @@ export type ExecuteStateRequest = Message<"sysml.ExecuteStateRequest"> & {
      * @generated from field: string performer_symbol_id = 5;
      */
     performerSymbolId: string;
+    /**
+     * Ask for the run's trace in ExecuteStateResponse.trace. Advertised as the
+     * "state_trace" capability; a service withholding it refuses true with UNIMPLEMENTED.
+     *
+     * @generated from field: bool trace = 6;
+     */
+    trace: boolean;
 };
 /**
  * Describes the message sysml.ExecuteStateRequest.
@@ -1854,6 +1947,19 @@ export type ExecuteStateResponse = Message<"sysml.ExecuteStateResponse"> & {
      * @generated from field: double final_time = 7;
      */
     finalTime: number;
+    /**
+     * The run's trace in the order the run made it, when the request asked for it:
+     * also on a run that failed, up to the failure. Empty under an explore schedule.
+     *
+     * @generated from field: repeated sysml.DocumentEvent trace = 8;
+     */
+    trace: DocumentEvent[];
+    /**
+     * How many of the oldest records the service's held-events bound discarded.
+     *
+     * @generated from field: int32 trace_dropped = 9;
+     */
+    traceDropped: number;
 };
 /**
  * Describes the message sysml.ExecuteStateResponse.
@@ -1894,11 +2000,12 @@ export type ConvertRequest = Message<"sysml.ConvertRequest"> & {
         value?: undefined;
     };
     /**
-     * "sysml", "kerml", "text", "ttl", "turtle", "rdf", "api-json" or "json", or
-     * "xmi", "uml" or "mdzip" for a SysML v1 model, which is read and migrated to
-     * v2 and never written. Empty infers from file_path's extension, and is
-     * notation for a model_hash, since that is what parse reads; inline content
-     * has neither, so it must say.
+     * "sysml", "kerml", "text", "ttl", "turtle", "rdf", "api-json" or "json".
+     * Empty infers from file_path's extension, and is notation for a model_hash,
+     * since that is what parse reads; inline content has neither, so it must say.
+     * A SysML v1 model ("xmi", "uml" or "mdzip", named or inferred from the
+     * extension) is INVALID_ARGUMENT, pointing at Migrate: a v1 model is
+     * migrated, element by element and reported, not converted.
      *
      * @generated from field: string from_format = 3;
      */
@@ -1919,6 +2026,55 @@ export type ConvertRequest = Message<"sysml.ConvertRequest"> & {
      * @generated from field: bool tolerate_syntax_errors = 5;
      */
     tolerateSyntaxErrors: boolean;
+    /**
+     * How derived element ids are spelled when notation is written as a graph
+     * ("ttl" or "api-json"), as `sysml -id` does: "qualified" (the default, each
+     * derived from its qualified name) or "uuid" (name-based uuids under each root
+     * package, the library convention). Declared and normative ids are unchanged.
+     * Empty is "qualified"; any other value, or one given for another direction,
+     * is INVALID_ARGUMENT.
+     *
+     * @generated from field: string id_form = 7;
+     */
+    idForm: string;
+    /**
+     * For a model_hash, the documents whose elements are written, named as the
+     * parse named them; the model's other documents are read for the references
+     * into them, which keep the ids those elements are written under when their
+     * own documents are converted. Empty writes every document. A name the model
+     * does not hold, or documents for a file_path or content, is
+     * INVALID_ARGUMENT. Reported as the "convert_documents" capability.
+     *
+     * @generated from field: repeated string documents = 8;
+     */
+    documents: string[];
+    /**
+     * For api-json from notation: write the compact document
+     * (api-json-compact/1) in place of the standard element array. It is one
+     * object holding a table of element ids, written once, and the elements with
+     * every reference spelled as an index into it, without indentation; see
+     * docs/reference/wire-contract.md for the shape. Refused for any other
+     * target. Reported as the "convert_compact" capability.
+     *
+     * @generated from field: bool compact = 9;
+     */
+    compact: boolean;
+    /**
+     * With compact: leave out every derived property of the metamodel (the
+     * ones the owned properties already state), except those named in
+     * keep_derived. Refused without compact.
+     *
+     * @generated from field: bool omit_derived = 10;
+     */
+    omitDerived: boolean;
+    /**
+     * With omit_derived: the derived properties still written, named as in the
+     * element form ("owner", "qualifiedName"). A name that is not a derived
+     * property of the metamodel is INVALID_ARGUMENT. Refused without omit_derived.
+     *
+     * @generated from field: repeated string keep_derived = 11;
+     */
+    keepDerived: string[];
 };
 /**
  * Describes the message sysml.ConvertRequest.
@@ -1963,9 +2119,8 @@ export type ConvertResponse = Message<"sysml.ConvertResponse"> & {
      * Set when either format is RDF or the API's JSON element form, whose
      * mapping is experimental: it covers model structure and the behavior its
      * bodies state, refuses what it cannot write back, and its vocabulary may
-     * change without a compatibility path. Also set when the source is SysML v1,
-     * whose migration is experimental in the same sense. Notation to notation is
-     * stable and leaves this unset.
+     * change without a compatibility path. Notation to notation is stable and
+     * leaves this unset.
      *
      * @generated from field: bool experimental = 6;
      */
@@ -1983,6 +2138,310 @@ export type ConvertResponse = Message<"sysml.ConvertResponse"> & {
  * Use `create(ConvertResponseSchema)` to create a new message.
  */
 export declare const ConvertResponseSchema: GenMessage<ConvertResponse>;
+/**
+ * MigrateRequest asks for a SysML v1 model migrated to v2. The source is a
+ * file_path the service reads, or the document carried inline as content —
+ * bytes, since a .mdzip archive is binary. There is no model_hash form: parse
+ * reads v2 notation, and a v1 model is never parsed.
+ *
+ * @generated from message sysml.MigrateRequest
+ */
+export type MigrateRequest = Message<"sysml.MigrateRequest"> & {
+    /**
+     * @generated from oneof sysml.MigrateRequest.source
+     */
+    source: {
+        /**
+         * @generated from field: string file_path = 1;
+         */
+        value: string;
+        case: "filePath";
+    } | {
+        /**
+         * @generated from field: bytes content = 2;
+         */
+        value: Uint8Array;
+        case: "content";
+    } | {
+        case: undefined;
+        value?: undefined;
+    };
+    /**
+     * "xmi" (UML XMI 2.5.1 with the SysML profile applied), "uml" (an Eclipse
+     * UML2 file) or "mdzip" (a Cameo/MagicDraw archive). Empty infers from
+     * file_path's extension; inline content has none, so it must say. A v2
+     * format is INVALID_ARGUMENT, pointing at Convert.
+     *
+     * @generated from field: string from_format = 3;
+     */
+    fromFormat: string;
+    /**
+     * Format to write: "sysml", "kerml", "text", "ttl", "turtle", "rdf",
+     * "api-json" or "json", as Convert names them. The v1 names are refused,
+     * since a v2 model has no v1 form. Empty is rejected.
+     *
+     * @generated from field: string to_format = 4;
+     */
+    toFormat: string;
+    /**
+     * Carry every element's verdict in the response's report, as the command's
+     * -migration-report writes it. The report's summary and counts are carried
+     * whether or not this is set.
+     *
+     * @generated from field: bool report = 5;
+     */
+    report: boolean;
+    /**
+     * Carry the result snapshots the v1 tool stored with the model, indexed as
+     * the command's -migration-results writes them, so the migrated runs can be
+     * compared with the tool's (`sysml -compare-results`).
+     *
+     * @generated from field: bool results = 6;
+     */
+    results: boolean;
+    /**
+     * An MTIP export of the model's diagrams (Model_mtip.xml), laying the
+     * migrated views out as the v1 tool drew them: a path the service reads, or
+     * the document itself.
+     *
+     * @generated from oneof sysml.MigrateRequest.layout
+     */
+    layout: {
+        /**
+         * @generated from field: string layout_path = 7;
+         */
+        value: string;
+        case: "layoutPath";
+    } | {
+        /**
+         * @generated from field: string layout_content = 8;
+         */
+        value: string;
+        case: "layoutContent";
+    } | {
+        case: undefined;
+        value?: undefined;
+    };
+    /**
+     * Absolute http(s) URL that a server-relative image reference in a v1
+     * comment (<img src="/projects/…">) is resolved against.
+     *
+     * @generated from field: string image_base_url = 9;
+     */
+    imageBaseUrl: string;
+    /**
+     * Write only notation a pinned SysML v2 production admits: a construct whose
+     * only v2 form is an OpenSysML extension (a deferred event, a choice,
+     * junction or history pseudostate) is reported unmapped instead of written.
+     *
+     * @generated from field: bool strict = 10;
+     */
+    strict: boolean;
+};
+/**
+ * Describes the message sysml.MigrateRequest.
+ * Use `create(MigrateRequestSchema)` to create a new message.
+ */
+export declare const MigrateRequestSchema: GenMessage<MigrateRequest>;
+/**
+ * MigrateResponse carries the migrated model and the account of what the
+ * migration did with every v1 element.
+ *
+ * @generated from message sysml.MigrateResponse
+ */
+export type MigrateResponse = Message<"sysml.MigrateResponse"> & {
+    /**
+     * @generated from field: string content = 1;
+     */
+    content: string;
+    /**
+     * Formats used, canonical ("xmi" for every v1 form), so a caller that let
+     * from_format be inferred learns what it was inferred as.
+     *
+     * @generated from field: string from_format = 2;
+     */
+    fromFormat: string;
+    /**
+     * @generated from field: string to_format = 3;
+     */
+    toFormat: string;
+    /**
+     * non-empty if the migration failed; content is unset
+     *
+     * @generated from field: string error = 4;
+     */
+    error: string;
+    /**
+     * Always set: migration is experimental, in the sense Convert's
+     * experimental says, and experimental_notice says so in the wording every
+     * surface reports it in.
+     *
+     * @generated from field: bool experimental = 5;
+     */
+    experimental: boolean;
+    /**
+     * @generated from field: string experimental_notice = 6;
+     */
+    experimentalNotice: string;
+    /**
+     * What the migration did, element by element. Its entries are carried when
+     * the request set report; its summary and counts always.
+     *
+     * @generated from field: sysml.MigrationReport report = 7;
+     */
+    report?: MigrationReport | undefined;
+    /**
+     * The result snapshots the v1 tool stored, as the JSON `sysml
+     * -compare-results` reads, when the request set results and the model
+     * holds any.
+     *
+     * @generated from field: string results = 8;
+     */
+    results: string;
+    /**
+     * Image files the migrated model refers to by relative path (a picture a v1
+     * comment embeds), to be written beside it.
+     *
+     * @generated from field: repeated sysml.MigrationFile files = 9;
+     */
+    files: MigrationFile[];
+};
+/**
+ * Describes the message sysml.MigrateResponse.
+ * Use `create(MigrateResponseSchema)` to create a new message.
+ */
+export declare const MigrateResponseSchema: GenMessage<MigrateResponse>;
+/**
+ * MigrationReport accounts for every element of a SysML v1 model: mapped to a
+ * v2 counterpart that states the same thing, approximated by a v2 form that
+ * loses or restates part of what v1 said, left unmapped and recorded as a
+ * comment where it stood, or skipped as a profile, library or notation-only
+ * element nothing in the model refers to.
+ *
+ * @generated from message sysml.MigrationReport
+ */
+export type MigrationReport = Message<"sysml.MigrationReport"> & {
+    /**
+     * The v1 document migrated, and the tool that exported it when it said.
+     *
+     * @generated from field: string source = 1;
+     */
+    source: string;
+    /**
+     * @generated from field: string exporter = 2;
+     */
+    exporter: string;
+    /**
+     * The one-line account the command prints after migrating.
+     *
+     * @generated from field: string summary = 3;
+     */
+    summary: string;
+    /**
+     * @generated from field: int32 mapped = 4;
+     */
+    mapped: number;
+    /**
+     * @generated from field: int32 approximated = 5;
+     */
+    approximated: number;
+    /**
+     * @generated from field: int32 unmapped = 6;
+     */
+    unmapped: number;
+    /**
+     * @generated from field: int32 skipped = 7;
+     */
+    skipped: number;
+    /**
+     * Every element's verdict, when the request asked for the report; empty
+     * otherwise, the counts above standing in.
+     *
+     * @generated from field: repeated sysml.MigrationEntry entries = 8;
+     */
+    entries: MigrationEntry[];
+    /**
+     * The report as the command's -migration-report writes it to a text file,
+     * when the request asked for the report: the entries grouped by verdict,
+     * the elements that need attention first, with the layout account.
+     *
+     * @generated from field: string text = 9;
+     */
+    text: string;
+};
+/**
+ * Describes the message sysml.MigrationReport.
+ * Use `create(MigrationReportSchema)` to create a new message.
+ */
+export declare const MigrationReportSchema: GenMessage<MigrationReport>;
+/**
+ * MigrationEntry is the verdict on one SysML v1 element.
+ *
+ * @generated from message sysml.MigrationEntry
+ */
+export type MigrationEntry = Message<"sysml.MigrationEntry"> & {
+    /**
+     * The element's xmi:id, the handle a v1 tool addresses it by.
+     *
+     * @generated from field: string id = 1;
+     */
+    id: string;
+    /**
+     * The element as modeled: its stereotype when one classifies it («Block»,
+     * «Requirement»), else its UML metaclass; and its qualified name in v1.
+     *
+     * @generated from field: string kind = 2;
+     */
+    kind: string;
+    /**
+     * @generated from field: string name = 3;
+     */
+    name: string;
+    /**
+     * The v2 declaration written for it, a qualified name with its keyword, or
+     * empty when nothing was.
+     *
+     * @generated from field: string target = 4;
+     */
+    target: string;
+    /**
+     * "mapped", "approximated", "unmapped" or "skipped".
+     *
+     * @generated from field: string verdict = 5;
+     */
+    verdict: string;
+    /**
+     * Why it was approximated, left unmapped or skipped.
+     *
+     * @generated from field: string note = 6;
+     */
+    note: string;
+};
+/**
+ * Describes the message sysml.MigrationEntry.
+ * Use `create(MigrationEntrySchema)` to create a new message.
+ */
+export declare const MigrationEntrySchema: GenMessage<MigrationEntry>;
+/**
+ * MigrationFile is a file the migrated model refers to, named relative to it.
+ *
+ * @generated from message sysml.MigrationFile
+ */
+export type MigrationFile = Message<"sysml.MigrationFile"> & {
+    /**
+     * @generated from field: string path = 1;
+     */
+    path: string;
+    /**
+     * @generated from field: bytes content = 2;
+     */
+    content: Uint8Array;
+};
+/**
+ * Describes the message sysml.MigrationFile.
+ * Use `create(MigrationFileSchema)` to create a new message.
+ */
+export declare const MigrationFileSchema: GenMessage<MigrationFile>;
 /**
  * ApplyEditsRequest asks for a model's source with edits applied to it. The
  * source edited is the one parse read, named by its hash, so an edit is applied
@@ -3517,6 +3976,25 @@ export type Value = Message<"sysml.Value"> & {
          */
         value: Undetermined;
         case: "undetermined";
+    } | {
+        /**
+         * An Integer beyond int64, in decimal (`-` signed, no `+`, no leading
+         * zeros). An Integer that fits int64 is always int_value, never this.
+         *
+         * @generated from field: string big_int_value = 22;
+         */
+        value: string;
+        case: "bigIntValue";
+    } | {
+        /**
+         * An exact Rational (KerML 9.3.2.2.8), as `0.1` or `1 / 3` evaluates. The
+         * server answers one a double holds exactly as real_value; a client sends
+         * any exact Rational here, and an inbound real_value is always a Real.
+         *
+         * @generated from field: sysml.Rational rational_value = 23;
+         */
+        value: Rational;
+        case: "rationalValue";
     } | {
         case: undefined;
         value?: undefined;
@@ -3528,18 +4006,40 @@ export type Value = Message<"sysml.Value"> & {
  */
 export declare const ValueSchema: GenMessage<Value>;
 /**
- * Metaobject is an element of the model held as an instance of its reflective
- * metaclass: what `x meta KerML::Feature`, or the last element of
- * `x.metadata`, evaluates to (KerML 7.4.9.2, 8.3.4.8.15). It crosses as the
- * element it reflects, which is its identity: two metaobjects are the same
- * exactly when element_id is, whatever type each was cast to. Its features
- * (`declaredName`, `ownedFeature`, ...) are read in the model, not carried.
+ * Rational is an exact rational number in lowest terms: numerator over a
+ * positive denominator, each written as big_int_value is. The server rejects one
+ * not in lowest terms; a client also rejects an answered one a double holds exactly.
  *
- * @generated from message sysml.Metaobject
+ * @generated from message sysml.Rational
  */
-export type Metaobject = Message<"sysml.Metaobject"> & {
+export type Rational = Message<"sysml.Rational"> & {
     /**
-     * FQN of the element reflected on ("Vehicle::seatBelt"). Its identity.
+     * @generated from field: string numerator = 1;
+     */
+    numerator: string;
+    /**
+     * @generated from field: string denominator = 2;
+     */
+    denominator: string;
+};
+/**
+ * Describes the message sysml.Rational.
+ * Use `create(RationalSchema)` to create a new message.
+ */
+export declare const RationalSchema: GenMessage<Rational>;
+/**
+ * Metaobject is an element of the model held as an instance of its reflective
+ * metaclass: what `x meta KerML::Feature`, or the last element of
+ * `x.metadata`, evaluates to (KerML 7.4.9.2, 8.3.4.8.15). It crosses as the
+ * element it reflects, which is its identity: two metaobjects are the same
+ * exactly when element_id is, whatever type each was cast to. Its features
+ * (`declaredName`, `ownedFeature`, ...) are read in the model, not carried.
+ *
+ * @generated from message sysml.Metaobject
+ */
+export type Metaobject = Message<"sysml.Metaobject"> & {
+    /**
+     * FQN of the element reflected on ("Vehicle::seatBelt"). Its identity.
      *
      * @generated from field: string element_id = 1;
      */
@@ -3839,6 +4339,22 @@ export type Quantity = Message<"sysml.Quantity"> & {
          */
         value: number;
         case: "realMagnitude";
+    } | {
+        /**
+         * An Integer magnitude beyond int64, in decimal, as Value.big_int_value.
+         *
+         * @generated from field: string big_int_magnitude = 5;
+         */
+        value: string;
+        case: "bigIntMagnitude";
+    } | {
+        /**
+         * An exact Rational magnitude, as Value.rational_value.
+         *
+         * @generated from field: sysml.Rational rational_magnitude = 6;
+         */
+        value: Rational;
+        case: "rationalMagnitude";
     } | {
         case: undefined;
         value?: undefined;
@@ -4131,6 +4647,10 @@ export type ServerInfoResponse = Message<"sysml.ServerInfoResponse"> & {
      *                  and answers with typed rows.
      *   "render_document" - the RenderDocument RPC renders a named document to
      *                  Markdown.
+     *   "render_view" - the RenderView RPC renders a declared view or targeted
+     *                  pseudo-view as machine-readable diagram data.
+     *   "export_graphs" - the ExportGraphs RPC exports the lowered graph of an
+     *                  action or state machine as canonical graphs:1 JSON.
      *   "diagnostic_codes" - Diagnostic.code is populated, so an empty code is a
      *                  finding none was assigned; without it every code is empty.
      *   "schedule"     - ExecuteActionRequest, ExecuteStateRequest and
@@ -4150,6 +4670,9 @@ export type ServerInfoResponse = Message<"sysml.ServerInfoResponse"> & {
      *   "final_time"   - ExecuteActionResponse and ExecuteStateResponse report
      *                  final_time, the run's simulation clock when it ended;
      *                  without it the field is 0 whatever the run waited on.
+     *   "state_trace"  - ExecuteStateRequest can ask for the run's typed trace in
+     *                  ExecuteStateResponse.trace, including records before a failure.
+     *                  Traces are unavailable under an explore schedule.
      *   "engines"      - the ListEngines RPC lists the analysis engines; the
      *                  verification and sweep requests take an `engine`, the
      *                  engine the question is put to, unset meaning "auto"; and
@@ -4773,6 +5296,22 @@ export type DocumentValue = Message<"sysml.DocumentValue"> & {
          */
         value: DocumentEvent;
         case: "event";
+    } | {
+        /**
+         * An Integer beyond int64, in decimal, as Value.big_int_value.
+         *
+         * @generated from field: string big_int_value = 13;
+         */
+        value: string;
+        case: "bigIntValue";
+    } | {
+        /**
+         * An exact Rational, as Value.rational_value.
+         *
+         * @generated from field: sysml.Rational rational_value = 14;
+         */
+        value: Rational;
+        case: "rationalValue";
     } | {
         case: undefined;
         value?: undefined;
@@ -4963,7 +5502,7 @@ export declare const DocumentStateSchema: GenMessage<DocumentState>;
  */
 export type DocumentEvent = Message<"sysml.DocumentEvent"> & {
     /**
-     * "accept", "send", "transition", "entry", "exit", "do", "choice" or "guard".
+     * "accept", "send", "transition", "entry", "exit", "do", "choice", "guard" or "terminate".
      *
      * @generated from field: string kind = 1;
      */
@@ -5185,6 +5724,486 @@ export type RenderDocumentResponse = Message<"sysml.RenderDocumentResponse"> & {
  * Use `create(RenderDocumentResponseSchema)` to create a new message.
  */
 export declare const RenderDocumentResponseSchema: GenMessage<RenderDocumentResponse>;
+/**
+ * RenderViewRequest names a declared view or targeted pseudo-view to render.
+ *
+ * @generated from message sysml.RenderViewRequest
+ */
+export type RenderViewRequest = Message<"sysml.RenderViewRequest"> & {
+    /**
+     * @generated from field: string model_hash = 1;
+     */
+    modelHash: string;
+    /**
+     * A qualified view name or "#<kind>:<qualified name>" pseudo-view.
+     *
+     * @generated from field: string view = 2;
+     */
+    view: string;
+    /**
+     * "" or "minimal" (the default), or "full", as view.ParsePorts reads it.
+     *
+     * @generated from field: string ports = 3;
+     */
+    ports: string;
+};
+/**
+ * Describes the message sysml.RenderViewRequest.
+ * Use `create(RenderViewRequestSchema)` to create a new message.
+ */
+export declare const RenderViewRequestSchema: GenMessage<RenderViewRequest>;
+/**
+ * RenderViewResponse carries all machine-readable fields of the rendering.
+ *
+ * @generated from message sysml.RenderViewResponse
+ */
+export type RenderViewResponse = Message<"sysml.RenderViewResponse"> & {
+    /**
+     * @generated from field: string view = 1;
+     */
+    view: string;
+    /**
+     * @generated from field: string kind = 2;
+     */
+    kind: string;
+    /**
+     * @generated from field: string stated = 3;
+     */
+    stated: string;
+    /**
+     * Nodes are flattened with parents before children.
+     *
+     * @generated from field: repeated sysml.RenderNode nodes = 4;
+     */
+    nodes: RenderNode[];
+    /**
+     * @generated from field: repeated sysml.RenderEdge edges = 5;
+     */
+    edges: RenderEdge[];
+    /**
+     * @generated from field: repeated string columns = 6;
+     */
+    columns: string[];
+    /**
+     * @generated from field: repeated sysml.RenderRow rows = 7;
+     */
+    rows: RenderRow[];
+    /**
+     * Unset when the view states no canvas.
+     *
+     * @generated from field: sysml.RenderCanvas canvas = 8;
+     */
+    canvas?: RenderCanvas | undefined;
+    /**
+     * @generated from field: repeated sysml.RenderNote notes = 9;
+     */
+    notes: RenderNote[];
+    /**
+     * @generated from field: repeated string notices = 10;
+     */
+    notices: string[];
+};
+/**
+ * Describes the message sysml.RenderViewResponse.
+ * Use `create(RenderViewResponseSchema)` to create a new message.
+ */
+export declare const RenderViewResponseSchema: GenMessage<RenderViewResponse>;
+/**
+ * RenderNode is one flattened node of the rendering.
+ *
+ * @generated from message sysml.RenderNode
+ */
+export type RenderNode = Message<"sysml.RenderNode"> & {
+    /**
+     * @generated from field: string id = 1;
+     */
+    id: string;
+    /**
+     * @generated from field: string kind = 2;
+     */
+    kind: string;
+    /**
+     * @generated from field: string name = 3;
+     */
+    name: string;
+    /**
+     * @generated from field: bool name_synthesized = 4;
+     */
+    nameSynthesized: boolean;
+    /**
+     * @generated from field: string type = 5;
+     */
+    type: string;
+    /**
+     * @generated from field: string detail = 6;
+     */
+    detail: string;
+    /**
+     * @generated from field: string text = 7;
+     */
+    text: string;
+    /**
+     * @generated from field: bool stand_in = 8;
+     */
+    standIn: boolean;
+    /**
+     * @generated from field: string parent = 9;
+     */
+    parent: string;
+    /**
+     * @generated from field: repeated sysml.RenderPort ports = 10;
+     */
+    ports: RenderPort[];
+    /**
+     * @generated from field: sysml.Span origin = 11;
+     */
+    origin?: Span | undefined;
+    /**
+     * Unset when no layout positions the node.
+     *
+     * @generated from field: sysml.RenderGeometry geometry = 12;
+     */
+    geometry?: RenderGeometry | undefined;
+    /**
+     * @generated from field: sysml.RenderStyle style = 13;
+     */
+    style?: RenderStyle | undefined;
+};
+/**
+ * Describes the message sysml.RenderNode.
+ * Use `create(RenderNodeSchema)` to create a new message.
+ */
+export declare const RenderNodeSchema: GenMessage<RenderNode>;
+/**
+ * RenderPort is a feature drawn on a node's border.
+ *
+ * @generated from message sysml.RenderPort
+ */
+export type RenderPort = Message<"sysml.RenderPort"> & {
+    /**
+     * @generated from field: string id = 1;
+     */
+    id: string;
+    /**
+     * @generated from field: string name = 2;
+     */
+    name: string;
+    /**
+     * @generated from field: string type = 3;
+     */
+    type: string;
+    /**
+     * @generated from field: string direction = 4;
+     */
+    direction: string;
+};
+/**
+ * Describes the message sysml.RenderPort.
+ * Use `create(RenderPortSchema)` to create a new message.
+ */
+export declare const RenderPortSchema: GenMessage<RenderPort>;
+/**
+ * RenderEdge joins two rendered nodes and may connect their ports.
+ *
+ * @generated from message sysml.RenderEdge
+ */
+export type RenderEdge = Message<"sysml.RenderEdge"> & {
+    /**
+     * @generated from field: string from = 1;
+     */
+    from: string;
+    /**
+     * @generated from field: string to = 2;
+     */
+    to: string;
+    /**
+     * @generated from field: string from_port = 3;
+     */
+    fromPort: string;
+    /**
+     * @generated from field: string to_port = 4;
+     */
+    toPort: string;
+    /**
+     * @generated from field: string label = 5;
+     */
+    label: string;
+    /**
+     * @generated from field: string name = 6;
+     */
+    name: string;
+    /**
+     * @generated from field: string kind = 7;
+     */
+    kind: string;
+    /**
+     * @generated from field: sysml.Span origin = 8;
+     */
+    origin?: Span | undefined;
+    /**
+     * @generated from field: repeated sysml.RenderPoint route = 9;
+     */
+    route: RenderPoint[];
+    /**
+     * @generated from field: sysml.RenderStyle style = 10;
+     */
+    style?: RenderStyle | undefined;
+};
+/**
+ * Describes the message sysml.RenderEdge.
+ * Use `create(RenderEdgeSchema)` to create a new message.
+ */
+export declare const RenderEdgeSchema: GenMessage<RenderEdge>;
+/**
+ * RenderGeometry locates a node on the rendering's canvas.
+ *
+ * @generated from message sysml.RenderGeometry
+ */
+export type RenderGeometry = Message<"sysml.RenderGeometry"> & {
+    /**
+     * @generated from field: double x = 1;
+     */
+    x: number;
+    /**
+     * @generated from field: double y = 2;
+     */
+    y: number;
+    /**
+     * @generated from field: double width = 3;
+     */
+    width: number;
+    /**
+     * @generated from field: double height = 4;
+     */
+    height: number;
+    /**
+     * @generated from field: bool has_size = 5;
+     */
+    hasSize: boolean;
+    /**
+     * @generated from field: bool collapsed = 6;
+     */
+    collapsed: boolean;
+};
+/**
+ * Describes the message sysml.RenderGeometry.
+ * Use `create(RenderGeometrySchema)` to create a new message.
+ */
+export declare const RenderGeometrySchema: GenMessage<RenderGeometry>;
+/**
+ * RenderCanvas is the rendering's drawing surface.
+ *
+ * @generated from message sysml.RenderCanvas
+ */
+export type RenderCanvas = Message<"sysml.RenderCanvas"> & {
+    /**
+     * @generated from field: string unit = 1;
+     */
+    unit: string;
+    /**
+     * @generated from field: double width = 2;
+     */
+    width: number;
+    /**
+     * @generated from field: double height = 3;
+     */
+    height: number;
+    /**
+     * @generated from field: bool has_size = 4;
+     */
+    hasSize: boolean;
+};
+/**
+ * Describes the message sysml.RenderCanvas.
+ * Use `create(RenderCanvasSchema)` to create a new message.
+ */
+export declare const RenderCanvasSchema: GenMessage<RenderCanvas>;
+/**
+ * RenderStyle is the optional styling of a node or edge.
+ *
+ * @generated from message sysml.RenderStyle
+ */
+export type RenderStyle = Message<"sysml.RenderStyle"> & {
+    /**
+     * @generated from field: string fill = 1;
+     */
+    fill: string;
+    /**
+     * @generated from field: string line = 2;
+     */
+    line: string;
+    /**
+     * @generated from field: string text = 3;
+     */
+    text: string;
+    /**
+     * @generated from field: string font = 4;
+     */
+    font: string;
+    /**
+     * @generated from field: double font_size = 5;
+     */
+    fontSize: number;
+    /**
+     * @generated from field: bool bold = 6;
+     */
+    bold: boolean;
+    /**
+     * @generated from field: bool italic = 7;
+     */
+    italic: boolean;
+};
+/**
+ * Describes the message sysml.RenderStyle.
+ * Use `create(RenderStyleSchema)` to create a new message.
+ */
+export declare const RenderStyleSchema: GenMessage<RenderStyle>;
+/**
+ * RenderPoint is a route waypoint on the rendering's canvas.
+ *
+ * @generated from message sysml.RenderPoint
+ */
+export type RenderPoint = Message<"sysml.RenderPoint"> & {
+    /**
+     * @generated from field: double x = 1;
+     */
+    x: number;
+    /**
+     * @generated from field: double y = 2;
+     */
+    y: number;
+};
+/**
+ * Describes the message sysml.RenderPoint.
+ * Use `create(RenderPointSchema)` to create a new message.
+ */
+export declare const RenderPointSchema: GenMessage<RenderPoint>;
+/**
+ * RenderRow is one row of a tabular rendering.
+ *
+ * @generated from message sysml.RenderRow
+ */
+export type RenderRow = Message<"sysml.RenderRow"> & {
+    /**
+     * @generated from field: repeated string cells = 1;
+     */
+    cells: string[];
+    /**
+     * @generated from field: sysml.Span origin = 2;
+     */
+    origin?: Span | undefined;
+};
+/**
+ * Describes the message sysml.RenderRow.
+ * Use `create(RenderRowSchema)` to create a new message.
+ */
+export declare const RenderRowSchema: GenMessage<RenderRow>;
+/**
+ * RenderNote is a note box drawn on the rendering's canvas.
+ *
+ * @generated from message sysml.RenderNote
+ */
+export type RenderNote = Message<"sysml.RenderNote"> & {
+    /**
+     * @generated from field: string text = 1;
+     */
+    text: string;
+    /**
+     * @generated from field: string anchor = 2;
+     */
+    anchor: string;
+    /**
+     * @generated from field: string edge_from = 3;
+     */
+    edgeFrom: string;
+    /**
+     * @generated from field: string edge_to = 4;
+     */
+    edgeTo: string;
+    /**
+     * @generated from field: double x = 5;
+     */
+    x: number;
+    /**
+     * @generated from field: double y = 6;
+     */
+    y: number;
+    /**
+     * @generated from field: double width = 7;
+     */
+    width: number;
+    /**
+     * @generated from field: double height = 8;
+     */
+    height: number;
+    /**
+     * @generated from field: bool has_size = 9;
+     */
+    hasSize: boolean;
+    /**
+     * @generated from field: sysml.Span origin = 10;
+     */
+    origin?: Span | undefined;
+};
+/**
+ * Describes the message sysml.RenderNote.
+ * Use `create(RenderNoteSchema)` to create a new message.
+ */
+export declare const RenderNoteSchema: GenMessage<RenderNote>;
+/**
+ * ExportGraphsRequest names the behavior whose lowered graph is exported.
+ *
+ * @generated from message sysml.ExportGraphsRequest
+ */
+export type ExportGraphsRequest = Message<"sysml.ExportGraphsRequest"> & {
+    /**
+     * @generated from field: string model_hash = 1;
+     */
+    modelHash: string;
+    /**
+     * Qualified name of an action or state machine, definition or usage.
+     *
+     * @generated from field: string subject = 2;
+     */
+    subject: string;
+};
+/**
+ * Describes the message sysml.ExportGraphsRequest.
+ * Use `create(ExportGraphsRequestSchema)` to create a new message.
+ */
+export declare const ExportGraphsRequestSchema: GenMessage<ExportGraphsRequest>;
+/**
+ * ExportGraphsResponse carries the `graphs:<version>` form: the lowered
+ * ActionGraph/StateGraph IR of the subject and of every behavior it performs,
+ * as canonical JSON — the same bytes an external engine is sent.
+ *
+ * @generated from message sysml.ExportGraphsResponse
+ */
+export type ExportGraphsResponse = Message<"sysml.ExportGraphsResponse"> & {
+    /**
+     * The form, as canonical JSON with one trailing newline.
+     *
+     * @generated from field: string content = 1;
+     */
+    content: string;
+    /**
+     * The version of the form, the `version` field of the JSON.
+     *
+     * @generated from field: int32 version = 2;
+     */
+    version: number;
+    /**
+     * The subject's qualified name as resolved.
+     *
+     * @generated from field: string subject = 3;
+     */
+    subject: string;
+};
+/**
+ * Describes the message sysml.ExportGraphsResponse.
+ * Use `create(ExportGraphsResponseSchema)` to create a new message.
+ */
+export declare const ExportGraphsResponseSchema: GenMessage<ExportGraphsResponse>;
 /**
  * FailureReason says what kind of failure an `error` reports, so a client acts
  * on the kind rather than on the message text.
@@ -5516,7 +6535,8 @@ export declare const SysMLService: GenService<{
     /**
      * Convert a model between the representations OpenSysML writes — SysML
      * textual notation and RDF Turtle — so a client can write a model back out
-     * rather than only read it. Reported as the "convert" capability.
+     * rather than only read it. A SysML v1 model is refused: it is migrated, not
+     * converted (Migrate). Reported as the "convert" capability.
      *
      * @generated from rpc sysml.SysMLService.Convert
      */
@@ -5525,6 +6545,21 @@ export declare const SysMLService: GenService<{
         input: typeof ConvertRequestSchema;
         output: typeof ConvertResponseSchema;
     };
+    /**
+     * Migrate a SysML v1 model — UML XMI with the SysML profile applied, an
+     * Eclipse UML2 .uml file or a Cameo/MagicDraw .mdzip archive — to SysML v2,
+     * written in one of the representations Convert writes. Migration is not a
+     * lossless conversion: every v1 element is mapped, approximated or left
+     * unmapped, and the response's report says which, element by element.
+     * Reported as the "migrate" capability.
+     *
+     * @generated from rpc sysml.SysMLService.Migrate
+     */
+    migrate: {
+        methodKind: "unary";
+        input: typeof MigrateRequestSchema;
+        output: typeof MigrateResponseSchema;
+    };
     /**
      * Apply edits to a parsed model's own source and return the edited notation,
      * so a client can change a model and write it back with its comments and
@@ -5665,4 +6700,27 @@ export declare const SysMLService: GenService<{
         input: typeof RenderDocumentRequestSchema;
         output: typeof RenderDocumentResponseSchema;
     };
+    /**
+     * Render a named view or targeted pseudo-view as machine-readable diagram
+     * data. Reported as the "render_view" capability.
+     *
+     * @generated from rpc sysml.SysMLService.RenderView
+     */
+    renderView: {
+        methodKind: "unary";
+        input: typeof RenderViewRequestSchema;
+        output: typeof RenderViewResponseSchema;
+    };
+    /**
+     * Export the lowered graph of an action or a state machine — the subject's
+     * and every behavior it performs — as the canonical `graphs:<version>` JSON
+     * external analysis engines read. Reported as the "export_graphs" capability.
+     *
+     * @generated from rpc sysml.SysMLService.ExportGraphs
+     */
+    exportGraphs: {
+        methodKind: "unary";
+        input: typeof ExportGraphsRequestSchema;
+        output: typeof ExportGraphsResponseSchema;
+    };
 }>;