Estate Rules

Workflow runs for Estate Rules

• ci: fix the Codex review findings on the template CI port (#16)

  completed successfully:
  Estate Rules#53:Commitea6e135pushedbyhyperpolymath
  main

  Oct 27, 20262m 2s
  More actions for workflow run 53

• ci: fix the Codex review findings on the template CI port

  completed successfully:
  Estate Rules#52:Pull request#16openedbyhyperpolymath
  claude/zealous-wozniak-2nherb

  Oct 27, 20261m 8s
  More actions for workflow run 52

• ci: follow standards to metadatastician; port the template's CI (#15)

  completed successfully:
  Estate Rules#51:Commitb11b3bcpushedbyhyperpolymath
  main

  Oct 27, 20264m 4s
  More actions for workflow run 51

• ci: follow standards to metadatastician; port the template's CI

  completed successfully:
  Estate Rules#50:Pull request#15synchronizebyhyperpolymath
  claude/zealous-wozniak-2nherb

  Oct 27, 20261m 36s
  More actions for workflow run 50

• ci: follow standards to metadatastician; port the template's CI

  completed successfully:
  Estate Rules#49:Pull request#15synchronizebyhyperpolymath
  claude/zealous-wozniak-2nherb

  Oct 27, 20261m 44s
  More actions for workflow run 49

• ci: follow standards to metadatastician; port the template's CI

  completed successfully:
  Estate Rules#48:Pull request#15openedbyhyperpolymath
  claude/zealous-wozniak-2nherb

  Oct 27, 20261m 55s
  More actions for workflow run 48

• proofs: prove F-3 and H-3; remove the template Agda proof (#14)

  completed successfully:
  Estate Rules#47:Commit37a2f99pushedbyhyperpolymath
  main

  Oct 26, 202658s
  More actions for workflow run 47

• proofs: prove F-3 and H-3; remove the template Agda proof

  completed successfully:
  Estate Rules#46:Pull request#14synchronizebyhyperpolymath
  claude/zealous-wozniak-2nherb

  Oct 26, 202654s
  More actions for workflow run 46

• proofs: prove F-3 and H-3; remove the template Agda proof

  completed successfully:
  Estate Rules#45:Pull request#14openedbyhyperpolymath
  claude/zealous-wozniak-2nherb

  Oct 26, 20261m 0s
  More actions for workflow run 45

• ci: fold runtime-policy.yml into governance (cicd-regularisation §14)…

  completed successfully:
  Estate Rules#44:Commitbd3129cpushedbyhyperpolymath
  main

  Oct 19, 20262m 0s
  More actions for workflow run 44

• ci: fold runtime-policy.yml into governance (cicd-regularisation §14)

  completed successfully:
  Estate Rules#43:Pull request#13synchronizebyhyperpolymath
  claude/new-session-ywdrth

  Oct 19, 20261m 26s
  More actions for workflow run 43

• ci: fold runtime-policy.yml into governance (cicd-regularisation §14)

  completed successfully:
  Estate Rules#42:Pull request#13synchronizebycoderabbitai[bot]Bot
  claude/new-session-ywdrth

  Oct 19, 202658s
  More actions for workflow run 42

• ci: fold runtime-policy.yml into governance (cicd-regularisation §14)

  completed successfully:
  Estate Rules#41:Pull request#13synchronizebycoderabbitai[bot]Bot
  claude/new-session-ywdrth

  Oct 19, 20261m 4s
  More actions for workflow run 41

• ci: fold runtime-policy.yml into governance (cicd-regularisation §14)

  completed successfully:
  Estate Rules#40:Pull request#13synchronizebyhyperpolymath
  claude/new-session-ywdrth

  Oct 19, 202653s
  More actions for workflow run 40

• ci: fold runtime-policy.yml into governance (cicd-regularisation §14)

  completed successfully:
  Estate Rules#39:Pull request#13synchronizebyhyperpolymath
  claude/new-session-ywdrth

  Oct 19, 202647s
  More actions for workflow run 39

• fix(ci): re-pin standards to 75bd599 and give lock records tag refs (…

  completed successfully:
  Estate Rules#38:Commitb257919pushedbyhyperpolymath
  main

  Oct 19, 20261m 18s
  More actions for workflow run 38

• ci: fold runtime-policy.yml into governance (cicd-regularisation §14)

  completed successfully:
  Estate Rules#37:Pull request#13synchronizebyhyperpolymath
  claude/new-session-ywdrth

  Oct 19, 20261m 1s
  More actions for workflow run 37

• ci: fold runtime-policy.yml into governance (cicd-regularisation §14)

  completed successfully:
  Estate Rules#36:Pull request#13openedbyhyperpolymath
  claude/new-session-ywdrth

  Oct 19, 20263m 6s
  More actions for workflow run 36

• fix(ci): re-pin standards to 75bd599 and give lock records tag refs

  completed successfully:
  Estate Rules#35:Pull request#12synchronizebycoderabbitai[bot]Bot
  claude/zealous-wozniak-2nherb

  Oct 19, 202650s
  More actions for workflow run 35

• fix(ci): re-pin standards to 75bd599 and give lock records tag refs

  completed successfully:
  Estate Rules#34:Pull request#12openedbyhyperpolymath
  claude/zealous-wozniak-2nherb

  Oct 19, 20261m 21s
  More actions for workflow run 34

• docs: an Applications-in-practice section (#11)

  completed successfully:
  Estate Rules#33:Commite948265pushedbyhyperpolymath
  main

  Oct 15, 202644s
  More actions for workflow run 33

• docs: an Applications-in-practice section

  completed successfully:
  Estate Rules#32:Pull request#11synchronizebyhyperpolymath
  docs/applications-in-practice

  Oct 15, 202641s
  More actions for workflow run 32

• docs: an Applications-in-practice section

  completed successfully:
  Estate Rules#31:Pull request#11openedbyhyperpolymath
  docs/applications-in-practice

  Oct 15, 202657s
  More actions for workflow run 31

• fix: restore the template issue references the mint rewrote (#10)

  completed successfully:
  Estate Rules#30:Commitf3b0655pushedbyhyperpolymath
  main

  Oct 14, 202639s
  More actions for workflow run 30

• fix: restore the template issue references the mint rewrote

  completed successfully:
  Estate Rules#29:Pull request#10openedbyhyperpolymath
  claude/zealous-wozniak-2nherb

  Oct 14, 20261m 5s
  More actions for workflow run 29