@techspokes/typescript-wsdl-client 1.1.3 → 1.1.5

package/dist/compiler/schemaAttributeGroupProperties.d.ts

@@ -0,0 +1,17 @@
+/** Literal effective attribute-group properties, separate from XML contributions. */
+import type { NodeId } from './canonicalGraph.js';
+import type { SemanticBudget } from './semanticBudget.js';
+import type { NamespaceConstraint, WildcardProcess } from './wildcardAlgebra.js';
+export type RawAttributeGroupProperties = Readonly<{
+    group: NodeId;
+    /** Complete component set; repeating the same identity adds no member. */
+    attributeUses: readonly NodeId[];
+    wildcard?: Readonly<{
+        namespace: NamespaceConstraint;
+        processContents: WildcardProcess;
+        sources: readonly NodeId[];
+    }>;
+}>;
+/** Data shape only; effective mapping and semantic validity require their owners. */
+export declare function validateRawAttributeGroupShape(value: unknown, budget: SemanticBudget): asserts value is RawAttributeGroupProperties;
+//# sourceMappingURL=schemaAttributeGroupProperties.d.ts.map

package/dist/compiler/schemaAttributeGroupProperties.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schemaAttributeGroupProperties.d.ts","sourceRoot":"","sources":["../../src/compiler/schemaAttributeGroupProperties.ts"],"names":[],"mappings":"AAAA,qFAAqF;AACrF,OAAO,KAAK,EAAC,MAAM,EAAC,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,EAAC,cAAc,EAAC,MAAM,qBAAqB,CAAC;AACxD,OAAO,KAAK,EAAC,mBAAmB,EAAE,eAAe,EAAC,MAAM,sBAAsB,CAAC;AAE/E,MAAM,MAAM,2BAA2B,GAAG,QAAQ,CAAC;IACjD,KAAK,EAAE,MAAM,CAAC;IACd,0EAA0E;IAC1E,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,QAAQ,CAAC,EAAE,QAAQ,CAAC;QAAC,SAAS,EAAE,mBAAmB,CAAC;QAAC,eAAe,EAAE,eAAe,CAAC;QAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;KAAC,CAAC,CAAC;CACrH,CAAC,CAAC;AAEH,qFAAqF;AACrF,wBAAgB,8BAA8B,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,cAAc,GAAG,OAAO,CAAC,KAAK,IAAI,2BAA2B,CAwCnI"}

package/dist/compiler/schemaAttributeGroupProperties.js

@@ -0,0 +1,53 @@
+/** Data shape only; effective mapping and semantic validity require their owners. */
+export function validateRawAttributeGroupShape(value, budget) {
+    const fail = () => { throw new TypeError('Invalid raw attribute group properties'); };
+    const object = (input, fields) => {
+        budget.chargeWork(3);
+        if (!input || typeof input !== 'object' || Array.isArray(input))
+            return fail();
+        const prototype = Object.getPrototypeOf(input);
+        if (prototype !== Object.prototype && prototype !== null)
+            return fail();
+        for (const key of fields) {
+            budget.chargeWork(46 + key.length);
+            const descriptor = Object.getOwnPropertyDescriptor(input, key);
+            if (descriptor && !('value' in descriptor))
+                return fail();
+        }
+        for (const key in input) {
+            budget.chargeWork(46 + key.length + fields.length);
+            const descriptor = Object.getOwnPropertyDescriptor(input, key);
+            if (!descriptor || !('value' in descriptor) || !fields.includes(key))
+                return fail();
+        }
+        return input;
+    };
+    const id = (input) => { budget.chargeWork(); if (typeof input !== 'string' || !input)
+        fail(); };
+    const list = (input, check) => {
+        budget.chargeWork();
+        if (!Array.isArray(input))
+            return fail();
+        for (let index = 0; index < input.length; index++) {
+            budget.chargeWork(60);
+            const descriptor = Object.getOwnPropertyDescriptor(input, index);
+            if (!descriptor || !('value' in descriptor))
+                return fail();
+            check(descriptor.value);
+        }
+    };
+    const raw = object(value, ['group', 'attributeUses', 'wildcard']);
+    id(raw['group']);
+    list(raw['attributeUses'], id);
+    if (raw['wildcard'] !== undefined) {
+        const wildcard = object(raw['wildcard'], ['namespace', 'processContents', 'sources']);
+        if (wildcard['processContents'] !== 'strict' && wildcard['processContents'] !== 'lax' && wildcard['processContents'] !== 'skip')
+            return fail();
+        const namespace = object(wildcard['namespace'], ['kind', 'namespaces']);
+        if (namespace['kind'] !== 'set' && namespace['kind'] !== 'not')
+            return fail();
+        list(namespace['namespaces'], item => { budget.chargeWork(); if (typeof item !== 'string')
+            fail(); });
+        list(wildcard['sources'], id);
+    }
+}

