Issues

• ci(proofs): Lean4 is now a required check — retry the toolchain download and pin elan-init.sh

  priority:p1scope:repo
  metadatastician/paint-type#125 · Filter by author hyperpolymath opened on Sep 30, 2026

• No TRG (Toolchain Readiness Grade) is recorded anywhere in the repository

  governancepriority:p1scope:repo
  metadatastician/paint-type#119 · Filter by author hyperpolymath opened on Sep 24, 2026
  1

• docs/licensing/PMPL-CAMPAIGN.adoc is referenced but does not exist

  bugpriority:p2scope:repostatus:ready
  metadatastician/paint-type#118 · Filter by author hyperpolymath opened on Sep 24, 2026

• 34 .adoc files are AGPL-3.0-or-later against a stated CC-BY-SA-4.0 documentation policy

  documentationpriority:p1scope:repostatus:needs-ruling
  metadatastician/paint-type#117 · Filter by author hyperpolymath opened on Sep 24, 2026

• 27 first-party files are tagged PMPL-1.0-or-later, which is not on the SPDX License List

  licensingpriority:p1scope:repostatus:needs-ruling
  metadatastician/paint-type#116 · Filter by author hyperpolymath opened on Sep 24, 2026

• 144 first-party files have no SPDX-License-Identifier header

  licensingpriority:p2scope:repostatus:ready
  metadatastician/paint-type#115 · Filter by author hyperpolymath opened on Sep 24, 2026

• paint_core/build.rs silently reuses a stale libpt.a and does not track it for rebuilds

  bugpriority:p2scope:repostatus:ready
  metadatastician/paint-type#114 · Filter by author hyperpolymath opened on Sep 24, 2026

• META/ECOSYSTEM/STATE.a2ml parse as neither a2ml/TOML nor deed — no estate tool can read them

  conformancepriority:p1scope:repostatus:needs-ruling
  metadatastician/paint-type#113 · Filter by author hyperpolymath opened on Sep 24, 2026

• verify-manifests.yml cannot see that 269 of 340 .a2ml files are Markdown prose, not metadata

  documentationpriority:p2scope:repo
  metadatastician/paint-type#112 · Filter by author hyperpolymath opened on Sep 24, 2026

• scripts/generate-manifests.sh:638 uses eval "$find_cmd" — the Critical the fixed static-analysis gate now blocks on

  bugpriority:p0scope:repo
  metadatastician/paint-type#111 · Filter by author hyperpolymath opened on Sep 24, 2026
  1

• static-analysis-gate.yml installs an executable from an unpinned releases/latest URL with no checksum

  priority:p1scope:reposecuritystatus:ready
  metadatastician/paint-type#101 · Filter by author hyperpolymath opened on Sep 22, 2026
  1

• Two of three static-analysis-gate jobs report success having scanned nothing, and the stubs propagate to the fleet scanner

  cicdpriority:p2scope:repostatus:ready
  metadatastician/paint-type#100 · Filter by author hyperpolymath opened on Sep 22, 2026
  1

• Justfile defaults a primary port to 8080 at five sites, including a non-interactive branch

  enhancementpriority:p2scope:repostatus:ready
  metadatastician/paint-type#99 · Filter by author hyperpolymath opened on Sep 22, 2026
  1

• feat(paint_core): implement the full paint.NET blend mode set

  enhancementpriority:p3scope:repostatus:ready
  metadatastician/paint-type#97 · Filter by author hyperpolymath opened on Sep 22, 2026

• feat(paint_collab): exquisite-corpse mode - the server must withhold the hidden regions

  enhancementpriority:p3scope:repostatus:ready
  metadatastician/paint-type#96 · Filter by author hyperpolymath opened on Sep 22, 2026

• feat: kintsugi repair - track damage as first-class data and render the seam

  enhancementpriority:p3scope:repostatus:ready
  metadatastician/paint-type#95 · Filter by author hyperpolymath opened on Sep 22, 2026

• feat(ptype_format): states and editions - printmaking provenance, not undo history

  enhancementpriority:p3scope:repostatus:ready
  metadatastician/paint-type#94 · Filter by author hyperpolymath opened on Sep 22, 2026

• feat(paint_core): spectral pigment mixing (Kubelka-Munk), not RGB averaging

  enhancementpriority:p3scope:repostatus:ready
  metadatastician/paint-type#93 · Filter by author hyperpolymath opened on Sep 22, 2026

• ci(release): naming the SLSA generator reusable refuses release.yml at load (startup_failure, jobs=0)

  cicdpriority:p2scope:repostatus:ready
  metadatastician/paint-type#92 · Filter by author hyperpolymath opened on Sep 22, 2026

• Sustainability Analysis (OikosBot): pinned container digest returns manifest unknown

  cicdpriority:p2scope:repostatus:ready
  metadatastician/paint-type#88 · Filter by author hyperpolymath opened on Sep 22, 2026

• Validate A2ML manifests dies at "Set up job" and is masked by continue-on-error — delete the job

  cicdpriority:p2scope:repostatus:ready
  metadatastician/paint-type#87 · Filter by author hyperpolymath opened on Sep 22, 2026

• Triage: 7 pre-existing red checks surfaced by reviving CI on #73

  cicdpriority:p2scope:repostatus:ready
  metadatastician/paint-type#83 · Filter by author hyperpolymath opened on Sep 22, 2026
  2

• Lockfile validation never runs on PRs targeting non-default branches

  bugpriority:p2scope:repostatus:ready
  metadatastician/paint-type#82 · Filter by author hyperpolymath opened on Sep 22, 2026

• verify-manifests demands .a2ml files that standing doctrine says must not be created — re-express as .deed

  enhancementpriority:p2scope:repostatus:ready
  metadatastician/paint-type#81 · Filter by author hyperpolymath opened on Sep 22, 2026

• actions.lock pins dtolnay/rust-toolchain to a commit keyed on the moving ref stable — an 18-day outage that will recur

  cicdpriority:p2scope:repostatus:ready
  metadatastician/paint-type#78 · Filter by author hyperpolymath opened on Sep 22, 2026