Skip to content

Labels

Labels

44 labels

  • architecture

    architecture
    Structural/system-level shape and runtime behaviour

  • automation

    automation
    Bots, schedulers, dispatch, self-healing, fan-out

  • bindings

    bindings
    ABI, FFI, WASM, and cross-language interop surfaces

  • bug

    bug
    Something is broken or behaves incorrectly

  • chore

    chore
    Routine maintenance with no behaviour change

  • cicd

    cicd
    CI/CD: workflows, actions, lockfiles, pins, runners, release gates

  • conformance

    conformance
    Conformance to an external or internal specification

  • decision

    decision
    A ruling is required before work can proceed

  • design

    design
    Design of an interface, protocol, grammar, or type theory

  • documentation

    documentation
    Docs, prose, diagrams, READMEs, ADRs

  • duplicate

    duplicate
    This issue or pull request already exists

  • enhancement

    enhancement
    New capability or improvement to existing behaviour

  • gitar-approved

    gitar-approved
    Added by Gitar

  • good first issue

    good first issue
    Good for newcomers

  • governance

    governance
    Policy, rulesets, standards, compliance, and their enforcement

  • help wanted

    help wanted
    Extra attention is needed

  • invalid

    invalid
    This doesn't seem right

  • licensing

    licensing
    Licences, SPDX headers, REUSE compliance, attribution

  • meta:campaign

    meta:campaign
    Coordinated multi-repo push with a defined end state

  • meta:recurring

    meta:recurring
    Recurs on a schedule or by trigger; never finally closed

  • meta:roadmap

    meta:roadmap
    Forward planning; not yet actionable work

  • meta:umbrella

    meta:umbrella
    Parent issue aggregating child issues

  • migration

    migration
    Porting between languages or toolchains (e.g. -> AffineScript)

  • packaging

    packaging
    Guix, Nix, containers, distribution artefacts

  • performance

    performance
    Throughput, latency, memory, binary size

  • priority:p0

    priority:p0
    Critical - drop other work

  • priority:p1

    priority:p1
    High - schedule next

  • priority:p2

    priority:p2
    Normal - queue it

  • priority:p3

    priority:p3
    Low - nice to have

  • proofs

    proofs
    Formal verification: Agda, Coq, Idris, Lean, Z3/SMT, axiom debt