@digitalservicebund/a2j-xjustiz-bridge 0.8.0 → 0.9.0

package/dist/nachricht/zahlungsklage.d.ts

@@ -22,7 +22,6 @@ import { StandardSchemaV1 } from "@standard-schema/spec";
 type InferCodeliste<Liste extends Codeliste<Codelisteneintraege>> = Liste[keyof Liste];
 type Codelisteneintraege = Record<string, string>;
 type Codeliste<Eintraege extends Codelisteneintraege> = { readonly [Name in keyof Eintraege]: Eintraege[Name] extends (infer Code) ? Codelisteneintrag<Name & string, Code & string> : never; };
-type IsCodeliste<MaybeCodeliste> = [MaybeCodeliste] extends [Codelisteneintrag<string, string>] ? [keyof MaybeCodeliste] extends [keyof Codelisteneintrag<string, string>] ? true : false : false;
 /**
  * Prettifies the display of Codelisteinträge, conserving the name to improve
  * comprehensibility.
@@ -2404,33 +2403,6 @@ type ConsumeCharactersFrom<Input extends string, SetOfCharactersToConsume extend
  * Typically used to ensure the true identity of a base type.
  */
 type Invariant<Basis> = (basis: Basis) => Basis;
-type IsTuple<MaybeTuple> = MaybeTuple extends readonly unknown[] ? number extends MaybeTuple["length"] ? false : true : false;
-type NTuple<Item, Length extends number, NMinusOneTuple extends readonly Item[] = []> = NMinusOneTuple["length"] extends Length ? NMinusOneTuple : NTuple<Item, Length, [...NMinusOneTuple, Item]>;
-/**
- * Increment a given literal number type by one.
- * Intended to by used without unions. In case of a union, it will increment the
- * smallest literal number type in the union
- *
- * @example
- * ```typescript
- * Increment<1> // 2
- * Increment<99> // 100
- * Increment<99, 5, 27> // 6
- * Increment<number> // 1
- * ```
- */
-type Increment<Operand extends number> = [...NTuple<unknown, Operand>, unknown]["length"] extends (infer Incremented extends number) ? Incremented : never;
-type IsEqualTo<Left, Right> = (<Probe>() => Probe extends Left ? 1 : 2) extends (<Probe>() => Probe extends Right ? 1 : 2) ? true : false;
-/**
- * Just the clean numerical indices of the tuple entries. Exclude symbols for
- * iterator etc.
- *
- * @example
- * ```typescript
- * IndicesOfTuple<["a", "b", "c"]> // 1 | 2 | 3
- * ```
- */
-type IndicesOfTuple<Tuple extends readonly unknown[]> = Extract<keyof Tuple, `${number}`> extends `${infer Indices extends number}` ? Indices : never;
 //#endregion
 //#region src/xjustiz-schemata/shared-kernel/refined-types.d.ts
 /**
@@ -2912,9 +2884,6 @@ interface DistinctiveMarker<Value, Ordinal extends number> {
   readonly [DISTINCTIVE_MARKER]: readonly [Value, Ordinal];
 }
 declare const DISTINCTIVE_MARKER: unique symbol;
-type GetDistinctValueFrom<MaybeDistinctivelyMarked> = MaybeDistinctivelyMarked extends {
-  readonly [DISTINCTIVE_MARKER]: readonly [infer Value, infer Ordinal];
-} ? [Value, Ordinal] : MaybeDistinctivelyMarked;
 //#endregion
 //#region src/xjustiz-schemata/shared-kernel/identifiers/occurrences.d.ts
 interface IdentifierDeclaration {
@@ -2931,39 +2900,6 @@ interface Reference<Identifier extends IdentifierDeclaration> {
   readonly [IDENTIFIER_REFERENCE_MARKER]: Identifier;
 }
 declare const IDENTIFIER_REFERENCE_MARKER: unique symbol;
-type FindAllIdentifierDeclarations<DocumentPart> = DocumentPart extends IdentifierDeclaration ? DocumentPart : DocumentPart extends Reference<IdentifierDeclaration> ? never : DocumentPart extends readonly (infer Entry)[] ? FindAllIdentifierDeclarations<Entry> : DocumentPart extends object ? FindAllIdentifierDeclarations<DocumentPart[keyof DocumentPart]> : never;
-type FindAllIdentifierReferences<DocumentPart> = DocumentPart extends Reference<IdentifierDeclaration> ? ExtractIdentifierDeclarationFrom<DocumentPart> : DocumentPart extends readonly (infer Entry)[] ? FindAllIdentifierReferences<Entry> : DocumentPart extends object ? FindAllIdentifierReferences<DocumentPart[keyof DocumentPart]> : never;
-type ExtractIdentifierDeclarationFrom<SomeReference extends Reference<IdentifierDeclaration>> = SomeReference extends {
-  readonly [IDENTIFIER_REFERENCE_MARKER]: infer Declaration;
-} ? Declaration : never;
-//#endregion
-//#region src/xjustiz-schemata/shared-kernel/identifiers/referential-integrity.d.ts
-type VerifyReferentialIntegrity<Document> = FindMissingIdentifierDeclarations<Document> extends (infer MissingIdentifierDeclarations) ? IsEmpty$2<MissingIdentifierDeclarations> extends true ? AllGood$2 : DanglingReferencesError<MissingIdentifierDeclarations> : Unreachable$2;
-type FindMissingIdentifierDeclarations<Document> = Exclude<FindAllIdentifierReferences<Document>, FindAllIdentifierDeclarations<Document>>;
-type DanglingReferencesError<MissingIdentifierDeclarations> = TypeError & "Found dangling references. Add all missing elements that are referenced." & {
-  readonly missingIdentifierReferences: MissingIdentifierDeclarations;
-};
-type IsEmpty$2<MaybeEmpty> = [MaybeEmpty] extends [never] ? true : false;
-type AllGood$2 = never;
-type Unreachable$2 = never;
-//#endregion
-//#region src/xjustiz-schemata/shared-kernel/identifiers/uniqueness.d.ts
-type VerifyUniquenessOfIdentifierDeclarations<Document> = FindUncheckableCollectionsWithIdentifiers<Document> extends (infer UncheckableCollectionsWithIdentifiers) ? IsEmpty$1<UncheckableCollectionsWithIdentifiers> extends false ? UncheckableCollectionsWithIdentifiersError<UncheckableCollectionsWithIdentifiers> : FindDuplicateIdentifierDeclarations<Document> extends (infer DuplicateIdentifierDeclarations) ? IsEmpty$1<DuplicateIdentifierDeclarations> extends false ? DuplicateIdentifierDeclarationsError<DuplicateIdentifierDeclarations> : AllGood$1 : Unreachable$1 : Unreachable$1;
-type FindUncheckableCollectionsWithIdentifiers<DocumentPart> = DocumentPart extends readonly (infer Entry)[] ? IsTuple<DocumentPart> extends true ? FindUncheckableCollectionsWithIdentifiers<Entry> : IncludesIdentifierDeclarations<Entry> extends true ? Entry : AllGood$1 : DocumentPart extends object ? FindUncheckableCollectionsWithIdentifiers<DocumentPart[keyof DocumentPart]> : AllGood$1;
-type IncludesIdentifierDeclarations<DocumentPart> = IsEmpty$1<FindAllIdentifierDeclarations<DocumentPart>> extends true ? false : true;
-type UncheckableCollectionsWithIdentifiersError<UncheckableCollectionsWithIdentifiers> = TypeError & "Found collection including identifiers that can't be verified for uniqueness. Try to use the `satisfies` operator." & {
-  readonly uncheckableCollectionsWithIdentifiers: UncheckableCollectionsWithIdentifiers;
-};
-type FindDuplicateIdentifierDeclarations<DocumentPart> = DocumentPart extends readonly unknown[] ? FindDuplicateIdentifierDeclarationsAmongSiblings<DocumentPart, IndicesOfTuple<DocumentPart>> : DocumentPart extends object ? FindDuplicateIdentifierDeclarationsAmongSiblings<DocumentPart, keyof DocumentPart> : NoDuplicates;
-type FindDuplicateIdentifierDeclarationsAmongSiblings<DocumentPart, Keys extends keyof DocumentPart> = { [Key in Keys]: FindDuplicateIdentifierDeclarations<DocumentPart[Key]> | (Exclude<Keys, Key> extends (infer SiblingKeys extends keyof DocumentPart) ? IsEmpty$1<SiblingKeys> extends true ? NoDuplicates : FindDuplicateIdentifierDeclarationsBetweenGroups<FindAllIdentifierDeclarations<DocumentPart[Key]>, FindAllIdentifierDeclarations<DocumentPart[SiblingKeys]>> : Unreachable$1); }[Keys];
-type FindDuplicateIdentifierDeclarationsBetweenGroups<Left, Right> = Left extends unknown ? Right extends unknown ? IsEqualTo<GetDistinctValueFrom<Left>, GetDistinctValueFrom<Right>> extends true ? Left : NoDuplicates : Unreachable$1 : Unreachable$1;
-type DuplicateIdentifierDeclarationsError<DuplicateIdentifierDeclarations> = TypeError & "Found duplicate identifier declarations. Remove duplicate element or generate separate identifier." & {
-  readonly duplicateIdentifierDeclarations: DuplicateIdentifierDeclarations;
-};
-type IsEmpty$1<MaybeEmpty> = [MaybeEmpty] extends [never] ? true : false;
-type AllGood$1 = never;
-type NoDuplicates = never;
-type Unreachable$1 = never;
 //#endregion
 //#region src/xjustiz-schemata/shared-kernel/scoping.d.ts
 /**
@@ -3014,7 +2950,6 @@ type ScopeGuard<Scope> = Invariant<Scope>;
 //#endregion
 //#region src/xjustiz-schemata/shared-kernel/identifiers/index.d.ts
 interface WithIdentifierCapabilities<Value, Scope, Ordinal extends number> extends IdentifierDeclaration, DistinctiveMarker<Value, Ordinal>, WithScope<Scope> {}
-type VerifyIdentityConstraints<Document> = VerifyUniquenessOfIdentifierDeclarations<Document> | VerifyReferentialIntegrity<Document>;
 //#endregion
 //#region src/xjustiz-schemata/grunddatensatz/rollennummer.d.ts
 /**
@@ -3069,9 +3004,14 @@ declare const ZUGEHOERIGE_ROLLENBEZEICHNUNG: unique symbol;
  * ```
  */
 declare function createRollennummerGenerator<NachrichtenScope>(scope: ScopeToken<NachrichtenScope>): RollennummerGenerator<NachrichtenScope>;
