The terminal flickered. The object's string reset to its original content: "It's warmer in here."
All except Lena's.
"Memory that doesn't come from the allocator," Marcus finished. "Memory from the future."
The response came before she finished pressing enter:
"Run the verifier," Marcus said.
She thought about the runtime library. The billions of lines of code that ran beneath every program on Earth-2. The allocator, the scheduler, the synchronizer—the invisible hand that made computation possible. They had formalized it, verified it, locked it down. But formal verification only proves that a system implements its specification. It doesn't prove the specification is complete.
Lena Chen noticed the anomaly on her third consecutive double shift. She was supposed to be auditing garbage collection patterns, looking for optimization opportunities in the climate modeling stack. Instead, she found something that made her put down her coffee and lean closer to the terminal.