specs/automation: inngest-functions-status.t27 (lastRun без проб, lastProbe отдельно) + inngest-probe-suite VERSION 2

[gHashTag]

Что

1. Новая спека specs/automation/inngest-functions-status.t27 — контракт маршрута GET /api/inngest/functions/status, который читает вкладка FUNCTIONS на t27.ai.
   Ключевое (VERSION 2): lastRun = последний органический запуск (event/cron); invoked-запуски (пробы /inngest_probe, кнопка Invoke) в него не попадают — они выносятся в отдельное поле lastProbe с ожиданием из манифеста (probe_expect) и asExpected на уровне статуса. Функция без органических запусков — muted, не красная и не зелёная.
2. inngest-probe-suite.t27 → VERSION 2: LIVE_RUN_STATUS больше не «not-yet-run» — перечислены три продовых прогона; явно отмечено, что Telegram-путь смерженного судьи не засвидетельствован; добавлены PROBE_RUN_IS_HEALTH_SIGNAL=false, PROBE_FAILURE_ALERTS_ADMIN=false.

Зачем

Продовое чтение статуса 2026-09-12T14:01Z: 28 функций, у 20 lastRun.status = FAILED — все 20 от проб 9–10 сентября, спроектированных падать на guard; 22 из 28 не имели ни одного органического запуска за 7 дней. Вкладка показывала 20 красных точек за функции, которые ничего плохого не сделали. Логика исправления заявлена здесь до реализации в хосте (999-multibots-telegraf) и в потребителе (trinity FunctionExplorer).

Откуда свидетельства

• Invoked-запуски всех трёх прогонов видны в продовом GraphQL Inngest (прочитано 2026-09-12).
• 28/28 match, commit хоста 224a87f и интервал 03:19:17–03:20:05Z — из docs/inngest/witness/2026-09-10-probe-suite-03-19Z.json в репозитории хоста (28 записей, все match).
• «17 mismatch» (19:11Z) и «21 skipped» (02:17Z) — как записано в docs/inngest/probe-suite.md хоста; независимо не перепроверены, в спеке помечены как записанные хостом.

Проверка

Вендорный wasm (trinity/apps/website/public/t27/t27_compiler.wasm): оба файла typecheck ok, 0 discarded, hir ok; 30 и 33 константы, 3 структуры и 3 test-блока в каждом. Bootstrap-компилятор на master локально не запускался — это скажет CI.

Не в этом PR

Реализация в хосте и на сайте (отдельные PR); PROBE_EXPECT на 28 карточках функций.

[github-actions]

📓 NotebookLM Notebook linked to this PR

• Notebook ID: b83263109fb055dc
• URL: https://notebooklm.google.com/notebook/b83263109fb055dc

This notebook contains session context, decisions, and artifacts for this work.

[github-actions]

PR Dashboard

Generated at: 2026-09-13 02:03:13 UTC

• specs/automation: inngest-functions-status.t27 (lastRun без проб, lastProbe отдельно) + inngest-probe-suite VERSION 2 #3593 specs/automation: inngest-functions-status.t27 (lastRun без проб, lastProbe отдельно) + inngest-probe-suite VERSION 2 | Created: 2026-09-13 | Updated: 2026-09-13 | 24 failing / 28 total
• fix(ci): make the JSON gate strict, and make the one file it refuses legal #3395 fix(ci): make the JSON gate strict, and make the one file it refuses legal | Created: 2026-09-07 | Updated: 2026-09-07 | 0 failing / 30 total
• fix(rust): a function type is a type alias, not a const's value #3365 fix(rust): a function type is a type alias, not a const's value | Created: 2026-09-06 | Updated: 2026-09-06 | 0 failing / 38 total
• coq(CorePhi): replace proofs that were never checked by a compiler #3343 coq(CorePhi): replace proofs that were never checked by a compiler | Created: 2026-09-06 | Updated: 2026-09-06 | 5 failing / 32 total
• ci(coq): report all thirteen files instead of stopping at the first error #3342 ci(coq): report all thirteen files instead of stopping at the first error | Created: 2026-09-06 | Updated: 2026-09-06 | 3 failing / 30 total
• skill: spool four lessons from this pass #3327 skill: spool four lessons from this pass | Created: 2026-09-05 | Updated: 2026-09-05 | 1 failing / 28 total
• chore(ci)(deps): bump actions/attest-build-provenance from 1 to 4 #3001 chore(ci)(deps): bump actions/attest-build-provenance from 1 to 4 | Created: 2026-09-01 | Updated: 2026-09-12 | 0 failing / 28 total
• chore(ci)(deps): bump softprops/action-gh-release from 2 to 3 #3000 chore(ci)(deps): bump softprops/action-gh-release from 2 to 3 | Created: 2026-09-01 | Updated: 2026-09-12 | 0 failing / 30 total
• chore(ci)(deps): bump github/codeql-action from 3 to 4 #2999 chore(ci)(deps): bump github/codeql-action from 3 to 4 | Created: 2026-09-01 | Updated: 2026-09-12 | 0 failing / 30 total
• Land the formal verification harness on master (it has never run) #2727 Land the formal verification harness on master (it has never run) | Created: 2026-08-27 | Updated: 2026-09-05 | 5 failing / 24 total
• chore(deps)(deps): bump thiserror from 2.0.18 to 2.0.20 #2693 chore(deps)(deps): bump thiserror from 2.0.18 to 2.0.20 | Created: 2026-08-24 | Updated: 2026-08-28 | 3 failing / 34 total
• chore(deps)(deps): bump hyper from 1.10.1 to 1.11.0 #2692 chore(deps)(deps): bump hyper from 1.10.1 to 1.11.0 | Created: 2026-08-24 | Updated: 2026-08-28 | 3 failing / 33 total
• chore(deps)(deps): bump base64 from 0.22.1 to 0.23.1 #2691 chore(deps)(deps): bump base64 from 0.22.1 to 0.23.1 | Created: 2026-08-24 | Updated: 2026-08-28 | 3 failing / 34 total
• chore(deps)(deps): bump serde from 1.0.228 to 1.0.229 #2690 chore(deps)(deps): bump serde from 1.0.228 to 1.0.229 | Created: 2026-08-24 | Updated: 2026-08-28 | 3 failing / 34 total
• chore(deps)(deps): bump uuid from 1.23.2 to 1.25.0 #2689 chore(deps)(deps): bump uuid from 1.23.2 to 1.25.0 | Created: 2026-08-24 | Updated: 2026-08-28 | 3 failing / 34 total

Summary

Status	Count
Total Open PRs	15
PRs with Failing Checks	10
PRs with All Checks Green	5
READY	5
FAILING	10
PENDING	0
NO CHECKS YET	0

Seal Status

• ⚠️ STALE -- sha256(compiler.rs)=d4c5b22b471e != manifest seal=87e5cbd3ad94.
  The committed NMSE numbers were certified against an older compiler.rs.
  Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).