Skip to content

Add "mission and values" page#839

Open
ocfnash wants to merge 4 commits intolean4from
ocfnash/add_values
Open

Add "mission and values" page#839
ocfnash wants to merge 4 commits intolean4from
ocfnash/add_values

Conversation

@ocfnash
Copy link
Copy Markdown
Contributor

@ocfnash ocfnash commented May 6, 2026

No description provided.

@chrisflav
Copy link
Copy Markdown
Member

Could you elaborate a bit on how these "missions and values" were drafted? Is this the consensus of the maintainer team or is this your personal suggestion?

ocfnash added 2 commits May 6, 2026 16:11
We may wish to write about our mission in the future but not here.
@ocfnash ocfnash force-pushed the ocfnash/add_values branch from 3dbf09f to 4d384f9 Compare May 6, 2026 15:13
@grunweg
Copy link
Copy Markdown
Contributor

grunweg commented May 6, 2026

This was discussed in the maintainers stream, received broad support (and some feedback) there and no objections. I wouldn't call this a done decision, though: feedback is still welcome.

@chrisflav
Copy link
Copy Markdown
Member

The first version contained a "mission statement", which I was (independent of its content) quite surprised by to see without any context. The new version, which only contains the values is much less controversial I think.

Copy link
Copy Markdown
Member

@chrisflav chrisflav left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I can't make inline comments at the moment because of the github issue, so let me write some thoughts here:

  • In the introductory paragraph for "Implications for PR review" I would link to the review guide. Generally, there is quite a bit of overlap here. Maybe you can comment on what the main purpose of this section is? Is it "give a summary of our review process to outsiders, in particular non-formalists"?
  • I would put the "Are the definitions correct" paragraph much higher, maybe after "Is the author a human".
  • "instance diamonds": It seems to me that the target audience of this text includes non-formalisers. For them, the term "diamond" will not be known. There are also some other technical terms like set_option maxHeartbeats etc.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants