HermitCrab analysis: subsequence fallback and insertion classes for the root prune (v2)
维护者通常 1 天内回复
还没有人认领这个 Issue。
评估
调研方向
Read #562 and its shadow harness first, then inspect the root tries and the strata rules that determine infixation, reduplication, and inserted segment classes. Run the proposed shadow measurements across Mbugwe, Indonesian, Aweti, and Amharic, including the #562 stress fixture plus the stated rule cases. Done means zero violations, identical verdicts to PR #480’s conformance suite, and savings and probe counts meeting the kill criteria.
由索引模型根据 Issue 内容生成。
描述
The root-substring prune (#562) turns itself off on strata with infixation, reduplication or segment-restoring rules, which are exactly Indonesian, Amharic, Mbugwe and Aweti. The trigger is any such stratum. The cost is that the census ceiling (Mbugwe 38.5%, Indonesian 29.6%, Aweti 14.8%, Amharic 13.6% of analysis events) stays unreached.
Depends on #562. Build only if #562 is sound in shadow and v1 pays on Sena or on its stress fixture; otherwise close this.
Problem (census, steps)
The H2 ceilings above come from the census, overlapped in part by required-slot look-ahead (#561) on Mbugwe and Aweti, so the net figure is lower and unmeasured. Expected value is uncertain: it depends on how weak the fallback predicates are, which only a shadow run shows.
Proposed change
Two weaker predicates for strata that fail #562's flag:
- Subsequence fallback for strata with order-preserving but non-contiguous removal (infixation, reduplication on Indonesian and Amharic): prune when no root allomorph is a subsequence of the shape's segments.
- Insertion classes for restoring rules (Mbugwe
n-1,n-2; Aweti's 30 slot subrules): treat each restorable segment class as a wildcard gap, so a root may match with gaps wherever a rule in or below the stratum can insert that class.
Soundness
(1) holds when every rule is order-preserving: any shape looked up below the node is a subsequence of the node's shape (a contiguous run is a special case). (2) holds when the set of segments any remaining rule can insert is known statically; each such class is allowed at any position, so the prune fires only when the root cannot be matched even with those gaps. Rules whose inserted material cannot be bounded statically turn the flag off. Re-argued in XML docs and checked in shadow (zero violations).
Memory bound
Per-stratum flags and per-stratum sets of insertable segment classes: grammar-sized, bytes to KB. Uses the existing root tries. No cache.
Measurement plan
Shadow first, reusing #562's harness mode. Report per grammar the share of analysis events below fired nodes for each predicate (contiguous, subsequence, gapped), violations (must be 0), and trie or subsequence probes beside the savings. Stress fixture: the #562 fixture plus infix, reduplication and nasal-substitution strata.
Kill criterion
Any shadow violation: stop. Close if the net saving after removing the overlap with #561 is under 5% on every one of Mbugwe, Indonesian, Aweti and Amharic, or if probes exceed events saved.
Related
- #562 (hard dependency), #561 (overlap on Mbugwe and Aweti), #485 and #512 (related search and memory issues).
- PR #490: research record, ledger row 27. PR #480: conformance suite (its nasal-substitution and restoration fixtures are the violation class); verdicts must be identical.
- Units: deterministic steps, never ms. Owner constraint: no memo or cache.
🤖 Generated with Claude Code
- 主要语言
- C#
- 星标
- 29
- 派生
- 16
- 平均合并
- 6 天 13 小时
- 30 天内合并 PR
- 12
环境准备
- 没有 Dockerfile 或 Docker Compose 文件
- 有 Pull Request 模板
- 没有贡献指南
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
sillsdev/machine 的其他 Issue
-
难度 2/5 1-3 小时 新手友好度 68/100
维护者通常 1 天内回复
-
HermitCrab analysis: ordered and anchored required-slot look-ahead (v2)可能已有人在做 关联的 PR 仍在进行中或已合并。 未关闭enhancement Hermit Crab
难度 5/5 一周以上 新手友好度 25/100
维护者通常 1 天内回复
-
HermitCrab analysis: measure required-slot look-ahead on the #546 shared walk可能已有人在做 关联的 PR 仍在进行中或已合并。 未关闭enhancement Hermit Crab
难度 5/5 一周以上 新手友好度 20/100
维护者通常 1 天内回复
-
enhancement Hermit Crab
难度 5/5 一周以上 新手友好度 30/100
sillsdev/machine#565 · 1 条评论 ·
维护者通常 1 天内回复
-
HermitCrab analysis: port the edge-segment prefilter (time-only, 0 steps)可能已有人在做 关联的 PR 仍在进行中或已合并。 未关闭enhancement Hermit Crab
难度 5/5 一周以上 新手友好度 25/100
维护者通常 1 天内回复
相似的 Issue
-
难度 2/5 1-3 小时 新手友好度 72/100
Open-Systems-Pharmacology/OSPSuite.Core#3049 ·
维护者通常 1 天内回复
-
needs attention public-client untriaged
难度 2/5 1-3 小时 新手友好度 73/100
AzureAD/microsoft-authentication-library-for-dotnet#6242 ·
维护者通常 2 天内回复
-
难度 1/5 1-3 小时 新手友好度 90/100
criticalmanufacturing/cli#882 ·
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 78/100
Dome-Works/DOME#129 ·
维护者通常 1 天内回复
-
bug sev:L
难度 2/5 1-3 小时 新手友好度 82/100
Systemorph/MeshWeaver#7480 ·
维护者通常 1 天内回复