A geometric policy-aware semantic method forces refusal rather than authorization when evidence and policy conflict, and—on a large regulated financial dataset—produced no unauthorized approvals across several policy regimes, according to the authors' evaluation.

Main Finding

The paper proposes a geometric framework (semantic meaning as directions on the unit sphere) that separates evidence from policy and enforces provable refusal when no policy-compliant interpretation exists. By treating evidence as normalized witness vectors and admissible interpretations as the spherical convex hull of witnesses, the system (1) detects impossibility topologically, (2) forces refusal rather than producing hallucinated commitments, and (3) enables policy changes without retraining. Empirically, on 100,000 Freddie Mac mortgage records the method achieved zero hallucinated approvals across three policy regimes while maintaining competitive recall.

Key Points

• Representation
  • Semantic manifold M = Sd−1 (unit sphere). Direction (not norm) encodes meaning.
  • Witness = normalized embedding from an evidence item; witness set W = {w1...wn}.
• Admissibility and contradiction
  • Admissible region A(W) = spherical convex hull of W, defined only if W lies in an open hemisphere.
  • Hemisphere constraint: existence of an open hemisphere containing W is necessary for a coherent interpretation.
  • Theorem (Impossibility Detection): if no open hemisphere contains W, no admissible interpretation exists → refusal is topologically necessary.
• Ambiguity
  • Ambiguity measured as spherical-volume of A(W) relative to M.
  • Conservation of Ambiguity: adding witnesses or injecting policy prior are the only ways to reduce ambiguity; an unbiased equivariant interpreter yields a uniform distribution over A(W).
  • Corollary: neutrality implies the right to refuse; always-responding systems necessarily inject bias.
• Policy separation
  • Policy prior ρ : M → [0,1] selects within A(W) but does not change A(W) (Axiom: policy orthogonality).
  • Interpretation rule: µ = argmax_{µ∈A(W)} ρ(µ); require ρ(µ) ≥ τ else refuse.
  • Safety invariance: relaxing ρ cannot admit interpretations outside A(W) (no hallucinated approvals manufactured by policy change).
• Information-theoretic and structural results
  • Witness overlap maps to mutual information; REWA capacity bound m = O(Δ−2 log N) is shown information-theoretically optimal for encoding similarity with overlap gap Δ.
  • Sheaf-theoretic treatment: global consistent interpretations correspond to global sections; refusal corresponds to non-existence of a global section (topological viewpoint).
• Generation pipeline
  • Generate only from admissible µ, with post-hoc encoder verification d(E(L(µ)), µ*) < δ — this inversion (admissibility first, verbalize second) prevents structural hallucination.
• Algorithmic/operational
  • Extract witnesses, check hemisphere constraint, compute A(W), maximize policy prior over A(W), apply threshold τ, verbalize and verify.
• Empirical claims
  • On 100k mortgage loans: HAR (hallucinated approval rate) = 0.0% for STRICT, STANDARD, RELAXED policies.
  • Approved counts: STRICT 145, STANDARD 159 (+14), RELAXED 159 (+0).
  • All repurchased (ground-truth failures) were refused under every policy.
  • Compared to logistic regression/XGBoost (HAR 2.3% / 1.8%), the geometric method achieves zero false approvals; recall modestly lower (0.84 vs 0.87–0.89).
  • Latency ~75 ms/loan (50 ms witness encoding, 20 ms convex hull, 5 ms policy selection).

Data & Methods

• Dataset and task
  • 100,000 Freddie Mac Single-Family loan records (2020–2021 vintage).
  • Task: approve/reject underwriting decisions; ground truth defined by later repurchase (indicating mis-approval).
  • Features: 25+ loan attributes (LTV, FICO, DTI, property type, occupancy, purpose, etc.).
• Witness extraction
  • Each attribute/clause encoded to a normalized embedding (sentence transformer style); these form W.
• Admissible region computation
  • Spherical convex hull calculation (valid only if W in an open hemisphere). If hull undefined → immediate refuse.
• Policy priors tested
  • STRICT: LTV ≤ 0.80 & FICO ≥ 700
  • STANDARD: LTV ≤ 0.90 & FICO ≥ 660
  • RELAXED: LTV ≤ 0.97 & FICO ≥ 620
  • Policies expressed as indicator/measurable functions ρ on M via mappings LTV(µ), FICO(µ).
• Interpretation and decision
  • µ = argmax_{µ∈A(W)} ρ(µ); require ρ(µ) ≥ τ to approve; else refuse.
  • Final text generated by L(µ*) and verified with encoder E under tolerance δ.
• Baselines
  • Logistic regression and XGBoost trained on same features; thresholds tuned; compared on HAR, precision, recall.
• Complexity / information claims
  • REWA capacity bound: m = O(Δ−2 log N) from channel-capacity reasoning for distinguishing neighbors/non-neighbors via hashes; argued optimal.

Implications for AI Economics

• Direct financial impact
  • Eliminating hallucinated approvals reduces false-positive costs dramatically. Using the paper's baseline numbers: for 100k loans annually, baseline methods produce 1.8–2.3% erroneous approvals → $90M–$115M annual losses at $50k buyback cost per loan. Zero HAR removes this risk channel.
• Regulatory and compliance economics
  • Policy orthogonality means policies can be changed without retraining core evidence-processing components, cutting validation, retraining, and audit costs (both direct engineering and regulatory approval workflows).
  • Better auditability: decisions separate into evidence geometry (A(W)) and policy selection (ρ), simplifying explanations for regulators and reducing compliance uncertainty.
• Operational trade-offs
  • Refusal shifts marginal cost from automated approvals (with some false positives) to manual review. This raises labor costs per refused borderline case; firms must balance human-review capacity versus insurance against large false-positive losses.
  • Conservative behavior (lower recall) can decrease revenue (fewer loans originated) while improving downside protection. This is an explicit risk-return tradeoff that policy can tune without changing evidence encoders.
• Market and incentive effects
  • When underwriting systems adopt provable-refusal rules, credit supply may become more conservative unless policy priors are relaxed; markets could see tightening of available credit where evidence is ambiguous.
  • Reducing accidental approvals may change incentives for originators and secondary-market buyers (less tolerance for risky data practices); moral hazard from lax underwriting is mitigated.
• Cost of deployment and scalability
  • Latency and per-instance computational cost are modest (75 ms/loan reported), making batch and near-real-time deployment feasible. Savings from reduced retraining and avoided buybacks may offset initial integration costs.
• Limits and risk to economic conclusions
  • Benefits depend on embedding fidelity and witness extraction quality; systematic errors in extraction map to systematic refusals or misplacement of A(W).
  • High refusal rates can impose significant manual-review costs and throughput bottlenecks; economic gains require managing the operational flow for refused cases.
  • The framework presumes meaningful mappings from µ to policy-relevant metrics (e.g., LTV(µ), FICO(µ)); constructing and validating these mappings is nontrivial in new domains.
  • Empirical zero HAR is a strong claim from one dataset/task; replication across diverse institutions, time periods, adversarial cases, and other domains (healthcare, legal) is needed before generalizing economic forecasts.

Summary assessment The paper presents a conceptually clean, topological solution to the hallucination/implicit-bias problem by treating evidence as geometric constraints and policy as an orthogonal prior. If the embedding and witness-extraction assumptions hold in practice, the approach offers large economic upside (reduced catastrophic false approvals, lower retraining/audit costs) but introduces operational trade-offs (more refusals → manual review, potential credit tightening). Practical deployment will hinge on robust witness extraction, verification tolerances, and careful costing of manual processes for refused instances.