From 4e0624a32dde3d03b43ad9c29240557dd954f159 Mon Sep 17 00:00:00 2001 From: Parv Bansal <231238266+parvbansal11@users.noreply.github.com> Date: Mon, 17 Aug 2026 16:13:39 +0530 Subject: [PATCH] fix: synchronize public proof with core --- index.html | 22 +++++++++++----------- proof.json | 7 ++++--- 2 files changed, 15 insertions(+), 14 deletions(-) diff --git a/index.html b/index.html index 1aada8c..f0cfa61 100644 --- a/index.html +++ b/index.html @@ -229,7 +229,7 @@

Your schema passed.
graphabi.contracts.yaml
- 
version: "0.1"
+            
version: "0.2"
 graph: research_demo
 edges:
   - id: researcher_to_verifier
@@ -278,16 +278,16 @@ 
Your schema passed.
       

-        
Framework-independent core
Adapters observe.
Core decides.
LangGraph integration ends at a versioned trace boundary. Contracts, comparison, impact, and reporting do not import framework types.

+        
Framework-independent core
Adapters observe.
Core decides.
Framework integrations end at a versioned trace boundary. Contracts, comparison, impact, and reporting do not import framework types.

         

           
Framework-independent semantic compatibility pipeline

           
    
             
  1. 
               Flow
               Adapters
-              LangGraph today
+              LangGraph + OpenAI Agents
             
    2. 
-            
+            
             
  2. 
               Record
               Trace model
@@ -376,12 +376,12 @@ 
    Your schema passed.
         
    Measured technical proof
    Small surface.
    Serious checks.
    Current branch measurements, linked to the source that enforces them.
    
         
    
-          
    Tests
    115passing locally
    
-          
    Coverage
    93.08%85% CI floor
    
+          
    Tests
    172passing locally
    
+          
    Coverage
    91.35%90% CI floor
    
           
    Python CI
    3.12 · 3.13both required
    
           
    Evaluators
    7 typesdeterministic registry
    
           
    Runtime
    Local-firstno required API key
    
-          
    Adapter
    LangGraphone maintained adapter
    
+          
    Adapters
    2 maintainedLangGraph + OpenAI Agents
    
         
    
         
    Benchmarks cover synthetic graphs at 10, 100, and 1,000 nodes. They do not establish production scale. Inspect the methodology.
    
       

@@ -393,8 +393,8 @@ 
Your schema passed.
           
  • 01
    GraphABI evaluates explicit contracts. It does not understand arbitrary meaning.
    • 
           
  • 02
    A passing observed edge does not prove unobserved branches or inputs are compatible.
    • 
-          
  • 03
    Trace schema 0.1 does not yet pair repeated loop or retry occurrences.
    • 
-          
  • 04
    LangGraph is the only maintained adapter. OpenTelemetry and OpenInference ingestion are planned.
    • 
+          
  • 03
    Repeated occurrences require explicit causal identities. Ambiguous duplicates remain invalid.
    • 
+          
  • 04
    Telemetry import supports only documented span shapes, and ambiguous mappings remain UNKNOWN.
    • 
         
         Read every current limitation 
       
    
@@ -405,8 +405,8 @@ 
    Your schema passed.
    Choose a real edge
    Three useful ways in.
    Each path has an architecture boundary, acceptance criteria, and a maintainer review point.
    EvaluatorAdd one deterministic contract family.Start with the registry and adversarial tests. - AdapterProve the trace boundary with a second framework.Design agreement required before implementation. - ExampleRecord a real model migration honestly.Optional credentials, explicit cost, no default network call. + AdapterPropose another deterministic trace boundary.Document exact mappings, unsupported cases, and version bounds. + ExampleAdd a focused semantic regression case.Keep the default path deterministic, local, and keyless.

    Browse all issuesRead contributingOpen a design discussion

    diff --git a/proof.json b/proof.json index 3f3bd5d..79f580a 100644 --- a/proof.json +++ b/proof.json @@ -1,6 +1,6 @@ { - "tests": 115, - "coverage_percent": 93.08, + "tests": 172, + "coverage_percent": 91.35, "python_versions": [ "3.12", "3.13" @@ -15,6 +15,7 @@ "unit_consistency" ], "maintained_adapters": [ - "langgraph" + "langgraph", + "openai-agents" ] }