Summary
The proptest possessive_proper_noun_anchors_pronoun (tests/ambiguity_heuristic.rs:175) failed on CI for PR #67 with a randomly generated counterexample. PR #67 touches no Rust code (workflow, Makefile, and Python contract-test files only), and the same suite passed locally on the identical Rust sources, so this is a latent bug in the ambiguity heuristic surfaced by proptest's random input generation rather than a regression from that PR.
Failure
CI run: https://github.com/leynos/lag-complexity/actions/runs/28962564045
thread 'possessive_proper_noun_anchors_pronoun' panicked at tests/ambiguity_heuristic.rs:175:1:
Test failed: expected possessive proper noun to anchor the pronoun, got 3 at tests/ambiguity_heuristic.rs:257.
minimal failing input: name = "Alice", pronoun = "It", verb = "her"
successes: 137
proptest suggested persisting the seed:
cc e74769154858dbef10bdc03c64741997fbbefd63fc6573b865369420522a36d1
Notes
- The generated "verb" here is
her, itself a pronoun; either the heuristic mishandles a possessive proper noun followed by a pronominal token, or the test's input strategy generates sentences outside the property's intended domain and needs tightening.
- Until fixed, this test can fail any CI run nondeterministically. Adding the
cc seed line to tests/ambiguity_heuristic.proptest-regressions will make the failure deterministic for whoever fixes it.
Summary
The proptest
possessive_proper_noun_anchors_pronoun(tests/ambiguity_heuristic.rs:175) failed on CI for PR #67 with a randomly generated counterexample. PR #67 touches no Rust code (workflow, Makefile, and Python contract-test files only), and the same suite passed locally on the identical Rust sources, so this is a latent bug in the ambiguity heuristic surfaced by proptest's random input generation rather than a regression from that PR.Failure
CI run: https://github.com/leynos/lag-complexity/actions/runs/28962564045
proptest suggested persisting the seed:
Notes
her, itself a pronoun; either the heuristic mishandles a possessive proper noun followed by a pronominal token, or the test's input strategy generates sentences outside the property's intended domain and needs tightening.ccseed line totests/ambiguity_heuristic.proptest-regressionswill make the failure deterministic for whoever fixes it.