Proposal: Proof Assistants

Basically there are thee kinds of users who will be reading this.

  1. A user new to StackExchange; you do not have an account on any StackExchange site. If so then no need to read further.

  2. You have an account on one or more StackExchange sites but your reputation is not 200+ on any of them. If so then no need to read further.

  3. You have an account on one or more StackExchange sites. Your reputation on one of those accounts is 200+. If so then keep reading.

Why is it important that one commit correctly?

StackExchange likes sites to launch with enough experienced users so that those with experience can help and guide those new to StackExchange sites. They way this is done is to look at the reputation a users has on other StackExchange sites. In particular they consider users with 200+ reputation on at least one site an experienced user. So during the commit phase one of the requirements is that a number of those who commit must have 200+ rep on another StackExchange site. Often of the three requirements this is the hardest one to achieve.

enter image description here

However it is possible that because a user signed up, not logged in, to Area 51 incorrectly that they were not counted as such. In other words it is possible that the number of users with 200+ reputation was meet but because the users signed up with a different e-mail account StackExchange did not recognize them as a user with a 200+ reputation account.

So the goal is to push the first number noted here up by one.

enter image description here

To see that number,

  1. Go to the site you want to commit.
  2. In the upper right click on the commitment tab.
  3. Click more info

For how to check and fix this keep reading.

If you have a rep of 51 or 151 showing for the commit phase, E.g.

enter image description here

and have an account with 200+ rep on another site then you may have done the commit process incorrectly.

According to this answer and this answer

Creating an account on Stack Exchange does not create accounts for all Stack Exchange sites. If you are not a member of the Area 51 site then you need to join first (which I take to mean Sign up) then Log in.

enter image description here

How I check that my correct reputation is known.

  1. Click on my icon enter image description here in the upper right.
  2. Click on the Profile tab enter image description here
  3. Look at my communities to see that my sites are known.

enter image description here

  1. Check the rep for my entry in the list.

enter image description here

Examples. Nothing personal intended.

enter image description here

enter image description here

enter image description here

How to check and correct the e-mail addresses registered. As I am automatically logged in when opening these sites I will skip the login steps.

A. Identify the e-mail address for an account you use the most.

  1. Go to the site, e.g. StackOverflow.
  2. Click on your icon in the upper right.
  3. Click on Edit profile in the upper right.
  4. Click on Edit email settings in the left menu strip
  5. View your Email Address

B. Identify the e-mail address for your Area 51 account.

  1. Go to Area 51 site, https://area51.stackexchange.com/
  2. Click on your icon in the upper right.
  3. Click on the info tab
  4. View email for your e-mail address

Both e-mail address should be same. If not then sign up again to Area 51 with the correct e-mail address.

I read in a post somewhere but can't recall where, that the code for Area 51 is very old and not maintained as well as the other sites. Thus the reason the steps are different for Area 51.

If you made it this far, you signed up with your e-mail account used for a site with 200+ rep and still do not see a higher rep then it could be 1 of 2 things.

  1. Your rep on other accounts is so low that that the rep you see is correct. I don't know the exact means to calculate the commit rep but the basis is noted in the Area 51 FAQ.

  2. The system needs to do a recalc of your reputation and usually happens between a few hours of logging in and 24 hours. So check back in a day and see if it changed.

The calculation for commitment score

enter image description here

can be seen here.

AFAIK the following are all different values.
Since it is possible to have multiple accounts per user, StackExchange account is used instead of user.

  1. StackExchange account rep combined.
  2. StackExchange account rep for a single site.
  3. StackExchange account total rep for a proposed site.
  4. StackExchange account user rep for a proposed site.
  5. Proposed site total commitment score.
  6. StackExchange account commitment score for a proposed site.

The following is a comment but since many don't read comments and this post is being used as an exhibit, think trial or evidence, I am moving the comment to here so that it is read. I can also add the text I had to delete to meet the comment character count limit.

I know the info (in this post) is not perfect and is based on the work of others (thank you), however what seems to make this one work for the users to diagnosis the problem is that it gives them a concrete way to verify and shows them a real example of wrong and right. It does not try to elaborate on how to sign up and log in as there are way to many variables that just get to confusing for new users so avoids that taking the road that users are actually smart.

If others have ideas on how to make this better just drop a suggestion or post your own version for your site and let me know as I might pick up on your ideas.

  • I had abandoned my account. The platform took some time to pick up the total rep. Now it shows the old rep.
    – Cheery
    Nov 24, 2021 at 13:15
  • It shows total rep (22k) and rep on area51 (151).
    – Cheery
    Nov 24, 2021 at 15:29
  • I apparently joined Area51 early, before I had much site rep anywhere, so I seem to be stuck at 151 rep. Oh well. Nov 25, 2021 at 20:22
  • @GuyCoder Nope, still stuck at 151. I tried editing my profile on tex.se and having it propagate to all my public accounts; the changes were picked up elsewhere, but not here (on Area 51). I suspect my Area 51 account is still not properly linked (perhaps it's not public, somehow?). Nov 27, 2021 at 18:16
  • Umm one more thing. Because of these two attempts I am now present twice there, as Mamuka Jibladze and მამუკა ჯიბლაძე. I am being automatically logged in as მამუკა ჯიბლაძე and don't even know how to log in as Mamuka Jibladze to close that account. Is there a way to destroy that one? Jan 21, 2022 at 15:52


You must log in to answer this question.

Browse other questions tagged .