Orchestrata Ultimate › Tests › Reference › knowledge_graph › test_ownership_chain_tabling
Tests reference — tests/knowledge_graph/test_ownership_chain_tabling.py
Module of tests/knowledge_graph, split out because the directory page would be too large.
Prose pending.
tests/knowledge_graph/test_ownership_chain_tabling.py
source · 4 tests · 196 lines
Complete-enumeration tests for knowledge.pl:ownership_chain/3 (ADR-0026).
Covers: core.base.traces, core.paths
| Kind | Name | Line | Description |
|---|---|---|---|
| function | test_ownership_chain_terminates_on_cycle |
66 | A cyclic owns/depends_on graph terminates via the visited-set walk — |
| function | test_ownership_chain_cyclic_answers_all_ground |
95 | No restraint => no undefined overflow answer: on a cyclic graph the |
| function | test_ownership_chain_acyclic_returns_expected_chains |
132 | On an acyclic graph, ownership_chain returns the expected chains and |
| function | test_ownership_chain_enumerates_beyond_the_old_cap |
168 | ADR-0026 no-truncation regression: a delegation graph with MORE than |