CHANGELOG.md
COPYING
Cargo.toml
LICENSE
MANIFEST.in
NOTICE.md
README.md
deny.toml
pyproject.toml
setup.cfg
setup.py
benchmarks/README.md
benchmarks/__init__.py
benchmarks/bench_wp06_clausification.py
benchmarks/bench_wp07_builtin_facets.py
benchmarks/bench_wp07_constraints.py
benchmarks/bench_wp07_datatypes.py
benchmarks/bench_wp09_hyperresolution.py
benchmarks/bench_wp12_tableau.py
benchmarks/run_release.py
benchmarks/targets.toml
benchmarks/baselines/README.md
benchmarks/evidence/WP07-builtins-facets-tranche.md
benchmarks/evidence/WP07-conformance-language-witnesses.md
benchmarks/evidence/WP07-numeric-boolean-foundation.md
benchmarks/evidence/WP17-local-audit.md
benchmarks/evidence/WPP0-abi3-and-pure-wheel-tags.md
benchmarks/evidence/WPR0-native-input-wire.md
benchmarks/evidence/WPR3-acceptance-hardening.md
benchmarks/evidence/WPR3-native-datatype-scheduler.md
benchmarks/evidence/WPR3-native-range-wire.md
benchmarks/evidence/WPR3-native-semantic-solver.md
benchmarks/evidence/WPR3-native-xsd-regex.md
benchmarks/evidence/WPR3-pyo3-security-audit.md
benchmarks/evidence/WPR4-complete-native-services.md
benchmarks/evidence/WPR4-native-classification.md
benchmarks/evidence/WPR4-native-realization.md
benchmarks/evidence/WPR4-native-result-wire.md
benchmarks/evidence/WPR4-native-rule-transactions.md
benchmarks/evidence/WPR4-native-session-scheduler.md
benchmarks/evidence/WPR4-operation-control-bridge.md
benchmarks/evidence/wp17-local-native.json
benchmarks/evidence/wp17-local-python.json
benchmarks/schema/release-result-v1.schema.json
benchmarks/workloads/generated-taxonomy-v1.toml
docs/api-reference.md
docs/developer-guide.md
docs/index.md
docs/user-guide.md
native/Cargo.lock
native/Cargo.toml
native/benches/blocking_kernel.rs
native/benches/datatype_kernel.rs
native/benches/role_kernel.rs
native/benches/rule_kernel.rs
native/benches/state_kernel.rs
native/src/cancel.rs
native/src/classification_bridge.rs
native/src/datatype_tableau.rs
native/src/encoded.rs
native/src/error.rs
native/src/event_wire.rs
native/src/input_wire.rs
native/src/lib.rs
native/src/native_tableau.rs
native/src/operation_bridge.rs
native/src/program_bridge.rs
native/src/realization_bridge.rs
native/src/result_wire.rs
native/src/service_context.rs
native/src/session.rs
native/src/session_tests.rs
native/src/wire.rs
native/src/blocking/cache.rs
native/src/blocking/checker.rs
native/src/blocking/compiled.rs
native/src/blocking/manager.rs
native/src/blocking/mod.rs
native/src/blocking/model.rs
native/src/blocking/projection.rs
native/src/blocking/sha256.rs
native/src/blocking/tests.rs
native/src/blocking/validation.rs
native/src/branching/mod.rs
native/src/datatypes/mod.rs
native/src/datatypes/range.rs
native/src/datatypes/range_oracle.py
native/src/datatypes/range_oracle_v1.json
native/src/datatypes/range_tests.rs
native/src/datatypes/range_wire.rs
native/src/datatypes/range_wire_oracle.py
native/src/datatypes/range_wire_oracle_v1.json
native/src/datatypes/range_wire_tests.rs
native/src/datatypes/scheduler.rs
native/src/datatypes/scheduler_tests.rs
native/src/datatypes/semantic_solver.rs
native/src/datatypes/semantic_solver_tests.rs
native/src/datatypes/solver.rs
native/src/datatypes/tests.rs
native/src/datatypes/value.rs
native/src/datatypes/xsd_regex.rs
native/src/datatypes/xsd_unicode_3_2.rs
native/src/encoded/canonical.rs
native/src/encoded/canonical_program.rs
native/src/encoded/complex_roles.rs
native/src/encoded/data_inclusions.rs
native/src/encoded/data_role_hierarchy.rs
native/src/encoded/data_roles.rs
native/src/encoded/fingerprints.rs
native/src/encoded/model.rs
native/src/encoded/named_classes.rs
native/src/encoded/object_role_hierarchy.rs
native/src/encoded/object_roles.rs
native/src/encoded/permanent_program.rs
native/src/encoded/profile.rs
native/src/encoded/role_automata.rs
native/src/encoded/role_characteristics.rs
native/src/encoded/role_clauses.rs
native/src/encoded/role_model.rs
native/src/encoded/role_semantics.rs
native/src/encoded/simple_roles.rs
native/src/encoded/symbols.rs
native/src/encoded/xml_literal.rs
native/src/existentials/ADAPTER.md
native/src/existentials/adapter.rs
native/src/existentials/distinct.rs
native/src/existentials/manager.rs
native/src/existentials/mod.rs
native/src/existentials/model.rs
native/src/existentials/tests.rs
native/src/merging/mod.rs
native/src/model/mod.rs
native/src/nominals/mod.rs
native/src/roles/mod.rs
native/src/roles/tests.rs
native/src/rules/engine.rs
native/src/rules/joins.rs
native/src/rules/mod.rs
native/src/rules/model.rs
native/src/rules/plans.rs
native/src/services/classification.rs
native/src/services/classification_cache.rs
native/src/services/classification_cache_tests.rs
native/src/services/mod.rs
native/src/services/realization.rs
native/src/services/realization_tests.rs
native/src/services/tests.rs
native/src/store/mod.rs
native/src/store/state.rs
native/src/store/trace.rs
reports/README.md
reports/coverage-matrix.json
reports/release-report-local.json
reports/licensing/adapted-file-header-audit.md
reports/licensing/adapted-files.toml
reports/licensing/package-license-audit.md
reports/release/0.1.0-owner-release-override.md
reports/release/artifact-audit.md
reports/schema/coverage-matrix-v1.schema.json
reports/schema/release-report-v1.schema.json
reports/workpackages/WP18.md
specs/README.md
specs/SPEC.md
specs/blocking.md
specs/contracts.md
specs/datatypes.md
specs/deviations.md
specs/hypertableau.md
specs/native-backend.md
specs/native-structural-ingestion.md
specs/normalization-clausification.md
specs/ontology-model.md
specs/performance.md
specs/reasoning-services.md
specs/reference-scope.md
specs/state-trace-v1.md
specs/tableau-state.md
specs/verification.md
specs/workpackages/README.md
specs/workpackages/WP00-scaffold-reference.md
specs/workpackages/WP01-contracts-model.md
specs/workpackages/WP02-input-profile.md
specs/workpackages/WP03-oracle-conformance.md
specs/workpackages/WP04-normalization.md
specs/workpackages/WP05-roles.md
specs/workpackages/WP06-clausification.md
specs/workpackages/WP07-datatypes.md
specs/workpackages/WP08-python-state.md
specs/workpackages/WP09-python-hyperresolution.md
specs/workpackages/WP10-python-existentials-ni.md
specs/workpackages/WP11-blocking.md
specs/workpackages/WP12-python-tableau.md
specs/workpackages/WP13-entailment-services.md
specs/workpackages/WP14-classification.md
specs/workpackages/WP15-realization.md
specs/workpackages/WP16-api-updates.md
specs/workpackages/WP17-release-integration.md
specs/workpackages/WP18-native-structural-compiler.md
specs/workpackages/WPP0-packaging.md
specs/workpackages/WPR0-rust-wire-state.md
specs/workpackages/WPR1-rust-hyperresolution.md
specs/workpackages/WPR2-rust-existentials-blocking.md
specs/workpackages/WPR3-rust-roles-datatypes.md
specs/workpackages/WPR4-rust-services.md
specs/workpackages/manifest.toml
src/pyHermiT.egg-info/PKG-INFO
src/pyHermiT.egg-info/SOURCES.txt
src/pyHermiT.egg-info/dependency_links.txt
src/pyHermiT.egg-info/not-zip-safe
src/pyHermiT.egg-info/requires.txt
src/pyHermiT.egg-info/top_level.txt
src/pyhermit/__init__.py
src/pyhermit/_native.pyi
src/pyhermit/_version.py
src/pyhermit/config.py
src/pyhermit/core.py
src/pyhermit/encoded_input.py
src/pyhermit/events.py
src/pyhermit/exceptions.py
src/pyhermit/facade.py
src/pyhermit/inputs.py
src/pyhermit/py.typed
src/pyhermit/backends/__init__.py
src/pyhermit/backends/dispatch.py
src/pyhermit/backends/native.py
src/pyhermit/backends/native_context.py
src/pyhermit/backends/native_events.py
src/pyhermit/backends/native_input.py
src/pyhermit/backends/native_mapping.py
src/pyhermit/backends/native_wire.py
src/pyhermit/backends/protocol.py
src/pyhermit/backends/verify.py
src/pyhermit/backends/python/__init__.py
src/pyhermit/backends/python/branching.py
src/pyhermit/backends/python/datatype_manager.py
src/pyhermit/backends/python/existentials.py
src/pyhermit/backends/python/merging.py
src/pyhermit/backends/python/nominals.py
src/pyhermit/backends/python/session.py
src/pyhermit/backends/python/tableau.py
src/pyhermit/backends/python/blocking/__init__.py
src/pyhermit/backends/python/blocking/cache.py
src/pyhermit/backends/python/blocking/manager.py
src/pyhermit/backends/python/blocking/signatures.py
src/pyhermit/backends/python/blocking/strategy.py
src/pyhermit/backends/python/blocking/validation.py
src/pyhermit/backends/python/rules/__init__.py
src/pyhermit/backends/python/rules/engine.py
src/pyhermit/backends/python/rules/joins.py
src/pyhermit/backends/python/rules/model.py
src/pyhermit/backends/python/rules/plans.py
src/pyhermit/backends/python/state/__init__.py
src/pyhermit/backends/python/state/dependencies.py
src/pyhermit/backends/python/state/disjunctions.py
src/pyhermit/backends/python/state/extensions.py
src/pyhermit/backends/python/state/nodes.py
src/pyhermit/backends/python/state/queues.py
src/pyhermit/backends/python/state/session.py
src/pyhermit/backends/python/state/trace.py
src/pyhermit/backends/python/state/trail.py
src/pyhermit/clauses/__init__.py
src/pyhermit/clauses/compiler.py
src/pyhermit/clauses/model.py
src/pyhermit/datatypes/__init__.py
src/pyhermit/datatypes/binary.py
src/pyhermit/datatypes/domain.py
src/pyhermit/datatypes/facets.py
src/pyhermit/datatypes/ieee754.py
src/pyhermit/datatypes/ieee_ranges.py
src/pyhermit/datatypes/integration.py
src/pyhermit/datatypes/language_tags.py
src/pyhermit/datatypes/literals.py
src/pyhermit/datatypes/model.py
src/pyhermit/datatypes/nonnumeric_ranges.py
src/pyhermit/datatypes/ranges.py
src/pyhermit/datatypes/semantic.py
src/pyhermit/datatypes/solver.py
src/pyhermit/datatypes/temporal.py
src/pyhermit/datatypes/temporal_ranges.py
src/pyhermit/datatypes/textual.py
src/pyhermit/datatypes/xml_literal.py
src/pyhermit/datatypes/xsd_regex.py
src/pyhermit/hierarchy/__init__.py
src/pyhermit/hierarchy/builder.py
src/pyhermit/hierarchy/classifier.py
src/pyhermit/hierarchy/model.py
src/pyhermit/io/__init__.py
src/pyhermit/model/__init__.py
src/pyhermit/normalize/__init__.py
src/pyhermit/normalize/expressions.py
src/pyhermit/normalize/model.py
src/pyhermit/normalize/normalizer.py
src/pyhermit/profile/__init__.py
src/pyhermit/profile/model.py
src/pyhermit/profile/validator.py
src/pyhermit/roles/__init__.py
src/pyhermit/roles/automata.py
src/pyhermit/roles/builder.py
src/pyhermit/roles/graph.py
src/pyhermit/roles/model.py
src/pyhermit/services/__init__.py
src/pyhermit/services/checks.py
src/pyhermit/services/classification.py
src/pyhermit/services/entailment.py
src/pyhermit/services/realization.py
tools/specs/WP00-EVIDENCE.md
tools/specs/__init__.py
tools/specs/_compat.py
tools/specs/check_links.py
tools/specs/check_project.py
tools/specs/check_release_gate.py
tools/specs/check_workpackages.py
tools/specs/dependencies.toml
tools/specs/index-names.toml
tools/specs/licensing.toml
tools/specs/native-wheel-targets.toml
tools/specs/ownership-allowlist.toml
tools/specs/reference.toml
tools/specs/release-verifier-requirements.txt
tools/specs/rust-production-licenses.toml
tools/specs/tests/__init__.py
tools/specs/tests/test_foundation.py
tools/specs/tests/test_project.py
tools/specs/tests/test_release_gate.py
tools/specs/tests/test_workpackages.py