Practice Mode • System Design • hard

Order Ledger Quorum

280 points

Evaluate order-ledger quorum guarantees.

Problem

You are implementing evaluate order-ledger quorum guarantees. The input is one JSON value. Return exactly the JSON or scalar result described by the examples, with stable ordering and no extra logging. Report read/write availability and whether read and write quorums overlap. Explain your reasoning and complexity during interview review; the judge evaluates only the returned result.

Input contract

One UTF-8 JSON value matching the structures shown in the examples.

Output contract

One deterministic JSON value or scalar with no explanatory text.

Target complexity

O(1) time and space

Judge protocol

function-stdin-json-v1

Examples

Example 1

Input: {"healthy":3,"read":2,"replicas":3,"write":2}
Output: {"readAvailable":true,"strongOverlap":true,"writeAvailable":true}

This example demonstrates the core system design invariant.

Example 2

Input: {"healthy":1,"read":2,"replicas":3,"write":2}
Output: {"readAvailable":false,"strongOverlap":true,"writeAvailable":false}

This example covers the empty or minimum boundary.

Constraints

Input is valid UTF-8 JSON and is at most 64 KB.
Output must be deterministic for identical input.
Do not use network access, persistent filesystem writes, subprocesses, or environment secrets.
Handle the empty or minimum boundary shown in the examples.

Progressive hints

Integrity: hidden tests, editorial solutions, and assessment-only cases are never sent to the browser as answer keys. Final execution occurs only in the separately isolated runner.

Execution unavailable until runner deployment and certificationdisabled • pending

Sign in to code

You can review the complete problem publicly. Sign in to save encrypted drafts and submit to the isolated runner.