@techspokes/typescript-wsdl-client 1.1.4 → 1.1.8

package/dist/compiler/re01CandidateCorrespondence.d.ts

@@ -0,0 +1,85 @@
+/** Literal endpoint/property correspondence. No normalized-language equivalence. */
+import type { NodeId } from './canonicalGraph.js';
+import type { SemanticContext } from './semanticContext.js';
+import type { ResourceLimitFailure } from './semanticBudget.js';
+import { RE01_DERIVATION_DOMAIN } from './re01TypeProperties.js';
+import type { ScalarObligation } from './scalarSchemaAssessment.js';
+import type { SemanticTypeDependency, SemanticTypeReference } from './semanticTypeReference.js';
+export type CorrespondenceFailure = Readonly<{
+    kind: 'invalid-schema' | 'candidate-rejected' | 'invalid-evidence' | 'unresolved' | 'unsupported-capability';
+    rule: string;
+    component?: NodeId;
+    contextId?: string;
+    message: string;
+}>;
+export type CorrespondenceReceipt = Readonly<{
+    kind: 'checked';
+    authority: typeof RE01_DERIVATION_DOMAIN;
+    parentContext: string;
+    contextId: string;
+    target: NodeId;
+    intermediate: NodeId;
+    ancestor: SemanticTypeReference;
+    originalProperties: readonly NodeId[];
+    fresh: readonly NodeId[];
+    scalarObligations: readonly Readonly<{
+        contextId: string;
+        obligation: ScalarObligation;
+    }>[];
+    typeDependencies: readonly SemanticTypeDependency[];
+}>;
+export type CorrespondenceResult = CorrespondenceReceipt | CorrespondenceFailure | ResourceLimitFailure;
+export type Re01FreshAffiliationObstruction = Readonly<{
+    kind: 'proved-no-construction';
+    domain: typeof RE01_DERIVATION_DOMAIN;
+    scope: 'contextual-nonprimitive-two-step';
+    criterion: 'mandatory-fresh-affiliate-fixed-complex-ancestry';
+    actualContextId: string;
+    contextId: string;
+    target: NodeId;
+    ancestor: SemanticTypeReference;
+    affiliate: NodeId;
+    head: NodeId;
+    headType: NodeId;
+}>;
+export type Re01FreshAffiliationResult = Re01FreshAffiliationObstruction | Readonly<{
+    kind: 'not-established';
+    contextId: string;
+    target: NodeId;
+    message: string;
+}> | CorrespondenceFailure | ResourceLimitFailure;
+export declare function assertCandidateCorrespondence(context: SemanticContext, receipt: CorrespondenceReceipt): void;
+/** The selected ancestor is computed from the complete context, never selected by a caller label. */
+export declare function re01Ancestor(context: SemanticContext, target: NodeId): Readonly<{
+    kind: 'checked';
+    ancestor: SemanticTypeReference;
+    typeDependencies: readonly SemanticTypeDependency[];
+}> | CorrespondenceFailure | ResourceLimitFailure;
+/** A sufficient contextual contradiction, not a complete RE01 decision.
+ * Every fresh affiliate remains a child legality root in domain B. A complex
+ * head outside X -> E -> A's fixed chain cannot satisfy e-props-correct.4.
+ */
+export declare function proveRe01FreshAffiliationObstruction(actual: SemanticContext, parent: SemanticContext, target: NodeId): Re01FreshAffiliationResult;
+export declare function checkCandidateCorrespondence(actual: SemanticContext, parent: SemanticContext, candidate: SemanticContext, target: NodeId, intermediate: NodeId, ancestor: SemanticTypeReference): CorrespondenceResult;
+export type AdditiveSimplePropertyReceipt = Readonly<{
+    kind: 'checked-additive-simple-properties';
+    actualContextId: string;
+    contextId: string;
+    target: NodeId;
+    intermediate: NodeId;
+    representative: NodeId;
+    scalarObligations: readonly ScalarObligation[];
+    typeDependencies: readonly SemanticTypeDependency[];
+    datedInterpretation: 'unassessed';
+}>;
+/** Authenticate simple-content property correspondence independently of construction and dated interpretation. */
+export declare function assertAdditiveSimpleProperties(actual: SemanticContext, context: SemanticContext, receipt: AdditiveSimplePropertyReceipt): void;
+/** Compare fresh simple-content representatives with native effective source properties, preserving every original binding.
+ * @remarks Identity/name and derivation are deliberately distinct for the fresh restriction representative.
+ *   Its other effective complex properties must match the original target. The middle carries the same attributes
+ *   and extends the exact designated simple ancestor. Local legality, aggregate closure and dated interpretation
+ *   remain separate obligations; producer provenance labels grant none of them.
+ * @returns Authenticated native property correspondence or an explicit mismatch/unavailable/resource result.
+ * @throws TypeError For unauthenticated or unrelated contexts.
+ */
+export declare function checkAdditiveSimpleProperties(actual: SemanticContext, candidate: SemanticContext, target: NodeId, intermediate: NodeId, representative: NodeId): AdditiveSimplePropertyReceipt | CorrespondenceFailure | ResourceLimitFailure;