package/dist/compiler/schemaAttributeProperties.d.ts

@@ -0,0 +1,10 @@
+/** Explicit internal declared type; the canonical source record remains evidence. */
+import type { NodeId } from './canonicalGraph.js';
+import type { SemanticBudget } from './semanticBudget.js';
+import type { SemanticTypeReference } from './semanticTypeReference.js';
+export type RawAttributeProperties = Readonly<{
+    attribute: NodeId;
+    type: SemanticTypeReference;
+}>;
+export declare function validateRawAttributeShape(value: unknown, budget: SemanticBudget): value is RawAttributeProperties;
+//# sourceMappingURL=schemaAttributeProperties.d.ts.map

package/dist/compiler/schemaAttributeProperties.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schemaAttributeProperties.d.ts","sourceRoot":"","sources":["../../src/compiler/schemaAttributeProperties.ts"],"names":[],"mappings":"AAAA,qFAAqF;AACrF,OAAO,KAAK,EAAC,MAAM,EAAC,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,EAAC,cAAc,EAAC,MAAM,qBAAqB,CAAC;AAExD,OAAO,KAAK,EAAC,qBAAqB,EAAC,MAAM,4BAA4B,CAAC;AAEtE,MAAM,MAAM,sBAAsB,GAAG,QAAQ,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,qBAAqB,CAAA;CAAC,CAAC,CAAC;AAChG,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,cAAc,GAAG,KAAK,IAAI,sBAAsB,CAOjH"}

package/dist/compiler/schemaAttributeProperties.js

@@ -0,0 +1,11 @@
+import { assertSemanticTypeReferenceShape } from './semanticTypeReference.js';
+export function validateRawAttributeShape(value, budget) {
+    budget.chargeWork(110);
+    if (!value || typeof value !== 'object' || Array.isArray(value))
+        return false;
+    const attribute = Object.getOwnPropertyDescriptor(value, 'attribute'), type = Object.getOwnPropertyDescriptor(value, 'type');
+    if (!attribute || !('value' in attribute) || typeof attribute.value !== 'string' || !type || !('value' in type))
+        return false;
+    assertSemanticTypeReferenceShape(type.value, budget);
+    return true;
+}

package/dist/compiler/schemaAttributeUses.d.ts

