ALB-016: provable-contracts pruning contract (WANDA, magnitude)

[noahgift]

Gap Description

Pruning kernel contract for WANDA and magnitude pruning with sparsity invariants.

Component

provable-contracts (pv)

Severity

Medium

Acceptance Criterion

• contracts/pruning-kernel-v1.yaml at Level 3+
• Sparsity invariant (PRUNE-001) verified
• Score ordering (PRUNE-002) preserved
• Layer exclusion (PRUNE-006) for embeddings

Contract File

contracts/pruning-kernel-v1.yaml (committed)

Spec Reference

§12.2 Contract Registry, FALSIFY-ALBOR-008