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