# Plan review coverage for allowed task transitions

Illustrative planning brief; no automatic product import.

Synthetic planning case: An external rehearsal model declares pending→ready, ready→accepted, ready→pending and pending→cancelled. Six recorded cases exercise only the first two edges.

## Decision

Two of four declared transitions have rehearsal evidence. Preserve ready→pending and pending→cancelled as unexercised obligations rather than counting six cases as complete transition coverage.

## Owned work

- Freeze states and allowed edges
  - Owner role: Model owner
  - Acceptance evidence: The four edges are an explicit external contract.
- Map traces to unique edges
  - Owner role: Rehearsal reviewer
  - Acceptance evidence: The six runs cover only two declared transitions.
- Assign missing-edge rehearsals
  - Owner role: Acceptance lead
  - Acceptance evidence: Both remaining transitions have an expected state and an owned check.

## Workflow

1. Freeze states and allowed edges. Check: The four edges are an explicit external contract.
2. Map traces to unique edges. Check: The six runs cover only two declared transitions.
3. Assign missing-edge rehearsals. Check: Both remaining transitions have an expected state and an owned check.

## Judgment

This invented state model does not describe native TeamBoostAI status transitions or complete test assurance.


## Filled manual planning note

Two of four declared transitions have rehearsal evidence. Preserve ready→pending and pending→cancelled as unexercised obligations rather than counting six cases as complete transition coverage. The unique exercised edge set has size two, while the declared edge set has size four: 2/4 coverage in this model. Case repetitions do not increase unique transition coverage. This invented state model does not describe native TeamBoostAI status transitions or complete test assurance.


## Working artifact

- Forward route / Pending → ready → accepted / Two distinct edges exercised
- Return route / Ready → pending / Missing rehearsal
- Cancellation route / Pending → cancelled / Missing rehearsal


## Workflow questions

### Does every edge need just one run?

Not necessarily. Edge coverage is a count; input variation, guards and sequence behavior are additional dimensions.

### Does full edge coverage prove the model is correct?

No. The declared model itself can omit required behavior.

## Product connection

Use the owned checks and downloaded brief to discuss this planning decision alongside your TeamBoostAI tasks. Confirm available fields, roles and account features separately. The example is manual; it does not calculate live analytics, create work or run an experiment in the product.

Confirm account availability before adopting this manual outline.

## Original worked case

Synthetic records, manual planning only. No account import or live analytics.

### Inspect the invented case records

Declared transition | Recorded cases | Coverage
--- | --- | ---
Pending → ready | 3 | Exercised
Ready → accepted | 3 | Exercised
Ready → pending | 0 | Unexercised
Pending → cancelled | 0 | Unexercised

### Reasoning

The unique exercised edge set has size two, while the declared edge set has size four: 2/4 coverage in this model. Case repetitions do not increase unique transition coverage.

### Bounded result

Two of four declared transitions have rehearsal evidence. Preserve ready→pending and pending→cancelled as unexercised obligations rather than counting six cases as complete transition coverage.

### Distinct decision

The artifact distinguishes transition coverage from repeated case volume with a fully enumerated graph.

### Limits

This invented state model does not describe native TeamBoostAI status transitions or complete test assurance.

### Definitions and method context

- NIST: state-based and event-sequence testing context — https://csrc.nist.gov/Projects/automated-combinatorial-testing-for-software — General context for state-based and event-sequence testing. All graphs, guards, fixtures and recovery contracts here are original toy definitions; the source does not certify their completeness or product behavior.