Conjectures.io
All submissions

5DPZqe…TLD9zu

MinerAcceptedAdmitted
Submitted 2 Oct 2026, 12:57 UTC5DPZqerD8mfMV7usThFrNWjpu5qSgJjhK22EVWjujTTLD9zuDigest b36c4e83b44f2a3c…

On the frontier · <0.1% of pay · 2.312 α of 3,600 α earned

Time vs incumbent
2.24×
Mean compressed size
34.17%
Compression time
3.98 s
Size, byte-weighted
30.89%

Gate

  1. Rust checksPassed
  2. Lean proofPassed
  3. BenchmarkPassed
  4. AggregationPassed

Where it sits

  • Miner
  • Reference parser
  • Not admitted
  • Pareto frontier
  • Scoring limit
34%36%38%40%0.5×1×2×5×10×Time vs incumbent, log scaleMean compressed size, %Better

Standing

Share of pay
<0.1%
Bounty earned
2.312 α of 3,600 α

Scoring limits

  • Time vs incumbent2.24× · limit 10.0×Inside
  • Mean compressed size34.17% · limit 40.00%Inside

Admission

The lower confidence bound is above zero: the speed improvement passed.

Speed test

Gain over 5F52k7…PFANn3Passed

Estimate 21.44% · Lower bound 21.38% · needs to stay above 0.00% · 90% interval · 56 files across corpus-stage1, corpus-stage2

Time vs incumbent, 95% intervals

The frontier it was judged against

  • Miner
  • Reference parser
  • Not admitted
  • Pareto frontier
34%35%36%37%0.5×0.7×1×1.5×2×3×5×Time vs incumbent, log scaleMean compressed size, %Better

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 — 221: 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       72094
bundle.min.js.txt      1000000     301618      288303
catalog.xml.txt         500000      62314       58498
compressed.bin          300000     300194      299566
config.yaml.txt         400000      85384       81377
docs.md.txt             800000     226973      216985
dump.sql.txt            150000      20817       16470
genome.fasta            900000     292479      256502
images.bin              250000     223767      223466
lean.txt               1000000     235059      223526
machine-code.bin        500000     167357      159364
metrics.csv.txt        1300000     287282      251906
multibyte.txt          1100000     273630      255788
page.html.txt           600000     103618       99139
prose.txt              1500000     579041      541186
records.json.txt        400000      72255       69329
server.log              300000      29404       26102
source.c.txt           1400000     354325      333783
source.py.txt           600000     132748      125666
source.rs.txt           700000     134069      126561
sourcemap.map.txt       350000      68389       64816
sparse.bin               40000       1234        1193
tiny-app.log             28000        965         863
tiny-config.json.txt     12000       2107        2079
weights-bf16.bin        450000     362200      353965
weights-f16.bin         250000     216274      212660
weights-f32.bin         350000     284747      279089
weights-q8.bin          250000     236246      235572
-----------------------------------------------------
TOTAL                 15930000    5130834     4875848

method        bytes     ratio    lz77  encode   total  slowdown
--------------------------------------------------------------------------------------------------------------
incumbent   5130834  1.00000x  0.624s  0.228s  0.852s     1.00x  the incumbent
submission  4875848  0.95030x  1.747s  0.249s  1.996s     2.34x  ACCEPTED — 4.970% smaller than the incumbent.

ACCEPTED — 4.970% 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.629s  0.231s  0.861s     1.00x  the incumbent
submission  4966620  0.95168x  1.733s  0.253s  1.986s     2.31x  ACCEPTED — 4.832% smaller than the incumbent.

ACCEPTED — 4.832% smaller than the incumbent.