Audit group Steiner extension exactly

Claims 1,3,5: LP/MST-certified scaling to 1600 elements and 800 terminals, showing the ratio is flat in k and driven by prediction error.

claims 1-3: scale online covering to m=800 via LP lower bounds, and measure the gamma that Theorem 2's bound needs

Make the decomposition Definition-1 compliant: enforce property (B) by merging adjacent pieces (0/12 -> 12/12), with the resulting inflation of measured alpha reported

Replace the 'not reproduced' claim-2 page with the executed ICE + decomposition-oracle results

Remove duplicate flat claim-2 page (content moved into the existing page directory)

Implement the (alpha,gamma)-decomposition oracle and the ICE algorithm (previously unaddressed); alpha measured against exact ILP partial-cover optima

Add large-scale covering experiments

Rerun at 25-100x scale with LP lower bounds: set cover to 5000 elements, facility location to 500 clients, Steiner to 800 terminals; baseline k-growth now measurable and separated from the augmented algorithm

Add online covering experiment script and raw results

Implement and run the online algorithms: set cover, Meyerson facility location and online Steiner tree, with exact ILP optima and measured competitive ratios vs prediction error

Publish validated ICML reproduction

initial commit