IntersectMBO / IntersectMBO/cardano-ledger
Fix CantFollow conformance
- Dominant language
- Haskell
- Stars
- 295
- Forks
- 179
- Avg merge
- 4d 7h
- Merged PRs (30d)
- 29
Description
Recent changes to how HardForkInitiation proposal is treated causing conformance to fail. We need to either:
* change the generator
* or even better adjust the spec to match the implementation
Here is an example failure:
```
2026-03-01T07:02:08.2929516Z Impl (Failure):
2026-03-01T07:02:08.2930740Z [0;91m"ProposalCantFollow (SJust (GovActionId {gaidTxId = TxId {unTxId = SafeHash \"048a74ad3c7cf70b8fbf8dfa22f65653a5461039e12964e3c2f0fe22e3ed639b\"}, gaidGovActionIx = GovActionIx {unGovActionIx = 3}})) Mismatch (RelGT) {supplied: ProtVer {pvMajor = Version 13, pvMinor = 0}, expected: ProtVer {pvMajor = Version 10, pvMinor = 0}} :| []"[0;93m
2026-03-01T07:02:08.2930820Z Agda (Success):
```
...
```
2026-03-01T07:02:08.5941740Z
2026-03-01T07:02:08.5942040Z To rerun use: --match "/Conformance/Constrained Generators/Blocks transition graph/GOV/" --seed 358010078
2026-03-01T07:02:08.5942046Z
2026-03-01T07:02:08.5942138Z Randomized with seed 358010078
```
Contributor guide
Assessment
This issue has not been assessed yet.