Ключи не дают заслуг

Вы узнаете

Что приносят ключи, которые одолжил участник, и какие пределы их берегут.

Попробовать

Протяните число ключей от 0 до 100 и посмотрите на счётчик заслуг; затем найдите секунду, когда можно начать проверку.

specs/automation/queen-contributor-keys.t27

// SPDX-License-Identifier: Apache-2.0
// specs/automation/queen-contributor-keys.t27 -- private contributor key lifecycle.
// Host: BrowserOS trios/agent-server/apps/server/src/api/services/queen-contributor-keys.ts.
// Trace: gHashTag/t27#5472; gHashTag/999-multibots-telegraf#3251.
// Generated: t27c gen-ts supplies the host policy constants.
// Claim status: executable contract; PostgreSQL and live provider evidence are separate.
// XP follows work recorded by the Queen. Adding credentials never credits a wallet.
// Negative managed indices and nonnegative environment indices share one history.
// v1 (2026-10-01): trusted proxy, persistent ownership and bounded provider probes.
// v2 (2026-10-02): one model for all of an owner's keys of a provider, accepted only
// after a key of that provider called a tool with it. Probe timeout 15 s -> 90 s:
// z-ai/glm-5.3 on NVIDIA answered in 20-46 s and glm-4.5-flash on Z.ai in up to 87 s.
// phi^2 + 1/phi^2 = 3 | TRINITY

module automation::queen_contributor_keys {
    pub const KIND : str = "automation";
    pub const ID : str = "queen-contributor-keys";
    pub const REPO : str = "BrowserOS";
    pub const VERSION : u8 = 2;

    pub const PROBE_TIMEOUT_MS : u32 = 90000;
    pub const PROBE_MAX_TOKENS : u16 = 16;
    pub const MAX_PROBES_IN_FLIGHT : u16 = 4;
    pub const PROBE_COOLDOWN_SECONDS : u16 = 60;
    pub const MAX_KEYS_PER_OWNER : u16 = 100;
    pub const MAX_KEY_BYTES : u16 = 4096;
    pub const MAX_BODY_BYTES : u16 = 8192;
    pub const LABEL_LIMIT : u16 = 80;
    pub const PROXY_TOKEN_MIN_BYTES : u16 = 32;
    pub const OWNER_REASSIGNMENT : bool = false;
    pub const CREDIT_WALLET : bool = false;
    pub const ENVIRONMENT_INDICES_COMPACTED : bool = false;
    pub const NVIDIA_URL : str = "https://integrate.api.nvidia.com/v1";
    pub const NVIDIA_MODEL : str = "nvidia/nemotron-3-ultra-550b-a55b";
    pub const ZAI_URL : str = "https://api.z.ai/api/paas/v4";
    pub const ZAI_MODEL : str = "glm-4.5-flash";
    pub const MODEL_LIMIT : u16 = 128;
    pub const MODEL_PROBE_MAX_TOKENS : u16 = 512;
    pub const MODEL_CHECK_ATTEMPTS : u16 = 2;
    pub const MODEL_LIST_LIMIT : u16 = 500;
    pub const MODEL_LIST_CACHE_SECONDS : u16 = 600;

    fn trusted_proxy(configured_bytes: u32, token_matches: bool, subject_valid: bool) -> bool {
        return configured_bytes >= PROXY_TOKEN_MIN_BYTES && token_matches && subject_valid;
    }

    fn source_matches_index(managed: bool, index: i32) -> bool {
        return (managed && index < 0) || (!managed && index >= 0);
    }

    fn may_add_key(owned: u32) -> bool {
        return owned < MAX_KEYS_PER_OWNER;
    }

    fn may_start_probe(active: u32) -> bool {
        return active < MAX_PROBES_IN_FLIGHT;
    }

    fn cooldown_passed(has_probe: bool, elapsed_seconds: u32) -> bool {
        return !has_probe || elapsed_seconds > PROBE_COOLDOWN_SECONDS;
    }

    fn credential_fits(bytes: u32, printable_without_space: bool) -> bool {
        return bytes > 0 && bytes <= MAX_KEY_BYTES && printable_without_space;
    }

    fn same_binding(subject_matches: bool, fingerprint_matches: bool) -> bool {
        return subject_matches && fingerprint_matches;
    }

    fn enabled_after_probe(was_enabled: bool, invalid: bool, success: bool, request_enable: bool, same_revision: bool) -> bool {
        if invalid { return false; }
        if success && request_enable && same_revision { return true; }
        return was_enabled;
    }

    fn model_fits(chars: u32, allowed_chars: bool) -> bool {
        return chars > 0 && chars <= MODEL_LIMIT && allowed_chars;
    }

    fn may_switch_model(owns_provider_key: bool, called_tool: bool) -> bool {
        return owns_provider_key && called_tool;
    }

    fn may_try_model_check(attempt: u32) -> bool {
        return attempt < MODEL_CHECK_ATTEMPTS;
    }

    fn wallet_credit(added: u32) -> u32 {
        if CREDIT_WALLET { return added; }
        return 0;
    }

    test "only a configured matching proxy and valid person subject are trusted" {
        assert(trusted_proxy(32, true, true));
        assert(!trusted_proxy(31, true, true));
        assert(!trusted_proxy(32, false, true));
        assert(!trusted_proxy(32, true, false));
    }

    test "managed indices are negative and environment history keeps its nonnegative indices" {
        assert(source_matches_index(true, -1));
        assert(!source_matches_index(true, 0));
        assert(!source_matches_index(false, -1));
        assert(source_matches_index(false, 0));
        assert(source_matches_index(false, 10000));
        assert(!ENVIRONMENT_INDICES_COMPACTED);
    }

