Skip to content

Labels

Labels

62 labels

  • main

    main
    Production ready

  • major

    major
    Major / load-bearing work

  • 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

  • question

    question
    Further information is requested

  • rc

    rc
    Release candidate

  • refactor

    refactor
    Restructuring that preserves observable behaviour

  • requirements-target

    requirements-target
    Tracked requirements-target item (joint-close)

  • research

    research
    Open investigation; the outcome is knowledge, not code

  • rust

    rust
    Pull requests that update rust code

  • scaffolding

    scaffolding
    RSR templates, repo init, instantiation, project skeletons

  • scope:estate

    scope:estate
    Affects many or all repos across the estate

  • scope:repo

    scope:repo
    Confined to this repository

  • security

    security
    Security posture, secrets, scanning, advisories, supply chain

  • status:blocked

    status:blocked
    Cannot proceed until a dependency clears

  • status:do-not-automate

    status:do-not-automate
    Bots and sweeps must not touch this issue

  • status:needs-owner

    status:needs-owner
    Unassigned and needs someone to take it

  • status:needs-ruling

    status:needs-ruling
    Awaiting an owner decision

  • status:ready

    status:ready
    Fully specified and ready to be picked up

  • tech-debt

    tech-debt
    Known shortcut, drift, or hygiene owed - includes cleanup