Mishneh Torah, The Sanhedrin and the Penalties within Their Jurisdiction 2

Alright, my fellow data-miners of the Divine code! Buckle up, because we're about to dive into the fascinating world of Sanhedrin appointment criteria, and we're going to model it like the most elegant algorithm you've ever seen. We're not just reading text; we're debugging the very architecture of justice!

Problem Statement

The "Bug Report" in the Sugya: Ensuring Judge-Quality Assurance

Our "bug report" today is about the stringent requirements for appointing members to the Sanhedrin, both the Grand Sanhedrin and its regional counterparts. The core issue is how to ensure that the individuals selected possess the optimal blend of intellectual capacity, ethical grounding, and communal standing necessary to administer divine law. The Rambam lays out a complex set of criteria, and the challenge for any system designer (or, in our case, a Talmid) is to understand the logic and interdependencies of these requirements. We're looking for the "design spec" for a judge, and frankly, some of these requirements seem like they might lead to a "runtime error" if not handled correctly. Are we talking about a strict type system, or more of a flexible schema? Let's find out.

Text Snapshot

Here are the key lines we'll be dissecting, with our critical anchors:

• 2:1:1: "We appoint to a Sanhedrin - both to the Supreme Sanhedrin and to a minor Sanhedrin - only men of wisdom and understanding, of unique distinction in their knowledge of the Torah and who possess a broad intellectual potential."
• 2:1:1 (cont.): "They should also have some knowledge concerning other intellectual disciplines, e.g., medicine, mathematics, the fixation of the calendar, astronomy, astrology, and also the practices of fortune-telling, magic, sorcery, and the hollow teachings of idolatry, so that they will know how to judge them."
• 2:1:2: "We appoint to the Sanhedrin only priests, Levites, and Israelites of lineage of fine repute who can marry into the priesthood."
• 2:1:3: "It is a mitzvah for there to be priests and Levites in the Supreme Sanhedrin, as Deuteronomy 17:9 states: 'And you shall come to the priests and to the Levites. If appropriate ones are not found, it is permissible for all the judges to be Israelites."
• 2:1:4: "We should not appoint to a Sanhedrin a man of very old age or one who does not possess male physical attributes, for they possess the trait of cruelty, nor a man who is childless, so that the judges should be merciful."
• 2:1:5: "A king of Israel may not be included in the Sanhedrin, for we are forbidden to disagree with him and repudiate his words."
• 2:1:7: "The High Priest, by contrast, may be included in the Sanhedrin if his knowledge makes him fitting."
• 2:1:8: "Just as the judges of a court must be on the highest level of righteousness; so, too, must they be unsullied by any physical blemishes."
• 2:1:9: "An effort should be made that they all be white-haired, of impressive height, of dignified appearance, men who understand whispered matters, who understand many different languages so that the Sanhedrin will not need to hear testimony from an interpreter."
• 2:1:10: "We are not careful to demand that a judge for a court of three possess all these qualities. He must, however, possess seven attributes: wisdom, humility, the fear of God, a loathing for money, a love for truth; he must be a person who is beloved by people at large, and must have a good reputation."
• 2:1:13: "When one of the judges of a court of three is a convert, the court is disqualified. His mother must be a native-born Jewess. If, by contrast, one of the judges is a mamzer, even if all three of them are mamzerim, they are acceptable to pass judgment."
• 2:1:14: "Similarly, if all of the members of a court of three were blind in one eye, it is acceptable. This does not apply with regard to a Sanhedrin."
• 2:1:16: "All the judges who sit in court must be Torah scholars and of appropriate character. It is forbidden for a wise man to sit in judgment until he knows with whom he will be sitting. This restraint is observed lest he be coupled with men who are unsuitable. Thus he will be part of 'a band of traitors,' and not part of a court."

Flow Model

Let's visualize the appointment process as a decision tree, mapping out the conditional logic. Think of this as the pseudocode for judicial selection.

