Spaces:
Sleeping
Sleeping
docs: Make all property tests required (comprehensive testing)
Browse files- Removed optional markers (*) from all test tasks
- All 14 property-based tests are now required
- Ensures comprehensive test coverage from start
.kiro/specs/simplified-spiritual-triage/tasks.md
CHANGED
|
@@ -29,7 +29,7 @@
|
|
| 29 |
- SpiritualAssessment dataclass
|
| 30 |
- TriageSession dataclass
|
| 31 |
- _Requirements: 5.1, 7.1_
|
| 32 |
-
- [ ]
|
| 33 |
- **Property 8: State Validity**
|
| 34 |
- **Validates: Requirements 5.1, 7.1**
|
| 35 |
|
|
@@ -39,7 +39,7 @@
|
|
| 39 |
- Track triage question count
|
| 40 |
- Implement state transitions
|
| 41 |
- _Requirements: 7.1, 7.2_
|
| 42 |
-
- [ ]
|
| 43 |
- **Property 14: Session Reset**
|
| 44 |
- **Validates: Requirements 7.4**
|
| 45 |
|
|
@@ -50,13 +50,13 @@
|
|
| 50 |
- Rename and refactor existing analyzer
|
| 51 |
- Return SpiritualState instead of DistressClassification
|
| 52 |
- _Requirements: 2.1, 5.1_
|
| 53 |
-
- [ ]
|
| 54 |
- **Property 1: Spiritual Monitor Always Invoked**
|
| 55 |
- **Validates: Requirements 2.1**
|
| 56 |
-
- [ ]
|
| 57 |
- **Property 9: Conservative Classification**
|
| 58 |
- **Validates: Requirements 5.2**
|
| 59 |
-
- [ ]
|
| 60 |
- **Property 10: Red Flag Keywords**
|
| 61 |
- **Validates: Requirements 5.4**
|
| 62 |
|
|
@@ -79,13 +79,13 @@
|
|
| 79 |
- Track question count (max 3)
|
| 80 |
- Force decision after 3 exchanges
|
| 81 |
- _Requirements: 3.1, 3.6_
|
| 82 |
-
- [ ]
|
| 83 |
- **Property 5: Triage Question Limit**
|
| 84 |
- **Validates: Requirements 3.1, 7.2**
|
| 85 |
-
- [ ]
|
| 86 |
- **Property 6: Triage Binary Outcome**
|
| 87 |
- **Validates: Requirements 3.3**
|
| 88 |
-
- [ ]
|
| 89 |
- **Property 7: Triage Timeout Escalation**
|
| 90 |
- **Validates: Requirements 3.6**
|
| 91 |
|
|
@@ -96,13 +96,13 @@
|
|
| 96 |
- Call monitor for every message
|
| 97 |
- Route based on SpiritualState
|
| 98 |
- _Requirements: 2.1, 2.2, 2.3, 2.4_
|
| 99 |
-
- [ ]
|
| 100 |
- **Property 2: Green State Preservation**
|
| 101 |
- **Validates: Requirements 2.2**
|
| 102 |
-
- [ ]
|
| 103 |
- **Property 3: Yellow Triggers Triage**
|
| 104 |
- **Validates: Requirements 2.3**
|
| 105 |
-
- [ ]
|
| 106 |
- **Property 4: Red Triggers Immediate Referral**
|
| 107 |
- **Validates: Requirements 2.4**
|
| 108 |
|
|
@@ -130,10 +130,10 @@
|
|
| 130 |
- Accept SpiritualAssessment instead of DistressClassification
|
| 131 |
- Include triage context if available
|
| 132 |
- _Requirements: 6.1, 6.2_
|
| 133 |
-
- [ ]
|
| 134 |
- **Property 11: Referral Generation on Red**
|
| 135 |
- **Validates: Requirements 6.1**
|
| 136 |
-
- [ ]
|
| 137 |
- **Property 12: Referral Content Completeness**
|
| 138 |
- **Validates: Requirements 6.2**
|
| 139 |
|
|
@@ -149,7 +149,7 @@
|
|
| 149 |
- [ ] 11.3 Verify ReferralMessageGenerator language handling
|
| 150 |
- Referrals in patient language
|
| 151 |
- _Requirements: 8.4_
|
| 152 |
-
- [ ]
|
| 153 |
- **Property 13: Language Matching**
|
| 154 |
- **Validates: Requirements 8.1, 8.2, 8.3, 8.4**
|
| 155 |
|
|
|
|
| 29 |
- SpiritualAssessment dataclass
|
| 30 |
- TriageSession dataclass
|
| 31 |
- _Requirements: 5.1, 7.1_
|
| 32 |
+
- [ ] 2.2 Write property test for state validity
|
| 33 |
- **Property 8: State Validity**
|
| 34 |
- **Validates: Requirements 5.1, 7.1**
|
| 35 |
|
|
|
|
| 39 |
- Track triage question count
|
| 40 |
- Implement state transitions
|
| 41 |
- _Requirements: 7.1, 7.2_
|
| 42 |
+
- [ ] 3.2 Write property test for session reset
|
| 43 |
- **Property 14: Session Reset**
|
| 44 |
- **Validates: Requirements 7.4**
|
| 45 |
|
|
|
|
| 50 |
- Rename and refactor existing analyzer
|
| 51 |
- Return SpiritualState instead of DistressClassification
|
| 52 |
- _Requirements: 2.1, 5.1_
|
| 53 |
+
- [ ] 4.2 Write property test for monitor invocation
|
| 54 |
- **Property 1: Spiritual Monitor Always Invoked**
|
| 55 |
- **Validates: Requirements 2.1**
|
| 56 |
+
- [ ] 4.3 Write property test for conservative classification
|
| 57 |
- **Property 9: Conservative Classification**
|
| 58 |
- **Validates: Requirements 5.2**
|
| 59 |
+
- [ ] 4.4 Write property test for red flag keywords
|
| 60 |
- **Property 10: Red Flag Keywords**
|
| 61 |
- **Validates: Requirements 5.4**
|
| 62 |
|
|
|
|
| 79 |
- Track question count (max 3)
|
| 80 |
- Force decision after 3 exchanges
|
| 81 |
- _Requirements: 3.1, 3.6_
|
| 82 |
+
- [ ] 6.4 Write property test for triage question limit
|
| 83 |
- **Property 5: Triage Question Limit**
|
| 84 |
- **Validates: Requirements 3.1, 7.2**
|
| 85 |
+
- [ ] 6.5 Write property test for triage binary outcome
|
| 86 |
- **Property 6: Triage Binary Outcome**
|
| 87 |
- **Validates: Requirements 3.3**
|
| 88 |
+
- [ ] 6.6 Write property test for triage timeout escalation
|
| 89 |
- **Property 7: Triage Timeout Escalation**
|
| 90 |
- **Validates: Requirements 3.6**
|
| 91 |
|
|
|
|
| 96 |
- Call monitor for every message
|
| 97 |
- Route based on SpiritualState
|
| 98 |
- _Requirements: 2.1, 2.2, 2.3, 2.4_
|
| 99 |
+
- [ ] 7.2 Write property test for green state preservation
|
| 100 |
- **Property 2: Green State Preservation**
|
| 101 |
- **Validates: Requirements 2.2**
|
| 102 |
+
- [ ] 7.3 Write property test for yellow triggers triage
|
| 103 |
- **Property 3: Yellow Triggers Triage**
|
| 104 |
- **Validates: Requirements 2.3**
|
| 105 |
+
- [ ] 7.4 Write property test for red triggers referral
|
| 106 |
- **Property 4: Red Triggers Immediate Referral**
|
| 107 |
- **Validates: Requirements 2.4**
|
| 108 |
|
|
|
|
| 130 |
- Accept SpiritualAssessment instead of DistressClassification
|
| 131 |
- Include triage context if available
|
| 132 |
- _Requirements: 6.1, 6.2_
|
| 133 |
+
- [ ] 10.2 Write property test for referral generation on red
|
| 134 |
- **Property 11: Referral Generation on Red**
|
| 135 |
- **Validates: Requirements 6.1**
|
| 136 |
+
- [ ] 10.3 Write property test for referral content completeness
|
| 137 |
- **Property 12: Referral Content Completeness**
|
| 138 |
- **Validates: Requirements 6.2**
|
| 139 |
|
|
|
|
| 149 |
- [ ] 11.3 Verify ReferralMessageGenerator language handling
|
| 150 |
- Referrals in patient language
|
| 151 |
- _Requirements: 8.4_
|
| 152 |
+
- [ ] 11.4 Write property test for language matching
|
| 153 |
- **Property 13: Language Matching**
|
| 154 |
- **Validates: Requirements 8.1, 8.2, 8.3, 8.4**
|
| 155 |
|