A run passes only under a negative control.
The live-proof harness stands up an ephemeral Active Directory forest in AWS or Azure, registers real SPNs through the product's own execute path, and reads back a remote client's actual Kerberos mechanism. The verdict rules are strict on purpose.
Before must be NTLM. After must be Kerberos. A second oracle must agree.
Record the mechanism before the change. Make the change through Invoke-SpnExecutionEngine, not by hand. Record the mechanism after. Ask an independent second oracle. Only NTLM to Kerberos with agreement is a Pass.
If the baseline was already Kerberos, an SPN may have pre-existed and the run proved nothing about the product. That is Inconclusive, not Pass. Most tools in this space report the after-state alone and cannot tell the two apart.
| baseline | after | oracle 2 | verdict | meaning |
|---|---|---|---|---|
| NTLM | KERBEROS | agrees | PASS | the change caused Kerberos |
| KERBEROS | KERBEROS | agrees | INCONCLUSIVE | nothing was proven |
| NTLM | NTLM | agrees | FAIL | the change did not take |
| NTLM | KERBEROS | disagrees | FAIL | oracles conflict; not trusted |
Fifteen provider scenarios are exercised per cloud. Not every scenario passes on every run and the matrix says which did not. The numbers above are best results to date, and the evidence pack for the run is what substantiates them.
Dates of the runs, and the pack downloads, are placeholders until publication: {{ tok.EVIDENCE_PACK_URL }}.
Provisioning log, per-host transcripts, oracle readings, a results matrix, and a teardown log, signed as a unit. The signing key and verification instructions belong on the trust center →.
File names above illustrate the structure; the pack format is described in its own README inside each pack.