From 36e79b9546eaf40895c4d4a8c94477c395515eba Mon Sep 17 00:00:00 2001
From: waleedcodes <110061477+waleedcodes@users.noreply.github.com>
Date: Fri, 9 Oct 2026 21:23:34 +0500
Subject: [PATCH 1/3] feat(scripts): initialize demo script runner structure

---
 scripts/run-demo.ts | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 scripts/run-demo.ts

diff --git a/scripts/run-demo.ts b/scripts/run-demo.ts
new file mode 100644
index 0000000..c599ce0
--- /dev/null
+++ b/scripts/run-demo.ts
@@ -0,0 +1,11 @@
+import * as fs from 'node:fs';
+import * as path from 'node:path';
+import { ProofCodeEngine } from '../src/engine/proofCodeEngine';
+import { ReportFormatter } from '../src/engine/reportFormatter';
+
+async function main() {
+  const demoRoot = path.resolve(__dirname, '../examples/demo-app');
+  console.log('\n===============================================================');
+  console.log('   🚀 PROOFCODE KILLER WORKFLOW DEMO (Next.js AI Change)       ');
+  console.log('===============================================================');
+  console.log(`Analyzing codebase at: ${demoRoot}\n`);

From 5b31c73ff727973d0a60aa813c5e3c4ce01f0f27 Mon Sep 17 00:00:00 2001
From: waleedcodes <110061477+waleedcodes@users.noreply.github.com>
Date: Fri, 9 Oct 2026 21:23:34 +0500
Subject: [PATCH 2/3] feat(scripts): execute ProofCodeEngine against demo-app
 workspace

---
 scripts/run-demo.ts | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/scripts/run-demo.ts b/scripts/run-demo.ts
index c599ce0..cb85794 100644
--- a/scripts/run-demo.ts
+++ b/scripts/run-demo.ts
@@ -9,3 +9,16 @@ async function main() {
   console.log('   🚀 PROOFCODE KILLER WORKFLOW DEMO (Next.js AI Change)       ');
   console.log('===============================================================');
   console.log(`Analyzing codebase at: ${demoRoot}\n`);
+
+  const engine = new ProofCodeEngine(demoRoot);
+  const report = await engine.verify();
+
+  console.log(ReportFormatter.toTerminal(report));
+
+  // Write demo report
+  const reportDir = path.join(demoRoot, '.proofcode');
+  if (!fs.existsSync(reportDir)) {
+    fs.mkdirSync(reportDir, { recursive: true });
+  }
+
+  const reportPath = path.join(reportDir, 'report.md');

From 7cae11a42017fcc8626e8fea16b46bbdcff65bfd Mon Sep 17 00:00:00 2001
From: waleedcodes <110061477+waleedcodes@users.noreply.github.com>
Date: Fri, 9 Oct 2026 21:23:34 +0500
Subject: [PATCH 3/3] feat(scripts): format terminal output and export markdown
 verification report

---
 scripts/run-demo.ts | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/scripts/run-demo.ts b/scripts/run-demo.ts
index cb85794..c0808ef 100644
--- a/scripts/run-demo.ts
+++ b/scripts/run-demo.ts
@@ -22,3 +22,12 @@ async function main() {
   }
 
   const reportPath = path.join(reportDir, 'report.md');
+  fs.writeFileSync(reportPath, ReportFormatter.toMarkdown(report), 'utf8');
+
+  console.log(`\n📄 Generated Markdown Verification Report at:\n${reportPath}\n`);
+}
+
+main().catch((err) => {
+  console.error(err);
+  process.exit(1);
+});