Skip to content

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

Open

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.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

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