I would like to prove (at a certain level) the randomness of a random sequence of N bits. I know that the dieharder battery of tests is supposed to be used to test the generator, not a particular sequence generated by the generator. From the manual:
...dieharder is a tool that tests random number generators, not files of random numbers! It is extremely inappropriate to try to "certify" a file of random numbers as being random just because it fails to "fail" any of the dieharder tests...
What if I treat every single sequence as generated by an independent RNG, although they are the same RNG (TRNG in this case), then reject all the sequences that fail one of the tests.
I know that with this method I will be rejecting good random sequences, but then I would be able to say that the remaining (ie not rejected) sequences has passed the dieharder battery (the sequence has been generated by a perfect random number generator).
Your question is answered in the passage in the manual immediately following the one you quoted: