diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2026-07-28 11:58:07 +0200 |
|---|---|---|
| committer | adelon <22380201+adelon@users.noreply.github.com> | 2026-07-28 11:58:07 +0200 |
| commit | 8e40759f2d21bf816cc8441e9d299d6e2350d0c5 (patch) | |
| tree | d669f5ffcfa39cbda651829889e3f6208c42c074 /test/golden/datatype/verification.golden | |
| parent | 4076fc7c63032c0b698a3be9f46a7d14616dae5e (diff) | |
Authorize ground reflexivity through kernel replay
The first typed fact family is deliberately dependency-free. Its rows remain outside the legacy fact registry, so unmigrated declarations cannot consume or reauthorize them.
Diffstat (limited to 'test/golden/datatype/verification.golden')
| -rw-r--r-- | test/golden/datatype/verification.golden | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/golden/datatype/verification.golden b/test/golden/datatype/verification.golden index a7defbf..25f9ffd 100644 --- a/test/golden/datatype/verification.golden +++ b/test/golden/datatype/verification.golden @@ -4,5 +4,6 @@ VerifiedWithTrustedVampire , verificationTrustedVampireCount = 5 , verificationExplicitGapLocations = [] , verificationTrustedLegacyRuleCount = 10 + , verificationKernelProofCount = 0 } )
\ No newline at end of file |