TR-CORE-WATER-RESTART / Teal / Review draft

Journal and restart evidence

Terminology revised · September 12 evidence

Later individual Teal rerun. The reported execution status is historical and is not a new test result.

TEAL LIBRARY RERUN  |  12 SEPTEMBER 2026  |  Michael Patrick Bangel
26
TEAL-RERUN-03-B001 | SOURCE_REVIEW_ONLY
TR-CORE-WATER-RESTART / Journal and restart evidence
IF
The water gateway restarts from a durable journal.
HOW
Verify links, HMAC, counters and the externally retained final root; reject a partial final line. Keep the journal
and trusted external checkpoint as distinct evidence.
THEN
Fail closed on detected corruption/rollback. Losing both local history and its trusted checkpoint cannot be
detected by the local chain alone.
CURRENT EVIDENCE
This requirement paper is source-grounded. Native .NET, C++/Rust/R host checks and physical execution
were not rerun.
REMAINING REQUIREMENT
Use the source and recorded case evidence to close remaining per-branch, native-host and full-contract coverage gaps.
SOURCE REFERENCES
associated-core:products/water/dotnet/Water.Core/AuthenticatedGateway.cs

Publication is pending owner review. White papers are excluded.