Two Signals

Behind them, Catenary spoke to departing vessels in pulses of microwave light. The station had six official languages and several hundred neighborhood dialects, but traffic control trusted none of them with separation distance. Each pulse crossed the widening vacuum, reached Vela's receiver as an analog disturbance, and passed through enough hardware to become a number on Mara's console.

Around the ship, departure traffic unfolded at several scales. Ore carriers began braking days before their assigned berths. Passenger needles changed velocity with the impatience of people who charged by the minute. A flotilla of family habitats moved so slowly that their gardens had grown toward a different sun by the time they cleared the yards. Traffic control reduced them all to the same narrow acknowledgments.

One flotilla vessel carried a white thorn painted across its radiator spine. Mara magnified it until individual repair patches became visible. She had grown up among the Thorn Families, whose addresses named a vessel, a pressure section, and the next three planned transfers. In that childhood, home had never meant a fixed place. It meant that the pilot had matched velocity well enough for two locks to meet.

Catenary was the first address Mara had held that remained valid while she traveled. She watched the thorn recede without opening a private channel, then restored the traffic plot to its useful scale.

For the departure handshake, only two numbers were admitted.

0  request absent
1  request present

Calling the signal two-state did not reduce the receiver to two physical conditions. Its antenna warmed. Amplifiers introduced noise. Threshold circuits occupied voltages between their nominal levels. The protocol ignored those details after they had done their work, preserving one distinction needed by the next layer.

Mara waited for 1, acknowledged it, then watched the station return to 0. The exchange was routine. It granted no wisdom to either endpoint and carried none of the farewell messages still arriving on the private channels. Tala had two from former colleagues. Mara had nine from food vendors asking her to settle accounts before relativistic delay became an excuse.

Osei had one from the Sable Instrument Cooperative. It addressed him as a delinquent member and contained a private line beneath the maintenance vote.

The west bearing outlasted your estimate.
Iona

He marked the message retained without answering it.

The manual had marked the two traffic values as unfinished business.

Tala opened the accompanying source.

classical class OneBit {
  state long bit = 0;

  entry void main() {
    assert(bit == 0);
    bit = 1;
    assert(bit == 1);
  }
}

Although the underlying long type could represent many whole numbers, this model admitted only {0, 1}, with assertions guarding the two points visited during the run. That narrower contract, not the storage capacity of long, made the location a bit.

Tala compiled the source and executed its artifact.

OneBit (classical) halted after 5 steps
bit = 1

One path, 0 -> 1, followed from the report. Sana accepted the run and rejected Tala's first summary of it.

"The bit can change from zero to one," Tala had written.

"This bit did," Sana said. "A claim about the operation needs every allowed input."

There were only two, which made completeness possible without statistics or faith. Tala wrote them as rows.

Without the missing row, the table did not describe an operation over the complete two-state set, only one observed transition. Had the input begun at 1, an assignment to 1 would have produced 1 -> 1, not the complementary change Mara associated with a signal flip.

Osei joined them at the chart table while the station receded into the traffic behind. He had already opened the first maintenance watch, and a fan impeller the size of his hand lay disassembled beside the navigation plot. On Vela, abstract discussion took place wherever physical work had left enough horizontal surface.

He drew two dots, labeled them 0 and 1, and asked for the least eventful operation possible. Tala connected each dot to itself.

Under the identity operation, either allowed input remained itself. Deliberately doing nothing to the bit still defined a complete mapping, which mattered because an unchanged endpoint did not prove that no surrounding work had occurred.

Mara added a second table from the departure protocol.

This was the flip operation: not a single assignment to 1, but a rule that exchanged both allowed states. Every input had one output, and the two output rows remained distinct.

Tala drew the same rule as arrows.

0 -> 1
1 -> 0

Tables and arrows described one finite mapping in different forms. The table made completeness easy to inspect. The arrows made composition easier to follow.

Osei covered the labels and asked Tala to apply the flip twice. She traced the first input through both copies of the operation, then repeated the work for the second.

Both inputs returned to their starting values. The composed map matched identity, although each individual flip had changed the state.

Mara regarded the result with the suspicion pilots reserve for facts that appear obvious only after someone has written them down. "So it goes there and back."

"For both states in this model," Sana said.

"You invoice by the qualification?"

"Only when it prevents salvage."

Mara looked at the repaired impeller, then at the thinning lights of home, and let the answer stand.

Sana's qualification stayed. Two cases were enough because the allowed set contained exactly two cases. A larger set would require more rows, and an unbounded set would need a different kind of argument.

Tala wrote reversible in the margin, then hesitated. The manual's earlier owners had crossed out the same word in three inks. Beside it, the most recent hand had left a warning.

Restoring one chosen input is a demonstration.
Defining one output for every input is an operation.
Recovering every input from its output will earn the next word.

By then the flip seemed ready to pass that test. Nothing in the chapter had yet shown what failure looked like, and a distinction learned only from its successful example tends to become praise rather than a rule.

At the edge of the traffic field, Vela aligned for the Archive transfer corridor. The route was older than Catenary. Supply ships had followed it when the outer settlements were still pressure tents and a message could arrive before the sender's legal identity. Now autonomous buoys kept the lane clear, each one storing a local copy of every navigational correction in case the others forgot.

The Archive appeared on the long-range plot as an administrative boundary hours before it appeared as light. It identified itself with a stream of checksummed records and a statement engraved into every public protocol it emitted.

WHAT IS REMEMBERED CAN BE RETURNED

Sana read the line without expression. Her thumb found the inward-facing seal at her throat, held it for one breath, and moved away. Osei read the motto twice.

From that claim, the field manual had taken the title of its next chapter: The Archive.