+/**
+ * **ATTENTION:**
+ * Incrementing ordinals for generated identifiers are currently turned off,
+ * because of technical limitations to enable dynamic input lists.
+ */
 interface RollennummerGenerator<NachrichtenScope> {
-  first: <ZugehoerigeRollenbezeichnung extends Rollenbezeichnung>(zugehoerigeRollenbezeichnung: ZugehoerigeRollenbezeichnung) => Rollennummer<NachrichtenScope, ZugehoerigeRollenbezeichnung, 0>;
-  next: <ZugehoerigeRollenbezeichnung extends Rollenbezeichnung, Ordinal extends number>(previous: Rollennummer<NachrichtenScope, Rollenbezeichnung, Ordinal>, zugehoerigeRollenbezeichnung: ZugehoerigeRollenbezeichnung) => Rollennummer<NachrichtenScope, ZugehoerigeRollenbezeichnung, Increment<Ordinal>>;
+  first: <ZugehoerigeRollenbezeichnung extends Rollenbezeichnung>(zugehoerigeRollenbezeichnung: ZugehoerigeRollenbezeichnung) => Rollennummer<NachrichtenScope, ZugehoerigeRollenbezeichnung>;
+  next: <ZugehoerigeRollenbezeichnung extends Rollenbezeichnung, Ordinal extends number>(previous: Rollennummer<NachrichtenScope, Rollenbezeichnung, Ordinal>, zugehoerigeRollenbezeichnung: ZugehoerigeRollenbezeichnung) => Rollennummer<NachrichtenScope, ZugehoerigeRollenbezeichnung>;
 }
 //#endregion
 //#region src/xjustiz-schemata/grunddatensatz/uuid.d.ts