• Root Node: Candidate Evaluation
  • Check 1: Core Competency (Torah Knowledge)
    • IF Candidate possesses "unique distinction in their knowledge of the Torah" AND "broad intellectual potential" (2:1:1)
      • THEN Proceed to Check 2.
      • ELSE REJECT Candidate.
  • Check 2: Ancillary Knowledge Domains
    • IF Candidate possesses knowledge in "medicine, mathematics, calendar fixation, astronomy, astrology, fortune-telling, magic, sorcery, idolatry teachings" (2:1:1)
      • THEN Proceed to Check 3.
      • ELSE REJECT Candidate (for Sanhedrin, but perhaps acceptable for lesser courts – this is a nuanced branching point).
  • Check 3: Lineage & Status
    • IF Candidate is Priest, Levite, or "Israelite of lineage of fine repute who can marry into the priesthood" (2:1:2)
      • THEN Proceed to Check 4.
      • ELSE REJECT Candidate.
  • Check 4: King Exclusion
    • IF Candidate is King of Israel (2:1:5)
      • THEN REJECT Candidate.
      • ELSE Proceed to Check 5.
  • Check 5: High Priest Inclusion
    • IF Candidate is High Priest AND "his knowledge makes him fitting" (2:1:7)
      • THEN Proceed to Check 6 (High Priest has a special bypass/inclusion rule).
      • ELSE Proceed to Check 6.
  • Check 6: Age & Physical Attributes (Sanhedrin Specific)
    • IF Candidate is NOT "very old age" AND Candidate possesses "male physical attributes" AND Candidate is NOT "childless" (2:1:4)
      • THEN Proceed to Check 7.
      • ELSE REJECT Candidate.
  • Check 7: Physical Blemishes (Sanhedrin Specific)
    • IF Candidate is unsullied by "any physical blemishes" (2:1:8)
      • THEN Proceed to Check 8.
      • ELSE REJECT Candidate.
  • Check 8: Desired Demeanor & Communication Skills (Sanhedrin Ideal)
    • IF Candidate is "white-haired, of impressive height, of dignified appearance, understands whispered matters, and understands many different languages" (2:1:9)
      • THEN Candidate is IDEAL for Sanhedrin.
      • ELSE Candidate is ACCEPTABLE, but less than ideal. (This is an optimization, not a strict disqualifier for the ideal Sanhedrin).
  • Check 9: Seven Attributes (Minimum for Court of Three)
    • IF Candidate possesses "wisdom, humility, fear of God, loathing for money, love for truth, beloved by people at large, good reputation" (2:1:10)
      • THEN Candidate is ACCEPTABLE for a Court of Three.
      • ELSE REJECT Candidate.
  • Check 10: Convert/Mamzer Status (Court of Three Specific)
    • IF Candidate is a Convert AND mother is NOT native-born Jewess (2:1:13)
      • THEN REJECT Candidate (for Court of Three).
      • ELSE Proceed.
    • IF Candidate is a Mamzer (2:1:13)
      • THEN ACCEPTABLE (even if all three are mamzerim).
      • ELSE Proceed.
  • Check 11: Blindness (Court of Three vs. Sanhedrin)
    • IF Candidate is blind in one eye (2:1:14)
      • THEN ACCEPTABLE for Court of Three, NOT for Sanhedrin.
      • ELSE Proceed.
    • IF Candidate is blind in both eyes (2:1:14)
      • THEN REJECT Candidate (for ALL courts).
      • ELSE Proceed.
  • Check 12: Cohabitation Constraint
    • IF Candidate is a wise man AND knows whom he will be sitting with (2:1:16)
      • THEN Candidate can join the court.
      • ELSE REJECT Candidate (to avoid being part of an unsuitable group).

This flow chart demonstrates a layered approach: core requirements, then specific enhancements or exclusions, and finally, minimum qualifications for lesser courts.

Two Implementations

Let's compare two algorithmic approaches to selecting Sanhedrin members, drawing from the logic presented. We'll call Algorithm A the "Rishonim" approach, focusing on a more direct, perhaps less abstracted, interpretation, and Algorithm B the "Acharonim" approach, which might incorporate more refined parsing or a more comprehensive data model.

Algorithm A: The Rishonim's "Direct Compile"

This algorithm prioritizes a direct translation of the explicit requirements into a series of checks. It's like compiling code without significant optimization – it works, but might be verbose.

