Replica session assessment gates
Score 0 missing/incorrect, 1 partial or prompted, 2 independently correct with evidence, 3 fresh-case transfer with justified limitations. Every gate must reach 2; aggregate scores cannot replace a failed gate.
- RP1 — Prefix reasoning: independently trace commit, receipt and apply; distinguish missing data at a valid prefix from lag-blocked reads.
- RP2 — Session policy: merge write/read tokens monotonically and explain later overwrites, availability tradeoffs and snapshot limits.
- RP3 — Implementation: own starter passes supplied and three independent traces; validate transitions and preserve state after rejected events.
- RP4 — Fault discrimination: reject receipt-based routing, stale-value replay, ignored lower bounds or regressing tokens with minimal counterexamples.
- RP5 — Integration: specify caller wait/routing/failure behavior, token scope and migration ownership; complete the original quorum, conflict, partition and rebalance evidence.
- RP6 — Retained transfer: after 48 hours, solve a changed lag/availability case without solutions and explain a cross-shard or failover limitation.
Budget 6–8 hours including repair; passive waiting is excluded. Keep first score, evidence paths, assistance declaration, correction and fresh retest. Tests do not establish learner independence or real distributed-system guarantees. Consult calibration after attempting.