@@ -3109,9 +3049,14 @@ declare const TAG$5: unique symbol;
  * ```
  */
 declare function createUuidGenerator<NachrichtenScope>(scope: ScopeToken<NachrichtenScope>): UuidGenerator<NachrichtenScope>;
+/**
+ * **ATTENTION:**
+ * Incrementing ordinals for generated identifiers are currently turned off,
+ * because of technical limitations to enable dynamic input lists.
+ */
 interface UuidGenerator<NachrichtenScope> {
-  first: () => UUID<NachrichtenScope, 0>;
-  next: <Ordinal extends number>(previous: UUID<NachrichtenScope, Ordinal>) => UUID<NachrichtenScope, Increment<Ordinal>>;
+  first: () => UUID<NachrichtenScope>;
+  next: <Ordinal extends number>(previous: UUID<NachrichtenScope, Ordinal>) => UUID<NachrichtenScope>;
 }
 //#endregion
 //#region src/xjustiz-schemata/grunddatensatz/composites.d.ts
@@ -3338,9 +3283,14 @@ type ArtVonBezugselement = "Anspruch" | "Zinsanspruch";
  * ```
  */
 declare function createFortlaufendeNummerGenerator<NachrichtenScope>(scope: ScopeToken<NachrichtenScope>): FortlaufendeNummerGenerator<NachrichtenScope>;
