DamagedRange

damagedRange: what one damaged range of the session log cost (ADR 60914 D1/D2). The reader finds the range in the log bytes; no log record is written for it, so every member is derived from the readable records around it.

Fields and variants

• lastGoodTurnId
• missingRecords
• readableAfterAt
• readableBeforeAt
• unreadableLines

Source

schema/msp/experimental/msp.schema.json#/types/DamagedRange

{
  "description": "`damagedRange`: what one damaged range of the session log cost (ADR\n60914 D1/D2). The reader finds the range in the log bytes; no log record\nis written for it, so every member is derived from the readable records\naround it.",
  "properties": {
    "lastGoodTurnId": {
      "description": "The last finished turn before the first damaged range, when one\nexists: the safe `session/fork` cut (ADR 60914 D1 \"Fork cuts\", D4).",
      "type": "string"
    },
    "missingRecords": {
      "description": "Records the log proves missing (session-stream sequence numbers no\nreadable record or unreadable line accounts for).",
      "type": "integer"
    },
    "readableAfterAt": {
      "description": "RFC3339 `recordedAt` of the first readable record after the range;\nalways present, since a range is read past only when readable\nrecords follow it (ADR 60914 D1).",
      "type": "string"
    },
    "readableBeforeAt": {
      "description": "RFC3339 `recordedAt` of the last readable record before the range;\nabsent when the range starts the log.",
      "type": "string"
    },
    "unreadableLines": {
      "description": "Physical log lines in the range that are not a readable record.",
      "type": "integer"
    }
  },
  "required": [
    "missingRecords",
    "readableAfterAt",
    "unreadableLines"
  ],
  "type": "object"
}