mirror of
https://github.com/allaunthefox/SilverSight.git
synced 2026-07-31 01:25:21 +00:00
allaun
6507f1187b
True Sidon sets stay Sidon across all 50 modulus configs. Non-Sidon never become Sidon. Capacity: 8→43.7b, 12→74.3b, 16→106.2b headroom. Integer-only, no float, correct CRT reconstruction.
409 lines
No EOL
7.5 KiB
JSON
409 lines
No EOL
7.5 KiB
JSON
{
|
|
"schema": "crt_capacity_envelope_v1",
|
|
"claim_boundary": "crt-torus-braid-dag:capacity-envelope:integer-only",
|
|
"config": {
|
|
"label_sets": [
|
|
[
|
|
"sidon_pow2",
|
|
[
|
|
1,
|
|
2,
|
|
4,
|
|
8,
|
|
16
|
|
],
|
|
32
|
|
],
|
|
[
|
|
"sidon_singer5",
|
|
[
|
|
0,
|
|
1,
|
|
4,
|
|
14,
|
|
16
|
|
],
|
|
30
|
|
],
|
|
[
|
|
"sidon_pow6",
|
|
[
|
|
1,
|
|
2,
|
|
4,
|
|
8,
|
|
16,
|
|
32
|
|
],
|
|
64
|
|
],
|
|
[
|
|
"nonsidon_seq5",
|
|
[
|
|
0,
|
|
1,
|
|
2,
|
|
3,
|
|
4
|
|
],
|
|
5
|
|
],
|
|
[
|
|
"nonsidon_seq6",
|
|
[
|
|
0,
|
|
1,
|
|
2,
|
|
3,
|
|
4,
|
|
5
|
|
],
|
|
5
|
|
]
|
|
],
|
|
"strand_counts": [
|
|
8,
|
|
12,
|
|
16
|
|
],
|
|
"max_depth": 50
|
|
},
|
|
"results": [
|
|
{
|
|
"label_set": [
|
|
1,
|
|
2,
|
|
4,
|
|
8,
|
|
16
|
|
],
|
|
"S": 32,
|
|
"n_strands": 8,
|
|
"max_depth": 50,
|
|
"total_states": 50,
|
|
"sidon_states": 50,
|
|
"sidon_paths": 50,
|
|
"max_modulus": 173,
|
|
"M": 2503025857120011,
|
|
"capacity_headroom_bits": 43.72,
|
|
"desc": "sidon_pow2",
|
|
"elapsed_s": 0.02,
|
|
"collapsed": false,
|
|
"stays_sidon": true
|
|
},
|
|
{
|
|
"label_set": [
|
|
1,
|
|
2,
|
|
4,
|
|
8,
|
|
16
|
|
],
|
|
"S": 32,
|
|
"n_strands": 12,
|
|
"max_depth": 50,
|
|
"total_states": 50,
|
|
"sidon_states": 50,
|
|
"sidon_paths": 50,
|
|
"max_modulus": 233,
|
|
"M": 5241335291277485756076249,
|
|
"capacity_headroom_bits": 74.25,
|
|
"desc": "sidon_pow2",
|
|
"elapsed_s": 0.07,
|
|
"collapsed": false,
|
|
"stays_sidon": true
|
|
},
|
|
{
|
|
"label_set": [
|
|
1,
|
|
2,
|
|
4,
|
|
8,
|
|
16
|
|
],
|
|
"S": 32,
|
|
"n_strands": 16,
|
|
"max_depth": 50,
|
|
"total_states": 50,
|
|
"sidon_states": 50,
|
|
"sidon_paths": 50,
|
|
"max_modulus": 293,
|
|
"M": 28081402992151033251906529133660157,
|
|
"capacity_headroom_bits": 106.24,
|
|
"desc": "sidon_pow2",
|
|
"elapsed_s": 0.26,
|
|
"collapsed": false,
|
|
"stays_sidon": true
|
|
},
|
|
{
|
|
"label_set": [
|
|
0,
|
|
1,
|
|
4,
|
|
14,
|
|
16
|
|
],
|
|
"S": 30,
|
|
"n_strands": 8,
|
|
"max_depth": 50,
|
|
"total_states": 50,
|
|
"sidon_states": 50,
|
|
"sidon_paths": 50,
|
|
"max_modulus": 173,
|
|
"M": 2503025857120011,
|
|
"capacity_headroom_bits": 43.72,
|
|
"desc": "sidon_singer5",
|
|
"elapsed_s": 0.02,
|
|
"collapsed": false,
|
|
"stays_sidon": true
|
|
},
|
|
{
|
|
"label_set": [
|
|
0,
|
|
1,
|
|
4,
|
|
14,
|
|
16
|
|
],
|
|
"S": 30,
|
|
"n_strands": 12,
|
|
"max_depth": 50,
|
|
"total_states": 50,
|
|
"sidon_states": 50,
|
|
"sidon_paths": 50,
|
|
"max_modulus": 233,
|
|
"M": 5241335291277485756076249,
|
|
"capacity_headroom_bits": 74.25,
|
|
"desc": "sidon_singer5",
|
|
"elapsed_s": 0.08,
|
|
"collapsed": false,
|
|
"stays_sidon": true
|
|
},
|
|
{
|
|
"label_set": [
|
|
0,
|
|
1,
|
|
4,
|
|
14,
|
|
16
|
|
],
|
|
"S": 30,
|
|
"n_strands": 16,
|
|
"max_depth": 50,
|
|
"total_states": 50,
|
|
"sidon_states": 50,
|
|
"sidon_paths": 50,
|
|
"max_modulus": 293,
|
|
"M": 28081402992151033251906529133660157,
|
|
"capacity_headroom_bits": 106.24,
|
|
"desc": "sidon_singer5",
|
|
"elapsed_s": 0.25,
|
|
"collapsed": false,
|
|
"stays_sidon": true
|
|
},
|
|
{
|
|
"label_set": [
|
|
1,
|
|
2,
|
|
4,
|
|
8,
|
|
16,
|
|
32
|
|
],
|
|
"S": 64,
|
|
"n_strands": 8,
|
|
"max_depth": 50,
|
|
"total_states": 50,
|
|
"sidon_states": 50,
|
|
"sidon_paths": 50,
|
|
"max_modulus": 173,
|
|
"M": 2503025857120011,
|
|
"capacity_headroom_bits": 43.72,
|
|
"desc": "sidon_pow6",
|
|
"elapsed_s": 0.02,
|
|
"collapsed": false,
|
|
"stays_sidon": true
|
|
},
|
|
{
|
|
"label_set": [
|
|
1,
|
|
2,
|
|
4,
|
|
8,
|
|
16,
|
|
32
|
|
],
|
|
"S": 64,
|
|
"n_strands": 12,
|
|
"max_depth": 50,
|
|
"total_states": 50,
|
|
"sidon_states": 50,
|
|
"sidon_paths": 50,
|
|
"max_modulus": 233,
|
|
"M": 5241335291277485756076249,
|
|
"capacity_headroom_bits": 74.25,
|
|
"desc": "sidon_pow6",
|
|
"elapsed_s": 0.08,
|
|
"collapsed": false,
|
|
"stays_sidon": true
|
|
},
|
|
{
|
|
"label_set": [
|
|
1,
|
|
2,
|
|
4,
|
|
8,
|
|
16,
|
|
32
|
|
],
|
|
"S": 64,
|
|
"n_strands": 16,
|
|
"max_depth": 50,
|
|
"total_states": 50,
|
|
"sidon_states": 50,
|
|
"sidon_paths": 50,
|
|
"max_modulus": 293,
|
|
"M": 28081402992151033251906529133660157,
|
|
"capacity_headroom_bits": 106.24,
|
|
"desc": "sidon_pow6",
|
|
"elapsed_s": 0.27,
|
|
"collapsed": false,
|
|
"stays_sidon": true
|
|
},
|
|
{
|
|
"label_set": [
|
|
0,
|
|
1,
|
|
2,
|
|
3,
|
|
4
|
|
],
|
|
"S": 5,
|
|
"n_strands": 8,
|
|
"max_depth": 50,
|
|
"total_states": 50,
|
|
"sidon_states": 0,
|
|
"sidon_paths": 0,
|
|
"max_modulus": 173,
|
|
"M": 2503025857120011,
|
|
"capacity_headroom_bits": 43.72,
|
|
"desc": "nonsidon_seq5",
|
|
"elapsed_s": 0.02,
|
|
"collapsed": false,
|
|
"stays_sidon": false
|
|
},
|
|
{
|
|
"label_set": [
|
|
0,
|
|
1,
|
|
2,
|
|
3,
|
|
4
|
|
],
|
|
"S": 5,
|
|
"n_strands": 12,
|
|
"max_depth": 50,
|
|
"total_states": 50,
|
|
"sidon_states": 0,
|
|
"sidon_paths": 0,
|
|
"max_modulus": 233,
|
|
"M": 5241335291277485756076249,
|
|
"capacity_headroom_bits": 74.25,
|
|
"desc": "nonsidon_seq5",
|
|
"elapsed_s": 0.08,
|
|
"collapsed": false,
|
|
"stays_sidon": false
|
|
},
|
|
{
|
|
"label_set": [
|
|
0,
|
|
1,
|
|
2,
|
|
3,
|
|
4
|
|
],
|
|
"S": 5,
|
|
"n_strands": 16,
|
|
"max_depth": 50,
|
|
"total_states": 50,
|
|
"sidon_states": 0,
|
|
"sidon_paths": 0,
|
|
"max_modulus": 293,
|
|
"M": 28081402992151033251906529133660157,
|
|
"capacity_headroom_bits": 106.24,
|
|
"desc": "nonsidon_seq5",
|
|
"elapsed_s": 0.25,
|
|
"collapsed": false,
|
|
"stays_sidon": false
|
|
},
|
|
{
|
|
"label_set": [
|
|
0,
|
|
1,
|
|
2,
|
|
3,
|
|
4,
|
|
5
|
|
],
|
|
"S": 5,
|
|
"n_strands": 8,
|
|
"max_depth": 50,
|
|
"total_states": 50,
|
|
"sidon_states": 0,
|
|
"sidon_paths": 0,
|
|
"max_modulus": 173,
|
|
"M": 2503025857120011,
|
|
"capacity_headroom_bits": 43.72,
|
|
"desc": "nonsidon_seq6",
|
|
"elapsed_s": 0.01,
|
|
"collapsed": false,
|
|
"stays_sidon": false
|
|
},
|
|
{
|
|
"label_set": [
|
|
0,
|
|
1,
|
|
2,
|
|
3,
|
|
4,
|
|
5
|
|
],
|
|
"S": 5,
|
|
"n_strands": 12,
|
|
"max_depth": 50,
|
|
"total_states": 50,
|
|
"sidon_states": 0,
|
|
"sidon_paths": 0,
|
|
"max_modulus": 233,
|
|
"M": 5241335291277485756076249,
|
|
"capacity_headroom_bits": 74.25,
|
|
"desc": "nonsidon_seq6",
|
|
"elapsed_s": 0.08,
|
|
"collapsed": false,
|
|
"stays_sidon": false
|
|
},
|
|
{
|
|
"label_set": [
|
|
0,
|
|
1,
|
|
2,
|
|
3,
|
|
4,
|
|
5
|
|
],
|
|
"S": 5,
|
|
"n_strands": 16,
|
|
"max_depth": 50,
|
|
"total_states": 50,
|
|
"sidon_states": 0,
|
|
"sidon_paths": 0,
|
|
"max_modulus": 293,
|
|
"M": 28081402992151033251906529133660157,
|
|
"capacity_headroom_bits": 106.24,
|
|
"desc": "nonsidon_seq6",
|
|
"elapsed_s": 0.26,
|
|
"collapsed": false,
|
|
"stays_sidon": false
|
|
}
|
|
]
|
|
} |