proof.json

target/tare/proof.json is the weighing with its proof. It is the document a record pins and commits to.

The proof in the document

{
  "proof": {
    "status": "matched",
    "corpus": {
      "hash": "733ffbce7c61f5a6dbe393fb45f29b448842086b0fcde89d53bec33a0092088b",
      "counts": {
        "tests": 0,
        "generated": 485,
        "mainnet": 0
      }
    },
    "comparisons": {
      "inputs": 485,
      "accountBytes": 8729,
      "lamports": 8729,
      "logs": 485,
      "returnData": 485,
      "errors": 485
    },
    "firstDivergence": null
  }
}

The proof of squads_multisig_program from the benchmark. The rest of the document is the weighing.

Fields

Field	What it holds
`status`	matched or diverged.
`corpus.hash`	SHA-256 of the corpus the builds ran.
`corpus.counts`	Inputs from each of the three corpora: tests, generated, mainnet.
`comparisons`	Inputs compared, and the count of each kind of comparison made.
`firstDivergence`	Null when matched; the diverging input and its differences otherwise.

Pinned by its hash

tare attest uploads this document and writes its SHA-256 to the record. The registry page reads it back by that hash to show the weights by instruction.