Skip to content

Rename "semantically reproducible build" to something else? #426

Closed

Description

I shared the idea of "semantically reproducible builds" to the general "reproducible-builds" mailing list here:
https://lists.reproducible-builds.org/pipermail/rb-general/2023-May/thread.html

There was interest, but many complained that the name "semantically reproducible build" was too easily confused with the term "reproducible builds". The term "semantically reproducible build" is clear enough to me, and I'm personally fine with it. However, I understand the concern by some that it's not clear enough. Having clear terms is really useful.

Would you consider renaming "semantically reproducible build" to something else? Some ideas mooted were:

  • "semi-reproducible build"
  • "semantically repeatable build"
  • "semantically equivalent build"

I think some others would be happier with another term, but I don't know how important the current term is to you.

Activity

  1. gfs commented on May 30, 2023

    @gfs
    Contributor

    Michael Scovetta (@scovetta) thoughts on this?

    "Semantically equivalent" seems accurate to describe the methodology/depth of analysis to me, but so does our current "semantically reproducible".

  2. scovetta commented on May 30, 2023

    @scovetta
    Member

    At least we're not talking about the other hard problem, cache invalidation and off-by-one errors. :-)

    I'm fine with changing the docs/text to call it "semantically equivalent build" or similar based on the context, or if we can find a better name that doesn't encroach reproducible-builds, I'd probably be fine with that too.

  3. gfs commented on May 30, 2023

    @gfs
    Contributor

    David A. Wheeler (@david-a-wheeler)

    Thanks again for your detailed feedback.

    I think that were then okay with "semantically equivalent" in the documentation, unless we can think up something better in the next few days before I take the time to update the docs.

  4. added a commit that references this issue on Jun 1, 2023
    6727a89
  5. gfs commented on Jun 1, 2023

    @gfs
    Contributor

    David A. Wheeler (@david-a-wheeler) I opened #429 to update this in the readme and program strings, and ahve also updated the wiki to use "semantic equivalency".

  6. david-a-wheeler commented on Jun 2, 2023

    @david-a-wheeler
    Author

    Thanks so much! I think "semantically equivalent" is great; it's clearly distinct and I think it gives the sense of what's intended.

    I'll post to the reproducible-builds mailing list, I think they'll be pleased.

    At a future point it would be cool if the tool could report "semantically equivalent" when that is true, and also indicate "reproducible build' (bit-for-bit) when it can find a way to reproduce it exactly. I should probably file that as a separate issue, because that probably is more than just a doc change :-).

  7. gfs commented on Jun 2, 2023

    @gfs
    Contributor

    Thanks so much! I think "semantically equivalent" is great; it's clearly distinct and I think it gives the sense of what's intended.

    No problem. Thanks for the suggestion. I think this makes it very clear.

    I'll post to the reproducible-builds mailing list, I think they'll be pleased.

    🎉

    At a future point it would be cool if the tool could report "semantically equivalent" when that is true, and also indicate "reproducible build' (bit-for-bit) when it can find a way to reproduce it exactly. I should probably file that as a separate issue, because that probably is more than just a doc change :-).

    I think that would be a great ability to have - oss reproducible has extensibility via the strategies, I think that would be cool to have checking for bit for bit "reproducible build" be a strategy. I do agree though that that's a larger ask than this update so a fresh issue to track it would be best. If you have any recommendations for what we may be able to leverage to avoid building that strategy from scratch that would also be great to hear.

    Thanks
    Gabe

  8. added a commit that references this issue on Mar 23, 2024
    18080d8
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions