Skip to content

Labels

Labels

55 labels

  • 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

  • refactor

    refactor
    Restructuring that preserves observable behaviour

  • requirements-target

    requirements-target
    Requirements-target issue — only closes when Claude and user mutually agree the spec is satisfied

  • 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

  • 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

  • testing

    testing
    Tests, benchmarks, fuzzing, property checks, coverage

  • tier-1

    tier-1
    AS bindings top-50 Tier 1 (idaptik blockers)

  • tier-2

    tier-2
    AS bindings top-50 Tier 2 (estate near-term)

  • tier-3

    tier-3
    AS bindings top-50 Tier 3 (web universals)

  • tier-4

    tier-4
    AS bindings top-50 Tier 4 (backend/cloud)

  • tier-5

    tier-5
    AS bindings top-50 Tier 5 (tooling/interop)

  • wontfix

    wontfix
    This will not be worked on