    test "the owner key limit is checked before another key is stored" {
        assert(may_add_key(0));
        assert(may_add_key(99));
        assert(!may_add_key(100));
    }

    test "probe fanout and per-key cooldown are bounded" {
        assert(may_start_probe(3));
        assert(!may_start_probe(4));
        assert(cooldown_passed(false, 0));
        assert(!cooldown_passed(true, 59));
        assert(!cooldown_passed(true, 60));
        assert(cooldown_passed(true, 61));
    }

    test "credentials are bounded nonempty printable values" {
        assert(credential_fits(1, true));
        assert(credential_fits(4096, true));
        assert(!credential_fits(0, true));
        assert(!credential_fits(4097, true));
        assert(!credential_fits(32, false));
    }

    test "an existing binding cannot change its owner or credential" {
        assert(same_binding(true, true));
        assert(!same_binding(false, true));
        assert(!same_binding(true, false));
        assert(!OWNER_REASSIGNMENT);
    }

    test "a failed probe disables an invalid key and a concurrent disable wins" {
        assert(!enabled_after_probe(true, true, false, false, true));
        assert(enabled_after_probe(false, false, true, true, true));
        assert(!enabled_after_probe(false, false, true, true, false));
        assert(!enabled_after_probe(false, false, true, false, true));
        assert(enabled_after_probe(true, false, false, false, true));
    }

    test "adding credentials never credits a wallet" {
        assert(wallet_credit(1) == 0);
        assert(wallet_credit(100) == 0);
    }

    test "a model name is a bounded nonempty identifier" {
        assert(model_fits(1, true));
        assert(model_fits(128, true));
        assert(!model_fits(0, true));
        assert(!model_fits(129, true));
        assert(!model_fits(12, false));
    }

    test "a model switch needs an owned key of the provider and a tool call" {
        assert(may_switch_model(true, true));
        assert(!may_switch_model(false, true));
        assert(!may_switch_model(true, false));
    }

    test "a busy or refused key passes the model check to the next one, a bounded number of times" {
        assert(may_try_model_check(0));
        assert(may_try_model_check(1));
        assert(!may_try_model_check(2));
    }

    test "a probe waits long enough for a slow reasoning model" {
        assert(PROBE_TIMEOUT_MS >= 60000);
        assert(MODEL_PROBE_MAX_TOKENS > PROBE_MAX_TOKENS);
    }

    test "VERSION says what the header's last note says" {
        assert(VERSION == 2);
    }
}

// phi^2 + 1/phi^2 = 3 | TRINITY

Открыть спеку урока в плеере ↗

Все уроки

• Модуль 1 · Задача

  Задача становится работой, только когда её оформили: недостающие разделы дописаны или запрошены, граница называет настоящие файлы, а один фильтр читает задачи всех видов.

  1. 01 Оформление задачи
  2. 02 Граница из настоящих файлов
  3. 03 Одна задача, три вида

• Модуль 2 · Кто следующий

  Порядок, в котором Королева берёт задачи: метка стареет на одну ступень, критичными идут не больше 3, и ничего нового не начинается, пока готовая работа ждёт ревью.

  1. 04 Старение метки
  2. 05 Очередь
  3. 06 Сначала ревью

• Модуль 3 · Жизнь пчелы

  От кандидата до готовой работы: двенадцать состояний и шестнадцать событий, корабль в игре, который улетает домой, и деплой, который не обрывает пчелу.

  1. 07 Жизнь задачи
  2. 08 Корабль летит домой
  3. 09 Деплой на лету

• Модуль 4 · Пчела-ревьюер

  Готовую работу судят по своим часам: столько ревью сразу, чтобы успевать, пауза, которая удваивается для строки в ожидании, и ворота слияния, которые не открыть без проверок.

  1. 10 Хватит ли ревьюеров
  2. 11 Отступить
  3. 12 Ворота слияния

• Модуль 5 · Затор ревью

  Застрявший пулл-реквест всегда в одном из десяти случаев, у каждого свой ход Королевы, а красная проверка считается унаследованной, только если так говорит master.

  1. 13 Затор ревью
  2. 14 Ход Королевы
  3. 15 Унаследованный красный

• Модуль 6 · Ключи

  Ключ модели у пчелы могут отклонить: код в теле ответа сортирует отказ, временный отказ даёт ключу отдохнуть секунды, и пчела переходит к следующему свободному ключу.

  1. 16 Отклонённый ключ
  2. 17 Ключ отдыхает
  3. 18 Следующий ключ

• Модуль 7 · Заслуги и деньги

  Одолженный ключ не приносит заслуг, операция продаётся вдвое дороже своей цены в токенах по полцента, а токены сгорают через 30 дней после зачисления.

  1. 19 Ключи не дают заслуг
  2. 20 Вдвое дороже цены
  3. 21 Сгорающие токены

• Модуль 8 · Агенты между собой

  У каждого агента свой бот в одной группе: кого зовут, цепочка глубиной в три сообщения ботов и часы, которые не дают агентам завалить чат.

  1. 22 Кого зовут
  2. 23 Три бота в глубину
  3. 24 Stop и mute

• Модуль 9 · Ночь и доска

  Что показывает улей: ночной дозор, который открывает, комментирует и закрывает задачи, колонки публичной доски и соты, которые вспыхивают на каждое событие.

  1. 25 Ночной дозор
  2. 26 Публичная доска
  3. 27 Соты отвечают