[TS Calls] Audit and classify existing semantic approximations

未关闭
#368 0 条评论 0 个 reaction 已指派 0 人 在 GitHub 查看

还没有人认领这个 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

贡献指南

这个仓库没有索引到贡献指南

从这里开始

  1. 先读完整个 Issue,再读项目的贡献指南。
  2. 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
  3. Fork 仓库,在一个分支上完成修改。
  4. 提交 Pull Request,并在描述里引用这个 Issue 编号。

UnitTestBot/usvm 的其他 Issue

查看 UnitTestBot/usvm 的全部 Issue

相似的 Issue

更多 Kotlin Issue

把新 issue 发到你的邮箱

精选适合新手参与的 GitHub issue 摘要。