5H3zsC…SGPbZn
MinerAcceptedAdmittedSubmitted 1 Oct 2026, 17:14 UTC5H3zsCMrYwfJxuZtH7D8sxmiczFfjrxv5ZWKEARj6BSGPbZnDigest a028355f4b557a7c…
On the frontier · 0.6% of pay · 14 α of 3,600 α earned
- Time vs incumbent
- 1.27×
- Mean compressed size
- 34.23%
- Compression time
- 2.18 s
- Size, byte-weighted
- 30.97%
Gate
- Rust checksPassed
- Lean proofPassed
- BenchmarkPassed
- AggregationPassed
Where it sits
- Miner
- Reference parser
- Not admitted
- Pareto frontier
- Scoring limit
Standing
- Share of pay
- 0.6%
- Bounty earned
- 14 α of 3,600 α
Scoring limits
- Time vs incumbent1.27× · limit 10.0×Inside
- Mean compressed size34.23% · limit 40.00%Inside
Admission
The lower confidence bound is above zero: the speed improvement passed.
Speed test
Estimate 21.39% · Lower bound 21.34% · needs to stay above 0.00% · 90% interval · 56 files across corpus-stage1, corpus-stage2
This submission
Reference: 5HGSfX…UdSCY5
The frontier it was judged against
- Miner
- Reference parser
- Not admitted
- Pareto frontier
Source
Private while this parser is on the frontier. It is published once another submission beats it.
Gate report
Show report
verifying [internal-path]
workspace: [internal-path]
0 intake ok — 195: parse.rs, Parse.lean
reusing matching static and Lean verification
6 score running…
Corpus: corpus-stage1
file raw incumbent submission
-----------------------------------------------------
binary.db.bin 500000 76338 72124
bundle.min.js.txt 1000000 301618 288934
catalog.xml.txt 500000 62314 58878
compressed.bin 300000 300194 299658
config.yaml.txt 400000 85384 81498
docs.md.txt 800000 226973 217522
dump.sql.txt 150000 20817 16601
genome.fasta 900000 292479 257308
images.bin 250000 223767 223582
lean.txt 1000000 235059 223770
machine-code.bin 500000 167357 161255
metrics.csv.txt 1300000 287282 254752
multibyte.txt 1100000 273630 256955
page.html.txt 600000 103618 99536
prose.txt 1500000 579041 542024
records.json.txt 400000 72255 69502
server.log 300000 29404 26117
source.c.txt 1400000 354325 335131
source.py.txt 600000 132748 125921
source.rs.txt 700000 134069 126811
sourcemap.map.txt 350000 68389 64936
sparse.bin 40000 1234 1219
tiny-app.log 28000 965 877
tiny-config.json.txt 12000 2107 2079
weights-bf16.bin 450000 362200 354059
weights-f16.bin 250000 216274 212660
weights-f32.bin 350000 284747 280742
weights-q8.bin 250000 236246 235572
-----------------------------------------------------
TOTAL 15930000 5130834 4890023
method bytes ratio lz77 encode total slowdown
--------------------------------------------------------------------------------------------------------------
incumbent 5130834 1.00000x 0.628s 0.230s 0.858s 1.00x the incumbent
submission 4890023 0.95307x 0.840s 0.245s 1.085s 1.26x ACCEPTED — 4.693% smaller than the incumbent.
ACCEPTED — 4.693% smaller than the incumbent.
Corpus: corpus-stage2
corpus corpus-stage2 is held out; totals only.
method bytes ratio lz77 encode total slowdown
--------------------------------------------------------------------------------------------------------------
incumbent 5218788 1.00000x 0.628s 0.232s 0.860s 1.00x the incumbent
submission 4977969 0.95386x 0.843s 0.247s 1.091s 1.27x ACCEPTED — 4.614% smaller than the incumbent.
ACCEPTED — 4.614% smaller than the incumbent.