verify_shor_witness
QC-001 Shor witness certifier. Presented (N, halfPow, factor, cofactor) as decimal strings. halfPow squared == 1 (mod N), halfPow != 1 or N-1, gcd(halfPow-1,N)=factor, factor*cofactor=N. Does not find a period. Optional q_hex/object is a Q-only Affine expose (no k): returns patoshi_expose + shors_qmt_witness + topological_shear. period_r carries an ECDLP scalar or is empty; the Affine period turn's companion images travel as c1_recon_hex/c3_add_hex inside topological_shear, never as period_r. Verdict on a Q expose is the measured jordan_proven tag. Floats refused.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| N | No | the modulus, decimal, e.g. 15 | |
| q_hex | No | optional Affine Q hex; Q-only expose envelope; no k. e.g. 0279be667ef9dcbbac55a06295ce870b07029bfcdb2dce28d959f2815b16f81798 | |
| factor | No | gcd(halfPow-1, N), decimal, e.g. 3 | |
| object | No | alias of q_hex. e.g. 0279be667ef9dcbbac55a06295ce870b07029bfcdb2dce28d959f2815b16f81798 | |
| halfPow | No | the witness a with a^2 == 1 (mod N) and a != 1, N-1, decimal, e.g. 4 for N=15 | |
| cofactor | No | N / factor, decimal, e.g. 5 |