AGISystem2 Specification Matrix

Home · Theory · Architecture · APIs · Syntax · CLI · Wiki · Specs
Specifications: Traceability Matrix · Specification Loader · User Requirements · Non-Functional Requirements · Design Specification Map
← Back to Home

Requirements Consolidated

URS, FS, and NFS have been consolidated to remove duplicates. See cross-reference tables in each spec file for mapping from old to new IDs.

  • URS: 28 → 21 requirements
  • FS: 16 → 14 requirements
  • NFS: 28 → 23 requirements

Test Results Summary

Loading test results...

Legend:

PASSED - All tests passed
FAILED - Tests failed
PARTIAL - Some tests passed
UNKNOWN - No test data
SKIPPED - Tests skipped
NEW Recently added specification

Requirement Specifications (URS / FS / NFS)

User Requirements (URS) - Consolidated

Requirement (ID + section) Title

Functional Specification (FS) - Consolidated

FS (ID + spec) Summary

Non-Functional Specification (NFS) - Consolidated

NFS (ID + section) Title

Design Specifications → Requirements (DS → URS / FS / NFS)

Component (linked spec, DS ID) Requirements Covered (URS / FS / NFS) Coverage Test Status

Test Suites → Requirements (Tests → URS / FS / NFS)

Scope (linked suite spec, DS ID) Requirements Covered (URS / FS / NFS) Profile Test Status

Traceability Summary

Requirement Specifications: URS-001 to URS-021, FS-01 to FS-14, NFS-001 to NFS-023 (consolidated).

Design Specifications: All engine, data, theory and test DS documents in docs/specs/** are enumerated above with their URS/FS/NFS coverage.

Test Coverage: Every major capability (geometry, ingestion, retrieval, theory layering, Sys2DSL, validation, bias/temporal reasoning, persistence) has at least one dedicated suite.

MLP Status: Core MLP behaviour is implemented and exercised end-to-end; gaps are called out as partial coverage in the tables.

GAMP Category Mapping

GAMP Category Scope Requirements Focus (URS / FS / NFS) Validation Approach
Infrastructure Software Core math and storage primitives FS-01 (concept representation), FS-10 (persistence); NFS-001-002 (performance), NFS-020-023 (constraints). Unit tests, performance checks, determinism validation (core_math, config_profiles, persistence_file_binary).
Configurable Software Knowledge, theories and reasoning behaviour URS-011-015 (user-facing reasoning); FS-02, FS-04, FS-05, FS-12-14; NFS-003-008 (determinism, explainability). Integration tests and domain suites (reason_smoke, counterfactual_layering, health_compliance, validation_engine).
Custom Application Interfaces, ingestion and session APIs URS-008-010 (user types); FS-03, FS-08-09; NFS-018-019 (compatibility). API-level and end-to-end tests (agentic_session_api, translator_bridge_normalization, sys2dsl_core).
Support Components Audit, bias control and governance FS-07, FS-12; NFS-007-010 (explainability, security); URS-017-021 (constraints). Bias and audit suites (bias_audit, relations_bootstrap, dimensions_catalog, validation_engine).