@techspokes/typescript-wsdl-client 1.1.3 → 1.1.5

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (360) hide show
  1. package/README.md +50 -1
  2. package/dist/app/generateApp.d.ts.map +1 -1
  3. package/dist/app/generateApp.js +8 -6
  4. package/dist/cli.js +49 -5
  5. package/dist/client/checkedDirectRuntime.d.ts +59 -0
  6. package/dist/client/checkedDirectRuntime.d.ts.map +1 -0
  7. package/dist/client/checkedDirectRuntime.js +23 -0
  8. package/dist/client/directClientRuntime.d.ts +49 -0
  9. package/dist/client/directClientRuntime.d.ts.map +1 -0
  10. package/dist/client/directClientRuntime.js +112 -0
  11. package/dist/client/directClientVersion.d.ts +4 -0
  12. package/dist/client/directClientVersion.d.ts.map +1 -0
  13. package/dist/client/directClientVersion.js +3 -0
  14. package/dist/client/generateClient.d.ts.map +1 -1
  15. package/dist/client/generateClient.js +22 -9
  16. package/dist/client/generateDirectClient.d.ts +14 -0
  17. package/dist/client/generateDirectClient.d.ts.map +1 -0
  18. package/dist/client/generateDirectClient.js +136 -0
  19. package/dist/compiler/buildCanonicalGraph.d.ts +7 -0
  20. package/dist/compiler/buildCanonicalGraph.d.ts.map +1 -0
  21. package/dist/compiler/buildCanonicalGraph.js +381 -0
  22. package/dist/compiler/canonicalGraph.d.ts +198 -0
  23. package/dist/compiler/canonicalGraph.d.ts.map +1 -0
  24. package/dist/compiler/canonicalGraph.js +37 -0
  25. package/dist/compiler/catalogErrors.d.ts +18 -0
  26. package/dist/compiler/catalogErrors.d.ts.map +1 -0
  27. package/dist/compiler/catalogErrors.js +86 -0
  28. package/dist/compiler/catalogProvenance.d.ts +15 -0
  29. package/dist/compiler/catalogProvenance.d.ts.map +1 -0
  30. package/dist/compiler/catalogProvenance.js +229 -0
  31. package/dist/compiler/checkedAssessment.d.ts +91 -0
  32. package/dist/compiler/checkedAssessment.d.ts.map +1 -0
  33. package/dist/compiler/checkedAssessment.js +300 -0
  34. package/dist/compiler/checkedSourcePreparation.d.ts +35 -0
  35. package/dist/compiler/checkedSourcePreparation.d.ts.map +1 -0
  36. package/dist/compiler/checkedSourcePreparation.js +131 -0
  37. package/dist/compiler/complexTypeContent.d.ts +59 -0
  38. package/dist/compiler/complexTypeContent.d.ts.map +1 -0
  39. package/dist/compiler/complexTypeContent.js +558 -0
  40. package/dist/compiler/composeCanonicalGraph.d.ts +69 -0
  41. package/dist/compiler/composeCanonicalGraph.d.ts.map +1 -0
  42. package/dist/compiler/composeCanonicalGraph.js +252 -0
  43. package/dist/compiler/dataOwnership.d.ts +22 -0
  44. package/dist/compiler/dataOwnership.d.ts.map +1 -0
  45. package/dist/compiler/dataOwnership.js +157 -0
  46. package/dist/compiler/datatypeValues.d.ts +47 -0
  47. package/dist/compiler/datatypeValues.d.ts.map +1 -0
  48. package/dist/compiler/datatypeValues.js +275 -0
  49. package/dist/compiler/directCodec.d.ts +59 -0
  50. package/dist/compiler/directCodec.d.ts.map +1 -0
  51. package/dist/compiler/directCodec.js +192 -0
  52. package/dist/compiler/directExecutionPolicy.d.ts +10 -0
  53. package/dist/compiler/directExecutionPolicy.d.ts.map +1 -0
  54. package/dist/compiler/directExecutionPolicy.js +17 -0
  55. package/dist/compiler/directOperation.d.ts +72 -0
  56. package/dist/compiler/directOperation.d.ts.map +1 -0
  57. package/dist/compiler/directOperation.js +282 -0
  58. package/dist/compiler/directSoap.d.ts +42 -0
  59. package/dist/compiler/directSoap.d.ts.map +1 -0
  60. package/dist/compiler/directSoap.js +298 -0
  61. package/dist/compiler/directSoapSource.d.ts +15 -0
  62. package/dist/compiler/directSoapSource.d.ts.map +1 -0
  63. package/dist/compiler/directSoapSource.js +86 -0
  64. package/dist/compiler/directSourceCapsule.d.ts +97 -0
  65. package/dist/compiler/directSourceCapsule.d.ts.map +1 -0
  66. package/dist/compiler/directSourceCapsule.js +305 -0
  67. package/dist/compiler/directStructure.d.ts +51 -0
  68. package/dist/compiler/directStructure.d.ts.map +1 -0
  69. package/dist/compiler/directStructure.js +252 -0
  70. package/dist/compiler/directStructurePlan.d.ts +16 -0
  71. package/dist/compiler/directStructurePlan.d.ts.map +1 -0
  72. package/dist/compiler/directStructurePlan.js +58 -0
  73. package/dist/compiler/directValues.d.ts +69 -0
  74. package/dist/compiler/directValues.d.ts.map +1 -0
  75. package/dist/compiler/directValues.js +282 -0
  76. package/dist/compiler/finiteRe01Verification.d.ts +140 -0
  77. package/dist/compiler/finiteRe01Verification.d.ts.map +1 -0
  78. package/dist/compiler/finiteRe01Verification.js +830 -0
  79. package/dist/compiler/graphTraversal.d.ts +11 -0
  80. package/dist/compiler/graphTraversal.d.ts.map +1 -0
  81. package/dist/compiler/graphTraversal.js +37 -0
  82. package/dist/compiler/hypotheticalScopedIdentity.d.ts +23 -0
  83. package/dist/compiler/hypotheticalScopedIdentity.d.ts.map +1 -0
  84. package/dist/compiler/hypotheticalScopedIdentity.js +81 -0
  85. package/dist/compiler/occurrenceAnalysis.d.ts +65 -0
  86. package/dist/compiler/occurrenceAnalysis.d.ts.map +1 -0
  87. package/dist/compiler/occurrenceAnalysis.js +300 -0
  88. package/dist/compiler/originalSourceMembership.d.ts +6 -0
  89. package/dist/compiler/originalSourceMembership.d.ts.map +1 -0
  90. package/dist/compiler/originalSourceMembership.js +31 -0
  91. package/dist/compiler/particleAttribution.d.ts +17 -0
  92. package/dist/compiler/particleAttribution.d.ts.map +1 -0
  93. package/dist/compiler/particleAttribution.js +474 -0
  94. package/dist/compiler/particleDeclarationConsistency.d.ts +24 -0
  95. package/dist/compiler/particleDeclarationConsistency.d.ts.map +1 -0
  96. package/dist/compiler/particleDeclarationConsistency.js +197 -0
  97. package/dist/compiler/particleExtension.d.ts +22 -0
  98. package/dist/compiler/particleExtension.d.ts.map +1 -0
  99. package/dist/compiler/particleExtension.js +119 -0
  100. package/dist/compiler/particleLocalAssessment.d.ts +20 -0
  101. package/dist/compiler/particleLocalAssessment.d.ts.map +1 -0
  102. package/dist/compiler/particleLocalAssessment.js +92 -0
  103. package/dist/compiler/particleRestriction.d.ts +24 -0
  104. package/dist/compiler/particleRestriction.d.ts.map +1 -0
  105. package/dist/compiler/particleRestriction.js +489 -0
  106. package/dist/compiler/particleSemanticView.d.ts +50 -0
  107. package/dist/compiler/particleSemanticView.d.ts.map +1 -0
  108. package/dist/compiler/particleSemanticView.js +297 -0
  109. package/dist/compiler/particleWildcardRelation.d.ts +88 -0
  110. package/dist/compiler/particleWildcardRelation.d.ts.map +1 -0
  111. package/dist/compiler/particleWildcardRelation.js +143 -0
  112. package/dist/compiler/re01CandidateCorrespondence.d.ts +64 -0
  113. package/dist/compiler/re01CandidateCorrespondence.d.ts.map +1 -0
  114. package/dist/compiler/re01CandidateCorrespondence.js +572 -0
  115. package/dist/compiler/re01TypeProperties.d.ts +71 -0
  116. package/dist/compiler/re01TypeProperties.d.ts.map +1 -0
  117. package/dist/compiler/re01TypeProperties.js +120 -0
  118. package/dist/compiler/re01TypePropertyValidation.d.ts +23 -0
  119. package/dist/compiler/re01TypePropertyValidation.d.ts.map +1 -0
  120. package/dist/compiler/re01TypePropertyValidation.js +161 -0
  121. package/dist/compiler/resolveCanonicalGraph.d.ts +38 -0
  122. package/dist/compiler/resolveCanonicalGraph.d.ts.map +1 -0
  123. package/dist/compiler/resolveCanonicalGraph.js +170 -0
  124. package/dist/compiler/scalarSchemaAssessment.d.ts +425 -0
  125. package/dist/compiler/scalarSchemaAssessment.d.ts.map +1 -0
  126. package/dist/compiler/scalarSchemaAssessment.js +5198 -0
  127. package/dist/compiler/schemaAttributeGroupProperties.d.ts +17 -0
  128. package/dist/compiler/schemaAttributeGroupProperties.d.ts.map +1 -0
  129. package/dist/compiler/schemaAttributeGroupProperties.js +53 -0
  130. package/dist/compiler/schemaAttributeProperties.d.ts +10 -0
  131. package/dist/compiler/schemaAttributeProperties.d.ts.map +1 -0
  132. package/dist/compiler/schemaAttributeProperties.js +11 -0
  133. package/dist/compiler/schemaAttributeUses.d.ts +90 -0
  134. package/dist/compiler/schemaAttributeUses.d.ts.map +1 -0
  135. package/dist/compiler/schemaAttributeUses.js +725 -0
  136. package/dist/compiler/schemaBinaryWordReconstruction.d.ts +10 -0
  137. package/dist/compiler/schemaBinaryWordReconstruction.d.ts.map +1 -0
  138. package/dist/compiler/schemaBinaryWordReconstruction.js +33 -0
  139. package/dist/compiler/schemaBuiltinFacets.d.ts +14 -0
  140. package/dist/compiler/schemaBuiltinFacets.d.ts.map +1 -0
  141. package/dist/compiler/schemaBuiltinFacets.js +51 -0
  142. package/dist/compiler/schemaCalendarImages.d.ts +8 -0
  143. package/dist/compiler/schemaCalendarImages.d.ts.map +1 -0
  144. package/dist/compiler/schemaCalendarImages.js +204 -0
  145. package/dist/compiler/schemaCalendarLanguage.d.ts +11 -0
  146. package/dist/compiler/schemaCalendarLanguage.d.ts.map +1 -0
  147. package/dist/compiler/schemaCalendarLanguage.js +227 -0
  148. package/dist/compiler/schemaComponentEquality.d.ts +28 -0
  149. package/dist/compiler/schemaComponentEquality.d.ts.map +1 -0
  150. package/dist/compiler/schemaComponentEquality.js +446 -0
  151. package/dist/compiler/schemaConstructionAssessment.d.ts +46 -0
  152. package/dist/compiler/schemaConstructionAssessment.d.ts.map +1 -0
  153. package/dist/compiler/schemaConstructionAssessment.js +663 -0
  154. package/dist/compiler/schemaDatatypeValues.d.ts +4 -0
  155. package/dist/compiler/schemaDatatypeValues.d.ts.map +1 -0
  156. package/dist/compiler/schemaDatatypeValues.js +2 -0
  157. package/dist/compiler/schemaDecimalLanguage.d.ts +7 -0
  158. package/dist/compiler/schemaDecimalLanguage.d.ts.map +1 -0
  159. package/dist/compiler/schemaDecimalLanguage.js +102 -0
  160. package/dist/compiler/schemaDeclarationPrimitives.d.ts +34 -0
  161. package/dist/compiler/schemaDeclarationPrimitives.d.ts.map +1 -0
  162. package/dist/compiler/schemaDeclarationPrimitives.js +194 -0
  163. package/dist/compiler/schemaDocumentSyntax.d.ts +55 -0
  164. package/dist/compiler/schemaDocumentSyntax.d.ts.map +1 -0
  165. package/dist/compiler/schemaDocumentSyntax.js +294 -0
  166. package/dist/compiler/schemaDurationLanguage.d.ts +11 -0
  167. package/dist/compiler/schemaDurationLanguage.d.ts.map +1 -0
  168. package/dist/compiler/schemaDurationLanguage.js +170 -0
  169. package/dist/compiler/schemaElementProperties.d.ts +16 -0
  170. package/dist/compiler/schemaElementProperties.d.ts.map +1 -0
  171. package/dist/compiler/schemaElementProperties.js +23 -0
  172. package/dist/compiler/schemaEndpointWordCapacity.d.ts +36 -0
  173. package/dist/compiler/schemaEndpointWordCapacity.d.ts.map +1 -0
  174. package/dist/compiler/schemaEndpointWordCapacity.js +39 -0
  175. package/dist/compiler/schemaExactCalendar.d.ts +73 -0
  176. package/dist/compiler/schemaExactCalendar.d.ts.map +1 -0
  177. package/dist/compiler/schemaExactCalendar.js +264 -0
  178. package/dist/compiler/schemaFacetAnnotation.d.ts +32 -0
  179. package/dist/compiler/schemaFacetAnnotation.d.ts.map +1 -0
  180. package/dist/compiler/schemaFacetAnnotation.js +199 -0
  181. package/dist/compiler/schemaGeneratedScalarShape.d.ts +35 -0
  182. package/dist/compiler/schemaGeneratedScalarShape.d.ts.map +1 -0
  183. package/dist/compiler/schemaGeneratedScalarShape.js +176 -0
  184. package/dist/compiler/schemaIdentityConstraints.d.ts +73 -0
  185. package/dist/compiler/schemaIdentityConstraints.d.ts.map +1 -0
  186. package/dist/compiler/schemaIdentityConstraints.js +362 -0
  187. package/dist/compiler/schemaIeeeLanguage.d.ts +43 -0
  188. package/dist/compiler/schemaIeeeLanguage.d.ts.map +1 -0
  189. package/dist/compiler/schemaIeeeLanguage.js +759 -0
  190. package/dist/compiler/schemaIntegerImages.d.ts +11 -0
  191. package/dist/compiler/schemaIntegerImages.d.ts.map +1 -0
  192. package/dist/compiler/schemaIntegerImages.js +113 -0
  193. package/dist/compiler/schemaLexicalPredicates.d.ts +29 -0
  194. package/dist/compiler/schemaLexicalPredicates.d.ts.map +1 -0
  195. package/dist/compiler/schemaLexicalPredicates.js +63 -0
  196. package/dist/compiler/schemaNotationProperties.d.ts +32 -0
  197. package/dist/compiler/schemaNotationProperties.d.ts.map +1 -0
  198. package/dist/compiler/schemaNotationProperties.js +84 -0
  199. package/dist/compiler/schemaNumericImageConditions.d.ts +24 -0
  200. package/dist/compiler/schemaNumericImageConditions.d.ts.map +1 -0
  201. package/dist/compiler/schemaNumericImageConditions.js +66 -0
  202. package/dist/compiler/schemaParticleWildcardProperties.d.ts +20 -0
  203. package/dist/compiler/schemaParticleWildcardProperties.d.ts.map +1 -0
  204. package/dist/compiler/schemaParticleWildcardProperties.js +43 -0
  205. package/dist/compiler/schemaPattern.d.ts +1062 -0
  206. package/dist/compiler/schemaPattern.d.ts.map +1 -0
  207. package/dist/compiler/schemaPattern.js +581 -0
  208. package/dist/compiler/schemaRegularLanguage.d.ts +67 -0
  209. package/dist/compiler/schemaRegularLanguage.d.ts.map +1 -0
  210. package/dist/compiler/schemaRegularLanguage.js +1166 -0
  211. package/dist/compiler/schemaScalarContext.d.ts +81 -0
  212. package/dist/compiler/schemaScalarContext.d.ts.map +1 -0
  213. package/dist/compiler/schemaScalarContext.js +78 -0
  214. package/dist/compiler/schemaScalarKernel.d.ts +182 -0
  215. package/dist/compiler/schemaScalarKernel.d.ts.map +1 -0
  216. package/dist/compiler/schemaScalarKernel.js +391 -0
  217. package/dist/compiler/schemaScalarWitnesses.d.ts +6 -0
  218. package/dist/compiler/schemaScalarWitnesses.d.ts.map +1 -0
  219. package/dist/compiler/schemaScalarWitnesses.js +118 -0
  220. package/dist/compiler/schemaSimpleTypeProperties.d.ts +95 -0
  221. package/dist/compiler/schemaSimpleTypeProperties.d.ts.map +1 -0
  222. package/dist/compiler/schemaSimpleTypeProperties.js +103 -0
  223. package/dist/compiler/schemaSourceGrammar.d.ts +27 -0
  224. package/dist/compiler/schemaSourceGrammar.d.ts.map +1 -0
  225. package/dist/compiler/schemaSourceGrammar.js +290 -0
  226. package/dist/compiler/schemaSourceLexical.d.ts +4 -0
  227. package/dist/compiler/schemaSourceLexical.d.ts.map +1 -0
  228. package/dist/compiler/schemaSourceLexical.js +12 -0
  229. package/dist/compiler/schemaSourceValues.d.ts +51 -0
  230. package/dist/compiler/schemaSourceValues.d.ts.map +1 -0
  231. package/dist/compiler/schemaSourceValues.js +225 -0
  232. package/dist/compiler/schemaSourceWildcards.d.ts +28 -0
  233. package/dist/compiler/schemaSourceWildcards.d.ts.map +1 -0
  234. package/dist/compiler/schemaSourceWildcards.js +247 -0
  235. package/dist/compiler/schemaSymbolicSequences.d.ts +16 -0
  236. package/dist/compiler/schemaSymbolicSequences.d.ts.map +1 -0
  237. package/dist/compiler/schemaSymbolicSequences.js +99 -0
  238. package/dist/compiler/schemaSymbolicValueSets.d.ts +32 -0
  239. package/dist/compiler/schemaSymbolicValueSets.d.ts.map +1 -0
  240. package/dist/compiler/schemaSymbolicValueSets.js +149 -0
  241. package/dist/compiler/schemaSyntaxAssessment.d.ts +25 -0
  242. package/dist/compiler/schemaSyntaxAssessment.d.ts.map +1 -0
  243. package/dist/compiler/schemaSyntaxAssessment.js +361 -0
  244. package/dist/compiler/schemaTemporalAliases.d.ts +6 -0
  245. package/dist/compiler/schemaTemporalAliases.d.ts.map +1 -0
  246. package/dist/compiler/schemaTemporalAliases.js +195 -0
  247. package/dist/compiler/schemaTokenImages.d.ts +9 -0
  248. package/dist/compiler/schemaTokenImages.d.ts.map +1 -0
  249. package/dist/compiler/schemaTokenImages.js +142 -0
  250. package/dist/compiler/schemaTypeIdentity.d.ts +39 -0
  251. package/dist/compiler/schemaTypeIdentity.d.ts.map +1 -0
  252. package/dist/compiler/schemaTypeIdentity.js +78 -0
  253. package/dist/compiler/schemaTypeRelations.d.ts +38 -0
  254. package/dist/compiler/schemaTypeRelations.d.ts.map +1 -0
  255. package/dist/compiler/schemaTypeRelations.js +576 -0
  256. package/dist/compiler/schemaUri.d.ts +13 -0
  257. package/dist/compiler/schemaUri.d.ts.map +1 -0
  258. package/dist/compiler/schemaUri.js +103 -0
  259. package/dist/compiler/schemaValueContext.d.ts +26 -0
  260. package/dist/compiler/schemaValueContext.d.ts.map +1 -0
  261. package/dist/compiler/schemaValueContext.js +1 -0
  262. package/dist/compiler/schemaValueImages.d.ts +10 -0
  263. package/dist/compiler/schemaValueImages.d.ts.map +1 -0
  264. package/dist/compiler/schemaValueImages.js +142 -0
  265. package/dist/compiler/schemaValueSequences.d.ts +15 -0
  266. package/dist/compiler/schemaValueSequences.d.ts.map +1 -0
  267. package/dist/compiler/schemaValueSequences.js +19 -0
  268. package/dist/compiler/semanticBudget.d.ts +50 -0
  269. package/dist/compiler/semanticBudget.d.ts.map +1 -0
  270. package/dist/compiler/semanticBudget.js +178 -0
  271. package/dist/compiler/semanticCatalog.d.ts +122 -0
  272. package/dist/compiler/semanticCatalog.d.ts.map +1 -0
  273. package/dist/compiler/semanticCatalog.js +160 -0
  274. package/dist/compiler/semanticContext.d.ts +172 -0
  275. package/dist/compiler/semanticContext.d.ts.map +1 -0
  276. package/dist/compiler/semanticContext.js +1168 -0
  277. package/dist/compiler/semanticTypeDependencies.d.ts +8 -0
  278. package/dist/compiler/semanticTypeDependencies.d.ts.map +1 -0
  279. package/dist/compiler/semanticTypeDependencies.js +64 -0
  280. package/dist/compiler/semanticTypeReference.d.ts +24 -0
  281. package/dist/compiler/semanticTypeReference.d.ts.map +1 -0
  282. package/dist/compiler/semanticTypeReference.js +36 -0
  283. package/dist/compiler/shapeResolver.d.ts +1 -0
  284. package/dist/compiler/shapeResolver.d.ts.map +1 -1
  285. package/dist/compiler/shapeResolver.js +7 -9
  286. package/dist/compiler/sourceSchemaBinding.d.ts +26 -0
  287. package/dist/compiler/sourceSchemaBinding.d.ts.map +1 -0
  288. package/dist/compiler/sourceSchemaBinding.js +39 -0
  289. package/dist/compiler/structuralCompanions.d.ts +16 -0
  290. package/dist/compiler/structuralCompanions.d.ts.map +1 -0
  291. package/dist/compiler/structuralCompanions.js +232 -0
  292. package/dist/compiler/validateSemanticGraph.d.ts +5 -0
  293. package/dist/compiler/validateSemanticGraph.d.ts.map +1 -0
  294. package/dist/compiler/validateSemanticGraph.js +376 -0
  295. package/dist/compiler/wildcardAlgebra.d.ts +26 -0
  296. package/dist/compiler/wildcardAlgebra.d.ts.map +1 -0
  297. package/dist/compiler/wildcardAlgebra.js +155 -0
  298. package/dist/gateway/generateGateway.d.ts.map +1 -1
  299. package/dist/gateway/generateGateway.js +2 -2
  300. package/dist/index.d.ts +3 -0
  301. package/dist/index.d.ts.map +1 -1
  302. package/dist/index.js +2 -0
  303. package/dist/loader/orderedSyntax.d.ts +77 -0
  304. package/dist/loader/orderedSyntax.d.ts.map +1 -0
  305. package/dist/loader/orderedSyntax.js +202 -0
  306. package/dist/loader/resolutionDepth.d.ts +7 -0
  307. package/dist/loader/resolutionDepth.d.ts.map +1 -0
  308. package/dist/loader/resolutionDepth.js +65 -0
  309. package/dist/loader/schemaInput.d.ts +53 -0
  310. package/dist/loader/schemaInput.d.ts.map +1 -0
  311. package/dist/loader/schemaInput.js +212 -0
  312. package/dist/loader/schemaResources.d.ts +59 -0
  313. package/dist/loader/schemaResources.d.ts.map +1 -0
  314. package/dist/loader/schemaResources.js +292 -0
  315. package/dist/openapi/generateOpenAPI.d.ts.map +1 -1
  316. package/dist/openapi/generateOpenAPI.js +2 -2
  317. package/dist/test/generateTests.d.ts.map +1 -1
  318. package/dist/test/generateTests.js +2 -2
  319. package/dist/util/xmlWhitespace.d.ts +3 -0
  320. package/dist/util/xmlWhitespace.d.ts.map +1 -0
  321. package/dist/util/xmlWhitespace.js +4 -0
  322. package/docs/README.md +14 -1
  323. package/docs/architecture.md +9 -0
  324. package/docs/cli-reference.md +21 -1
  325. package/docs/content-model-analysis.md +92 -0
  326. package/docs/content-model-baseline.md +121 -0
  327. package/docs/content-model-catalog.md +116 -0
  328. package/docs/content-model-companions.md +90 -0
  329. package/docs/content-model-composition.md +103 -0
  330. package/docs/content-model-decisions.md +79 -0
  331. package/docs/content-model-gateway-feasibility.md +169 -0
  332. package/docs/content-model-graph.md +121 -0
  333. package/docs/content-model-loading.md +163 -0
  334. package/docs/content-model-matching.md +85 -0
  335. package/docs/content-model-readiness.md +144 -0
  336. package/docs/content-model-resolution.md +81 -0
  337. package/docs/content-model-s02-handoff.md +98 -0
  338. package/docs/content-model-s06-au-01.md +425 -0
  339. package/docs/content-model-s06-dt-01.md +386 -0
  340. package/docs/content-model-s06-pw-01.md +350 -0
  341. package/docs/content-model-s06-re-01-resolver-implementation.md +869 -0
  342. package/docs/content-model-s06-re-01-resolver.md +513 -0
  343. package/docs/content-model-s06-re-01-scalar-witnesses.md +1423 -0
  344. package/docs/content-model-s06-re-01-support-reconstruction.md +6337 -0
  345. package/docs/content-model-s06-re-01.md +7477 -0
  346. package/docs/content-model-s06-research-handoff.md +909 -0
  347. package/docs/content-model-shipped-fix.md +83 -0
  348. package/docs/content-model-soap-feasibility.md +165 -0
  349. package/docs/decisions/002-streamable-responses.md +2 -0
  350. package/docs/decisions/003-content-model-contracts.md +280 -0
  351. package/docs/direct-values.md +311 -0
  352. package/docs/generated-code.md +4 -0
  353. package/docs/reference-validation.md +243 -0
  354. package/docs/releases/v1.1.4.md +36 -0
  355. package/docs/releases/v1.1.5.md +38 -0
  356. package/docs/roadmap/README.md +2 -2
  357. package/docs/supported-patterns.md +13 -5
  358. package/package.json +27 -13
  359. package/src/generation/preambles/direct-client/typescript.preamble +3 -0
  360. package/src/runtime/clientStreamMethods.tpl.txt +1 -1
