URS & FS — User Requirements and Functional Specification
This document describes the controlled interface and behaviour of PatientAnimalBatchTraceabilityUtility for Patient Animal Batch Traceability Utility.
Domain limits and critical parameters
Key fragments from the source description are shown below. Before production use, limits must be verified against the approved specification, registration dossier and local SOPs.
- AnimalID,OwnerName,IsolateID,BatchNumber,ProductType,ProductionDate,ExpiryDate,SterilityPassed,PotencyPassed
- HORSE-01,Smith,ISO-99,BATCH-A,Vaccine,2026-01-01,2026-04-01,true,true
- ⚠️ CRITICAL:
- • Animal-ID Match: ID on vial must match Animal ID in medical record.
- • One-Patient Use: Residual product must be disposed of after treating the specific animal.
- • Automatic reconciliation of Animal ID and Isolate ID
- Critical parameters:
- • Animal ID: Must match passport/chip
- • Isolate ID: Must correspond to physician's referral
- • Sterility/Potency: PASS only
- • Expiry Date: Must be in the future
- 2. Double Check: Veterinarian and assistant must independently confirm Animal ID.
- 5. Training: Staff must understand risks of administering foreign biomaterial.
URS — User Requirements Specification
| ID | Requirement | Criticality | Acceptance criterion |
|---|
| URS-001 | The utility shall accept an input.csv file for Patient Animal Batch Traceability Utility with headers defined in the data contract. | High | The file is processed without manual header editing. |
| URS-002 | The utility shall perform deterministic QC evaluation without machine learning and without probabilistic conformance decisions. | High | Identical input data, rule version and configuration produce reproducible results. |
| URS-003 | The utility shall validate mandatory fields, data types, ranges, units and domain plausibility. | High | Schema, conversion and range errors are explicitly reported. |
| URS-004 | The utility shall apply domain limits and rules from the description, approved specification, registration dossier and local SOPs. | High | Each check has PASS/WARNING/FAIL and a clear message. |
| URS-005 | The utility shall generate output.json with machine-readable results, source values, warnings, failures and critical findings. | High | JSON is suitable for LIMS/ELN/MES integration and QA/QC review. |
| URS-006 | The utility shall preserve traceability between batch/sample, input file, applied rules and final status. | High | Output contains identifiers, checked parameters and audit metadata. |
| URS-007 | The documentation shall support IQ/OQ/PQ, CSV/CSA and review by internal QA or inspectors. | Medium | URS, FS, input/output contract and test scenarios are supplied with the utility. |
| URS-008 | The utility shall be used as a QC decision-support tool and not as a substitute for approved specifications and QA/QP release decision. | Medium | Documentation states change control and limit-verification expectations. |
input.csv contract
| # | Field | Type | Sample | Purpose |
|---|
| 1 | AnimalID | string / controlled vocabulary | HORSE-CHIP-998877 | Controlled input parameter for deterministic QC rules. |
| 2 | OwnerName | string / controlled vocabulary | Smith Stables | Biological/molecular component controlled as a CQA. |
| 3 | IsolateID | string / controlled vocabulary | ISO-STREP-2026-01 | Controlled input parameter for deterministic QC rules. |
| 4 | BatchNumber | string / controlled vocabulary | AUTO-VAC-2026-055 | Batch or lot identifier used for traceability. |
| 5 | ProductType | string / controlled vocabulary | Autogenous Vaccine | Product or dosage-form name under evaluation. |
| 6 | ProductionDate | string / controlled vocabulary | 2026-05-20 | Product or dosage-form name under evaluation. |
| 7 | ExpiryDate | string / controlled vocabulary | 2026-08-20 | Controlled input parameter for deterministic QC rules. |
| 8 | SterilityPassed | string / controlled vocabulary | true | Sterility or related absence-of-growth control. |
| 9 | PotencyPassed | string / controlled vocabulary | true | Potency/activity; critical efficacy-related parameter. |
AnimalID,OwnerName,IsolateID,BatchNumber,ProductType,ProductionDate,ExpiryDate,SterilityPassed,PotencyPassed
HORSE-CHIP-998877,Smith Stables,ISO-STREP-2026-01,AUTO-VAC-2026-055,Autogenous Vaccine,2026-05-20,2026-08-20,true,true
DOG-MICRO-112233,John Doe,ISO-STAPH-2026-02,AUTO-VAC-2026-056,Autogenous Vaccine,2026-01-10,2026-04-10,true,true
COW-TAG-554433,Green Farm,ISO-E.COLI-03,AUTO-VAC-2026-057,Autogenous Vaccine,2026-06-01,2026-09-01,true,false
Input validation rules
| ID | Field | Rule | Criticality |
|---|
| VR-001 | AnimalID | The field shall match an approved dictionary or accepted string representation. | High |
| VR-002 | OwnerName | The field shall match an approved dictionary or accepted string representation. | High |
| VR-003 | IsolateID | The field shall match an approved dictionary or accepted string representation. | High |
| VR-004 | BatchNumber | The field shall match an approved dictionary or accepted string representation. | Medium |
| VR-005 | ProductType | The field shall match an approved dictionary or accepted string representation. | Medium |
| VR-006 | ProductionDate | The field shall match an approved dictionary or accepted string representation. | Medium |
| VR-007 | ExpiryDate | The field shall match an approved dictionary or accepted string representation. | Medium |
| VR-008 | SterilityPassed | The field shall match an approved dictionary or accepted string representation. | Medium |
| VR-009 | PotencyPassed | The field shall match an approved dictionary or accepted string representation. | Medium |
FS — Functional Specification
| ID | Function | Implementation |
|---|
| FS-001 | CLI execution | Support execution modes: demo mode without arguments and production mode input.csv output.json. |
| FS-002 | CSV import | Read input.csv in UTF-8/CSV-compatible format and validate header and expected columns. |
| FS-003 | Schema validation | Check mandatory fields, column count, unknown key fields and empty mandatory values. |
| FS-004 | Type conversion | Convert numeric, flag and text values; invalid format is recorded as a row-level error. |
| FS-005 | Domain rule engine | Apply rules for Patient Animal Batch Traceability Utility, including critical limits from the description and approved specification. |
| FS-006 | Status aggregation | Produce final status: FAIL for critical failure, WARNING for non-critical deviation, PASS for conformance. |
| FS-007 | JSON export | Write output.json with detailed checks, source values, warnings, failures and critical findings. |
| FS-008 | Audit support | Keep result structure suitable for review, deviation investigation and calculation reproduction. |
| FS-009 | Integration contract | Support the scenario LIMS/ELN/MES → input.csv → utility → output.json → portal/admin review. |
| FS-010 | Error handling | Return explicit messages for missing file, empty CSV, invalid schema, output write failure and invalid format. |
Example output.json
{
"utilityId": "patientanimalbatchtraceabilityutility",
"utilityFolder": "PatientAnimalBatchTraceabilityUtility",
"package": "Vet",
"overallStatus": "PASS|WARNING|FAIL",
"sourceFile": "input.csv",
"processedAtUtc": "2026-06-10T00:00:00Z",
"checks": [
{
"parameter": "AnimalID",
"value": "HORSE-CHIP-998877",
"status": "PASS|WARNING|FAIL",
"message": "Deterministic rule-based check result",
"ruleReference": "FS-RULE-001"
},
{
"parameter": "OwnerName",
"value": "Smith Stables",
"status": "PASS|WARNING|FAIL",
"message": "Deterministic rule-based check result",
"ruleReference": "FS-RULE-002"
},
{
"parameter": "IsolateID",
"value": "ISO-STREP-2026-01",
"status": "PASS|WARNING|FAIL",
"message": "Deterministic rule-based check result",
"ruleReference": "FS-RULE-003"
},
{
"parameter": "BatchNumber",
"value": "AUTO-VAC-2026-055",
"status": "PASS|WARNING|FAIL",
"message": "Deterministic rule-based check result",
"ruleReference": "FS-RULE-004"
},
{
"parameter": "ProductType",
"value": "Autogenous Vaccine",
"status": "PASS|WARNING|FAIL",
"message": "Deterministic rule-based check result",
"ruleReference": "FS-RULE-005"
},
{
"parameter": "ProductionDate",
"value": "2026-05-20",
"status": "PASS|WARNING|FAIL",
"message": "Deterministic rule-based check result",
"ruleReference": "FS-RULE-006"
},
{
"parameter": "ExpiryDate",
"value": "2026-08-20",
"status": "PASS|WARNING|FAIL",
"message": "Deterministic rule-based check result",
"ruleReference": "FS-RULE-007"
},
{
"parameter": "SterilityPassed",
"value": "true",
"status": "PASS|WARNING|FAIL",
"message": "Deterministic rule-based check result",
"ruleReference": "FS-RULE-008"
},
{
"parameter": "PotencyPassed",
"value": "true",
"status": "PASS|WARNING|FAIL",
"message": "Deterministic rule-based check result",
"ruleReference": "FS-RULE-009"
}
],
"criticalFindings": [],
"warnings": [],
"audit": {
"inputHash": "sha256:<calculated at runtime>",
"rulesVersion": "<utility executable version>",
"documentation": "PatientAnimalBatchTraceabilityUtility.documentation.html"
}
}
Traceability matrix
| URS | FS | Test | Evidence |
|---|
| URS-001 | FS-001, FS-002 | OQ-001 | Verify execution and import of valid input.csv. |
| URS-002 | FS-005, FS-006 | OQ-004 | Repeat the same dataset and compare output.json. |
| URS-003 | FS-003, FS-004, FS-010 | OQ-002, OQ-003 | Verify missing columns and invalid types. |
| URS-004 | FS-005, FS-006 | OQ-004, PQ-001 | Verify critical deviations on real/boundary data. |
| URS-005 | FS-007, FS-009 | OQ-005 | Verify JSON schema and downstream-system suitability. |
| URS-006 | FS-008 | OQ-006 | Verify identifiers and audit metadata. |
| URS-007 | FS-008, FS-010 | IQ-001, OQ-007 | Verify documentation completeness and control evidence. |
| URS-008 | FS-005, FS-008 | PQ-002 | Verify review workflow and no replacement of QA decision. |
IQ/OQ/PQ test scenarios
| ID | Scenario | Expected result |
|---|
| IQ-001 | Verify executable, input.csv, documentation and checksum availability. | Delivery set is complete; version is recorded. |
| OQ-001 | Valid sample row from input.csv. | PASS or acceptable WARNING according to rules. |
| OQ-002 | Remove a mandatory CSV column. | Schema error or FAIL with missing-column reference. |
| OQ-003 | Place a non-numeric value into a numeric field. | Type-conversion error with row/field reference. |
| OQ-004 | Set a critical parameter outside the limit. | FAIL and critical finding. |
| OQ-005 | Verify output.json structure. | All mandatory sections are present and JSON is valid. |
| OQ-006 | Verify batch/sample traceability. | Input and result identifiers match. |
| PQ-001 | Verify 3–5 real user batches/samples. | Result is confirmed by QC/QA review. |
| PQ-002 | Verify deviation workflow and manual QA decision. | Utility supports review but does not replace approved decision. |
QA/QC and change control
- Do not rename columns without updating validator, documentation and test set.
- Retain
input.csv, output.json, executable version and checksum. - Before production use, perform IQ/OQ/PQ or equivalent CSV/CSA verification.
- Critical limits shall be verified against the approved specification, registration dossier and local SOPs.
- The utility provides structured QC decision support; final release decision remains with QA/QP and approved procedures.