specs/functions: the 28 Inngest functions of 999-multibots-telegraf as first-class .t27 specs (layer 5) - #3553
Merged
Merged
Conversation
…s first-class .t27 specs (layer 5) One specs/functions/<id>.t27 per function registered at 999-multibots-telegraf main @a9c08b4, KIND "function", module fn_<id>: canonical and legacy ids and events, TRIGGER (event|cron), STEPS in source order, RETRIES, ON_FAILURE, SIDE_EFFECTS, GUARD, the 2026-09-09 safe probe (SAFE_PROBE, PROBE_RESULT), CONTROL and NOTE. Same header / module / pub const style as specs/crons. Values are read from the functions manifest (the code witness the site vendors) and, where it has gaps, from the checkout itself; each such fill is named in NOTE. Kept visible, not resolved: payment-ai-server-process declares an onFailure handler (admin-telegram) where the manifest says log; eight functions declare no retries and carry the SDK default 4 with a NOTE; four functions are not on the production Railway build as of 2026-09-09 (PROBE_RESULT not-deployed, GUARD unknown). specs/i18n/agents-ru.t27 SCOPE gains specs/functions ([4]str); OWNERS.md gains the functions/ row; docs/now records the measurement. Measured: 28/28 typecheck ok under the vendored compiler wasm (4d9c0447b5ca2887...), nothing discarded, field schema satisfied, ASCII only. Not run here: cargo build (bootstrap/build.rs LANG-EN guard) -- no Rust toolchain in this environment; the Cyrillic scan was repeated by hand. Closes #3552
Contributor
Contributor
|
📓 NotebookLM Notebook linked to this PR
This notebook contains session context, decisions, and artifacts for this work. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
What
specs/functions/— one.t27module per Inngest function the bot999-multibots-telegrafregisters atmain @a9c08b4(28),KIND = "function", modulefn_<id>, same header / module /pub conststyle asspecs/crons. Plusspecs/functions/README.md(schema, vocabularies, honesty notes),specs/i18n/agents-ru.t27SCOPE→[4]strwithspecs/functions, anOWNERS.mdrow and adocs/nownote.Fields (design doc §2):
KIND, ID, LEGACY_ID, NAME, REPO, SERVICE (file:line), DOMAIN, TRIGGER, EVENT, LEGACY_EVENTS, CRON, TZ, SUMMARY_EN, STEPS, RETRIES : u8, ON_FAILURE, SIDE_EFFECTS, GUARD, SAFE_PROBE, PROBE_RESULT, CONTROL, NOTE.Stacked on #3546 (
feat/specs-agents), because the i18nSCOPEline and the ladder README already changed there; retarget tomasteronce #3546 lands. Companion site PR: gHashTag/trinity (branchqueen/functions-tab) vendors these files byte-identically and adds the FUNCTIONS tab.Where the values come from
NOTE:training-model-v2-start,payment-ai-server-process,broadcast-message-send: manifest has nofile, nosteps,retries: null→ read from the files (SERVICEcarriesfile:lineofcreateFunction().retries→RETRIES = 4(Inngest JS SDK v3 default) with aNOTE; the 2026-09-09 probe saw such functions reach attempt 5.payment-ai-server-processdeclaresonFailure: createInngestFailureHandler(...)(logs + messages the admin chat) → spec saysadmin-telegram, manifest sayslog; the site will show the difference as a message.training-model-complete,training-stuck-check,webhook-generation-validate,welcome-avatar-generateare not on the production Railway build as of 2026-09-09 →PROBE_RESULT = "not-deployed"(a fourth value beyond the design enum, documented),GUARD = "unknown".specs/crons(inngest/999-multibots-telegraf/<LEGACY_ID>);NOTEnames the cron ID.Checks
t27_compiler.wasm(sha2564d9c0447b5ca2887…) from trinity:typecheck.oktrue, nothing discarded,hir.ok; field schema (types, array lengths,u8range,pub) satisfied; module =fn_<id>;ID= file name;SAFE_PROBEparses as JSON; ASCII only.tools/check_assertionless_spec_tests.py: ok (4054 in 33, baseline unchanged).cargo build(thebootstrap/build.rsLANG-EN guard) andtools/check_duplicate_declarations.py— no Rust toolchain in this environment (exit 2 = COULD NOT RUN).scripts/check-first-party-doc-language.shreports three pre-existingdocs/wave_ecosystem_2026-07-08/*.mdfiles, none from this PR.Not claimed
No function renamed in the code; no run triggered; no first/only/best.
Do not merge — review first.
Closes #3552