CHANGELOG.md
LICENSE
MANIFEST.in
README.md
pyproject.toml
setup.py
clausal/AGENTS.md
clausal/__init__.py
clausal/__main__.py
clausal/_install_ipython.py
clausal/_lazy_hook.py
clausal/_py_facades.py
clausal/_suffixes.py
clausal/_transition_constructs.py
clausal/atom_diagnostics.py
clausal/cli.py
clausal/codegen.py
clausal/end_module.py
clausal/import_diagnostics.py
clausal/import_hook.py
clausal/lint_warnings.py
clausal/pl_data_imports.py
clausal/predicate_diagnostics.py
clausal/python_bridges.py
clausal/python_repl.py
clausal/reflection.py
clausal/regex.py
clausal/repl.py
clausal/seam_audit.py
clausal/syntax_diagnostics.py
clausal/terms.py
clausal/testing.py
clausal.egg-info/PKG-INFO
clausal.egg-info/SOURCES.txt
clausal.egg-info/dependency_links.txt
clausal.egg-info/entry_points.txt
clausal.egg-info/requires.txt
clausal.egg-info/top_level.txt
clausal/examples/dcg_state.seam
clausal/examples/fibonacci.seam
clausal/examples/graph.seam
clausal/examples/hanoi.seam
clausal/examples/higher_order.seam
clausal/examples/lambdas.seam
clausal/examples/map_coloring.seam
clausal/examples/meta_predicates.seam
clausal/examples/metainterpreters.seam
clausal/examples/nqueens.seam
clausal/examples/peano.seam
clausal/examples/sorting.seam
clausal/examples/sudoku.seam
clausal/examples/symbolic_diff.seam
clausal/fmt/__init__.py
clausal/fmt/cli.py
clausal/fmt/comments.py
clausal/fmt/emit.py
clausal/fmt/repair_prompt.py
clausal/fmt/transform.py
clausal/fmt/verify.py
clausal/library/AGENTS.md
clausal/library/__init__.py
clausal/library/currency.seam
clausal/library/datetime.seam
clausal/library/graphs.seam
clausal/library/hash.seam
clausal/library/hmac.seam
clausal/library/http.seam
clausal/library/imperial.seam
clausal/library/json.seam
clausal/library/logging.seam
clausal/library/pbkdf2.seam
clausal/library/py_csv.seam
clausal/library/py_files.seam
clausal/library/py_os.seam
clausal/library/py_process.seam
clausal/library/py_random.seam
clausal/library/py_uuid.seam
clausal/library/re.seam
clausal/library/reflection.seam
clausal/library/sqlite.seam
clausal/library/tcp.seam
clausal/library/units.seam
clausal/library/url.seam
clausal/library/countries/__init__.py
clausal/library/countries/afghanistan.seam
clausal/library/countries/albania.seam
clausal/library/countries/algeria.seam
clausal/library/countries/andorra.seam
clausal/library/countries/angola.seam
clausal/library/countries/argentina.seam
clausal/library/countries/armenia.seam
clausal/library/countries/aruba.seam
clausal/library/countries/australia.seam
clausal/library/countries/austria.seam
clausal/library/countries/azerbaijan.seam
clausal/library/countries/bahamas.seam
clausal/library/countries/bahrain.seam
clausal/library/countries/bangladesh.seam
clausal/library/countries/barbados.seam
clausal/library/countries/belarus.seam
clausal/library/countries/belgium.seam
clausal/library/countries/belize.seam
clausal/library/countries/bermuda.seam
clausal/library/countries/bhutan.seam
clausal/library/countries/bolivia.seam
clausal/library/countries/bosnia_herzegovina.seam
clausal/library/countries/botswana.seam
clausal/library/countries/brazil.seam
clausal/library/countries/brunei.seam
clausal/library/countries/bulgaria.seam
clausal/library/countries/burundi.seam
clausal/library/countries/cambodia.seam
clausal/library/countries/canada.seam
clausal/library/countries/cape_verde.seam
clausal/library/countries/cayman_islands.seam
clausal/library/countries/central_african_cfa.seam
clausal/library/countries/cfp_franc.seam
clausal/library/countries/chile.seam
clausal/library/countries/china.seam
clausal/library/countries/colombia.seam
clausal/library/countries/comoros.seam
clausal/library/countries/congo_kinshasa.seam
clausal/library/countries/costa_rica.seam
clausal/library/countries/croatia.seam
clausal/library/countries/cuba.seam
clausal/library/countries/cyprus.seam
clausal/library/countries/czechia.seam
clausal/library/countries/denmark.seam
clausal/library/countries/djibouti.seam
clausal/library/countries/dominican_republic.seam
clausal/library/countries/dutch_caribbean.seam
clausal/library/countries/east_caribbean.seam
clausal/library/countries/ecuador.seam
clausal/library/countries/egypt.seam
clausal/library/countries/el_salvador.seam
clausal/library/countries/equatorial_guinea.seam
clausal/library/countries/eritrea.seam
clausal/library/countries/estonia.seam
clausal/library/countries/eswatini.seam
clausal/library/countries/ethiopia.seam
clausal/library/countries/european_union.seam
clausal/library/countries/falkland_islands.seam
clausal/library/countries/fiji.seam
clausal/library/countries/finland.seam
clausal/library/countries/france.seam
clausal/library/countries/gambia.seam
clausal/library/countries/georgia.seam
clausal/library/countries/germany.seam
clausal/library/countries/ghana.seam
clausal/library/countries/gibraltar.seam
clausal/library/countries/greece.seam
clausal/library/countries/guatemala.seam
clausal/library/countries/guinea.seam
clausal/library/countries/guinea_bissau.seam
clausal/library/countries/guyana.seam
clausal/library/countries/haiti.seam
clausal/library/countries/honduras.seam
clausal/library/countries/hong_kong_sar_china.seam
clausal/library/countries/hungary.seam
clausal/library/countries/iceland.seam
clausal/library/countries/india.seam
clausal/library/countries/indonesia.seam
clausal/library/countries/iran.seam
clausal/library/countries/iraq.seam
clausal/library/countries/ireland.seam
clausal/library/countries/israel.seam
clausal/library/countries/italy.seam
clausal/library/countries/jamaica.seam
clausal/library/countries/japan.seam
clausal/library/countries/jordan.seam
clausal/library/countries/kazakhstan.seam
clausal/library/countries/kenya.seam
clausal/library/countries/kuwait.seam
clausal/library/countries/kyrgyzstan.seam
clausal/library/countries/laos.seam
clausal/library/countries/latvia.seam
clausal/library/countries/lebanon.seam
clausal/library/countries/lesotho.seam
clausal/library/countries/liberia.seam
clausal/library/countries/libya.seam
clausal/library/countries/lithuania.seam
clausal/library/countries/luxembourg.seam
clausal/library/countries/macao_sar_china.seam
clausal/library/countries/madagascar.seam
clausal/library/countries/malawi.seam
clausal/library/countries/malaysia.seam
clausal/library/countries/maldives.seam
clausal/library/countries/mali.seam
clausal/library/countries/malta.seam
clausal/library/countries/mauritania.seam
clausal/library/countries/mauritius.seam
clausal/library/countries/mexico.seam
clausal/library/countries/moldova.seam
clausal/library/countries/monaco.seam
clausal/library/countries/mongolia.seam
clausal/library/countries/morocco.seam
clausal/library/countries/mozambique.seam
clausal/library/countries/myanmar_burma.seam
clausal/library/countries/namibia.seam
clausal/library/countries/nepal.seam
clausal/library/countries/netherlands.seam
clausal/library/countries/new_zealand.seam
clausal/library/countries/nicaragua.seam
clausal/library/countries/nigeria.seam
clausal/library/countries/north_korea.seam
clausal/library/countries/north_macedonia.seam
clausal/library/countries/norway.seam
clausal/library/countries/oman.seam
clausal/library/countries/pakistan.seam
clausal/library/countries/panama.seam
clausal/library/countries/papua_new_guinea.seam
clausal/library/countries/paraguay.seam
clausal/library/countries/peru.seam
clausal/library/countries/philippines.seam
clausal/library/countries/poland.seam
clausal/library/countries/portugal.seam
clausal/library/countries/qatar.seam
clausal/library/countries/romania.seam
clausal/library/countries/russia.seam
clausal/library/countries/rwanda.seam
clausal/library/countries/samoa.seam
clausal/library/countries/sao_tome_principe.seam
clausal/library/countries/saudi_arabia.seam
clausal/library/countries/serbia.seam
clausal/library/countries/seychelles.seam
clausal/library/countries/sierra_leone.seam
clausal/library/countries/singapore.seam
clausal/library/countries/slovakia.seam
clausal/library/countries/slovenia.seam
clausal/library/countries/solomon_islands.seam
clausal/library/countries/somalia.seam
clausal/library/countries/south_africa.seam
clausal/library/countries/south_korea.seam
clausal/library/countries/south_sudan.seam
clausal/library/countries/spain.seam
clausal/library/countries/sri_lanka.seam
clausal/library/countries/st_helena.seam
clausal/library/countries/sudan.seam
clausal/library/countries/suriname.seam
clausal/library/countries/sweden.seam
clausal/library/countries/switzerland.seam
clausal/library/countries/syria.seam
clausal/library/countries/taiwan.seam
clausal/library/countries/tajikistan.seam
clausal/library/countries/tanzania.seam
clausal/library/countries/thailand.seam
clausal/library/countries/tonga.seam
clausal/library/countries/trinidad_tobago.seam
clausal/library/countries/tunisia.seam
clausal/library/countries/turkiye.seam
clausal/library/countries/turkmenistan.seam
clausal/library/countries/uganda.seam
clausal/library/countries/ukraine.seam
clausal/library/countries/united_arab_emirates.seam
clausal/library/countries/united_kingdom.seam
clausal/library/countries/united_states.seam
clausal/library/countries/uruguay.seam
clausal/library/countries/uzbekistan.seam
clausal/library/countries/vanuatu.seam
clausal/library/countries/venezuela.seam
clausal/library/countries/vietnam.seam
clausal/library/countries/west_african_cfa.seam
clausal/library/countries/yemen.seam
clausal/library/countries/zambia.seam
clausal/library/countries/zimbabwe.seam
clausal/logic/AGENTS.md
clausal/logic/__init__.py
clausal/logic/_arithmetic_core.c
clausal/logic/_clpb_core.c
clausal/logic/_clpfd_core.c
clausal/logic/_clpfd_domain_ops.h
clausal/logic/_clpfd_propagate.c
clausal/logic/_clpr_core.c
clausal/logic/_constraints_dif.c
clausal/logic/_lists_core.c
clausal/logic/_tabling_core.c
clausal/logic/_trampoline_py.py
clausal/logic/_units_flag.py
clausal/logic/atoms.py
clausal/logic/cells.py
clausal/logic/clpb.py
clausal/logic/clpfd.py
clausal/logic/clportools.py
clausal/logic/clportools_graph.py
clausal/logic/clportools_lp.py
clausal/logic/clportools_routing.py
clausal/logic/clpq.py
clausal/logic/clpr.py
clausal/logic/clpsat.py
clausal/logic/clpz3.py
clausal/logic/clpz_surface.py
clausal/logic/compiler_v2.py
clausal/logic/constants.py
clausal/logic/constraints.py
clausal/logic/coroutining.py
clausal/logic/database.py
clausal/logic/dialect_edge.py
clausal/logic/exact_arith.py
clausal/logic/exceptions.py
clausal/logic/generated_names.py
clausal/logic/goal_expansion.py
clausal/logic/meta_predicate.py
clausal/logic/predicate.py
clausal/logic/python_terms.py
clausal/logic/reif.py
clausal/logic/seam.py
clausal/logic/solve.py
clausal/logic/specialization.py
clausal/logic/stratification.py
clausal/logic/tabling.py
clausal/logic/term_expansion.py
clausal/logic/to_python.py
clausal/logic/trampoline.py
clausal/logic/translations.py
clausal/logic/units_clp.py
clausal/logic/units_constraint.py
clausal/logic/builtins/AGENTS.md
clausal/logic/builtins/__init__.py
clausal/logic/builtins/_chars_core.c
clausal/logic/builtins/_helpers.py
clausal/logic/builtins/_registry.py
clausal/logic/builtins/arithmetic.py
clausal/logic/builtins/attributes.py
clausal/logic/builtins/call_body.py
clausal/logic/builtins/chars.py
clausal/logic/builtins/clause_ops.py
clausal/logic/builtins/clpz_names.py
clausal/logic/builtins/constraints.py
clausal/logic/builtins/control.py
clausal/logic/builtins/database_ops.py
clausal/logic/builtins/dcg.py
clausal/logic/builtins/dict_set.py
clausal/logic/builtins/flags.py
clausal/logic/builtins/higher_order.py
clausal/logic/builtins/inspection.py
clausal/logic/builtins/io.py
clausal/logic/builtins/iso_compare.py
clausal/logic/builtins/keyword_ops.py
clausal/logic/builtins/lambda_lib.py
clausal/logic/builtins/lists.py
clausal/logic/builtins/ortools_constraints.py
clausal/logic/builtins/pairs.py
clausal/logic/builtins/sat_constraints.py
clausal/logic/builtins/translations_builtin.py
clausal/logic/builtins/type_checks.py
clausal/logic/builtins/z3_constraints.py
clausal/logic/compiler/AGENTS.md
clausal/logic/compiler/README.md
clausal/logic/compiler/__init__.py
clausal/logic/compiler/_ast_helpers.py
clausal/logic/compiler/_lower_goalop_shared.py
clausal/logic/compiler/_vars.py
clausal/logic/compiler/arg_index.py
clausal/logic/compiler/compile_ctx.py
clausal/logic/compiler/control_constructs.py
clausal/logic/compiler/destructive_reuse.py
clausal/logic/compiler/globals_env.py
clausal/logic/compiler/goal_shallow.py
clausal/logic/compiler/goal_trampoline.py
clausal/logic/compiler/head_match.py
clausal/logic/compiler/invariants.py
clausal/logic/compiler/ir.py
clausal/logic/compiler/ite_reified.py
clausal/logic/compiler/list_dispatch.py
clausal/logic/compiler/lower_python_shallow.py
clausal/logic/compiler/lower_python_trampoline.py
clausal/logic/compiler/predicate.py
clausal/logic/compiler/star_segments.py
clausal/logic/compiler/strategy.py
clausal/logic/compiler/tabled_naf.py
clausal/logic/compiler/terms_to_ast.py
clausal/logic/compiler/terms_to_goalop.py
clausal/logic/compiler/tro.py
clausal/logic/compiler/optimisations/__init__.py
clausal/logic/compiler/optimisations/call_site.py
clausal/logic/compiler/optimisations/continuation_tco.py
clausal/logic/compiler/optimisations/destructive_reuse.py
clausal/logic/compiler/optimisations/tro.py
clausal/logic/runtime/__init__.py
clausal/logic/runtime/_list_unify.c
clausal/logic/runtime/_seg_helpers.py
clausal/logic/runtime/_trampoline.c
clausal/logic/runtime/body_star_unify.py
clausal/logic/runtime/const_set.py
clausal/logic/runtime/dict_ops.py
clausal/logic/runtime/list_unify.py
clausal/logic/runtime/tramp_call.py
clausal/logic/variables/__init__.py
clausal/logic/variables/_ft_compat.h
clausal/logic/variables/_variables.c
clausal/logic/variables/_variables_capi.h
clausal/modules/AGENTS.md
clausal/modules/__init__.py
clausal/modules/_ratio_data.py
clausal/modules/_unit_registry.py
clausal/modules/currency.py
clausal/modules/graphs.py
clausal/modules/imperial.py
clausal/modules/prolog.py
clausal/modules/reflection.py
clausal/modules/units.py
clausal/modules/countries/__init__.py
clausal/modules/countries/_currency.py
clausal/modules/countries/_data.py
clausal/modules/countries/afghanistan.py
clausal/modules/countries/albania.py
clausal/modules/countries/algeria.py
clausal/modules/countries/andorra.py
clausal/modules/countries/angola.py
clausal/modules/countries/argentina.py
clausal/modules/countries/armenia.py
clausal/modules/countries/aruba.py
clausal/modules/countries/australia.py
clausal/modules/countries/austria.py
clausal/modules/countries/azerbaijan.py
clausal/modules/countries/bahamas.py
clausal/modules/countries/bahrain.py
clausal/modules/countries/bangladesh.py
clausal/modules/countries/barbados.py
clausal/modules/countries/belarus.py
clausal/modules/countries/belgium.py
clausal/modules/countries/belize.py
clausal/modules/countries/bermuda.py
clausal/modules/countries/bhutan.py
clausal/modules/countries/bolivia.py
clausal/modules/countries/bosnia_herzegovina.py
clausal/modules/countries/botswana.py
clausal/modules/countries/brazil.py
clausal/modules/countries/brunei.py
clausal/modules/countries/bulgaria.py
clausal/modules/countries/burundi.py
clausal/modules/countries/cambodia.py
clausal/modules/countries/canada.py
clausal/modules/countries/cape_verde.py
clausal/modules/countries/cayman_islands.py
clausal/modules/countries/central_african_cfa.py
clausal/modules/countries/cfp_franc.py
clausal/modules/countries/chile.py
clausal/modules/countries/china.py
clausal/modules/countries/colombia.py
clausal/modules/countries/comoros.py
clausal/modules/countries/congo_kinshasa.py
clausal/modules/countries/costa_rica.py
clausal/modules/countries/croatia.py
clausal/modules/countries/cuba.py
clausal/modules/countries/cyprus.py
clausal/modules/countries/czechia.py
clausal/modules/countries/denmark.py
clausal/modules/countries/djibouti.py
clausal/modules/countries/dominican_republic.py
clausal/modules/countries/dutch_caribbean.py
clausal/modules/countries/east_caribbean.py
clausal/modules/countries/ecuador.py
clausal/modules/countries/egypt.py
clausal/modules/countries/el_salvador.py
clausal/modules/countries/equatorial_guinea.py
clausal/modules/countries/eritrea.py
clausal/modules/countries/estonia.py
clausal/modules/countries/eswatini.py
clausal/modules/countries/ethiopia.py
clausal/modules/countries/european_union.py
clausal/modules/countries/falkland_islands.py
clausal/modules/countries/fiji.py
clausal/modules/countries/finland.py
clausal/modules/countries/france.py
clausal/modules/countries/gambia.py
clausal/modules/countries/georgia.py
clausal/modules/countries/germany.py
clausal/modules/countries/ghana.py
clausal/modules/countries/gibraltar.py
clausal/modules/countries/greece.py
clausal/modules/countries/guatemala.py
clausal/modules/countries/guinea.py
clausal/modules/countries/guinea_bissau.py
clausal/modules/countries/guyana.py
clausal/modules/countries/haiti.py
clausal/modules/countries/honduras.py
clausal/modules/countries/hong_kong_sar_china.py
clausal/modules/countries/hungary.py
clausal/modules/countries/iceland.py
clausal/modules/countries/india.py
clausal/modules/countries/indonesia.py
clausal/modules/countries/iran.py
clausal/modules/countries/iraq.py
clausal/modules/countries/ireland.py
clausal/modules/countries/israel.py
clausal/modules/countries/italy.py
clausal/modules/countries/jamaica.py
clausal/modules/countries/japan.py
clausal/modules/countries/jordan.py
clausal/modules/countries/kazakhstan.py
clausal/modules/countries/kenya.py
clausal/modules/countries/kuwait.py
clausal/modules/countries/kyrgyzstan.py
clausal/modules/countries/laos.py
clausal/modules/countries/latvia.py
clausal/modules/countries/lebanon.py
clausal/modules/countries/lesotho.py
clausal/modules/countries/liberia.py
clausal/modules/countries/libya.py
clausal/modules/countries/lithuania.py
clausal/modules/countries/luxembourg.py
clausal/modules/countries/macao_sar_china.py
clausal/modules/countries/madagascar.py
clausal/modules/countries/malawi.py
clausal/modules/countries/malaysia.py
clausal/modules/countries/maldives.py
clausal/modules/countries/mali.py
clausal/modules/countries/malta.py
clausal/modules/countries/mauritania.py
clausal/modules/countries/mauritius.py
clausal/modules/countries/mexico.py
clausal/modules/countries/moldova.py
clausal/modules/countries/monaco.py
clausal/modules/countries/mongolia.py
clausal/modules/countries/morocco.py
clausal/modules/countries/mozambique.py
clausal/modules/countries/myanmar_burma.py
clausal/modules/countries/namibia.py
clausal/modules/countries/nepal.py
clausal/modules/countries/netherlands.py
clausal/modules/countries/new_zealand.py
clausal/modules/countries/nicaragua.py
clausal/modules/countries/nigeria.py
clausal/modules/countries/north_korea.py
clausal/modules/countries/north_macedonia.py
clausal/modules/countries/norway.py
clausal/modules/countries/oman.py
clausal/modules/countries/pakistan.py
clausal/modules/countries/panama.py
clausal/modules/countries/papua_new_guinea.py
clausal/modules/countries/paraguay.py
clausal/modules/countries/peru.py
clausal/modules/countries/philippines.py
clausal/modules/countries/poland.py
clausal/modules/countries/portugal.py
clausal/modules/countries/qatar.py
clausal/modules/countries/romania.py
clausal/modules/countries/russia.py
clausal/modules/countries/rwanda.py
clausal/modules/countries/samoa.py
clausal/modules/countries/sao_tome_principe.py
clausal/modules/countries/saudi_arabia.py
clausal/modules/countries/serbia.py
clausal/modules/countries/seychelles.py
clausal/modules/countries/sierra_leone.py
clausal/modules/countries/singapore.py
clausal/modules/countries/slovakia.py
clausal/modules/countries/slovenia.py
clausal/modules/countries/solomon_islands.py
clausal/modules/countries/somalia.py
clausal/modules/countries/south_africa.py
clausal/modules/countries/south_korea.py
clausal/modules/countries/south_sudan.py
clausal/modules/countries/spain.py
clausal/modules/countries/sri_lanka.py
clausal/modules/countries/st_helena.py
clausal/modules/countries/sudan.py
clausal/modules/countries/suriname.py
clausal/modules/countries/sweden.py
clausal/modules/countries/switzerland.py
clausal/modules/countries/syria.py
clausal/modules/countries/taiwan.py
clausal/modules/countries/tajikistan.py
clausal/modules/countries/tanzania.py
clausal/modules/countries/thailand.py
clausal/modules/countries/tonga.py
clausal/modules/countries/trinidad_tobago.py
clausal/modules/countries/tunisia.py
clausal/modules/countries/turkiye.py
clausal/modules/countries/turkmenistan.py
clausal/modules/countries/uganda.py
clausal/modules/countries/ukraine.py
clausal/modules/countries/united_arab_emirates.py
clausal/modules/countries/united_kingdom.py
clausal/modules/countries/united_states.py
clausal/modules/countries/uruguay.py
clausal/modules/countries/uzbekistan.py
clausal/modules/countries/vanuatu.py
clausal/modules/countries/venezuela.py
clausal/modules/countries/vietnam.py
clausal/modules/countries/west_african_cfa.py
clausal/modules/countries/yemen.py
clausal/modules/countries/zambia.py
clausal/modules/countries/zimbabwe.py
clausal/modules/py/AGENTS.md
clausal/modules/py/__init__.py
clausal/modules/py/_helpers.py
clausal/modules/py/csv.py
clausal/modules/py/datetime.py
clausal/modules/py/files.py
clausal/modules/py/hash.py
clausal/modules/py/hmac.py
clausal/modules/py/http.py
clausal/modules/py/imperial.py
clausal/modules/py/json.py
clausal/modules/py/logging.py
clausal/modules/py/os.py
clausal/modules/py/pbkdf2.py
clausal/modules/py/process.py
clausal/modules/py/random.py
clausal/modules/py/re.py
clausal/modules/py/sqlite.py
clausal/modules/py/tcp.py
clausal/modules/py/units.py
clausal/modules/py/url.py
clausal/modules/py/uuid.py
clausal/pythonic_ast/__init__.py
clausal/pythonic_ast/conversion_from_python_ast.py
clausal/pythonic_ast/node_class.py
clausal/pythonic_ast/nodes.py
clausal/pythonic_ast/transform.py
clausal/rewrite/__init__.py
clausal/rewrite/cli.py
clausal/rewrite/driver.py
clausal/rewrite/rules/_broken_head_fold_control.seam
clausal/rewrite/rules/head_fold.seam
clausal/rewrite/rules/unnecessary_lambda.seam
clausal/stdlib/__init__.py
clausal/stdlib/clpz.seam
clausal/stdlib/clpz_sum.seam
clausal/stdlib/kleene.seam
clausal/stdlib/reif.seam
clausal/templating/AGENTS.md
clausal/templating/__init__.py
clausal/templating/compiler.py
clausal/templating/desugar.py
clausal/templating/parser.py
clausal/templating/quote_map.py
clausal/templating/term_rewriting.py
clausal/tools/AGENTS.md
clausal/tools/__init__.py
clausal/tools/clausal_to_prolog.py
clausal/tools/clear_pycache.py
clausal/tools/doc_snippet_check.py
clausal/tools/dump_transformed.py
clausal/tools/gen_library_facades.py
clausal/tools/iso_l3.py
clausal/tools/iso_l3_directives.py
clausal/tools/prolog_ast.py
clausal/tools/prolog_dialect.py
clausal/tools/prolog_operators.py
clausal/tools/prolog_parser.py
clausal/tools/prolog_reader.py
clausal/tools/prolog_to_clausal.py
clausal/tools/prolog_tokenizer.py
clausal/tools/transition_census.py
clausal/tools/transition_census_baseline.json
clausal/tools/translate.py
clausal/tools/visualize.py
clausal/tools/eq_analysis/__init__.py
clausal/tools/eq_analysis/instrument.py
clausal/tools/prolog_preludes/clausal_constants_scryer.pl
clausal/tools/prolog_preludes/clausal_constants_trealla.pl
clausal/tools/toklex/AGENTS.md
clausal/tools/toklex/__init__.py
clausal/tools/toklex/_bootstrap.py
clausal/tools/toklex/annotate.py
clausal/tools/toklex/automaton.py
clausal/tools/toklex/builders.py
clausal/tools/toklex/charset.py
clausal/tools/toklex/dcg.py
clausal/tools/toklex/decode.py
clausal/tools/toklex/driver.py
clausal/tools/toklex/regex_target.py
clausal/tools/toklex/spec.py
clausal/tools/toklex/specs/clausal.toklex.pl
clausal/tools/toklex/specs/iso.toklex.pl
tests/test_abolish.py
tests/test_adapter_bad_input_text_iso.py
tests/test_adapter_io_errors_iso.py
tests/test_arith_cells_evaluable.py
tests/test_arith_operator_rulings.py
tests/test_arity_mismatch_is_iso_existence_error_both_eras.py
tests/test_arrow_body_error_location.py
tests/test_as_cells_for_match_parity.py
tests/test_assert_through_aliased_import_both_eras.py
tests/test_atom_class_deprecation.py
tests/test_atom_diagnostics.py
tests/test_atom_export_zero_arity_warning.py
tests/test_atom_identity_warning.py
tests/test_atom_shadowing.py
tests/test_atoms_api.py
tests/test_atoms_as_cells.py
tests/test_atoms_as_cells_flip.py
tests/test_atoms_as_str_stage2.py
tests/test_attributes.py
tests/test_backend_seam.py
tests/test_bare_goal_variable.py
tests/test_bare_predicate_name_in_source_is_the_plain_atom.py
tests/test_batch_e_residual_2026_09_29.py
tests/test_body_construct_diagnostics.py
tests/test_body_star_decon.py
tests/test_bucket_refs_ir_parallel.py
tests/test_builtin_bad_argument_errors.py
tests/test_builtin_classes.py
tests/test_builtin_meta_call_dotted_is_qualified_goal.py
tests/test_builtin_name_is_atom_in_data_position.py
tests/test_builtin_named_predicate.py
tests/test_builtins.py
tests/test_bytes_adversarial.py
tests/test_bytes_dcg.py
tests/test_bytes_doc_examples.py
tests/test_bytes_head_dispatch.py
tests/test_bytes_helpers_fallback.py
tests/test_bytes_indexing.py
tests/test_bytes_list_builtins.py
tests/test_bytes_list_unification.py
tests/test_bytes_patterns.py
tests/test_bytes_seg_runtime.py
tests/test_bytes_type_checks.py
tests/test_call_dotted_adapter_goal.py
tests/test_call_dotted_functor.py
tests/test_call_n_dangling_handle_raises.py
tests/test_call_runs_body_terms.py
tests/test_call_runs_special_form_cells.py
tests/test_callable_iso_name.py
tests/test_callsite_imported_ground_call.py
tests/test_callsite_specialization.py
tests/test_catch_python_exceptions.py
tests/test_catch_trampolined.py
tests/test_cell_goals.py
tests/test_cells.py
tests/test_chars.py
tests/test_chars_carrier.py
tests/test_class_only_state_moved_both_eras.py
tests/test_clausal_modules.py
tests/test_clausal_prolog_may_not_import_pl.py
tests/test_clausal_variable_marker_in_thunks.py
tests/test_clause_2_iso.py
tests/test_clauseless_export.py
tests/test_cli.py
tests/test_clpb.py
tests/test_clpfd.py
tests/test_clportools.py
tests/test_clportools_lp.py
tests/test_clpq.py
tests/test_clpq_module.py
tests/test_clpr.py
tests/test_clpr_block_units.py
tests/test_clpr_inf_sup.py
tests/test_clpsat.py
tests/test_clpz.py
tests/test_clpz3.py
tests/test_clpz3_bool.py
tests/test_clpz3_bv.py
tests/test_clpz3_diag.py
tests/test_clpz3_int.py
tests/test_clpz3_opt.py
tests/test_clpz3_propagate.py
tests/test_clpz3_real.py
tests/test_clpz3_theories.py
tests/test_clpz_abs_min_max.py
tests/test_clpz_bignum.py
tests/test_clpz_exact_division.py
tests/test_clpz_functional_cells.py
tests/test_clpz_linear_ineq_bounds.py
tests/test_codegen.py
tests/test_colon_followups_missing_module_and_seam_term.py
tests/test_comma_separated_rules.py
tests/test_comparison_twin_parity.py
tests/test_compiled_programs.py
tests/test_compiler.py
tests/test_compiler_goals.py
tests/test_compiler_optimizations.py
tests/test_compiler_trampoline.py
tests/test_compiler_v2.py
tests/test_const_list_membership.py
tests/test_constant_decimal_strings.py
tests/test_constant_scope.py
tests/test_constants.py
tests/test_constants_table.py
tests/test_control.py
tests/test_coroutining.py
tests/test_crypto_modules.py
tests/test_csv_module.py
tests/test_currency.py
tests/test_currency_minor_units.py
tests/test_currency_money.py
tests/test_currency_vocabulary.py
tests/test_d21_in_domain_divmod.py
tests/test_database.py
tests/test_date_query_args.py
tests/test_date_term.py
tests/test_date_time.py
tests/test_date_time_ordering.py
tests/test_dcg.py
tests/test_dcg_braces.py
tests/test_dcg_terminal_binds_element.py
tests/test_decimal_arithmetic.py
tests/test_declaration_registration.py
tests/test_declared_atoms.py
tests/test_deep_indexing.py
tests/test_defines_predicate_and_module_binds.py
tests/test_destructive_reuse.py
tests/test_desugar.py
tests/test_dialect_gate_routes.py
tests/test_dict_goal_error.py
tests/test_dict_nonsplat_var_key.py
tests/test_dict_set_builtins.py
tests/test_dict_set_compiler.py
tests/test_dict_set_terms.py
tests/test_dict_splat_var_key.py
tests/test_dif.py
tests/test_dims_keyed_by_atoms.py
tests/test_directives.py
tests/test_dispatch_target_error.py
tests/test_doc_block_diagnostics.py
tests/test_doc_python_blocks.py
tests/test_doc_snippet_coverage.py
tests/test_doc_snippet_integrity.py
tests/test_dollar_runtime_names.py
tests/test_double_quotes_cross_mode_lint.py
tests/test_double_quotes_directive.py
tests/test_dumb_seam_raw_out.py
tests/test_dynamic_at_another_arity_both_eras.py
tests/test_edcg.py
tests/test_engine_builds_cells.py
tests/test_eq_mode_instrument.py
tests/test_error_terms_are_cells.py
tests/test_eval_builtin.py
tests/test_exact_literals_step6.py
tests/test_exceptions.py
tests/test_export_arity_mismatch_lint.py
tests/test_exporter_alias_import_refused.py
tests/test_exporter_constants_dialect.py
tests/test_exporter_f4_f5_import_export_lists.py
tests/test_exporter_prefers_scryer.py
tests/test_exporter_unit_divisor_fold.py
tests/test_extension_flip_prep.py
tests/test_f2b_is_declared_predicate_name.py
tests/test_f3_is_zero_field_class_callers.py
tests/test_f4_arity_set_diagnostic.py
tests/test_f5_predicate_atom_coupled_pair.py
tests/test_f7_dispatch_at_arity_refusal.py
tests/test_fact_table_text_name.py
tests/test_field_named_export_of_imported_dynamic_both_eras.py
tests/test_field_names_for.py
tests/test_fields_per_arity.py
tests/test_files_module.py
tests/test_find_module_file_follows_finder_order.py
tests/test_find_pred_binding_both_eras.py
tests/test_findall_4.py
tests/test_finder_precedence_per_path_entry.py
tests/test_first_arg_index.py
tests/test_float_iso_name.py
tests/test_foldl_open_lists_caret_goal.py
tests/test_format_scryer.py
tests/test_free_threading.py
tests/test_fstring_is_a_string.py
tests/test_functor_arity_conflict.py
tests/test_functor_construction_declared_term.py
tests/test_functor_field_name_diagnostic.py
tests/test_functor_import_ordering.py
tests/test_functor_reexport.py
tests/test_funnel_accessors.py
tests/test_funnel_lint.py
tests/test_gc_choicepoint_trail_safety.py
tests/test_global_atoms_default.py
tests/test_global_constraints.py
tests/test_goal_position_seam.py
tests/test_groundness_dispatch.py
tests/test_handle_local_first_and_minting.py
tests/test_handle_owner_collect_memo.py
tests/test_handle_owner_registry.py
tests/test_head_list_tail_call.py
tests/test_head_match_imported_compound.py
tests/test_heads_without_calling_binding_both_eras.py
tests/test_hide_directive.py
tests/test_higher_order.py
tests/test_hosted_text_crossing.py
tests/test_http_module.py
tests/test_if_spelling.py
tests/test_implicit_functors.py
tests/test_import.py
tests/test_import_arity_resolution.py
tests/test_import_by_indicator.py
tests/test_import_diagnostics_defined_names.py
tests/test_import_engine_builtin_module.py
tests/test_import_export_diagnostic.py
tests/test_import_from_module_shadow.py
tests/test_import_hook_suffix_key_and_path_types.py
tests/test_import_list_duplicates.py
tests/test_import_local_clash.py
tests/test_import_module_binds_top_package.py
tests/test_import_origins_both_eras.py
tests/test_import_path_canonicalization.py
tests/test_imported_atom_head_index.py
tests/test_imported_atoms.py
tests/test_imported_functor_clause_clobber.py
tests/test_indexing_wrong_answers.py
tests/test_inspection_registration_probes.py
tests/test_instance_path_retired.py
tests/test_integral_rationals.py
tests/test_invariant_errors.py
tests/test_io.py
tests/test_ipython_integration.py
tests/test_is_nested_adapter_call_raises.py
tests/test_is_qualified_adapter_call_raises.py
tests/test_is_vs_eval_diagnostic.py
tests/test_iso_db_and_term_builtins.py
tests/test_iso_writers_scryer_layout.py
tests/test_json_module.py
tests/test_jupyter_integration.py
tests/test_keysort_iso.py
tests/test_kleene_stdlib.py
tests/test_lambda_arity_error.py
tests/test_lambdas.py
tests/test_lazy_hook_clausal_package.py
tests/test_lazy_hook_reentrancy.py
tests/test_leak_doors.py
tests/test_lint_cons_bar_head.py
tests/test_lint_is_not_pattern.py
tests/test_lint_keyword_arguments.py
tests/test_lint_titlecase.py
tests/test_list_util.py
tests/test_listing.py
tests/test_listing_indicator_both_eras.py
tests/test_load_module_dispatches_pl.py
tests/test_lock_static_predicates.py
tests/test_logging_module.py
tests/test_long_clause_bodies_load.py
tests/test_low_level_db_mutation_sync.py
tests/test_mangled_handle_dangling_error_shape.py
tests/test_map_list_to_pairs.py
tests/test_maplist_4_to_8.py
tests/test_meta.py
tests/test_meta_arg_dotted_is_qualified_goal.py
tests/test_meta_call_cut_refused.py
tests/test_meta_predicate_directive_both_eras.py
tests/test_metainterpreters.py
tests/test_module_constant_reflection.py
tests/test_module_constant_units.py
tests/test_module_declare_dynamic.py
tests/test_module_imports.py
tests/test_multi_arity_names.py
tests/test_mutable_dict_set.py
tests/test_mutation_gate.py
tests/test_no_padding_construction.py
tests/test_nonpy_adapters_raise.py
tests/test_numeric_head_literal.py
tests/test_operator_head_indexed_dispatch.py
tests/test_optimisations_call_site.py
tests/test_optimisations_dr.py
tests/test_optimisations_toggle.py
tests/test_optimisations_toggle_matrix.py
tests/test_optimisations_tro.py
tests/test_optional_fact_comma.py
tests/test_oracle_paths.py
tests/test_os_module.py
tests/test_package_init_resolution.py
tests/test_package_segment_diagnostic.py
tests/test_phase5_builtins.py
tests/test_phrase_whole_body_cut.py
tests/test_pi_e_arithmetic_position.py
tests/test_pl_module_getattr_data_atoms.py
tests/test_pl_module_unexported_from_python.py
tests/test_pl_translator_honest.py
tests/test_pl_translator_python_module_imports.py
tests/test_pl_translator_scryer_operator_table.py
tests/test_pl_underscore_singletons.py
tests/test_pl_use_module_sibling_first.py
tests/test_plain_dict_set_widening.py
tests/test_plain_dicts_d6.py
tests/test_pool_atom_applied_as_functor.py
tests/test_pool_atom_does_not_change_qualified_call.py
tests/test_pooled_atom_does_not_hide_undefined_name.py
tests/test_predicate_arity_mismatch_diagnostic.py
tests/test_predicate_class_as_term_value.py
tests/test_predicate_meta.py
tests/test_predicate_not_found_diagnostic.py
tests/test_predrow.py
tests/test_preflip_small_arms_both_eras.py
tests/test_process_module.py
tests/test_prolog_ast.py
tests/test_prolog_canonical_forms.py
tests/test_prolog_constant_fold.py
tests/test_prolog_constants_prelude.py
tests/test_prolog_dialect.py
tests/test_prolog_dict_lowering.py
tests/test_prolog_emit.py
tests/test_prolog_execution.py
tests/test_prolog_fix_review.py
tests/test_prolog_golden.py
tests/test_prolog_import.py
tests/test_prolog_interim_refusals.py
tests/test_prolog_literal_rule.py
tests/test_prolog_meta_predicate.py
tests/test_prolog_meta_predicate_emission.py
tests/test_prolog_module_emission.py
tests/test_prolog_module_exports.py
tests/test_prolog_module_specs_plain.py
tests/test_prolog_operators.py
tests/test_prolog_parse.py
tests/test_prolog_quantity_units.py
tests/test_prolog_quote_map_line_endings.py
tests/test_prolog_roundtrip.py
tests/test_prolog_rule_drop.py
tests/test_prolog_singletons.py
tests/test_prolog_splat_lowering.py
tests/test_prolog_strict.py
tests/test_prolog_to_clausal.py
tests/test_prolog_to_clausal_var_names.py
tests/test_prolog_use_module_empty_list.py
tests/test_prolog_var_identity.py
tests/test_property_2_check_mode.py
tests/test_public_converters.py
tests/test_py_adapters_domain_error.py
tests/test_py_interop_type_notes.py
tests/test_pycache.py
tests/test_pytest_plugin_diagnostics.py
tests/test_python_boundary.py
tests/test_python_boundary_atom.py
tests/test_python_boundary_out.py
tests/test_python_bridges.py
tests/test_python_fallbacks.py
tests/test_python_interop.py
tests/test_python_predicate_name_gate.py
tests/test_python_repl.py
tests/test_q0_db_hint_consumers.py
tests/test_qualified_goal_bad_module_argument.py
tests/test_qualified_goals.py
tests/test_qualify_mangled_goal_module_validity.py
tests/test_quantity_decimal.py
tests/test_quantity_dims_storage.py
tests/test_quantity_head_literal.py
tests/test_quantity_number.py
tests/test_quantity_rendering.py
tests/test_query_arg_parameterization.py
tests/test_query_atom_dict_key_identity.py
tests/test_query_cache_transient_module.py
tests/test_query_cache_value_isolation.py
tests/test_quote_map.py
tests/test_quoted_atom_functor.py
tests/test_random_module.py
tests/test_ratio_units.py
tests/test_rdiv_decimal_order_guard.py
tests/test_real_module_during_compile.py
tests/test_reflection.py
tests/test_reflection_builtins.py
tests/test_reflection_clause_source.py
tests/test_reflection_op_node.py
tests/test_reflection_render.py
tests/test_reflection_replace_subterm.py
tests/test_reflection_sugar.py
tests/test_reflection_vocab_accessors.py
tests/test_regex.py
tests/test_reif_builtins.py
tests/test_reified_ite.py
tests/test_repl.py
tests/test_repl_integration.py
tests/test_resolve_and_argkey.py
tests/test_reverse_bidirectional.py
tests/test_runtime_compiler_boundary.py
tests/test_scryer_lists_between_codes.py
tests/test_seam_bool_literals_stay_python.py
tests/test_seam_boolean_lint.py
tests/test_seam_import_data_name_from_pl.py
tests/test_seam_import_unexported_pl_predicate.py
tests/test_seam_operator.py
tests/test_seam_qualified_colon_and_zero_arg_call.py
tests/test_seam_query_in_defining_module.py
tests/test_seam_set_goal_clpq.py
tests/test_seam_term_dotted.py
tests/test_seam_text_compare_lint.py
tests/test_seam_transition_constructs.py
tests/test_search.py
tests/test_secondary_dispatch_tro.py
tests/test_segbytes.py
tests/test_seglist_core.py
tests/test_seglist_creation.py
tests/test_seglist_passthrough.py
tests/test_segstring.py
tests/test_self_denoting_predicate_atom_plain.py
tests/test_show_generated_smoke.py
tests/test_simple_ast.py
tests/test_singleton_lint.py
tests/test_slg_termination.py
tests/test_solve.py
tests/test_solve_bare_cut.py
tests/test_solve_cell_goals_in_control_nodes.py
tests/test_solve_exact_number_arguments.py
tests/test_solve_special_form_cell_goals.py
tests/test_solve_zero_arity_control_atoms.py
tests/test_source_locations.py
tests/test_source_site_package_boundary.py
tests/test_spec_target_is_data.py
tests/test_specialization.py
tests/test_specialization_pipeline.py
tests/test_specialize_mi_resolves_rows.py
tests/test_specialize_source_shape.py
tests/test_sqlite.py
tests/test_standard_order.py
tests/test_statement_multi_goal_no_arrow.py
tests/test_step4_row_stamps.py
tests/test_stratification.py
tests/test_strict_atoms_default.py
tests/test_string_head_patterns.py
tests/test_string_higher_order.py
tests/test_string_in_catch_pattern_lint.py
tests/test_string_is_char_list.py
tests/test_string_list_builtins.py
tests/test_string_list_unification.py
tests/test_structural_head_normalization.py
tests/test_structural_head_output_mode.py
tests/test_symbolic_names_cross_as_atoms.py
tests/test_syntax_error_diagnostic.py
tests/test_tabling.py
tests/test_tabling_lifecycle.py
tests/test_tagged_terms.py
tests/test_tagged_terms_parity.py
tests/test_tail_recursion.py
tests/test_tcp_module.py
tests/test_template_compiler.py
tests/test_term_expansion.py
tests/test_term_html.py
tests/test_term_html_and_wide_display.py
tests/test_term_inspection.py
tests/test_term_rewriting.py
tests/test_term_walkers_partial_lists.py
tests/test_terms.py
tests/test_terms_to_goalop.py
tests/test_testing_cli.py
tests/test_testing_descent.py
tests/test_testing_diagnostics.py
tests/test_testing_empty_scan_and_pl.py
tests/test_testing_fail_option.py
tests/test_testing_resolve_predicate_rows.py
tests/test_testing_true_body_names.py
tests/test_text_builtins_partial_list.py
tests/test_through_era_agnostic.py
tests/test_titlecase_gate.py
tests/test_titlecase_is_a_variable.py
tests/test_to_python_deep.py
tests/test_trail_elision.py
tests/test_trampoline_parity.py
tests/test_transform_nodes.py
tests/test_transitive_py_module_import.py
tests/test_translate_refuses_contradicting_to.py
tests/test_translations.py
tests/test_triage_batch1_2026_09_28.py
tests/test_triage_batch2_2026_09_28.py
tests/test_tro_keeps_prefix_effects.py
tests/test_tro_lift_recompute_cache_scope.py
tests/test_tro_nonlast_arm_clobber.py
tests/test_truth_atoms_engine.py
tests/test_truth_atoms_python_boundary.py
tests/test_truth_value_aliases.py
tests/test_undefined_name_sibling_diagnostic.py
tests/test_unify.py
tests/test_unify_census.py
tests/test_unit_identifier_injective.py
tests/test_unit_metadata_via_registry.py
tests/test_unit_registry.py
tests/test_units.py
tests/test_units_clp.py
tests/test_units_lowercase_names.py
tests/test_units_mismatch_iso_term.py
tests/test_univ_and_assert_iso_errors.py
tests/test_unknown_builtin.py
tests/test_unknown_direct_call_is_iso_existence_error.py
tests/test_uuid_module.py
tests/test_var_classifier_conformance.py
tests/test_var_shaped_predicate_name.py
tests/test_variables.py
tests/test_vocabulary_implements_refused.py
tests/test_w4_qualified_handle.py
tests/test_w4b1_builtin_fallback_removed.py
tests/test_w4b2b_binding_resolver.py
tests/test_w4b2d_flip.py
tests/test_w4b3_builtins_are_not_classes.py
tests/test_w4b3_dispatch_guards_accept_handles.py
tests/test_w4b3_rewriter_mints_no_class.py
tests/test_walk_goal_ops_deep.py
tests/test_wfs.py
tests/test_writers_atoms_strings.py
tests/test_written_arity_construction_both_eras.py
tests/test_z3_docs.py
tests/test_z3_module.py
tests/test_zz_d6c_extras_audit.py