+/**
+ * **ATTENTION:**
+ * Incrementing ordinals for generated identifiers are currently turned off,
+ * because of technical limitations to enable dynamic input lists.
+ */
 interface FortlaufendeNummerGenerator<NachrichtenScope> {
-  first: <Bezugselement extends ArtVonBezugselement>(bezugselement: Bezugselement) => FortlaufendeNummer<NachrichtenScope, Bezugselement, 0>;
-  next: <Bezugselement extends ArtVonBezugselement, Ordinal extends number>(previous: FortlaufendeNummer<NachrichtenScope, ArtVonBezugselement, Ordinal>, bezugselement: Bezugselement) => FortlaufendeNummer<NachrichtenScope, Bezugselement, Increment<Ordinal>>;
+  first: <Bezugselement extends ArtVonBezugselement>(bezugselement: Bezugselement) => FortlaufendeNummer<NachrichtenScope, Bezugselement>;
+  next: <Bezugselement extends ArtVonBezugselement, Ordinal extends number>(previous: FortlaufendeNummer<NachrichtenScope, ArtVonBezugselement, Ordinal>, bezugselement: Bezugselement) => FortlaufendeNummer<NachrichtenScope, Bezugselement>;
 }
 //#endregion
 //#region src/xjustiz-schemata/klaver/composites.d.ts
@@ -3564,59 +3514,18 @@ type VerifiedNachricht<MessageProfile> = MessageProfile & {
 };
 declare const TAG: unique symbol;
 /**
+ * **!!! WARNING !!!**
+ * Verification of constraints on a type-level is currently turned off due to
+ * technical limitations on dynamic input lists. You **MUST** take great care to
+ * not use the same identifier multiple times (uniqueness constraint) and include
+ * any referenced identifier declaration in the final message (referential
+ * integrity constraint). Until further updates, any violation passes silently.
+ *
  * Type-level verification of multiple constraints on `Nachricht`, based on the
  * related `MessageProfile`. The resolved type can either be a successfully
  * {@link VerifiedNachricht} or all the detected errors.
  */
