All except Lena's.
"Hey," she said, tapping the shoulder of the engineer next to her. "Are you seeing this?"
Lena picked up her coffee. It was still warm.
"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.
Marcus reached for his phone. "I'm calling architecture."
"Then you know this is a visualization bug." But his voice had an edge. He pulled up the same object on his own terminal. The string had changed.
