Specification
The full Software Requirements Specification (SRS) uses the EARS (Easy Approach
to Requirements Syntax) notation and is documented in docs/src/tia-srs-ears.md.
The SRS is a draft normative target, not an implementation-status report. For current behavior, consult the generated CLI Reference, Configuration, and Architecture pages.
Key Requirement Groups
| Group | Area |
|---|---|
| ARCH | Architectural constraints (semiring K-relation, transpose selection) |
| CORE | Core data model (content units, test items, edges) |
| CHG | Change detection (diff computation, fingerprinting) |
| SEL | Selection engine (transpose closure, semiring evaluation) |
| PROV | Provenance and explainability |
| RUN | Runtime feedback ingestion |
| SAFE | Soundness and safety (over-approximation invariant) |
| CONF | Confidence scoring |
| ADAPT | Language adapter interface |
| COMP | Composability (multi-component, multi-repo) |
| STORE | Persistence and store (SQLite + CAS) |
| CI | CI consumer interface |
| LOCAL | Local developer interface |
| AGENT | LLM-agent consumer interface |
| OBS | Observability |
| PERF | Performance |
| REL | Reliability |
| SEC | Security |
| PORT | Portability and maintainability |
| SCALE | Scalability |
| VER | Verification and rollout |
| ENG | Engine design constraints (Ascent reference) |
Design Constraints
The current implementation uses Ascent as the embedded logic engine and can generate and run Soufflé programs for validation. See TIA-ENG-001 through TIA-ENG-016 for the complete target constraints.