{ "schema_version": "0.3", "name": "[[376,190,4]] halving-constrained CPM pair-partition parent", "code_type": "CSS", "n": 376, "k": 190, "checks": { "X": [ [ 25, 65, 97, 167, 220, 242, 312, 370 ], [ 26, 66, 98, 168, 221, 243, 313, 371 ], [ 27, 67, 99, 169, 222, 244, 314, 372 ], [ 28, 68, 100, 170, 223, 245, 315, 373 ], [ 29, 69, 101, 171, 224, 246, 316, 374 ], [ 30, 70, 102, 172, 225, 247, 317, 375 ], [ 31, 71, 103, 173, 226, 248, 318, 329 ], [ 32, 72, 104, 174, 227, 249, 319, 330 ], [ 33, 73, 105, 175, 228, 250, 320, 331 ], [ 34, 74, 106, 176, 229, 251, 321, 332 ], [ 35, 75, 107, 177, 230, 252, 322, 333 ], [ 36, 76, 108, 178, 231, 253, 323, 334 ], [ 37, 77, 109, 179, 232, 254, 324, 335 ], [ 38, 78, 110, 180, 233, 255, 325, 336 ], [ 39, 79, 111, 181, 234, 256, 326, 337 ], [ 40, 80, 112, 182, 188, 257, 327, 338 ], [ 41, 81, 113, 183, 189, 258, 328, 339 ], [ 42, 82, 114, 184, 190, 259, 282, 340 ], [ 43, 83, 115, 185, 191, 260, 283, 341 ], [ 44, 84, 116, 186, 192, 261, 284, 342 ], [ 45, 85, 117, 187, 193, 262, 285, 343 ], [ 46, 86, 118, 141, 194, 263, 286, 344 ], [ 0, 87, 119, 142, 195, 264, 287, 345 ], [ 1, 88, 120, 143, 196, 265, 288, 346 ], [ 2, 89, 121, 144, 197, 266, 289, 347 ], [ 3, 90, 122, 145, 198, 267, 290, 348 ], [ 4, 91, 123, 146, 199, 268, 291, 349 ], [ 5, 92, 124, 147, 200, 269, 292, 350 ], [ 6, 93, 125, 148, 201, 270, 293, 351 ], [ 7, 47, 126, 149, 202, 271, 294, 352 ], [ 8, 48, 127, 150, 203, 272, 295, 353 ], [ 9, 49, 128, 151, 204, 273, 296, 354 ], [ 10, 50, 129, 152, 205, 274, 297, 355 ], [ 11, 51, 130, 153, 206, 275, 298, 356 ], [ 12, 52, 131, 154, 207, 276, 299, 357 ], [ 13, 53, 132, 155, 208, 277, 300, 358 ], [ 14, 54, 133, 156, 209, 278, 301, 359 ], [ 15, 55, 134, 157, 210, 279, 302, 360 ], [ 16, 56, 135, 158, 211, 280, 303, 361 ], [ 17, 57, 136, 159, 212, 281, 304, 362 ], [ 18, 58, 137, 160, 213, 235, 305, 363 ], [ 19, 59, 138, 161, 214, 236, 306, 364 ], [ 20, 60, 139, 162, 215, 237, 307, 365 ], [ 21, 61, 140, 163, 216, 238, 308, 366 ], [ 22, 62, 94, 164, 217, 239, 309, 367 ], [ 23, 63, 95, 165, 218, 240, 310, 368 ], [ 24, 64, 96, 166, 219, 241, 311, 369 ], [ 23, 74, 110, 142, 223, 242, 323, 360 ], [ 24, 75, 111, 143, 224, 243, 324, 361 ], [ 25, 76, 112, 144, 225, 244, 325, 362 ], [ 26, 77, 113, 145, 226, 245, 326, 363 ], [ 27, 78, 114, 146, 227, 246, 327, 364 ], [ 28, 79, 115, 147, 228, 247, 328, 365 ], [ 29, 80, 116, 148, 229, 248, 282, 366 ], [ 30, 81, 117, 149, 230, 249, 283, 367 ], [ 31, 82, 118, 150, 231, 250, 284, 368 ], [ 32, 83, 119, 151, 232, 251, 285, 369 ], [ 33, 84, 120, 152, 233, 252, 286, 370 ], [ 34, 85, 121, 153, 234, 253, 287, 371 ], [ 35, 86, 122, 154, 188, 254, 288, 372 ], [ 36, 87, 123, 155, 189, 255, 289, 373 ], [ 37, 88, 124, 156, 190, 256, 290, 374 ], [ 38, 89, 125, 157, 191, 257, 291, 375 ], [ 39, 90, 126, 158, 192, 258, 292, 329 ], [ 40, 91, 127, 159, 193, 259, 293, 330 ], [ 41, 92, 128, 160, 194, 260, 294, 331 ], [ 42, 93, 129, 161, 195, 261, 295, 332 ], [ 43, 47, 130, 162, 196, 262, 296, 333 ], [ 44, 48, 131, 163, 197, 263, 297, 334 ], [ 45, 49, 132, 164, 198, 264, 298, 335 ], [ 46, 50, 133, 165, 199, 265, 299, 336 ], [ 0, 51, 134, 166, 200, 266, 300, 337 ], [ 1, 52, 135, 167, 201, 267, 301, 338 ], [ 2, 53, 136, 168, 202, 268, 302, 339 ], [ 3, 54, 137, 169, 203, 269, 303, 340 ], [ 4, 55, 138, 170, 204, 270, 304, 341 ], [ 5, 56, 139, 171, 205, 271, 305, 342 ], [ 6, 57, 140, 172, 206, 272, 306, 343 ], [ 7, 58, 94, 173, 207, 273, 307, 344 ], [ 8, 59, 95, 174, 208, 274, 308, 345 ], [ 9, 60, 96, 175, 209, 275, 309, 346 ], [ 10, 61, 97, 176, 210, 276, 310, 347 ], [ 11, 62, 98, 177, 211, 277, 311, 348 ], [ 12, 63, 99, 178, 212, 278, 312, 349 ], [ 13, 64, 100, 179, 213, 279, 313, 350 ], [ 14, 65, 101, 180, 214, 280, 314, 351 ], [ 15, 66, 102, 181, 215, 281, 315, 352 ], [ 16, 67, 103, 182, 216, 235, 316, 353 ], [ 17, 68, 104, 183, 217, 236, 317, 354 ], [ 18, 69, 105, 184, 218, 237, 318, 355 ], [ 19, 70, 106, 185, 219, 238, 319, 356 ], [ 20, 71, 107, 186, 220, 239, 320, 357 ], [ 21, 72, 108, 187, 221, 240, 321, 358 ], [ 22, 73, 109, 141, 222, 241, 322, 359 ] ], "Z": [ [ 17, 68, 109, 170, 232, 241, 304, 369 ], [ 18, 69, 110, 171, 233, 242, 305, 370 ], [ 19, 70, 111, 172, 234, 243, 306, 371 ], [ 20, 71, 112, 173, 188, 244, 307, 372 ], [ 21, 72, 113, 174, 189, 245, 308, 373 ], [ 22, 73, 114, 175, 190, 246, 309, 374 ], [ 23, 74, 115, 176, 191, 247, 310, 375 ], [ 24, 75, 116, 177, 192, 248, 311, 329 ], [ 25, 76, 117, 178, 193, 249, 312, 330 ], [ 26, 77, 118, 179, 194, 250, 313, 331 ], [ 27, 78, 119, 180, 195, 251, 314, 332 ], [ 28, 79, 120, 181, 196, 252, 315, 333 ], [ 29, 80, 121, 182, 197, 253, 316, 334 ], [ 30, 81, 122, 183, 198, 254, 317, 335 ], [ 31, 82, 123, 184, 199, 255, 318, 336 ], [ 32, 83, 124, 185, 200, 256, 319, 337 ], [ 33, 84, 125, 186, 201, 257, 320, 338 ], [ 34, 85, 126, 187, 202, 258, 321, 339 ], [ 35, 86, 127, 141, 203, 259, 322, 340 ], [ 36, 87, 128, 142, 204, 260, 323, 341 ], [ 37, 88, 129, 143, 205, 261, 324, 342 ], [ 38, 89, 130, 144, 206, 262, 325, 343 ], [ 39, 90, 131, 145, 207, 263, 326, 344 ], [ 40, 91, 132, 146, 208, 264, 327, 345 ], [ 41, 92, 133, 147, 209, 265, 328, 346 ], [ 42, 93, 134, 148, 210, 266, 282, 347 ], [ 43, 47, 135, 149, 211, 267, 283, 348 ], [ 44, 48, 136, 150, 212, 268, 284, 349 ], [ 45, 49, 137, 151, 213, 269, 285, 350 ], [ 46, 50, 138, 152, 214, 270, 286, 351 ], [ 0, 51, 139, 153, 215, 271, 287, 352 ], [ 1, 52, 140, 154, 216, 272, 288, 353 ], [ 2, 53, 94, 155, 217, 273, 289, 354 ], [ 3, 54, 95, 156, 218, 274, 290, 355 ], [ 4, 55, 96, 157, 219, 275, 291, 356 ], [ 5, 56, 97, 158, 220, 276, 292, 357 ], [ 6, 57, 98, 159, 221, 277, 293, 358 ], [ 7, 58, 99, 160, 222, 278, 294, 359 ], [ 8, 59, 100, 161, 223, 279, 295, 360 ], [ 9, 60, 101, 162, 224, 280, 296, 361 ], [ 10, 61, 102, 163, 225, 281, 297, 362 ], [ 11, 62, 103, 164, 226, 235, 298, 363 ], [ 12, 63, 104, 165, 227, 236, 299, 364 ], [ 13, 64, 105, 166, 228, 237, 300, 365 ], [ 14, 65, 106, 167, 229, 238, 301, 366 ], [ 15, 66, 107, 168, 230, 239, 302, 367 ], [ 16, 67, 108, 169, 231, 240, 303, 368 ], [ 6, 93, 106, 161, 219, 251, 306, 369 ], [ 7, 47, 107, 162, 220, 252, 307, 370 ], [ 8, 48, 108, 163, 221, 253, 308, 371 ], [ 9, 49, 109, 164, 222, 254, 309, 372 ], [ 10, 50, 110, 165, 223, 255, 310, 373 ], [ 11, 51, 111, 166, 224, 256, 311, 374 ], [ 12, 52, 112, 167, 225, 257, 312, 375 ], [ 13, 53, 113, 168, 226, 258, 313, 329 ], [ 14, 54, 114, 169, 227, 259, 314, 330 ], [ 15, 55, 115, 170, 228, 260, 315, 331 ], [ 16, 56, 116, 171, 229, 261, 316, 332 ], [ 17, 57, 117, 172, 230, 262, 317, 333 ], [ 18, 58, 118, 173, 231, 263, 318, 334 ], [ 19, 59, 119, 174, 232, 264, 319, 335 ], [ 20, 60, 120, 175, 233, 265, 320, 336 ], [ 21, 61, 121, 176, 234, 266, 321, 337 ], [ 22, 62, 122, 177, 188, 267, 322, 338 ], [ 23, 63, 123, 178, 189, 268, 323, 339 ], [ 24, 64, 124, 179, 190, 269, 324, 340 ], [ 25, 65, 125, 180, 191, 270, 325, 341 ], [ 26, 66, 126, 181, 192, 271, 326, 342 ], [ 27, 67, 127, 182, 193, 272, 327, 343 ], [ 28, 68, 128, 183, 194, 273, 328, 344 ], [ 29, 69, 129, 184, 195, 274, 282, 345 ], [ 30, 70, 130, 185, 196, 275, 283, 346 ], [ 31, 71, 131, 186, 197, 276, 284, 347 ], [ 32, 72, 132, 187, 198, 277, 285, 348 ], [ 33, 73, 133, 141, 199, 278, 286, 349 ], [ 34, 74, 134, 142, 200, 279, 287, 350 ], [ 35, 75, 135, 143, 201, 280, 288, 351 ], [ 36, 76, 136, 144, 202, 281, 289, 352 ], [ 37, 77, 137, 145, 203, 235, 290, 353 ], [ 38, 78, 138, 146, 204, 236, 291, 354 ], [ 39, 79, 139, 147, 205, 237, 292, 355 ], [ 40, 80, 140, 148, 206, 238, 293, 356 ], [ 41, 81, 94, 149, 207, 239, 294, 357 ], [ 42, 82, 95, 150, 208, 240, 295, 358 ], [ 43, 83, 96, 151, 209, 241, 296, 359 ], [ 44, 84, 97, 152, 210, 242, 297, 360 ], [ 45, 85, 98, 153, 211, 243, 298, 361 ], [ 46, 86, 99, 154, 212, 244, 299, 362 ], [ 0, 87, 100, 155, 213, 245, 300, 363 ], [ 1, 88, 101, 156, 214, 246, 301, 364 ], [ 2, 89, 102, 157, 215, 247, 302, 365 ], [ 3, 90, 103, 158, 216, 248, 303, 366 ], [ 4, 91, 104, 159, 217, 249, 304, 367 ], [ 5, 92, 105, 160, 218, 250, 305, 368 ] ] }, "distance": { "d": 4, "X": { "value": 4, "confidence": "upper_bound", "witness": [ 106, 229, 251, 332 ] }, "Z": { "value": 4, "confidence": "upper_bound", "witness": [ 5, 213, 305, 350 ] } }, "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)=(2,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 = [[22, 29, 44, 21, 15, 40, 17, 6], [24, 20, 31, 46, 12, 40, 6, 16]].", "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" }