@openmbee/opensysml 0.11.0 → 0.11.1-nightly.20261029.ge6cbbbaa8

package/README.md

@@ -145,7 +145,11 @@ const connection = await connect({ address: "localhost:50051" });
 await connection.close();     // that service keeps running
 ```
 
-or set `$OPENSYSML_SERVICE=host:port`. A connection made this way never owns the
+or set `$OPENSYSML_SERVICE=host:port`. A service that other machines reach
+requires a bearer token: pass `token` (or set `$OPENSYSML_GRPC_TOKEN`) and every
+call carries `Authorization: Bearer`; a wrong or missing one is a `ServiceError`
+with code `UNAUTHENTICATED`. A private child needs no token and is started
+without `$OPENSYSML_GRPC_TOKEN` in its environment. A connection made this way never owns the
 service: closing it disconnects and nothing else. There is no adoption of a
 service left listening by another process, no pidfile and no port probing.
 
@@ -563,8 +567,8 @@ const markdown = await model.renderDocument("Observatory::Overview");
 wire `query`), never both a structured form and `oslc`. A binding value is an
 `ElementRef`, an `ObjectRef`, a primitive or a quantity; `runDocumentQuery`
 answers the typed `DocumentQueryResult` — `rows` of `DocumentValue`s, the schema
-the query declared — and `renderDocument` answers Markdown, or HTML with
-`{ form: "html" }`.
+the query declared — and `renderDocument` answers Markdown, HTML with
+`{ form: "html" }`, or AsciiDoc with `{ form: "asciidoc" }`.
 
 ## Execution and exploration
 

package/dist/core/capabilities.d.ts

@@ -48,14 +48,20 @@ export declare const CAPABILITY_VERIFICATION = "verification";
 export declare const CAPABILITY_VERIFICATION_QUESTIONS = "verification_questions";
 /** `arguments` and `named_arguments` on VerifyConstraint and VerifyRequirement. */
 export declare const CAPABILITY_VERIFICATION_ARGUMENTS = "verification_arguments";
+/** `notes` on every Verdict; a service without it answers with none. */
+export declare const CAPABILITY_VERDICT_NOTES = "verdict_notes";
 /** The `Query` RPC. */
 export declare const CAPABILITY_QUERY = "query";
+/** `orderBy` on `Query`; a service without it would ignore the field. */
+export declare const CAPABILITY_QUERY_ORDER_BY = "query_order_by";
 /** The `RunDocumentQuery` RPC. */
 export declare const CAPABILITY_DOCUMENT_QUERY = "document_query";
 /** The `RenderDocument` RPC. */
 export declare const CAPABILITY_RENDER_DOCUMENT = "render_document";
 /** `form` on `RenderDocumentRequest` asking for HTML rather than Markdown. */
 export declare const CAPABILITY_RENDER_DOCUMENT_HTML = "render_document_html";
+/** `form` on `RenderDocumentRequest` asking for AsciiDoc, answered in `asciidoc`. */
+export declare const CAPABILITY_RENDER_DOCUMENT_ASCIIDOC = "render_document_asciidoc";
 /** The `RenderView` RPC, returning typed diagram data. */
 export declare const CAPABILITY_RENDER_VIEW = "render_view";
 /** The `ExportGraphs` RPC, exporting a behavior's lowered graph as `graphs:1` JSON. */
@@ -128,6 +134,10 @@ export declare const CAPABILITY_RATIONAL_VALUES = "rational_values";
 export declare const CAPABILITY_CONVERT_DOCUMENTS = "convert_documents";
 /** `ConvertRequest.compact`, `omitDerived` and `keepDerived`: api-json written as the compact document (an id table and handles), optionally without derived properties. */
 export declare const CAPABILITY_CONVERT_COMPACT = "convert_compact";
+/** The standard-library name table outside API JSON's element array. */
+export declare const CAPABILITY_CONVERT_LIBRARY_REFERENCES = "convert_library_references";
+/** Opt-in ownerless library stubs for legacy API JSON readers. */
+export declare const CAPABILITY_CONVERT_LIBRARY_STUBS = "convert_library_stubs";
 /** `ConvertRequest.includeCheckDiagnostics`: the semantic check's diagnostics, each with its own severity, reported alongside the converted output. */
 export declare const CAPABILITY_CONVERT_CHECK_DIAGNOSTICS = "convert_check_diagnostics";
 /** `ParseSourcesRequest.baseModelHash` and `ParseSourcesResponse.affected`: the documents whose results may differ from the base model's, so a client re-reads only those after an edit. */

package/dist/core/capabilities.js

@@ -52,14 +52,20 @@ export const CAPABILITY_VERIFICATION = "verification";
 export const CAPABILITY_VERIFICATION_QUESTIONS = "verification_questions";
 /** `arguments` and `named_arguments` on VerifyConstraint and VerifyRequirement. */
 export const CAPABILITY_VERIFICATION_ARGUMENTS = "verification_arguments";
+/** `notes` on every Verdict; a service without it answers with none. */
+export const CAPABILITY_VERDICT_NOTES = "verdict_notes";
 /** The `Query` RPC. */
 export const CAPABILITY_QUERY = "query";
+/** `orderBy` on `Query`; a service without it would ignore the field. */
+export const CAPABILITY_QUERY_ORDER_BY = "query_order_by";
 /** The `RunDocumentQuery` RPC. */
 export const CAPABILITY_DOCUMENT_QUERY = "document_query";
 /** The `RenderDocument` RPC. */
 export const CAPABILITY_RENDER_DOCUMENT = "render_document";
 /** `form` on `RenderDocumentRequest` asking for HTML rather than Markdown. */
 export const CAPABILITY_RENDER_DOCUMENT_HTML = "render_document_html";
+/** `form` on `RenderDocumentRequest` asking for AsciiDoc, answered in `asciidoc`. */
+export const CAPABILITY_RENDER_DOCUMENT_ASCIIDOC = "render_document_asciidoc";
 /** The `RenderView` RPC, returning typed diagram data. */
 export const CAPABILITY_RENDER_VIEW = "render_view";
 /** The `ExportGraphs` RPC, exporting a behavior's lowered graph as `graphs:1` JSON. */
@@ -132,6 +138,10 @@ export const CAPABILITY_RATIONAL_VALUES = "rational_values";
 export const CAPABILITY_CONVERT_DOCUMENTS = "convert_documents";
 /** `ConvertRequest.compact`, `omitDerived` and `keepDerived`: api-json written as the compact document (an id table and handles), optionally without derived properties. */
 export const CAPABILITY_CONVERT_COMPACT = "convert_compact";
+/** The standard-library name table outside API JSON's element array. */
+export const CAPABILITY_CONVERT_LIBRARY_REFERENCES = "convert_library_references";
+/** Opt-in ownerless library stubs for legacy API JSON readers. */
+export const CAPABILITY_CONVERT_LIBRARY_STUBS = "convert_library_stubs";
 /** `ConvertRequest.includeCheckDiagnostics`: the semantic check's diagnostics, each with its own severity, reported alongside the converted output. */
 export const CAPABILITY_CONVERT_CHECK_DIAGNOSTICS = "convert_check_diagnostics";
 /** `ParseSourcesRequest.baseModelHash` and `ParseSourcesResponse.affected`: the documents whose results may differ from the base model's, so a client re-reads only those after an edit. */

package/dist/core/connection.d.ts

@@ -6,7 +6,7 @@ import { Model } from "./model.js";
 import type { ParseOptions } from "./model.js";
 import { type Source } from "./sources.js";
 import { Conversion, Migration } from "./conversion.js";
-import type { MigrateOptions } from "./conversion.js";
+import type { ConvertOptions, MigrateOptions } from "./conversion.js";
 import { type QueryElement, type QueryForm, type QueryPayload } from "./query.js";
 import { DocumentEvent, type BindingValues, type DocumentQueryResult } from "./document.js";
 import { type RenderedView } from "./render-view.js";
@@ -34,6 +34,8 @@ export interface TransportOptions {
     timeoutMs?: number;
     /** Extra headers sent with every call. */
     headers?: Record<string, string>;
+    /** Bearer token every call carries, for a service that requires one. */
+    token?: string;
     /** Called with each response, for logging, metrics or a conformance runner. */
     onResponse?: ResponseTap;
 }
@@ -128,10 +130,7 @@ export declare class Connection {
         content: string;
     } | {
         modelHash: string;
-    }, options?: {
-        fromFormat?: string;
-        tolerateSyntaxErrors?: boolean;
-    }): Promise<Conversion>;
+    }, options?: ConvertOptions): Promise<Conversion>;
     /**
      * Migrates a SysML v1 model — a Cameo/MagicDraw `.mdzip`, a UML XMI `.xmi` or
      * an Eclipse UML2 `.uml` export — to one of the formats OpenSysML writes. A

package/dist/core/connection.js

@@ -2,7 +2,7 @@
 // tells the client what that service can do.
 import { Code, ConnectError, createClient, } from "@connectrpc/connect";
 import { create } from "@bufbuild/protobuf";
-import { CAPABILITY_APPLY_EDITS, CAPABILITY_BIG_INT_VALUES, CAPABILITY_RATIONAL_VALUES, CAPABILITY_CONVERT, CAPABILITY_DOCUMENT_QUERY, CAPABILITY_ENGINES, CAPABILITY_FEATURE_VALUES, CAPABILITY_INLINE_LANGUAGE, CAPABILITY_MIGRATE, CAPABILITY_PARSE_SOURCES, CAPABILITY_PERFORMER, CAPABILITY_STATE_TRACE, CAPABILITY_QUERY, CAPABILITY_RENDER_DOCUMENT, CAPABILITY_RENDER_DOCUMENT_HTML, CAPABILITY_RENDER_VIEW, CAPABILITY_CHECK, CAPABILITY_EXPORT_GRAPHS, CAPABILITY_IMPORT_DATA, CAPABILITY_COMPARE_RESULTS, CAPABILITY_SCHEDULE, CAPABILITY_SCHEDULE_EXPLORE, CAPABILITY_STRICT_CONFORMANCE, CAPABILITY_RUNS, CAPABILITY_SELF_CHECK, CAPABILITY_RECORD_RUN, CAPABILITY_VERIFICATION, CAPABILITY_VERIFICATION_QUESTIONS, CAPABILITY_VERIFICATION_ARGUMENTS, capabilityRefusal, mismatchReason, requireCapability, upgradeRemedy, ServerInfo, } from "./capabilities.js";
+import { CAPABILITY_APPLY_EDITS, CAPABILITY_BIG_INT_VALUES, CAPABILITY_RATIONAL_VALUES, CAPABILITY_CONVERT, CAPABILITY_CONVERT_LIBRARY_STUBS, CAPABILITY_DOCUMENT_QUERY, CAPABILITY_ENGINES, CAPABILITY_FEATURE_VALUES, CAPABILITY_INLINE_LANGUAGE, CAPABILITY_MIGRATE, CAPABILITY_PARSE_SOURCES, CAPABILITY_PERFORMER, CAPABILITY_STATE_TRACE, CAPABILITY_QUERY, CAPABILITY_QUERY_ORDER_BY, CAPABILITY_RENDER_DOCUMENT, CAPABILITY_RENDER_DOCUMENT_HTML, CAPABILITY_RENDER_DOCUMENT_ASCIIDOC, CAPABILITY_RENDER_VIEW, CAPABILITY_CHECK, CAPABILITY_EXPORT_GRAPHS, CAPABILITY_IMPORT_DATA, CAPABILITY_COMPARE_RESULTS, CAPABILITY_SCHEDULE, CAPABILITY_SCHEDULE_EXPLORE, CAPABILITY_STRICT_CONFORMANCE, CAPABILITY_RUNS, CAPABILITY_SELF_CHECK, CAPABILITY_RECORD_RUN, CAPABILITY_VERIFICATION, CAPABILITY_VERIFICATION_QUESTIONS, CAPABILITY_VERIFICATION_ARGUMENTS, capabilityRefusal, mismatchReason, requireCapability, upgradeRemedy, ServerInfo, } from "./capabilities.js";
 import { ClosedConnectionError, ConversionError, ExecutionError, InvalidRequestError, MigrationError, ParseError, StaleServiceError, UnsupportedValueError, } from "./errors.js";
 import { ApplyEditsRequestSchema, ExecuteActionRequestSchema, ExecuteStateRequestSchema, ConvertRequestSchema, ListEnginesRequestSchema, MigrateRequestSchema, ParseSourcesRequestSchema, QueryRequestSchema, RenderDocumentRequestSchema, RenderViewRequestSchema, CheckBehaviorRequestSchema, ExportGraphsRequestSchema, ImportDataRequestSchema, CompareResultsRequestSchema, RunAnalysisRequestSchema, RunDocumentQueryRequestSchema, RunSweepRequestSchema, RunRunsRequestSchema, SelfCheckRequestSchema, RecordRunRequestSchema, SweepRangeSchema, ValidateInstanceRequestSchema, EvaluateCalcRequestSchema, VerifyConstraintRequestSchema, VerifyRequirementRequestSchema, VerifySatisfactionRequestSchema, FailureReason, SysMLService, } from "../generated/sysml_pb.js";
 import { callRpc, fromHandshakeError, fromRpcError } from "./status.js";
@@ -147,10 +147,14 @@ export class Connection {
             });
         }
         requireCapability(this.info, CAPABILITY_CONVERT, upgradeRemedy(CAPABILITY_CONVERT));
+        if (options.includeLibraryStubs) {
+            requireCapability(this.info, CAPABILITY_CONVERT_LIBRARY_STUBS, upgradeRemedy(CAPABILITY_CONVERT_LIBRARY_STUBS));
+        }
         const request = create(ConvertRequestSchema, {
             toFormat,
             fromFormat: options.fromFormat ?? "",
             tolerateSyntaxErrors: options.tolerateSyntaxErrors === true,
+            includeLibraryStubs: options.includeLibraryStubs === true,
         });
         if ("path" in source) {
             request.source = { case: "filePath", value: source.path };
@@ -180,6 +184,7 @@ export class Connection {
             throw new ConversionError(response.error, diagnostics);
         }
         return new Conversion({
+            libraryReferences: response.libraryReferences,
             content: response.content,
             fromFormat: response.fromFormat,
             toFormat: response.toFormat,
@@ -261,12 +266,18 @@ export class Connection {
     }
     /** Runs a SysML v2 API & Services Query over a loaded model. */
     async query(modelHash, options = {}) {
-        requireCapability(this.info, CAPABILITY_QUERY, upgradeRemedy(CAPABILITY_QUERY));
+        const query = queryField(options);
+        const needed = query.query !== undefined && query.query.orderBy.length > 0
+            ? [CAPABILITY_QUERY, CAPABILITY_QUERY_ORDER_BY]
+            : [CAPABILITY_QUERY];
+        for (const capability of needed) {
+            requireCapability(this.info, capability, upgradeRemedy(capability));
+        }
         const response = await callRpc(this.rpc.query(create(QueryRequestSchema, {
             modelHash,
             oslcQuery: options.oslc ?? "",
-            ...queryField(options),
-        }), this.callOptions()), "model", capabilityRefusal(this.info, [CAPABILITY_QUERY]));
+            ...query,
+        }), this.callOptions()), "model", capabilityRefusal(this.info, needed));
         return elementsOf(response);
     }
     /** Runs a named document query and answers its typed rows. */
@@ -314,13 +325,16 @@ export class Connection {
     /** Renders a named document to Markdown or HTML. */
     async renderDocument(modelHash, documentId, options = {}) {
         const form = options.form ?? "markdown";
-        if (form !== "markdown" && form !== "html") {
-            throw new RangeError("form must be 'markdown' or 'html'");
+        if (form !== "markdown" && form !== "html" && form !== "asciidoc") {
+            throw new RangeError("form must be 'markdown', 'html' or 'asciidoc'");
         }
         const capabilities = [CAPABILITY_RENDER_DOCUMENT];
         if (form === "html") {
             capabilities.push(CAPABILITY_RENDER_DOCUMENT_HTML);
         }
+        else if (form === "asciidoc") {
+            capabilities.push(CAPABILITY_RENDER_DOCUMENT_ASCIIDOC);
+        }
         for (const capability of capabilities) {
             requireCapability(this.info, capability, upgradeRemedy(capability));
         }
@@ -329,7 +343,10 @@ export class Connection {
             documentId,
             form: form === "markdown" ? "" : form,
         }), this.callOptions()), "model", capabilityRefusal(this.info, capabilities));
-        return form === "html" ? response.html : response.markdown;
+        if (form === "html") {
+            return response.html;
+        }
+        return form === "asciidoc" ? response.asciidoc : response.markdown;
     }
     /**
      * Renders a named view or targeted pseudo-view as diagram data. `show` names

package/dist/core/conversion.d.ts

@@ -20,6 +20,19 @@ export declare const MIGRATION_NOTICE: string;
 export declare function isExperimental(fromFormat: string, toFormat: string): boolean;
 /** The format to write `path` as, from its extension. */
 export declare function formatOfPath(path: string): string;
+/** Options for writing a model through Convert. */
+export interface ConvertOptions {
+    fromFormat?: string;
+    tolerateSyntaxErrors?: boolean;
+    /** Restore pre-0.11.0 ownerless library stubs in API JSON. Default off. */
+    includeLibraryStubs?: boolean;
+}
+/** A referenced standard-library element, not a model root. */
+export interface LibraryReference {
+    readonly id: string;
+    readonly qualifiedName: string;
+    readonly type: string;
+}
 /** A model written out in one of the formats OpenSysML writes. */
 export declare class Conversion {
     /** The converted model. */
@@ -34,6 +47,8 @@ export declare class Conversion {
     readonly experimental: boolean;
     /** What is experimental about it, in the service's own wording; empty when stable. */
     readonly experimentalNotice: string;
+    /** Names referenced by API JSON output, outside its element array. */
+    readonly libraryReferences: readonly LibraryReference[];
     constructor(init: {
         content: string;
         fromFormat: string;
@@ -41,6 +56,7 @@ export declare class Conversion {
         diagnostics: readonly ModelDiagnostic[];
         experimental: boolean;
         experimentalNotice: string;
+        libraryReferences?: readonly LibraryReference[];
     });
     toString(): string;
     get length(): number;

package/dist/core/conversion.js

@@ -73,6 +73,8 @@ export class Conversion {
     experimental;
     /** What is experimental about it, in the service's own wording; empty when stable. */
     experimentalNotice;
+    /** Names referenced by API JSON output, outside its element array. */
+    libraryReferences;
     constructor(init) {
         this.content = init.content;
         this.fromFormat = init.fromFormat;
@@ -80,6 +82,7 @@ export class Conversion {
         this.diagnostics = init.diagnostics;
         this.experimental = init.experimental;
         this.experimentalNotice = init.experimentalNotice;
+        this.libraryReferences = init.libraryReferences ?? [];
     }
     toString() {
         return this.content;

package/dist/core/index.d.ts

@@ -6,7 +6,7 @@ export type { AttributeFacts, EvalOptions, FeatureValue, Multiplicity, ParseOpti
 export { LANGUAGES, SourceDocument, sourceDocuments } from "./sources.js";
 export type { Source } from "./sources.js";
 export { Conversion, EXPERIMENTAL_NOTICE, FORMAT_API_JSON, FORMAT_SYSML, FORMAT_TURTLE, MIGRATED_NOT_CONVERTED, MIGRATION_NOTICE, Migration, MigrationReport, formatOfPath, isExperimental, isV1, migrationReportOf, pathIsV1, } from "./conversion.js";
-export type { MigrateOptions, MigrationEntry } from "./conversion.js";
+export type { ConvertOptions, LibraryReference, MigrateOptions, MigrationEntry } from "./conversion.js";
 export { QueryElement, TYPE_COMPOSITE_CONSTRAINT, TYPE_PRIMITIVE_CONSTRAINT, TYPE_QUERY, buildQuery, } from "./query.js";
 export type { ConstraintPayload, QueryForm, QueryPayload, ScopeEntry } from "./query.js";
 export { DocumentQueryResult, DocumentRow, DocumentEvent, documentEventOf, DocumentState, DocumentVerdict, ElementRef, ObjectRef, buildBindings, } from "./document.js";
@@ -24,7 +24,7 @@ export type { EditOperationData, EditTarget } from "./edit.js";
 export type { ToolDryRun } from "./verdict.js";
 export { AnalysisResult, toolDryRunOf, CalcResult, CaseEvaluation, KIND_ASSERTION, KIND_CONSTRAINT, KIND_OBJECT, KIND_OBJECTIVE, KIND_REQUIREMENT, KIND_SATISFY, QUESTION_EVALUATE, QUESTION_HOLDS, QUESTION_SATISFIABLE, STATUS_HOLDS, STATUS_SATISFIABLE, STATUS_UNDECIDED, STATUS_UNSATISFIABLE, STATUS_VIOLATED, SweepRow, SweepTable, RunsResult, SelfCheckResult, Recording, type RunDistribution, type RunPercentile, type RunHistogramBin, type RunCountedValue, type SelfCheckFinding, type RecordedDocument, Validation, VERDICT_ERROR, VERDICT_FAIL, VERDICT_INCONCLUSIVE, VERDICT_PASS, explainVerificationVerdict, explainVerdict, raiseVerdictError, verificationPassed, verdictEvaluated, verdictHolds, ImportResult, ImportedFile, ImportedValue, Comparison, ConfigurationComparison, ObservableComparison, ComparedDistribution, type StatisticDifference, type CaseStatistics, type CaseStatistic, } from "./verdict.js";
 export type { Verdict } from "./verdict.js";
-export { CAPABILITY_APPLY_EDITS, CAPABILITY_ACTION_BODY_STATEMENT_AUTHORING, CAPABILITY_CASE_EVALUATIONS, CAPABILITY_COMPLEX_VALUES, CAPABILITY_BIG_INT_VALUES, CAPABILITY_RATIONAL_VALUES, CAPABILITY_CONVERT, CAPABILITY_CONVERT_DOCUMENTS, CAPABILITY_CONVERT_COMPACT, CAPABILITY_CONVERT_CHECK_DIAGNOSTICS, CAPABILITY_PARSE_SOURCES_AFFECTED, CAPABILITY_RENDER_DOCUMENT_FILE_NAME, CAPABILITY_MIGRATE, CAPABILITY_DIAGNOSTIC_CODES, CAPABILITY_EDIT_DOCUMENTS, CAPABILITY_ENGINES, CAPABILITY_ENUM_VALUES, CAPABILITY_EVALUATE_SUBJECT, CAPABILITY_FEATURE_VALUES, CAPABILITY_FINAL_TIME, CAPABILITY_FUNCTION_VALUES, CAPABILITY_ORDER_DEPENDENCE, CAPABILITY_INFINITY_VALUE, CAPABILITY_INLINE_LANGUAGE, CAPABILITY_MEASUREMENT_REFS, CAPABILITY_METAOBJECT_VALUES, CAPABILITY_PERFORMER, CAPABILITY_RUNS, CAPABILITY_SELF_CHECK, CAPABILITY_RECORD_RUN, CAPABILITY_STATE_TRACE, CAPABILITY_QUERY, CAPABILITY_SCHEDULE, CAPABILITY_SCHEDULE_EXPLORE, CAPABILITY_SEQUENCE_AUTHORING, CAPABILITY_SET_VALUES, CAPABILITY_STRICT_CONFORMANCE, CAPABILITY_STRUCTURED_VALUES, CAPABILITY_UNDETERMINED_VALUE, CAPABILITY_VERIFICATION_VERDICTS, CAPABILITY_SYMBOL_ATTRIBUTES, CAPABILITY_TENSOR_VALUES, CAPABILITY_TYPE_FACTS, CAPABILITY_UNSET_VALUE, CAPABILITY_VERIFICATION, CAPABILITY_AUTHORING, CAPABILITY_COMMENT_AUTHORING, CAPABILITY_CONNECTION_AUTHORING, CAPABILITY_CONSTRAINT_BODY_AUTHORING, CAPABILITY_DOCUMENTATION_AUTHORING, CAPABILITY_DOCUMENT_QUERY, CAPABILITY_IMPLICIT_PARAMETERS, CAPABILITY_IMPORT_AUTHORING, CAPABILITY_MEMBER_MODIFIERS, CAPABILITY_METADATA_AUTHORING, CAPABILITY_METADATA_PREFIX_AUTHORING, CAPABILITY_PARSE_SOURCES, CAPABILITY_RENDER_DOCUMENT, CAPABILITY_RENDER_DOCUMENT_HTML, CAPABILITY_REQUIREMENT_CONSTRAINT_AUTHORING, CAPABILITY_SATISFY_AUTHORING, CAPABILITY_STATE_ACTION_AUTHORING, CAPABILITY_TRANSITION_AUTHORING, CAPABILITY_VERIFICATION_OBJECTIVE_AUTHORING, CAPABILITY_VERIFICATION_QUESTIONS, CAPABILITY_VERIFICATION_ARGUMENTS, MissingCapabilityError, ServerInfo, capabilityRefusal, mismatchReason, requireCapability, upgradeRemedy, CAPABILITY_IMPORT_DATA, CAPABILITY_COMPARE_RESULTS, } from "./capabilities.js";
+export { CAPABILITY_APPLY_EDITS, CAPABILITY_ACTION_BODY_STATEMENT_AUTHORING, CAPABILITY_CASE_EVALUATIONS, CAPABILITY_COMPLEX_VALUES, CAPABILITY_BIG_INT_VALUES, CAPABILITY_RATIONAL_VALUES, CAPABILITY_CONVERT, CAPABILITY_CONVERT_DOCUMENTS, CAPABILITY_CONVERT_COMPACT, CAPABILITY_CONVERT_LIBRARY_REFERENCES, CAPABILITY_CONVERT_LIBRARY_STUBS, CAPABILITY_CONVERT_CHECK_DIAGNOSTICS, CAPABILITY_PARSE_SOURCES_AFFECTED, CAPABILITY_RENDER_DOCUMENT_FILE_NAME, CAPABILITY_MIGRATE, CAPABILITY_DIAGNOSTIC_CODES, CAPABILITY_EDIT_DOCUMENTS, CAPABILITY_ENGINES, CAPABILITY_ENUM_VALUES, CAPABILITY_EVALUATE_SUBJECT, CAPABILITY_FEATURE_VALUES, CAPABILITY_FINAL_TIME, CAPABILITY_FUNCTION_VALUES, CAPABILITY_ORDER_DEPENDENCE, CAPABILITY_INFINITY_VALUE, CAPABILITY_INLINE_LANGUAGE, CAPABILITY_MEASUREMENT_REFS, CAPABILITY_METAOBJECT_VALUES, CAPABILITY_PERFORMER, CAPABILITY_RUNS, CAPABILITY_SELF_CHECK, CAPABILITY_RECORD_RUN, CAPABILITY_STATE_TRACE, CAPABILITY_QUERY, CAPABILITY_QUERY_ORDER_BY, CAPABILITY_SCHEDULE, CAPABILITY_SCHEDULE_EXPLORE, CAPABILITY_SEQUENCE_AUTHORING, CAPABILITY_SET_VALUES, CAPABILITY_STRICT_CONFORMANCE, CAPABILITY_STRUCTURED_VALUES, CAPABILITY_UNDETERMINED_VALUE, CAPABILITY_VERIFICATION_VERDICTS, CAPABILITY_SYMBOL_ATTRIBUTES, CAPABILITY_TENSOR_VALUES, CAPABILITY_TYPE_FACTS, CAPABILITY_UNSET_VALUE, CAPABILITY_VERIFICATION, CAPABILITY_AUTHORING, CAPABILITY_COMMENT_AUTHORING, CAPABILITY_CONNECTION_AUTHORING, CAPABILITY_CONSTRAINT_BODY_AUTHORING, CAPABILITY_DOCUMENTATION_AUTHORING, CAPABILITY_DOCUMENT_QUERY, CAPABILITY_IMPLICIT_PARAMETERS, CAPABILITY_IMPORT_AUTHORING, CAPABILITY_MEMBER_MODIFIERS, CAPABILITY_METADATA_AUTHORING, CAPABILITY_METADATA_PREFIX_AUTHORING, CAPABILITY_PARSE_SOURCES, CAPABILITY_RENDER_DOCUMENT, CAPABILITY_RENDER_DOCUMENT_HTML, CAPABILITY_RENDER_DOCUMENT_ASCIIDOC, CAPABILITY_REQUIREMENT_CONSTRAINT_AUTHORING, CAPABILITY_SATISFY_AUTHORING, CAPABILITY_STATE_ACTION_AUTHORING, CAPABILITY_TRANSITION_AUTHORING, CAPABILITY_VERIFICATION_OBJECTIVE_AUTHORING, CAPABILITY_VERIFICATION_QUESTIONS, CAPABILITY_VERIFICATION_ARGUMENTS, CAPABILITY_VERDICT_NOTES, MissingCapabilityError, ServerInfo, capabilityRefusal, mismatchReason, requireCapability, upgradeRemedy, CAPABILITY_IMPORT_DATA, CAPABILITY_COMPARE_RESULTS, } from "./capabilities.js";
 export { AnalysisRunError, ChecksumMismatchError, ClosedConnectionError, ConversionError, DeleteReferencedError, DocumentQueryError, DownloadError, EditError, EditResultError, EditTargetError, EvaluationError, ExecutionError, FeatureValueError, IllegalMemberKindError, InstanceTypeError, InvalidEditError, InvalidRequestError, MemberNameTakenError, MigrationError, MoveReferencedError, NoEditsError, OverlappingEditsError, OwnerInsideTargetError, OwnerNotFoundError, OwnerNotNamespaceError, ReferencedElsewhereError, Referrer, RenameReferencedError, MalformedValueError, ManifestSignatureError, ModelFileNotFoundError, ModelNotFoundError, OpenSysMLError, ParseError, QueryError, ServiceError, ServiceStartError, ServiceTimeoutError, ServiceUnavailableError, StaleServiceError, SymbolNotFoundError, TypeMismatchError, UnpinnedReleaseError, UnsignedReleaseError, UnsupportedOperationError, UnsupportedValueError, WrongKindError, } from "./errors.js";
 export type { FailureCause, ModelDiagnostic } from "./errors.js";
 export { TypedObject, asBoolean, asComplex, asEnum, asInt, asObject, asQuantity, asRational, asReal, asString, asTyped, featureValue, listFeatureValue, optionalFeatureValue, registerTyped, } from "./typed.js";
@@ -32,7 +32,7 @@ export type { FeatureDecoder, InstanceResolver, Quantity, TypedObjectClass, } fr
 export { callRpc, fromHandshakeError, fromRpcError, statusName } from "./status.js";
 export type { NotFoundSubject, UnimplementedMapping } from "./status.js";
 export { decodeValue, decodeVerdict, decodeStanding, encodeValue, formatRational, formatValue, rational, rationalOfDouble, rationalToNumber, rationalsAsReals, requireInput, toValue, valuesEqual, } from "./values.js";
-export type { ArrayValue, ComplexValue, EnumValue, FunctionValue, Magnitude, MeasurementRefValue, MetaobjectValue, QuantityValue, RationalValue, SysMLValue, SysMLVerdict, ValueInput, VerdictBound, VerdictStanding, VerificationVerdict, WitnessAssignment, TensorQuantityValue, UndeterminedValue, UnitFactor, UnitFactorization, VerdictSubject, } from "./values.js";
+export type { ArrayValue, ComplexValue, EnumValue, FunctionValue, Magnitude, MeasurementRefValue, MetaobjectValue, QuantityValue, RationalValue, SysMLValue, SysMLVerdict, ValueInput, VerdictBound, VerdictStanding, VerificationVerdict, WitnessAssignment, VerdictNote, TensorQuantityValue, UndeterminedValue, UnitFactor, UnitFactorization, VerdictSubject, } from "./values.js";
 export { baseUrl } from "./transport.js";
 export { PACKAGE_NAME, PLATFORM_PACKAGE_PREFIX } from "./package.js";
 export { SysMLService } from "../generated/sysml_pb.js";

package/dist/core/index.js

@@ -10,7 +10,7 @@ export { ENGINE_ALL, ENGINE_AUTO, STRENGTH_BOUNDED, STRENGTH_NOT_COVERED, STRENG
 export { Exploration, Outcome } from "./exploration.js";
 export { AppliedEdit, Body, EditedDocument, EditRequestBuilder, EditResult, Editor, editErrorOf, editResultOf, errorForFailure, failureName, referrersOf, } from "./edit.js";
 export { AnalysisResult, toolDryRunOf, CalcResult, CaseEvaluation, KIND_ASSERTION, KIND_CONSTRAINT, KIND_OBJECT, KIND_OBJECTIVE, KIND_REQUIREMENT, KIND_SATISFY, QUESTION_EVALUATE, QUESTION_HOLDS, QUESTION_SATISFIABLE, STATUS_HOLDS, STATUS_SATISFIABLE, STATUS_UNDECIDED, STATUS_UNSATISFIABLE, STATUS_VIOLATED, SweepRow, SweepTable, RunsResult, SelfCheckResult, Recording, Validation, VERDICT_ERROR, VERDICT_FAIL, VERDICT_INCONCLUSIVE, VERDICT_PASS, explainVerificationVerdict, explainVerdict, raiseVerdictError, verificationPassed, verdictEvaluated, verdictHolds, ImportResult, ImportedFile, ImportedValue, Comparison, ConfigurationComparison, ObservableComparison, ComparedDistribution, } from "./verdict.js";
-export { CAPABILITY_APPLY_EDITS, CAPABILITY_ACTION_BODY_STATEMENT_AUTHORING, CAPABILITY_CASE_EVALUATIONS, CAPABILITY_COMPLEX_VALUES, CAPABILITY_BIG_INT_VALUES, CAPABILITY_RATIONAL_VALUES, CAPABILITY_CONVERT, CAPABILITY_CONVERT_DOCUMENTS, CAPABILITY_CONVERT_COMPACT, CAPABILITY_CONVERT_CHECK_DIAGNOSTICS, CAPABILITY_PARSE_SOURCES_AFFECTED, CAPABILITY_RENDER_DOCUMENT_FILE_NAME, CAPABILITY_MIGRATE, CAPABILITY_DIAGNOSTIC_CODES, CAPABILITY_EDIT_DOCUMENTS, CAPABILITY_ENGINES, CAPABILITY_ENUM_VALUES, CAPABILITY_EVALUATE_SUBJECT, CAPABILITY_FEATURE_VALUES, CAPABILITY_FINAL_TIME, CAPABILITY_FUNCTION_VALUES, CAPABILITY_ORDER_DEPENDENCE, CAPABILITY_INFINITY_VALUE, CAPABILITY_INLINE_LANGUAGE, CAPABILITY_MEASUREMENT_REFS, CAPABILITY_METAOBJECT_VALUES, CAPABILITY_PERFORMER, CAPABILITY_RUNS, CAPABILITY_SELF_CHECK, CAPABILITY_RECORD_RUN, CAPABILITY_STATE_TRACE, CAPABILITY_QUERY, CAPABILITY_SCHEDULE, CAPABILITY_SCHEDULE_EXPLORE, CAPABILITY_SEQUENCE_AUTHORING, CAPABILITY_SET_VALUES, CAPABILITY_STRICT_CONFORMANCE, CAPABILITY_STRUCTURED_VALUES, CAPABILITY_UNDETERMINED_VALUE, CAPABILITY_VERIFICATION_VERDICTS, CAPABILITY_SYMBOL_ATTRIBUTES, CAPABILITY_TENSOR_VALUES, CAPABILITY_TYPE_FACTS, CAPABILITY_UNSET_VALUE, CAPABILITY_VERIFICATION, CAPABILITY_AUTHORING, CAPABILITY_COMMENT_AUTHORING, CAPABILITY_CONNECTION_AUTHORING, CAPABILITY_CONSTRAINT_BODY_AUTHORING, CAPABILITY_DOCUMENTATION_AUTHORING, CAPABILITY_DOCUMENT_QUERY, CAPABILITY_IMPLICIT_PARAMETERS, CAPABILITY_IMPORT_AUTHORING, CAPABILITY_MEMBER_MODIFIERS, CAPABILITY_METADATA_AUTHORING, CAPABILITY_METADATA_PREFIX_AUTHORING, CAPABILITY_PARSE_SOURCES, CAPABILITY_RENDER_DOCUMENT, CAPABILITY_RENDER_DOCUMENT_HTML, CAPABILITY_REQUIREMENT_CONSTRAINT_AUTHORING, CAPABILITY_SATISFY_AUTHORING, CAPABILITY_STATE_ACTION_AUTHORING, CAPABILITY_TRANSITION_AUTHORING, CAPABILITY_VERIFICATION_OBJECTIVE_AUTHORING, CAPABILITY_VERIFICATION_QUESTIONS, CAPABILITY_VERIFICATION_ARGUMENTS, MissingCapabilityError, ServerInfo, capabilityRefusal, mismatchReason, requireCapability, upgradeRemedy, CAPABILITY_IMPORT_DATA, CAPABILITY_COMPARE_RESULTS, } from "./capabilities.js";
+export { CAPABILITY_APPLY_EDITS, CAPABILITY_ACTION_BODY_STATEMENT_AUTHORING, CAPABILITY_CASE_EVALUATIONS, CAPABILITY_COMPLEX_VALUES, CAPABILITY_BIG_INT_VALUES, CAPABILITY_RATIONAL_VALUES, CAPABILITY_CONVERT, CAPABILITY_CONVERT_DOCUMENTS, CAPABILITY_CONVERT_COMPACT, CAPABILITY_CONVERT_LIBRARY_REFERENCES, CAPABILITY_CONVERT_LIBRARY_STUBS, CAPABILITY_CONVERT_CHECK_DIAGNOSTICS, CAPABILITY_PARSE_SOURCES_AFFECTED, CAPABILITY_RENDER_DOCUMENT_FILE_NAME, CAPABILITY_MIGRATE, CAPABILITY_DIAGNOSTIC_CODES, CAPABILITY_EDIT_DOCUMENTS, CAPABILITY_ENGINES, CAPABILITY_ENUM_VALUES, CAPABILITY_EVALUATE_SUBJECT, CAPABILITY_FEATURE_VALUES, CAPABILITY_FINAL_TIME, CAPABILITY_FUNCTION_VALUES, CAPABILITY_ORDER_DEPENDENCE, CAPABILITY_INFINITY_VALUE, CAPABILITY_INLINE_LANGUAGE, CAPABILITY_MEASUREMENT_REFS, CAPABILITY_METAOBJECT_VALUES, CAPABILITY_PERFORMER, CAPABILITY_RUNS, CAPABILITY_SELF_CHECK, CAPABILITY_RECORD_RUN, CAPABILITY_STATE_TRACE, CAPABILITY_QUERY, CAPABILITY_QUERY_ORDER_BY, CAPABILITY_SCHEDULE, CAPABILITY_SCHEDULE_EXPLORE, CAPABILITY_SEQUENCE_AUTHORING, CAPABILITY_SET_VALUES, CAPABILITY_STRICT_CONFORMANCE, CAPABILITY_STRUCTURED_VALUES, CAPABILITY_UNDETERMINED_VALUE, CAPABILITY_VERIFICATION_VERDICTS, CAPABILITY_SYMBOL_ATTRIBUTES, CAPABILITY_TENSOR_VALUES, CAPABILITY_TYPE_FACTS, CAPABILITY_UNSET_VALUE, CAPABILITY_VERIFICATION, CAPABILITY_AUTHORING, CAPABILITY_COMMENT_AUTHORING, CAPABILITY_CONNECTION_AUTHORING, CAPABILITY_CONSTRAINT_BODY_AUTHORING, CAPABILITY_DOCUMENTATION_AUTHORING, CAPABILITY_DOCUMENT_QUERY, CAPABILITY_IMPLICIT_PARAMETERS, CAPABILITY_IMPORT_AUTHORING, CAPABILITY_MEMBER_MODIFIERS, CAPABILITY_METADATA_AUTHORING, CAPABILITY_METADATA_PREFIX_AUTHORING, CAPABILITY_PARSE_SOURCES, CAPABILITY_RENDER_DOCUMENT, CAPABILITY_RENDER_DOCUMENT_HTML, CAPABILITY_RENDER_DOCUMENT_ASCIIDOC, CAPABILITY_REQUIREMENT_CONSTRAINT_AUTHORING, CAPABILITY_SATISFY_AUTHORING, CAPABILITY_STATE_ACTION_AUTHORING, CAPABILITY_TRANSITION_AUTHORING, CAPABILITY_VERIFICATION_OBJECTIVE_AUTHORING, CAPABILITY_VERIFICATION_QUESTIONS, CAPABILITY_VERIFICATION_ARGUMENTS, CAPABILITY_VERDICT_NOTES, MissingCapabilityError, ServerInfo, capabilityRefusal, mismatchReason, requireCapability, upgradeRemedy, CAPABILITY_IMPORT_DATA, CAPABILITY_COMPARE_RESULTS, } from "./capabilities.js";
 export { AnalysisRunError, ChecksumMismatchError, ClosedConnectionError, ConversionError, DeleteReferencedError, DocumentQueryError, DownloadError, EditError, EditResultError, EditTargetError, EvaluationError, ExecutionError, FeatureValueError, IllegalMemberKindError, InstanceTypeError, InvalidEditError, InvalidRequestError, MemberNameTakenError, MigrationError, MoveReferencedError, NoEditsError, OverlappingEditsError, OwnerInsideTargetError, OwnerNotFoundError, OwnerNotNamespaceError, ReferencedElsewhereError, Referrer, RenameReferencedError, MalformedValueError, ManifestSignatureError, ModelFileNotFoundError, ModelNotFoundError, OpenSysMLError, ParseError, QueryError, ServiceError, ServiceStartError, ServiceTimeoutError, ServiceUnavailableError, StaleServiceError, SymbolNotFoundError, TypeMismatchError, UnpinnedReleaseError, UnsignedReleaseError, UnsupportedOperationError, UnsupportedValueError, WrongKindError, } from "./errors.js";
 export { TypedObject, asBoolean, asComplex, asEnum, asInt, asObject, asQuantity, asRational, asReal, asString, asTyped, featureValue, listFeatureValue, optionalFeatureValue, registerTyped, } from "./typed.js";
 export { callRpc, fromHandshakeError, fromRpcError, statusName } from "./status.js";

package/dist/core/model.d.ts

@@ -1,6 +1,6 @@
 import type { Connection, VerifyOptions } from "./connection.js";
 import type { ModelDiagnostic } from "./errors.js";
-import type { Conversion } from "./conversion.js";
+import type { Conversion, ConvertOptions } from "./conversion.js";
 import type { QueryForm, QueryElement, QueryPayload } from "./query.js";
 import type { BindingValues, DocumentQueryResult } from "./document.js";
 import type { RenderedView } from "./render-view.js";
@@ -87,10 +87,7 @@ export declare class Model {
     /** Looks a symbol up by short name, FQN or id; throws when the model declares none. */
     symbol(name: string): Promise<ModelSymbol>;
     /** Writes this model out in `toFormat`. */
-    convert(toFormat: string, options?: {
-        fromFormat?: string;
-        tolerateSyntaxErrors?: boolean;
-    }): Promise<Conversion>;
+    convert(toFormat: string, options?: ConvertOptions): Promise<Conversion>;
     /** This model written in SysML notation. */
     toSysml(): Promise<Conversion>;
     /** This model written as RDF Turtle. */
@@ -103,9 +100,9 @@ export declare class Model {
     } & QueryForm): Promise<QueryElement[]>;
     /** Runs a named document query against this model. */
     runDocumentQuery(queryId: string, bindings?: Readonly<Record<string, BindingValues>>): Promise<DocumentQueryResult>;
-    /** Renders a named document of this model to Markdown or HTML. */
+    /** Renders a named document of this model to Markdown, HTML or AsciiDoc. */
     renderDocument(documentId: string, options?: {
-        form?: "markdown" | "html";
+        form?: "markdown" | "html" | "asciidoc";
     }): Promise<string>;
     /** Renders a named view or targeted pseudo-view as diagram data. */
     renderView(viewName: string, options?: {

package/dist/core/model.js

@@ -274,7 +274,7 @@ export class Model {
     runDocumentQuery(queryId, bindings) {
         return this.connection.runDocumentQuery(this.hash, queryId, bindings);
     }
-    /** Renders a named document of this model to Markdown or HTML. */
+    /** Renders a named document of this model to Markdown, HTML or AsciiDoc. */
     renderDocument(documentId, options = {}) {
         return this.connection.renderDocument(this.hash, documentId, options);
     }

package/dist/core/query.d.ts

@@ -37,6 +37,8 @@ export interface QueryForm {
     scope?: readonly ScopeEntry[];
     select?: readonly string[];
     where?: ConstraintPayload;
+    /** Properties to sort by, in order of precedence, each ascending; the standard's `orderBy`. */
+    orderBy?: readonly string[];
     /** An OSLC query text, evaluated instead of the structured query. */
     oslc?: string;
     /** A query already decoded for the wire; passes through as written. */

package/dist/core/query.js

@@ -16,7 +16,13 @@ const PRIMITIVE_OPERATORS = new Map([
     ["=", PrimitiveOperator.EQUAL],
     [">", PrimitiveOperator.GREATER],
     ["<", PrimitiveOperator.LESS],
+    [">=", PrimitiveOperator.GREATER_EQUAL],
+    ["<=", PrimitiveOperator.LESS_EQUAL],
+    ["in", PrimitiveOperator.IN],
+    ["instanceOf", PrimitiveOperator.INSTANCE_OF],
 ]);
+/** The operators that compare against exactly one value. */
+const ORDERED_OPERATORS = new Set([">", "<", ">=", "<="]);
 const COMPOSITE_OPERATORS = new Map([
     ["and", CompositeOperator.AND],
     ["or", CompositeOperator.OR],
@@ -52,10 +58,10 @@ function isRecord(value) {
 /** Translate a query, given as the standard's JSON or as keywords, to protobuf. */
 export function buildQuery(options = {}) {
     const { payload } = options;
-    let { scope, select, where } = options;
+    let { scope, select, where, orderBy } = options;
     if (payload !== undefined) {
-        if (scope !== undefined || select !== undefined || where !== undefined) {
-            throw new QueryError("pass a query payload or scope/select/where keywords, not both");
+        if (scope !== undefined || select !== undefined || where !== undefined || orderBy !== undefined) {
+            throw new QueryError("pass a query payload or scope/select/where/orderBy keywords, not both");
         }
         if (!isRecord(payload)) {
             throw new QueryError("a query is an object, not a " + typeof payload);
@@ -64,18 +70,20 @@ export function buildQuery(options = {}) {
         if (declared !== TYPE_QUERY) {
             throw new QueryError(`expected a ${JSON.stringify(TYPE_QUERY)} payload, got ${JSON.stringify(declared)}`);
         }
-        const unknown = Object.keys(payload).filter((key) => ![TYPE_KEY, "@id", "owningProject", "scope", "select", "where"].includes(key));
+        const unknown = Object.keys(payload).filter((key) => ![TYPE_KEY, "@id", "owningProject", "scope", "select", "where", "orderBy"].includes(key));
         if (unknown.length > 0) {
             unknown.sort(byCodeUnit);
-            throw new QueryError(`a query has no ${unknown.join(", ")}; the standard's query is scope, select and where`);
+            throw new QueryError(`a query has no ${unknown.join(", ")}; the standard's query is scope, select, where and orderBy`);
         }
         scope = payload.scope;
         select = payload.select;
         where = payload.where;
