t27c corpus-receipt compare · two labs, two keys, one verdict

Recorded on t27b-lab over ssh: the lab-2 receipt of t27 a16231329 is fetched from its public URL, the two receipts carry different keys and the same input, verdict and output roots, and compare prints EQUIVALENT, exit 0.

t27 $ /work/t27c-master --version                                                                       
t27c 0.5.2                                                                                              
t27 $ curl -sS -o /tmp/lab2-a16231329d134aaaf8922cd7b65ef8890084ac77.receipt.json https://t27b-lab-2-pro
duction.up.railway.app/runs/a16231329d134aaaf8922cd7b65ef8890084ac77.receipt.json; echo "exit=$?"       
exit=0                                                                                                  
t27 $ grep -E '"(key_id|input_root|verdict_root|output_root)"' /srv/runs/a16231329d134aaaf8922cd7b65ef88
90084ac77.receipt.json                                                                                  
 "input_root": "5aa97d70f895c3454f46a428c3eae9259d353e001cf0a0124035d51327f00f9a",                      
 "key_id": "a05db80f53c317f6",                                                                          
 "output_root": "9e7f322cf74c737fcd2fa0204a7b1687e9f98761600f736ec8e3b65484a99c82",                     
 "verdict_root": "dac9eb29752d0b90668f47f4eb2af1fc0619f6d73ce8845709c1ecc0356ebdbe"                     
t27 $ grep -E '"(key_id|input_root|verdict_root|output_root)"' /tmp/lab2-a16231329d134aaaf8922cd7b65ef88
90084ac77.receipt.json                                                                                  
 "input_root": "5aa97d70f895c3454f46a428c3eae9259d353e001cf0a0124035d51327f00f9a",                      
 "key_id": "fed03daa6459a7fa",                                                                          
 "output_root": "9e7f322cf74c737fcd2fa0204a7b1687e9f98761600f736ec8e3b65484a99c82",                     
 "verdict_root": "dac9eb29752d0b90668f47f4eb2af1fc0619f6d73ce8845709c1ecc0356ebdbe"                     
t27 $ /work/t27c-master corpus-receipt compare /srv/runs/a16231329d134aaaf8922cd7b65ef8890084ac77.receip
t.json /tmp/lab2-a16231329d134aaaf8922cd7b65ef8890084ac77.receipt.json; echo "exit=$?"                  
base "a16231329d134aaaf8922cd7b65ef8890084ac77" AUTH_MISSING_NONE AUTHOR leaves-bound true              
head "a16231329d134aaaf8922cd7b65ef8890084ac77" AUTH_MISSING_NONE AUTHOR leaves-bound true              
totals true inputs true verdicts true outputs true: EQUIVALENT                                          
exit=0                                                                                                  
t27 $

recorded 2026-10-10 16:46 UTCreal 43.6 sshown 41.3 sexit codes 0 0 0 0 0

$ /work/t27c-master --version $ curl -sS -o /tmp/lab2-a16231329d134aaaf8922cd7b65ef8890084ac77.receipt.json https://t27b-lab-2-production.up.railway.app/runs/a16231329d134aaaf8922cd7b65ef8890084ac77.receipt.json; echo "exit=$?" $ grep -E '"(key_id|input_root|verdict_root|output_root)"' /srv/runs/a16231329d134aaaf8922cd7b65ef8890084ac77.receipt.json $ grep -E '"(key_id|input_root|verdict_root|output_root)"' /tmp/lab2-a16231329d134aaaf8922cd7b65ef8890084ac77.receipt.json $ /work/t27c-master corpus-receipt compare /srv/runs/a16231329d134aaaf8922cd7b65ef8890084ac77.receipt.json /tmp/lab2-a16231329d134aaaf8922cd7b65ef8890084ac77.receipt.json; echo "exit=$?"

Staged: the prompt and the typing. Real: every byte the commands printed, at the time they printed it. Any silence longer than 2 s is shown for 2 s, and the title bar says so while it happens. Edited: nothing. No GIF: this recording has none.

Preview card