@@ -0,0 +1,282 @@
1
+ import { directDataOwnership, directLimit } from './directExecutionPolicy.js';
2
+ /** Internal direct value chain. No XML encoding, transport or runtime admission. */
3
+ import { checkSemanticBudget } from './semanticBudget.js';
4
+ import { DataOwnershipLimitError } from './dataOwnership.js';
5
+ import { inspectDirectOperation } from './directOperation.js';
6
+ import { inspectDirectStructuralMatch, matchDirectOperation } from './directStructure.js';
7
+ import { planDirectRoot } from './directStructurePlan.js';
8
+ import { datatypeValues, normalizeWhitespace, whitespaceFor } from './datatypeValues.js';
9
+ /** Inverse construction caps; XML encoding may impose smaller byte/text/node limits. */
10
+ export const DIRECT_VALUE_LIMITS = Object.freeze({ maxText: 1024 * 1024, maxItems: 100_000 });
11
+ export const DIRECT_VALUE_VERSION = 'direct-values-v1';
12
+ export const DIRECT_SCALAR_POLICY = 'direct-string-boolean-int-v1';
13
+ const mappings = new WeakMap();
14
+ const values = new WeakMap();
15
+ const expansions = new WeakMap();
16
+ function authentic(registry, receipt, contract, label) {
17
+ if (!receipt || typeof receipt !== 'object' || registry.get(receipt) !== contract)
18
+ throw new TypeError(`Unauthenticated or foreign direct ${label}`);
19
+ inspectDirectOperation(contract);
20
+ return receipt;
21
+ }
22
+ /** Inspection is identity-only; operational consumers still check native authority and limits. */
23
+ export function inspectDirectValueMapping(mapping, contract) {
24
+ return authentic(mappings, mapping, contract, 'mapping');
25
+ }
26
+ export function inspectDirectValue(value, contract) {
27
+ return authentic(values, value, contract, 'value');
28
+ }
29
+ export function inspectDirectExpandedValue(value, contract) {
30
+ return authentic(expansions, value, contract, 'expansion');
31
+ }
32
+ class Stop extends Error {
33
+ kind;
34
+ rule;
35
+ schemaPath;
36
+ payloadPath;
37
+ constructor(kind, rule, schemaPath, payloadPath) {
38
+ super(rule);
39
+ this.kind = kind;
40
+ this.rule = rule;
41
+ this.schemaPath = schemaPath;
42
+ this.payloadPath = payloadPath;
43
+ }
44
+ }
45
+ function run(contract, options, work) {
46
+ const { budget } = inspectDirectOperation(contract).context;
47
+ const check = () => { checkSemanticBudget(budget); if (options.signal?.aborted)
48
+ throw new Stop('cancelled', 'cooperative-cancellation'); };
49
+ try {
50
+ const result = budget.guard(() => {
51
+ check();
52
+ return work({ budget, check, publish(value) {
53
+ directDataOwnership(budget).freeze(value);
54
+ check();
55
+ return Object.freeze({ ...value, usage: Object.freeze({ ...budget.usage() }) });
56
+ } });
57
+ });
58
+ if (budget.exhausted())
59
+ return Object.freeze({ kind: 'resource-limit', rule: 'request-budget', usage: budget.usage() });
60
+ return result;
61
+ }
62
+ catch (error) {
63
+ if (budget.exhausted())
64
+ return { kind: 'resource-limit', rule: 'request-budget', usage: budget.usage() };
65
+ if (error instanceof DataOwnershipLimitError)
66
+ return { kind: 'resource-limit', rule: error.message, usage: budget.usage() };
67
+ if (error instanceof Stop)
68
+ return Object.freeze({ kind: error.kind, rule: error.rule, schemaPath: error.schemaPath,
69
+ payloadPath: error.payloadPath, usage: Object.freeze({ ...budget.usage() }) });
70
+ throw error;
71
+ }
72
+ }
73
+ function mappingFor(contract, direction, s) {
74
+ const { context } = inspectDirectOperation(contract);
75
+ const { budget, check } = s;
76
+ const owned = directDataOwnership(budget).snapshot(direction, check);
77
+ if (!owned || typeof owned !== 'object' || Array.isArray(owned))
78
+ throw new TypeError('Data-only direct direction required');
79
+ let root;
80
+ if (owned.kind === 'input' || owned.kind === 'output')
81
+ root = contract[owned.kind];
82
+ else if (owned.kind === 'fault' && typeof owned.name === 'string') {
83
+ const fault = contract.faults.find(f => budget.compareText(f.name, owned.name) === 0);
84
+ if (!fault)
85
+ throw new Stop('unsupported', 'unknown-fault');
86
+ root = fault.root;
87
+ }
88
+ else
89
+ throw new Stop('unsupported', 'unknown-direction');
90
+ const plan = planDirectRoot(context, root, check, () => { throw new Stop('unsupported', 'native-direct-shape', root.element.context.source.path); });
91
+ const mapping = s.publish({ kind: 'direct-mapping', version: DIRECT_VALUE_VERSION, admitted: false,
92
+ root, direction: owned.kind === 'fault' ? { kind: 'fault', name: owned.name } : { kind: owned.kind }, contextId: context.contextId, ...plan });
93
+ mappings.set(mapping, contract);
94
+ return mapping;
95
+ }
96
+ /** Includes absent optional/zero-count slots; no observed payload is needed. */
97
+ export function createDirectValueMapping(contract, direction, options = {}) {
98
+ return run(contract, options, s => mappingFor(contract, direction, s));
99
+ }
100
+ function scalar(duty, s) {
101
+ const { budget, check } = s;
102
+ const fail = (_owner, rule) => { throw new Stop('scalar-invalid', rule, duty.schemaPath, duty.payloadPath); };
103
+ const unavailable = () => { throw new Stop('unsupported', 'direct-datatype-prerequisite', duty.schemaPath, duty.payloadPath); };
104
+ // This is a neutral lexical operand, not a schema LexicalValue or checked receipt.
105
+ const core = datatypeValues({
106
+ step: (_owner, count = 1) => { check(); budget.chargeWork(count); },
107
+ text: text => { check(); return text; },
108
+ fail, unsupported: unavailable, unresolved: unavailable, notation: unavailable,
109
+ });
110
+ const result = core.atomic(duty.builtin.local, { value: duty.lexical, context: { namespaces: duty.namespaces, source: duty.payloadSource } }, duty);
111
+ const value = duty.builtin.local === 'int' ? Number(result.canonical) : duty.builtin.local === 'boolean' ? result.canonical === 'true' : result.canonical;
112
+ return { ...duty, normalized: normalizeWhitespace(duty.lexical, whitespaceFor(duty.builtin.local)), canonical: result.canonical, value };
113
+ }
114
+ function assessed(contract, structural, mapping, s) {
115
+ const { budget, check } = s;
116
+ const operands = [];
117
+ for (const duty of structural.occurrences) {
118
+ check();
119
+ operands.push(scalar(duty, s));
120
+ }
121
+ let value;
122
+ if (mapping.rootBuiltin)
123
+ value = operands[0].value;
124
+ else {
125
+ const record = Object.create(null);
126
+ let cursor = 0;
127
+ for (const slot of mapping.slots) {
128
+ check();
129
+ const key = slot.element.name.local;
130
+ if (slot.particle.occurs.max === 'unbounded') {
131
+ const items = [];
132
+ record[key] = items;
133
+ while (cursor < operands.length && operands[cursor].declaration === slot.element) {
134
+ check();
135
+ items.push(operands[cursor++].value);
136
+ }
137
+ }
138
+ else if (cursor < operands.length && operands[cursor].declaration === slot.element)
139
+ record[key] = operands[cursor++].value;
140
+ }
141
+ value = record;
142
+ }
143
+ const receipt = s.publish({ kind: 'direct-value', scope: 'direct-structure-and-scalars', admitted: false,
144
+ mapping, structural, operands, value });
145
+ values.set(receipt, contract);
146
+ return receipt;
147
+ }
148
+ export function assessDirectScalars(contract, match, options = {}) {
149
+ const structural = inspectDirectStructuralMatch(match, contract);
150
+ return run(contract, options, s => {
151
+ s.check();
152
+ const mapping = mappingFor(contract, structural.direction, s);
153
+ if (mapping.root !== structural.root)
154
+ throw new TypeError('Foreign direct root');
155
+ return assessed(contract, structural, mapping, s);
156
+ });
157
+ }
158
+ /** Pure shape validation plus lexical reconstruction, followed by existing validators. */
159
+ export function expandDirectValue(contract, suppliedMapping, application, options = {}) {
160
+ const mapping = inspectDirectValueMapping(suppliedMapping, contract);
161
+ return run(contract, options, s => {
162
+ const { budget, check } = s;
163
+ const invalid = (rule, path = '/value') => { throw new Stop('value-invalid', rule, mapping.root.element.context.source.path, path); };
164
+ let textUnits = 0, items = 0;
165
+ const data = (object, key) => {
166
+ check();
167
+ const descriptor = Object.getOwnPropertyDescriptor(object, key);
168
+ if (!descriptor || !('value' in descriptor) || !descriptor.enumerable && !(Array.isArray(object) && key === 'length'))
169
+ return invalid('own-data-property');
170
+ return descriptor.value;
171
+ };
172
+ const keys = (object, maximum) => {
173
+ // Refuse extra keys without traversal. Reflect.ownKeys still allocates its
174
+ // intrinsic vector before we can inspect its size; no hard heap bound is claimed.
175
+ check();
176
+ const result = Reflect.ownKeys(object);
177
+ if (result.length > maximum)
178
+ return invalid('unknown-key');
179
+ return result;
180
+ };
181
+ const spelling = (value, builtin) => {
182
+ check();
183
+ if (builtin.local === 'string') {
184
+ if (typeof value !== 'string')
185
+ return invalid('string-required');
186
+ if (value.length > (options.maxText ?? directLimit(budget, DIRECT_VALUE_LIMITS.maxText)) - textUnits)
187
+ throw new Stop('resource-limit', 'application text limit');
188
+ textUnits += value.length;
189
+ return value;
190
+ }
191
+ if (builtin.local === 'boolean') {
192
+ if (typeof value !== 'boolean')
193
+ return invalid('boolean-required');
194
+ return value ? 'true' : 'false';
195
+ }
196
+ if (typeof value !== 'number' || !Number.isInteger(value))
197
+ return invalid('integer-number-required');
198
+ // Range and XML lexical validity are checked by the same neutral core below.
199
+ return String(value === 0 ? 0 : value);
200
+ };
201
+ const source = (path) => {
202
+ return { uri: 'urn:typescript-wsdl-client:generated-direct-value', digest: '', path,
203
+ start: { offset: 0, line: 0, column: 0 }, end: { offset: 0, line: 0, column: 0 } };
204
+ };
205
+ const leaf = (name, lexical, path) => {
206
+ check();
207
+ if (++items > (options.maxItems ?? directLimit(budget, DIRECT_VALUE_LIMITS.maxItems)))
208
+ throw new Stop('resource-limit', 'application item limit');
209
+ return { kind: 'element', name, lexicalName: name.local, namespaces: Object.create(null),
210
+ baseUri: 'urn:typescript-wsdl-client:generated-direct-value', attributes: [], source: source(path),
211
+ children: [{ kind: 'text', value: lexical, source: source(path + '/text') }] };
212
+ };
213
+ let payload;
214
+ if (mapping.rootBuiltin)
215
+ payload = leaf(mapping.root.element.name, spelling(application, mapping.rootBuiltin), '/0');
216
+ else {
217
+ if (!application || typeof application !== 'object' || Array.isArray(application))
218
+ return invalid('record-required');
219
+ check();
220
+ const proto = Object.getPrototypeOf(application);
221
+ if (proto !== Object.prototype && proto !== null)
222
+ return invalid('plain-record-required');
223
+ const declared = new Set();
224
+ for (const slot of mapping.slots) {
225
+ check();
226
+ declared.add(slot.element.name.local);
227
+ }
228
+ for (const key of keys(application, mapping.slots.length)) {
229
+ check();
230
+ if (typeof key !== 'string')
231
+ return invalid('unknown-key');
232
+ if (!declared.has(key))
233
+ return invalid('unknown-key');
234
+ data(application, key);
235
+ }
236
+ const children = [];
237
+ for (const slot of mapping.slots) {
238
+ check();
239
+ const key = slot.element.name.local;
240
+ if (!Object.hasOwn(application, key)) {
241
+ if (slot.particle.occurs.max === 'unbounded' || slot.particle.occurs.min === '1')
242
+ return invalid('missing-member');
243
+ continue;
244
+ }
245
+ const value = data(application, key);
246
+ const append = (item) => { check(); children.push(leaf(slot.element.name, spelling(item, slot.builtin), `/0/children/${children.length}`)); };
247
+ if (slot.particle.occurs.max === 'unbounded') {
248
+ if (!Array.isArray(value) || Object.getPrototypeOf(value) !== Array.prototype)
249
+ return invalid('dense-array-required');
250
+ const length = data(value, 'length');
251
+ if (length > (options.maxItems ?? directLimit(budget, DIRECT_VALUE_LIMITS.maxItems)) - items)
252
+ throw new Stop('resource-limit', 'application item limit');
253
+ if (slot.particle.occurs.min === '1' && length === 0)
254
+ return invalid('required-repetition');
255
+ // Check actual repetition length before key enumeration or inverse construction.
256
+ const own = keys(value, length + 1);
257
+ if (own.length !== length + 1)
258
+ return invalid('dense-array-required');
259
+ for (let i = 0; i < length; i++) {
260
+ check();
261
+ append(data(value, String(i)));
262
+ }
263
+ }
264
+ else
265
+ append(value);
266
+ }
267
+ payload = { kind: 'element', name: mapping.root.element.name, lexicalName: mapping.root.element.name.local,
268
+ namespaces: Object.create(null), baseUri: 'urn:typescript-wsdl-client:generated-direct-value',
269
+ attributes: [], source: source('/0'), children };
270
+ }
271
+ const structural = matchDirectOperation(contract, mapping.direction, payload, options);
272
+ if (structural.kind !== 'structural-match') {
273
+ if (structural.kind === 'mismatch')
274
+ throw new Error('Internal direct expansion violated its source mapping');
275
+ throw new Stop(structural.kind, structural.rule, structural.schemaPath, structural.payloadPath);
276
+ }
277
+ const validated = assessed(contract, structural, mapping, s);
278
+ const expanded = s.publish({ kind: 'direct-expanded', provenance: 'generated-direct-value', admitted: false, payload, validated });
279
+ expansions.set(expanded, contract);
280
+ return expanded;
281
+ });
282
+ }
@@ -0,0 +1,140 @@
1
+ /** Complete verification of supplied finite evidence, never universal witness search. */
2
+ import type { NodeId } from './canonicalGraph.js';
3
+ import type { SemanticContext } from './semanticContext.js';
4
+ import type { ResourceLimitFailure } from './semanticBudget.js';
5
+ import type { ComponentConstructionReceipt, ConstructionObligation } from './schemaConstructionAssessment.js';
6
+ import type { CorrespondenceReceipt, CorrespondenceFailure } from './re01CandidateCorrespondence.js';
7
+ import { RE01_DERIVATION_DOMAIN } from './re01TypeProperties.js';
8
+ import type { SchemaNotationProperties } from './schemaNotationProperties.js';
9
+ import type { GeneratedScalarResult } from './schemaScalarKernel.js';
10
+ import type { SemanticTypeDependency, SemanticTypeReference } from './semanticTypeReference.js';
11
+ import type { IdentityConstraintReceipt } from './schemaIdentityConstraints.js';
12
+ export type FiniteScalarSlotReceipt = Extract<GeneratedScalarResult, {
13
+ kind: 'checked';
14
+ }>;
15
+ export type FiniteRe01EvidenceNode = Readonly<{
16
+ id: string;
17
+ parent: SemanticContext;
18
+ context: SemanticContext;
19
+ target: NodeId;
20
+ intermediate: NodeId;
21
+ ancestor: SemanticTypeReference;
22
+ /** References to concrete evidence for generated hypothetical RE01 premises. */
23
+ premises: readonly string[];
24
+ }>;
25
+ export type FiniteRe01Evidence = Readonly<{
26
+ root: string;
27
+ nodes: readonly FiniteRe01EvidenceNode[];
28
+ }>;
29
+ /** The existing primitive identity rule needs no hypothetical endpoint. */
30
+ export type FiniteRe01PrimitiveEvidence = Readonly<{
31
+ root: Readonly<{
32
+ kind: 'primitive-no-change';
33
+ }>;
34
+ /** Supplied constructions for any other nonprimitive actual obligations. */
35
+ nodes: readonly FiniteRe01EvidenceNode[];
36
+ }>;
37
+ export type FiniteVerificationFailure = CorrespondenceFailure & Readonly<{
38
+ contextId?: string;
39
+ }>;
40
+ export type FiniteNotationReceipt = Readonly<{
41
+ contextId: string;
42
+ properties: SchemaNotationProperties;
43
+ origin: 'original' | 'addition';
44
+ }>;
45
+ export type FiniteProofStep = Readonly<{
46
+ evidence: string;
47
+ parentContext: string;
48
+ contextId: string;
49
+ target: NodeId;
50
+ correspondence: CorrespondenceReceipt;
51
+ components: readonly ComponentConstructionReceipt[];
52
+ scalarSlots: readonly FiniteScalarSlotReceipt[];
53
+ notations: readonly FiniteNotationReceipt[];
54
+ identityConstraints: readonly IdentityConstraintReceipt[];
55
+ premises: readonly string[];
56
+ primitiveNoChange: readonly NodeId[];
57
+ }>;
58
+ export type FiniteCandidateReceipt = Readonly<{
59
+ kind: 'checked-candidate';
60
+ authority: 'RE01-finite-evidence-v1';
61
+ domain: typeof RE01_DERIVATION_DOMAIN;
62
+ scope: 'supplied-construction-and-finite-evidence';
63
+ actualContextId: string;
64
+ target: NodeId;
65
+ root: string;
66
+ actualComponents: readonly ComponentConstructionReceipt[];
67
+ actualPrimitiveNoChange: readonly NodeId[];
68
+ actualScalarSlots: readonly FiniteScalarSlotReceipt[];
69
+ actualNotations: readonly FiniteNotationReceipt[];
70
+ actualIdentityConstraints: readonly IdentityConstraintReceipt[];
71
+ proof: readonly FiniteProofStep[];
72
+ claims: Readonly<{
73
+ actualObligations: 'checked';
74
+ suppliedCandidate: 'checked';
75
+ universalCoverage: false;
76
+ completeNegativeAnswer: false;
77
+ searchTermination: false;
78
+ }>;
79
+ }>;
80
+ export type FiniteVerificationResult = FiniteCandidateReceipt | FiniteVerificationFailure | ResourceLimitFailure;
81
+ export type FinitePrimitiveReceipt = Omit<FiniteCandidateReceipt, 'kind' | 'scope' | 'root' | 'claims'> & Readonly<{
82
+ kind: 'checked-primitive';
83
+ scope: 'primitive-no-change-and-finite-evidence';
84
+ root: 'primitive-no-change';
85
+ claims: Readonly<{
86
+ actualObligations: 'checked';
87
+ primitiveTarget: 'checked';
88
+ universalCoverage: false;
89
+ completeNegativeAnswer: false;
90
+ searchTermination: false;
91
+ }>;
92
+ }>;
93
+ export type FinitePrimitiveVerificationResult = FinitePrimitiveReceipt | FiniteVerificationFailure | ResourceLimitFailure;
94
+ /** A requirement inspection is not a successful finite witness. */
95
+ export type FiniteRe01Frontier = Readonly<{
96
+ kind: 'inspected-frontier';
97
+ context: SemanticContext;
98
+ requirements: readonly Readonly<{
99
+ target: NodeId;
100
+ ancestor: SemanticTypeReference;
101
+ primitive: boolean;
102
+ }>[];
103
+ components: readonly ComponentConstructionReceipt[];
104
+ scalarSlots: readonly FiniteScalarSlotReceipt[];
105
+ notations: readonly FiniteNotationReceipt[];
106
+ identityConstraints: readonly IdentityConstraintReceipt[];
107
+ correspondence?: CorrespondenceReceipt;
108
+ deferred: readonly Readonly<{
109
+ context: SemanticContext;
110
+ obligation: ConstructionObligation;
111
+ }>[];
112
+ typeDependencies: readonly Readonly<{
113
+ from: SemanticContext;
114
+ dependency: SemanticTypeDependency;
115
+ }>[];
116
+ }>;
117
+ export type FiniteRe01Hypothesis = Omit<FiniteRe01EvidenceNode, 'id' | 'premises'>;
118
+ export type FiniteRe01FrontierResult = FiniteRe01Frontier | FiniteVerificationFailure | ResourceLimitFailure;
119
+ export type FiniteRe01FrontierSession = Readonly<{
120
+ kind: 'native-frontier-session';
121
+ actual: FiniteRe01Frontier;
122
+ inspectCandidate(hypothesis: FiniteRe01Hypothesis): FiniteRe01FrontierResult;
123
+ }>;
124
+ export declare function assertFiniteRe01Frontier(context: SemanticContext, frontier: FiniteRe01Frontier): void;
125
+ /** Internal native collection authority shared by supplied verification and research construction. */
126
+ export declare function prepareFiniteRe01Frontier(actual: SemanticContext): FiniteRe01FrontierSession | FiniteVerificationFailure | ResourceLimitFailure;
127
+ export declare function assertFiniteCandidateReceipt(actual: SemanticContext, receipt: FiniteCandidateReceipt): void;
128
+ export declare function assertFinitePrimitiveReceipt(actual: SemanticContext, receipt: FinitePrimitiveReceipt): void;
129
+ export declare function verifyFiniteRe01Evidence(actual: SemanticContext, target: NodeId, supplied: FiniteRe01Evidence): FiniteVerificationResult;
130
+ export declare function verifyFiniteRe01Evidence(actual: SemanticContext, target: NodeId, supplied: FiniteRe01PrimitiveEvidence): FinitePrimitiveVerificationResult;
131
+ export declare function verifyFiniteRe01Evidence(actual: SemanticContext, target: NodeId, supplied: FiniteRe01Evidence | FiniteRe01PrimitiveEvidence): FiniteVerificationResult | FinitePrimitiveVerificationResult;
132
+ /** Reuse native actual preparation within one authenticated research request. */
133
+ export declare function verifyFiniteRe01EvidenceWithFrontier(actual: SemanticContext, target: NodeId, supplied: FiniteRe01Evidence | FiniteRe01PrimitiveEvidence, prepared?: FiniteRe01FrontierSession): FiniteVerificationResult | FinitePrimitiveVerificationResult;
134
+ /** Product direct strategy: no hypothetical candidates and no search-negative claim. */
135
+ export declare function verifyDirectActualSchema(actual: SemanticContext): Readonly<{
136
+ kind: 'checked-direct' | 'inconclusive-direct';
137
+ frontier: FiniteRe01Frontier;
138
+ unresolved: readonly NodeId[];
139
+ }> | FiniteVerificationFailure | ResourceLimitFailure;
140
+ //# sourceMappingURL=finiteRe01Verification.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"finiteRe01Verification.d.ts","sourceRoot":"","sources":["../../src/compiler/finiteRe01Verification.ts"],"names":[],"mappings":"AAAA,yFAAyF;AACzF,OAAO,KAAK,EAAC,MAAM,EAAC,MAAM,qBAAqB,CAAC;AAEhD,OAAO,KAAK,EAAC,eAAe,EAAC,MAAM,sBAAsB,CAAC;AAC1D,OAAO,KAAK,EAAC,oBAAoB,EAAC,MAAM,qBAAqB,CAAC;AAG9D,OAAO,KAAK,EAAC,4BAA4B,EAAE,sBAAsB,EAAC,MAAM,mCAAmC,CAAC;AAE5G,OAAO,KAAK,EAAC,qBAAqB,EAAE,qBAAqB,EAAC,MAAM,kCAAkC,CAAC;AAGnG,OAAO,EAAC,sBAAsB,EAAC,MAAM,yBAAyB,CAAC;AAE/D,OAAO,KAAK,EAAC,wBAAwB,EAAC,MAAM,+BAA+B,CAAC;AAE5E,OAAO,KAAK,EAAC,qBAAqB,EAAC,MAAM,yBAAyB,CAAC;AAEnE,OAAO,KAAK,EAAmC,sBAAsB,EAAE,qBAAqB,EAAC,MAAM,4BAA4B,CAAC;AAEhI,OAAO,KAAK,EAA+B,yBAAyB,EAAC,MAAM,gCAAgC,CAAC;AAK5G,MAAM,MAAM,uBAAuB,GAAG,OAAO,CAAC,qBAAqB,EAAE;IAAC,IAAI,EAAE,SAAS,CAAA;CAAC,CAAC,CAAC;AAExF,MAAM,MAAM,sBAAsB,GAAG,QAAQ,CAAC;IAC5C,EAAE,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,eAAe,CAAC;IAAC,OAAO,EAAE,eAAe,CAAC;IAC9D,MAAM,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,qBAAqB,CAAC;IACtE,gFAAgF;IAChF,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CAC7B,CAAC,CAAC;AACH,MAAM,MAAM,kBAAkB,GAAG,QAAQ,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,SAAS,sBAAsB,EAAE,CAAA;CAAC,CAAC,CAAC;AACpG,2EAA2E;AAC3E,MAAM,MAAM,2BAA2B,GAAG,QAAQ,CAAC;IACjD,IAAI,EAAE,QAAQ,CAAC;QAAC,IAAI,EAAE,qBAAqB,CAAA;KAAC,CAAC,CAAC;IAC9C,4EAA4E;IAC5E,KAAK,EAAE,SAAS,sBAAsB,EAAE,CAAC;CAC1C,CAAC,CAAC;AACH,MAAM,MAAM,yBAAyB,GAAG,qBAAqB,GAAG,QAAQ,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAA;CAAC,CAAC,CAAC;AAC/F,MAAM,MAAM,qBAAqB,GAAG,QAAQ,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,wBAAwB,CAAC;IACpG,MAAM,EAAE,UAAU,GAAG,UAAU,CAAA;CAAC,CAAC,CAAC;AACpC,MAAM,MAAM,eAAe,GAAG,QAAQ,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,aAAa,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IACjH,cAAc,EAAE,qBAAqB,CAAC;IAAC,UAAU,EAAE,SAAS,4BAA4B,EAAE,CAAC;IAC3F,WAAW,EAAE,SAAS,uBAAuB,EAAE,CAAC;IAChD,SAAS,EAAE,SAAS,qBAAqB,EAAE,CAAC;IAC5C,mBAAmB,EAAE,SAAS,yBAAyB,EAAE,CAAC;IAC1D,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAA;CAAC,CAAC,CAAC;AACtE,MAAM,MAAM,sBAAsB,GAAG,QAAQ,CAAC;IAC5C,IAAI,EAAE,mBAAmB,CAAC;IAAC,SAAS,EAAE,yBAAyB,CAAC;IAAC,MAAM,EAAE,OAAO,sBAAsB,CAAC;IACvG,KAAK,EAAE,2CAA2C,CAAC;IAAC,eAAe,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAC1G,gBAAgB,EAAE,SAAS,4BAA4B,EAAE,CAAC;IAAC,uBAAuB,EAAE,SAAS,MAAM,EAAE,CAAC;IACtG,iBAAiB,EAAE,SAAS,uBAAuB,EAAE,CAAC;IACtD,eAAe,EAAE,SAAS,qBAAqB,EAAE,CAAC;IAClD,yBAAyB,EAAE,SAAS,yBAAyB,EAAE,CAAC;IAChE,KAAK,EAAE,SAAS,eAAe,EAAE,CAAC;IAClC,MAAM,EAAE,QAAQ,CAAC;QAAC,iBAAiB,EAAE,SAAS,CAAC;QAAC,iBAAiB,EAAE,SAAS,CAAC;QAAC,iBAAiB,EAAE,KAAK,CAAC;QAAC,sBAAsB,EAAE,KAAK,CAAC;QAAC,iBAAiB,EAAE,KAAK,CAAA;KAAC,CAAC,CAAC;CACnK,CAAC,CAAC;AACH,MAAM,MAAM,wBAAwB,GAAG,sBAAsB,GAAG,yBAAyB,GAAG,oBAAoB,CAAC;AACjH,MAAM,MAAM,sBAAsB,GAAG,IAAI,CAAC,sBAAsB,EAAE,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,QAAQ,CAAC,GAAG,QAAQ,CAAC;IACjH,IAAI,EAAE,mBAAmB,CAAC;IAAC,KAAK,EAAE,yCAAyC,CAAC;IAAC,IAAI,EAAE,qBAAqB,CAAC;IACzG,MAAM,EAAE,QAAQ,CAAC;QAAC,iBAAiB,EAAE,SAAS,CAAC;QAAC,eAAe,EAAE,SAAS,CAAC;QAAC,iBAAiB,EAAE,KAAK,CAAC;QACnG,sBAAsB,EAAE,KAAK,CAAC;QAAC,iBAAiB,EAAE,KAAK,CAAA;KAAC,CAAC,CAAC;CAC7D,CAAC,CAAC;AACH,MAAM,MAAM,iCAAiC,GAAG,sBAAsB,GAAG,yBAAyB,GAAG,oBAAoB,CAAC;AAU1H,mEAAmE;AACnE,MAAM,MAAM,kBAAkB,GAAG,QAAQ,CAAC;IACxC,IAAI,EAAE,oBAAoB,CAAC;IAAC,OAAO,EAAE,eAAe,CAAC;IACrD,YAAY,EAAE,SAAS,QAAQ,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,qBAAqB,CAAC;QAAC,SAAS,EAAE,OAAO,CAAA;KAAC,CAAC,EAAE,CAAC;IACzG,UAAU,EAAE,SAAS,4BAA4B,EAAE,CAAC;IACpD,WAAW,EAAE,SAAS,uBAAuB,EAAE,CAAC;IAChD,SAAS,EAAE,SAAS,qBAAqB,EAAE,CAAC;IAC5C,mBAAmB,EAAE,SAAS,yBAAyB,EAAE,CAAC;IAC1D,cAAc,CAAC,EAAE,qBAAqB,CAAC;IACvC,QAAQ,EAAE,SAAS,QAAQ,CAAC;QAAC,OAAO,EAAE,eAAe,CAAC;QAAC,UAAU,EAAE,sBAAsB,CAAA;KAAC,CAAC,EAAE,CAAC;IAC9F,gBAAgB,EAAE,SAAS,QAAQ,CAAC;QAAC,IAAI,EAAE,eAAe,CAAC;QAAC,UAAU,EAAE,sBAAsB,CAAA;KAAC,CAAC,EAAE,CAAC;CACpG,CAAC,CAAC;AACH,MAAM,MAAM,oBAAoB,GAAG,IAAI,CAAC,sBAAsB,EAAE,IAAI,GAAG,UAAU,CAAC,CAAC;AACnF,MAAM,MAAM,wBAAwB,GAAG,kBAAkB,GAAG,yBAAyB,GAAG,oBAAoB,CAAC;AAC7G,MAAM,MAAM,yBAAyB,GAAG,QAAQ,CAAC;IAC/C,IAAI,EAAE,yBAAyB,CAAC;IAAC,MAAM,EAAE,kBAAkB,CAAC;IAC5D,gBAAgB,CAAC,UAAU,EAAE,oBAAoB,GAAG,wBAAwB,CAAC;CAC9E,CAAC,CAAC;AAGH,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,eAAe,EAAE,QAAQ,EAAE,kBAAkB,GAAG,IAAI,CAGrG;AAoWD,sGAAsG;AACtG,wBAAgB,yBAAyB,CAAC,MAAM,EAAE,eAAe,GAAG,yBAAyB,GAAG,yBAAyB,GAAG,oBAAoB,CAe/I;AAED,wBAAgB,4BAA4B,CAAC,MAAM,EAAE,eAAe,EAAE,OAAO,EAAE,sBAAsB,GAAG,IAAI,CAG3G;AAED,wBAAgB,4BAA4B,CAAC,MAAM,EAAE,eAAe,EAAE,OAAO,EAAE,sBAAsB,GAAG,IAAI,CAG3G;AAED,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,eAAe,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,kBAAkB,GAAG,wBAAwB,CAAC;AAC1I,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,eAAe,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,2BAA2B,GAAG,iCAAiC,CAAC;AAC5J,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,eAAe,EAAE,MAAM,EAAE,MAAM,EAC9E,QAAQ,EAAE,kBAAkB,GAAG,2BAA2B,GAAG,wBAAwB,GAAG,iCAAiC,CAAC;AAM5H,iFAAiF;AACjF,wBAAgB,oCAAoC,CAAC,MAAM,EAAE,eAAe,EAAE,MAAM,EAAE,MAAM,EAC1F,QAAQ,EAAE,kBAAkB,GAAG,2BAA2B,EAAE,QAAQ,CAAC,EAAE,yBAAyB,GAAG,wBAAwB,GAAG,iCAAiC,CA4KhK;AAED,wFAAwF;AACxF,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,eAAe,GAAG,QAAQ,CAAC;IAC1E,IAAI,EAAE,gBAAgB,GAAG,qBAAqB,CAAC;IAAC,QAAQ,EAAE,kBAAkB,CAAC;IAC7E,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;CAC/B,CAAC,GAAG,yBAAyB,GAAG,oBAAoB,CAgBpD"}