+        orderBy = payload.orderBy;
     }
     const query = create(QuerySchema, {
         scope: sequence("scope", scope).map(scopeId),
         select: sequence("select", select).map(propertyName),
+        orderBy: sequence("orderBy", orderBy).map(propertyName),
     });
     if (where !== undefined) {
         query.where = constraint(where);
@@ -141,7 +149,7 @@ function primitive(payload) {
     rejectUnknown(payload, [TYPE_KEY, "@id", "inverse", "property", "operator", "value"], TYPE_PRIMITIVE_CONSTRAINT);
     const operator = payload.operator;
     const mapped = typeof operator === "string" ? PRIMITIVE_OPERATORS.get(operator) : undefined;
-    if (mapped === undefined) {
+    if (typeof operator !== "string" || mapped === undefined) {
         throw new QueryError(`unknown primitive operator ${JSON.stringify(operator)}; expected one of ` +
             [...PRIMITIVE_OPERATORS.keys()].sort(byCodeUnit).join(", "));
     }
@@ -153,9 +161,44 @@ function primitive(payload) {
         inverse: payload.inverse === true,
         property: name,
         operator: mapped,
-        value: values(payload.value),
+        value: operand(operator, name, payload.value),
     };
 }
+/**
+ * The compared values, in the shape the operator compares against: the ordered
+ * comparisons take one value, `in` a list of them and `instanceOf` metaclass
+ * names, so another shape is refused here rather than sent to be refused.
+ */
+function operand(operator, name, value) {
+    if (ORDERED_OPERATORS.has(operator)) {
+        if (Array.isArray(value) && value.length !== 1) {
+            throw new QueryError(`${operator} on ${JSON.stringify(name)} compares against one value, not a list of ${value.length}`);
+        }
+        if (value === undefined || value === null) {
+            throw new QueryError(`${operator} on ${JSON.stringify(name)} has no value to compare against`);
+        }
+        return values(value);
+    }
+    if (operator === "in") {
+        if (!Array.isArray(value)) {
+            throw new QueryError(`in on ${JSON.stringify(name)} compares against a list of values, not ${JSON.stringify(value)}`);
+        }
+        if (value.length === 0) {
+            throw new QueryError(`in on ${JSON.stringify(name)} has no values to be a member of`);
+        }
+        return value.map(compared);
+    }
+    if (operator === "instanceOf") {
+        const names = Array.isArray(value) ? value : [value];
+        for (const metaclass of names) {
+            if (typeof metaclass !== "string" || metaclass === "") {
+                throw new QueryError(`instanceOf on ${JSON.stringify(name)} compares against a metaclass name, not ${JSON.stringify(metaclass)}`);
+            }
+        }
+        return names;
+    }
+    return values(value);
+}
 function composite(payload) {
     rejectUnknown(payload, [TYPE_KEY, "@id", "constraint", "operator"], TYPE_COMPOSITE_CONSTRAINT);
     const operator = payload.operator;
@@ -168,6 +211,9 @@ function composite(payload) {
     if (!Array.isArray(nested) || nested.length === 0) {
         throw new QueryError(`a composite constraint combines a non-empty list of constraints, not ${JSON.stringify(nested)}`);
     }
+    if (nested.length === 1) {
+        throw new QueryError("a composite constraint combines at least two constraints, got one; write the constraint on its own");
+    }
     return {
         operator: mapped,
         constraint: nested.map(constraint),

package/dist/core/render-view.d.ts

@@ -11,6 +11,8 @@ export interface RenderPort {
     name: string;
     type: string;
     direction: string;
+    /** The node's owner has the port from its type rather than declares it; the notation draws `^` before `name`. */
+    inherited: boolean;
 }
 export interface RenderGeometry {
     x: number;
@@ -44,6 +46,8 @@ export interface RenderNode {
     detail: string;
     text: string;
     standIn: boolean;
+    /** The owner the node is drawn or listed under has the usage through typing, subclassification or subsetting rather than declares it; the notation draws `^` before `name`. */
+    inherited: boolean;
     parent: string;
     /** The compartment of the parent this node is a row of ("attributes", "parts", ...); empty for a box. */
     compartment: string;

package/dist/core/render-view.js

@@ -38,7 +38,7 @@ function styleOf(style) {
         };
 }
 function portOf(port) {
-    return { id: port.id, name: port.name, type: port.type, direction: port.direction };
+    return { id: port.id, name: port.name, type: port.type, direction: port.direction, inherited: port.inherited };
 }
 function pointOf(point) {
     return { x: point.x, y: point.y };
@@ -56,6 +56,7 @@ function nodeOf(node) {
         detail: node.detail,
         text: node.text,
         standIn: node.standIn,
+        inherited: node.inherited,
         compartment: node.compartment,
         parent: node.parent,
         ports: node.ports.map(portOf),

package/dist/core/transport.js

@@ -32,6 +32,13 @@ export function interceptors(options) {
             return next(request);
         });
     }
+    const token = options.token;
+    if (token !== undefined && token !== "") {
+        built.push((next) => (request) => {
+            request.header.set("Authorization", `Bearer ${token}`);
+            return next(request);
+        });
+    }
     const tap = options.onResponse;
     if (tap !== undefined) {
         built.push(responseTap(tap));

package/dist/core/values.d.ts

@@ -207,6 +207,19 @@ export interface WitnessAssignment {
     /** The solver's exact value as text. */
     exact: string;
 }
+/**
+ * One assumption or omission behind a verdict, worded as every surface reports
+ * it: `kind` is "assumed_one" (a feature read as holding one value or object
+ * while only the default `0..*` multiplicity governs it) or "uncovered" (an
+ * object-holding feature whose own assertions the question does not state).
+ */
+export interface VerdictNote {
+    kind: string;
+    /** The feature the note is about, as the report names it. */
+    subject: string;
+    /** The note as a sentence. */
+    text: string;
+}
 /** What the body of a verification case answered when it ran. */
 export interface VerificationVerdict {
     /** FQN of the verification case that ran. */
@@ -253,7 +266,8 @@ export interface VerdictStanding {
  * answer, which a `holds: false` alone does not distinguish. Every arm carries
  * the `standing` its evidence rests on, the `question` asked and the `status`
  * the service answered with, the `witness` assignment when the answer carries
- * one, and the `verifications` the requirement's verification cases produced.
+ * one, the `notes` the answer rests on, and the `verifications` the
+ * requirement's verification cases produced.
  */
 export type SysMLVerdict = {
     kind: "holds";
@@ -262,6 +276,7 @@ export type SysMLVerdict = {
     question: string;
     status: string;
     witness: WitnessAssignment[];
+    notes: VerdictNote[];
     verifications: VerificationVerdict[];
 } | {
     kind: "fails";
@@ -271,6 +286,7 @@ export type SysMLVerdict = {
     question: string;
     status: string;
     witness: WitnessAssignment[];
+    notes: VerdictNote[];
     verifications: VerificationVerdict[];
 } | {
     kind: "undecided";
@@ -281,6 +297,7 @@ export type SysMLVerdict = {
     question: string;
     status: string;
     witness: WitnessAssignment[];
+    notes: VerdictNote[];
     verifications: VerificationVerdict[];
 };
 /**

package/dist/core/values.js

@@ -203,6 +203,7 @@ export function decodeVerdict(verdict, verifications = []) {
         unit: assignment.unit,
         exact: assignment.exact,
     }));
+    const notes = verdict.notes.map((note) => ({ kind: note.kind, subject: note.subject, text: note.text }));
     if (verdict.error !== "") {
         return {
             kind: "undecided",
@@ -213,6 +214,7 @@ export function decodeVerdict(verdict, verifications = []) {
             question: verdict.question,
             status: verdict.status,
             witness,
+            notes,
             verifications: [...verifications],
         };
     }
@@ -224,6 +226,7 @@ export function decodeVerdict(verdict, verifications = []) {
             question: verdict.question,
             status: verdict.status,
             witness,
+            notes,
             verifications: [...verifications],
         }
         : {
@@ -234,6 +237,7 @@ export function decodeVerdict(verdict, verifications = []) {
             question: verdict.question,
             status: verdict.status,
             witness,
+            notes,
             verifications: [...verifications],
         };
 }