In brief
The test matrix records which commands or upstream gates support which class of claim.
What this page explains#
The test matrix records which commands or upstream gates support which class of claim. This page sits in Core Contributor Guide. It gives the topic a plain-language handle first, then shows the working idea, the mechanism, the source trail, and any limits that still matter. This category gives contributors a repeatable source-review method. A strong page traces a claim through source owner, data structure, serialization, validation, tests, release context, and Open Questions.
The writing follows a simple Kaspa documentation pattern: answer the practical question first, then link outward for details. The closest public sources for this page are RK-TESTS, RK-UPSTREAM-TEST-GATE, RK-REPO. Local notes can help choose what to explain, but public-facing references resolve to upstream websites, repositories, papers, release pages, or docs.
How to think about it#
The practical model starts by naming the layer that owns the topic: wallet use, node operation, consensus, transaction validation, Toccata script behavior, tooling, or research. From there, the page shows which public source can support the explanation and where the explanation becomes incomplete.
For Exact Test Command Matrix, the model is built around these anchors: source-level tests support behavior evidence; integration tests support workflow evidence; local labs are labeled local experience; missing tests become Open Questions; passing tests do not replace source and release checks. This model is useful, but it does not encode every constant, branch, error type, or edge case. Those details belong in the source path and the source notes.
How it works#
1. source-level tests support behavior evidence. This is a source checking path, so the explanation starts from the claim and follows ownership through the codebase. A contributor identifies the subsystem, reads the relevant data structures and serialization, traces validation or execution, checks tests and release context, and records what the source proves as well as what remains outside its scope.
2. integration tests support workflow evidence. This is a source checking path, so the explanation starts from the claim and follows ownership through the codebase. A contributor identifies the subsystem, reads the relevant data structures and serialization, traces validation or execution, checks tests and release context, and records what the source proves as well as what remains outside its scope.
3. local labs are labeled local experience. This is a source checking path, so the explanation starts from the claim and follows ownership through the codebase. A contributor identifies the subsystem, reads the relevant data structures and serialization, traces validation or execution, checks tests and release context, and records what the source proves as well as what remains outside its scope.
4. missing tests become Open Questions. This is a source checking path, so the explanation starts from the claim and follows ownership through the codebase. A contributor identifies the subsystem, reads the relevant data structures and serialization, traces validation or execution, checks tests and release context, and records what the source proves as well as what remains outside its scope.
5. passing tests do not replace source and release checks. This is a source checking path, so the explanation starts from the claim and follows ownership through the codebase. A contributor identifies the subsystem, reads the relevant data structures and serialization, traces validation or execution, checks tests and release context, and records what the source proves as well as what remains outside its scope.
This mechanism section turns the wiki into a review workflow: identify the claim class, find the subsystem, read the source, check tests and releases, then mark the remaining gap.
How to check it#
| Step | Check | Evidence gate |
|---|---|---|
| 1 | Check source-level tests support behavior evidence. | Use RK-TESTS, RK-UPSTREAM-TEST-GATE, RK-REPO; keep unsupported material in Open Questions. |
| 2 | Check integration tests support workflow evidence. | Use RK-TESTS, RK-UPSTREAM-TEST-GATE, RK-REPO; keep unsupported material in Open Questions. |
| 3 | Check local labs are labeled local experience. | Use RK-TESTS, RK-UPSTREAM-TEST-GATE, RK-REPO; keep unsupported material in Open Questions. |
| 4 | Check missing tests become Open Questions. | Use RK-TESTS, RK-UPSTREAM-TEST-GATE, RK-REPO; keep unsupported material in Open Questions. |
| 5 | Check passing tests do not replace source and release checks. | Use RK-TESTS, RK-UPSTREAM-TEST-GATE, RK-REPO; add date, network, release or commit, tool version, and accepted/rejected evidence. |
When using this page for source review, start with the claim class, then read the owner module, tests, KIP or release context, and any dependent interface. Record what the source proves and what it does not prove before strengthening wiki wording.
Related Pages#
- toccata-internals-function-walkthrough
- core-contributor-guide
- review-checklists