gudusoft.gsqlparser.dlineage.dynamicsql

Class DynamicSqlEdgeProof

Object

gudusoft.gsqlparser.dlineage.dynamicsql.DynamicSqlEdgeProof

public final class DynamicSqlEdgeProof
extends Object

Historical per-edge classifier experiment for dynamic SQL (design: docs/designs/sp/dynamic-sql-fragment-provenance-design.md, Layer 3 / R4 step 4).

This class is not a publication authority. It checks three useful evidence conditions, but its P2 approximation is known to accept a JOIN/ON-tail counterexample. A true publication proof additionally requires the LR commitment check and staged model construction described in dynamic-sql-commitment-check-design.md. The historical conditions are:

• P1 literal evidence — every evidence token's character span maps to SqlFragment.Kind.LITERAL fragments (step 1's fragment IR). A hole never contributes identifier text, so a fabricated object cannot be published by construction.
• P2 stability — every evidence token lies before the first hole, and the literal prefix up to that hole is a safe lexical boundary (DynamicSqlProofHarness.checkLexBoundary(java.lang.String, gudusoft.gsqlparser.EDbVendor), step 2), and the whole materialized text is proof-grade parseable (DynamicSqlProofHarness.proofParse(java.lang.String, gudusoft.gsqlparser.EDbVendor)) — no recovery, no syntax errors.
• P3 binding-chain independence — every evidence reference carries a COMPLETE BindingTrace (step 3). A missing or incomplete trace refuses: an omitted binder never looks complete.

Phase status: built, unwired. No analysis path calls this yet; staged publication and a sound LR commitment check are prerequisites for any filtered publication mode. Its historical P2 token-adjacency check has a pinned counterexample and must be treated as SHADOW evidence only.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	DynamicSqlEdgeProof.EdgeEvidence The evidence set of one candidate edge: the AST nodes whose tokens spell the source object, the target object, and the column references binding them.
static class	DynamicSqlEdgeProof.Verdict Outcome of proving one candidate edge.

Method Summary

Modifier and Type	Method and Description
static List<SqlFragment>	holesOf(DynamicSqlLineageResolver.MaterializedSite site) Hole diagnostics for a site, for the "which variable blocked what" report.
static List<int[]>	holeSpansOf(DynamicSqlLineageResolver.MaterializedSite site) Character spans [start, end) of every non-literal fragment of site, in fragment order — index-aligned with holesOf(gudusoft.gsqlparser.dlineage.dynamicsql.DynamicSqlLineageResolver.MaterializedSite).
static DynamicSqlEdgeProof.Verdict	prove(DynamicSqlLineageResolver.MaterializedSite site, TCustomSqlStatement statement, DynamicSqlEdgeProof.EdgeEvidence evidence, BindingTraceRegistry traces, EDbVendor vendor) Prove one candidate edge against a materialized site.

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

prove

public static DynamicSqlEdgeProof.Verdict prove(DynamicSqlLineageResolver.MaterializedSite site,
                                                TCustomSqlStatement statement,
                                                DynamicSqlEdgeProof.EdgeEvidence evidence,
                                                BindingTraceRegistry traces,
                                                EDbVendor vendor)

Prove one candidate edge against a materialized site.

Parameters:

site - the materialized dynamic SQL, carrying fragment provenance

evidence - the edge's evidence set, from the parse of site.sqlText

traces - binding traces from the resolver run over that parse; null means no trace information ⇒ refuse

vendor - dialect, for the lexical boundary checks

holeSpansOf

public static List<int[]> holeSpansOf(DynamicSqlLineageResolver.MaterializedSite site)

Character spans [start, end) of every non-literal fragment of site, in fragment order — index-aligned with holesOf(gudusoft.gsqlparser.dlineage.dynamicsql.DynamicSqlLineageResolver.MaterializedSite). Empty when the site carries no provenance, or when its fragments do not render its text (in which case the spans would describe a DIFFERENT string and must not be used to locate anything).

A zero-length hole still yields a span: arbitrary text can be spliced at that point, so it bounds the stable region exactly like a non-empty one.

holesOf

public static List<SqlFragment> holesOf(DynamicSqlLineageResolver.MaterializedSite site)

Hole diagnostics for a site, for the "which variable blocked what" report.