OSDU Subsurface Intelligence Platform - Unified Deployment Portal

Subsurface GraphRAG Assistant

Ask technical exploration questions across OSDU subsurface documents stored in Google Cloud Storage. The engine executes multi-hop graph retrieval, renders high-fidelity visual diagrams & tables directly from GCS PDFs, displays the full decision path, and certifies claims via Z3 SMT logic theorem proving.

Suggested:

Mangahewa-9 LWD & Shows

Whio-1 Stratigraphy & Tops

Kauri-E10A Schematic & CBL

Galleon-1 Canterbury Exploration

Neuro-Symbolic Logic Check

Time: -- s

Traversal: -- Hops

Citations: -- Documents

Media Extracted: -- Artifacts

VERIFIED (Z3 SAT)

Grounded Technical Exploration Briefing

Awaiting query execution...

Verified GCS Source Documents & Excerpts

Extracted Document Artifacts (Images, Logs & Tables)

High-resolution well log tracks, seismic sections, and data tables rendered directly from raw PDFs in gs://osdu-nz-petroleum-2018/ using PyMuPDF. Click any image to view in full resolution.

Knowledge Graph Traversal Path

Interactive 2-hop ego-graph of traversed entities and lineage. Pan, zoom, and drag nodes.

Step-by-Step Traversal Trace -- steps

Hop	Source	Relation	Target	Decision Rationale
No traversal recorded yet.

Decision-Making Process Log

Neuro-Symbolic Fact Verification Ledger

Every factual claim is tested through neural NLI evidence grounding and certified by the Microsoft Z3 SMT Logic Theorem Prover.

Autonomous Subsurface BigQuery Tables

Direct inspection of metadata, formation picks, and multimodal artifacts extracted autonomously from raw PDFs without using Excel spreadsheets.

Loading records...
Connecting to BigQuery geo_intelligence...

Live Neuro-Symbolic SMT Logic Verifier

Test the Microsoft Z3 Theorem Prover in real-time. Input geological assertions to observe formal satisfiability proofs or automated diagnostic counterexamples.

Axiom 1: Steno's Law of Stratigraphic Superposition

In normal sedimentary strata: Age(A) < Age(B) ⇒ Depth(A) < Depth(B).

Formation A (Younger)

Depth A (m MD)

Formation B (Older)

Depth B (m MD)

Axiom 3: Petrophysical Bounds & Saturation Complementarity

Physical bounds: 0.0 ≤ Φ ≤ 0.45 and S_w + S_hc = 1.0.

Porosity Φ (fraction, e.g. 0.18 = 18%)

Water Saturation Sw

Hydrocarbon Saturation Shc

Axiom 2: Petroleum System Timing Precedence

Conventional accumulation: Time(Trap) ≥ Time(Migration) (in Ma before present).

Trap Formation Age (Ma)

Peak Migration Age (Ma)

Loading documentation...

OSDU Subsurface Exploration Intelligence Suite