pyHermiT 0.1.0__tar.gz

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 (326) hide show
  1. pyhermit-0.1.0/CHANGELOG.md +31 -0
  2. pyhermit-0.1.0/COPYING +674 -0
  3. pyhermit-0.1.0/Cargo.toml +14 -0
  4. pyhermit-0.1.0/LICENSE +165 -0
  5. pyhermit-0.1.0/MANIFEST.in +30 -0
  6. pyhermit-0.1.0/NOTICE.md +32 -0
  7. pyhermit-0.1.0/PKG-INFO +165 -0
  8. pyhermit-0.1.0/README.md +127 -0
  9. pyhermit-0.1.0/benchmarks/README.md +25 -0
  10. pyhermit-0.1.0/benchmarks/__init__.py +1 -0
  11. pyhermit-0.1.0/benchmarks/baselines/README.md +10 -0
  12. pyhermit-0.1.0/benchmarks/bench_wp06_clausification.py +224 -0
  13. pyhermit-0.1.0/benchmarks/bench_wp07_builtin_facets.py +271 -0
  14. pyhermit-0.1.0/benchmarks/bench_wp07_constraints.py +195 -0
  15. pyhermit-0.1.0/benchmarks/bench_wp07_datatypes.py +247 -0
  16. pyhermit-0.1.0/benchmarks/bench_wp09_hyperresolution.py +217 -0
  17. pyhermit-0.1.0/benchmarks/bench_wp12_tableau.py +192 -0
  18. pyhermit-0.1.0/benchmarks/evidence/WP07-builtins-facets-tranche.md +90 -0
  19. pyhermit-0.1.0/benchmarks/evidence/WP07-conformance-language-witnesses.md +88 -0
  20. pyhermit-0.1.0/benchmarks/evidence/WP07-numeric-boolean-foundation.md +102 -0
  21. pyhermit-0.1.0/benchmarks/evidence/WP17-local-audit.md +103 -0
  22. pyhermit-0.1.0/benchmarks/evidence/WPP0-abi3-and-pure-wheel-tags.md +82 -0
  23. pyhermit-0.1.0/benchmarks/evidence/WPR0-native-input-wire.md +126 -0
  24. pyhermit-0.1.0/benchmarks/evidence/WPR3-acceptance-hardening.md +97 -0
  25. pyhermit-0.1.0/benchmarks/evidence/WPR3-native-datatype-scheduler.md +104 -0
  26. pyhermit-0.1.0/benchmarks/evidence/WPR3-native-range-wire.md +55 -0
  27. pyhermit-0.1.0/benchmarks/evidence/WPR3-native-semantic-solver.md +118 -0
  28. pyhermit-0.1.0/benchmarks/evidence/WPR3-native-xsd-regex.md +121 -0
  29. pyhermit-0.1.0/benchmarks/evidence/WPR3-pyo3-security-audit.md +37 -0
  30. pyhermit-0.1.0/benchmarks/evidence/WPR4-complete-native-services.md +73 -0
  31. pyhermit-0.1.0/benchmarks/evidence/WPR4-native-classification.md +57 -0
  32. pyhermit-0.1.0/benchmarks/evidence/WPR4-native-realization.md +97 -0
  33. pyhermit-0.1.0/benchmarks/evidence/WPR4-native-result-wire.md +43 -0
  34. pyhermit-0.1.0/benchmarks/evidence/WPR4-native-rule-transactions.md +106 -0
  35. pyhermit-0.1.0/benchmarks/evidence/WPR4-native-session-scheduler.md +135 -0
  36. pyhermit-0.1.0/benchmarks/evidence/WPR4-operation-control-bridge.md +85 -0
  37. pyhermit-0.1.0/benchmarks/evidence/wp17-local-native.json +64 -0
  38. pyhermit-0.1.0/benchmarks/evidence/wp17-local-python.json +64 -0
  39. pyhermit-0.1.0/benchmarks/run_release.py +269 -0
  40. pyhermit-0.1.0/benchmarks/schema/release-result-v1.schema.json +103 -0
  41. pyhermit-0.1.0/benchmarks/targets.toml +26 -0
  42. pyhermit-0.1.0/benchmarks/workloads/generated-taxonomy-v1.toml +22 -0
  43. pyhermit-0.1.0/deny.toml +41 -0
  44. pyhermit-0.1.0/docs/api-reference.md +106 -0
  45. pyhermit-0.1.0/docs/developer-guide.md +93 -0
  46. pyhermit-0.1.0/docs/index.md +33 -0
  47. pyhermit-0.1.0/docs/user-guide.md +186 -0
  48. pyhermit-0.1.0/native/Cargo.lock +593 -0
  49. pyhermit-0.1.0/native/Cargo.toml +80 -0
  50. pyhermit-0.1.0/native/benches/blocking_kernel.rs +731 -0
  51. pyhermit-0.1.0/native/benches/datatype_kernel.rs +263 -0
  52. pyhermit-0.1.0/native/benches/role_kernel.rs +102 -0
  53. pyhermit-0.1.0/native/benches/rule_kernel.rs +344 -0
  54. pyhermit-0.1.0/native/benches/state_kernel.rs +60 -0
  55. pyhermit-0.1.0/native/src/blocking/cache.rs +274 -0
  56. pyhermit-0.1.0/native/src/blocking/checker.rs +196 -0
  57. pyhermit-0.1.0/native/src/blocking/compiled.rs +1393 -0
  58. pyhermit-0.1.0/native/src/blocking/manager.rs +975 -0
  59. pyhermit-0.1.0/native/src/blocking/mod.rs +49 -0
  60. pyhermit-0.1.0/native/src/blocking/model.rs +439 -0
  61. pyhermit-0.1.0/native/src/blocking/projection.rs +543 -0
  62. pyhermit-0.1.0/native/src/blocking/sha256.rs +211 -0
  63. pyhermit-0.1.0/native/src/blocking/tests.rs +1029 -0
  64. pyhermit-0.1.0/native/src/blocking/validation.rs +303 -0
  65. pyhermit-0.1.0/native/src/branching/mod.rs +467 -0
  66. pyhermit-0.1.0/native/src/cancel.rs +369 -0
  67. pyhermit-0.1.0/native/src/classification_bridge.rs +1077 -0
  68. pyhermit-0.1.0/native/src/datatype_tableau.rs +523 -0
  69. pyhermit-0.1.0/native/src/datatypes/mod.rs +62 -0
  70. pyhermit-0.1.0/native/src/datatypes/range.rs +1996 -0
  71. pyhermit-0.1.0/native/src/datatypes/range_oracle.py +156 -0
  72. pyhermit-0.1.0/native/src/datatypes/range_oracle_v1.json +1 -0
  73. pyhermit-0.1.0/native/src/datatypes/range_tests.rs +744 -0
  74. pyhermit-0.1.0/native/src/datatypes/range_wire.rs +3855 -0
  75. pyhermit-0.1.0/native/src/datatypes/range_wire_oracle.py +304 -0
  76. pyhermit-0.1.0/native/src/datatypes/range_wire_oracle_v1.json +1 -0
  77. pyhermit-0.1.0/native/src/datatypes/range_wire_tests.rs +595 -0
  78. pyhermit-0.1.0/native/src/datatypes/scheduler.rs +1338 -0
  79. pyhermit-0.1.0/native/src/datatypes/scheduler_tests.rs +474 -0
  80. pyhermit-0.1.0/native/src/datatypes/semantic_solver.rs +1003 -0
  81. pyhermit-0.1.0/native/src/datatypes/semantic_solver_tests.rs +548 -0
  82. pyhermit-0.1.0/native/src/datatypes/solver.rs +881 -0
  83. pyhermit-0.1.0/native/src/datatypes/tests.rs +918 -0
  84. pyhermit-0.1.0/native/src/datatypes/value.rs +1335 -0
  85. pyhermit-0.1.0/native/src/datatypes/xsd_regex.rs +2679 -0
  86. pyhermit-0.1.0/native/src/datatypes/xsd_unicode_3_2.rs +2125 -0
  87. pyhermit-0.1.0/native/src/encoded/canonical.rs +499 -0
  88. pyhermit-0.1.0/native/src/encoded/canonical_program.rs +776 -0
  89. pyhermit-0.1.0/native/src/encoded/complex_roles.rs +1158 -0
  90. pyhermit-0.1.0/native/src/encoded/data_inclusions.rs +807 -0
  91. pyhermit-0.1.0/native/src/encoded/data_role_hierarchy.rs +978 -0
  92. pyhermit-0.1.0/native/src/encoded/data_roles.rs +583 -0
  93. pyhermit-0.1.0/native/src/encoded/fingerprints.rs +902 -0
  94. pyhermit-0.1.0/native/src/encoded/model.rs +613 -0
  95. pyhermit-0.1.0/native/src/encoded/named_classes.rs +27404 -0
  96. pyhermit-0.1.0/native/src/encoded/object_role_hierarchy.rs +1066 -0
  97. pyhermit-0.1.0/native/src/encoded/object_roles.rs +743 -0
  98. pyhermit-0.1.0/native/src/encoded/permanent_program.rs +4708 -0
  99. pyhermit-0.1.0/native/src/encoded/profile.rs +8660 -0
  100. pyhermit-0.1.0/native/src/encoded/role_automata.rs +1490 -0
  101. pyhermit-0.1.0/native/src/encoded/role_characteristics.rs +1300 -0
  102. pyhermit-0.1.0/native/src/encoded/role_clauses.rs +1847 -0
  103. pyhermit-0.1.0/native/src/encoded/role_model.rs +1030 -0
  104. pyhermit-0.1.0/native/src/encoded/role_semantics.rs +1256 -0
  105. pyhermit-0.1.0/native/src/encoded/simple_roles.rs +1047 -0
  106. pyhermit-0.1.0/native/src/encoded/symbols.rs +2088 -0
  107. pyhermit-0.1.0/native/src/encoded/xml_literal.rs +938 -0
  108. pyhermit-0.1.0/native/src/encoded.rs +2752 -0
  109. pyhermit-0.1.0/native/src/error.rs +205 -0
  110. pyhermit-0.1.0/native/src/event_wire.rs +310 -0
  111. pyhermit-0.1.0/native/src/existentials/ADAPTER.md +64 -0
  112. pyhermit-0.1.0/native/src/existentials/adapter.rs +967 -0
  113. pyhermit-0.1.0/native/src/existentials/distinct.rs +116 -0
  114. pyhermit-0.1.0/native/src/existentials/manager.rs +1112 -0
  115. pyhermit-0.1.0/native/src/existentials/mod.rs +41 -0
  116. pyhermit-0.1.0/native/src/existentials/model.rs +673 -0
  117. pyhermit-0.1.0/native/src/existentials/tests.rs +1355 -0
  118. pyhermit-0.1.0/native/src/input_wire.rs +3536 -0
  119. pyhermit-0.1.0/native/src/lib.rs +6587 -0
  120. pyhermit-0.1.0/native/src/merging/mod.rs +327 -0
  121. pyhermit-0.1.0/native/src/model/mod.rs +203 -0
  122. pyhermit-0.1.0/native/src/native_tableau.rs +1102 -0
  123. pyhermit-0.1.0/native/src/nominals/mod.rs +1105 -0
  124. pyhermit-0.1.0/native/src/operation_bridge.rs +297 -0
  125. pyhermit-0.1.0/native/src/program_bridge.rs +646 -0
  126. pyhermit-0.1.0/native/src/realization_bridge.rs +1259 -0
  127. pyhermit-0.1.0/native/src/result_wire.rs +613 -0
  128. pyhermit-0.1.0/native/src/roles/mod.rs +728 -0
  129. pyhermit-0.1.0/native/src/roles/tests.rs +310 -0
  130. pyhermit-0.1.0/native/src/rules/engine.rs +2340 -0
  131. pyhermit-0.1.0/native/src/rules/joins.rs +1472 -0
  132. pyhermit-0.1.0/native/src/rules/mod.rs +16 -0
  133. pyhermit-0.1.0/native/src/rules/model.rs +1088 -0
  134. pyhermit-0.1.0/native/src/rules/plans.rs +374 -0
  135. pyhermit-0.1.0/native/src/service_context.rs +153 -0
  136. pyhermit-0.1.0/native/src/services/classification.rs +992 -0
  137. pyhermit-0.1.0/native/src/services/classification_cache.rs +315 -0
  138. pyhermit-0.1.0/native/src/services/classification_cache_tests.rs +172 -0
  139. pyhermit-0.1.0/native/src/services/mod.rs +29 -0
  140. pyhermit-0.1.0/native/src/services/realization.rs +903 -0
  141. pyhermit-0.1.0/native/src/services/realization_tests.rs +511 -0
  142. pyhermit-0.1.0/native/src/services/tests.rs +393 -0
  143. pyhermit-0.1.0/native/src/session.rs +1347 -0
  144. pyhermit-0.1.0/native/src/session_tests.rs +1091 -0
  145. pyhermit-0.1.0/native/src/store/mod.rs +8 -0
  146. pyhermit-0.1.0/native/src/store/state.rs +2634 -0
  147. pyhermit-0.1.0/native/src/store/trace.rs +599 -0
  148. pyhermit-0.1.0/native/src/wire.rs +739 -0
  149. pyhermit-0.1.0/pyproject.toml +220 -0
  150. pyhermit-0.1.0/reports/README.md +30 -0
  151. pyhermit-0.1.0/reports/coverage-matrix.json +96 -0
  152. pyhermit-0.1.0/reports/licensing/adapted-file-header-audit.md +64 -0
  153. pyhermit-0.1.0/reports/licensing/adapted-files.toml +208 -0
  154. pyhermit-0.1.0/reports/licensing/package-license-audit.md +57 -0
  155. pyhermit-0.1.0/reports/release/0.1.0-owner-release-override.md +23 -0
  156. pyhermit-0.1.0/reports/release/artifact-audit.md +66 -0
  157. pyhermit-0.1.0/reports/release-report-local.json +118 -0
  158. pyhermit-0.1.0/reports/schema/coverage-matrix-v1.schema.json +69 -0
  159. pyhermit-0.1.0/reports/schema/release-report-v1.schema.json +92 -0
  160. pyhermit-0.1.0/reports/workpackages/WP18.md +1115 -0
  161. pyhermit-0.1.0/setup.cfg +7 -0
  162. pyhermit-0.1.0/setup.py +117 -0
  163. pyhermit-0.1.0/specs/README.md +72 -0
  164. pyhermit-0.1.0/specs/SPEC.md +482 -0
  165. pyhermit-0.1.0/specs/blocking.md +144 -0
  166. pyhermit-0.1.0/specs/contracts.md +424 -0
  167. pyhermit-0.1.0/specs/datatypes.md +185 -0
  168. pyhermit-0.1.0/specs/deviations.md +237 -0
  169. pyhermit-0.1.0/specs/hypertableau.md +272 -0
  170. pyhermit-0.1.0/specs/native-backend.md +318 -0
  171. pyhermit-0.1.0/specs/native-structural-ingestion.md +176 -0
  172. pyhermit-0.1.0/specs/normalization-clausification.md +245 -0
  173. pyhermit-0.1.0/specs/ontology-model.md +357 -0
  174. pyhermit-0.1.0/specs/performance.md +184 -0
  175. pyhermit-0.1.0/specs/reasoning-services.md +322 -0
  176. pyhermit-0.1.0/specs/reference-scope.md +361 -0
  177. pyhermit-0.1.0/specs/state-trace-v1.md +72 -0
  178. pyhermit-0.1.0/specs/tableau-state.md +244 -0
  179. pyhermit-0.1.0/specs/verification.md +341 -0
  180. pyhermit-0.1.0/specs/workpackages/README.md +125 -0
  181. pyhermit-0.1.0/specs/workpackages/WP00-scaffold-reference.md +57 -0
  182. pyhermit-0.1.0/specs/workpackages/WP01-contracts-model.md +49 -0
  183. pyhermit-0.1.0/specs/workpackages/WP02-input-profile.md +58 -0
  184. pyhermit-0.1.0/specs/workpackages/WP03-oracle-conformance.md +54 -0
  185. pyhermit-0.1.0/specs/workpackages/WP04-normalization.md +45 -0
  186. pyhermit-0.1.0/specs/workpackages/WP05-roles.md +44 -0
  187. pyhermit-0.1.0/specs/workpackages/WP06-clausification.md +50 -0
  188. pyhermit-0.1.0/specs/workpackages/WP07-datatypes.md +48 -0
  189. pyhermit-0.1.0/specs/workpackages/WP08-python-state.md +45 -0
  190. pyhermit-0.1.0/specs/workpackages/WP09-python-hyperresolution.md +44 -0
  191. pyhermit-0.1.0/specs/workpackages/WP10-python-existentials-ni.md +45 -0
  192. pyhermit-0.1.0/specs/workpackages/WP11-blocking.md +44 -0
  193. pyhermit-0.1.0/specs/workpackages/WP12-python-tableau.md +46 -0
  194. pyhermit-0.1.0/specs/workpackages/WP13-entailment-services.md +48 -0
  195. pyhermit-0.1.0/specs/workpackages/WP14-classification.md +44 -0
  196. pyhermit-0.1.0/specs/workpackages/WP15-realization.md +46 -0
  197. pyhermit-0.1.0/specs/workpackages/WP16-api-updates.md +49 -0
  198. pyhermit-0.1.0/specs/workpackages/WP17-release-integration.md +54 -0
  199. pyhermit-0.1.0/specs/workpackages/WP18-native-structural-compiler.md +80 -0
  200. pyhermit-0.1.0/specs/workpackages/WPP0-packaging.md +52 -0
  201. pyhermit-0.1.0/specs/workpackages/WPR0-rust-wire-state.md +47 -0
  202. pyhermit-0.1.0/specs/workpackages/WPR1-rust-hyperresolution.md +43 -0
  203. pyhermit-0.1.0/specs/workpackages/WPR2-rust-existentials-blocking.md +44 -0
  204. pyhermit-0.1.0/specs/workpackages/WPR3-rust-roles-datatypes.md +46 -0
  205. pyhermit-0.1.0/specs/workpackages/WPR4-rust-services.md +45 -0
  206. pyhermit-0.1.0/specs/workpackages/manifest.toml +180 -0
  207. pyhermit-0.1.0/src/pyHermiT.egg-info/PKG-INFO +165 -0
  208. pyhermit-0.1.0/src/pyHermiT.egg-info/SOURCES.txt +325 -0
  209. pyhermit-0.1.0/src/pyHermiT.egg-info/dependency_links.txt +1 -0
  210. pyhermit-0.1.0/src/pyHermiT.egg-info/not-zip-safe +1 -0
  211. pyhermit-0.1.0/src/pyHermiT.egg-info/requires.txt +14 -0
  212. pyhermit-0.1.0/src/pyHermiT.egg-info/top_level.txt +1 -0
  213. pyhermit-0.1.0/src/pyhermit/__init__.py +116 -0
  214. pyhermit-0.1.0/src/pyhermit/_native.pyi +430 -0
  215. pyhermit-0.1.0/src/pyhermit/_version.py +5 -0
  216. pyhermit-0.1.0/src/pyhermit/backends/__init__.py +9 -0
  217. pyhermit-0.1.0/src/pyhermit/backends/dispatch.py +255 -0
  218. pyhermit-0.1.0/src/pyhermit/backends/native.py +1121 -0
  219. pyhermit-0.1.0/src/pyhermit/backends/native_context.py +356 -0
  220. pyhermit-0.1.0/src/pyhermit/backends/native_events.py +236 -0
  221. pyhermit-0.1.0/src/pyhermit/backends/native_input.py +1104 -0
  222. pyhermit-0.1.0/src/pyhermit/backends/native_mapping.py +415 -0
  223. pyhermit-0.1.0/src/pyhermit/backends/native_wire.py +366 -0
  224. pyhermit-0.1.0/src/pyhermit/backends/protocol.py +826 -0
  225. pyhermit-0.1.0/src/pyhermit/backends/python/__init__.py +16 -0
  226. pyhermit-0.1.0/src/pyhermit/backends/python/blocking/__init__.py +51 -0
  227. pyhermit-0.1.0/src/pyhermit/backends/python/blocking/cache.py +185 -0
  228. pyhermit-0.1.0/src/pyhermit/backends/python/blocking/manager.py +811 -0
  229. pyhermit-0.1.0/src/pyhermit/backends/python/blocking/signatures.py +624 -0
  230. pyhermit-0.1.0/src/pyhermit/backends/python/blocking/strategy.py +174 -0
  231. pyhermit-0.1.0/src/pyhermit/backends/python/blocking/validation.py +903 -0
  232. pyhermit-0.1.0/src/pyhermit/backends/python/branching.py +160 -0
  233. pyhermit-0.1.0/src/pyhermit/backends/python/datatype_manager.py +318 -0
  234. pyhermit-0.1.0/src/pyhermit/backends/python/existentials.py +850 -0
  235. pyhermit-0.1.0/src/pyhermit/backends/python/merging.py +245 -0
  236. pyhermit-0.1.0/src/pyhermit/backends/python/nominals.py +763 -0
  237. pyhermit-0.1.0/src/pyhermit/backends/python/rules/__init__.py +31 -0
  238. pyhermit-0.1.0/src/pyhermit/backends/python/rules/engine.py +1128 -0
  239. pyhermit-0.1.0/src/pyhermit/backends/python/rules/joins.py +572 -0
  240. pyhermit-0.1.0/src/pyhermit/backends/python/rules/model.py +151 -0
  241. pyhermit-0.1.0/src/pyhermit/backends/python/rules/plans.py +158 -0
  242. pyhermit-0.1.0/src/pyhermit/backends/python/session.py +591 -0
  243. pyhermit-0.1.0/src/pyhermit/backends/python/state/__init__.py +65 -0
  244. pyhermit-0.1.0/src/pyhermit/backends/python/state/dependencies.py +150 -0
  245. pyhermit-0.1.0/src/pyhermit/backends/python/state/disjunctions.py +275 -0
  246. pyhermit-0.1.0/src/pyhermit/backends/python/state/extensions.py +503 -0
  247. pyhermit-0.1.0/src/pyhermit/backends/python/state/nodes.py +471 -0
  248. pyhermit-0.1.0/src/pyhermit/backends/python/state/queues.py +117 -0
  249. pyhermit-0.1.0/src/pyhermit/backends/python/state/session.py +484 -0
  250. pyhermit-0.1.0/src/pyhermit/backends/python/state/trace.py +426 -0
  251. pyhermit-0.1.0/src/pyhermit/backends/python/state/trail.py +99 -0
  252. pyhermit-0.1.0/src/pyhermit/backends/python/tableau.py +338 -0
  253. pyhermit-0.1.0/src/pyhermit/backends/verify.py +539 -0
  254. pyhermit-0.1.0/src/pyhermit/clauses/__init__.py +91 -0
  255. pyhermit-0.1.0/src/pyhermit/clauses/compiler.py +3980 -0
  256. pyhermit-0.1.0/src/pyhermit/clauses/model.py +2050 -0
  257. pyhermit-0.1.0/src/pyhermit/config.py +184 -0
  258. pyhermit-0.1.0/src/pyhermit/core.py +540 -0
  259. pyhermit-0.1.0/src/pyhermit/datatypes/__init__.py +306 -0
  260. pyhermit-0.1.0/src/pyhermit/datatypes/binary.py +156 -0
  261. pyhermit-0.1.0/src/pyhermit/datatypes/domain.py +1322 -0
  262. pyhermit-0.1.0/src/pyhermit/datatypes/facets.py +364 -0
  263. pyhermit-0.1.0/src/pyhermit/datatypes/ieee754.py +420 -0
  264. pyhermit-0.1.0/src/pyhermit/datatypes/ieee_ranges.py +279 -0
  265. pyhermit-0.1.0/src/pyhermit/datatypes/integration.py +221 -0
  266. pyhermit-0.1.0/src/pyhermit/datatypes/language_tags.py +523 -0
  267. pyhermit-0.1.0/src/pyhermit/datatypes/literals.py +445 -0
  268. pyhermit-0.1.0/src/pyhermit/datatypes/model.py +695 -0
  269. pyhermit-0.1.0/src/pyhermit/datatypes/nonnumeric_ranges.py +1134 -0
  270. pyhermit-0.1.0/src/pyhermit/datatypes/ranges.py +538 -0
  271. pyhermit-0.1.0/src/pyhermit/datatypes/semantic.py +1434 -0
  272. pyhermit-0.1.0/src/pyhermit/datatypes/solver.py +834 -0
  273. pyhermit-0.1.0/src/pyhermit/datatypes/temporal.py +225 -0
  274. pyhermit-0.1.0/src/pyhermit/datatypes/temporal_ranges.py +302 -0
  275. pyhermit-0.1.0/src/pyhermit/datatypes/textual.py +294 -0
  276. pyhermit-0.1.0/src/pyhermit/datatypes/xml_literal.py +140 -0
  277. pyhermit-0.1.0/src/pyhermit/datatypes/xsd_regex.py +1268 -0
  278. pyhermit-0.1.0/src/pyhermit/encoded_input.py +992 -0
  279. pyhermit-0.1.0/src/pyhermit/events.py +338 -0
  280. pyhermit-0.1.0/src/pyhermit/exceptions.py +198 -0
  281. pyhermit-0.1.0/src/pyhermit/facade.py +1132 -0
  282. pyhermit-0.1.0/src/pyhermit/hierarchy/__init__.py +29 -0
  283. pyhermit-0.1.0/src/pyhermit/hierarchy/builder.py +270 -0
  284. pyhermit-0.1.0/src/pyhermit/hierarchy/classifier.py +446 -0
  285. pyhermit-0.1.0/src/pyhermit/hierarchy/model.py +79 -0
  286. pyhermit-0.1.0/src/pyhermit/inputs.py +233 -0
  287. pyhermit-0.1.0/src/pyhermit/io/__init__.py +15 -0
  288. pyhermit-0.1.0/src/pyhermit/model/__init__.py +14 -0
  289. pyhermit-0.1.0/src/pyhermit/normalize/__init__.py +51 -0
  290. pyhermit-0.1.0/src/pyhermit/normalize/expressions.py +570 -0
  291. pyhermit-0.1.0/src/pyhermit/normalize/model.py +1045 -0
  292. pyhermit-0.1.0/src/pyhermit/normalize/normalizer.py +1365 -0
  293. pyhermit-0.1.0/src/pyhermit/profile/__init__.py +13 -0
  294. pyhermit-0.1.0/src/pyhermit/profile/model.py +97 -0
  295. pyhermit-0.1.0/src/pyhermit/profile/validator.py +584 -0
  296. pyhermit-0.1.0/src/pyhermit/py.typed +0 -0
  297. pyhermit-0.1.0/src/pyhermit/roles/__init__.py +39 -0
  298. pyhermit-0.1.0/src/pyhermit/roles/automata.py +290 -0
  299. pyhermit-0.1.0/src/pyhermit/roles/builder.py +628 -0
  300. pyhermit-0.1.0/src/pyhermit/roles/graph.py +254 -0
  301. pyhermit-0.1.0/src/pyhermit/roles/model.py +432 -0
  302. pyhermit-0.1.0/src/pyhermit/services/__init__.py +25 -0
  303. pyhermit-0.1.0/src/pyhermit/services/checks.py +588 -0
  304. pyhermit-0.1.0/src/pyhermit/services/classification.py +1146 -0
  305. pyhermit-0.1.0/src/pyhermit/services/entailment.py +1335 -0
  306. pyhermit-0.1.0/src/pyhermit/services/realization.py +781 -0
  307. pyhermit-0.1.0/tools/specs/WP00-EVIDENCE.md +103 -0
  308. pyhermit-0.1.0/tools/specs/__init__.py +1 -0
  309. pyhermit-0.1.0/tools/specs/_compat.py +68 -0
  310. pyhermit-0.1.0/tools/specs/check_links.py +83 -0
  311. pyhermit-0.1.0/tools/specs/check_project.py +452 -0
  312. pyhermit-0.1.0/tools/specs/check_release_gate.py +214 -0
  313. pyhermit-0.1.0/tools/specs/check_workpackages.py +293 -0
  314. pyhermit-0.1.0/tools/specs/dependencies.toml +276 -0
  315. pyhermit-0.1.0/tools/specs/index-names.toml +26 -0
  316. pyhermit-0.1.0/tools/specs/licensing.toml +65 -0
  317. pyhermit-0.1.0/tools/specs/native-wheel-targets.toml +44 -0
  318. pyhermit-0.1.0/tools/specs/ownership-allowlist.toml +115 -0
  319. pyhermit-0.1.0/tools/specs/reference.toml +78 -0
  320. pyhermit-0.1.0/tools/specs/release-verifier-requirements.txt +1 -0
  321. pyhermit-0.1.0/tools/specs/rust-production-licenses.toml +215 -0
  322. pyhermit-0.1.0/tools/specs/tests/__init__.py +1 -0
  323. pyhermit-0.1.0/tools/specs/tests/test_foundation.py +109 -0
  324. pyhermit-0.1.0/tools/specs/tests/test_project.py +27 -0
  325. pyhermit-0.1.0/tools/specs/tests/test_release_gate.py +73 -0
  326. pyhermit-0.1.0/tools/specs/tests/test_workpackages.py +105 -0
