List feature prerequisites
Synthetic features: browse needs cache K; receipt view needs K and store D; create needs D and writer W. K/D are available, W unavailable. A feature works only if all its listed prerequisites are available. No substitute path is supplied.
| Feature | Required set | Outcome |
|---|---|---|
| Browse | K | Available |
| Receipt view | K,D | Available |
| Create | D,W | Unavailable |
Evaluate each conjunction
- Fix component states
- Require every dependency per feature
- List enabled and withheld tasks
A successful browse test cannot demonstrate a feature whose dependency set includes W.
How many features remain available?
Show the worked answer
Two of three: browse and receipt view. Create is unavailable because W is missing, despite D being present.
Publish the surviving scope
| Case | Decision | Reason |
|---|---|---|
| All service down | Overstates unavailable scope | Two features still pass |
| All service restored after browse | Overstates restoration | Create still blocked |
Use the same feature matrix in user-task verification after W returns. Record actual create output before enlarging the restored scope.