Skip to content

Labels

Labels

23 labels

  • agent-pr

    agent-pr
    Agent-authored PR; quorum verdict required to merge

  • agent-ready

    agent-ready
    Issue is claimable by the worker routine

  • bug

    bug
    Something isn't working

  • demotion

    demotion
    Demotes a Rigorous/Sketch result (red-team output)

  • dependencies

    dependencies
    Pull requests that update a dependency file

  • documentation

    documentation
    Improvements or additions to documentation

  • duplicate

    duplicate
    This issue or pull request already exists

  • enhancement

    enhancement
    New feature or request

  • experimenter-priority

    experimenter-priority
    Issue jumps the worker's ranking; the human entry point into the loop

  • github_actions

    github_actions
    Pull requests that update GitHub Actions code

  • good first issue

    good first issue
    Good for newcomers

  • governance

    governance
    Governor exploration / OBJECTIVES change / experiment instrumentation

  • help wanted

    help wanted
    Extra attention is needed

  • informs-issue

    informs-issue
    Librarian-filed literature pointer (unverified, exploratory)

  • invalid

    invalid
    This doesn't seem right

  • needs-human

    needs-human
    Experiment-level escalation; thread halts for the experimenter

  • promotion-rigorous

    promotion-rigorous
    Promotes Sketch to Rigorous; stress-test marker also required

  • python

    python
    Pull requests that update python code

  • question

    question
    Further information is requested

  • stuck

    stuck
    3 failed worker attempts; scheduler skips until changed

  • thread-proposal

    thread-proposal
    Proposed novel direction awaiting governor adjudication (AUTONOMY.md)

  • withdrawn

    withdrawn
    Conjecture withdrawn; record kept per methodology

  • wontfix

    wontfix
    This will not be worked on