Data Structures:

• Candidate: An object with properties like TorahKnowledge, AncillaryKnowledge, Lineage, IsKing, IsHighPriest, Age, IsMale, HasChildren, PhysicalBlemishes, AppearanceMetrics, LanguageSkills, SevenAttributes, ConvertStatus, MamzerStatus, EyeSight.
• SanhedrinRequirements: A set of boolean flags or thresholds.

Pseudocode:

FUNCTION AppointToSanhedrin_AlgorithmA(Candidate):
  // Phase 1: Core Competency & Knowledge Base
  IF NOT Candidate.TorahKnowledge.IsDistinguished() OR NOT Candidate.TorahKnowledge.HasBroadPotential():
    RETURN REJECTED("Insufficient Torah Knowledge")

  AncillaryKnowledgeDomains = ["medicine", "mathematics", "calendar", "astronomy", "astrology", "fortune_telling", "magic", "sorcery", "idolatry"]
  FOR EACH domain IN AncillaryKnowledgeDomains:
    IF NOT Candidate.AncillaryKnowledge.Has(domain):
      // Note: This is a strict check for Sanhedrin based on 2:1:1
      RETURN REJECTED("Missing Ancillary Knowledge")

  // Phase 2: Lineage & Status Filtering
  IF Candidate.Lineage IS NOT "Priest" AND Candidate.Lineage IS NOT "Levite" AND Candidate.Lineage IS NOT "FineReputeIsraelite":
    RETURN REJECTED("Invalid Lineage")

  IF Candidate.IsKing:
    RETURN REJECTED("Kings are excluded")

  IF Candidate.IsHighPriest AND Candidate.TorahKnowledge.IsSufficientForHighPriest():
    // Special case for High Priest, knowledge is paramount
    // Proceed, but note this bypasses some general checks if knowledge is high enough
    GOTO Phase3_PhysicalAndDemeanor

  // Phase 3: Physical & Demographic Constraints (Sanhedrin Specific)
  IF Candidate.Age IS "VeryOld" OR NOT Candidate.IsMale OR NOT Candidate.HasChildren:
    RETURN REJECTED("Unsuitable Demographic/Physical Trait")

  IF Candidate.PhysicalBlemishes IS NOT "None":
    RETURN REJECTED("Physical Blemishes")

  // Phase 4: Ideal vs. Acceptable (Sanhedrin Specific)
  Phase3_PhysicalAndDemeanor:
  // These are "efforts should be made" - not strict disqualifiers if core is met
  // But for the IDEAL Sanhedrin, they are strong indicators.
  IF Candidate.AppearanceMetrics.Height IS NOT "Impressive" OR Candidate.AppearanceMetrics.Color IS NOT "WhiteHaired" OR Candidate.AppearanceMetrics.Demeanor IS NOT "Dignified" OR NOT Candidate.CommunicationSkills.UnderstandsWhispers OR Candidate.CommunicationSkills.LanguageCount < Threshold_ManyLanguages:
     // This candidate is ACCEPTABLE but not IDEAL for Sanhedrin
     // For a Court of Three, these are even less critical.
     GOTO Phase4_SevenAttributes

  // Phase 5: Minimum Requirements (Court of Three - but also relevant for Sanhedrin)
  Phase4_SevenAttributes:
  SevenAttributes = ["Wisdom", "Humility", "FearOfGod", "LoathingForMoney", "LoveForTruth", "BelovedByPeople", "GoodReputation"]
  FOR EACH attr IN SevenAttributes:
    IF NOT Candidate.HasAttribute(attr):
      RETURN REJECTED("Missing One of Seven Attributes")

  // Phase 6: Specific Exclusions/Inclusions for Courts of Three (and indirectly Sanhedrin)
  // Note: 2:1:13 and 2:1:14 are primarily for courts of three, but have implications.
  // If a Sanhedrin member is also serving on a court of three, these apply.
  IF Candidate.IsConvert AND NOT Candidate.MotherIsNativeBorn:
    RETURN REJECTED("Convert with non-native mother disqualified from Court of Three")

  IF Candidate.EyeSight IS "BlindInOneEye" AND TargetCourt IS "Sanhedrin":
    RETURN REJECTED("Blind in one eye disqualifies from Sanhedrin")

  IF Candidate.EyeSight IS "BlindInBothEyes":
    RETURN REJECTED("Blind in both eyes disqualifies from ALL courts")

  // Phase 7: Collegiality Check
  // This is a runtime check during appointment, not a static candidate property check
  // IF Candidate is WISE MAN AND (FOR EACH potentialColleague IN CurrentCourt: NOT Candidate.KnowsColleagueSuitability(potentialColleague)):
  //   RETURN REJECTED("Cannot guarantee suitability of colleagues")

  RETURN ACCEPTED

