5DWyRE…6JTa9Q
MinerAcceptedAdmittedSubmitted 1 Oct 2026, 04:26 UTC5DWyREDPVVxUsWNjVQErLdRJLTz9GuFLuhiT31sB7g6JTa9QDigest 8330d24f1af57df9…
On the frontier · <0.1% of pay · 0.857 α of 3,600 α earned
- Time vs incumbent
- 0.46×
- Mean compressed size
- 37.03%
- Compression time
- 0.64 s
- Size, byte-weighted
- 34.69%
Gate
- Rust checksPassed
- Lean proofPassed
- BenchmarkPassed
- AggregationPassed
Where it sits
- Miner
- Reference parser
- Not admitted
- Pareto frontier
- Scoring limit
Standing
- Share of pay
- <0.1%
- Bounty earned
- 0.857 α of 3,600 α
Scoring limits
- Time vs incumbent0.46× · limit 10.0×Inside
- Mean compressed size37.03% · limit 40.00%Inside
Admission
The lower confidence bound is above zero: the speed improvement passed.
Speed test
Estimate 1.59% · Lower bound 1.45% · needs to stay above 0.00% · 90% interval · 56 files across corpus-stage1, corpus-stage2
This submission
Reference: 5F9KZj…D4PHJQ
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 — 163: parse.rs, Parse.lean
1 policy ok — source prefilters passed
2 static ok — resolved operations: core::num::{impl}::leading_zeros, core::num::{impl}::saturating_add, core::num::{impl}::wrapping_add, core::num::{impl}::wrapping_mul, core::num::{impl}::wrapping_sub, core::slice::{impl}::len
3 extract ok — charon+aeneas re-run by the verifier, no new axioms
4 statement ok — `LZ77.Obligation slot.parse` typechecks (bwrap, 900s, 16384 MB)
5 axioms ok — ['Classical.choice', 'Quot.sound', 'propext']; extraction intact
6 score running…
Corpus: corpus-stage1
file raw incumbent submission
-----------------------------------------------------
binary.db.bin 500000 76338 88288
bundle.min.js.txt 1000000 301618 331632
catalog.xml.txt 500000 62314 73759
compressed.bin 300000 300194 300095
config.yaml.txt 400000 85384 93699
docs.md.txt 800000 226973 253033
dump.sql.txt 150000 20817 23728
genome.fasta 900000 292479 277999
images.bin 250000 223767 230409
lean.txt 1000000 235059 269050
machine-code.bin 500000 167357 178654
metrics.csv.txt 1300000 287282 313197
multibyte.txt 1100000 273630 306955
page.html.txt 600000 103618 115805
prose.txt 1500000 579041 641955
records.json.txt 400000 72255 77948
server.log 300000 29404 32355
source.c.txt 1400000 354325 395630
source.py.txt 600000 132748 147353
source.rs.txt 700000 134069 151673
sourcemap.map.txt 350000 68389 79252
sparse.bin 40000 1234 1355
tiny-app.log 28000 965 1081
tiny-config.json.txt 12000 2107 2317
weights-bf16.bin 450000 362200 354317
weights-f16.bin 250000 216274 212660
weights-f32.bin 350000 284747 285038
weights-q8.bin 250000 236246 235572
-----------------------------------------------------
TOTAL 15930000 5130834 5474809
method bytes ratio lz77 encode total slowdown
-------------------------------------------------------------------------------------------------------------------
incumbent 5130834 1.00000x 0.621s 0.229s 0.850s 1.00x the incumbent
submission 5474809 1.06704x 0.053s 0.262s 0.316s 0.37x no improvement — 6.704% larger than the incumbent.
no improvement — 6.704% larger 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.634s 0.233s 0.867s 1.00x the incumbent
submission 5577818 1.06880x 0.055s 0.268s 0.323s 0.37x no improvement — 6.880% larger than the incumbent.
no improvement — 6.880% larger than the incumbent.