[TS Calls] Audit and classify existing semantic approximations
还没有人认领这个 Issue。
评估
- 难度
- 5/5
- 预计耗时
- 一周以上
- 新手友好度
- 35/100
- Issue 类型
- 重构
- 描述清晰度
- 基本清楚
- 活跃度
- 活跃
- 技术栈
- kotlin, typescript
调研方向
Start with #361's production inventory and recovered archive, then compare them with the historical 29-model registry without repeating the inventory. For each item, record its origin, semantic operation, assumptions, domain, effects, tests and frontend assumptions, and assign a reasoned disposition. Done means every item has a disposition, accepted candidates have an implementation mechanism and validation status, and missing selected-family implementations have bounded follow-up issues.
由索引模型根据 Issue 内容生成。
描述
Part of #360. Reuses #361 and feeds #367/#385.
Goal
Review existing production and historical approximations once, deciding what is sound to retain, migrate or reject.
Scope
- Start from #361's production inventory and recovered archive. Add historical candidates, including the old 29-model registry, without redoing the same inventory from scratch.
- For each item record its origin, semantic operation, proven target/receiver assumptions, supported/residual domain, effects/exceptions/aliases, tests and frontend assumptions.
- Distinguish mandatory language semantics and engine/frontend correctness fixes from optional library-model choices.
- Classify optional models as source-model migration, genuine engine intrinsic, rewrite, reject or deferred pending evidence.
- Prefer ordinary TypeScript for expressible library semantics. Choose an intrinsic only for a justified symbolic engine operation.
- Carry accepted candidates into #367's roadmap, but do not automatically require migration of every historical model.
- Keep mandatory semantics and correctness fixes identical across #385 profiles; they are not experimental model toggles.
Definition of Done
- Every inventoried item has a reasoned disposition; blocked cases have a concrete reason.
- Accepted candidates have a domain, intended implementation mechanism and current validation status.
- A small evaluation subset can be selected without merging the historical branch.
- Missing selected-family implementations get bounded follow-up issues that block #385.
- Inventory/audit work does not wait for unrelated model infrastructure.
This is a reviewed inventory, not implementation of the whole standard library or another registry framework.
- 主要语言
- Kotlin
- 星标
- 33
- 派生
- 27
- 平均合并
- 4 天 3 小时
- 30 天内合并 PR
- 15
贡献指南
这个仓库没有索引到贡献指南
从这里开始
- 先读完整个 Issue,再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库,在一个分支上完成修改。
- 提交 Pull Request,并在描述里引用这个 Issue 编号。
UnitTestBot/usvm 的其他 Issue
-
难度 5/5 一周以上 新手友好度 45/100
UnitTestBot/usvm#388 ·
-
难度 5/5 一周以上 新手友好度 25/100
UnitTestBot/usvm#384 ·
-
难度 5/5 一周以上 新手友好度 35/100
UnitTestBot/usvm#382 ·
-
难度 4/5 3-5 天 新手友好度 48/100
UnitTestBot/usvm#379 ·
-
难度 5/5 一周以上 新手友好度 25/100
UnitTestBot/usvm#373 ·
相似的 Issue
-
bug
难度 2/5 1-3 小时 新手友好度 68/100
-
enhancement
难度 2/5 1-3 小时 新手友好度 68/100
Anthonyy232/Paperize#614 ·
-
难度 2/5 1-3 小时 新手友好度 76/100
bitcoindevkit/bdk-ffi#1125 ·
-
Issue: Bug
难度 1/5 1 小时以内 新手友好度 91/100
OpenAPITools/openapi-generator#24978 ·
-
helsemelding-json-schema json-schema-core
难度 2/5 1-3 小时 新手友好度 68/100