Analysis: Algorithm A is procedural. It follows a linear path, checking requirements sequentially. The GOTO statements are a bit clunky, representing how one might jump over checks based on specific conditions (like the High Priest). The language is very close to the text, ensuring we don't miss any explicit rule.

Algorithm B: The Acharonim's "Optimized Module"

This algorithm aims for a more modular and potentially object-oriented approach. It leverages data structures and functions to encapsulate checks and dependencies, leading to cleaner code and better maintainability.

Data Structures:

• CandidateProfile:
  • core_intellect: { torah_distinction: bool, broad_potential: bool }
  • ancillary_domains: Set of strings (e.g., "medicine", "mathematics")
  • lineage_group: Enum { PRIEST, LEVITE, ISRAELITE_HIGH_REPUTE }
  • status: Enum { KING, HIGH_PRIEST, ORDINARY }
  • demographics: { age_category: Enum { YOUNG, ADULT, OLD, VERY_OLD }, gender: Enum { MALE, FEMALE }, parenthood: Enum { CHILDLESS, HAS_CHILDREN } }
  • physical_attributes: { blemishes: bool, eye_sight: Enum { NORMAL, BLIND_ONE_EYE, BLIND_BOTH_EYES } }
  • demeanor_qualities: { white_haired: bool, height: Enum { NORMAL, IMPRESSIVE }, dignified_appearance: bool }
  • communication: { understands_whispers: bool, languages_known: int }
  • character_attributes: Set of strings (from the seven)
  • ancestry_details: { is_convert: bool, mother_native_born: bool, is_mamzer: bool }
• SanhedrinConfig: { ideal_sanhedrin_strict: bool, min_court_of_three: bool }

Pseudocode:

# Helper functions for attribute checks
FUNCTION check_ancillary_domains(candidate_domains, required_domains):
  RETURN candidate_domains.issuperset(required_domains)

FUNCTION check_lineage(candidate_lineage, required_groups):
  RETURN candidate_lineage IN required_groups

FUNCTION check_physical_constraints(candidate_demographics, candidate_physical, config):
  IF config.ideal_sanhedrin_strict:
    IF candidate_demographics.age_category == VERY_OLD OR candidate_demographics.gender == FEMALE OR candidate_demographics.parenthood == CHILDLESS:
      RETURN FALSE
    IF candidate_physical.blemishes OR candidate_physical.eye_sight == BLIND_BOTH_EYES:
      RETURN FALSE
    IF config.ideal_sanhedrin_strict AND candidate_physical.eye_sight == BLIND_ONE_EYE:
      RETURN FALSE
  ELSE: # For less strict courts, or general Sanhedrin if not ideal
    IF candidate_physical.eye_sight == BLIND_BOTH_EYES:
      RETURN FALSE
    IF config.min_court_of_three AND candidate_physical.eye_sight == BLIND_ONE_EYE:
      RETURN FALSE
  RETURN TRUE

FUNCTION check_seven_attributes(candidate_attributes, required_attributes):
  RETURN candidate_attributes.issuperset(required_attributes)

