{
  "example_kind": "original synthetic manual planning case",
  "slug": "transition-pair-sequence-plan",
  "title": "Test consecutive workflow transitions",
  "scenario": "Synthetic planning case: A model has edges A→B, B→A and B→C. Separate tests exercise each edge, but no trace retains two consecutive transitions. C has no outgoing edge.",
  "layout": "network",
  "dataset": {
    "heading": "Inspect the invented case records",
    "headers": [
      "Sequence",
      "Edges in order",
      "Current sequence evidence"
    ],
    "rows": [
      [
        "A → B → A",
        "A→B then B→A",
        "None"
      ],
      [
        "A → B → C",
        "A→B then B→C",
        "None"
      ],
      [
        "B → A → B",
        "B→A then A→B",
        "None"
      ]
    ]
  },
  "derivation": "Compose each edge with edges whose origin matches its destination. A→B has two continuations; B→A has one; B→C has none. Therefore 2+1+0=3 legal length-two sequences.",
  "result": "There are three legal two-edge sequences: A→B→A, A→B→C and B→A→B. All need sequence evidence under the declared two-edge objective; isolated edge results do not provide it.",
  "boundary": "The artifact enumerates ordered adjacent-edge obligations rather than unordered factor combinations or isolated transition counts.",
  "limitations": "No full state-space or software defect coverage is claimed. This is a tiny external graph.",
  "sources": [
    "nist-state"
  ],
  "tasks": [
    [
      "Declare sequence length and graph",
      "Model planner",
      "The objective is two consecutive edges, not every arbitrary trace."
    ],
    [
      "Enumerate legal compositions",
      "Reviewer",
      "Only destination-to-origin matches generate the three listed sequences."
    ],
    [
      "Record continuous traces",
      "Rehearsal owner",
      "Each check preserves the intermediate state and ordered pair rather than joining unrelated tests."
    ]
  ],
  "faqs": [
    [
      "Can I combine two separate passing logs?",
      "Not as a continuous two-edge trace unless the shared intermediate state and continuity are actually established."
    ],
    [
      "Does this cover sequences of length three?",
      "No. The explicitly chosen objective is length two."
    ]
  ],
  "method_references": [
    {
      "id": "nist-state",
      "title": "NIST: state-based and event-sequence testing context",
      "url": "https://csrc.nist.gov/Projects/automated-combinatorial-testing-for-software",
      "scope": "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."
    }
  ]
}