mirror of
https://github.com/stablyai/orca.git
synced 2026-11-01 17:47:40 +00:00
* feat(relay): watch a reserve cell and flip it back on the first step 5 stop rule A manual, inert-until-dispatched workflow samples one reserve cell every minute for up to 300 minutes against the step 5 §9 stop rules, logs one JSON line per sample, and on the first trip (or N unreadable samples in a row) runs the flag tool's own admitMode=db write under the flag workflow's concurrency group. dry-run logs the flag tool's plan instead. Claude-Session: f2fe8cb5-4467-4a25-8aab-98598b70791f * fix(relay): keep the reserve watch's flip back out of the flag group, and baseline 503s before the flip - The flip back holds no concurrency group: GitHub keeps one pending run per group and a newer one cancels it. The flag tool's CAS orders it instead; a generation conflict is re-read and retried (5 tries, backoff) while the switch file still says reserve. - The 503 background comes from the 10 minutes before a required flipped-at, or an explicit value; neither is refused. - A failed or cancelled write-mode watch flips back too. An unreachable cell fails with the exact break-glass inputs. - Missing 503 data (empty series, unpublished minute, unparseable time) is unverifiable. - Seat-behind-row key adds the director instance and cell; six segments share one command. Claude-Session: f2fe8cb5-4467-4a25-8aab-98598b70791f * fix(relay): read the reserve watch's 503 publishing front from every response code A quiet fleet has no 503 series, so the watch read it as unverifiable and flipped a healthy cell back within minutes. The 503 read now groups request_count by response code in one query; the newest minute any code has a point for is how far the series is published, so a 503 minute at or before it with no point is zero and minutes past it are left out. Also: the flip-back job's steps run on always(), flipped-at ages against the watch's start in later segments, a pending pre-flip background no longer adds to the unverifiable streak, the flip back retries runtime-status before calling for break glass, and the concurrency rationale lives once in the docs. Claude-Session: f2fe8cb5-4467-4a25-8aab-98598b70791f * docs(relay): state what a cancel during the flip-back lease wait can leave, and the 503 publish-skew assumption Claude-Session: f2fe8cb5-4467-4a25-8aab-98598b70791f * fix(relay): fail a segment closed on a corrupt watch state file, and keep no checkout token on disk Claude-Session: f2fe8cb5-4467-4a25-8aab-98598b70791f * fix(relay): alarm on a failed flip back, refuse a watch under a rollout lease, wait for reserve to apply, and control the duplicate read - A flip back whose write or plan never finished (no ID token, a failed login, a silent cell) raises an ::error:: annotation and a FLIP BACK FAILED summary, as the clock-skew monitor does. - The first segment reads the Cloud SQL rollout lease through the lease action's own reader and refuses to start while any run holds it, or when it cannot be read. - A cell not yet reporting reserve is waited on for up to 10 minutes, judging nothing, before the watch ends refused without a write. - The duplicate-seat read takes the per-minute ledger summary in the same query and window; with no fresh summary in it the sample is unverifiable, not zero duplicates. Claude-Session: f2fe8cb5-4467-4a25-8aab-98598b70791f * fix(relay): page on a refused reserve watch or a failed flip back A refused watch can leave a cell in reserve and unwatched, the same as a flip back that did not land. Both now raise an escaped ::error:: annotation through one `alarm` command, and in write mode write orca_relay_reserve_watch_alarm with gcloud logging write. A new log-based metric and alert policy page on any such line, per cell, through relay_alert_notification_channels, and the deploy identity gets roles/logging.logWriter in production to write it. Claude-Session: f2fe8cb5-4467-4a25-8aab-98598b70791f * fix(relay): name the log-writer risk, check the alarm's project, and say a failed login cannot page Claude-Session: f2fe8cb5-4467-4a25-8aab-98598b70791f * docs(relay): note a force-cancel can skip the reserve-watch flip-back write
959 lines
48 KiB
JavaScript
959 lines
48 KiB
JavaScript
import assert from 'node:assert/strict'
|
|
import { readFileSync } from 'node:fs'
|
|
import { mkdtemp, readFile, rm, writeFile } from 'node:fs/promises'
|
|
import { tmpdir } from 'node:os'
|
|
import { join } from 'node:path'
|
|
import { test } from 'node:test'
|
|
import {
|
|
evaluateWatchSample,
|
|
initialWatchState,
|
|
measuredBackground
|
|
} from './relay-reserve-watch-rules.mjs'
|
|
import {
|
|
ALARM_EVENT,
|
|
ALARM_LOG_NAME,
|
|
FLIP_BACK_ATTEMPTS,
|
|
FLIP_BACK_RUNTIME_ATTEMPTS,
|
|
flipBack,
|
|
parseWatchArguments,
|
|
parseWatchSegment,
|
|
raiseAlarm,
|
|
readDirector503Minutes,
|
|
readSeatBehindRowSample,
|
|
recordOutcome,
|
|
rolloutLeaseRefusal,
|
|
watchSegment
|
|
} from './watch-relay-reserve-cell.mjs'
|
|
import { readRelayWorkflow } from './relay-repository.mjs'
|
|
|
|
const CELL = 'production-gce-c26'
|
|
const START = Date.parse('2026-10-14T12:00:00Z')
|
|
const MINUTE = 60_000
|
|
const LIMIT = { unverifiableLimit: 3 }
|
|
|
|
const healthyCell = (overrides = {}) => ({
|
|
ok: true,
|
|
admitModeConfigured: 'reserve',
|
|
admitModeEffective: 'reserve',
|
|
draining: false,
|
|
controls: 1_000,
|
|
enforcedUnits: 1_100,
|
|
hardCap: 2_000,
|
|
...overrides
|
|
})
|
|
const minutesBefore = (at, count) =>
|
|
Array.from({ length: count }, (_, index) =>
|
|
new Date(Math.floor(at / MINUTE) * MINUTE - (count + 3 - index) * MINUTE).toISOString().slice(0, 16)
|
|
)
|
|
const quiet503 = (at, perMinute = 10) => {
|
|
const minutes = minutesBefore(at, 3)
|
|
return { ok: true, minutes, perMinute: Object.fromEntries(minutes.map((minute) => [minute, perMinute])), publishedThrough: minutes.at(-1) }
|
|
}
|
|
const sampleAt = (at, overrides = {}) => ({
|
|
at,
|
|
cell: healthyCell(),
|
|
director503: quiet503(at),
|
|
ledger: { ok: true, unwrittenRows: 0, directors: 5 },
|
|
seatBehindRow: { ok: true, reports: [] },
|
|
...overrides
|
|
})
|
|
const freshState = (overrides = {}) => ({
|
|
...initialWatchState({ cellId: CELL, startedAt: START, durationMinutes: 60, background503PerMinute: 10 }),
|
|
...overrides
|
|
})
|
|
|
|
// Runs samples one minute apart; returns every result.
|
|
function run(samples, state = freshState()) {
|
|
const results = []
|
|
for (const sample of samples) {
|
|
const result = evaluateWatchSample(state, sample, LIMIT)
|
|
results.push(result)
|
|
state = result.state
|
|
if (state.state !== 'watching') break
|
|
}
|
|
return results
|
|
}
|
|
|
|
test('a healthy cell keeps watching and completes at the deadline', () => {
|
|
const results = run(Array.from({ length: 61 }, (_, minute) => sampleAt(START + minute * MINUTE)))
|
|
assert.equal(results.length, 61)
|
|
assert.ok(results.slice(0, 60).every((result) => result.state.state === 'watching'))
|
|
assert.equal(results.at(-1).state.state, 'completed')
|
|
const line = JSON.parse(results[0].line)
|
|
assert.equal(line.event, 'orca_relay_reserve_watch_sample')
|
|
assert.deepEqual(Object.keys(line.rules), ['deadMan', 'overrun', 'director503', 'duplicateSeat', 'hostDrop', 'ledgerDrift'])
|
|
})
|
|
|
|
test('503s trip only after three complete minutes over max(1.5x background, background + 20)', () => {
|
|
// Background 100: the line is 150. Two minutes over and one under is not a trip.
|
|
const state = freshState({ background: { medianPerMinute: 100, source: 'input' } })
|
|
const series = (counts) => {
|
|
const minutes = minutesBefore(START, 3)
|
|
return {
|
|
ok: true,
|
|
minutes,
|
|
perMinute: Object.fromEntries(minutes.map((minute, index) => [minute, counts[index]])),
|
|
publishedThrough: minutes.at(-1)
|
|
}
|
|
}
|
|
const twoOver = evaluateWatchSample(state, sampleAt(START, { director503: series([151, 140, 200]) }), LIMIT)
|
|
assert.equal(twoOver.state.state, 'watching')
|
|
const atLine = evaluateWatchSample(state, sampleAt(START, { director503: series([150, 150, 150]) }), LIMIT)
|
|
assert.equal(atLine.state.state, 'watching')
|
|
const threeOver = evaluateWatchSample(state, sampleAt(START, { director503: series([151, 160, 170]) }), LIMIT)
|
|
assert.equal(threeOver.state.state, 'tripped')
|
|
assert.match(threeOver.state.verdict, /^flip back production-gce-c26: director503: /)
|
|
// A zero background still needs 20 a minute, not one 503.
|
|
const zero = freshState({ background: { medianPerMinute: 0, source: 'input' } })
|
|
assert.equal(evaluateWatchSample(zero, sampleAt(START, { director503: series([5, 5, 5]) }), LIMIT).state.state, 'watching')
|
|
assert.equal(evaluateWatchSample(zero, sampleAt(START, { director503: series([21, 21, 21]) }), LIMIT).state.state, 'tripped')
|
|
// A published minute with no 503 point had none.
|
|
const gap = series([151, 160, 170])
|
|
delete gap.perMinute[gap.minutes[1]]
|
|
assert.equal(evaluateWatchSample(state, sampleAt(START, { director503: gap }), LIMIT).state.state, 'watching')
|
|
})
|
|
|
|
test('a quiet fleet with no 503 series at all reads zero, not unverifiable', () => {
|
|
const minutes = minutesBefore(START, 10)
|
|
const quiet = { ok: true, minutes, perMinute: {}, publishedThrough: minutes.at(-1) }
|
|
const [result] = run([sampleAt(START, { director503: quiet })], freshState({ background: { medianPerMinute: 0, source: 'measured' } }))
|
|
assert.equal(result.rules.director503.status, 'pass')
|
|
assert.deepEqual(Object.values(result.rules.director503.recent), [0, 0, 0])
|
|
assert.equal(result.state.unverifiableStreak, 0)
|
|
assert.deepEqual(measuredBackground({}, minutes, minutes.at(-1)), { medianPerMinute: 0, minutes: 10, source: 'measured' })
|
|
})
|
|
|
|
test('503 minutes past the publishing front are left out, and only no front at all is unverifiable', () => {
|
|
const state = freshState({ background: { medianPerMinute: 100, source: 'input' } })
|
|
const minutes = minutesBefore(START, 10)
|
|
const judge = (director503) => evaluateWatchSample(state, sampleAt(START, { director503 }), LIMIT)
|
|
// The front is two minutes behind: the three minutes before it are judged, the two after are not.
|
|
const over = Object.fromEntries(minutes.map((minute) => [minute, 500]))
|
|
const behind = judge({ ok: true, minutes, perMinute: over, publishedThrough: minutes[7] })
|
|
assert.equal(behind.rules.director503.status, 'trip')
|
|
assert.deepEqual(Object.keys(behind.rules.director503.recent), minutes.slice(5, 8))
|
|
// A sparse 503 series: minutes after its last point but within the front are zero, not late.
|
|
const sparse = judge({ ok: true, minutes, perMinute: { [minutes[2]]: 500 }, publishedThrough: minutes.at(-1) })
|
|
assert.equal(sparse.rules.director503.status, 'pass')
|
|
assert.equal(sparse.state.unverifiableStreak, 0)
|
|
// No request series at all.
|
|
const empty = judge({ ok: true, minutes, perMinute: {}, publishedThrough: null })
|
|
assert.equal(empty.rules.director503.status, 'unverifiable')
|
|
assert.match(empty.rules.director503.reason, /request series is empty/)
|
|
assert.equal(empty.state.unverifiableStreak, 1)
|
|
// A front too far behind to leave three published minutes in the read.
|
|
const stale = judge({ ok: true, minutes, perMinute: {}, publishedThrough: minutes[1] })
|
|
assert.equal(stale.rules.director503.status, 'unverifiable')
|
|
assert.match(stale.rules.director503.reason, new RegExp(`published only through ${minutes[1]}`))
|
|
})
|
|
|
|
const SEAT_EVENT = 'orca_relay_reserve_ledger_seat_behind_row'
|
|
const SUMMARY_EVENT = 'orca_relay_reserve_ledger_summary'
|
|
const summaryLine = (at, instanceId = 'a') => ({
|
|
timestamp: new Date(at).toISOString(),
|
|
labels: { instanceId },
|
|
jsonPayload: { event: SUMMARY_EVENT, pending: 0, dropped: 0 }
|
|
})
|
|
|
|
// A Cloud Monitoring or Cloud Logging reader over fakes, as the watch builds one.
|
|
const fakeReader = ({ fetch: fetchImpl = async () => new Response('{}'), runGcloud = async () => ({ stdout: 'token' }) } = {}) => ({
|
|
fetch: fetchImpl,
|
|
runGcloud,
|
|
retryDelayMs: 0,
|
|
readTimeoutMs: 1_000,
|
|
now: () => START,
|
|
deadlineAt: START + 10_000,
|
|
projectId: 'onorca-cloud'
|
|
})
|
|
|
|
test('an unparseable timestamp makes the read unverifiable', async () => {
|
|
const badPoint = {
|
|
timeSeries: [{ points: [{ interval: { endTime: 'not a time' }, value: { int64Value: '3' } }] }]
|
|
}
|
|
const read503 = await readDirector503Minutes(
|
|
fakeReader({ fetch: async () => new Response(JSON.stringify(badPoint)) }),
|
|
{ projectId: 'onorca-cloud', directorService: 'orca-cloud-relay', endedAt: START, minutes: 3 }
|
|
)
|
|
assert.equal(read503.ok, false)
|
|
assert.match(read503.error, /unreadable/)
|
|
const seats = await readSeatBehindRowSample(
|
|
fakeReader({ runGcloud: async () => ({ stdout: JSON.stringify([summaryLine(START), { timestamp: 'garbage', jsonPayload: { epoch: 1, rowEpoch: 2 } }]) }) }),
|
|
{ directorService: 'orca-cloud-relay', cellId: CELL, at: START }
|
|
)
|
|
assert.equal(seats.ok, false)
|
|
assert.match(seats.error, /unparseable timestamp/)
|
|
})
|
|
|
|
test('a seat-behind-row key carries the director instance and cell beside the epochs', async () => {
|
|
const entry = (instanceId) => ({ timestamp: new Date(START).toISOString(), labels: { instanceId }, jsonPayload: { event: SEAT_EVENT, epoch: 7, rowEpoch: 8 } })
|
|
const read = await readSeatBehindRowSample(
|
|
fakeReader({ runGcloud: async () => ({ stdout: JSON.stringify([entry('a'), summaryLine(START), entry('b')]) }) }),
|
|
{ directorService: 'orca-cloud-relay', cellId: CELL, at: START }
|
|
)
|
|
assert.deepEqual(read.reports.map((report) => report.key), [`a/${CELL}/7:8`, `b/${CELL}/7:8`])
|
|
})
|
|
|
|
test('the duplicate read carries a positive control: no fresh ledger summary in it is unverifiable, not zero', async () => {
|
|
const filters = []
|
|
const readWith = (entries) =>
|
|
readSeatBehindRowSample(
|
|
fakeReader({ runGcloud: async (args) => (filters.push(args[2]), { stdout: JSON.stringify(entries) }) }),
|
|
{ directorService: 'orca-cloud-relay', cellId: CELL, at: START }
|
|
)
|
|
// One read, one window: the control rides the same filter as the seat lines.
|
|
assert.deepEqual(await readWith([summaryLine(START - 30_000)]), { ok: true, reports: [] })
|
|
assert.match(filters[0], new RegExp(`\\(\\(jsonPayload\\.event="${SEAT_EVENT}" AND jsonPayload\\.cellId="${CELL}"\\) OR jsonPayload\\.event="${SUMMARY_EVENT}"\\)`))
|
|
assert.match(filters[0], /resource\.labels\.service_name="orca-cloud-relay"/)
|
|
for (const entries of [[], [summaryLine(START - 10 * MINUTE)]]) {
|
|
const blind = await readWith(entries)
|
|
assert.equal(blind.ok, false)
|
|
assert.match(blind.error, /no fresh ledger summary \(positive control\)/)
|
|
}
|
|
// Blind is a gap in the sample, which counts toward the unverifiable streak.
|
|
const [gap] = run([sampleAt(START, { seatBehindRow: await readWith([]) })])
|
|
assert.equal(gap.rules.duplicateSeat.status, 'unverifiable')
|
|
assert.equal(gap.state.unverifiableStreak, 1)
|
|
})
|
|
|
|
test('the measured background is the median of the minutes before the flip, published gaps as zero', () => {
|
|
const minutes = ['2026-10-14T11:47', '2026-10-14T11:48', '2026-10-14T11:49']
|
|
const front = minutes[2]
|
|
assert.equal(measuredBackground({ '2026-10-14T11:48': 30 }, minutes, front).medianPerMinute, 0)
|
|
assert.equal(measuredBackground({ [minutes[0]]: 10, [minutes[1]]: 30, [minutes[2]]: 20 }, minutes, front).medianPerMinute, 20)
|
|
assert.equal(measuredBackground({}, minutes, '2026-10-14T11:52').medianPerMinute, 0)
|
|
// Not published through the last minute yet, or no request series: no background yet.
|
|
assert.equal(measuredBackground({ [minutes[0]]: 10 }, minutes, minutes[1]), null)
|
|
assert.equal(measuredBackground({}, minutes, null), null)
|
|
assert.equal(measuredBackground({}, [], front), null)
|
|
})
|
|
|
|
test('any overrun trips at once', () => {
|
|
const [result] = run([sampleAt(START, { cell: healthyCell({ enforcedUnits: 2_001 }) })])
|
|
assert.equal(result.state.state, 'tripped')
|
|
assert.match(result.state.verdict, /overrun: ledger units 2001 over hard cap 2000/)
|
|
const [atCap] = run([sampleAt(START, { cell: healthyCell({ enforcedUnits: 2_000 }) })])
|
|
assert.equal(atCap.state.state, 'watching')
|
|
})
|
|
|
|
test('a seat reported behind its row again past the grace trips; inside the grace it does not', () => {
|
|
const report = (at) => ({ at, key: '7:8' })
|
|
const within = run([
|
|
sampleAt(START, { seatBehindRow: { ok: true, reports: [report(START - 30_000)] } }),
|
|
sampleAt(START + MINUTE, { seatBehindRow: { ok: true, reports: [report(START - 30_000), report(START + 50_000)] } })
|
|
])
|
|
assert.equal(within.at(-1).state.state, 'watching')
|
|
// Carried across samples: the second read no longer holds the first report.
|
|
const past = run([
|
|
sampleAt(START, { seatBehindRow: { ok: true, reports: [report(START - 30_000)] } }),
|
|
sampleAt(START + 2 * MINUTE, { seatBehindRow: { ok: true, reports: [report(START + 70_000)] } })
|
|
])
|
|
assert.equal(past.at(-1).state.state, 'tripped')
|
|
assert.match(past.at(-1).state.verdict, /duplicateSeat: a seat behind its ledger row \(7:8\)/)
|
|
// Another seat's report is not the same seat.
|
|
const other = run([
|
|
sampleAt(START, { seatBehindRow: { ok: true, reports: [report(START - 30_000)] } }),
|
|
sampleAt(START + 2 * MINUTE, { seatBehindRow: { ok: true, reports: [{ at: START + 70_000, key: '3:4' }] } })
|
|
])
|
|
assert.equal(other.at(-1).state.state, 'watching')
|
|
})
|
|
|
|
test('a host drop over 5% in 5 minutes trips outside a drain only', () => {
|
|
const controls = [1_000, 990, 980, 960, 949]
|
|
const samples = (draining) =>
|
|
controls.map((count, minute) =>
|
|
sampleAt(START + minute * MINUTE, { cell: healthyCell({ controls: count, draining: draining && minute === 2 }) })
|
|
)
|
|
assert.equal(run(samples(false)).at(-1).state.state, 'tripped')
|
|
assert.match(run(samples(false)).at(-1).state.verdict, /hostDrop: connected hosts fell 1000 -> 949/)
|
|
assert.equal(run(samples(true)).at(-1).state.state, 'watching')
|
|
// A drop spread over more than 5 minutes is not one.
|
|
const slow = [1_000, 990, 980, 970, 960, 955, 950].map((count, minute) =>
|
|
sampleAt(START + minute * MINUTE, { cell: healthyCell({ controls: count }) })
|
|
)
|
|
assert.equal(run(slow).at(-1).state.state, 'watching')
|
|
// Under the floor on a nearly empty cell: 100 -> 92 is 8%, but only 8 hosts.
|
|
const small = [100, 92].map((count, minute) => sampleAt(START + minute * MINUTE, { cell: healthyCell({ controls: count }) }))
|
|
assert.equal(run(small).at(-1).state.state, 'watching')
|
|
})
|
|
|
|
test('ledger drift over 0.5% trips once it has lasted 2 minutes', () => {
|
|
const drift = (rows) => ({ ok: true, unwrittenRows: rows, directors: 5 })
|
|
const brief = run([6, 6, 0, 6].map((rows, minute) => sampleAt(START + minute * MINUTE, { ledger: drift(rows) })))
|
|
assert.equal(brief.at(-1).state.state, 'watching')
|
|
const sustained = run([6, 6, 6].map((rows, minute) => sampleAt(START + minute * MINUTE, { ledger: drift(rows) })))
|
|
assert.equal(sustained.length, 3)
|
|
assert.equal(sustained.at(-1).state.state, 'tripped')
|
|
assert.match(sustained.at(-1).state.verdict, /ledgerDrift: ledger drift 0\.60% for 120 s/)
|
|
const atLine = run([5, 5, 5, 5].map((rows, minute) => sampleAt(START + minute * MINUTE, { ledger: drift(rows) })))
|
|
assert.equal(atLine.at(-1).state.state, 'watching')
|
|
})
|
|
|
|
test('a tripped dead-man is a trip: Postgres still records reserve until a db write', () => {
|
|
const [result] = run([sampleAt(START, { cell: healthyCell({ admitModeEffective: 'db' }) })])
|
|
assert.equal(result.state.state, 'tripped')
|
|
assert.match(result.state.verdict, /deadMan: the cell tripped its dead-man/)
|
|
})
|
|
|
|
test('unreadable data is never healthy: N samples in a row with any gap trip', () => {
|
|
const unreadable = { ok: false, error: 'cell runtime status returned 502' }
|
|
const gaps = [
|
|
{ cell: unreadable },
|
|
{ ledger: { ok: false, error: 'no placing director logged a ledger summary' } },
|
|
{ director503: { ok: false, error: 'director 503 metric read failed', perMinute: {}, minutes: [], publishedThrough: null } }
|
|
]
|
|
const results = run(gaps.map((gap, minute) => sampleAt(START + minute * MINUTE, gap)))
|
|
assert.deepEqual(results.map((result) => result.state.unverifiableStreak), [1, 2, 3])
|
|
assert.equal(results.at(-1).state.state, 'tripped')
|
|
assert.match(results.at(-1).state.verdict, /unverifiable: 3 samples in a row could not read director503/)
|
|
// One whole sample resets the streak.
|
|
const reset = run(
|
|
[gaps[0], {}, gaps[0], gaps[0]].map((gap, minute) => sampleAt(START + minute * MINUTE, gap))
|
|
)
|
|
assert.deepEqual(reset.map((result) => result.state.unverifiableStreak), [1, 0, 1, 2])
|
|
assert.equal(reset.at(-1).state.state, 'watching')
|
|
// No background yet is a gap too.
|
|
const noBackground = freshState({ background: null })
|
|
assert.equal(evaluateWatchSample(noBackground, sampleAt(START), LIMIT).state.unverifiableStreak, 1)
|
|
// A measured trip still wins over a gap elsewhere.
|
|
const [both] = run([sampleAt(START, { cell: healthyCell({ enforcedUnits: 2_500 }), ledger: gaps[1].ledger })])
|
|
assert.equal(both.state.state, 'tripped')
|
|
assert.match(both.state.verdict, /overrun/)
|
|
})
|
|
|
|
test('a cell no longer in reserve stops the watch without a write; one never in reserve is refused', () => {
|
|
const dbCell = healthyCell({ admitModeConfigured: 'db', admitModeEffective: 'reserve' })
|
|
const later = run([sampleAt(START), sampleAt(START + MINUTE, { cell: dbCell })])
|
|
assert.equal(later.at(-1).state.state, 'stopped')
|
|
assert.match(later.at(-1).state.verdict, /is not in reserve mode \(switch file says db\)/)
|
|
// Never reserve within the wait: refused, which the workflow does not flip back.
|
|
const never = run(Array.from({ length: 12 }, (_, minute) => sampleAt(START + minute * MINUTE, { cell: dbCell })))
|
|
assert.equal(never.at(-1).state.state, 'refused')
|
|
assert.equal(never.length, 11)
|
|
assert.match(never.at(-1).state.verdict, /did not report reserve mode within 10 min \(switch file says db\)/)
|
|
})
|
|
|
|
test('a watch dispatched before the reserve write applied waits for it, then judges as usual', () => {
|
|
const dbCell = healthyCell({ admitModeConfigured: 'db', admitModeEffective: 'db' })
|
|
const results = run([
|
|
sampleAt(START, { cell: dbCell, ledger: { ok: false, error: 'not yet' } }),
|
|
sampleAt(START + MINUTE, { cell: dbCell }),
|
|
sampleAt(START + 2 * MINUTE),
|
|
sampleAt(START + 3 * MINUTE, { cell: healthyCell({ enforcedUnits: 2_500 }) })
|
|
])
|
|
// Waiting samples judge nothing: not a dead-man trip on a db cell, not a gap.
|
|
assert.deepEqual(results.slice(0, 2).map((result) => result.state.state), ['watching', 'watching'])
|
|
assert.equal(results[0].rules.reserve.status, 'pending')
|
|
assert.deepEqual(Object.keys(results[0].rules), ['reserve'])
|
|
assert.deepEqual(results.map((result) => result.state.unverifiableStreak), [0, 0, 0, 0])
|
|
assert.equal(results[2].state.reserveSeenAt, START + 2 * MINUTE)
|
|
assert.equal(results[2].rules.overrun.status, 'pass')
|
|
assert.equal(results[3].state.state, 'tripped')
|
|
// Once seen in reserve, a later db reads as a hand flip back, not a refusal.
|
|
const after = run([sampleAt(START + 2 * MINUTE), sampleAt(START + 3 * MINUTE, { cell: dbCell })], results[0].state)
|
|
assert.equal(after.at(-1).state.state, 'stopped')
|
|
})
|
|
|
|
const watchValues = (overrides = {}) => ({
|
|
mode: 'dry-run',
|
|
'cell-id': CELL,
|
|
'cell-origin': 'https://c26.relay.onorca.dev',
|
|
'project-id': 'onorca-cloud',
|
|
'director-origin': 'https://relay.onorca.dev',
|
|
'director-service': 'orca-cloud-relay',
|
|
'duration-minutes': '120',
|
|
'segment-minutes': '55',
|
|
'unverifiable-limit': '3',
|
|
'background-503-per-minute': '',
|
|
'flipped-at': new Date(START - 5 * MINUTE).toISOString(),
|
|
'state-file': '/unused',
|
|
...overrides
|
|
})
|
|
const parseAt = (values) => parseWatchArguments(values, START)
|
|
|
|
test('watch arguments reuse the flag tool checks, so a write watch needs its confirmation up front', () => {
|
|
assert.equal(parseAt(watchValues()).background503PerMinute, null)
|
|
assert.equal(parseAt(watchValues()).flippedAt, START - 5 * MINUTE)
|
|
assert.equal(parseAt(watchValues({ 'background-503-per-minute': '12.5', 'flipped-at': '' })).background503PerMinute, 12.5)
|
|
assert.throws(() => parseAt(watchValues({ mode: 'write' })), /WRITE_RELAY_CELL_FLAGS production-gce-c26/)
|
|
assert.doesNotThrow(() => parseAt(watchValues({ mode: 'write', confirmation: `WRITE_RELAY_CELL_FLAGS ${CELL}` })))
|
|
assert.throws(() => parseAt(watchValues({ 'cell-origin': 'https://c27.relay.onorca.dev' })), /names another cell/)
|
|
assert.throws(() => parseAt(watchValues({ 'duration-minutes': '301' })), /duration-minutes/)
|
|
assert.throws(() => parseAt(watchValues({ 'segment-minutes': '56' })), /segment-minutes/)
|
|
assert.throws(() => parseAt(watchValues({ 'background-503-per-minute': '-1' })), /background/)
|
|
})
|
|
|
|
test('the 503 background needs flipped-at or an explicit value; flipped-at must be a recent zoned time', () => {
|
|
assert.throws(() => parseAt(watchValues({ 'flipped-at': '' })), /--flipped-at .* or --background-503-per-minute is required/)
|
|
assert.throws(() => parseAt(watchValues({ 'flipped-at': '2026-10-14T11:55:00' })), /ISO time with a zone/)
|
|
assert.throws(() => parseAt(watchValues({ 'flipped-at': '2026-10-14T12:01:00Z' })), /in the future/)
|
|
assert.throws(() => parseAt(watchValues({ 'flipped-at': '2026-10-13T11:00:00Z' })), /more than 24 hours/)
|
|
assert.equal(parseAt(watchValues({ 'flipped-at': '2026-10-14T07:55:00-04:00' })).flippedAt, START - 5 * MINUTE)
|
|
})
|
|
|
|
// A cell, Cloud Monitoring and Cloud Logging, answering from `script` per sample.
|
|
function fakeSources({
|
|
cell = () => ({}),
|
|
// Logged at each sample's minute, so it stays fresh for the positive control.
|
|
ledger = (sample) => [{ timestamp: new Date(START + (sample - 1) * MINUTE).toISOString(), labels: { instanceId: 'a' }, jsonPayload: { pending: 0, dropped: 0 } }],
|
|
per503 = () => 10,
|
|
// Requests of every other code per minute; zero is a minute with no traffic at all.
|
|
perOther = () => 1_000,
|
|
seatControl = true,
|
|
rolloutLease = null
|
|
} = {}) {
|
|
let samples = 0
|
|
const monitoringSpans = []
|
|
const fetchImpl = async (url) => {
|
|
const text = String(url)
|
|
if (text.endsWith('/v1/admin/runtime-status')) {
|
|
samples += 1
|
|
const overrides = cell(samples)
|
|
return new Response(
|
|
JSON.stringify({
|
|
role: 'cell',
|
|
cellId: CELL,
|
|
draining: false,
|
|
flagsApplied: { generation: 4, flags: { admitMode: 'reserve', readinessLocal: true } },
|
|
admitModeEffective: 'reserve',
|
|
connectionCapacity: { hardCap: 2_000 },
|
|
runtime: { controls: 1_000, enforcedConnectionUnits: 1_100 },
|
|
...overrides
|
|
})
|
|
)
|
|
}
|
|
if (text.startsWith('https://monitoring.googleapis.com/')) {
|
|
const params = new URL(text).searchParams
|
|
const span = { startedAt: Date.parse(params.get('interval.startTime')), endedAt: Date.parse(params.get('interval.endTime')) }
|
|
monitoringSpans.push(span)
|
|
assert.equal(params.get('aggregation.groupByFields'), 'metric.label."response_code"')
|
|
assert.doesNotMatch(params.get('filter'), /response_code/)
|
|
// Cloud Monitoring returns no point for a minute with no requests of that code.
|
|
const seriesOf = (code, count) => {
|
|
const points = []
|
|
for (let minute = span.startedAt; minute < span.endedAt; minute += MINUTE) {
|
|
if (count(minute) > 0) {
|
|
points.push({ interval: { endTime: new Date(minute + MINUTE).toISOString() }, value: { int64Value: String(count(minute)) } })
|
|
}
|
|
}
|
|
return points.length === 0 ? [] : [{ metric: { labels: { response_code: code } }, points }]
|
|
}
|
|
return new Response(JSON.stringify({ timeSeries: [...seriesOf('200', perOther), ...seriesOf('503', per503)] }))
|
|
}
|
|
throw new Error(`unexpected fetch ${text}`)
|
|
}
|
|
const runGcloud = async (args) => {
|
|
if (args[0] === 'auth') return { stdout: 'token' }
|
|
const filter = args[2]
|
|
const summaries = ledger(samples).map((entry) => ({ ...entry, jsonPayload: { ...entry.jsonPayload, event: SUMMARY_EVENT } }))
|
|
if (filter.includes(SEAT_EVENT)) return { stdout: JSON.stringify(seatControl ? summaries : []) }
|
|
if (filter.includes(SUMMARY_EVENT)) return { stdout: JSON.stringify(ledger(samples)) }
|
|
return { stdout: '[]' }
|
|
}
|
|
return { fetchImpl, runGcloud, monitoringSpans, readRolloutLease: async () => rolloutLease }
|
|
}
|
|
|
|
test('a segment samples once a minute, carries state to the next segment, and stops on a trip', async () => {
|
|
const directory = await mkdtemp(join(tmpdir(), 'relay-reserve-watch-'))
|
|
try {
|
|
let clock = START
|
|
const lines = []
|
|
const config = parseAt(
|
|
watchValues({ 'state-file': join(directory, 'state.json'), 'github-output': join(directory, 'out'), 'segment-minutes': '3' })
|
|
)
|
|
const sources = fakeSources({ cell: (sample) => (sample === 5 ? { runtime: { controls: 1_000, enforcedConnectionUnits: 2_001 } } : {}) })
|
|
const dependencies = {
|
|
...sources,
|
|
idToken: 'id',
|
|
retryDelayMs: 0,
|
|
now: () => clock,
|
|
sleep: async (ms) => { clock += ms },
|
|
log: (line) => lines.push(JSON.parse(line))
|
|
}
|
|
const first = await watchSegment(config, dependencies)
|
|
assert.equal(first.state, 'watching')
|
|
assert.equal(lines.length, 3)
|
|
assert.equal(first.background.source, 'measured')
|
|
assert.equal(await readFile(join(directory, 'out'), 'utf8'), 'state=watching\nverdict=\n')
|
|
const second = await watchSegment(config, dependencies)
|
|
assert.equal(second.state, 'tripped')
|
|
assert.equal(second.samples, 5)
|
|
assert.deepEqual(lines.map((line) => line.sample), [1, 2, 3, 4, 5])
|
|
assert.equal(lines.at(-1).rules.overrun.status, 'trip')
|
|
assert.match(await readFile(join(directory, 'out'), 'utf8'), /state=tripped\nverdict=flip back production-gce-c26: overrun: /)
|
|
} finally {
|
|
await rm(directory, { recursive: true, force: true })
|
|
}
|
|
})
|
|
|
|
test('a sample that cannot read its sources counts as unverifiable rather than crashing the watch', async () => {
|
|
const directory = await mkdtemp(join(tmpdir(), 'relay-reserve-watch-'))
|
|
try {
|
|
let clock = START
|
|
const config = parseAt(watchValues({ 'state-file': join(directory, 'state.json'), 'segment-minutes': '10' }))
|
|
const sources = fakeSources({ ledger: () => [] })
|
|
const state = await watchSegment(config, {
|
|
...sources,
|
|
idToken: 'id',
|
|
retryDelayMs: 0,
|
|
now: () => clock,
|
|
sleep: async (ms) => { clock += ms },
|
|
log: () => {}
|
|
})
|
|
assert.equal(state.state, 'tripped')
|
|
assert.equal(state.samples, 3)
|
|
// No summary also blinds the duplicate rule, whose positive control it is.
|
|
assert.match(state.verdict, /unverifiable: 3 samples in a row could not read duplicateSeat, ledgerDrift/)
|
|
} finally {
|
|
await rm(directory, { recursive: true, force: true })
|
|
}
|
|
})
|
|
|
|
test('a watch that ended without a verdict records failed, which the workflow flips back', async () => {
|
|
const directory = await mkdtemp(join(tmpdir(), 'relay-reserve-watch-'))
|
|
try {
|
|
const output = join(directory, 'out')
|
|
assert.equal((await recordOutcome(join(directory, 'missing.json'), output)).state, 'failed')
|
|
await writeFile(join(directory, 'watching.json'), JSON.stringify(freshState()))
|
|
assert.equal((await recordOutcome(join(directory, 'watching.json'), output)).state, 'failed')
|
|
await writeFile(join(directory, 'tripped.json'), JSON.stringify(freshState({ state: 'tripped', verdict: 'flip back x:\ny' })))
|
|
assert.equal((await recordOutcome(join(directory, 'tripped.json'), output)).state, 'tripped')
|
|
assert.match(await readFile(output, 'utf8'), /state=tripped\nverdict=flip back x: y\n$/)
|
|
} finally {
|
|
await rm(directory, { recursive: true, force: true })
|
|
}
|
|
})
|
|
|
|
// Google Storage and the director, as far as the flag tool's flip back reaches them. `onUpload`
|
|
// returns 'conflict' to play another writer landing first, optionally with its own admitMode.
|
|
function fakeFlipBack({ generation = '7', onUpload = () => 'ok', cellAnswers = true } = {}) {
|
|
const calls = []
|
|
let uploads = 0
|
|
let object = { generation: Number(generation), flags: { admitMode: 'reserve', readinessLocal: true } }
|
|
let applied = object
|
|
const fetchImpl = async (url, init = {}) => {
|
|
const text = String(url)
|
|
calls.push({ url: text, method: init.method ?? 'GET', body: init.body })
|
|
if (text.includes('/upload/storage/v1/')) {
|
|
uploads += 1
|
|
assert.match(text, new RegExp(`ifGenerationMatch=${object.generation}$`))
|
|
const outcome = onUpload(uploads)
|
|
if (outcome !== 'ok') {
|
|
object = { generation: object.generation + 1, flags: { ...object.flags, admitMode: outcome.admitMode ?? 'reserve' } }
|
|
applied = object
|
|
return new Response('', { status: 412 })
|
|
}
|
|
object = { generation: object.generation + 1, flags: JSON.parse(init.body.split('\r\n')[7]).flags }
|
|
applied = object
|
|
return new Response(JSON.stringify({ generation: String(object.generation) }))
|
|
}
|
|
if (text.includes('?alt=media')) {
|
|
return new Response(JSON.stringify({ v: 1, cellId: CELL, flags: object.flags }))
|
|
}
|
|
if (text.includes('/storage/v1/b/')) return new Response(JSON.stringify({ generation: String(object.generation) }))
|
|
if (text.endsWith('/v1/admin/runtime-status')) {
|
|
if (!cellAnswers) return new Response('', { status: 502 })
|
|
return new Response(
|
|
JSON.stringify({
|
|
role: 'cell',
|
|
cellId: CELL,
|
|
flagsApplied: applied,
|
|
supportedFlags: {
|
|
admitMode: { type: 'enum', values: ['db', 'reserve'] },
|
|
readinessLocal: { type: 'boolean' }
|
|
},
|
|
admitModeEffective: applied.flags.admitMode,
|
|
runtime: { controls: 10 }
|
|
})
|
|
)
|
|
}
|
|
if (text.endsWith('/v1/admin/cell-admit-mode')) {
|
|
const admitMode = JSON.parse(init.body).admitMode
|
|
return new Response(JSON.stringify({ v: 1, cellId: CELL, admitMode: admitMode ?? 'reserve', heartbeatFresh: true }))
|
|
}
|
|
throw new Error(`unexpected fetch ${text}`)
|
|
}
|
|
return { fetchImpl, calls, uploads: () => uploads }
|
|
}
|
|
|
|
const flipDependencies = (fetchImpl, lines, sleeps = []) => {
|
|
let clock = START
|
|
return {
|
|
fetchImpl,
|
|
accessToken: 'access',
|
|
idToken: 'id',
|
|
audit: { writtenBy: 'reserve-watch/test', runId: '1', runAttempt: '1' },
|
|
now: () => clock,
|
|
sleep: async (ms) => { sleeps.push(ms); clock += ms },
|
|
log: (line) => lines.push(JSON.parse(line))
|
|
}
|
|
}
|
|
|
|
const flipValues = (overrides = {}) => ({
|
|
mode: 'write',
|
|
'cell-id': CELL,
|
|
'cell-origin': 'https://c26.relay.onorca.dev',
|
|
'project-id': 'onorca-cloud',
|
|
'director-origin': 'https://relay.onorca.dev',
|
|
confirmation: `WRITE_RELAY_CELL_FLAGS ${CELL}`,
|
|
...overrides
|
|
})
|
|
|
|
test('the flip back is the flag tool write: admitMode=db at the generation just read, then Postgres db', async () => {
|
|
const { fetchImpl, calls } = fakeFlipBack()
|
|
const lines = []
|
|
const result = await flipBack(flipValues(), flipDependencies(fetchImpl, lines))
|
|
assert.equal(result.written, true)
|
|
const upload = calls.find((call) => call.url.includes('/upload/storage/v1/'))
|
|
assert.match(upload.body, /"flags":\{"admitMode":"db","readinessLocal":true\}/)
|
|
assert.ok(calls.some((call) => call.url.endsWith('/v1/admin/cell-admit-mode') && JSON.parse(call.body).admitMode === 'db'))
|
|
assert.deepEqual(lines.at(-1), {
|
|
event: 'orca_relay_reserve_watch_flip_back',
|
|
mode: 'write',
|
|
cellId: CELL,
|
|
written: true,
|
|
generation: '8'
|
|
})
|
|
})
|
|
|
|
test('a dry-run flip back plans the write and writes nothing', async () => {
|
|
const { fetchImpl, calls } = fakeFlipBack()
|
|
const lines = []
|
|
const result = await flipBack(flipValues({ mode: 'dry-run', confirmation: '' }), {
|
|
fetchImpl,
|
|
accessToken: 'access',
|
|
idToken: 'id',
|
|
audit: {},
|
|
sleep: async () => {},
|
|
log: (line) => lines.push(JSON.parse(line))
|
|
})
|
|
assert.equal(result.written, false)
|
|
assert.ok(!calls.some((call) => call.url.includes('/upload/')))
|
|
assert.ok(!calls.some((call) => call.url.endsWith('/v1/admin/cell-admit-mode') && JSON.parse(call.body).admitMode))
|
|
assert.equal(lines.find((line) => line.event === 'orca_relay_cell_flags_plan').desired.flags.admitMode, 'db')
|
|
})
|
|
|
|
test('a write flip back without the typed confirmation is refused before any read', async () => {
|
|
const { fetchImpl, calls } = fakeFlipBack()
|
|
await assert.rejects(
|
|
flipBack(flipValues({ confirmation: '' }), { fetchImpl, accessToken: 'a', idToken: 'i', audit: {}, log: () => {} }),
|
|
/WRITE_RELAY_CELL_FLAGS production-gce-c26/
|
|
)
|
|
assert.equal(calls.length, 0)
|
|
})
|
|
|
|
test('a generation conflict is re-read and retried while the switch file still says reserve', async () => {
|
|
const { fetchImpl, uploads } = fakeFlipBack({ onUpload: (n) => (n < 3 ? { admitMode: 'reserve' } : 'ok') })
|
|
const lines = []
|
|
const sleeps = []
|
|
const result = await flipBack(flipValues(), flipDependencies(fetchImpl, lines, sleeps))
|
|
assert.equal(result.written, true)
|
|
assert.equal(uploads(), 3)
|
|
assert.deepEqual(lines.filter((line) => line.event === 'orca_relay_reserve_watch_flip_back_conflict').map((line) => line.attempt), [1, 2])
|
|
assert.deepEqual(sleeps.slice(0, 1), [2_000])
|
|
assert.equal(lines.at(-1).generation, '10')
|
|
})
|
|
|
|
test('a conflict whose writer already flipped the cell to db ends the flip back without a write', async () => {
|
|
const { fetchImpl, uploads } = fakeFlipBack({ onUpload: () => ({ admitMode: 'db' }) })
|
|
const lines = []
|
|
const result = await flipBack(flipValues(), flipDependencies(fetchImpl, lines))
|
|
assert.equal(uploads(), 1)
|
|
assert.equal(result.written, false)
|
|
assert.equal(result.alreadyDb, true)
|
|
assert.deepEqual(lines.at(-1), { event: 'orca_relay_reserve_watch_flip_back', mode: 'write', cellId: CELL, written: false, generation: '8', alreadyDb: true })
|
|
})
|
|
|
|
test('conflicts past the retry bound fail the flip back', async () => {
|
|
const { fetchImpl, uploads } = fakeFlipBack({ onUpload: () => ({ admitMode: 'reserve' }) })
|
|
await assert.rejects(flipBack(flipValues(), flipDependencies(fetchImpl, [])), /object changed since expected-generation/)
|
|
assert.equal(uploads(), FLIP_BACK_ATTEMPTS)
|
|
})
|
|
|
|
test('an unreachable cell fails with the exact break-glass inputs and writes nothing', async () => {
|
|
const { fetchImpl, uploads } = fakeFlipBack({ cellAnswers: false })
|
|
const lines = []
|
|
await assert.rejects(
|
|
flipBack(flipValues(), flipDependencies(fetchImpl, lines)),
|
|
(error) => {
|
|
assert.match(error.message, /production-gce-c26 does not answer runtime-status \(cell runtime status returned 502\)/)
|
|
assert.match(error.message, /set=admitMode=default, break-glass=BREAK GLASS production-gce-c26, expected-generation=7/)
|
|
return true
|
|
}
|
|
)
|
|
assert.equal(uploads(), 0)
|
|
assert.deepEqual(lines.at(-1).inputs, {
|
|
mode: 'write',
|
|
'cell-id': CELL,
|
|
set: 'admitMode=default',
|
|
'break-glass': `BREAK GLASS ${CELL}`,
|
|
'expected-generation': '7',
|
|
confirmation: `WRITE_RELAY_CELL_FLAGS ${CELL}`
|
|
})
|
|
})
|
|
|
|
test('the 503 background is the 10 minutes before flipped-at, read once they are published', async () => {
|
|
const directory = await mkdtemp(join(tmpdir(), 'relay-reserve-watch-'))
|
|
try {
|
|
let clock = START
|
|
// Flipped one minute ago: the minutes before it are not published until 3 minutes after it.
|
|
const flippedAt = START - MINUTE + 20_000
|
|
const config = parseAt(
|
|
watchValues({ 'state-file': join(directory, 'state.json'), 'segment-minutes': '3', 'flipped-at': new Date(flippedAt).toISOString() })
|
|
)
|
|
const sources = fakeSources({ per503: (minute) => (minute < START - MINUTE ? 4 : 40) })
|
|
const lines = []
|
|
const state = await watchSegment(config, {
|
|
...sources,
|
|
idToken: 'id',
|
|
retryDelayMs: 0,
|
|
now: () => clock,
|
|
sleep: async (ms) => { clock += ms },
|
|
log: (line) => lines.push(JSON.parse(line))
|
|
})
|
|
// Pending until then, and pending is not a gap: the streak stays at zero.
|
|
assert.deepEqual(lines.map((line) => line.rules.director503.status), ['pending', 'pending', 'pass'])
|
|
assert.match(lines[0].rules.director503.reason, /background before the flip is not published yet/)
|
|
assert.deepEqual(lines.map((line) => line.unverifiableStreak), [0, 0, 0])
|
|
const baseline = sources.monitoringSpans.find((span) => span.endedAt === START - MINUTE)
|
|
assert.equal(baseline.startedAt, START - 11 * MINUTE)
|
|
assert.deepEqual(state.background, { medianPerMinute: 4, minutes: 10, source: 'measured' })
|
|
// An explicit value overrides the measurement.
|
|
const explicit = initialWatchState({ cellId: CELL, startedAt: START, durationMinutes: 60, background503PerMinute: 9, flippedAt })
|
|
assert.deepEqual(explicit.background, { medianPerMinute: 9, source: 'input' })
|
|
} finally {
|
|
await rm(directory, { recursive: true, force: true })
|
|
}
|
|
})
|
|
|
|
test('a quiet fleet with zero director 503s watches on and never trips', async () => {
|
|
const directory = await mkdtemp(join(tmpdir(), 'relay-reserve-watch-'))
|
|
try {
|
|
let clock = START
|
|
const config = parseAt(
|
|
watchValues({
|
|
'state-file': join(directory, 'state.json'),
|
|
'segment-minutes': '20',
|
|
'flipped-at': new Date(START - 2 * MINUTE).toISOString()
|
|
})
|
|
)
|
|
const lines = []
|
|
const state = await watchSegment(config, {
|
|
...fakeSources({ per503: () => 0 }),
|
|
idToken: 'id',
|
|
retryDelayMs: 0,
|
|
now: () => clock,
|
|
sleep: async (ms) => { clock += ms },
|
|
log: (line) => lines.push(JSON.parse(line))
|
|
})
|
|
assert.equal(state.state, 'watching')
|
|
assert.equal(lines.length, 20)
|
|
assert.deepEqual(state.background, { medianPerMinute: 0, minutes: 10, source: 'measured' })
|
|
assert.ok(lines.slice(1).every((line) => line.rules.director503.status === 'pass'))
|
|
assert.ok(lines.every((line) => line.unverifiableStreak === 0))
|
|
} finally {
|
|
await rm(directory, { recursive: true, force: true })
|
|
}
|
|
})
|
|
|
|
test('no request series at all is unverifiable and trips at the limit', async () => {
|
|
const directory = await mkdtemp(join(tmpdir(), 'relay-reserve-watch-'))
|
|
try {
|
|
let clock = START
|
|
const config = parseAt(watchValues({ 'state-file': join(directory, 'state.json'), 'segment-minutes': '10', 'background-503-per-minute': '0', 'flipped-at': '' }))
|
|
const state = await watchSegment(config, {
|
|
...fakeSources({ per503: () => 0, perOther: () => 0 }),
|
|
idToken: 'id',
|
|
retryDelayMs: 0,
|
|
now: () => clock,
|
|
sleep: async (ms) => { clock += ms },
|
|
log: () => {}
|
|
})
|
|
assert.equal(state.state, 'tripped')
|
|
assert.match(state.verdict, /unverifiable: 3 samples in a row could not read director503/)
|
|
} finally {
|
|
await rm(directory, { recursive: true, force: true })
|
|
}
|
|
})
|
|
|
|
test('a later segment judges flipped-at against the watch start, so a long watch does not age it out', async () => {
|
|
const directory = await mkdtemp(join(tmpdir(), 'relay-reserve-watch-'))
|
|
try {
|
|
const stateFile = join(directory, 'state.json')
|
|
const values = watchValues({ 'state-file': stateFile, 'flipped-at': new Date(START - 23 * 60 * MINUTE).toISOString() })
|
|
const later = START + 4 * 60 * MINUTE
|
|
await writeFile(stateFile, JSON.stringify(freshState()))
|
|
assert.equal((await parseWatchSegment(values, later)).flippedAt, START - 23 * 60 * MINUTE)
|
|
// The first segment (no state file yet) still refuses it, and records refused.
|
|
await rm(stateFile)
|
|
await assert.rejects(parseWatchSegment(values, later), /more than 24 hours/)
|
|
assert.equal(JSON.parse(await readFile(stateFile, 'utf8')).state, 'refused')
|
|
} finally {
|
|
await rm(directory, { recursive: true, force: true })
|
|
}
|
|
})
|
|
|
|
test('a corrupt state file fails the segment, never refuses or restarts it, and the outcome reads failed', async () => {
|
|
const directory = await mkdtemp(join(tmpdir(), 'relay-reserve-watch-'))
|
|
try {
|
|
const stateFile = join(directory, 'state.json')
|
|
const output = join(directory, 'out')
|
|
const values = watchValues({ 'state-file': stateFile })
|
|
for (const corrupt of ['null', '[]', '7', JSON.stringify({ state: 'watching', cellId: 'c7' })]) {
|
|
await writeFile(stateFile, corrupt)
|
|
await assert.rejects(parseWatchSegment(values, START), /state file/)
|
|
assert.equal(await readFile(stateFile, 'utf8'), corrupt)
|
|
assert.equal((await recordOutcome(stateFile, output)).state, 'failed')
|
|
}
|
|
} finally {
|
|
await rm(directory, { recursive: true, force: true })
|
|
}
|
|
})
|
|
|
|
test('a slow runtime-status reply is retried before the flip back calls for break glass', async () => {
|
|
const { fetchImpl: answering, uploads } = fakeFlipBack()
|
|
let runtimeCalls = 0
|
|
// fetchAdminOnceMore makes two tries per read; the first read's two both fail.
|
|
const fetchImpl = async (url, init) => {
|
|
if (String(url).endsWith('/v1/admin/runtime-status') && (runtimeCalls += 1) <= 2) return new Response('', { status: 503 })
|
|
return answering(url, init)
|
|
}
|
|
const lines = []
|
|
const sleeps = []
|
|
const result = await flipBack(flipValues(), flipDependencies(fetchImpl, lines, sleeps))
|
|
assert.equal(result.written, true)
|
|
assert.equal(uploads(), 1)
|
|
assert.deepEqual(lines.filter((line) => line.event === 'orca_relay_reserve_watch_runtime_retry').map((line) => line.attempt), [1])
|
|
assert.ok(!lines.some((line) => line.event === 'orca_relay_reserve_watch_break_glass_required'))
|
|
assert.ok(sleeps.includes(2_000))
|
|
assert.ok(FLIP_BACK_RUNTIME_ATTEMPTS > 1)
|
|
})
|
|
|
|
const watchWorkflow = readRelayWorkflow('operate-relay-production-reserve-watch.yml')
|
|
const jobOf = (name) => {
|
|
const start = watchWorkflow.indexOf(`\n ${name}:\n`)
|
|
assert.notEqual(start, -1, `job ${name} is missing`)
|
|
const next = watchWorkflow.slice(start + 1).search(/\n [a-z-]+:\n/)
|
|
return watchWorkflow.slice(start, next === -1 ? undefined : start + 1 + next)
|
|
}
|
|
|
|
test('workflow: neither job takes the flag workflow group, which would let a newer run cancel a pending flip back', () => {
|
|
assert.doesNotMatch(watchWorkflow, /group: relay-production-cell-flags/)
|
|
assert.doesNotMatch(jobOf('flip-back'), /^\s+concurrency:/m)
|
|
assert.doesNotMatch(jobOf('watch'), /^\s+concurrency:/m)
|
|
})
|
|
|
|
test('workflow: a watch that failed or was cancelled without a verdict flips back too', () => {
|
|
const flip = jobOf('flip-back')
|
|
// A cancel re-evaluates each step: every flip-back step must run on always() too.
|
|
const steps = flip.slice(flip.indexOf('\n steps:\n')).split(/\n - /).slice(1)
|
|
assert.equal(steps.length, 7)
|
|
for (const step of steps) assert.match(step, /\n\s+if: \$\{\{ always\(\) \}\}/, step.split('\n')[0])
|
|
assert.match(flip, /if: \$\{\{ always\(\) && vars\.ORCA_CLOUD_OPERATIONS_ENABLED == 'true' && needs\.watch\.result != 'skipped'/)
|
|
assert.match(flip, /!contains\(fromJSON\('\["completed","stopped","refused"\]'\), needs\.watch\.outputs\.state\)/)
|
|
// Every segment checks its ID token's shape, and runs the one shared command.
|
|
const segments = watchWorkflow.match(/run: bash -c "\$\{WATCH_SEGMENT\}"/g) ?? []
|
|
assert.equal(segments.length, 6)
|
|
assert.match(jobOf('watch'), /process\.env\.ORCA_RELAY_ADMIN_ID_TOKEN/)
|
|
})
|
|
|
|
test('a live rollout lease refuses the watch before its first sample; an expired one does not', async () => {
|
|
const directory = await mkdtemp(join(tmpdir(), 'relay-reserve-watch-'))
|
|
try {
|
|
const stateFile = join(directory, 'state.json')
|
|
const output = join(directory, 'out')
|
|
const config = parseAt(watchValues({ 'state-file': stateFile, 'github-output': output, 'segment-minutes': '1' }))
|
|
const lease = (expiresAt) => ({ record: { expires_at: expiresAt }, holder: 'Deploy Relay Production Same-Cap (run 9)' })
|
|
let clock = START
|
|
const dependencies = (rolloutLease) => ({
|
|
...fakeSources({ rolloutLease }),
|
|
idToken: 'id',
|
|
retryDelayMs: 0,
|
|
now: () => clock,
|
|
sleep: async (ms) => { clock += ms },
|
|
log: () => {}
|
|
})
|
|
const held = await watchSegment(config, dependencies(lease(START + MINUTE)))
|
|
assert.equal(held.state, 'refused')
|
|
assert.match(held.verdict, /a rollout holds the Cloud SQL rollout lease until .*Same-Cap \(run 9\)/)
|
|
assert.equal(JSON.parse(await readFile(stateFile, 'utf8')).state, 'refused')
|
|
assert.match(await readFile(output, 'utf8'), /^state=refused\n/)
|
|
await rm(stateFile)
|
|
assert.equal((await watchSegment(config, dependencies(lease(START - 1)))).state, 'watching')
|
|
// Only the first segment checks: a later one carries on from its state file.
|
|
assert.equal((await watchSegment(config, dependencies(lease(clock + MINUTE)))).state, 'watching')
|
|
// A lease it cannot read refuses too, as the lease action fails closed.
|
|
assert.match(await rolloutLeaseRefusal(async () => { throw new Error('403') }, START), /lease is unreadable \(403\)/)
|
|
assert.equal(await rolloutLeaseRefusal(async () => null, START), null)
|
|
} finally {
|
|
await rm(directory, { recursive: true, force: true })
|
|
}
|
|
})
|
|
|
|
const stepOf = (job, name) => {
|
|
const text = jobOf(job)
|
|
const start = text.indexOf(`- name: ${name}\n`)
|
|
assert.notEqual(start, -1, `step ${name} is missing`)
|
|
const end = text.indexOf('\n - ', start + 1)
|
|
return text.slice(start, end === -1 ? undefined : end)
|
|
}
|
|
const ALARM_COMMAND = /node dev\/scripts\/watch-relay-reserve-cell\.mjs alarm --kind KIND \\\n\s+--mode "\$\{MODE\}" --cell-id "\$\{CELL_ID\}" --project-id "\$\{GCP_PROJECT_ID\}" --verdict "\$\{VERDICT_VAR\}"/
|
|
const alarmCommand = (kind, verdict) => new RegExp(ALARM_COMMAND.source.replace('KIND', kind).replace('VERDICT_VAR', verdict))
|
|
|
|
test('workflow: a flip back that did not land and a refused watch both raise the alarm', () => {
|
|
const alarm = stepOf('flip-back', 'Alarm when the flip back did not land')
|
|
assert.match(alarm, /if: \$\{\{ always\(\) \}\}/)
|
|
assert.match(alarm, /grep -qs '"event":"orca_relay_reserve_watch_flip_back"' "\$\{RUNNER_TEMP\}\/relay-reserve-flip-back\.jsonl"/)
|
|
assert.match(alarm, alarmCommand('flip-back-failed', 'VERDICT'))
|
|
const refused = stepOf('watch', 'Alarm on a refused watch')
|
|
assert.match(refused, /if: \$\{\{ always\(\) && steps\.outcome\.outputs\.state == 'refused' \}\}/)
|
|
assert.match(refused, /WATCH_VERDICT: \$\{\{ steps\.outcome\.outputs\.verdict \}\}/)
|
|
assert.match(refused, alarmCommand('refused', 'WATCH_VERDICT'))
|
|
// After the outcome step, so it reads the recorded state.
|
|
assert.ok(jobOf('watch').indexOf('- name: Alarm on a refused watch') > jobOf('watch').indexOf('- id: outcome'))
|
|
// The flip-back line names only the write's own event, never its conflict retries.
|
|
assert.match(readFileSync(new URL('./watch-relay-reserve-cell.mjs', import.meta.url), 'utf8'), /event: 'orca_relay_reserve_watch_flip_back',\n/)
|
|
})
|
|
|
|
test('an alarm is an escaped error annotation everywhere, and in write mode a paging log line', async () => {
|
|
const calls = []
|
|
const lines = []
|
|
const runGcloud = async (args, options) => (calls.push({ args, options }), { stdout: '' })
|
|
const alarm = (overrides) =>
|
|
raiseAlarm(
|
|
{ mode: 'write', cellId: CELL, projectId: 'onorca-cloud', kind: 'refused', reason: '50%\r\nlease held', ...overrides },
|
|
{ runGcloud, log: (line) => lines.push(line) }
|
|
)
|
|
assert.deepEqual(await alarm(), { paged: true })
|
|
assert.equal(
|
|
lines[0],
|
|
`::error title=Reserve watch refused for ${CELL}::${CELL} may be in reserve mode and unwatched: the watch was refused (50%25%0D%0Alease held). ` +
|
|
'Rerun it, or flip the cell to db with Operate Relay Production Cell Flags.'
|
|
)
|
|
assert.deepEqual(calls[0].args, [
|
|
'logging', 'write', ALARM_LOG_NAME,
|
|
JSON.stringify({ event: ALARM_EVENT, cellId: CELL, kind: 'refused', reason: '50%\r\nlease held' }),
|
|
'--payload-type=json', '--severity=ERROR', '--project', 'onorca-cloud'
|
|
])
|
|
// A dry run never flips back, so its alarm annotates but does not page.
|
|
assert.deepEqual(await alarm({ mode: 'dry-run', kind: 'flip-back-failed' }), { paged: false })
|
|
assert.equal(calls.length, 1)
|
|
assert.match(lines[1], /^::error title=Reserve watch flip-back-failed for production-gce-c26::.*did not land/)
|
|
// A title property escapes its own separators too.
|
|
await alarm({ mode: 'dry-run', cellId: 'a:b,c' })
|
|
assert.match(lines[2], /^::error title=Reserve watch refused for a%3Ab%2Cc::/)
|
|
// A failed log write is named, never swallowed silently.
|
|
const failed = await raiseAlarm(
|
|
{ mode: 'write', cellId: CELL, projectId: 'onorca-cloud', kind: 'flip-back-failed', reason: 'x' },
|
|
{ runGcloud: async () => { throw new Error('PERMISSION_DENIED') }, log: (line) => lines.push(line) }
|
|
)
|
|
assert.deepEqual(failed, { paged: false })
|
|
assert.match(lines.at(-1), /^::error title=Reserve watch page failed::.*nothing pages: PERMISSION_DENIED/)
|
|
await assert.rejects(alarm({ kind: 'other' }), /--kind must be one of/)
|
|
// A missing project still annotates, then names the page it could not send.
|
|
const before = calls.length
|
|
assert.deepEqual(await alarm({ projectId: undefined }), { paged: false })
|
|
assert.equal(calls.length, before)
|
|
assert.match(lines.at(-2), /^::error title=Reserve watch refused for /)
|
|
assert.match(lines.at(-1), /nothing pages: --project-id is not a GCP project id/)
|
|
})
|