Skill Interface Contract

The three principal Forenyx AI skills follow a strict upstream/downstream contract so the automated loop stays connected end to end.

Contract Dimensions

1. Checkpoint Tag Contract

• Produced by testplan: [CSR] / [Scoreboard] / [SVA-cover] / [SVA-off]
• Consumed by testcase:
  • [SVA-cover] ➔ handled as a normal positive testcase; assertions stay enabled.
  • [SVA-off] ➔ the four-quadrant decision matrix classifies it as a negative testcase, and sva_index.md is consulted to emit a balanced $assertoff / $asserton pair.

2. Bidirectional Coverage Contract

• Any SVA-INV-XX referenced by [SVA-cover] or [SVA-off] must exist in section II, "DUT-level SVA invariant list".
• When checking for unreferenced invariants (that is, computing uncovered coverage), only [SVA-cover] positive triggers are counted. [SVA-off] disables assertions and does not contribute to positive coverage.

3. Fail-Closed Contract

• If the index is missing or sva_index.md has not been created, the skill degrades to writing a TODO placeholder and a log entry. It must not block the VCS compilation flow.