Spaces:

ZeeshanSaud
/

CodeTruthAgent-V3

Running

App Files Files Community

ZeeshanSaud commited on Jul 13

Commit

2a2dc24

verified ·

1 Parent(s): 3f6f713

Update index.html

Browse files

Files changed (1) hide show

index.html +110 -43

index.html CHANGED Viewed

@@ -5,73 +5,140 @@
 <meta name="viewport" content="width=device-width, initial-scale=1.0">
 <title>CodeTruth Agent V3</title>
 <style>
-  body { background:#0d1117; color:#c9d1d9; font-family:'SF Mono',Menlo,Consolas,monospace; max-width:900px; margin:0 auto; padding:40px 24px; line-height:1.6; }
-  h1 { color:#58a6ff; } h2 { color:#58a6ff; border-bottom:1px solid #21262d; padding-bottom:6px; margin-top:36px; }
-  .badges a { display:inline-block; margin:4px 6px 4px 0; padding:5px 10px; border-radius:5px; font-size:13px; text-decoration:none; color:#fff; }
-  .gh{background:#1f6feb;} .doi{background:#238636;} .lic{background:#9e6a03;} .ds{background:#8957e5;}
-  .quote { border-left:3px solid #1f6feb; padding:12px 16px; background:#161b22; font-style:italic; margin:20px 0; }
-  pre { background:#161b22; padding:16px; border-radius:6px; overflow-x:auto; }
-  .frozen { color:#3fb950; font-weight:bold; }
-  table { border-collapse:collapse; width:100%; margin:12px 0; }
-  td,th { border:1px solid #21262d; padding:6px 10px; text-align:left; font-size:14px; }
-  th { color:#58a6ff; }
 </style>
 </head>
 <body>
 <h1>CodeTruth Agent V3</h1>
-<div class="badges">
-  <a class="gh" href="https://github.com/Zeeshan78699/CodeTruthAgent">GitHub</a>
-  <a class="doi" href="https://doi.org/10.5281/zenodo.20669542">DOI M1 Core</a>
-  <a class="doi" href="https://doi.org/10.5281/zenodo.21005444">DOI M1 Extension</a>
-  <a class="doi" href="https://doi.org/10.5281/zenodo.20706591">DOI M2 Core</a>
-  <a class="doi" href="https://doi.org/10.5281/zenodo.21005972">DOI M2 Deep Resolution</a>
-  <a class="ds" href="https://huggingface.co/datasets/ZeeshanSaud/CodeTruthAgent-V3-Module3-Evaluation">M3 Eval Dataset</a>
-  <a class="lic" href="https://www.gnu.org/licenses/gpl-3.0">GPL-3.0</a>
 </div>
-<div class="quote">Proves what it can. Flags what it can't. Never guesses.</div>
 <h2>What It Does</h2>
-<p>A deterministic, AI-model-free static analysis tool for repository understanding, change-impact analysis, and code verification. No AI models. No guessing. Pure static analysis with governed, evidence-based decisions.</p>
 <h2>Pipeline</h2>
 <pre>
 Repository
     ↓
-Module 1 — Repository Cognition Engine        ✅ COMPLETE · FROZEN
-    Role: WEB / CLI / SPACE / MEDICAL / ...  (independent axes)
     Gate: APPROVED / REVIEW_REQUIRED / BLOCKED
     ↓ (if APPROVED)
-Module 2 — Repository Graph Intelligence       ✅ COMPLETE · FROZEN
-    Deterministic call-graph extraction across the repository
-    Language adapters: Python / SQL / C# / Go / Java / JS / C++
     ↓
-Module 3 — Repository Reasoning Engine         <span class="frozen">✅ COMPLETE · FROZEN (v3.0.0-module3)</span>
-    C3 MRO / super() inheritance resolution · zero fabricated edges
-    D3-015 Documentation Auditor (docs-vs-code drift)
-    Six-report suite · Truth Boundary on every result
 </pre>
-<h2>Validated across five engineering domains</h2>
 <table>
-<tr><th>Domain</th><th>Repository</th><th>Result</th></tr>
-<tr><td>Web</td><td>Flask</td><td>✅ guesses: 0</td></tr>
-<tr><td>Scientific computing</td><td>fluids</td><td>✅ guesses: 0</td></tr>
-<tr><td>CLI tooling</td><td>click</td><td>✅ guesses: 0</td></tr>
-<tr><td>Aerospace / astrodynamics</td><td>poliastro</td><td>✅ guesses: 0</td></tr>
-<tr><td>Medical imaging</td><td>pydicom</td><td>✅ guesses: 0</td></tr>
 </table>
-<p>Every number reconciles; <strong>guesses: 0</strong> throughout. Security-fix scoping on <strong>CVE-2026-32711</strong> pointed at the exact vulnerable methods the official advisory identifies while making zero fabricated security claims.</p>
-<h2>What it deliberately does NOT do</h2>
-<p>Find vulnerabilities or bugs; plan multi-step changes; execute tests; resolve dynamic dispatch. These are declared boundaries, not hidden gaps — the tool reports what it cannot see rather than guessing.</p>
-<h2>Links</h2>
-<p>
-  Code: <a href="https://github.com/Zeeshan78699/CodeTruthAgent" style="color:#58a6ff">github.com/Zeeshan78699/CodeTruthAgent</a> ·
-  Release: <a href="https://github.com/Zeeshan78699/CodeTruthAgent/releases/tag/v3.0.0-module3" style="color:#58a6ff">v3.0.0-module3</a>
 </p>
 </body>

 <meta name="viewport" content="width=device-width, initial-scale=1.0">
 <title>CodeTruth Agent V3</title>
 <style>
+  body { font-family: monospace; max-width: 860px; margin: 40px auto; padding: 0 20px; background: #0d1117; color: #e6edf3; line-height: 1.7; }
+  h1 { color: #58a6ff; border-bottom: 1px solid #30363d; padding-bottom: 10px; }
+  h2 { color: #79c0ff; margin-top: 32px; }
+  h3 { color: #a5d6ff; }
+  .badge { display: inline-block; background: #1f6feb; color: white; padding: 2px 10px; border-radius: 4px; font-size: 12px; margin: 2px; text-decoration: none; }
+  .badge.green { background: #238636; }
+  .badge.orange { background: #9e6a03; }
+  pre { background: #161b22; border: 1px solid #30363d; border-radius: 6px; padding: 16px; overflow-x: auto; font-size: 13px; }
+  table { border-collapse: collapse; width: 100%; }
+  th, td { border: 1px solid #30363d; padding: 8px 12px; text-align: left; }
+  th { background: #161b22; color: #79c0ff; }
+  a { color: #58a6ff; }
+  .philosophy { background: #161b22; border-left: 4px solid #58a6ff; padding: 12px 16px; margin: 20px 0; font-style: italic; }
+  .status { color: #3fb950; }
 </style>
 </head>
 <body>
 <h1>CodeTruth Agent V3</h1>
+<div>
+  <a href="https://github.com/Zeeshan78699/CodeTruthAgent" class="badge">GitHub</a>
+  <a href="https://doi.org/10.5281/zenodo.20669542" class="badge green">DOI M1 Core</a>
+  <a href="https://doi.org/10.5281/zenodo.21005444" class="badge green">DOI M1 Extension</a>
+  <a href="https://doi.org/10.5281/zenodo.20706591" class="badge green">DOI M2 Core</a>
+  <a href="https://doi.org/10.5281/zenodo.21005972" class="badge green">DOI M2 Deep Resolution</a>
+  <span class="badge orange">GPL-3.0</span>
 </div>
+<div class="philosophy">
+  AI imagines. CodeTruth checks. Nature tests. Humans decide.
+</div>
 <h2>What It Does</h2>
+<p>Before an AI agent modifies a codebase, it must answer two questions deterministically:</p>
+<pre>
+Question 1: What is this repository?      ← Module 1
+Question 2: What calls what inside it?    ← Module 2
+</pre>
+<p>No AI models. No guessing. Pure static analysis with governed, evidence-based decisions.</p>
 <h2>Pipeline</h2>
 <pre>
 Repository
     ↓
+Module 1 — Repository Cognition Engine
+    Domain: ENERGY_SYSTEM / AEROSPACE / FINANCE / MEDICAL ...
+    Framework: pandapower / pyNastran / CCXT / PyDICOM
     Gate: APPROVED / REVIEW_REQUIRED / BLOCKED
     ↓ (if APPROVED)
+Module 2 — Repository Graph Intelligence
+    Call graph: 1,916,272 calls resolved
+    Deep Resolution: 394,796 additional (+25.9%)
+    Language adapters: Python / SQL / C# / Go
     ↓
+Module 3 — Repository Reasoning Engine (in progress)
+    Data flow tracing / Return type inference
+</pre>
+<h2>Validation — Module 1</h2>
+<table>
+<tr><th>Metric</th><th>Result</th></tr>
+<tr><td>Repositories validated</td><td>32/32 PASS + 11/11 cross-domain</td></tr>
+<tr><td>Engineering domains</td><td>16 specific domains</td></tr>
+<tr><td>File extensions</td><td>218 across 25 domain blocks</td></tr>
+<tr><td>Crashes</td><td>0</td></tr>
+<tr><td>Governance gate</td><td>APPROVED / REVIEW_REQUIRED / BLOCKED</td></tr>
+</table>
+<h2>Validation — Module 2</h2>
+<table>
+<tr><th>Metric</th><th>Result</th></tr>
+<tr><td>Repositories validated</td><td>76/76 PASS</td></tr>
+<tr><td>Files processed</td><td>54,435</td></tr>
+<tr><td>Baseline calls resolved</td><td>1,521,476</td></tr>
+<tr><td>Deep Resolution additional</td><td>394,796 (+25.9%)</td></tr>
+<tr><td>Total calls resolved</td><td>1,916,272</td></tr>
+<tr><td>Language adapters</td><td>Python, Oracle SQL, C#, Go</td></tr>
+<tr><td>DR resolvers proven</td><td>7</td></tr>
+<tr><td>Crashes</td><td>0</td></tr>
+</table>
+<h2>11-Domain Cross-Validation</h2>
+<pre>
+fastapi     API_SERVICE                      FastAPI      ✅
+pytorch     ML_PIPELINE                      PyTorch      ✅
+django      WEB_APPLICATION                  Django       ✅
+biopython   SCIENTIFIC_COMPUTING             BioPython    ✅
+OpenMDAO    AEROSPACE_STRUCTURAL_SIMULATION  OpenMDAO     ✅
+lasio       WELL_LOGGING                     Lasio        ✅
+welleng     DRILLING_SYSTEM                  welleng      ✅
+ccxt        FINANCE_SYSTEM                   CCXT         ✅
+pandapower  ENERGY_SYSTEM                    pandapower   ✅
+poliastro   SPACE_SYSTEM                     poliastro    ✅
+pydicom     MEDICAL_SYSTEM                   PyDICOM      ✅
+</pre>
+<h2>How to Run</h2>
+<pre>
+git clone https://github.com/Zeeshan78699/CodeTruthAgent
+cd CodeTruthAgent
+python -m venv .venv
+.venv\Scripts\activate  # Windows
+pip install -r requirements.txt
+# Module 1 only
+python run_m1.py "C:\repos\your_repo"
+# Module 2 only
+python run_m2.py "C:\repos\your_repo"
+# Full pipeline
+python pipeline.py "C:\repos\your_repo"
 </pre>
+<h2>DOIs</h2>
 <table>
+<tr><th>Record</th><th>DOI</th></tr>
+<tr><td>Module 1 Core</td><td><a href="https://doi.org/10.5281/zenodo.20669542">10.5281/zenodo.20669542</a></td></tr>
+<tr><td>Module 1 Extension Layer</td><td><a href="https://doi.org/10.5281/zenodo.21005444">10.5281/zenodo.21005444</a></td></tr>
+<tr><td>Module 2 Core</td><td><a href="https://doi.org/10.5281/zenodo.20706591">10.5281/zenodo.20706591</a></td></tr>
+<tr><td>Module 2 Deep Resolution</td><td><a href="https://doi.org/10.5281/zenodo.21005972">10.5281/zenodo.21005972</a></td></tr>
 </table>
+<h2>Status</h2>
+<pre>
+Module 1 — Repository Cognition     ✅ COMPLETE  FROZEN
+Module 2 — Repository Graph Intel   ✅ COMPLETE  FROZEN
+Module 3 — Repository Reasoning     🔄 IN PROGRESS
+Modules 4-6                         📋 PLANNED
+</pre>
+<p style="margin-top:40px; color:#6e7681; font-size:12px;">
+CodeTruth Agent V3 — <a href="https://github.com/Zeeshan78699/CodeTruthAgent">github.com/Zeeshan78699/CodeTruthAgent</a>
 </p>
 </body>