Orchestrata Ultimate / RTM / 114-governance-rule-learning
RTM: 114-governance-rule-learning
Requirement to symbol to test rows for 114-governance-rule-learning: Governance Rule Learning.
At a glance
| Item | Value |
|---|---|
| Requirement IDs | 17 |
Traced from src/ |
1 (5.9%) |
| Untraced | 16 |
Cited from tests/ |
5 (29.4%) |
Traced in src/ but not cited from tests/ |
1 |
Reading this matrix
This matrix lists each of the 17 requirement IDs of spec 114-governance-rule-learning with the src/ symbols that cite it and the tests that cite it. 1 of them (5.9%) have at least one citing symbol and 16 have none.
5 requirements are also cited from tests/, and 1 is traced in code but never named by a test. A test citation is a @traces on a test function; it shows intent to cover, not that the test runs or reaches the symbol.
Rows showing none in the symbols column are the gaps to close first. The densest untraced groups are REQ-114-FR3 (5), REQ-114-FR2 (4), REQ-114-FR4 (4).
Requirement to symbols to tests
| Requirement | Symbols in src/ |
Tests citing it |
|---|---|---|
REQ-114-FR1-001 Miner sources candidates from open-vocabulary human/incident corpora only (rulings... |
none | none |
REQ-114-FR1-002 Miner is read-only; output is candidate .pl clauses + per-candidate provenance... |
none | none |
REQ-114-FR1-003 Rejections recorded with reasons; rejected candidates never re-proposed (tombstone... |
none | none |
REQ-114-FR2-001 Induced rules enter status pending; a pending rule never changes a gate verdict or... |
none | none |
REQ-114-FR2-002 One severity channel: pending is a severity value beside error/warning;... |
none | none |
REQ-114-FR2-003 Quarantine rulebase uses a DISTINCT head (candidate_violation/4, never... |
none | tests/scripts/test_prolog_meta_lint.py::test_check_no_redefinition_clean_when_one_file_declares_moduletests/scripts/test_prolog_meta_lint.py::test_run_lint_gate_mode_passes_when_quarantine_file_is_module_scoped |
REQ-114-FR2-004 Gate hardening PREREQUISITES (live defenses independent of learning): (a)... |
orchestrata_ultimate/gates/engine _clobber_reason L556orchestrata_ultimate/gates/engine _declared_rule_count L499orchestrata_ultimate/gates/engine _evaluate L249+2 more |
none |
REQ-114-FR2-005 Pending-rule store is a version-controlled file or governed-ledger KG artifact, NEVER... |
none | none |
REQ-114-FR3-001 Promotion is an explicit human act reviewed by BOTH reviewers, recorded in the clause... |
none | none |
REQ-114-FR3-002 Promotion mechanism is a committed .pl diff into gate_rules.pl (rewritten onto the... |
none | none |
REQ-114-FR3-003 Promoted rules are ordinary rules: ground extractor facts only (ADR-0025), complete... |
none | none |
REQ-114-FR3-004 Demotion/retirement path exists with the same review provenance, feeding the tombstone... |
none | none |
REQ-114-FR3-005 Machine-authored rule files come under the content-hash freshness discipline (extend... |
none | none |
REQ-114-FR4-001 "Why isn't requirement/feature X implemented" answerable as a why-not query over... |
none | tests/prolog/test_requirement_whynot.py::test_code_traced_but_untested_names_the_test_conjuncttests/prolog/test_requirement_whynot.py::test_no_coverage_at_all_names_the_code_trace_conjuncttests/prolog/test_requirement_whynot.py::test_traced_both_sides_but_unreachable_names_the_wiring_conjunct |
REQ-114-FR4-002 Answers carry derivations with bound witnesses (ADR-0031); model shape = `gate... |
none | tests/prolog/test_requirement_whynot.py::test_an_unknown_requirement_is_an_error_not_a_confident_notests/prolog/test_requirement_whynot.py::test_code_traced_but_untested_names_the_test_conjuncttests/prolog/test_requirement_whynot.py::test_no_coverage_at_all_names_the_code_trace_conjunct+4 more |
REQ-114-FR4-003 Sidekick queries are read-only and freshness-honest: stale fact base ⇒... |
none | tests/prolog/test_requirement_whynot.py::test_a_fresh_base_does_answertests/prolog/test_requirement_whynot.py::test_a_stale_base_refuses_even_the_unknown_requirement_answertests/prolog/test_requirement_whynot.py::test_a_stale_fact_base_refuses_to_answer_and_names_the_module+1 more |
REQ-114-FR4-004 PREREQUISITE — a positive, decomposable rule body exists: requirement_implemented/2... |
none | tests/prolog/test_requirement_whynot.py::test_a_fact_only_predicate_is_information_free_to_why_nottests/prolog/test_requirement_whynot.py::test_a_fully_covered_requirement_is_implemented |