@@ -0,0 +1,90 @@
+/** Original source AU semantics: AU01 C1, never QName-collapsed composition.
+ * This owner assesses actual source mapping. Abstract hypothetical construction
+ * has a separate domain gate and is not inferred from source inheritance.
+ */
+import type { AttributeNode, AttributeUseNode, NodeId } from './canonicalGraph.js';
+import type { ExpandedName, SyntaxSource } from '../loader/orderedSyntax.js';
+import type { SemanticContext } from './semanticContext.js';
+import type { ResourceLimitFailure } from './semanticBudget.js';
+import type { AssessedSchemaOperand } from './schemaScalarKernel.js';
+import type { ScalarObligation } from './scalarSchemaAssessment.js';
+import type { DeclarationReceipt } from './schemaDeclarationPrimitives.js';
+import type { NamespaceConstraint, WildcardProcess } from './wildcardAlgebra.js';
+import type { SemanticTypeDependency } from './semanticTypeReference.js';
+export type TypedAttributeConstraint = Readonly<{
+    kind: 'fixed' | 'default';
+    origin: 'use' | 'declaration';
+    value: AssessedSchemaOperand;
+}>;
+export type OriginalAttributeUse = Readonly<{
+    id: NodeId;
+    declaration: AttributeNode;
+    source: AttributeUseNode;
+    required: boolean;
+    own?: TypedAttributeConstraint;
+    declared?: TypedAttributeConstraint;
+    effective?: TypedAttributeConstraint;
+}>;
+export type AttributePresencePlan = Readonly<{
+    name: ExpandedName;
+    uses: readonly OriginalAttributeUse[];
+    required: boolean;
+    fixed: readonly TypedAttributeConstraint[];
+    absent: Readonly<{
+        kind: 'required' | 'unchanged' | 'conflict';
+    } | {
+        kind: 'augment';
+        witness: TypedAttributeConstraint;
+    }>;
+}>;
+export type AttributeWildcard = Readonly<{
+    namespace: NamespaceConstraint;
+    processContents: WildcardProcess;
+    sources: readonly NodeId[];
+}>;
+export type SourceAttributePlan = Readonly<{
+    owner: NodeId;
+    uses: readonly OriginalAttributeUse[];
+    attributes: readonly AttributePresencePlan[];
+    wildcard?: AttributeWildcard;
+    /** Valid source operands are retained even after a replacement/removal. */
+    schemaOperands: readonly OriginalAttributeUse[];
+    declarations: readonly DeclarationReceipt[];
+}>;
+export type AttributeFailure = Readonly<{
+    kind: 'invalid-schema' | 'candidate-rejected' | 'unsupported-capability' | 'unresolved';
+    rule: string;
+    component: NodeId;
+    source?: SyntaxSource;
+    contextId?: string;
+    message: string;
+}>;
+export type AttributeResult = Readonly<{
+    kind: 'checked';
+    contextId: string;
+    authority: 'AU01-C1-source-v1' | 'AU01-C1-raw-v2' | 'AU01-C1-original-construction-v1' | 'AU01-C1-raw-properties-v1' | 'AU01-C1-original-properties-v1';
+    value: SourceAttributePlan;
+    obligations: readonly string[];
+    scalarObligations: readonly ScalarObligation[];
+    typeDependencies: readonly SemanticTypeDependency[];
+}> | AttributeFailure | ResourceLimitFailure;
+export declare function assessSourceAttributeUses(context: SemanticContext, ownerId: NodeId): AttributeResult;
+/** Check one available original/fresh AU even if no effective type retains it. */
+export declare function assessAttributeUse(context: SemanticContext, useId: NodeId): AttributeResult;
+/** Literal abstract AU properties: no source union or inherited omission. */
+export declare function assessRawAttributeUses(context: SemanticContext, ownerId: NodeId): AttributeResult;
+/** Full current-context AU derivation, using guarded original data only when no raw row exists.
+ * Original inputs remain conditional on Γ mapping/source qualification from the
+ * whole actual assessment; this entry reruns all containing derivation checks in H.
+ */
+export declare function assessCandidateAttributeUses(context: SemanticContext, ownerId: NodeId): AttributeResult;
+/** Read complete effective AU properties without certifying the containing
+ * type's derivation. Individual AU/declaration/scalar premises remain checked.
+ */
+export declare function readRawAttributeProperties(context: SemanticContext, ownerId: NodeId): AttributeResult;
+/** Fixed original AU data, with individual facts checked in the current context.
+ * The original-properties authority is conditional on authentic Γ mapping/source
+ * qualification, supplied by the whole actual assessment, never an H aggregate receipt.
+ */
+export declare function readOriginalAttributeProperties(context: SemanticContext, ownerId: NodeId): AttributeResult;
+//# sourceMappingURL=schemaAttributeUses.d.ts.map

