soma-cot-compression / backref_intra.json
XXMiner's picture
v142: RETRACTED v130's span census. Its 1033-span pattern required a space after the label, and the space-form is single-line BY CONSTRUCTION - a filter that guaranteed its own answer. All 3381 spans are 53.83% multi-line, mean 1.8953, max 13, with 17 nesting depths. STRUCTURAL EXHAUSTION withdrawn, line-relation family reopens with a 4847-line surface. Backrefs verified 315/315 backward. 1057 tests
882ece9 verified
Raw
History Blame Contribute Delete
1.09 kB
{
"distinct": 3305,
"redundant": 1542,
"redundant_tokens": 2684,
"median_per_ch": 8.0,
"max_per_ch": 276,
"top": [
[
"",
1327
],
[
" \"\"\"",
13
],
[
"(Command exited with code 1)",
11
],
[
"{",
8
],
[
" \"status\": \"error\",",
8
],
[
" \"err",
8
],
[
"Traceback (most recent call last):",
5
],
[
" \"tool\": \"edit\",",
4
],
[
" ",
4
],
[
"checks.Error(",
3
],
[
"/usr/bin/python3",
3
],
[
"dmp_ext_factor entry, degree_list: (1, 1)",
3
],
[
" aft",
3
],
[
"raise ValueError(",
3
],
[
"except PolynomialError:",
3
],
[
"invariance: True",
3
],
[
"def _lambdifygenerated():",
3
],
[
" ",
2
],
[
"/usr/bin/python3: No module named pytest",
2
],
[
"\"\"\"",
2
]
]
}