Skip to content

Bridge contract OD-7: generated cross-check for the behavior matrix (test_ownir families ↔ BridgeBehaviorMatrix rows) #296

Description

@PhysShell

From #258 (spec/BridgeBehaviorMatrix.md). The matrix is hand-generated: a new checks += 1 family added to tests/test_ownir.py without a matrix row is invisible until review, which erodes the "no family silently omitted" guarantee over time.

Candidate follow-up for #259's fixture tooling: a small extraction script (count/label the check families in test_ownir.py, diff against the matrix's pinned-by clusters) wired into the suite, so matrix drift is a red build instead of a review burden. The matrix's line numbers are already declared non-normative (family names are the identity), so the cross-check should key on families, not lines.

Refs #258, #259.

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