[0design]

Причина

Підтвердження кейса через MCP зависало: вікна Touch ID не було, helper через 120 с убивав тайм-аут Node, у помилці лишалося Command failed: …/touchid-approve approve без stderr.

approve() (і setup()) підписували ключем Secure Enclave з неоціненим LAContext: context(reason:) лише перевіряв canEvaluatePolicy і ніколи не викликав evaluatePolicy. Вікно мав показати сам Security framework під час підпису. Реєстрація з терміналу так спрацювала, а з ланцюжка MCP-підтвердження вікно не з'явилось, і виклик підпису блокувався без меж. Окрема проба з явним evaluatePolicy(.deviceOwnerAuthenticationWithBiometrics) показала вікно й повернула OK і в терміналі, і через node execFile з тим самим оточенням.

Точну причину, чому неявне вікно не з'являється саме в ланцюжку MCP, не встановлено. Виправлення не залежить від неї: вікно відкривається явно, а будь-яка відмова має межу в часі.

Що змінено в tools/touchid-approve/main.swift

• Новий authenticate(_:reason:): evaluatePolicy(.deviceOwnerAuthenticationWithBiometrics, localizedReason:) з тим самим текстом вікна (Decision / SHA-256 / Run / Gate; для setup — «Set up the Touch ID approval key»). Чекає на семафорі не довше 90 с. Тайм-аут → invalidate() закриває вікно → вихід 1 зі stderr.
• Після успіху контекст стає interactionNotAllowed = true, і підпис іде вже оціненим контекстом. Якщо оцінка чомусь не покриває ACL ключа, підпис одразу падає й не чекає на невидиме неявне вікно.
• approve(): спершу перевіряє, що ключ зареєстровано, потім показує вікно, потім завантажує ключ і підписує. setup(): вікно перед створенням або завантаженням ключа й підписом.
• Загальна межа операції 110 с: якщо нативний виклик не повернувся, helper сам пише в stderr і виходить з кодом 1. Це менше за 120 с APPROVAL_TTL_MS і за тайм-аут Node.
• Скасування в системному вікні → «Touch ID was cancelled. Nothing was signed.»
• Без змін: біометрія без пароля й без програмного запасного варіанта, localizedFallbackTitle = "", touchIDAuthenticationAllowableReuseDuration = 0, ACL [.biometryCurrentSet, .privateKeyUsage], текст у вікні, формат ключа й файлів.

Чому evaluatePolicy, а не evaluateAccessControl. Саме evaluatePolicy з біометричною політикою показало вікно в цьому ланцюжку. evaluateAccessControl тут ще не перевіряли. До того ж у approve довелося б заново будувати SecAccessControl, бо його не зберігають разом із ключем, і будь-яке розходження з ACL ключа повернуло б підпис до неявного вікна. Біометрична політика не допускає пароля й задовольняє вимогу .biometryCurrentSet. Зміну набору відбитків і далі відхиляє Secure Enclave.

Тести (без вікна Touch ID і без справжнього ключа)

• test/touchid-explicit-prompt.test.mjs:
  • статична перевірка: в approve() і setup() явна оцінка стоїть перед завантаженням, створенням ключа й підписом; політика лише біометрична; є очікування з тайм-аутом, invalidate, неінтерактивний контекст після оцінки; виконується співвідношення 90 < 110 < TTL; не змінились fallback, reuse, ACL і текст вікна;
  • негативні приклади: 10 мутацій джерела (прибрана оцінка, оцінка після використання ключа, політика з паролем, очікування без меж, межа понад TTL, fallback, reuse, інший текст) перевірка відхиляє. На main.swift з main перевірка падає;
  • Node-сторона: справжній execFile зі скриптом, що завершується з кодом 1, повертає stderr helper у помилці TouchIdAnchor.confirm.
• Компіляція helper (touchid-compile) проходить. Повний набір тестів падає в тих самих 48 тестах «CLAUDECODE is set», що й на main; набір назв збігається.

Закріплення каталогу

Артефакт Core змінився (main.swift і README helper входять у пакет). Закріплення оновлене тим самим шляхом, що й у попередніх злиттях: npm pack --ignore-scripts → registry/catalog.source.json → scripts/build-registry.mjs (export + --check).

Межі

• Справжнє вікно Touch ID з цим helper ще не перевірено. Для цього підготовлено пробу з одноразовим ключем у пам'яті; зареєстрований ключ вона не чіпає.
• Межа D-0392 не змінюється: код із правами користувача може змінити клон, helper чи ~/.q-core.
• Не зливати без окремого «так».

🤖 Generated with Claude Code