# Main Appointment Logic
FUNCTION AppointToSanhedrin_AlgorithmB(CandidateProfile, SanhedrinConfig):
  # Module 1: Core Intellect & Knowledge
  IF NOT (CandidateProfile.core_intellect.torah_distinction AND CandidateProfile.core_intellect.broad_potential):
    RETURN REJECTED("Insufficient Torah Foundation")

  REQUIRED_ANCILLARY = {"medicine", "mathematics", "calendar", "astronomy", "astrology", "fortune_telling", "magic", "sorcery", "idolatry"}
  IF NOT check_ancillary_domains(CandidateProfile.ancillary_domains, REQUIRED_ANCILLARY):
    RETURN REJECTED("Missing Required Ancillary Domains")

  # Module 2: Lineage & Status Filtering
  REQUIRED_LINEAGE_GROUPS = {PRIEST, LEVITE, ISRAELITE_HIGH_REPUTE}
  IF NOT check_lineage(CandidateProfile.lineage_group, REQUIRED_LINEAGE_GROUPS):
    RETURN REJECTED("Invalid Lineage Group")

  IF CandidateProfile.status == KING:
    RETURN REJECTED("Kings are excluded")

  # Module 3: Physical, Demographic & Ideal Traits
  # Handle High Priest as a special case for status, potentially overriding some checks if knowledge is sufficient
  IF CandidateProfile.status == HIGH_PRIEST:
    # A separate, more lenient check might occur here if knowledge is deemed sufficient.
    # For now, we'll assume general checks apply unless otherwise specified.
    pass

  IF NOT check_physical_constraints(CandidateProfile.demographics, CandidateProfile.physical_attributes, SanhedrinConfig):
    RETURN REJECTED("Fails Physical/Demographic/EyeSight Constraints")

  IF SanhedrinConfig.ideal_sanhedrin_strict:
    IF NOT (CandidateProfile.demeanor_qualities.white_haired AND
            CandidateProfile.demeanor_qualities.height == IMPRESSIVE AND
            CandidateProfile.demeanor_qualities.dignified_appearance AND
            CandidateProfile.communication.understands_whispers AND
            CandidateProfile.communication.languages_known >= THRESHOLD_MANY_LANGUAGES):
      # Candidate is acceptable but not IDEAL for an ideal Sanhedrin.
      # If ideal_sanhedrin_strict is false, these are not disqualifying.
      pass

  # Module 4: Seven Attributes (Minimum for any Court)
  REQUIRED_SEVEN_ATTRIBUTES = {"Wisdom", "Humility", "FearOfGod", "LoathingForMoney", "LoveForTruth", "BelovedByPeople", "GoodReputation"}
  IF NOT check_seven_attributes(CandidateProfile.character_attributes, REQUIRED_SEVEN_ATTRIBUTES):
    RETURN REJECTED("Missing One of Seven Core Attributes")

  # Module 5: Specific Ancestry/Status Constraints (primarily for Court of Three, but relevant)
  IF CandidateProfile.ancestry_details.is_convert AND NOT CandidateProfile.ancestry_details.mother_native_born:
    IF SanhedrinConfig.min_court_of_three:
      RETURN REJECTED("Convert with non-native mother disqualified from Court of Three")
    # For Sanhedrin itself, this isn't explicitly stated as disqualifying, but it's a data point.

  IF CandidateProfile.ancestry_details.is_mamzer:
    # Mamzerim are acceptable. No explicit check needed here to disqualify.
    pass

  # Module 6: Collegiality Check (Runtime, not part of candidate profile evaluation)
  # This check occurs when assembling the full court.
  # IF CandidateProfile IS WISE MAN AND NOT AllColleaguesAreSuitable(CandidateProfile, CurrentCourtComposition):
  #   RETURN REJECTED("Collegiality Check Failed")

  RETURN ACCEPTED

Analysis: Algorithm B uses functions and enums to structure the logic. The SanhedrinConfig parameter allows us to switch between "ideal Sanhedrin" and "minimum court of three" modes, making the code more adaptable. The checks are grouped into modules, mirroring a more robust software architecture. The check_physical_constraints function encapsulates several related rules, improving readability.

Edge Cases

Let's stress-test these algorithms with some tricky inputs – data points that might cause unexpected behavior in a naïve implementation.

Edge Case 1: The "Master of Many Arts" Convert

