Metadata contracts

Workflow runs for Metadata contracts

• 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

• Record completed scanner repairs and remaining review configuration

  completed successfully:
  Metadata contracts#20:Pull request#366synchronizebyhyperpolymath
  fix/362-scanner-closeout

  Nov 7, 202614s
  More actions for workflow run 20

• Record completed scanner repairs and remaining review configuration

  completed successfully:
  Metadata contracts#19:Pull request#366synchronizebyhyperpolymath
  fix/362-scanner-closeout

  Nov 7, 202613s
  More actions for workflow run 19

• Record completed scanner repairs and remaining review configuration

  completed successfully:
  Metadata contracts#18:Pull request#366synchronizebyhyperpolymath
  fix/362-scanner-closeout

  Nov 7, 202611s
  More actions for workflow run 18

• Record completed scanner repairs and remaining review configuration

  completed successfully:
  Metadata contracts#17:Pull request#366synchronizebyhyperpolymath
  fix/362-scanner-closeout

  Nov 7, 202611s
  More actions for workflow run 17

• Record completed scanner repairs and remaining review configuration

  completed successfully:
  Metadata contracts#16:Pull request#366openedbyhyperpolymath
  fix/362-scanner-closeout

  Nov 7, 202611s
  More actions for workflow run 16

• Prove finite residue bounds and explicit consumption/measurement cont…

  completed successfully:
  Metadata contracts#15:Commitebde9acpushedbyhyperpolymath
  main

  Nov 6, 202612s
  More actions for workflow run 15

• Prove finite residue bounds and explicit consumption/measurement contracts

  completed successfully:
  Metadata contracts#14:Pull request#365synchronizebyhyperpolymath
  research/foundations-bridges-and-readers-20261106

  Nov 6, 202613s
  More actions for workflow run 14

• Prove finite residue bounds and explicit consumption/measurement contracts

  completed successfully:
  Metadata contracts#13:Pull request#365synchronizebyhyperpolymath
  research/foundations-bridges-and-readers-20261106

  Nov 6, 202616s
  More actions for workflow run 13