HermitCrab conformance: producible behaviour has no discriminating fixture after the non-producible retirement

已关闭
  • 哪里不对？
#613 0 条评论 0 个 reaction 已指派 0 人 在 GitHub 查看

维护者通常 1 天内回复

还没有人认领这个 Issue。

评估

难度
5/5
预计耗时
一周以上
新手友好度
15/100
Issue 类型
功能
描述清晰度
需要澄清
活跃度
活跃
技术栈
csharp
领域
testing-qa

调研方向

Start with the conformance fixtures named in the issue, especially bantu-tam-fusion and suffixing-evidential-adjacency-chain, and the test for NonPartialRuleProhibitedAfterFinalTemplate. Check the self-check and HCLoader to see which gaps are real. Done means each listed gap has a producible grammar that fails when its behaviour regresses, and conformance/docs/what-it-claims.md matches the 127-fixture corpus.

由索引模型根据 Issue 内容生成。

描述

Retiring the non-producible fixtures left FieldWorks-producible behaviour with no discriminating fixture. A regression in these paths would pass the conformance suite. The self-check still reports 137 of 137 runs passing at e9569ec0, so nothing there shows the gap.

Status: open. Each gap needs a producible grammar, never a revived engine-only fixture.

What we know (most important first):

  • NonPartialRuleProhibitedAfterFinalTemplate is NotEvidenced for both arms: the same-word evidence relied on isCliticRule, and its severance list still names that attribute.
  • MaxApplicationCount has never been exercised from a producible grammar.
  • MPR features on phonological subrules and the StemName junction lost their dataflow cells.
  • bantu-tam-fusion (#578) tests no fusion. All 200 rules put a plain subrule first, which matches any stem, so the fusion subrule is never reached. Deleting all 200 changes none of the 60 results.
  • suffixing-evidential-adjacency-chain no longer separates "somewhere" from "adjacent" scope for its exclusions.

Not known: which of these FieldWorks users reach in practice.

Proposed change: one small witness per gap, ranked as above. Give bantu-tam-fusion subrules that can reach fusion, with constrained plain subrules. Add separating words to the evidential chain. New rows come from the engine and are reviewed against the rules.

Related: #480 (open), #578 (open), #505 (open).

Next: write a producible witness for NonPartialRuleProhibitedAfterFinalTemplate.

Smaller items
  • Six new open gap-baseline rows: MetathesisRule/multipleApplicationOrder/rightToLeftIterative, MorphologicalPhonologicalRuleFeatureGroup/matchType/all and /any, .../outputType/overwrite, Stratum/morphologicalRuleOrder/linear, and ordering:edge-cases/optional-template-composite/slots/t2pfx~t2mandatory. Check each for producibility first: linear and the feature-group settings may need no witness.
  • redupMorphType suffix: only prefix remains. ExcludedEnvironments was at risk: confirm that a witness remains.
  • isActive="no" on templates, phonological rules and metathesis rules: confirm what HCLoader does before treating it as a gap.
  • The mutant stack-overflow path is tested only at its classification. The real overflow reproduced only on a deleted fixture.
  • The two deleted MPR stress fixtures were the benchmark for closed PR #570. An inflection-class benchmark could be rebuilt on inflClasses.
  • conformance/docs/what-it-claims.md narrative figures predate the 127-fixture corpus.
  • FieldWorksWitnessDirectoriesAreShapedCorrectly has no size or element check for minimal LDML.

🤖 Generated with Claude Code

主要语言
C#
星标
29
派生
16
平均合并
5 天 20 小时
30 天内合并 PR
11

环境准备

  • 没有 Dockerfile 或 Docker Compose 文件
  • 有 Pull Request 模板
  • 没有贡献指南

从这里开始

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

sillsdev/machine 的其他 Issue

查看 sillsdev/machine 的全部 Issue

相似的 Issue

更多 C# Issue

把新 issue 发到你的邮箱

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