Metadata contracts

Workflow runs for Metadata contracts

• docs(audit): record the 10 November scanner follow-up for #362 (#373)

  completed successfully:
  Metadata contracts#45:Commit03067a6pushedbyhyperpolymath
  main

  Nov 10, 202617s
  More actions for workflow run 45

• docs(audit): record the 10 November scanner follow-up for #362

  completed successfully:
  Metadata contracts#44:Pull request#373synchronizebyhyperpolymath
  marina/optimistic-cray-js64k7

  Nov 10, 202625s
  More actions for workflow run 44

• docs(audit): record the 10 November scanner follow-up for #362

  completed successfully:
  Metadata contracts#43:Pull request#373openedbyhyperpolymath
  marina/optimistic-cray-js64k7

  Nov 10, 202613s
  More actions for workflow run 43

• feat(recovery): EchoPartialSection + EchoFibreIntersection; wire Echo…

  completed successfully:
  Metadata contracts#42:Commitb6c8b97pushedbyhyperpolymath
  main

  Nov 10, 202617s
  More actions for workflow run 42

• feat(recovery): EchoPartialSection + EchoFibreIntersection; wire EchoTruncation (squeakwell R3/R8/R9/R12/R13)

  completed successfully:
  Metadata contracts#41:Pull request#370synchronizebyhyperpolymath
  claude/gracious-darwin-vkgj6l

  Nov 10, 202615s
  More actions for workflow run 41

• docs(proofs): correct claims that say more than the Agda states (#369)

  completed successfully:
  Metadata contracts#40:Commitaed13adpushedbyhyperpolymath
  main

  Nov 10, 202612s
  More actions for workflow run 40

• docs(proofs): correct claims that say more than the Agda states

  completed successfully:
  Metadata contracts#39:Pull request#369synchronizebyhyperpolymath
  docs/proof-claims-audit-2026-11-09

  Nov 10, 202611s
  More actions for workflow run 39

• feat(recovery): EchoPartialSection + EchoFibreIntersection; wire EchoTruncation (squeakwell R3/R8/R9/R12/R13)

  completed successfully:
  Metadata contracts#38:Pull request#370synchronizebyhyperpolymath
  claude/gracious-darwin-vkgj6l

  Nov 10, 202614s
  More actions for workflow run 38

• docs(bridges): ephapax Coq correspondence rows and RMR/RMO/OND note (…

  completed successfully:
  Metadata contracts#37:Commit9b70faapushedbyhyperpolymath
  main

  Nov 9, 202611s
  More actions for workflow run 37

• docs(bridges): ephapax Coq correspondence rows and RMR/RMO/OND note

  completed successfully:
  Metadata contracts#36:Pull request#371synchronizebyhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

  Nov 9, 202625s
  More actions for workflow run 36

• feat(recovery): EchoPartialSection + EchoFibreIntersection; wire EchoTruncation (squeakwell R3/R8/R9/R12/R13)

  completed successfully:
  Metadata contracts#35:Pull request#370synchronizebyhyperpolymath
  claude/gracious-darwin-vkgj6l

  Nov 9, 202639s
  More actions for workflow run 35

• proofs: EchoSearchExample PWG-2ii (Agda receipt + Rocq and Lean legs,…

  completed successfully:
  Metadata contracts#34:Commit9abd8a5pushedbyhyperpolymath
  main

  Nov 9, 20262m 56s
  More actions for workflow run 34

• docs(bridges): ephapax Coq correspondence rows and RMR/RMO/OND note

  completed successfully:
  Metadata contracts#33:Pull request#371synchronizebyhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

  Nov 9, 20262m 34s
  More actions for workflow run 33

• proofs: EchoSearchExample PWG-2ii (Agda receipt + Rocq and Lean legs, reconciled)

  completed successfully:
  Metadata contracts#32:Pull request#368synchronizebyhyperpolymath
  claude/kind-clarke-aqpe7a-echosearch-recheck

  Nov 9, 202622s
  More actions for workflow run 32

• Thermo: faithful Bennett statement on an enumerated fibre (#372)

  completed successfully:
  Metadata contracts#31:Commite6f65a2pushedbyhyperpolymath
  main

  Nov 9, 20263m 17s
  More actions for workflow run 31

• proofs: EchoSearchExample PWG-2ii (Agda receipt + Rocq and Lean legs, reconciled)

  completed successfully:
  Metadata contracts#30:Pull request#368synchronizebyhyperpolymath
  claude/kind-clarke-aqpe7a-echosearch-recheck

  Nov 9, 202641m 36s
  More actions for workflow run 30

• Thermo: faithful Bennett statement on an enumerated fibre

  completed successfully:
  Metadata contracts#29:Pull request#372openedbyhyperpolymath
  proofs/bennett-enumerated-fibre

  Nov 9, 202640m 55s
  More actions for workflow run 29

• proofs: EchoSearchExample PWG-2ii (Agda receipt + Rocq and Lean legs, reconciled)

  completed successfully:
  Metadata contracts#28:Pull request#368synchronizebyhyperpolymath
  claude/kind-clarke-aqpe7a-echosearch-recheck

  Nov 9, 202633m 16s
  More actions for workflow run 28

• docs(bridges): ephapax Coq correspondence rows and RMR/RMO/OND note

  completed successfully:
  Metadata contracts#27:Pull request#371openedbyhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

  Nov 9, 202629m 10s
  More actions for workflow run 27

• feat(recovery): EchoPartialSection + EchoFibreIntersection; wire EchoTruncation (squeakwell R3/R8/R9/R12/R13)

  completed successfully:
  Metadata contracts#26:Pull request#370openedbyhyperpolymath
  claude/gracious-darwin-vkgj6l

  Nov 9, 202628m 17s
  More actions for workflow run 26

• docs(proofs): correct claims that say more than the Agda states

  completed successfully:
  Metadata contracts#25:Pull request#369openedbyhyperpolymath
  docs/proof-claims-audit-2026-11-09

  Nov 9, 202611m 46s
  More actions for workflow run 25

• proofs: EchoSearchExample PWG-2ii (Agda receipt + Rocq and Lean legs, reconciled)

  completed successfully:
  Metadata contracts#24:Pull request#368openedbyhyperpolymath
  claude/kind-clarke-aqpe7a-echosearch-recheck

  Nov 9, 202613m 12s
  More actions for workflow run 24

• chore(deps): bump the actions group with 5 updates (#367)

  completed successfully:
  Metadata contracts#23:Commitccec4d7pushedbyhyperpolymath
  main

  Nov 7, 202615s
  More actions for workflow run 23

• chore(deps): bump the actions group with 5 updates

  completed successfully:
  Metadata contracts#22:Pull request#367openedbydependabot[bot]Bot
  dependabot/github_actions/actions-eaf715d3e5

  Nov 7, 202611s
  More actions for workflow run 22

• Record completed scanner repairs and remaining review configuration (…

  completed successfully:
  Metadata contracts#21:Commita88bdeepushedbyhyperpolymath
  main

  Nov 7, 202613s
  More actions for workflow run 21