Colophon

Find a claim

Find a claim

Every public claim listed on Colophon, newest first. The order is by date, not merit.

1 claim listed.

  • Judging the LoCoMo judges

    Method author and run owner: signing key z6Mkmz8SWi…pcZTm9

    No claimant name is recorded. This is the key the sealed run record names as the run's owner, and the locked method names as its author.

    did:key:z6Mkmz8SWiUshwDMszSqwzMngt7ScNmsEj7vZoFRLjpcZTm9
    LoCoMo judge report frozen bank, Full method, 240 itemsSelf-runSealed

    Changing only the grader moved agreement with the same correctness labels from 60.8% to 87.9%.

    On the LoCoMo judge report frozen bank board

Colophon does not rank claims against each other, and claims sealed on different suites or methods are never compared. This listing is every public claim listed on Colophon, not every private or external claim ever created.