stella-ops.org/git.stella-ops.org
1
0
Fork 0
Code Issues Pull Requests Actions 3 Releases Wiki Activity

tests fixes

Browse Source
This commit is contained in:
master
2026-01-27 08:23:42 +02:00
parent c305d05d32
commit 82caceba56
58 changed files with 651 additions and 312 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/__Libraries/StellaOps.Reachability.Core/ReachabilityLattice.cs
View File

@@ -48,7 +48,7 @@ public sealed class ReachabilityLattice
// From RuntimeUnobserved
[(LatticeState.RuntimeUnobserved, EvidenceType.StaticReachable)] =
new(LatticeState.StaticReachable, 0.10),
new(LatticeState.Contested, -0.10), // Conflict: runtime says unobserved, static says reachable
[(LatticeState.RuntimeUnobserved, EvidenceType.StaticUnreachable)] =
new(LatticeState.ConfirmedUnreachable, 0.20),