Voted to adopt proposal 133802, as hashes match, commits match descriptions and the changes appear to be well-founded.
This proposal upgrades the Governance canister, with changes mainly concerning neuron visibility and TLA testing.
Commits:
[aa91ecacdf3] Adds field timers to type SnsRootCanister. Adds query method get_timers and update method update_timers to SNS root canister.
[d7eb6e9851e] Switches IS_PRIVATE_NEURON_ENFORCEMENT_ENABLED flag to true.
[50d0a23e0e2] Simplifies the use of the visibility field in Neuron and NeuronInfo such that it consistently calls neuron.visibility.
[a00685bd42a] Further develops the state size hard limit for TLA trace checks that is implemented in 44a8e8d766e below. Also replaces RwLock with LocalKey in most instances. This is said to eliminate interference between tests but I was unable to find a clear explanation of this in the documentation so I’d be grateful @oggy if you could point us towards some resources.
[102306234dd] Several changes to TLA testing code, outlined in the commit notes, intended to allow the TLA model to distinguish between different calls of the same function.
[44a8e8d766e] Implements a hard limit of 500 on the state size for TLA trace checks.
[588ad7a46b1] Rust version update and associated code changes.