Skip to content

spec(automation/bot-topic-tabs): v1 -- the bot's private-chat tabs, their colours, the idempotent make (Closes #7373) - #7388

Merged
gHashTag merged 1 commit into
masterfrom
claude/bot-topic-tabs-spec
Oct 7, 2026
Merged

spec(automation/bot-topic-tabs): v1 -- the bot's private-chat tabs, their colours, the idempotent make (Closes #7373)#7388
gHashTag merged 1 commit into
masterfrom
claude/bot-topic-tabs-spec

Conversation

@gHashTag

@gHashTag gHashTag commented Oct 7, 2026

Copy link
Copy Markdown
Owner

Closes #7373

specs/automation/bot-topic-tabs.t27 -- the fixed tabs of a person's private chat with @t27ai_bot (Bot API 9.3/9.4 private-chat topics). Host: gHashTag/999-multibots-telegraf#3544, which vendors this spec with its t27c gen-ts output and runs every test block against the bot's code.

  • The table: key, English title, emoji code point, icon colour, mini-app route (6 tabs).
  • ICON_COLORS: the only six colours createForumTopic accepts. The host's first draft used four colours Telegram refuses; the table test catches that.
  • TOPIC_NAME_MAX = 32, the idempotent make (make_tab, forget_row, claim_won, claim_stale), the rename guard, the thread injection rule (a present message_thread_id key, even null, is kept), the cached lookup (reads_db, evicts).

Checks run locally:

  • t27c test-report: 9/9 PASS (read from the table).
  • t27c validate-vacuity on a dir with only this spec: 0 of 9 tests vacuous.
  • Negative control (mutated copy): colour, name bound and make_tab tests go FAIL.
  • Seal saved.

Census: this commit also re-blesses tools/census/quiet.txt (167->181 / 10->12 / 9->7). Not caused by this spec: tri census explain names .github/workflows/auto-merge-ready-prs.yml (#7320, merged without a re-bless), and tri hooks pre-commit is red on a clean master checkout (cd6708d) with a freshly built tri.

🤖 Generated with Claude Code

@gHashTag @claude
spec(automation/bot-topic-tabs): v1 -- the bot's private-chat tabs, t…
c257316 
…heir colours, the idempotent make (Closes #7373)

The six fixed tabs of a person's private chat with the bot (key, English
title, emoji code point, icon colour, app route), the topic-name bound,
the icon colours createForumTopic accepts, the claim that makes /start
idempotent, the forget rule for /tabs, the thread injection rule and the
cached lookup. Host: gHashTag/999-multibots-telegraf #3544.

Census re-blessed: quiet "named a path but not quiet" 167->181, "a
tracked path, present" 10->12, "no path ANYWHERE" 9->7. Not this spec:
`tri census explain` names .github/workflows/auto-merge-ready-prs.yml,
changed by #7320 without a re-bless; the pre-commit gate is red on a
clean master checkout (cd6708d) with a freshly built tri.

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

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This was referenced Oct 7, 2026
Merged
Merged
Merged
Merged
@github-actions

github-actions Bot commented Oct 7, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-07 08:52:51 UTC

Summary

Status Count
Total Open PRs 50
PRs with Failing Checks 43
PRs with All Checks Green 7
READY 3
FAILING 43
PENDING 0
NO CHECKS YET 0

These columns do not partition: 3 + 43 + 0 + 0 = 46, and there are 50 open PRs. A PR is being counted twice or not at all.

Seal Status

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

This was referenced Oct 7, 2026
Merged
Merged
Merged
Merged
Merged
@gHashTag

gHashTag commented Oct 7, 2026

Copy link
Copy Markdown
Owner Author

Reviewer bee: reviewed at c257316.

  • Spec: t27c test-report 9/9 pass (local t27c); validate-vacuity 0/9 assertion-free. test-report's runtime count marks the VERSION test as 0 runtime asserts (constant-folded), the same convention as 10 other specs. Seven hand mutants (inject_thread without key_present, forget_row without thread_missing, claim_stale >, make_tab ignoring alive, a repeated colour, reads_db always true, evicts >): 7/7 killed.
  • Seal spec_hash matches the file (sha256 53afbeab...).
  • quiet.txt re-bless: master's cli-tri "No census moved" is red since merger: a bee's discount holds only on a completed master failure (Closes #7317) #7320 (33756b3) with exactly 167 -> 181, and still red at 694b418. This PR changes no workflow file, and its own cli-tri passes with the new pin, so the re-bless is master's move (merger: a bee's discount holds only on a completed master failure (Closes #7317) #7320, plus ci(spec-guards): published figures are red only for a defect of the change (Closes #7174) #7178 which also touched workflows in the base range). It hides nothing from this PR.
  • Red checks are all master's: untrusted-input (catalog help 109 vs 110, same on master 18689bc), spec-guards (gf16_uart_sim_bench / knowledge_graph, same on master 05e633d), Corpus ratchet (gft_dup3_jtag, check_catalog_integrity), t27b-native-ratchet (master red too; this PR only adds its own new spec as UNLISTED, t27b pass, the same as most new-spec PRs).
  • The host copy in 999-multibots-telegraf#3544 src/spec/bot-topic-tabs.t27 is byte-identical, and t27c gen-ts reproduces its .gen.ts exactly.

Merging.

@gHashTag
gHashTag merged commit 425093f into master Oct 7, 2026
25 of 29 checks passed
@gHashTag gHashTag added the bee-reviewed A reviewer bee reviewed and verified this PR at its current head; the only merge signal (#5525) label Oct 7, 2026
This was referenced Oct 7, 2026
Closed
Merged
Closed
Merged
gHashTag added a commit that referenced this pull request Oct 7, 2026
@gHashTag @claude
census: re-bless quiet 181->182 and shell 301->302 moved by #7399 (Cl…
795b963 
…oses #7453) (#7454)

`tri census pin --gate` is red on master. Two moves were found by running the
census at each commit that touched a workflow, on the Railway lab:

- quiet "named a path but not quiet" 167 -> 181 came from #7320 (33756b3).
  Its master-failure-discount block adds 14 non-quiet lines that name a path.
  "steps in a quiet shape" stays 30. Two quiet steps now name
  specs/queen/merger_gate.t27, so they move from "no path ANYWHERE" (9 -> 7)
  to "a tracked path, present" (10 -> 12). #7388 already re-blessed this.
- quiet 181 -> 182 and shell "run: steps" 301 -> 302 (runner 280 -> 281) came
  from #7399 (3df7065). It adds the foreign-line budget step to
  own-language.yml: one more runner step, plus one non-quiet line naming
  gen/c/policy/own_language.c. NOBODY stays 15, and quiet shapes stay 30.

No quiet step was added, so this re-bless is legitimate.

Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

bee-reviewed A reviewer bee reviewed and verified this PR at its current head; the only merge signal (#5525)

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

spec(automation/bot-topic-tabs): v1 -- the bot's private-chat tabs, their colours, the idempotent make

1 participant

@gHashTag