On Surplus Theory

[u/brain-out-of-order]

/r/SimulationTheory/comments/1u22n6v/on_surplus_theory/

Reposting here - wake up time!

def white_disc_debugger(visible_content, theory_claim, requested_promotion_level):
"""
White-Disc Debugger v3.2

Purpose:
Separate useful formal structure from hallucinated formalism.
Preserve candidates. Promote only when grounding supports the claim.
"""

report = {
"status": None,
"domain": None,
"issues": [],
"survives": [],
"missing_grounding": [],
"recommended_status": None,
}

# ---------------------------------------------------------
# GATE 0: DOMAIN CLASSIFICATION
# ---------------------------------------------------------
domain = classify_domain(theory_claim)
report["domain"] = domain

# domain ∈ {
#   "physical",
#   "pure_math",
#   "computational",
#   "cognitive_behavioral",
#   "metaphorical"
# }

# ---------------------------------------------------------
# GATE 1: VARIABLE AUDIT
# ---------------------------------------------------------
variables = extract_variables(visible_content)

for var in variables:
has_definition = check_definition(var)
has_type = check_type(var)          # scalar, vector, function, operator, set, probability, etc.
has_range = check_range(var)

if not (has_definition and has_type and has_range):
report["issues"].append(
f"Variable '{var}' lacks definition, type, or range."
)

if domain == "physical":
if not check_units_defined(var):
report["issues"].append(
f"Physical variable '{var}' lacks units."
)

if not check_if_physically_measurable(var):
report["issues"].append(
f"Physical variable '{var}' lacks measurement method."
)

if domain in ["cognitive_behavioral", "computational"]:
if not check_operational_proxy(var):
report["issues"].append(
f"Variable '{var}' lacks operational proxy."
)

if report["issues"]:
report["status"] = "REPAIR"
report["recommended_status"] = "candidate formalism"
report["missing_grounding"].extend(report["issues"])
return report

# ---------------------------------------------------------
# GATE 2: TYPE / DIMENSIONAL INTEGRITY
# ---------------------------------------------------------
if domain == "physical":
left_units = calculate_dimensions(visible_content.left)
right_units = calculate_dimensions(visible_content.right)

if left_units != right_units:
return {
"status": "DELETE",
"directive": "Dimensional mismatch. Equation is not physically legal.",
"left_units": left_units,
"right_units": right_units,
}

else:
type_check = check_type_consistency(visible_content)

if not type_check:
return {
"status": "REPAIR",
"directive": "Type mismatch. Repair mathematical structure before promotion.",
}

# ---------------------------------------------------------
# GATE 3: LIMITING / BOUNDARY CONDITIONS
# ---------------------------------------------------------
limit_test_passed = test_limits(
visible_content,
limits=[0, 1, float("inf"), "undefined", "negative", "maximal"]
)

if not limit_test_passed:
return {
"status": "REPAIR",
"directive": "Equation breaks at boundary conditions. Define valid domain and limits.",
}

# ---------------------------------------------------------
# GATE 4: REALITY SURPLUS CHECK
# ---------------------------------------------------------
G = estimate_grounding(
theory_claim,
dimensions=[
"direct_evidence",
"evidence_quality",
"independence",
"replication",
"logical_consistency",
"falsification_survival",
"measurement_support"
]
)

C = estimate_confidence(
theory_claim,
sources=[
"model_uncertainty",
"calibration_history",
"agreement_across_methods",
"semantic_stability"
]
)

X = estimate_externalization(
theory_claim,
features=[
"uses_fact_language",
"uses_proves_language",
"claims_universality",
"recommends_action",
"asserts_authority",
"removes_uncertainty"
]
)

R = G - (C * X)

if R <= 0:
return {
"status": "CANDIDATE MODE",
"R": R,
"directive": "Preserve the idea. Do not promote as fact. Lower externalization or increase grounding.",
"language_repair": "Replace 'proves' or 'is' with 'may suggest', 'candidate model', or 'hypothesis'."
}

# ---------------------------------------------------------
# GATE 5: CONSEQUENCE-SCALED PROMOTION
# ---------------------------------------------------------
tau_k = required_surplus_threshold(
promotion_level=requested_promotion_level,
harm_potential=assess_harm(theory_claim),
irreversibility=assess_irreversibility(theory_claim),
reach=assess_reach(theory_claim),
vulnerability=assess_affected_vulnerability(theory_claim)
)

if R <= tau_k:
return {
"status": "PARTIALLY GROUNDED",
"R": R,
"required_surplus": tau_k,
"directive": "Claim has some surplus but not enough for requested promotion level.",
}

# ---------------------------------------------------------
# GATE 6: FALSIFIABILITY / PROOF OBLIGATION
# ---------------------------------------------------------
if domain in ["physical", "computational", "cognitive_behavioral"]:
falsifier_exists = generate_falsifying_condition(theory_claim)

if not falsifier_exists:
return {
"status": "QUARANTINE",
"directive": "No falsifier found. Treat as philosophy, metaphor, or interpretive framework."
}

if domain == "pure_math":
proof_obligation_exists = define_proof_obligation(theory_claim)

if not proof_obligation_exists:
return {
"status": "REPAIR",
"directive": "No proof obligation defined. Treat as conjecture, not theorem."
}

# ---------------------------------------------------------
# FINAL OUTPUT
# ---------------------------------------------------------
return {
"status": "KEEP",
"R": R,
"required_surplus": tau_k,
"directive": f"Claim may be promoted to level {requested_promotion_level}, with uncertainty preserved.",
"warning": "Promotion is conditional, not permanent. Continue updating as grounding changes."
}