Skip to content

Adopt the shared rule set by reference and add the strided-specific rules #216

Description

@shinaoka

Part of #199 (Phase 3, rules). Blocked by tensor4all/tensor4all-agent-rules#6, which generalizes the repository-neutral rules (INVARIANT markers, unsafe hygiene, uninit acquisition, cache ownership, # Errors gate, doctest policy, test organization, API evolution, typed errors, Debug, file size, complexity budget, threading principles) into the shared rules repository. Per tenferro's meta-rule, this repo must not vendor copies of cross-repository rules.

Once the shared text lands:

  • Update REPOSITORY_RULES.md to reference the shared rules explicitly (which files apply here) instead of duplicating them.
  • Keep and sharpen the strided-specific rules: suffix vocabulary decision (see the dedicated issue), ExecutionPolicy as the single threading mechanism plus the exported threshold constant, column-major layout contracts, facade policy (thin re-export only; what qualifies for the root namespace), erased/typed API mirroring expectations, HPTT/faer integration constraints.
  • Record the audit gap numbers as the adoption baseline (0 INVARIANT markers; SAFETY on 29 of 418 unsafe blocks; # Errors on 9 of 172; 5 runnable doctests; 53 inline test modules; 13 files over 1000 lines) so remediation issues can be checked off against them.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions