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 карточках функций.

Refs #3559 (the probe-suite spec this PR moves to VERSION 2).

---

Supersedes #3593. Same net diff, one commit with an issue reference so L1 TRACEABILITY passes.

Refs #3559

🤖 Generated with Claude Code

[github-actions]

PR Dashboard

Generated at: 2026-10-02 21:30:40 UTC

• specs: bind every tool and skill to the Queen, and name a domain lead #5632 specs: bind every tool and skill to the Queen, and name a domain lead | Created: 2026-10-02 | Updated: 2026-10-02 | 27 failing / 30 total
• specs/automation: inngest-functions-status.t27 (lastRun без проб, lastProbe отдельно) + inngest-probe-suite VERSION 2 #5631 specs/automation: inngest-functions-status.t27 (lastRun без проб, lastProbe отдельно) + inngest-probe-suite VERSION 2 | Created: 2026-10-02 | Updated: 2026-10-02 | 26 failing / 31 total
• feat(specs/skills): trinity/connect-accounts #5630 feat(specs/skills): trinity/connect-accounts | Created: 2026-10-02 | Updated: 2026-10-02 | 21 failing / 31 total
• docs(igla): re-take the corpus figures on master, 1150 specs (Refs #5497) #5610 docs(igla): re-take the corpus figures on master, 1150 specs (Refs #5497) | Created: 2026-10-02 | Updated: 2026-10-02 | 1 failing / 34 total
• feat(xilinx7): 7-series configuration packets as a .t27 spec (Closes #5608) #5609 feat(xilinx7): 7-series configuration packets as a .t27 spec (Closes #5608) | Created: 2026-10-02 | Updated: 2026-10-02 | 2 failing / 32 total
• Port gHashTag/trinity:fpga/openxc7-synth/d_clk_direct.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_c #5595 Port gHashTag/trinity:fpga/openxc7-synth/d_clk_direct.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_c | Created: 2026-10-02 | Updated: 2026-10-02 | 6 failing / 31 total
• The Queen's accept is the merge: dispatch.t27 says so, and its harness measures it #5452 The Queen's accept is the merge: dispatch.t27 says so, and its harness measures it | Created: 2026-10-01 | Updated: 2026-10-02 | 6 failing / 36 total
• docs(tri): mark the Solana tri-mining program and depin.prove rewards superseded by mint-on-acceptance (Closes #5412) #5413 docs(tri): mark the Solana tri-mining program and depin.prove rewards superseded by mint-on-acceptance (Closes #5412) | Created: 2026-10-01 | Updated: 2026-10-02 | 6 failing / 32 total
• Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/container/image-loader.ts (TypeScript, 2 functions) to sp #5320 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/container/image-loader.ts (TypeScript, 2 functions) to sp | Created: 2026-09-30 | Updated: 2026-10-02 | 8 failing / 31 total
• A "using" in prose became an import; and the per-spec delta check compared strings #5215 A "using" in prose became an import; and the per-spec delta check compared strings | Created: 2026-09-29 | Updated: 2026-10-02 | 12 failing / 41 total
• Auto-loop 2026-09-29: silent-discard parser family + loop infrastructure #5084 Auto-loop 2026-09-29: silent-discard parser family + loop infrastructure | Created: 2026-09-28 | Updated: 2026-10-02 | 10 failing / 45 total
• Carry wave-loop-898's stranded work: green lean 24/24 (fixes red lean CI), mcp registry spec, research corpus #5081 Carry wave-loop-898's stranded work: green lean 24/24 (fixes red lean CI), mcp registry spec, research corpus | Created: 2026-09-28 | Updated: 2026-10-02 | 10 failing / 36 total
• chore: drop build artifacts tracked since ea15cd54c (#1399), ignore *.rlib #5078 chore: drop build artifacts tracked since ea15cd54c (#1399), ignore *.rlib | Created: 2026-09-28 | Updated: 2026-10-02 | 7 failing / 40 total
• Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-brief-shape.ts (TypeScript, 2 functions) t #4911 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-brief-shape.ts (TypeScript, 2 functions) t | Created: 2026-09-27 | Updated: 2026-10-02 | 11 failing / 31 total
• Seals: 0 of 1072 specs verify, 928 with an unchanged spec_hash — gate it or remove it #4887 Seals: 0 of 1072 specs verify, 928 with an unchanged spec_hash — gate it or remove it | Created: 2026-09-27 | Updated: 2026-10-02 | 12 failing / 40 total
• Wave Loop 473 — compiler-backend aggregate tail / live cold-POR CCLK sweep #4801 Wave Loop 473 — compiler-backend aggregate tail / live cold-POR CCLK sweep | Created: 2026-09-24 | Updated: 2026-10-02 | 11 failing / 31 total
• Bare for statements: 2 loops recovered, and 235 of the 240 sites I cited were out of scope #4777 Bare for statements: 2 loops recovered, and 235 of the 240 sites I cited were out of scope | Created: 2026-09-24 | Updated: 2026-10-02 | 10 failing / 31 total
• Generic type parameters dropped from the declaration and kept in the body: -23 errors #4745 Generic type parameters dropped from the declaration and kept in the body: -23 errors | Created: 2026-09-24 | Updated: 2026-10-02 | 12 failing / 31 total
• Implement the 8 empty function bodies in specs/vsa/packed_vsa.t27 #4729 Implement the 8 empty function bodies in specs/vsa/packed_vsa.t27 | Created: 2026-09-24 | Updated: 2026-10-02 | 12 failing / 31 total
• Wave 684: occlusion four deep, and the two files no list ever reached #4660 Wave 684: occlusion four deep, and the two files no list ever reached | Created: 2026-09-23 | Updated: 2026-10-02 | 10 failing / 31 total
• Capture given/when/then and render them: 6540 clauses, and 169 specs share one unfilled placeholder #4642 Capture given/when/then and render them: 6540 clauses, and 169 specs share one unfilled placeholder | Created: 2026-09-23 | Updated: 2026-10-02 | 10 failing / 31 total
• Implement part 2 of 2 of the empty bodies in specs/git/diff.t27 (7 functions) #4634 Implement part 2 of 2 of the empty bodies in specs/git/diff.t27 (7 functions) | Created: 2026-09-23 | Updated: 2026-10-02 | 10 failing / 31 total
• feat(specs/skills): trinity/connect-accounts #4600 feat(specs/skills): trinity/connect-accounts | Created: 2026-09-22 | Updated: 2026-10-02 | 7 failing / 42 total
• Port part 1 of 2 of tools/check_withdrawn_live.py to specs/port/tools/check_withdrawn_live.t27 (8 functions) #4581 Port part 1 of 2 of tools/check_withdrawn_live.py to specs/port/tools/check_withdrawn_live.t27 (8 functions) | Created: 2026-09-22 | Updated: 2026-10-02 | 9 failing / 31 total
• Port part 1 of 2 of tools/check_coq_in_build.py to specs/port/tools/check_coq_in_build.t27 (8 functions) #4578 Port part 1 of 2 of tools/check_coq_in_build.py to specs/port/tools/check_coq_in_build.t27 (8 functions) | Created: 2026-09-22 | Updated: 2026-10-02 | 8 failing / 31 total
• Implement the 1 empty function body in specs/test_framework/verilog_bench_harness.t27 #4565 Implement the 1 empty function body in specs/test_framework/verilog_bench_harness.t27 | Created: 2026-09-21 | Updated: 2026-10-02 | 0 failing / 2 total
• Implement part 2 of 2 of the empty bodies in specs/vm/jit_semantics.t27 (4 functions) #4563 Implement part 2 of 2 of the empty bodies in specs/vm/jit_semantics.t27 (4 functions) | Created: 2026-09-21 | Updated: 2026-10-02 | 8 failing / 31 total
• Implement the 1 empty function body in specs/test_framework/graph_drift_detection.t27 #4536 Implement the 1 empty function body in specs/test_framework/graph_drift_detection.t27 | Created: 2026-09-21 | Updated: 2026-10-02 | 8 failing / 31 total
• Nothing builds bindings/wasm-explorer, which is how the artifact it replaces drifted in the first place #4498 Nothing builds bindings/wasm-explorer, which is how the artifact it replaces drifted in the first place | Created: 2026-09-21 | Updated: 2026-10-02 | 6 failing / 30 total
• Feed the swarm from CI, with fuel that does not run out #3978 Feed the swarm from CI, with fuel that does not run out | Created: 2026-09-17 | Updated: 2026-10-02 | 6 failing / 28 total
• specs: bind every tool and skill to the Queen, and name a domain lead #3833 specs: bind every tool and skill to the Queen, and name a domain lead | Created: 2026-09-15 | Updated: 2026-10-02 | 4 failing / 32 total
• 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-10-02 | 4 failing / 32 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-10-02 | 5 failing / 32 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-10-02 | 5 failing / 24 total

Summary

Status	Count
Total Open PRs	34
PRs with Failing Checks	30
PRs with All Checks Green	4
READY	1
FAILING	30
PENDING	0
NO CHECKS YET	0

These columns do not partition: 1 + 30 + 0 + 0 = 31, and there are 34 open PRs. A PR is being counted twice or not at all.

Seal Status

• ⚠️ STALE -- sha256(compiler.rs)=b45a356c2eb6 != 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).

[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.

[gHashTag]

Bee review evidence (reviewer bee, not the author)

Head: f9a02fb9cbe0ffb71a35ff61e33b000776ee8d30, one commit on master 7079823. The commit message carries Refs #3559, the same issue the original #3593 referenced.

Tree identity: replacement tree 92bdc0d333b91c3a292eb62d441ba67f735acba3 == the tree of the original #3593 head 6924780ffba143f69dc3b52e11eca02a9b1df739. This was checked through the GitHub commits API, so git diff 6924780ffba143f69dc3b52e11eca02a9b1df739 f9a02fb9cbe0ffb71a35ff61e33b000776ee8d30 is empty.

Content: 3 files. The new spec specs/automation/inngest-functions-status.t27 covers the status route contract: the lastRun/lastProbe split, a function with no organic run shown as muted, and 3 tests. inngest-probe-suite.t27 moves to VERSION 2, with LIVE_RUN_STATUS witnessed, PROBE_RUN_IS_HEALTH_SIGNAL=false and PROBE_FAILURE_ALERTS_ADMIN=false. The third file is the NOW entry. The PR has no secrets and nothing unrelated to its topic.

Mergeable: MERGEABLE (UNSTABLE only because of the red checks below). Re-read after #5630 merged.

Red checks discounted, each confirmed red on master or on every PR:

• spec-guards: fails at step "Does every seal still describe what the compiler emits" on this PR, and the same step fails on master 1cf5252 (job 111036327348).
• emit-bitexact: fails at "GF-T primitives agree across C + Rust + Zig + model" with gft_sadd.sadd: Zig backend failed to build/run. The workflow has no master push trigger (last master run: a workflow_dispatch on 2026-08-28). The same step fails on unrelated PRs, for example feat/source-kind, payment-claim-spec and sweep-spec.
• Master 1cf5252 is also red on untrusted-input (step "Every re-taken proposition is still anchored": "the corpus size is stated somewhere in the re-takes"), Scorecard and test-ratchet.

Required checks green: validate, check-linked-issue, parse-ratchet, Check L1 TRACEABILITY, L1 Traceability Summary, check-now-freshness, and GitGuardian.

[t27-bees]

bee review: see evidence comment