• Input: A candidate who is a brilliant scholar, knows all the ancillary subjects, has the seven attributes, is a mamzer, and whose mother was a gentile.
• Problem: The text states a convert whose mother is not a native-born Jewess is disqualified from a court of three (2:1:13). However, for the Sanhedrin, the primary focus is on wisdom and lineage (2:1:2), with specific exclusions. The mamzer status is explicitly acceptable for a court of three.
• Algorithm A (Direct Compile):
  • Checks core competency and ancillary subjects (PASS).
  • Checks lineage: "Israelite of lineage of fine repute" (PASS if they meet this despite convert status, this is ambiguous, but let's assume they do for the sake of argument).
  • Checks king status (PASS).
  • Checks age/gender/children (PASS).
  • Checks blemishes (PASS).
  • Checks demeanor/languages (PASS).
  • Checks seven attributes (PASS).
  • Crucially, at Check 10 (Convert/Mamzer Status), it hits: "When one of the judges of a court of three is a convert, the court is disqualified. His mother must be a native-born Jewess. If, by contrast, one of the judges is a mamzer, even if all three of them are mamzerim, they are acceptable to pass judgment."
  • Expected Output (Naïve A): If Algorithm A treats "court of three" rules as universally disqualifying, it might incorrectly REJECT the candidate for the Sanhedrin, even if the Sanhedrin itself has different criteria. The ambiguity lies in whether the "court of three" rules are only for courts of three, or if they represent a general disqualification for anyone serving on any court. The text implies the former ("court of three is disqualified"), but the phrasing can be tricky.
• Algorithm B (Optimized Module):
  • The SanhedrinConfig would likely be set to ideal_sanhedrin_strict=True or min_court_of_three=False.
  • The check_ancestry_details (or equivalent) would be called.
  • Expected Output (B): If the SanhedrinConfig is not min_court_of_three=True, the check for "Convert with non-native mother disqualified from Court of Three" would be bypassed or ignored for a Sanhedrin appointment. The mamzer status is explicitly acceptable. Therefore, this candidate would be ACCEPTED for the Sanhedrin (assuming other criteria are met), reflecting a more nuanced understanding of the context-dependent rules.

Edge Case 2: The "Young Prodigy" with Perfect Lineage but Lacking "Childless" Status

• Input: A candidate who is exceptionally wise, knows all ancillary subjects, is a priest of impeccable lineage, possesses all seven attributes, is not childless, but is only 25 years old and not "white-haired" or "impressive height."
• Problem: The text says, "We should not appoint to a Sanhedrin a man of very old age... nor a man who is childless, so that the judges should be merciful" (2:1:4). It also says, "An effort should be made that they all be white-haired, of impressive height, of dignified appearance..." (2:1:9). The "not childless" part is interesting – it's listed alongside traits associated with cruelty, implying childlessness might correlate with cruelty. However, the phrasing "so that the judges should be merciful" suggests a reason for the rule, not necessarily a strict disqualifier in all cases. The youth and appearance are listed as "effort should be made," implying they are ideal, not mandatory.
• Algorithm A (Direct Compile):
  • Checks core competency, ancillary subjects, lineage, seven attributes (PASS).
  • At Check 6: "IF Candidate is NOT 'very old age' AND Candidate possesses 'male physical attributes' AND Candidate is NOT 'childless'..."
  • The candidate is not childless, so this condition is met. The problem is if the algorithm interprets "not childless" as a requirement to have children, which it clearly does not. The rule is "not childless" (i.e., they have children) is the positive requirement for mercy.
  • Expected Output (Naïve A): If the algorithm incorrectly parses "not childless" as "must not be childless," it would REJECT the candidate. However, the correct reading is "must not be childless," meaning they should have children. The candidate has children, thus fulfilling the condition. The youth/appearance would be noted as non-ideal but not disqualifying if the "effort should be made" clause is handled as a preference, not a hard rule.
• Algorithm B (Optimized Module):
  • The SanhedrinConfig might be ideal_sanhedrin_strict=True.
  • The check_physical_constraints function would evaluate candidate_demographics.parenthood.
  • Expected Output (B): The check_physical_constraints function would correctly interpret NOT Candidate.HasChildren (meaning they do have children) as satisfying the condition for mercy (2:1:4). The checks for ideal appearance (white-haired, height) would fall under a separate logic path within check_physical_constraints or a subsequent function, marked as ideal but not strictly disqualifying unless ideal_sanhedrin_strict is set to a very high bar. Therefore, this candidate would likely be ACCEPTED, with notes on their non-ideal appearance.

Refactor

The Minimal Change: Contextualizing "Court of Three" Rules

The most significant area of potential confusion is the application of rules explicitly stated for "a court of three" to the larger "Sanhedrin." The text in 2:1:13 and 2:1:14 discusses disqualifications for converts and blindness within the context of a three-judge court.

• Current State: These rules are sometimes interpreted as universally disqualifying for any judicial body, including the Sanhedrin.
• Refactor: Introduce a CourtType parameter or enum in the core validation functions.

Proposed Change:

Modify the logic for checks related to 2:1:13 (convert status) and 2:1:14 (blindness) to be conditional on the CourtType.

Example Refactor Snippet (Conceptual):

# Instead of a single check, imagine this:

def is_disqualified_by_convert_status(candidate, court_type):
    if candidate.is_convert and not candidate.mother_native_born:
        if court_type == COURT_TYPE.THREE_JUDGES:
            return True # Specifically disqualified from a court of three
        # For Sanhedrin, this isn't explicitly a disqualifier in 2:1:13
        # We rely on lineage rules in 2:1:2 for Sanhedrin.
        return False # Not disqualified for Sanhedrin based on this specific rule
    return False

def is_disqualified_by_blindness(candidate, court_type):
    if candidate.eye_sight == BLIND_BOTH_EYES:
        return True # Disqualified from ALL courts
    if candidate.eye_sight == BLIND_ONE_EYE:
        if court_type == COURT_TYPE.THREE_JUDGES or court_type == COURT_TYPE.SANHEDRIN:
             # 2:1:14 explicitly states "This does not apply with regard to a Sanhedrin."
             # This implies blind in one eye IS disqualifying for Sanhedrin,
             # but acceptable for a court of three.
             # Re-reading 2:1:14: "Similarly, if all of the members of a court of three were blind in one eye, it is acceptable. This does not apply with regard to a Sanhedrin."
             # This means it IS disqualifying for Sanhedrin. The rule applies to Sanhedrin.
             # The initial reading might have been a bit off here. Let's clarify:
             # Blind in one eye: Acceptable for Court of Three. NOT acceptable for Sanhedrin.
             if court_type == COURT_TYPE.SANHEDRIN:
                 return True # Disqualified from Sanhedrin
             if court_type == COURT_TYPE.THREE_JUDGES:
                 return False # Acceptable for Court of Three
        return False # Not disqualified by this rule for other court types
    return False

# And in the main function:
# ...
# if is_disqualified_by_convert_status(candidate, COURT_TYPE.SANHEDRIN):
#     return REJECTED(...)
# if is_disqualified_by_blindness(candidate, COURT_TYPE.SANHEDRIN):
#     return REJECTED(...)

Correction based on careful re-reading of 2:1:14: The text states: "Similarly, if all of the members of a court of three were blind in one eye, it is acceptable. This does not apply with regard to a Sanhedrin." This means blindness in one eye IS disqualifying for the Sanhedrin, but acceptable for a court of three. My initial interpretation in the edge case analysis might have been slightly off. This highlights the importance of precise parsing! The refactor directly addresses this by making the court_type a critical parameter for these checks.

Takeaway

The appointment of a Sanhedrin member is not a simple boolean check; it's a complex, multi-faceted validation process. By modeling it as a system, we see that the Rambam has designed a robust "selection pipeline" with layered filters. We have core competency checks (Torah and ancillary knowledge), demographic and lineage prerequisites, character attribute evaluations, and even ideal-state preferences. The distinction between requirements for a Supreme Sanhedrin versus a minor Sanhedrin, and further still for a court of three, reveals a dynamic system where the "minimum viable product" for judicial service varies. Understanding these interdependencies and conditional logic allows us to appreciate the meticulous design behind this sacred institution, ensuring that justice is administered by individuals who are not just knowledgeable, but also embody the highest ethical and intellectual standards. It's a beautiful piece of ethical engineering!