🟡 CHECK: Eclexiaiser Manifest Validation

Workflow runs for 🟡 CHECK: Eclexiaiser Manifest Validation

• docs(arrival-pack): drop Opus from rule 16's cheaper-model list (#38)

  completed successfully:
  🟡 CHECK: Eclexiaiser Manifest Validation#123:Commiteaa7e97pushedbyhyperpolymath
  main

  Nov 12, 202635s
  More actions for workflow run 123

• docs(arrival-pack): drop Opus from rule 16's cheaper-model list

  completed successfully:
  🟡 CHECK: Eclexiaiser Manifest Validation#122:Pull request#38openedbyhyperpolymath
  docs/rule-16-drop-opus

  Nov 12, 20262m 54s
  More actions for workflow run 122

• docs(arrival-pack): add doctrine 16, cheap models for upkeep (#37)

  completed successfully:
  🟡 CHECK: Eclexiaiser Manifest Validation#121:Commitee71876pushedbyhyperpolymath
  main

  Nov 12, 202644s
  More actions for workflow run 121

• docs(arrival-pack): add doctrine 16, cheap models for upkeep

  completed successfully:
  🟡 CHECK: Eclexiaiser Manifest Validation#120:Pull request#37openedbyhyperpolymath
  chore/arrival-pack-doctrine-16

  Nov 12, 20262m 10s
  More actions for workflow run 120

• fix(ci): fetch the verdict-grid renderer at the commit its hashes nam…

  completed successfully:
  🟡 CHECK: Eclexiaiser Manifest Validation#119:Commitc9c4b39pushedbyhyperpolymath
  main

  Nov 10, 202627s
  More actions for workflow run 119

• fix(ci): fetch the verdict-grid renderer at the commit its hashes name

  completed successfully:
  🟡 CHECK: Eclexiaiser Manifest Validation#118:Pull request#36openedbyhyperpolymath
  marina/optimistic-cray-js64k7

  Nov 10, 20261m 23s
  More actions for workflow run 118

• fix(ci): adopt the template's inline hypatia-scan.yml (#35)

  completed successfully:
  🟡 CHECK: Eclexiaiser Manifest Validation#117:Commit249715dpushedbyhyperpolymath
  main

  Nov 10, 202617s
  More actions for workflow run 117

• fix(ci): adopt the template's inline hypatia-scan.yml

  completed successfully:
  🟡 CHECK: Eclexiaiser Manifest Validation#116:Pull request#35synchronizebyhyperpolymath
  marina/optimistic-cray-js64k7

  Nov 10, 20268s
  More actions for workflow run 116

• fix(ci): adopt the template's inline hypatia-scan.yml

  completed successfully:
  🟡 CHECK: Eclexiaiser Manifest Validation#115:Pull request#35openedbyhyperpolymath
  marina/optimistic-cray-js64k7

  Nov 10, 202634s
  More actions for workflow run 115

• Rocq and Lean recheck legs for N-1..3, N-7..9 (PWG-2ii) (#34)

  completed successfully:
  🟡 CHECK: Eclexiaiser Manifest Validation#114:Commitf81f68epushedbyhyperpolymath
  main

  Nov 10, 202615s
  More actions for workflow run 114

• Rocq and Lean recheck legs for N-1..3, N-7..9 (PWG-2ii)

  completed successfully:
  🟡 CHECK: Eclexiaiser Manifest Validation#113:Pull request#34synchronizebyhyperpolymath
  claude/recheck-legs

  Nov 10, 202610s
  More actions for workflow run 113

• Rocq and Lean recheck legs for N-1..3, N-7..9 (PWG-2ii)

  completed successfully:
  🟡 CHECK: Eclexiaiser Manifest Validation#112:Pull request#34openedbyhyperpolymath
  claude/recheck-legs

  Nov 10, 202611s
  More actions for workflow run 112

• proof(flags): canonical --cubical-compatible in force; grades as PROO…

  completed successfully:
  🟡 CHECK: Eclexiaiser Manifest Validation#111:Commit692c521pushedbyhyperpolymath
  main

  Nov 10, 20262m 10s
  More actions for workflow run 111

• proof(flags): canonical --cubical-compatible in force; grades as PROOF-POLICY §8 PWG

  completed successfully:
  🟡 CHECK: Eclexiaiser Manifest Validation#110:Pull request#32synchronizebyhyperpolymath
  claude/serene-sagan-un5t4q

  Nov 10, 202630s
  More actions for workflow run 110

• fix(edges): fetch reusable sources over https only, redirects include…

  completed successfully:
  🟡 CHECK: Eclexiaiser Manifest Validation#109:Commitecf164apushedbyhyperpolymath
  main

  Nov 10, 20269s
  More actions for workflow run 109

• fix(edges): fetch reusable sources over https only, redirects included

  completed successfully:
  🟡 CHECK: Eclexiaiser Manifest Validation#108:Pull request#25synchronizebyhyperpolymath
  claude/edges-https-only

  Nov 10, 202610s
  More actions for workflow run 108

• chore(canon): adopt canon 2.1.5 (gate table 0.3.1; criteria unchanged…

  completed successfully:
  🟡 CHECK: Eclexiaiser Manifest Validation#107:Commitc4a8d88pushedbyhyperpolymath
  main

  Nov 10, 20264m 52s
  More actions for workflow run 107

• chore(canon): adopt canon 2.1.5 (gate table 0.3.1; criteria unchanged)

  completed successfully:
  🟡 CHECK: Eclexiaiser Manifest Validation#106:Pull request#27synchronizebyhyperpolymath
  claude/canon-2.1.5

  Nov 10, 20262m 16s
  More actions for workflow run 106

• chore(template): sync the mint machinery to rsr-template-repo 2be7b88…

  completed successfully:
  🟡 CHECK: Eclexiaiser Manifest Validation#105:Commit08e669dpushedbyhyperpolymath
  main

  Nov 9, 20265m 34s
  More actions for workflow run 105

• chore(template): sync the mint machinery to rsr-template-repo 2be7b88

  completed successfully:
  🟡 CHECK: Eclexiaiser Manifest Validation#104:Pull request#28synchronizebyhyperpolymath
  claude/template-sync

  Nov 9, 20262m 42s
  More actions for workflow run 104

• proofs: meet --cubical-compatible; retire waiver W-1 (#30)

  completed successfully:
  🟡 CHECK: Eclexiaiser Manifest Validation#103:Commit5cf0054pushedbyhyperpolymath
  main

  Nov 9, 202647s
  More actions for workflow run 103

• chore(template): sync the mint machinery to rsr-template-repo 2be7b88

  completed successfully:
  🟡 CHECK: Eclexiaiser Manifest Validation#102:Pull request#28synchronizebyhyperpolymath
  claude/template-sync

  Nov 9, 202640m 21s
  More actions for workflow run 102

• proofs: meet --cubical-compatible; retire waiver W-1

  completed successfully:
  🟡 CHECK: Eclexiaiser Manifest Validation#101:Pull request#30synchronizebyhyperpolymath
  claude/awesome-wright-va45xo

  Nov 9, 202637m 57s
  More actions for workflow run 101

• chore(template): sync the mint machinery to rsr-template-repo 2be7b88

  completed successfully:
  🟡 CHECK: Eclexiaiser Manifest Validation#100:Pull request#28synchronizebyhyperpolymath
  claude/template-sync

  Nov 9, 202638m 21s
  More actions for workflow run 100

• Rocq and Lean recheck legs for N-1..3, N-7..9 (PWG-2ii)

  completed successfully:
  🟡 CHECK: Eclexiaiser Manifest Validation#99:Pull request#29synchronizebyhyperpolymath
  claude/recheck-legs

  Nov 9, 202643m 33s
  More actions for workflow run 99