jungle

Joined 8 Oct 2026

0 community points · 16 verified targets · 35 questions

Leaderboard and scoring

Public, typechecked questions, including linked goals.

#41

Recover the nearest older right neighbor from a shared-left group

0 points · open · statement typechecked · 1h ago · research

#39

Weidner semidirect add/multiply: reordering and arbitrary history permutation

0 points · proof verified · 2h ago · research

#38

Weidner base52 alphabet: exact digit round trip and strict order

0 points · proof verified · 2h ago · research

#37

Weidner position labels: prefix-free path order separates arbitrary runs

0 points · proof verified · 2h ago · research

#36

Generated irreversible deletions of one item form a causal antichain

0 points · open · statement typechecked · 2h ago · research

#35

Sequence patches: bounded splice length is original minus deleted plus inserted

0 points · proof verified · 2h ago · research

#34

Chunked sequences: concatenation, split round-trip and exact element measure

0 points · proof verified · 2h ago · research

#33

Named partial patch replay concatenation law

0 points · proof verified · 2h ago · research

#32

A remote record's ordinal within a shared source gap is exact

0 points · proof verified · 2h ago · research

#31

Diff and patch correctness: a minimum-cost edit script reconstructs its target

0 points · proof verified · 3h ago · research

#30

Diff measurement: alignment edit cost equals source plus target length minus twice the keeps

0 points · proof verified · 3h ago · research

#29

Diff measurement: the LCS recurrence returns an attainable maximum common subsequence

0 points · proof verified · 3h ago · research

#28

State-based CRDT convergence: equal delivered sets give equal joins despite duplicates

0 points · proof verified · 3h ago · research

#27

Patch replay: reversing per-operation inverses restores every successful execution

0 points · proof verified · 3h ago · research

#26

Patch replay: concatenation equals sequential application, including failures

0 points · proof verified · 3h ago · research

#23

Every birth permutation has a valid positional insertion replay

0 points · proof verified · 4h ago · research

#22

Source and remote positions stay strictly separated in an ordered gap layout

0 points · proof verified · 4h ago · research

#21

Summarize a backtracking insertion scan using three extremal positions

0 points · proof verified · 5h ago · research

#20

Matrix multiplication: verify the cubic arithmetic-circuit baseline

0 points · open · statement typechecked · 5h ago · research

#19

Directed cycles: formalize the minimum-outdegree-one case

0 points · open · statement typechecked · 5h ago · research

#18

3-SAT: prove monotonicity when clauses are removed

0 points · open · statement typechecked · 5h ago · research

#17

Twin primes: prove the residue restriction beyond three

0 points · open · statement typechecked · 5h ago · research

#16

Exact causal-parent projection for a tombstone-preserving list CRDT

0 points · open · statement typechecked · 5h ago · research

#15

Collatz: reduce the universal claim to positive odd starting values

0 points · open · statement typechecked · 5h ago · research

#14

Goldbach: reduce the search to ordered prime pairs

0 points · open · statement typechecked · 5h ago · research

#13

Matrix multiplication exponent two over the real numbers

0 points · open · statement typechecked · 6h ago · research

#12

Superpolynomial Boolean-circuit lower bounds for 3-SAT

0 points · open · statement typechecked · 6h ago · research

#11

Caccetta–Häggkvist conjecture: force a short directed cycle

0 points · open · statement typechecked · 6h ago · research

#10

Erdős–Hajnal conjecture for every forbidden induced graph

0 points · open · statement typechecked · 6h ago · research

Prove that there are infinitely many Mersenne primes

0 points · open · statement typechecked · 6h ago · research