Label Triage

Workflow runs for Label Triage

• arena scope probe

  completed successfully:
  Label Triage#14:Issue#192openedbyhyperpolymath
  Oct 18, 20267s
  More actions for workflow run 14

• CodeRabbit pushes unsigned bot commits that block PRs on required_signatures

  completed successfully:
  Label Triage#13:Issue#182openedbyhyperpolymath
  Oct 1, 202611s
  More actions for workflow run 13

• Citation author form differs between CITATION.cff and docs/CITATIONS.adoc

  completed successfully:
  Label Triage#12:Issue#181openedbyhyperpolymath
  Oct 1, 20269m 45s
  More actions for workflow run 12

• Proofs red on main since b7c780f (#174): census requires CNO.MalbolgeCore; FilesystemCNO.lean does not compile

  completed successfully:
  Label Triage#11:Issue#176openedbyhyperpolymath
  Sep 30, 202613s
  More actions for workflow run 11

• docs(vocab): 'residue list' collides with the shared glossary's Residue; OND/CNO connection rows proposed for the type-family map

  completed successfully:
  Label Triage#10:Issue#175openedbyarena-ai-coding-agent[bot]Bot
  Sep 27, 202610s
  More actions for workflow run 10

• Coq: 73 of 182 theorems rest on axioms and the 38 Axiom/Parameter declarations use four tag forms — unify the tag grammar, generate the census

  completed successfully:
  Label Triage#9:Issue#171openedbyhyperpolymath
  Sep 23, 20268s
  More actions for workflow run 9

• Scorecard: 5 high alerts on main from the first real analysis (Token-Permissions ×3, Code-Review, Branch-Protection)

  completed successfully:
  Label Triage#8:Issue#170openedbyhyperpolymath
  Sep 22, 20268s
  More actions for workflow run 8

• scorecard.yml has never run: 20/20 startup_failure (jobs=0); Scorecard is a required code_scanning tool with zero analyses

  completed successfully:
  Label Triage#7:Issue#168openedbyhyperpolymath
  Sep 22, 20269s
  More actions for workflow run 7

• Lean: port the Coq concrete filesystem model so the FilesystemCNO law axioms become theorems (follow-up to #125/#165)

  completed successfully:
  Label Triage#6:Issue#167openedbyhyperpolymath
  Sep 22, 202610s
  More actions for workflow run 6

• docs/proof-debt.adoc: QuantumCNO §(d) table breaks asciidoctor (literal |0⟩ pipes); y_not_cno comment cites a stale triage line

  completed successfully:
  Label Triage#5:Issue#166openedbyhyperpolymath
  Sep 22, 202611s
  More actions for workflow run 5

• Governance is red on main: Allowlist Preflight, Workflow security linter (SPDX + permissions), Code quality + docs (no CONTRIBUTING)

  completed successfully:
  Label Triage#4:Issue#163openedbyhyperpolymath
  Sep 22, 202612s
  More actions for workflow run 4

• EchoBridgeCNO.agda has no --safe --without-K pragma and is not checked by proofs.yml, while PROOF-STATUS:154 says it type-checks under --safe

  completed successfully:
  Label Triage#3:Issue#162openedbyhyperpolymath
  Sep 22, 20269s
  More actions for workflow run 3

• Proofs is not a gate: paths: proofs/** filter, z3 … || true, Isabelle/Mizar skipped without failing, no assumption check in CI

  completed successfully:
  Label Triage#2:Issue#161openedbyhyperpolymath
  Sep 22, 202612s
  More actions for workflow run 2

• Deno CI is red on main and Deno is banned estate-wide — delete the workflow and examples/web-project-deno.json (post-#139)

  completed successfully:
  Label Triage#1:Issue#160openedbyhyperpolymath
  Sep 22, 20268s
  More actions for workflow run 1