package/dist/compiler/schemaAttributeUses.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schemaAttributeUses.d.ts","sourceRoot":"","sources":["../../src/compiler/schemaAttributeUses.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAC,aAAa,EAAE,gBAAgB,EAA8B,MAAM,EAA6B,MAAM,qBAAqB,CAAC;AACzI,OAAO,KAAK,EAAC,YAAY,EAAE,YAAY,EAAC,MAAM,4BAA4B,CAAC;AAG3E,OAAO,KAAK,EAAC,eAAe,EAAC,MAAM,sBAAsB,CAAC;AAC1D,OAAO,KAAK,EAAC,oBAAoB,EAAC,MAAM,qBAAqB,CAAC;AAE9D,OAAO,KAAK,EAAC,qBAAqB,EAAe,MAAM,yBAAyB,CAAC;AACjF,OAAO,KAAK,EAAC,gBAAgB,EAAC,MAAM,6BAA6B,CAAC;AAIlE,OAAO,KAAK,EAAC,kBAAkB,EAAC,MAAM,kCAAkC,CAAC;AAEzE,OAAO,KAAK,EAAC,mBAAmB,EAAE,eAAe,EAAC,MAAM,sBAAsB,CAAC;AAE/E,OAAO,KAAK,EAAC,sBAAsB,EAAwB,MAAM,4BAA4B,CAAC;AAK9F,MAAM,MAAM,wBAAwB,GAAG,QAAQ,CAAC;IAAC,IAAI,EAAE,OAAO,GAAG,SAAS,CAAC;IAAC,MAAM,EAAE,KAAK,GAAG,aAAa,CAAC;IAAC,KAAK,EAAE,qBAAqB,CAAA;CAAC,CAAC,CAAC;AAC1I,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC1C,EAAE,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,aAAa,CAAC;IAAC,MAAM,EAAE,gBAAgB,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAC;IACpF,GAAG,CAAC,EAAE,wBAAwB,CAAC;IAAC,QAAQ,CAAC,EAAE,wBAAwB,CAAC;IAAC,SAAS,CAAC,EAAE,wBAAwB,CAAC;CAC3G,CAAC,CAAC;AACH,MAAM,MAAM,qBAAqB,GAAG,QAAQ,CAAC;IAC3C,IAAI,EAAE,YAAY,CAAC;IAAC,IAAI,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAC;IAC7E,KAAK,EAAE,SAAS,wBAAwB,EAAE,CAAC;IAC3C,MAAM,EAAE,QAAQ,CAAC;QAAC,IAAI,EAAE,UAAU,GAAG,WAAW,GAAG,UAAU,CAAA;KAAC,GAAG;QAAC,IAAI,EAAE,SAAS,CAAC;QAAC,OAAO,EAAE,wBAAwB,CAAA;KAAC,CAAC,CAAC;CACxH,CAAC,CAAC;AACH,MAAM,MAAM,iBAAiB,GAAG,QAAQ,CAAC;IAAC,SAAS,EAAE,mBAAmB,CAAC;IAAC,eAAe,EAAE,eAAe,CAAC;IAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;CAAC,CAAC,CAAC;AACzI,MAAM,MAAM,mBAAmB,GAAG,QAAQ,CAAC;IACzC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAAC,UAAU,EAAE,SAAS,qBAAqB,EAAE,CAAC;IAAC,QAAQ,CAAC,EAAE,iBAAiB,CAAC;IACjI,2EAA2E;IAC3E,cAAc,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAChD,YAAY,EAAE,SAAS,kBAAkB,EAAE,CAAC;CAC7C,CAAC,CAAC;AACH,MAAM,MAAM,gBAAgB,GAAG,QAAQ,CAAC;IAAC,IAAI,EAAE,gBAAgB,GAAG,oBAAoB,GAAG,wBAAwB,GAAG,YAAY,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,YAAY,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAC,CAAC,CAAC;AAChO,MAAM,MAAM,eAAe,GAAG,QAAQ,CAAC;IAAC,IAAI,EAAE,SAAS,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,mBAAmB,GAAG,gBAAgB,GAAG,kCAAkC,GAAG,2BAA2B,GAAG,gCAAgC,CAAC;IAAC,KAAK,EAAE,mBAAmB,CAAC;IAC9P,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,iBAAiB,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAAC,gBAAgB,EAAE,SAAS,sBAAsB,EAAE,CAAA;CAAC,CAAC,GAAG,gBAAgB,GAAG,oBAAoB,CAAC;AA6BlL,wBAAgB,yBAAyB,CAAC,OAAO,EAAE,eAAe,EAAE,OAAO,EAAE,MAAM,GAAG,eAAe,CAEpG;AAED,kFAAkF;AAClF,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,eAAe,EAAE,KAAK,EAAE,MAAM,GAAG,eAAe,CAO3F;AAED,6EAA6E;AAC7E,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,eAAe,EAAE,OAAO,EAAE,MAAM,GAAG,eAAe,CAEjG;AAED;;;GAGG;AACH,wBAAgB,4BAA4B,CAAC,OAAO,EAAE,eAAe,EAAE,OAAO,EAAE,MAAM,GAAG,eAAe,CAEvG;AAED;;GAEG;AACH,wBAAgB,0BAA0B,CAAC,OAAO,EAAE,eAAe,EAAE,OAAO,EAAE,MAAM,GAAG,eAAe,CAErG;AAED;;;GAGG;AACH,wBAAgB,+BAA+B,CAAC,OAAO,EAAE,eAAe,EAAE,OAAO,EAAE,MAAM,GAAG,eAAe,CAE1G"}