Improving Enterprise SQL Generation Reliability

# Illustrative sketch (not from the paper)
import torch
# Placeholder model (e.g., GPT-5.4) loaded via PyTorch
model = torch.hub.load('pytorch/transformers', 'gpt5_4', pretrained=True)

def plan_semantic_path(question):
    # 1. Ground phrases and select governed options
    grounded = model.generate(question)  # mock grounding
    # 2. Build semantic graph from grounded tokens
    graph = build_graph(grounded)
    # 3. Traverse graph applying role predicates and grain lowering
    path = traverse(graph, role_predicates=True, grain_lower=True)
    # 4. Compile deterministic SQL from path
    sql = compile_sql(path)
    # 5. Deterministic check: ensure no ambiguous roles
    assert deterministic_check(sql), "Non‑deterministic plan"
    return sql

def build_graph(tokens):
    # placeholder graph construction
    return {"nodes": tokens, "edges": []}

def traverse(g, role_predicates, grain_lower):
    # placeholder traversal returning ordered tokens
    return g["nodes"]

def compile_sql(path):
    # simplistic concatenation for illustration
    return "SELECT * FROM table WHERE " + " AND ".join(path)

def deterministic_check(sql):
    # ensure the SQL contains only allowed predicates
    return "JOIN" not in sql

# Example usage
sql_query = plan_semantic_path("How many policies expired last month?")

// Illustrative sketch (not from the paper)
const { pipeline } = require('@xenova/transformers');
const model = pipeline('text-generation', { model: 'gpt5_4' });

async function planSemanticPath(q) {
  const grounded = await model(q);               // phrase grounding
  const graph = buildGraph(grounded);
  const path = traverse(graph, true, true);     // role predicates, grain lowering
  const sql = compileSQL(path);
  if (!deterministicCheck(sql)) throw new Error('Non‑deterministic');
  return sql;
}

function buildGraph(tokens) { return { nodes: tokens, edges: [] }; }
function traverse(g, rolePred, grainLow) { return g.nodes; }
function compileSQL(path) { return `SELECT * FROM table WHERE ${path.join(' AND ')}`; }
function deterministicCheck(sql) { return !sql.includes('JOIN'); }

// Example
planSemanticPath('How many policies expired last month?')
  .then(console.log)
  .catch(console.error);