All commits, PRs and releases are open-source.
The pseudocode in the proposal is intended as illustrative of the mechanism not a full spec; details such as variable names are liable to change.
We appreciate the feedback and will take it into account when building out the feature, if this proposal passes.