{"audit_id":"beta-m9-family-audit-v1","modulus_range":[1,1001],"total_moduli_in_range":1001,"family_members_checked":111,"matching_family_members":111,"coverage_fraction":"111/1001","coverage_percent":11.08891108891109,"coverage_display":"11.1%","classification":"Exact modular reduction; descriptive coverage","summary":"All 111 multiples of nine in M1–M1001 (11.1% of moduli) share this reduced Beta cycle through exact modular reduction.","audit_file":"pilot-v1/beta-m9-family-audit.json","reference_cycle":[4,8,7,5,1,2],"identity":"(F_n mod (9k)) mod 9 = F_n mod 9","scope":"Arithmetic audit of all 111 multiples of nine in the published M1–M1001 Atlas.","probability_relationship":"The M9 random-shuffle probability is a separate conditional calculation. This audit describes exact modular identities, not independent chance events.","original_alignment_preserved":true,"records":[{"modulus":9,"pisano_period":24,"native_beta_length":6,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":1,"native_doubling":true,"exact_match":true},{"modulus":18,"pisano_period":24,"native_beta_length":6,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":1,"native_doubling":true,"exact_match":true},{"modulus":27,"pisano_period":72,"native_beta_length":18,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":3,"native_doubling":false,"exact_match":true},{"modulus":36,"pisano_period":24,"native_beta_length":6,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":1,"native_doubling":false,"exact_match":true},{"modulus":45,"pisano_period":120,"native_beta_length":30,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":5,"native_doubling":false,"exact_match":true},{"modulus":54,"pisano_period":72,"native_beta_length":18,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":3,"native_doubling":false,"exact_match":true},{"modulus":63,"pisano_period":48,"native_beta_length":12,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":2,"native_doubling":false,"exact_match":true},{"modulus":72,"pisano_period":24,"native_beta_length":6,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":1,"native_doubling":false,"exact_match":true},{"modulus":81,"pisano_period":216,"native_beta_length":54,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":9,"native_doubling":false,"exact_match":true},{"modulus":90,"pisano_period":120,"native_beta_length":30,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":5,"native_doubling":false,"exact_match":true},{"modulus":99,"pisano_period":120,"native_beta_length":30,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":5,"native_doubling":false,"exact_match":true},{"modulus":108,"pisano_period":72,"native_beta_length":18,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":3,"native_doubling":false,"exact_match":true},{"modulus":117,"pisano_period":168,"native_beta_length":42,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":7,"native_doubling":false,"exact_match":true},{"modulus":126,"pisano_period":48,"native_beta_length":12,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":2,"native_doubling":false,"exact_match":true},{"modulus":135,"pisano_period":360,"native_beta_length":90,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":15,"native_doubling":false,"exact_match":true},{"modulus":144,"pisano_period":24,"native_beta_length":6,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":1,"native_doubling":false,"exact_match":true},{"modulus":153,"pisano_period":72,"native_beta_length":18,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":3,"native_doubling":false,"exact_match":true},{"modulus":162,"pisano_period":216,"native_beta_length":54,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":9,"native_doubling":false,"exact_match":true},{"modulus":171,"pisano_period":72,"native_beta_length":18,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":3,"native_doubling":false,"exact_match":true},{"modulus":180,"pisano_period":120,"native_beta_length":30,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":5,"native_doubling":false,"exact_match":true},{"modulus":189,"pisano_period":144,"native_beta_length":36,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":6,"native_doubling":false,"exact_match":true},{"modulus":198,"pisano_period":120,"native_beta_length":30,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":5,"native_doubling":false,"exact_match":true},{"modulus":207,"pisano_period":48,"native_beta_length":12,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":2,"native_doubling":false,"exact_match":true},{"modulus":216,"pisano_period":72,"native_beta_length":18,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":3,"native_doubling":false,"exact_match":true},{"modulus":225,"pisano_period":600,"native_beta_length":150,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":25,"native_doubling":false,"exact_match":true},{"modulus":234,"pisano_period":168,"native_beta_length":42,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":7,"native_doubling":false,"exact_match":true},{"modulus":243,"pisano_period":648,"native_beta_length":162,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":27,"native_doubling":false,"exact_match":true},{"modulus":252,"pisano_period":48,"native_beta_length":12,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":2,"native_doubling":false,"exact_match":true},{"modulus":261,"pisano_period":168,"native_beta_length":42,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":7,"native_doubling":false,"exact_match":true},{"modulus":270,"pisano_period":360,"native_beta_length":90,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":15,"native_doubling":false,"exact_match":true},{"modulus":279,"pisano_period":120,"native_beta_length":30,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":5,"native_doubling":false,"exact_match":true},{"modulus":288,"pisano_period":48,"native_beta_length":12,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":2,"native_doubling":false,"exact_match":true},{"modulus":297,"pisano_period":360,"native_beta_length":90,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":15,"native_doubling":false,"exact_match":true},{"modulus":306,"pisano_period":72,"native_beta_length":18,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":3,"native_doubling":false,"exact_match":true},{"modulus":315,"pisano_period":240,"native_beta_length":60,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":10,"native_doubling":false,"exact_match":true},{"modulus":324,"pisano_period":216,"native_beta_length":54,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":9,"native_doubling":false,"exact_match":true},{"modulus":333,"pisano_period":456,"native_beta_length":114,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":19,"native_doubling":false,"exact_match":true},{"modulus":342,"pisano_period":72,"native_beta_length":18,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":3,"native_doubling":false,"exact_match":true},{"modulus":351,"pisano_period":504,"native_beta_length":126,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":21,"native_doubling":false,"exact_match":true},{"modulus":360,"pisano_period":120,"native_beta_length":30,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":5,"native_doubling":false,"exact_match":true},{"modulus":369,"pisano_period":120,"native_beta_length":30,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":5,"native_doubling":false,"exact_match":true},{"modulus":378,"pisano_period":144,"native_beta_length":36,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":6,"native_doubling":false,"exact_match":true},{"modulus":387,"pisano_period":264,"native_beta_length":66,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":11,"native_doubling":false,"exact_match":true},{"modulus":396,"pisano_period":120,"native_beta_length":30,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":5,"native_doubling":false,"exact_match":true},{"modulus":405,"pisano_period":1080,"native_beta_length":270,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":45,"native_doubling":false,"exact_match":true},{"modulus":414,"pisano_period":48,"native_beta_length":12,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":2,"native_doubling":false,"exact_match":true},{"modulus":423,"pisano_period":96,"native_beta_length":24,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":4,"native_doubling":false,"exact_match":true},{"modulus":432,"pisano_period":72,"native_beta_length":18,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":3,"native_doubling":false,"exact_match":true},{"modulus":441,"pisano_period":336,"native_beta_length":84,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":14,"native_doubling":false,"exact_match":true},{"modulus":450,"pisano_period":600,"native_beta_length":150,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":25,"native_doubling":false,"exact_match":true},{"modulus":459,"pisano_period":72,"native_beta_length":18,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":3,"native_doubling":false,"exact_match":true},{"modulus":468,"pisano_period":168,"native_beta_length":42,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":7,"native_doubling":false,"exact_match":true},{"modulus":477,"pisano_period":216,"native_beta_length":54,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":9,"native_doubling":false,"exact_match":true},{"modulus":486,"pisano_period":648,"native_beta_length":162,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":27,"native_doubling":false,"exact_match":true},{"modulus":495,"pisano_period":120,"native_beta_length":30,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":5,"native_doubling":false,"exact_match":true},{"modulus":504,"pisano_period":48,"native_beta_length":12,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":2,"native_doubling":false,"exact_match":true},{"modulus":513,"pisano_period":72,"native_beta_length":18,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":3,"native_doubling":false,"exact_match":true},{"modulus":522,"pisano_period":168,"native_beta_length":42,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":7,"native_doubling":false,"exact_match":true},{"modulus":531,"pisano_period":696,"native_beta_length":174,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":29,"native_doubling":false,"exact_match":true},{"modulus":540,"pisano_period":360,"native_beta_length":90,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":15,"native_doubling":false,"exact_match":true},{"modulus":549,"pisano_period":120,"native_beta_length":30,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":5,"native_doubling":false,"exact_match":true},{"modulus":558,"pisano_period":120,"native_beta_length":30,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":5,"native_doubling":false,"exact_match":true},{"modulus":567,"pisano_period":432,"native_beta_length":108,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":18,"native_doubling":false,"exact_match":true},{"modulus":576,"pisano_period":96,"native_beta_length":24,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":4,"native_doubling":false,"exact_match":true},{"modulus":585,"pisano_period":840,"native_beta_length":210,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":35,"native_doubling":false,"exact_match":true},{"modulus":594,"pisano_period":360,"native_beta_length":90,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":15,"native_doubling":false,"exact_match":true},{"modulus":603,"pisano_period":408,"native_beta_length":102,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":17,"native_doubling":false,"exact_match":true},{"modulus":612,"pisano_period":72,"native_beta_length":18,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":3,"native_doubling":false,"exact_match":true},{"modulus":621,"pisano_period":144,"native_beta_length":36,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":6,"native_doubling":false,"exact_match":true},{"modulus":630,"pisano_period":240,"native_beta_length":60,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":10,"native_doubling":false,"exact_match":true},{"modulus":639,"pisano_period":840,"native_beta_length":210,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":35,"native_doubling":false,"exact_match":true},{"modulus":648,"pisano_period":216,"native_beta_length":54,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":9,"native_doubling":false,"exact_match":true},{"modulus":657,"pisano_period":888,"native_beta_length":222,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":37,"native_doubling":false,"exact_match":true},{"modulus":666,"pisano_period":456,"native_beta_length":114,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":19,"native_doubling":false,"exact_match":true},{"modulus":675,"pisano_period":1800,"native_beta_length":450,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":75,"native_doubling":false,"exact_match":true},{"modulus":684,"pisano_period":72,"native_beta_length":18,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":3,"native_doubling":false,"exact_match":true},{"modulus":693,"pisano_period":240,"native_beta_length":60,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":10,"native_doubling":false,"exact_match":true},{"modulus":702,"pisano_period":504,"native_beta_length":126,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":21,"native_doubling":false,"exact_match":true},{"modulus":711,"pisano_period":312,"native_beta_length":78,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":13,"native_doubling":false,"exact_match":true},{"modulus":720,"pisano_period":120,"native_beta_length":30,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":5,"native_doubling":false,"exact_match":true},{"modulus":729,"pisano_period":1944,"native_beta_length":486,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":81,"native_doubling":false,"exact_match":true},{"modulus":738,"pisano_period":120,"native_beta_length":30,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":5,"native_doubling":false,"exact_match":true},{"modulus":747,"pisano_period":168,"native_beta_length":42,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":7,"native_doubling":false,"exact_match":true},{"modulus":756,"pisano_period":144,"native_beta_length":36,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":6,"native_doubling":false,"exact_match":true},{"modulus":765,"pisano_period":360,"native_beta_length":90,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":15,"native_doubling":false,"exact_match":true},{"modulus":774,"pisano_period":264,"native_beta_length":66,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":11,"native_doubling":false,"exact_match":true},{"modulus":783,"pisano_period":504,"native_beta_length":126,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":21,"native_doubling":false,"exact_match":true},{"modulus":792,"pisano_period":120,"native_beta_length":30,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":5,"native_doubling":false,"exact_match":true},{"modulus":801,"pisano_period":264,"native_beta_length":66,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":11,"native_doubling":false,"exact_match":true},{"modulus":810,"pisano_period":1080,"native_beta_length":270,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":45,"native_doubling":false,"exact_match":true},{"modulus":819,"pisano_period":336,"native_beta_length":84,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":14,"native_doubling":false,"exact_match":true},{"modulus":828,"pisano_period":48,"native_beta_length":12,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":2,"native_doubling":false,"exact_match":true},{"modulus":837,"pisano_period":360,"native_beta_length":90,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":15,"native_doubling":false,"exact_match":true},{"modulus":846,"pisano_period":96,"native_beta_length":24,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":4,"native_doubling":false,"exact_match":true},{"modulus":855,"pisano_period":360,"native_beta_length":90,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":15,"native_doubling":false,"exact_match":true},{"modulus":864,"pisano_period":144,"native_beta_length":36,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":6,"native_doubling":false,"exact_match":true},{"modulus":873,"pisano_period":1176,"native_beta_length":294,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":49,"native_doubling":false,"exact_match":true},{"modulus":882,"pisano_period":336,"native_beta_length":84,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":14,"native_doubling":false,"exact_match":true},{"modulus":891,"pisano_period":1080,"native_beta_length":270,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":45,"native_doubling":false,"exact_match":true},{"modulus":900,"pisano_period":600,"native_beta_length":150,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":25,"native_doubling":false,"exact_match":true},{"modulus":909,"pisano_period":600,"native_beta_length":150,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":25,"native_doubling":false,"exact_match":true},{"modulus":918,"pisano_period":72,"native_beta_length":18,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":3,"native_doubling":false,"exact_match":true},{"modulus":927,"pisano_period":624,"native_beta_length":156,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":26,"native_doubling":false,"exact_match":true},{"modulus":936,"pisano_period":168,"native_beta_length":42,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":7,"native_doubling":false,"exact_match":true},{"modulus":945,"pisano_period":720,"native_beta_length":180,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":30,"native_doubling":false,"exact_match":true},{"modulus":954,"pisano_period":216,"native_beta_length":54,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":9,"native_doubling":false,"exact_match":true},{"modulus":963,"pisano_period":72,"native_beta_length":18,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":3,"native_doubling":false,"exact_match":true},{"modulus":972,"pisano_period":648,"native_beta_length":162,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":27,"native_doubling":false,"exact_match":true},{"modulus":981,"pisano_period":216,"native_beta_length":54,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":9,"native_doubling":false,"exact_match":true},{"modulus":990,"pisano_period":120,"native_beta_length":30,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":5,"native_doubling":false,"exact_match":true},{"modulus":999,"pisano_period":1368,"native_beta_length":342,"reduced_cycle":[4,8,7,5,1,2],"repeat_count":57,"native_doubling":false,"exact_match":true}]}