-type VerifiedNachrichtOrErrors<Nachricht, MessageProfile> = VerifyIdentityConstraints<Nachricht> | VerifyNoExcessProperties<Nachricht, MessageProfile> extends (infer Errors) ? [Errors] extends [never] ? VerifiedNachricht<Nachricht> : Errors : never;
-type ExcessPropertiesError<ExcessProperties> = TypeError & "Found properties in Nachricht not allowed by the message profile. Remove excess properties." & {
-  readonly excessProperties: ExcessProperties;
-};
-type VerifyNoExcessProperties<Nachricht, MessageProfile> = FindExcessProperties<Nachricht, MessageProfile> extends (infer ExcessProperties) ? IsEmpty<ExcessProperties> extends false ? ExcessPropertiesError<ExcessProperties> : AllGood : Unreachable;
-type FindExcessProperties<Nachricht, MessageProfile> = IsCodeliste<MessageProfile> extends true ? [Nachricht] extends [object] ? Exclude<keyof Nachricht, keyof MessageProfile> : StructuralIncompatibilityIssues : HasMatchingVariantOfMessageProfileWithoutExcessProperties<Nachricht, MessageProfile> extends true ? AllGood : Exclude<FindExcessPropertiesAgainst<Nachricht, MessageProfile>, StructuralIncompatibilityIssues>;
-/**
- * A `MessageProfile` can define type unions on different levels in the
- * document tree structure. Unions of objects with different key sets are
- * especially tricky in the context of finding excess properties.
- *
- * This predicate evaluates if there is any variant of the `MessageProfile`,
- * that cleanly matches the `Nachricht` without excess properties. Because
- * {@link FindMatchingVariantOfMessageProfileWithoutExcessProperties} must
- * distribute over the union of variants, this predicate type interprets the
- * result of it — a union of by itself.
- *
- * Because of dealing with unions, there is no way to implement it so excess
- * properties are collected, while trying to find a clean variant. In case this
- * predicate evaluates to `false`, the actual excess properties must be found
- * separate.
- */
-type HasMatchingVariantOfMessageProfileWithoutExcessProperties<Nachricht, MessageProfile> = [FindMatchingVariantOfMessageProfileWithoutExcessProperties<Nachricht, MessageProfile>] extends [never] ? false : true;
-/**
- * This type distributes over the variants of the `MessageProfile`. In case the
- * `MessageProfile` is not a union, there is always only one variant. If the
- * `Nachricht` matches one of the variants, meaning it has no excess properties
- * in comparison, this variant is returned as clean match.
- */
-type FindMatchingVariantOfMessageProfileWithoutExcessProperties<Nachricht, MessageProfile> = MessageProfile extends (infer VariantOfMessageProfile) ? FindExcessPropertiesAgainst<Nachricht, VariantOfMessageProfile> extends (infer ExcessProperties) ? IsEmpty<ExcessProperties> extends true ? VariantOfMessageProfile : never : Unreachable : Unreachable;
-type FindExcessPropertiesAgainst<Nachricht, MessageProfile> = Nachricht extends readonly unknown[] ? MessageProfile extends readonly unknown[] ? IsTuple<Nachricht> extends true ? IsTuple<MessageProfile> extends true ? FindExcessPropertiesBetweenTuples<Nachricht, MessageProfile> : FindExcessPropertiesBetweenTupleAndArray<Nachricht, MessageProfile> : FindExcessPropertiesBetweenArrays<Nachricht, MessageProfile> : StructuralIncompatibilityIssues : Nachricht extends object ? MessageProfile extends object ? FindExcessPropertiesBetweenObjects<Nachricht, MessageProfile> : StructuralIncompatibilityIssues : AllGood;
-type FindExcessPropertiesBetweenTuples<Nachricht extends readonly unknown[], MessageProfile extends readonly unknown[]> = { [Index in IndicesOfTuple<Nachricht>]: Index extends IndicesOfTuple<MessageProfile> ? FindExcessProperties<Nachricht[Index], MessageProfile[Index]> : Index; }[IndicesOfTuple<Nachricht>];
-type FindExcessPropertiesBetweenTupleAndArray<Nachricht extends readonly unknown[], MessageProfile extends readonly unknown[]> = { [Index in IndicesOfTuple<Nachricht>]: FindExcessProperties<Nachricht[Index], MessageProfile[number]>; }[IndicesOfTuple<Nachricht>];
-type FindExcessPropertiesBetweenArrays<Nachricht extends readonly unknown[], MessageProfile extends readonly unknown[]> = FindExcessProperties<Nachricht[number], MessageProfile[number]>;
-type FindExcessPropertiesBetweenObjects<Nachricht extends object, MessageProfile extends object> = Exclude<keyof Nachricht, keyof MessageProfile> | FindExcessPropertiesInSharedKeys<Nachricht, MessageProfile>;
-type FindExcessPropertiesInSharedKeys<Nachricht extends object, MessageProfile extends object> = { [Key in keyof Nachricht & keyof MessageProfile]: FindExcessProperties<Nachricht[Key], MessageProfile[Key]>; }[keyof Nachricht & keyof MessageProfile];
-type IsEmpty<MaybeEmpty> = [MaybeEmpty] extends [never] ? true : false;
-type AllGood = never;
-type Unreachable = never;
-/**
- * Nachricht and MessageProfile differ in a way they can't be compared with each
- * other to find excess properties. This is a separate and deeper issue to excess
- * properties. It is not a concern of the verification for no excess properties.
- * However, it must be distinctive in the type-level computation with a plain
- * `never` case, which in some cases indicates a positive match. Without, a
- * structural incompatible Nachricht would be reported as correct.
- */
-type StructuralIncompatibilityIssues = typeof StructuralIncompatibilityIssues;
-declare const StructuralIncompatibilityIssues: unique symbol;
+type VerifiedNachrichtOrErrors<Nachricht, _MessageProfile> = VerifiedNachricht<Nachricht>;
 //#endregion
 //#region src/generate-xml-document.d.ts
 type XjustizToolsConnectionParameter = {
@@ -3642,6 +3551,13 @@ type XjustizMessageXmlResult = {
  */
 declare function zahlungsklage(compose: <NachrichtenScope>(scope: ScopeToken<NachrichtenScope>) => VerifiedNachricht<Zahlungsklage<NachrichtenScope>>, xjustizToolsConnectionParameter: XjustizToolsConnectionParameter): Promise<XjustizMessageXmlResult>;
 /**
+ * **!!! WARNING !!!**
+ * Verification of constraints on a type-level is currently turned off due to
+ * technical limitations on dynamic input lists. You **MUST** take great care to
+ * not use the same identifier multiple times (uniqueness constraint) and include
+ * any referenced identifier declaration in the final message (referential
+ * integrity constraint). Until further updates, any violation passes silently.
+ *
  * Used as last step of composing a `Zahlungsklage` with the {@link zahlungsklage}
  * orchestrator to output a valid {@link VerifiedNachricht}. It will apply
  * multiple type-level computations to verify constraints like for identities or

package/dist/nachricht/zahlungsklage.js

@@ -2376,7 +2376,7 @@ function herstellerinformation() {
 	return {
 		nameDesProdukts: "Justizportal XJustiz Services",
 		herstellerDesProdukts: "Bundesministerium der Justiz und für Verbraucherschutz, ausgeführt durch DigitalService GmbH des Bundes",
-		version: "\"0.8.0\""
+		version: "\"0.9.0\""
 	};
 }
 //#endregion
@@ -3312,6 +3312,13 @@ function zahlungsklage(compose, xjustizToolsConnectionParameter) {
 	});
 }
 /**
+* **!!! WARNING !!!**
+* Verification of constraints on a type-level is currently turned off due to
+* technical limitations on dynamic input lists. You **MUST** take great care to
+* not use the same identifier multiple times (uniqueness constraint) and include
+* any referenced identifier declaration in the final message (referential
+* integrity constraint). Until further updates, any violation passes silently.
+*
 * Used as last step of composing a `Zahlungsklage` with the {@link zahlungsklage}
 * orchestrator to output a valid {@link VerifiedNachricht}. It will apply
 * multiple type-level computations to verify constraints like for identities or

package/package.json

@@ -1,7 +1,7 @@
 {
   "$schema": "https://www.schemastore.org/package.json",
   "name": "@digitalservicebund/a2j-xjustiz-bridge",
-  "version": "0.8.0",
+  "version": "0.9.0",
   "description": "Assisted composition of XJustiz messages that are ensured to be valid.",
   "author": "Team Court Communication (Access to Justice) - DigitalService GmbH des Bundes",
   "license": "MIT",