Orchestrata Ultimate / RTM / 007-prolog-governance
RTM: 007-prolog-governance
Requirement to symbol to test rows for 007-prolog-governance: Prolog Governance (PAM++).
At a glance
| Item | Value |
|---|---|
| Requirement IDs | 367 |
Traced from src/ |
105 (28.6%) |
| Untraced | 262 |
Cited from tests/ |
0 (0.0%) |
Traced in src/ but not cited from tests/ |
105 |
Reading this matrix
This matrix lists each of the 367 requirement IDs of spec 007-prolog-governance with the src/ symbols that cite it and the tests that cite it. 105 of them (28.6%) have at least one citing symbol and 262 have none.
0 requirements are also cited from tests/, and 105 are 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-007-FR10 (120), REQ-007-FR2 (16), REQ-007-FR4 (13).
Requirement to symbols to tests
| Requirement | Symbols in src/ |
Tests citing it |
|---|---|---|
REQ-007-US-001-001 may_execute/2 predicate accepts operation and context |
orchestrata_ultimate/governance/interfaces evaluate L29orchestrata_ultimate/governance/policy_engine PolicyEngine L34orchestrata_ultimate/governance/prolog_client _evaluate_via_policy L482+4 more |
none |
REQ-007-US-001-002 Returns boolean result in < 5ms for cached policies |
orchestrata_ultimate/governance/cache get L112orchestrata_ultimate/governance/interfaces is_allowed L45orchestrata_ultimate/governance/types PolicyDecision L49 |
none |
REQ-007-US-001-003 Returns detailed reason when operation is denied |
orchestrata_ultimate/governance/interfaces IPolicyEngine L21orchestrata_ultimate/governance/policy_engine PolicyEngine L34orchestrata_ultimate/governance/policy_engine evaluate L81+2 more |
none |
REQ-007-US-001-004 Supports batch queries for multiple operations |
orchestrata_ultimate/governance/interfaces evaluate_batch L38orchestrata_ultimate/governance/policy_engine evaluate_batch L338 |
none |
REQ-007-US-001-005 Thread-safe for concurrent queries |
orchestrata_ultimate/governance/cache GovernanceCache L34orchestrata_ultimate/orchestrator/prolog_worker PrologWorker L68orchestrata_ultimate/orchestrator/prolog_worker _ensure_thread_engine L106+2 more |
none |
REQ-007-US-001-006 Logs all policy queries with timestamp and context |
orchestrata_ultimate/governance/audit log_decision L52orchestrata_ultimate/governance/policy_engine _record L371 |
none |
REQ-007-US-001-007 Implement synchronous query interface |
orchestrata_ultimate/core/protocols/decoupling query L26orchestrata_ultimate/core/protocols/decoupling query_bool L32orchestrata_ultimate/core/protocols/decoupling query_one L29+7 more |
none |
REQ-007-US-001-008 Implement async query interface for web handlers |
orchestrata_ultimate/governance/policy_engine PolicyEngine L34orchestrata_ultimate/governance/policy_engine evaluate L81orchestrata_ultimate/governance/policy_engine is_allowed L358 |
none |
REQ-007-US-001-009 Add query result caching with TTL |
orchestrata_ultimate/governance/cache GovernanceCache L34orchestrata_ultimate/governance/cache _deserialize_decision L90orchestrata_ultimate/governance/cache _redis_key L72+4 more |
none |
REQ-007-US-001-010 Add metrics collection for query performance |
orchestrata_ultimate/governance/monitoring record_query L68 |
none |
REQ-007-US-001-011 Add audit logging for all policy decisions |
orchestrata_ultimate/core/protocols/decoupling log_policy_decision L175orchestrata_ultimate/governance/audit GovernanceAudit L30orchestrata_ultimate/governance/audit log_decision L52+1 more |
none |
REQ-007-US-001-012 Unit tests for all query types |
none | none |
REQ-007-US-001-013 Performance tests for < 5ms response time |
none | none |
REQ-007-US-001-014 Concurrent query tests (1000+ simultaneous) |
none | none |
REQ-007-US-001-015 Cache hit/miss ratio tests |
none | none |
REQ-007-US-001-016 Audit log completeness tests |
none | none |
REQ-007-US-002-001 All 11 constitutional articles loaded as Prolog facts |
orchestrata_ultimate/governance/constitutional ConstitutionalEnforcer L117orchestrata_ultimate/governance/interfaces get_articles L74orchestrata_ultimate/governance/types Article L164+3 more |
none |
REQ-007-US-002-002 Constraints checked before every sensitive operation |
orchestrata_ultimate/governance/constitutional ConstitutionalEnforcer L117orchestrata_ultimate/governance/constitutional check_all L208orchestrata_ultimate/governance/constitutional check_critical L243+2 more |
none |
REQ-007-US-002-003 Violations result in operation rejection with reason |
orchestrata_ultimate/governance/constitutional ConstitutionalEnforcer L117orchestrata_ultimate/governance/constitutional _article_result L179orchestrata_ultimate/governance/constitutional check_article L139+4 more |
none |
REQ-007-US-002-004 Violation attempts logged to audit trail |
orchestrata_ultimate/governance/audit GovernanceAudit L30orchestrata_ultimate/governance/audit log_violation L114orchestrata_ultimate/governance/policy_engine _handle_violation L390+1 more |
none |
REQ-007-US-002-005 System enters safe mode after 3 violations in 1 minute |
orchestrata_ultimate/governance/safe_mode SafeModeManager L33orchestrata_ultimate/governance/safe_mode check_violation_rate L155orchestrata_ultimate/governance/violations should_trigger_safe_mode L186 |
none |
REQ-007-US-002-006 Administrator notified of repeated violations |
none | none |
REQ-007-US-002-007 Implement constitutional fact database |
none | none |
REQ-007-US-002-008 Implement pre-execution constraint checks |
orchestrata_ultimate/agents/constraints _check_constraint L264orchestrata_ultimate/governance/constitutional ConstitutionalEnforcer L117orchestrata_ultimate/governance/constitutional check_all L208+3 more |
none |
REQ-007-US-002-009 Implement violation tracking and threshold detection |
orchestrata_ultimate/governance/violations ViolationTracker L30 |
none |
REQ-007-US-002-010 Implement safe mode state management |
orchestrata_ultimate/governance/prolog_client enter_safe_mode L962orchestrata_ultimate/governance/prolog_client exit_safe_mode L983orchestrata_ultimate/governance/prolog_client is_safe_mode L1010+3 more |
none |
REQ-007-US-002-011 Implement administrator notification system |
none | none |
REQ-007-US-002-012 Add violation pattern analysis |
none | none |
REQ-007-US-002-013 Tests for each constitutional article |
none | none |
REQ-007-US-002-014 Violation detection tests |
none | none |
REQ-007-US-002-015 Safe mode trigger tests |
none | none |
REQ-007-US-002-016 Notification delivery tests |
none | none |
REQ-007-US-002-017 Pattern analysis accuracy tests |
none | none |
REQ-007-US-003-001 Hot-reload of policy files without downtime |
orchestrata_ultimate/governance/dynamic_policy DynamicPolicyManager L28orchestrata_ultimate/governance/dynamic_policy reload L127orchestrata_ultimate/governance/interfaces reload L126 |
none |
REQ-007-US-003-002 Validation of new policies before activation |
orchestrata_ultimate/governance/dynamic_policy DynamicPolicyManager L28orchestrata_ultimate/governance/dynamic_policy validate_before_activate L172orchestrata_ultimate/governance/interfaces add_rule L112+1 more |
none |
REQ-007-US-003-003 Rollback to previous policy version on validation failure |
orchestrata_ultimate/governance/dynamic_policy DynamicPolicyManager L28orchestrata_ultimate/governance/dynamic_policy rollback L218 |
none |
REQ-007-US-003-004 Policy versioning with change history |
orchestrata_ultimate/governance/dynamic_policy DynamicPolicyManager L28orchestrata_ultimate/governance/dynamic_policy _bump_version L242orchestrata_ultimate/governance/dynamic_policy get_version L160+1 more |
none |
REQ-007-US-003-005 Audit trail of all policy changes |
none | none |
REQ-007-US-003-006 Zero impact on active operations during reload |
none | none |
REQ-007-US-003-007 Implement policy file watcher |
none | none |
REQ-007-US-003-008 Implement policy validation engine |
orchestrata_ultimate/governance/dynamic_policy DynamicPolicyManager L28orchestrata_ultimate/governance/dynamic_policy validate_before_activate L172orchestrata_ultimate/governance/prolog_client valid_policy L857+1 more |
none |
REQ-007-US-003-009 Implement atomic policy swap mechanism |
orchestrata_ultimate/governance/dynamic_policy DynamicPolicyManager L28orchestrata_ultimate/governance/dynamic_policy rollback L218orchestrata_ultimate/governance/interfaces reload L126 |
none |
REQ-007-US-003-010 Implement policy version control |
orchestrata_ultimate/governance/dynamic_policy DynamicPolicyManager L28orchestrata_ultimate/governance/dynamic_policy get_version L160orchestrata_ultimate/governance/interfaces get_version L135 |
none |
REQ-007-US-003-011 Implement change audit logging |
none | none |
REQ-007-US-003-012 Add policy diff visualization |
none | none |
REQ-007-US-003-013 Hot-reload correctness tests |
none | none |
REQ-007-US-003-014 Validation failure handling tests |
none | none |
REQ-007-US-003-015 Rollback mechanism tests |
none | none |
REQ-007-US-003-016 Zero-downtime verification tests |
none | none |
REQ-007-US-003-017 Audit trail completeness tests |
none | none |
REQ-007-US-004-001 File system access controlled by path patterns |
orchestrata_ultimate/governance/interfaces check_file_access L149orchestrata_ultimate/governance/resource_access _is_valid_prolog_atom L24orchestrata_ultimate/governance/resource_access _python_file_check L194+1 more |
none |
REQ-007-US-004-002 Network access controlled by domain whitelist |
orchestrata_ultimate/governance/interfaces check_network_access L154orchestrata_ultimate/governance/resource_access check_network_access L83 |
none |
REQ-007-US-004-003 API access controlled by endpoint permissions |
orchestrata_ultimate/governance/interfaces check_api_access L161orchestrata_ultimate/governance/resource_access check_api_access L120 |
none |
REQ-007-US-004-004 Database access controlled by schema permissions |
orchestrata_ultimate/governance/interfaces check_db_access L168orchestrata_ultimate/governance/resource_access check_db_access L157 |
none |
REQ-007-US-004-005 Context-aware permission evaluation |
orchestrata_ultimate/governance/interfaces IResourceAccessController L141orchestrata_ultimate/governance/prolog_client _may_access_error_fallback L748orchestrata_ultimate/governance/prolog_client may_access L661 |
none |
REQ-007-US-004-006 Permission inheritance from role hierarchy |
orchestrata_ultimate/governance/interfaces IResourceAccessController L141 |
none |
REQ-007-US-004-007 Implement resource access predicates |
orchestrata_ultimate/governance/types AccessResult L130 |
none |
REQ-007-US-004-008 Implement permission resolution engine |
orchestrata_ultimate/governance/prolog_client has_permission L584orchestrata_ultimate/session/prolog_interface set_engine L64 |
none |
REQ-007-US-004-009 Implement role hierarchy evaluation |
none | none |
REQ-007-US-004-010 Implement access denial logging |
orchestrata_ultimate/governance/exceptions ResourceAccessError L43 |
none |
REQ-007-US-004-011 Add permission caching for performance |
orchestrata_ultimate/governance/cache GovernanceCache L34 |
none |
REQ-007-US-004-012 Add least-privilege verification |
none | none |
REQ-007-US-004-013 Access control tests for all resource types |
none | none |
REQ-007-US-004-014 Context-based permission tests |
none | none |
REQ-007-US-004-015 Role hierarchy tests |
none | none |
REQ-007-US-004-016 Denial logging tests |
none | none |
REQ-007-US-004-017 Cache correctness tests |
none | none |
REQ-007-US-005-001 Harm detection predicates operational |
orchestrata_ultimate/governance/ethical EthicalBoundary L21orchestrata_ultimate/governance/ethical detect_harm L93orchestrata_ultimate/governance/interfaces IEthicalBoundary L80 |
none |
REQ-007-US-005-002 Deception detection predicates operational |
orchestrata_ultimate/governance/ethical EthicalBoundary L21orchestrata_ultimate/governance/ethical detect_deception L141orchestrata_ultimate/governance/interfaces IEthicalBoundary L80 |
none |
REQ-007-US-005-003 Privacy violation detection operational |
orchestrata_ultimate/governance/ethical EthicalBoundary L21orchestrata_ultimate/governance/ethical detect_privacy_violation L160orchestrata_ultimate/governance/interfaces IEthicalBoundary L80 |
none |
REQ-007-US-005-004 Bias detection predicates operational |
orchestrata_ultimate/governance/ethical EthicalBoundary L21orchestrata_ultimate/governance/ethical detect_bias L179 |
none |
REQ-007-US-005-005 Autonomy violation detection operational |
orchestrata_ultimate/governance/ethical EthicalBoundary L21orchestrata_ultimate/governance/ethical _detect_autonomy_violation L198 |
none |
REQ-007-US-005-006 All detections trigger immediate rejection |
orchestrata_ultimate/governance/ethical EthicalBoundary L21orchestrata_ultimate/governance/ethical check L44 |
none |
REQ-007-US-005-007 Implement harm assessment predicates |
orchestrata_ultimate/governance/types HarmAssessment L118 |
none |
REQ-007-US-005-008 Implement deception pattern matching |
orchestrata_ultimate/governance/ethical detect_deception L141 |
none |
REQ-007-US-005-009 Implement privacy boundary checking |
orchestrata_ultimate/governance/ethical detect_privacy_violation L160 |
none |
REQ-007-US-005-010 Implement bias detection heuristics |
orchestrata_ultimate/governance/ethical detect_bias L179 |
none |
REQ-007-US-005-011 Implement autonomy verification |
orchestrata_ultimate/governance/ethical _detect_autonomy_violation L198 |
none |
REQ-007-US-005-012 Add ethical violation reporting |
orchestrata_ultimate/governance/ethical EthicalBoundary L21orchestrata_ultimate/governance/ethical check L44orchestrata_ultimate/governance/exceptions EthicalViolationError L25+1 more |
none |
REQ-007-US-005-013 Harm detection accuracy tests |
none | none |
REQ-007-US-005-014 Deception detection tests |
none | none |
REQ-007-US-005-015 Privacy boundary tests |
none | none |
REQ-007-US-005-016 Bias detection tests |
none | none |
REQ-007-US-005-017 False positive rate < 1% |
none | none |
REQ-007-US-006-001 Query latency metrics (p50, p95, p99) |
orchestrata_ultimate/governance/monitoring GovernanceMonitoring L30orchestrata_ultimate/governance/monitoring get_latency_percentiles L123orchestrata_ultimate/governance/monitoring get_metrics L187+1 more |
none |
REQ-007-US-006-002 Cache hit rate metrics |
orchestrata_ultimate/governance/cache GovernanceCache L34orchestrata_ultimate/governance/cache get_hit_rate L229orchestrata_ultimate/governance/monitoring GovernanceMonitoring L30+3 more |
none |
REQ-007-US-006-003 Violation rate metrics |
orchestrata_ultimate/governance/monitoring GovernanceMonitoring L30orchestrata_ultimate/governance/monitoring get_metrics L187orchestrata_ultimate/governance/monitoring get_violation_rate L152+4 more |
none |
REQ-007-US-006-004 Policy reload metrics |
none | none |
REQ-007-US-006-005 Resource access metrics |
none | none |
REQ-007-US-006-006 Real-time dashboard with alerts |
none | none |
REQ-007-US-006-007 Implement Prometheus metrics export |
orchestrata_ultimate/session/prolog_interface export_facts L354 |
none |
REQ-007-US-006-008 Implement latency histogram collection |
orchestrata_ultimate/governance/monitoring GovernanceMonitoring L30orchestrata_ultimate/governance/monitoring __init__ L49orchestrata_ultimate/governance/monitoring record_query L68 |
none |
REQ-007-US-006-009 Implement cache metrics tracking |
orchestrata_ultimate/governance/cache GovernanceCache L34orchestrata_ultimate/governance/cache get_stats L241orchestrata_ultimate/governance/monitoring GovernanceMonitoring L30+1 more |
none |
REQ-007-US-006-010 Implement violation rate tracking |
orchestrata_ultimate/governance/monitoring GovernanceMonitoring L30orchestrata_ultimate/governance/monitoring record_violation L103orchestrata_ultimate/governance/violations get_rate L160 |
none |
REQ-007-US-006-011 Implement dashboard API endpoints |
none | none |
REQ-007-US-006-012 Add alerting thresholds |
none | none |
REQ-007-US-006-013 Metrics accuracy tests |
none | none |
REQ-007-US-006-014 Dashboard API tests |
none | none |
REQ-007-US-006-015 Alerting trigger tests |
none | none |
REQ-007-US-006-016 Historical data retention tests |
none | none |
REQ-007-US-006-017 Metrics performance impact < 0.1ms |
none | none |
REQ-007-FR1-001 Define operation term structure |
none | none |
REQ-007-FR1-002 Define context term structure |
none | none |
REQ-007-FR1-003 Implement constitutional check logic |
orchestrata_ultimate/governance/policy_engine PolicyEngine L34orchestrata_ultimate/governance/prolog_client constitutional_check L509 |
none |
REQ-007-FR1-004 Implement permission check logic |
orchestrata_ultimate/governance/prolog_client has_permission L584 |
none |
REQ-007-FR1-005 Implement resource check logic |
orchestrata_ultimate/governance/prolog_client may_access L661 |
none |
REQ-007-FR1-006 Implement ethical check logic |
orchestrata_ultimate/governance/interfaces check L88orchestrata_ultimate/governance/policy_engine PolicyEngine L34orchestrata_ultimate/governance/policy_engine _check_ethical L214+1 more |
none |
REQ-007-FR1-007 Add comprehensive logging |
orchestrata_ultimate/governance/policy_engine _record L371 |
none |
REQ-007-FR1-008 Add performance optimization |
orchestrata_ultimate/governance/prolog_client generate_cache_key L1085 |
none |
REQ-007-FR1-009 Test with valid operations |
none | none |
REQ-007-FR1-010 Test with invalid operations |
none | none |
REQ-007-FR1-011 Test with partial context |
none | none |
REQ-007-FR1-012 Test with missing permissions |
none | none |
REQ-007-FR1-013 Test performance < 5ms cached |
none | none |
REQ-007-FR1-014 Test concurrent queries |
none | none |
REQ-007-FR2-001 Implement Article I checks (human autonomy) |
none | none |
REQ-007-FR2-002 Implement Article II checks (transparency) |
none | none |
REQ-007-FR2-003 Implement Article III checks (harm prevention) |
none | none |
REQ-007-FR2-004 Implement Article IV checks (privacy) |
none | none |
REQ-007-FR2-005 Implement Article V checks (fairness) |
none | none |
REQ-007-FR2-006 Implement Article VI checks (accountability) |
none | none |
REQ-007-FR2-007 Implement Article VII checks (security) |
none | none |
REQ-007-FR2-008 Implement Article VIII checks (sustainability) |
none | none |
REQ-007-FR2-009 Implement Article IX checks (dignity) |
none | none |
REQ-007-FR2-010 Implement Article X checks (rights) |
none | none |
REQ-007-FR2-011 Implement Article XI checks (improvement) |
none | none |
REQ-007-FR2-012 Add violation reason reporting |
orchestrata_ultimate/governance/constitutional ConstitutionalEnforcer L117orchestrata_ultimate/governance/constitutional _article_result L179orchestrata_ultimate/governance/constitutional check_article L139+2 more |
none |
REQ-007-FR2-013 Add check short-circuiting for performance |
orchestrata_ultimate/governance/constitutional check_critical L243 |
none |
REQ-007-FR2-014 Test each article check independently |
none | none |
REQ-007-FR2-015 Test combined article checks |
none | none |
REQ-007-FR2-016 Test violation detection accuracy |
none | none |
REQ-007-FR2-017 Test reason reporting clarity |
none | none |
REQ-007-FR2-018 Test performance impact |
none | none |
REQ-007-FR3-001 Implement direct permission lookup |
orchestrata_ultimate/governance/prolog_client has_permission L584 |
none |
REQ-007-FR3-002 Implement role-based permission resolution |
none | none |
REQ-007-FR3-003 Implement permission inheritance |
none | none |
REQ-007-FR3-004 Implement permission denial override |
orchestrata_ultimate/governance/constitutional human_override L282 |
none |
REQ-007-FR3-005 Implement context-based restrictions |
orchestrata_ultimate/governance/prolog_client may_access L661 |
none |
REQ-007-FR3-006 Add permission caching |
orchestrata_ultimate/governance/cache GovernanceCache L34orchestrata_ultimate/governance/cache set L147 |
none |
REQ-007-FR3-007 Add least-privilege verification |
none | none |
REQ-007-FR3-008 Add permission audit logging |
none | none |
REQ-007-FR3-009 Test direct permissions |
none | none |
REQ-007-FR3-010 Test role-based permissions |
none | none |
REQ-007-FR3-011 Test permission inheritance |
none | none |
REQ-007-FR3-012 Test denial overrides |
none | none |
REQ-007-FR3-013 Test context restrictions |
none | none |
REQ-007-FR3-014 Test cache correctness |
none | none |
REQ-007-FR4-001 Implement resource type detection |
none | none |
REQ-007-FR4-002 Implement permission integration |
orchestrata_ultimate/governance/prolog_client _may_access_error_fallback L748orchestrata_ultimate/governance/prolog_client may_access L661orchestrata_ultimate/governance/resource_access ResourceAccessController L34+2 more |
none |
REQ-007-FR4-003 Implement availability checking |
none | none |
REQ-007-FR4-004 Implement lock detection |
none | none |
REQ-007-FR4-005 Implement quota enforcement |
none | none |
REQ-007-FR4-006 Add access logging |
none | none |
REQ-007-FR4-007 Add resource usage tracking |
none | none |
REQ-007-FR4-008 Add quota analytics |
none | none |
REQ-007-FR4-009 Test file system access |
none | none |
REQ-007-FR4-010 Test network access |
none | none |
REQ-007-FR4-011 Test database access |
none | none |
REQ-007-FR4-012 Test API access |
none | none |
REQ-007-FR4-013 Test quota enforcement |
none | none |
REQ-007-FR4-014 Test lock detection |
none | none |
REQ-007-FR5-001 Implement harm detection logic |
orchestrata_ultimate/governance/ethical detect_harm L93orchestrata_ultimate/governance/interfaces detect_harm L93 |
none |
REQ-007-FR5-002 Implement deception detection logic |
orchestrata_ultimate/governance/ethical detect_deception L141orchestrata_ultimate/governance/interfaces detect_deception L98 |
none |
REQ-007-FR5-003 Implement privacy violation detection |
orchestrata_ultimate/governance/ethical detect_privacy_violation L160orchestrata_ultimate/governance/interfaces detect_privacy_violation L103 |
none |
REQ-007-FR5-004 Implement bias detection logic |
orchestrata_ultimate/governance/ethical detect_bias L179 |
none |
REQ-007-FR5-005 Implement autonomy violation detection |
orchestrata_ultimate/governance/ethical _detect_autonomy_violation L198 |
none |
REQ-007-FR5-006 Add ethical violation logging |
none | none |
REQ-007-FR5-007 Add false positive analysis |
none | none |
REQ-007-FR5-008 Add ethical violation reporting |
orchestrata_ultimate/governance/exceptions EthicalViolationError L25orchestrata_ultimate/governance/types EthicalResult L103 |
none |
REQ-007-FR5-009 Test harm detection accuracy |
none | none |
REQ-007-FR5-010 Test deception detection accuracy |
none | none |
REQ-007-FR5-011 Test privacy detection accuracy |
none | none |
REQ-007-FR5-012 Test bias detection accuracy |
none | none |
REQ-007-FR5-013 Test autonomy detection accuracy |
none | none |
REQ-007-FR5-014 Test false positive rate < 1% |
none | none |
REQ-007-FR6-001 Implement syntax validation |
orchestrata_ultimate/governance/prolog_client valid_policy L857 |
none |
REQ-007-FR6-002 Implement conflict detection |
orchestrata_ultimate/governance/dynamic_policy validate_before_activate L172 |
none |
REQ-007-FR6-003 Implement circular dependency detection |
none | none |
REQ-007-FR6-004 Implement predicate definition checking |
none | none |
REQ-007-FR6-005 Implement performance impact analysis |
none | none |
REQ-007-FR6-006 Add validation error reporting |
orchestrata_ultimate/governance/exceptions PolicyValidationError L38orchestrata_ultimate/governance/types ValidationResult L154 |
none |
REQ-007-FR6-007 Add policy diff generation |
none | none |
REQ-007-FR6-008 Add validation metrics |
none | none |
REQ-007-FR6-009 Test well-formed policies |
none | none |
REQ-007-FR6-010 Test malformed policies |
none | none |
REQ-007-FR6-011 Test conflicting policies |
none | none |
REQ-007-FR6-012 Test circular dependencies |
none | none |
REQ-007-FR6-013 Test undefined predicates |
none | none |
REQ-007-FR6-014 Test performance impact |
none | none |
REQ-007-FR7-001 Implement violation recording |
orchestrata_ultimate/governance/prolog_client track_violation L933orchestrata_ultimate/governance/violations ViolationTracker L30orchestrata_ultimate/governance/violations record L54 |
none |
REQ-007-FR7-002 Implement metrics updating |
orchestrata_ultimate/governance/monitoring record_violation L103orchestrata_ultimate/governance/violations record L54 |
none |
REQ-007-FR7-003 Implement threshold checking |
orchestrata_ultimate/governance/safe_mode check_violation_rate L155 |
none |
REQ-007-FR7-004 Implement notification triggering |
none | none |
REQ-007-FR7-005 Add violation pattern analysis |
none | none |
REQ-007-FR7-006 Add violation history retention |
orchestrata_ultimate/governance/violations get_violations L113 |
none |
REQ-007-FR7-007 Add violation trend analysis |
none | none |
REQ-007-FR7-008 Add violation reporting |
orchestrata_ultimate/core/protocols/decoupling get_violations L202orchestrata_ultimate/governance/audit log_violation L114orchestrata_ultimate/governance/types Violation L73+1 more |
none |
REQ-007-FR7-009 Test violation recording |
none | none |
REQ-007-FR7-010 Test metrics accuracy |
none | none |
REQ-007-FR7-011 Test threshold detection |
none | none |
REQ-007-FR7-012 Test notification delivery |
none | none |
REQ-007-FR7-013 Test pattern analysis |
none | none |
REQ-007-FR7-014 Test history retention |
none | none |
REQ-007-FR8-001 Implement operation halting |
orchestrata_ultimate/governance/policy_engine _check_safe_mode L145orchestrata_ultimate/governance/safe_mode SafeModeManager L33orchestrata_ultimate/governance/safe_mode is_action_allowed_in_safe_mode L200 |
none |
REQ-007-FR8-002 Implement state preservation |
orchestrata_ultimate/governance/safe_mode _safe_mode_data L73 |
none |
REQ-007-FR8-003 Implement administrator notification |
none | none |
REQ-007-FR8-004 Implement manual intervention waiting |
none | none |
REQ-007-FR8-005 Implement safe mode logging |
orchestrata_ultimate/governance/prolog_client enter_safe_mode L962orchestrata_ultimate/governance/safe_mode enter_safe_mode L90orchestrata_ultimate/governance/safe_mode exit_safe_mode L117 |
none |
REQ-007-FR8-006 Add safe mode recovery procedures |
orchestrata_ultimate/governance/prolog_client exit_safe_mode L983orchestrata_ultimate/governance/safe_mode exit_safe_mode L117 |
none |
REQ-007-FR8-007 Add safe mode exit validation |
orchestrata_ultimate/governance/safe_mode SafeModeManager L33orchestrata_ultimate/governance/safe_mode get_safe_mode_status L174orchestrata_ultimate/governance/safe_mode is_safe_mode L138 |
none |
REQ-007-FR8-008 Add safe mode audit trail |
orchestrata_ultimate/governance/prolog_client enter_safe_mode L962orchestrata_ultimate/governance/safe_mode enter_safe_mode L90 |
none |
REQ-007-FR8-009 Test operation halting |
none | none |
REQ-007-FR8-010 Test state preservation |
none | none |
REQ-007-FR8-011 Test notification delivery |
none | none |
REQ-007-FR8-012 Test recovery procedures |
none | none |
REQ-007-FR8-013 Test audit completeness |
none | none |
REQ-007-FR8-014 Test exit validation |
none | none |
REQ-007-FR9-001 Implement required field validation |
none | none |
REQ-007-FR9-002 Implement value validation |
none | none |
REQ-007-FR9-003 Implement relationship validation |
none | none |
REQ-007-FR9-004 Implement invariant checking |
none | none |
REQ-007-FR9-005 Add context enrichment |
none | none |
REQ-007-FR9-006 Add context normalization |
none | none |
REQ-007-FR9-007 Add context caching |
orchestrata_ultimate/governance/prolog_client generate_cache_key L1085 |
none |
REQ-007-FR9-008 Add context validation metrics |
none | none |
REQ-007-FR9-009 Test complete contexts |
none | none |
REQ-007-FR9-010 Test incomplete contexts |
none | none |
REQ-007-FR9-011 Test invalid field values |
none | none |
REQ-007-FR9-012 Test relationship violations |
none | none |
REQ-007-FR9-013 Test invariant violations |
none | none |
REQ-007-FR9-014 Test cache correctness |
none | none |
REQ-007-FR10-001 Implement metric type validation |
none | none |
REQ-007-FR10-002 Implement metric recording |
orchestrata_ultimate/governance/monitoring record_query L68orchestrata_ultimate/governance/monitoring record_violation L103 |
none |
REQ-007-FR10-003 Implement aggregate computation |
none | none |
REQ-007-FR10-004 Implement alert threshold checking |
none | none |
REQ-007-FR10-005 Implement Prometheus export |
none | none |
REQ-007-FR10-006 Add metric retention policies |
none | none |
REQ-007-FR10-007 Add metric visualization support |
none | none |
REQ-007-FR10-008 Add metric correlation analysis |
none | none |
REQ-007-FR10-009 Test all metric types |
none | none |
REQ-007-FR10-010 Test aggregate accuracy |
none | none |
REQ-007-FR10-011 Test alert triggering |
none | none |
REQ-007-FR10-012 Test Prometheus export format |
none | none |
REQ-007-FR10-013 Test retention policies |
none | none |
REQ-007-FR10-014 Test visualization data |
none | none |
REQ-007-FR10-015 Cached policy queries < 5ms (p99) |
orchestrata_ultimate/governance/cache get L112 |
none |
REQ-007-FR10-016 Uncached policy queries < 50ms (p99) |
none | none |
REQ-007-FR10-017 Complex constraint evaluation < 100ms (p99) |
orchestrata_ultimate/governance/constitutional check_all L208orchestrata_ultimate/governance/interfaces check_all L65 |
none |
REQ-007-FR10-018 Batch queries < 10ms per operation (p99) |
orchestrata_ultimate/governance/policy_engine evaluate_batch L338 |
none |
REQ-007-FR10-019 Sustain 10,000+ policy decisions/second |
none | none |
REQ-007-FR10-020 Handle 1,000+ concurrent queries |
none | none |
REQ-007-FR10-021 Support 100+ policy updates/hour |
none | none |
REQ-007-FR10-022 Process 1M+ decisions/day |
none | none |
REQ-007-FR10-023 Policy engine memory < 500MB |
none | none |
REQ-007-FR10-024 CPU usage < 10% under normal load |
none | none |
REQ-007-FR10-025 CPU usage < 50% under peak load |
none | none |
REQ-007-FR10-026 Network overhead < 1KB per query |
none | none |
REQ-007-FR10-027 Policy engine uptime > 99.9% |
none | none |
REQ-007-FR10-028 Hot-reload success rate > 99% |
none | none |
REQ-007-FR10-029 Zero-downtime policy updates |
none | none |
REQ-007-FR10-030 Recovery time < 30 seconds |
none | none |
REQ-007-FR10-031 PySWIP integration complete |
none | none |
REQ-007-FR10-032 Synchronous query API |
orchestrata_ultimate/governance/prolog_client _evaluate_via_policy L482orchestrata_ultimate/governance/prolog_client _may_execute_error_verdict L399orchestrata_ultimate/governance/prolog_client _query_bool_safe L196+4 more |
none |
REQ-007-FR10-033 Asynchronous query API |
orchestrata_ultimate/governance/policy_engine evaluate L81orchestrata_ultimate/governance/policy_engine is_allowed L358 |
none |
REQ-007-FR10-034 Exception handling and retry logic |
orchestrata_ultimate/governance/exceptions PrologClientError L52orchestrata_ultimate/governance/prolog_client _query_bool_safe L196orchestrata_ultimate/governance/prolog_client _query_safe L213 |
none |
REQ-007-FR10-035 Connection pooling for concurrent queries |
none | none |
REQ-007-FR10-036 Policy check middleware |
none | none |
REQ-007-FR10-037 Async policy query endpoints |
none | none |
REQ-007-FR10-038 Policy management endpoints |
none | none |
REQ-007-FR10-039 Metrics export endpoints |
none | none |
REQ-007-FR10-040 WebSocket support for real-time updates |
none | none |
REQ-007-FR10-041 Session context enrichment |
orchestrata_ultimate/core/protocols/decoupling start_session L48 |
none |
REQ-007-FR10-042 Per-session permission caching |
none | none |
REQ-007-FR10-043 Session violation tracking |
none | none |
REQ-007-FR10-044 Session safe-mode handling |
none | none |
REQ-007-FR10-045 Session audit trail integration |
none | none |
REQ-007-FR10-046 Policy fact synchronization |
none | none |
REQ-007-FR10-047 Constitutional article relationships |
none | none |
REQ-007-FR10-048 Permission hierarchy visualization |
none | none |
REQ-007-FR10-049 Violation pattern analysis |
none | none |
REQ-007-FR10-050 Policy impact analysis |
none | none |
REQ-007-FR10-051 Admin-only policy modification |
orchestrata_ultimate/governance/interfaces add_rule L112orchestrata_ultimate/governance/interfaces remove_rule L121 |
none |
REQ-007-FR10-052 Operator-level policy viewing |
none | none |
REQ-007-FR10-053 User-level policy queries only |
none | none |
REQ-007-FR10-054 API key authentication for external queries |
none | none |
REQ-007-FR10-055 Rate limiting on policy endpoints |
none | none |
REQ-007-FR10-056 All policy queries logged |
orchestrata_ultimate/governance/audit log_decision L52 |
none |
REQ-007-FR10-057 All policy changes logged |
none | none |
REQ-007-FR10-058 All violations logged |
orchestrata_ultimate/governance/audit log_violation L114 |
none |
REQ-007-FR10-059 All safe mode entries logged |
none | none |
REQ-007-FR10-060 Logs immutable and tamper-evident |
none | none |
REQ-007-FR10-061 Policy files encrypted at rest |
none | none |
REQ-007-FR10-062 Policy changes versioned in git |
none | none |
REQ-007-FR10-063 Policy changes signed by administrators |
none | none |
REQ-007-FR10-064 Policy backups encrypted |
none | none |
REQ-007-FR10-065 Policy access logged |
none | none |
REQ-007-FR10-066 All predicates documented with examples |
none | none |
REQ-007-FR10-067 Query interface documented |
none | none |
REQ-007-FR10-068 Policy structure documented |
none | none |
REQ-007-FR10-069 Constraint syntax documented |
none | none |
REQ-007-FR10-070 Error codes documented |
none | none |
REQ-007-FR10-071 Deployment guide |
none | none |
REQ-007-FR10-072 Policy authoring guide |
none | none |
REQ-007-FR10-073 Troubleshooting guide |
none | none |
REQ-007-FR10-074 Performance tuning guide |
none | none |
REQ-007-FR10-075 Recovery procedures guide |
none | none |
REQ-007-FR10-076 Architecture overview |
none | none |
REQ-007-FR10-077 Integration guide |
none | none |
REQ-007-FR10-078 Testing guide |
none | none |
REQ-007-FR10-079 Extension guide |
none | none |
REQ-007-FR10-080 Migration guide |
none | none |
REQ-007-FR10-081 All predicates have unit tests |
none | none |
REQ-007-FR10-082 All edge cases covered |
none | none |
REQ-007-FR10-083 All error conditions tested |
none | none |
REQ-007-FR10-084 All performance requirements verified |
none | none |
REQ-007-FR10-085 Test coverage > 95% |
none | none |
REQ-007-FR10-086 End-to-end policy enforcement tests |
none | none |
REQ-007-FR10-087 Session integration tests |
none | none |
REQ-007-FR10-088 Knowledge graph integration tests |
none | none |
REQ-007-FR10-089 FastAPI integration tests |
none | none |
REQ-007-FR10-090 Hot-reload integration tests |
none | none |
REQ-007-FR10-091 Latency benchmark tests |
none | none |
REQ-007-FR10-092 Throughput benchmark tests |
none | none |
REQ-007-FR10-093 Concurrent query tests |
none | none |
REQ-007-FR10-094 Memory usage tests |
none | none |
REQ-007-FR10-095 CPU usage tests |
none | none |
REQ-007-FR10-096 Authorization bypass tests |
none | none |
REQ-007-FR10-097 Privilege escalation tests |
none | none |
REQ-007-FR10-098 Policy injection tests |
none | none |
REQ-007-FR10-099 Audit trail integrity tests |
none | none |
REQ-007-FR10-100 Rate limiting tests |
none | none |
REQ-007-FR10-101 SWI-Prolog installed and configured |
none | none |
REQ-007-FR10-102 PySWIP installed and tested |
none | none |
REQ-007-FR10-103 Policy files deployed to correct location |
none | none |
REQ-007-FR10-104 Permissions set correctly |
none | none |
REQ-007-FR10-105 Monitoring configured |
none | none |
REQ-007-FR10-106 Policy paths configurable |
none | none |
REQ-007-FR10-107 Performance thresholds configurable |
none | none |
REQ-007-FR10-108 Alert thresholds configurable |
none | none |
REQ-007-FR10-109 Logging levels configurable |
none | none |
REQ-007-FR10-110 Cache sizes configurable |
orchestrata_ultimate/governance/cache GovernanceCache L34 |
none |
REQ-007-FR10-111 Prometheus metrics export configured |
none | none |
REQ-007-FR10-112 Grafana dashboards deployed |
none | none |
REQ-007-FR10-113 Alert rules configured |
none | none |
REQ-007-FR10-114 Log aggregation configured |
none | none |
REQ-007-FR10-115 Health check endpoints active |
none | none |
REQ-007-FR10-116 All 10 predicates operational |
none | none |
REQ-007-FR10-117 All 6 user stories satisfied |
none | none |
REQ-007-FR10-118 Zero critical bugs in production |
none | none |
REQ-007-FR10-119 All constitutional articles enforced |
orchestrata_ultimate/governance/constitutional ConstitutionalEnforcer L117orchestrata_ultimate/governance/constitutional check_all L208 |
none |
REQ-007-FR10-120 All test suites passing |
none | none |
REQ-007-FR10-121 Query latency < 5ms (p99) |
orchestrata_ultimate/governance/cache get L112 |
none |
REQ-007-FR10-122 Throughput > 10,000 decisions/sec |
orchestrata_ultimate/governance/monitoring get_throughput L169 |
none |
REQ-007-FR10-123 Uptime > 99.9% |
none | none |
REQ-007-FR10-124 Zero-downtime updates verified |
none | none |
REQ-007-FR10-125 Resource usage within limits |
none | none |
REQ-007-FR10-126 Zero policy bypasses detected |
none | none |
REQ-007-FR10-127 Audit trail complete and intact |
orchestrata_ultimate/governance/audit get_audit_trail L200 |
none |
REQ-007-FR10-128 All access attempts logged |
none | none |
REQ-007-FR10-129 Safe mode triggers verified |
none | none |
REQ-007-FR10-130 No unauthorized policy changes |
none | none |
REQ-007-FR10-131 Product Owner: Requirements complete and validated |
none | none |
REQ-007-FR10-132 Tech Lead: Architecture reviewed and approved |
none | none |
REQ-007-FR10-133 QA Lead: Test coverage adequate |
none | none |
REQ-007-FR10-134 Security Lead: Security requirements met |
none | none |
REQ-007-FR10-135 Operations: Deployment plan approved |
none | none |
REQ-007-FR10-136 Documentation: All docs complete and reviewed |
none | none |