Achieving consecutive integers as norms from a quadratic field This question is inspired by my inability to make any progress on Will Jagy's question. 
Giving a positive answer to this question should be strictly easier than proving Jagy's conjectures.
Suppose that $K/\mathbb{Q}$ is an imaginary quadratic extension. Let $\chi$ be the corresponding quadratic character. Suppose that there exist $k$ consecutive integers such that $\chi(a)=\chi(a+1)=\ldots=\chi(a+k-1)=1$. Do there necessarily exist infinitely many integers $b$ such that $b$, $b+1$, ... and $b+k-1$ are all norms of ideals in $\mathcal{O}_K$?
For example, the first interesting case is to determine whether there are infinitely many $b$ such that, in the prime factorizations of both $b$ and $b+1$, those primes which are $3$, $5$ or $6$ modulo $7$ all occur an even number of times. 
The motivation here is that Jagy's questions seem to mix a "sieve" question and a "class group" question. My question aims to isolate the sieve problem as its own challenge.
 A: The answer to Speyer's question as stated is no, this need not be 
the case.  To see this let $p\equiv 3\pmod 4$ be a prime and consider 
the associated imaginary quadratic field ${\Bbb Q}(\sqrt{-p})$.  Note that 
the associated quadratic character is simply the Legendre symbol $(\frac{n}{p})$.  
Then as observed by David Hansen, if $p$ is sufficiently large, there will 
certainly exist $k$ consecutive quadratic residues $\pmod p$ so that the 
hypothesis in Speyer's question is satisfied.  But on the other hand if 
say $3$ is a non-residue $\pmod p$ then among any six integers there would 
be an integer divisible by $3$ and not $9$ and this integer cannot be 
the norm of an ideal.   
The right conjecture is that if the primes below $k$ are split in 
the number field $K$ then there must be infinitely many strings of $k$ 
consecutive numbers all of which are norms of ideals in $K$.   This does not 
seem easy to prove, and I think (for $k\ge 3$) is comparable in strength 
to the Hardy-Littlewood prime $k$-tuples conjecture.  One can also deduce this 
result from the (generalized) Hardy-Littlewood conjectures:  If $D$ is 
such a discriminant, consider the $k$-tuple $|D|k! n +1, \ldots, |D|k! n+k$. 
These will all satisfy $\chi(|D|k! n+\ell) =1$ (since $\chi(\ell)=1$ for all $\ell \le k$ by assumption), and it should be possible (by Hardy-Littlewood) to arrange all 
the $|D|k!n/\ell +1$ to be primes.  That does the job.  
Alternatively, one can argue as in Hardy-Littlewood and write down conjectures 
for the number of consecutive $k$-tuples that are norms of ideals. One would also 
guess that these could be made to lie in arbitrary classes of the class group, 
and that would answer the motivating question of Jagy on quadratic forms.  
A: Just to get things started:
It happens that I already did the case of 7 in my original question. There are infinitely many solutions to $ u^2 - 7 v^2 = 2$ in integers, beginning with $ u = 3, \; v = 1.$ For any such pair, the positive binary form $ x^2 + 7 y^2 $ integrally represents the consecutive triple
$$  7 v^2, \; 1 + 7 v^2, \; 2 + 7 v^2 = u^2.  $$
For the first and third numbers prime factorization is evident. For the middle number, and indeed anything integrally represented by $ x^2 + 7 y^2,$ we know that for any prime factor $p$ with $(-7 | p) = -1$ the exponent must be even. In this particular case those exponents must be $0$ because of the $1.$ So there are an infinite number of these triples. Things get rapidly more difficult when replacing $7$ by any of $23, \; \; 71, \; \; 311, \; \; 479, \; \; 1559  $ and asking for longer "legal" intervals. 
A: Something small, but maybe useful, which no one seems to have pointed out: as $p\to\infty$, $(\mathbb{Z}/p\mathbb{Z})^{\times}$ contains arbitrarily long strings of consecutive quadratic residues.  Indeed, the function 
$b(a)=2^{-k}(1+(\frac{a}{p}))(1+(\frac{a+1}{p}))\dots(1+(\frac{a+k-1}{p}))$
is $1$ or $0$ according to whether $(a,a+1,\dots,a+k-1)$ is a $k$-term string of quadratic residues or not. Summing over $(\mathbb{Z}/p\mathbb{Z})^{\times}$, expanding out and using the bound of Weil,
$\lvert \sum_{a \in (\mathbb{Z}/p\mathbb{Z})^{\times}} (\frac{(a+b_1)(a+b_2)\dots (a+b_r)}{p}) \rvert \leq 2r\sqrt{p},$ 
which holds if at least one $b_i$ is distinct from all the others, we derive
$\sum_{a \in (\mathbb{Z}/p\mathbb{Z})^{\times}}b(a)=2^{-k}p+O(k\sqrt{p})$. 
The error term here comes from the fact that when we expand out $b(a)$ and sum, we'll get the obvious main term, plus $2^{-k}$ times a sum of $2^{k}-1$ Weil sums, each of which is bounded by $2k\sqrt{p}$.
Anyway, the main term dominates the error term if $k2^{k}=o(\sqrt{p})$, which certainly holds if (say) $k=o(\log{p}).$
