Problem
Two TypeScript subtrees in hyperpolymath/standards are exempt from the no-TS policy pending two AffineScript features:
Telegram bot (4 files):
avow-protocol/telegram-bot/avow-telegram-bot/src/{bot,database,stamp-mock}.ts
avow-protocol/telegram-bot/avow-telegram-bot/test-mock.ts
Blocked on: Node-target backend (#35) for the runtime, plus extern types (#42) to talk to the Telegram bot SDK and SQLite/database driver. Also wants stdlib network/crypto.
Axel-protocol tests (3 files):
axel-protocol/test/{validate-policy_test,validate-policy,axel-sts_test}.ts
Likely blocked on extern types (#42) for the crypto and protocol-level surfaces the tests exercise.
Acceptance criteria
Origin
TS-elimination audit, 2026-05-02 (recommendation #9).
Dependencies
Problem
Two TypeScript subtrees in
hyperpolymath/standardsare exempt from the no-TS policy pending two AffineScript features:Telegram bot (4 files):
avow-protocol/telegram-bot/avow-telegram-bot/src/{bot,database,stamp-mock}.tsavow-protocol/telegram-bot/avow-telegram-bot/test-mock.tsBlocked on: Node-target backend (#35) for the runtime, plus extern types (#42) to talk to the Telegram bot SDK and SQLite/database driver. Also wants stdlib network/crypto.
Axel-protocol tests (3 files):
axel-protocol/test/{validate-policy_test,validate-policy,axel-sts_test}.tsLikely blocked on extern types (#42) for the crypto and protocol-level surfaces the tests exercise.
Acceptance criteria
extern type/extern fndeclarations not parseable in user source #42 has landed.standardsfor each subtree.Origin
TS-elimination audit, 2026-05-02 (recommendation #9).
Dependencies
extern type/extern fndeclarations not parseable in user source #42 (extern type / extern fn)