{ "_generated_from": ".github/label-classifier.yml + .github/labels.yml in hyperpolymath/.git-private-farm", "_do_not_edit": "regenerate with scripts/gen-classifier-json.py", "version": 1, "prefix_split_on": "/", "title_prefix": { "docs": { "type": "documentation" }, "ci": { "type": "chore", "areas": [ "cicd" ] }, "governance": { "type": "chore", "areas": [ "governance" ] }, "roadmap": { "type": "enhancement", "meta": "meta:roadmap" }, "chore": { "type": "chore" }, "build": { "type": "chore", "areas": [ "cicd" ] }, "security": { "type": "chore", "areas": [ "security" ] }, "proof": { "type": "chore", "areas": [ "proofs" ] }, "proofs": { "type": "chore", "areas": [ "proofs" ] }, "proof-debt": { "type": "tech-debt", "areas": [ "proofs" ] }, "epic": { "type": "enhancement", "meta": "meta:umbrella" }, "umbrella": { "type": "enhancement", "meta": "meta:umbrella" }, "tracking": { "type": "chore", "meta": "meta:umbrella" }, "campaign": { "type": "enhancement", "meta": "meta:campaign" }, "hygiene": { "type": "tech-debt" }, "audit": { "type": "research" }, "estate": { "type": "chore", "scope": "scope:estate" }, "automation": { "type": "enhancement", "areas": [ "automation" ] }, "research": { "type": "research" }, "refactor": { "type": "refactor" }, "test": { "type": "testing" }, "tests": { "type": "testing" }, "feat": { "type": "enhancement" }, "fix": { "type": "bug" }, "bug": { "type": "bug" }, "perf": { "type": "enhancement", "areas": [ "performance" ] }, "codegen": { "type": "enhancement", "areas": [ "architecture" ] }, "packaging": { "type": "chore", "areas": [ "packaging" ] }, "policy": { "type": "chore", "areas": [ "governance" ] }, "ops": { "type": "chore", "areas": [ "automation" ] }, "standard": { "type": "chore", "areas": [ "governance" ] }, "migration": { "type": "refactor", "areas": [ "migration" ] }, "drift": { "type": "tech-debt" }, "corrective": { "type": "bug" }, "adaptive": { "type": "enhancement" }, "perfective": { "type": "enhancement" }, "preventive": { "type": "tech-debt" }, "machine-readable": { "type": "tech-debt" }, "parser": { "type": "bug" }, "lang": { "type": "bug" }, "clippy": { "type": "tech-debt" }, "release": { "type": "chore" }, "upstream": { "type": "chore" }, "hardening": { "type": "chore", "areas": [ "security" ] }, "deps": { "type": "chore" }, "rustsec": { "type": "chore", "areas": [ "security" ] }, "track": { "type": "chore", "meta": "meta:umbrella" }, "tracker": { "type": "chore", "meta": "meta:umbrella" }, "wiki": { "type": "documentation" }, "reclassify": { "type": "refactor" }, "backlog": { "type": "chore" }, "core": { "type": "enhancement", "areas": [ "design" ] }, "evidence": { "type": "enhancement", "areas": [ "design" ] }, "manifest": { "type": "enhancement", "areas": [ "design" ] }, "backends": { "type": "enhancement", "areas": [ "design" ] } }, "bracket_tag": { "campaign": { "meta": "meta:campaign" }, "umbrella": { "meta": "meta:umbrella" }, "gov": { "areas": [ "governance" ] }, "proofs/a": { "areas": [ "proofs" ] }, "proofs/b": { "areas": [ "proofs" ] }, "proofs/c": { "areas": [ "proofs" ] }, "estate": { "scope": "scope:estate" }, "repo": { "scope": "scope:repo" }, "feature": { "type": "enhancement" }, "integration": { "areas": [ "conformance" ] }, "reference": { "type": "documentation" }, "register": { "type": "documentation" }, "p0": { "priority": "priority:p0" }, "p1": { "priority": "priority:p1" }, "p2": { "priority": "priority:p2" }, "et-l2": { "areas": [ "conformance" ] }, "et-l4": { "areas": [ "conformance" ] } }, "keyword_area": { "proofs": [ "agda", "coq", "rocq", "idris", "lean", "isabelle", "hol", "mizar", "why3", "tla", "alloy", "dafny", "acl2", "pvs", "metamath", "z3", "smt", "prover", "provers", "theorem", "theorems", "axiom", "axioms", "postulate", "postulates", "believe_me", "sorry", "proof obligation", "proof obligations", "proof hole", "proof holes", "proof suite", "proof-pipeline", "proof debt", "proof-debt", "metatheory", "mechanize", "qed" ], "cicd": [ "workflow", "github action", "actions.lock", "lockfile", "runner", "startup_failure", "dependabot", "check run", "required context", "scorecard", "codeql", "ci/cd" ], "licensing": [ "spdx", "licence", "license", "reuse", "copyright", "attribution", "agpl", "mpl" ], "security": [ "gitleaks", "secret", "vulnerabilit", "advisory", "supply chain", "cve" ], "bindings": [ "abi", "ffi", "wasm", "jni", "c api", "interop", "extern \"c\"", "nif", "snif" ], "packaging": [ "guix", "nix", "container", "containerfile", "docker", "flatpak", "oci image" ], "scaffolding": [ "rsr", "scaffold", "template", "repo-init", "instantiat", "placeholder" ], "governance": [ "ruleset", "policy", "compliance", "governance", "branch protection", "codeowners", "code of conduct" ], "migration": [ "rescript", "to-affinescript", "\u2192 affinescript", "port", "deno", "bun" ], "automation": [ "bot", "gitbot", "hypatia", "sustainabot", "oikosbot", "fan-out", "fanout", "dispatch", "self-heal" ], "performance": [ "latency", "throughput", "binary size", "memory", "hot path", "regression" ] }, "keyword_type": { "tech-debt": [ "debt", "drift", "hygiene", "stale", "cleanup", "follow-up", "clean up", "left over", "leftover", "anti-pattern", "inconsistency", "inconsistent", "placeholder", "placeholders", "tbd", "todo", "todos", "unfilled" ], "documentation": [ "document", "docs", "readme", "adoc", "prose", "docs/", "changelog", "explainme", "quickstart", "wiki", "docstring", "doc tree" ], "testing": [ "test", "tests", "fuzz", "bench", "coverage", "crash-consistency", "linearizability", "equivalence", "property-correspondence", "property-based", "test suite", "proptest" ], "bug": [ "broken", "fails", "failing", "crash", "oom", "regression", "incorrect", "does not", "panic", "panics", "unreachable", "mangled", "never run", "never ran", "never succeeded", "never fires", "cannot fail", "deadlock", "hangs" ], "refactor": [ "refactor", "restructure", "consolidate", "consolidation", "reconcile", "reconciliation", "unify", "dedupe", "re-point", "repoint", "extract", "retire", "retire duplicate", "deduplicate", "reclassify", "migrate" ], "research": [ "investigat", "explore", "spike", "work out", "triage", "assess", "survey", "gap analysis", "self-audit", "inventory", "weakness list", "theory", "synthesis", "prioritised weakness", "feasibility" ], "decision": [ "ruling", "decide", "decision", "adjudicat", "which of" ], "enhancement": [ "add", "implement", "support", "introduce", "enable", "expand", "expansion", "extend", "wire", "complete", "build", "create", "port" ] }, "meta_signal": { "meta:umbrella": [ "umbrella", "epic", "master issue", "parent issue", "sub-issues", "child issues" ], "meta:campaign": [ "campaign" ], "meta:roadmap": [ "roadmap", "capability-expansion", "future work" ], "meta:recurring": [ "recurring", "recurrence", "standing", "every run", "each week" ] }, "status_signal": { "status:blocked": [ "blocked on", "blocked:", "(blocked", "is blocked", "gated on", "waiting on upstream", "needs upstream" ], "status:needs-owner": [ "unassigned", "needs an owner", "no owner" ], "status:needs-ruling": [ "needs a ruling", "awaiting ruling", "owner decision needed" ] }, "scope_signal": { "scope:estate": [ "estate-wide", "estate wide", "across the estate", "all repos", "fleet-wide" ] }, "tier_of": { "bug": "type", "enhancement": "type", "documentation": "type", "refactor": "type", "tech-debt": "type", "testing": "type", "chore": "type", "research": "type", "decision": "type", "question": "type", "cicd": "area", "security": "area", "proofs": "area", "governance": "area", "design": "area", "architecture": "area", "performance": "area", "bindings": "area", "migration": "area", "packaging": "area", "licensing": "area", "automation": "area", "scaffolding": "area", "conformance": "area", "priority:p0": "priority", "priority:p1": "priority", "priority:p2": "priority", "priority:p3": "priority", "status:blocked": "status", "status:ready": "status", "status:needs-owner": "status", "status:needs-ruling": "status", "status:do-not-automate": "status", "meta:umbrella": "meta", "meta:campaign": "meta", "meta:roadmap": "meta", "meta:recurring": "meta", "scope:estate": "scope", "scope:repo": "scope" }, "tier_max": { "type": 1, "area": null, "priority": 1, "status": 1, "meta": 1, "scope": 1 }, "types": [ "bug", "enhancement", "documentation", "refactor", "tech-debt", "testing", "chore", "research", "decision", "question" ], "frozen": [ "dependencies", "duplicate", "elixir", "gitar-approved", "github_actions", "good first issue", "help wanted", "invalid", "javascript", "never-stale", "nix", "pinned", "python", "rust", "security", "stale", "wontfix" ], "precedence": { "meta:campaign": 0, "meta:umbrella": 1, "meta:recurring": 2, "meta:roadmap": 3, "priority:p0": 0, "priority:p1": 1, "priority:p2": 2, "priority:p3": 3, "status:blocked": 0, "status:needs-ruling": 1, "status:needs-owner": 2, "status:do-not-automate": 3, "status:ready": 4, "scope:estate": 0, "scope:repo": 1, "bug": 0, "decision": 1, "tech-debt": 2, "testing": 3, "documentation": 4, "refactor": 5, "research": 6, "enhancement": 7, "chore": 8, "question": 9 } }