From 48db993d94c55e933f51735514482b81d9e9c05e Mon Sep 17 00:00:00 2001
From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com>
Date: Sat, 18 Apr 2026 16:57:53 +0100
Subject: [PATCH] fix(abi): resolve size proof accessibility and pointer width
 typing

---
 src/abi/Types.idr | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/src/abi/Types.idr b/src/abi/Types.idr
index 82e32fb..9ac3415 100644
--- a/src/abi/Types.idr
+++ b/src/abi/Types.idr
@@ -261,7 +261,7 @@ programStateSizeBytes = 40  -- Aligned to 8 bytes
 
 ||| Prove ProgramState has correct size
 public export
-programStateSize : HasSize ProgramState programStateSizeBytes
+programStateSize : HasSize ProgramState 40
 programStateSize = SizeProof
 
 ||| Prove ProgramState has 8-byte alignment
@@ -276,7 +276,7 @@ instructionSizeBytes = 16
 
 ||| Prove Instruction has correct size
 public export
-instructionSize : HasSize Instruction instructionSizeBytes
+instructionSize : HasSize Instruction 16
 instructionSize = SizeProof
 
 ||| Prove Instruction has 4-byte alignment
@@ -318,7 +318,11 @@ ptrSize WASM = 32
 ||| Pointer type for platform
 public export
 CPtr : Platform -> Type -> Type
-CPtr p _ = Bits (ptrSize p)
+CPtr Linux _ = Bits64
+CPtr Windows _ = Bits64
+CPtr MacOS _ = Bits64
+CPtr BSD _ = Bits64
+CPtr WASM _ = Bits32
 
 --------------------------------------------------------------------------------
 -- Verification Types