specs/functions: withdraw five functions from the registry (code-only/unregistered)

[gHashTag]

Closes #4037. Spec-first record of the owner's decision on the five functions the 2026-09-13 plan left open. CONTROL vocabulary gains code-only/unregistered (README); each NOTE says what was read from the source and what re-registration needs. Companion PRs: 999-multibots-telegraf (registerFunctions + manifest), trinity (FN_CONTROLS). No test blocks added (pin 12759 unchanged).

[github-actions]

PR Dashboard

Generated at: 2026-09-17 06:46:54 UTC

• Implement the 4 empty function bodies in specs/ml/activation/tanh_activation.t27 #4056 Implement the 4 empty function bodies in specs/ml/activation/tanh_activation.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 2 empty function bodies in specs/ml/activation/softmax.t27 #4055 Implement the 2 empty function bodies in specs/ml/activation/softmax.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 1 failing / 3 total
• Implement the 3 empty function bodies in specs/ml/activation/silu_swish_activation.t27 #4054 Implement the 3 empty function bodies in specs/ml/activation/silu_swish_activation.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 3 empty function bodies in specs/ml/activation/sigmoid_activation.t27 #4053 Implement the 3 empty function bodies in specs/ml/activation/sigmoid_activation.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 1 failing / 3 total
• Implement the 2 empty function bodies in specs/ml/activation/relu_activation.t27 #4052 Implement the 2 empty function bodies in specs/ml/activation/relu_activation.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 3 empty function bodies in specs/ml/activation/leaky_relu_activation.t27 #4051 Implement the 3 empty function bodies in specs/ml/activation/leaky_relu_activation.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 3 empty function bodies in specs/ml/activation/gelu_approx_activation.t27 #4050 Implement the 3 empty function bodies in specs/ml/activation/gelu_approx_activation.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 3 empty function bodies in specs/ml/activation/elu_activation.t27 #4049 Implement the 3 empty function bodies in specs/ml/activation/elu_activation.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 10 empty function bodies in specs/git/status.t27 #4048 Implement the 10 empty function bodies in specs/git/status.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 1 failing / 3 total
• Implement the 10 empty function bodies in specs/account/repo.t27 #4047 Implement the 10 empty function bodies in specs/account/repo.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 9 empty function bodies in specs/account/auth.t27 #4046 Implement the 9 empty function bodies in specs/account/auth.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Write the RFC 8259 parser, serializer and object lookup in specs/tri/encoding/json.t27 #4045 Write the RFC 8259 parser, serializer and object lookup in specs/tri/encoding/json.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Write the seven empty bodies in specs/tri/net/http.t27 — URL parsing and HTTP status classification #4044 Write the seven empty bodies in specs/tri/net/http.t27 — URL parsing and HTTP status classification | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 13 empty process-control functions in specs/shell/process.t27 #4043 Implement the 13 empty process-control functions in specs/shell/process.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 19 empty git command bodies in specs/git/operations.t27 #4042 Implement the 19 empty git command bodies in specs/git/operations.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 12 read and write bodies in specs/file/operations.t27 #4041 Implement the 12 read and write bodies in specs/file/operations.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 10 pure path and content bodies in specs/file/operations.t27 #4040 Implement the 10 pure path and content bodies in specs/file/operations.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 11 directory, ignore and absolute-path bodies in specs/file/operations.t27 #4039 Implement the 11 directory, ignore and absolute-path bodies in specs/file/operations.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• specs/functions: withdraw five functions from the registry (code-only/unregistered) #4038 specs/functions: withdraw five functions from the registry (code-only/unregistered) | Created: 2026-09-17 | Updated: 2026-09-17 | 21 failing / 28 total
• queen-3521: bee work for #3521 #4036 queen-3521: bee work for #3521 | Created: 2026-09-17 | Updated: 2026-09-17 | 10 failing / 30 total
• queen-3507: bee work for #3507 #4035 queen-3507: bee work for #3507 | Created: 2026-09-17 | Updated: 2026-09-17 | 6 failing / 30 total
• queen-3328: bee work for #3328 #4034 queen-3328: bee work for #3328 | Created: 2026-09-17 | Updated: 2026-09-17 | 6 failing / 32 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-09-17 | 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-09-15 | 4 failing / 30 total
• agent-provider-chain: probe 4 of the reserve, 402 with max_tokens bounded #3683 agent-provider-chain: probe 4 of the reserve, 402 with max_tokens bounded | Created: 2026-09-15 | Updated: 2026-09-15 | 0 failing / 30 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-09-13 | 5 failing / 30 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
• 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
• 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-14 | 1 failing / 31 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-14 | 1 failing / 29 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-14 | 1 failing / 31 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	37
PRs with Failing Checks	16
PRs with All Checks Green	21
READY	2
FAILING	16
PENDING	0
NO CHECKS YET	0

These columns do not partition: 2 + 16 + 0 + 0 = 18, and there are 37 open PRs. A PR is being counted twice or not at all.

Seal Status

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