Teodora Brask

Teodora Brask is known by a method. During the Coherence Wars she worked out a ledger arithmetic in which every entry carries a check computed from every entry before it, so that a log altered at any point fails its own checks from that point on. A log kept her way cannot prove that what it says is true. It can prove that nothing in it has been rewritten since it was written, and a war in which every side kept logs turned out to need exactly that.

Known History

• Born 2281 CE (2481 UCSD) in the outer system. The record gives no settlement and no family.
• The method first appears under her name in Free Outer Belt Coalition navigation logs of the war's first decade, after the Coalition declared independence in 2303 CE (2503 UCSD).
• Within a few years the Inner System Defence Fleet's logs carry the same checks. The record does not say how the method crossed the line. A captured log, a defector and the plain fact that it worked are all possible, and none is on file.
• The Coalition's last holdouts were defeated in 2343 CE (2543 UCSD), and the Tycho Accords followed. The record holds nothing of her after the war, and gives no date or place of death.

Character Notes

What the record can say of her is what the method says. She separated two claims that are usually filed as one, that a record is honest and that it is unaltered, and gave the second a proof while leaving the first to the people who keep the record. The method makes no promise about the person writing the entry. It promises only that what was written stays written, which is a smaller promise and one that can be kept.

Her side lost the war. Her method did not, and the record files the two facts together without comment.

When the Concord's AI governance commission read the war's seized logs for the Veritas Report of 2689 UCSD, nearly a century and a half later, whether any of those logs carried her checks the record does not say. Nor does it say whether the Survey Archive's own rule, that it appends and never overwrites, owes anything to her. A method for proving that a rule was kept is not the same thing as the rule, and the record does not confuse them.

See also

• The Imperium, for the Coherence Wars and the Tycho Accords
• The AI Safety Kernel, whose origin lies in the war's records
• Halim Teverell, who led the reading of those records