Semantic & signification of RatifyState

[KtorZ]

Hello! Would anyone be kind to document the semantic and signification of the RatifyState type and its sub-components:

cardano-ledger/eras/conway/impl/src/Cardano/Ledger/Conway/Governance/Internal.hs

Lines 268 to 273 in 8d16d69

	data RatifyState era = RatifyState
	{ rsEnactState :: !(EnactState era)
	, rsEnacted :: !(Seq (GovActionState era))
	, rsExpired :: !(Set (GovActionId (EraCrypto era)))
	, rsDelayed :: !Bool
	}

I know the type is part of an Internal module, but it is now exposed to end-users through the local-state-query protocol via the GetRatifyState query. In order to make this query available to a larger audience, I'd be thankful to get clarification on the various components of its result.

Thanks.

[lehins]

The fact that it is defined in an Internal module, does not make it "internal". It is exposed to the world through public modules and there is even a query for it 😃 That does not mean that we should not document it! So, thank you for opening this issue.

The gist of it is that it represents what will happen at the next epoch boundary with respect to the governance. For example if a governance action is listed in rsEnacted it means that it will be enacted on the next epoch boundary and its affect is already applied in the rsEnactState. So, in reality the affect of enactment on the epoch boundary is just applying the values from the EnactState to the GovState in the ledger state.