pyhermit-0.1.0/CHANGELOG.md ADDED
@@ -0,0 +1,31 @@
1
+ # Changelog
2
+
3
+ All notable user-visible changes are recorded here.
4
+
5
+ ## 0.1.0 — 2026-07-30
6
+
7
+ - Added a Java-free OWL 2 DL facade over immutable `pyowl-core` snapshots, overlays,
8
+ composites, and one-call providers, with no repeated public-model parsing.
9
+ - Implemented complete Python and optional Rust reasoning sessions covering
10
+ consistency, entailment, class/object/data-property classification, realization,
11
+ buffered updates, cancellation, and resource limits.
12
+ - Added explicit `python`, `native`, `auto`, and exact `verify` modes. Explicit native
13
+ selection is fail-closed; semantic failures never fall back silently.
14
+ - Added immutable public compiler/ingestion diagnostics and import-light compiler-cache,
15
+ compiled-IR, and native-ABI schema constants for cache and provenance consumers; the public
16
+ compiler digest is canonical across backend and ingestion-path selection, and the latest
17
+ successful consumer compilation duration is measured independently of core loading.
18
+ - Added deterministic normalization/private IR, hyperresolution, branching and
19
+ backjumping, equality/nominal/cardinality handling, existential blocking, role
20
+ automata, and datatype semantics with Python/native parity evidence.
21
+ - Added compiler-free universal fallback builds and `cp310-abi3` native packaging for
22
+ Python 3.10 and 3.12, artifact/SBOM inspection, and hosted eight-target workflows.
23
+ - Added WP17 user/developer guides, machine-readable release and coverage reports,
24
+ hash-bound benchmark schemas/workloads, and fail-closed provisional performance
25
+ targets.
26
+
27
+ The owner accepted the licensed W3C run, larger live reference sample, hosted native
28
+ matrix, and dedicated calibration as post-release follow-up. `LIC-001` is waived as-is
29
+ for this release without claiming legal review; see the explicit owner override under
30
+ `reports/release/`. Java remains limited to the opt-in development comparison lane and
31
+ is absent from runtime artifacts.