Skip to content

Parity false-green: densestSecondWindowSample/6 is registered as legacy arity-less harness case and drops ords #81

Description

@bhelm

Confirmed on drift/meta 032983d.

The production twin gained the optional ords argument and is now arity 6 on both platforms, but the checked-in parity inventory still maps /5. The differential runners remain registered under the arity-less densestSecondWindowSample label and do not decode or forward args.ords.

Red evidence:

  • parity_ledger.py --no-baseline reports exactly two relevant unmapped-function findings: Swift HRVAnalyzer.densestSecondWindowSample/6 and Kotlin HrvAnalyzer.densestSecondWindowSample/6.
  • parity_ratchet.py ratchet --offline exits green with differential=78 and errors=0 because the arity-less label resolves by name to the new /6 declarations.
  • registered_differential contains densestSecondWindowSample but no /6-qualified key; name-only match counts are 1/1.
  • existing generator/schema/runners only carry tsSec, rrMs, srcCodes, halfWindowSec, and maxRowsPerSecond, so ords can drift without differential detection.

Acceptance:

  • owner-qualified Swift/Kotlin /6 registry key and exact twin-map pair
  • strict bounded ords schema aligned with tsSec/rrMs
  • curated new-run/repeated-run/tie/boundary cases and exactly two isolated seeds
  • both runners forward ords
  • one semantic ords-forwarding mutant per platform is killed
  • stale /5 mapping removed without broad inventory regeneration
  • no production change.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions