/**
 * Numeric Invariants: Array Index Proofs
 *
 * INVARIANT 2: Array indices must have Int32 proof (TSN5107)
 *
 * Also covers Alice's required tests for proof propagation on array
 * index expressions, ensuring the proof pass correctly annotates
 * indices with numericIntent:Int32 for the emitter.
 */
export {};
//# sourceMappingURL=array-index-proofs.test.d.ts.map