{ "schema_version": "0.3", "name": "[[376,98,8]] halving-constrained CPM pair-partition parent", "code_type": "CSS", "n": 376, "k": 98, "checks": { "X": [ [ 42, 57, 102, 179, 232, 257, 321, 336 ], [ 43, 58, 103, 180, 233, 258, 322, 337 ], [ 44, 59, 104, 181, 234, 259, 323, 338 ], [ 45, 60, 105, 182, 188, 260, 324, 339 ], [ 46, 61, 106, 183, 189, 261, 325, 340 ], [ 0, 62, 107, 184, 190, 262, 326, 341 ], [ 1, 63, 108, 185, 191, 263, 327, 342 ], [ 2, 64, 109, 186, 192, 264, 328, 343 ], [ 3, 65, 110, 187, 193, 265, 282, 344 ], [ 4, 66, 111, 141, 194, 266, 283, 345 ], [ 5, 67, 112, 142, 195, 267, 284, 346 ], [ 6, 68, 113, 143, 196, 268, 285, 347 ], [ 7, 69, 114, 144, 197, 269, 286, 348 ], [ 8, 70, 115, 145, 198, 270, 287, 349 ], [ 9, 71, 116, 146, 199, 271, 288, 350 ], [ 10, 72, 117, 147, 200, 272, 289, 351 ], [ 11, 73, 118, 148, 201, 273, 290, 352 ], [ 12, 74, 119, 149, 202, 274, 291, 353 ], [ 13, 75, 120, 150, 203, 275, 292, 354 ], [ 14, 76, 121, 151, 204, 276, 293, 355 ], [ 15, 77, 122, 152, 205, 277, 294, 356 ], [ 16, 78, 123, 153, 206, 278, 295, 357 ], [ 17, 79, 124, 154, 207, 279, 296, 358 ], [ 18, 80, 125, 155, 208, 280, 297, 359 ], [ 19, 81, 126, 156, 209, 281, 298, 360 ], [ 20, 82, 127, 157, 210, 235, 299, 361 ], [ 21, 83, 128, 158, 211, 236, 300, 362 ], [ 22, 84, 129, 159, 212, 237, 301, 363 ], [ 23, 85, 130, 160, 213, 238, 302, 364 ], [ 24, 86, 131, 161, 214, 239, 303, 365 ], [ 25, 87, 132, 162, 215, 240, 304, 366 ], [ 26, 88, 133, 163, 216, 241, 305, 367 ], [ 27, 89, 134, 164, 217, 242, 306, 368 ], [ 28, 90, 135, 165, 218, 243, 307, 369 ], [ 29, 91, 136, 166, 219, 244, 308, 370 ], [ 30, 92, 137, 167, 220, 245, 309, 371 ], [ 31, 93, 138, 168, 221, 246, 310, 372 ], [ 32, 47, 139, 169, 222, 247, 311, 373 ], [ 33, 48, 140, 170, 223, 248, 312, 374 ], [ 34, 49, 94, 171, 224, 249, 313, 375 ], [ 35, 50, 95, 172, 225, 250, 314, 329 ], [ 36, 51, 96, 173, 226, 251, 315, 330 ], [ 37, 52, 97, 174, 227, 252, 316, 331 ], [ 38, 53, 98, 175, 228, 253, 317, 332 ], [ 39, 54, 99, 176, 229, 254, 318, 333 ], [ 40, 55, 100, 177, 230, 255, 319, 334 ], [ 41, 56, 101, 178, 231, 256, 320, 335 ], [ 30, 78, 106, 151, 201, 249, 296, 374 ], [ 31, 79, 107, 152, 202, 250, 297, 375 ], [ 32, 80, 108, 153, 203, 251, 298, 329 ], [ 33, 81, 109, 154, 204, 252, 299, 330 ], [ 34, 82, 110, 155, 205, 253, 300, 331 ], [ 35, 83, 111, 156, 206, 254, 301, 332 ], [ 36, 84, 112, 157, 207, 255, 302, 333 ], [ 37, 85, 113, 158, 208, 256, 303, 334 ], [ 38, 86, 114, 159, 209, 257, 304, 335 ], [ 39, 87, 115, 160, 210, 258, 305, 336 ], [ 40, 88, 116, 161, 211, 259, 306, 337 ], [ 41, 89, 117, 162, 212, 260, 307, 338 ], [ 42, 90, 118, 163, 213, 261, 308, 339 ], [ 43, 91, 119, 164, 214, 262, 309, 340 ], [ 44, 92, 120, 165, 215, 263, 310, 341 ], [ 45, 93, 121, 166, 216, 264, 311, 342 ], [ 46, 47, 122, 167, 217, 265, 312, 343 ], [ 0, 48, 123, 168, 218, 266, 313, 344 ], [ 1, 49, 124, 169, 219, 267, 314, 345 ], [ 2, 50, 125, 170, 220, 268, 315, 346 ], [ 3, 51, 126, 171, 221, 269, 316, 347 ], [ 4, 52, 127, 172, 222, 270, 317, 348 ], [ 5, 53, 128, 173, 223, 271, 318, 349 ], [ 6, 54, 129, 174, 224, 272, 319, 350 ], [ 7, 55, 130, 175, 225, 273, 320, 351 ], [ 8, 56, 131, 176, 226, 274, 321, 352 ], [ 9, 57, 132, 177, 227, 275, 322, 353 ], [ 10, 58, 133, 178, 228, 276, 323, 354 ], [ 11, 59, 134, 179, 229, 277, 324, 355 ], [ 12, 60, 135, 180, 230, 278, 325, 356 ], [ 13, 61, 136, 181, 231, 279, 326, 357 ], [ 14, 62, 137, 182, 232, 280, 327, 358 ], [ 15, 63, 138, 183, 233, 281, 328, 359 ], [ 16, 64, 139, 184, 234, 235, 282, 360 ], [ 17, 65, 140, 185, 188, 236, 283, 361 ], [ 18, 66, 94, 186, 189, 237, 284, 362 ], [ 19, 67, 95, 187, 190, 238, 285, 363 ], [ 20, 68, 96, 141, 191, 239, 286, 364 ], [ 21, 69, 97, 142, 192, 240, 287, 365 ], [ 22, 70, 98, 143, 193, 241, 288, 366 ], [ 23, 71, 99, 144, 194, 242, 289, 367 ], [ 24, 72, 100, 145, 195, 243, 290, 368 ], [ 25, 73, 101, 146, 196, 244, 291, 369 ], [ 26, 74, 102, 147, 197, 245, 292, 370 ], [ 27, 75, 103, 148, 198, 246, 293, 371 ], [ 28, 76, 104, 149, 199, 247, 294, 372 ], [ 29, 77, 105, 150, 200, 248, 295, 373 ], [ 37, 82, 126, 175, 227, 272, 287, 333 ], [ 38, 83, 127, 176, 228, 273, 288, 334 ], [ 39, 84, 128, 177, 229, 274, 289, 335 ], [ 40, 85, 129, 178, 230, 275, 290, 336 ], [ 41, 86, 130, 179, 231, 276, 291, 337 ], [ 42, 87, 131, 180, 232, 277, 292, 338 ], [ 43, 88, 132, 181, 233, 278, 293, 339 ], [ 44, 89, 133, 182, 234, 279, 294, 340 ], [ 45, 90, 134, 183, 188, 280, 295, 341 ], [ 46, 91, 135, 184, 189, 281, 296, 342 ], [ 0, 92, 136, 185, 190, 235, 297, 343 ], [ 1, 93, 137, 186, 191, 236, 298, 344 ], [ 2, 47, 138, 187, 192, 237, 299, 345 ], [ 3, 48, 139, 141, 193, 238, 300, 346 ], [ 4, 49, 140, 142, 194, 239, 301, 347 ], [ 5, 50, 94, 143, 195, 240, 302, 348 ], [ 6, 51, 95, 144, 196, 241, 303, 349 ], [ 7, 52, 96, 145, 197, 242, 304, 350 ], [ 8, 53, 97, 146, 198, 243, 305, 351 ], [ 9, 54, 98, 147, 199, 244, 306, 352 ], [ 10, 55, 99, 148, 200, 245, 307, 353 ], [ 11, 56, 100, 149, 201, 246, 308, 354 ], [ 12, 57, 101, 150, 202, 247, 309, 355 ], [ 13, 58, 102, 151, 203, 248, 310, 356 ], [ 14, 59, 103, 152, 204, 249, 311, 357 ], [ 15, 60, 104, 153, 205, 250, 312, 358 ], [ 16, 61, 105, 154, 206, 251, 313, 359 ], [ 17, 62, 106, 155, 207, 252, 314, 360 ], [ 18, 63, 107, 156, 208, 253, 315, 361 ], [ 19, 64, 108, 157, 209, 254, 316, 362 ], [ 20, 65, 109, 158, 210, 255, 317, 363 ], [ 21, 66, 110, 159, 211, 256, 318, 364 ], [ 22, 67, 111, 160, 212, 257, 319, 365 ], [ 23, 68, 112, 161, 213, 258, 320, 366 ], [ 24, 69, 113, 162, 214, 259, 321, 367 ], [ 25, 70, 114, 163, 215, 260, 322, 368 ], [ 26, 71, 115, 164, 216, 261, 323, 369 ], [ 27, 72, 116, 165, 217, 262, 324, 370 ], [ 28, 73, 117, 166, 218, 263, 325, 371 ], [ 29, 74, 118, 167, 219, 264, 326, 372 ], [ 30, 75, 119, 168, 220, 265, 327, 373 ], [ 31, 76, 120, 169, 221, 266, 328, 374 ], [ 32, 77, 121, 170, 222, 267, 282, 375 ], [ 33, 78, 122, 171, 223, 268, 283, 329 ], [ 34, 79, 123, 172, 224, 269, 284, 330 ], [ 35, 80, 124, 173, 225, 270, 285, 331 ], [ 36, 81, 125, 174, 226, 271, 286, 332 ] ], "Z": [ [ 8, 56, 97, 178, 227, 275, 287, 354 ], [ 9, 57, 98, 179, 228, 276, 288, 355 ], [ 10, 58, 99, 180, 229, 277, 289, 356 ], [ 11, 59, 100, 181, 230, 278, 290, 357 ], [ 12, 60, 101, 182, 231, 279, 291, 358 ], [ 13, 61, 102, 183, 232, 280, 292, 359 ], [ 14, 62, 103, 184, 233, 281, 293, 360 ], [ 15, 63, 104, 185, 234, 235, 294, 361 ], [ 16, 64, 105, 186, 188, 236, 295, 362 ], [ 17, 65, 106, 187, 189, 237, 296, 363 ], [ 18, 66, 107, 141, 190, 238, 297, 364 ], [ 19, 67, 108, 142, 191, 239, 298, 365 ], [ 20, 68, 109, 143, 192, 240, 299, 366 ], [ 21, 69, 110, 144, 193, 241, 300, 367 ], [ 22, 70, 111, 145, 194, 242, 301, 368 ], [ 23, 71, 112, 146, 195, 243, 302, 369 ], [ 24, 72, 113, 147, 196, 244, 303, 370 ], [ 25, 73, 114, 148, 197, 245, 304, 371 ], [ 26, 74, 115, 149, 198, 246, 305, 372 ], [ 27, 75, 116, 150, 199, 247, 306, 373 ], [ 28, 76, 117, 151, 200, 248, 307, 374 ], [ 29, 77, 118, 152, 201, 249, 308, 375 ], [ 30, 78, 119, 153, 202, 250, 309, 329 ], [ 31, 79, 120, 154, 203, 251, 310, 330 ], [ 32, 80, 121, 155, 204, 252, 311, 331 ], [ 33, 81, 122, 156, 205, 253, 312, 332 ], [ 34, 82, 123, 157, 206, 254, 313, 333 ], [ 35, 83, 124, 158, 207, 255, 314, 334 ], [ 36, 84, 125, 159, 208, 256, 315, 335 ], [ 37, 85, 126, 160, 209, 257, 316, 336 ], [ 38, 86, 127, 161, 210, 258, 317, 337 ], [ 39, 87, 128, 162, 211, 259, 318, 338 ], [ 40, 88, 129, 163, 212, 260, 319, 339 ], [ 41, 89, 130, 164, 213, 261, 320, 340 ], [ 42, 90, 131, 165, 214, 262, 321, 341 ], [ 43, 91, 132, 166, 215, 263, 322, 342 ], [ 44, 92, 133, 167, 216, 264, 323, 343 ], [ 45, 93, 134, 168, 217, 265, 324, 344 ], [ 46, 47, 135, 169, 218, 266, 325, 345 ], [ 0, 48, 136, 170, 219, 267, 326, 346 ], [ 1, 49, 137, 171, 220, 268, 327, 347 ], [ 2, 50, 138, 172, 221, 269, 328, 348 ], [ 3, 51, 139, 173, 222, 270, 282, 349 ], [ 4, 52, 140, 174, 223, 271, 283, 350 ], [ 5, 53, 94, 175, 224, 272, 284, 351 ], [ 6, 54, 95, 176, 225, 273, 285, 352 ], [ 7, 55, 96, 177, 226, 274, 286, 353 ], [ 33, 84, 128, 157, 223, 237, 299, 362 ], [ 34, 85, 129, 158, 224, 238, 300, 363 ], [ 35, 86, 130, 159, 225, 239, 301, 364 ], [ 36, 87, 131, 160, 226, 240, 302, 365 ], [ 37, 88, 132, 161, 227, 241, 303, 366 ], [ 38, 89, 133, 162, 228, 242, 304, 367 ], [ 39, 90, 134, 163, 229, 243, 305, 368 ], [ 40, 91, 135, 164, 230, 244, 306, 369 ], [ 41, 92, 136, 165, 231, 245, 307, 370 ], [ 42, 93, 137, 166, 232, 246, 308, 371 ], [ 43, 47, 138, 167, 233, 247, 309, 372 ], [ 44, 48, 139, 168, 234, 248, 310, 373 ], [ 45, 49, 140, 169, 188, 249, 311, 374 ], [ 46, 50, 94, 170, 189, 250, 312, 375 ], [ 0, 51, 95, 171, 190, 251, 313, 329 ], [ 1, 52, 96, 172, 191, 252, 314, 330 ], [ 2, 53, 97, 173, 192, 253, 315, 331 ], [ 3, 54, 98, 174, 193, 254, 316, 332 ], [ 4, 55, 99, 175, 194, 255, 317, 333 ], [ 5, 56, 100, 176, 195, 256, 318, 334 ], [ 6, 57, 101, 177, 196, 257, 319, 335 ], [ 7, 58, 102, 178, 197, 258, 320, 336 ], [ 8, 59, 103, 179, 198, 259, 321, 337 ], [ 9, 60, 104, 180, 199, 260, 322, 338 ], [ 10, 61, 105, 181, 200, 261, 323, 339 ], [ 11, 62, 106, 182, 201, 262, 324, 340 ], [ 12, 63, 107, 183, 202, 263, 325, 341 ], [ 13, 64, 108, 184, 203, 264, 326, 342 ], [ 14, 65, 109, 185, 204, 265, 327, 343 ], [ 15, 66, 110, 186, 205, 266, 328, 344 ], [ 16, 67, 111, 187, 206, 267, 282, 345 ], [ 17, 68, 112, 141, 207, 268, 283, 346 ], [ 18, 69, 113, 142, 208, 269, 284, 347 ], [ 19, 70, 114, 143, 209, 270, 285, 348 ], [ 20, 71, 115, 144, 210, 271, 286, 349 ], [ 21, 72, 116, 145, 211, 272, 287, 350 ], [ 22, 73, 117, 146, 212, 273, 288, 351 ], [ 23, 74, 118, 147, 213, 274, 289, 352 ], [ 24, 75, 119, 148, 214, 275, 290, 353 ], [ 25, 76, 120, 149, 215, 276, 291, 354 ], [ 26, 77, 121, 150, 216, 277, 292, 355 ], [ 27, 78, 122, 151, 217, 278, 293, 356 ], [ 28, 79, 123, 152, 218, 279, 294, 357 ], [ 29, 80, 124, 153, 219, 280, 295, 358 ], [ 30, 81, 125, 154, 220, 281, 296, 359 ], [ 31, 82, 126, 155, 221, 235, 297, 360 ], [ 32, 83, 127, 156, 222, 236, 298, 361 ], [ 42, 60, 102, 153, 203, 278, 292, 339 ], [ 43, 61, 103, 154, 204, 279, 293, 340 ], [ 44, 62, 104, 155, 205, 280, 294, 341 ], [ 45, 63, 105, 156, 206, 281, 295, 342 ], [ 46, 64, 106, 157, 207, 235, 296, 343 ], [ 0, 65, 107, 158, 208, 236, 297, 344 ], [ 1, 66, 108, 159, 209, 237, 298, 345 ], [ 2, 67, 109, 160, 210, 238, 299, 346 ], [ 3, 68, 110, 161, 211, 239, 300, 347 ], [ 4, 69, 111, 162, 212, 240, 301, 348 ], [ 5, 70, 112, 163, 213, 241, 302, 349 ], [ 6, 71, 113, 164, 214, 242, 303, 350 ], [ 7, 72, 114, 165, 215, 243, 304, 351 ], [ 8, 73, 115, 166, 216, 244, 305, 352 ], [ 9, 74, 116, 167, 217, 245, 306, 353 ], [ 10, 75, 117, 168, 218, 246, 307, 354 ], [ 11, 76, 118, 169, 219, 247, 308, 355 ], [ 12, 77, 119, 170, 220, 248, 309, 356 ], [ 13, 78, 120, 171, 221, 249, 310, 357 ], [ 14, 79, 121, 172, 222, 250, 311, 358 ], [ 15, 80, 122, 173, 223, 251, 312, 359 ], [ 16, 81, 123, 174, 224, 252, 313, 360 ], [ 17, 82, 124, 175, 225, 253, 314, 361 ], [ 18, 83, 125, 176, 226, 254, 315, 362 ], [ 19, 84, 126, 177, 227, 255, 316, 363 ], [ 20, 85, 127, 178, 228, 256, 317, 364 ], [ 21, 86, 128, 179, 229, 257, 318, 365 ], [ 22, 87, 129, 180, 230, 258, 319, 366 ], [ 23, 88, 130, 181, 231, 259, 320, 367 ], [ 24, 89, 131, 182, 232, 260, 321, 368 ], [ 25, 90, 132, 183, 233, 261, 322, 369 ], [ 26, 91, 133, 184, 234, 262, 323, 370 ], [ 27, 92, 134, 185, 188, 263, 324, 371 ], [ 28, 93, 135, 186, 189, 264, 325, 372 ], [ 29, 47, 136, 187, 190, 265, 326, 373 ], [ 30, 48, 137, 141, 191, 266, 327, 374 ], [ 31, 49, 138, 142, 192, 267, 328, 375 ], [ 32, 50, 139, 143, 193, 268, 282, 329 ], [ 33, 51, 140, 144, 194, 269, 283, 330 ], [ 34, 52, 94, 145, 195, 270, 284, 331 ], [ 35, 53, 95, 146, 196, 271, 285, 332 ], [ 36, 54, 96, 147, 197, 272, 286, 333 ], [ 37, 55, 97, 148, 198, 273, 287, 334 ], [ 38, 56, 98, 149, 199, 274, 288, 335 ], [ 39, 57, 99, 150, 200, 275, 289, 336 ], [ 40, 58, 100, 151, 201, 276, 290, 337 ], [ 41, 59, 101, 152, 202, 277, 291, 338 ] ] }, "distance": { "d": 8, "X": { "value": 8, "confidence": "upper_bound", "witness": [ 6, 34, 95, 113, 196, 224, 284, 313 ] }, "Z": { "value": 8, "confidence": "upper_bound", "witness": [ 6, 24, 94, 113, 195, 224, 284, 303 ] } }, "provenance": { "construction": "CPM pair-partition CSS code (Okada-Kasai family, arXiv:2607.14091) under the symplectic-halving constraint of arXiv:2609.30069 Prop. 4 (eta = -1). (J,L,P)=(3,8,47), n = L*P = 376. Block (i,l) of H_X is the P x P circulant permutation matrix C(E[i][l]) with H_X[i*P+r, l*P+c] = 1 iff c = (r - E[i][l]) mod 47, and H_Z is the same with D[j][l] = -E[j][sigma(l)] mod 47, where sigma(l) = l=0->6, l=1->3, l=2->4, l=3->1, l=4->2, l=5->7, l=6->0, l=7->5. E = [[5, 37, 39, 9, 3, 25, 8, 40], [17, 16, 35, 37, 34, 33, 33, 2], [10, 12, 15, 13, 8, 10, 42, 43]].", "notes": "The CSS parent of a symplectic-halved draw; its fold S = (A | B) on 188 qubits is submitted as a stabilizer-board entry. Solved in the pair-partition null space and hill-climbed inside it. Equivalence to an existing entry was checked by the trusted gate (exact-duplicate and WL-equivalent both null). Literature novelty unverified. Distances are witness-backed upper bounds, not exact certificates.", "authors": [ "@MathysRennela" ], "references": [ "arXiv:2609.30069", "arXiv:2607.14091" ], "date": "2026-10-01", "model": "Space Bunny Alpha 1.0" }, "family": "pair-partition-cpm" }