@the-situation/sdk 0.3.0-alpha.4 → 0.3.0-alpha.5

package/dist/providers/base.js

@@ -20,7 +20,7 @@ export const NETWORKS = {
     sepolia: {
         name: 'sepolia',
         chainId: 'SN_SEPOLIA',
-        rpcUrl: 'https://starknet-sepolia.public.blastapi.io',
+        rpcUrl: 'https://api.cartridge.gg/x/starknet/sepolia',
         explorerUrl: 'https://sepolia.starkscan.co',
     },
     devnet: {

package/dist/utils/math.d.ts

@@ -13,19 +13,14 @@ export declare const SQRT_PI: number;
 /**
  * sqrt(π) as SQ128x128 constant.
  *
- * Computed with high precision: 1.7724538509055159...
+ * Uses the exact raw constant from Cairo contracts.
  */
 export declare const SQRT_PI_SQ: SQ128x128;
 /**
- * Computes the square root of an SQ128x128 value using Newton-Raphson iteration.
- *
- * The Newton-Raphson formula for sqrt(n) is:
- *   x_{k+1} = (x_k + n/x_k) / 2
- *
- * This converges quadratically, so ~10 iterations gives full 256-bit precision.
+ * Computes floor(sqrt(n)) in SQ128x128 space with contract-equivalent semantics.
  *
  * @param n - The value to take the square root of (must be non-negative)
- * @param maxIter - Maximum iterations (default: 20 for full precision)
+ * @param maxIter - Deprecated legacy parameter (ignored)
  * @returns The square root, or null if input is negative or computation fails
  *
  * @example

package/dist/utils/math.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"math.d.ts","sourceRoot":"","sources":["../../src/utils/math.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,SAAS,EAAa,MAAM,gBAAgB,CAAC;AAEtD;;;;GAIG;AACH,eAAO,MAAM,OAAO,QAAqB,CAAC;AAE1C;;;;GAIG;AACH,eAAO,MAAM,UAAU,WAAiC,CAAC;AAEzD;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,wBAAgB,aAAa,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,SAAK,GAAG,SAAS,GAAG,IAAI,CAkD1E"}
+{"version":3,"file":"math.d.ts","sourceRoot":"","sources":["../../src/utils/math.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,SAAS,EAAQ,MAAM,gBAAgB,CAAC;AA2DjD;;;;GAIG;AACH,eAAO,MAAM,OAAO,EAAE,MAA2B,CAAC;AAElD;;;;GAIG;AACH,eAAO,MAAM,UAAU,EAAE,SAMrB,CAAC;AAEL;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,aAAa,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,GAAE,MAAW,GAAG,SAAS,GAAG,IAAI,CAgBlF"}

package/dist/utils/math.js

@@ -3,7 +3,53 @@
  *
  * @module
  */
-import { SQ128x128, TWO, ZERO } from '../types/sq128';
+import { SQ128x128, ZERO } from '../types/sq128';
+const LIMB_BITS = 64n;
+const LIMB_MASK = (1n << LIMB_BITS) - 1n;
+const SQRT_SCALE_SHIFT = 128n;
+// Matches contracts/src/market/normal/constants.cairo::SQRT_PI_RAW.
+const CONTRACT_SQRT_PI_RAW = {
+    limb0: 0xc3b0520d5db9383fn,
+    limb1: 0xc5bf891b4ef6aa79n,
+    limb2: 0x1n,
+    limb3: 0x0n,
+    neg: false,
+};
+function rawToMagnitude(raw) {
+    return (raw.limb0 +
+        (raw.limb1 << LIMB_BITS) +
+        (raw.limb2 << (LIMB_BITS * 2n)) +
+        (raw.limb3 << (LIMB_BITS * 3n)));
+}
+function magnitudeToRaw(magnitude) {
+    return {
+        limb0: magnitude & LIMB_MASK,
+        limb1: (magnitude >> LIMB_BITS) & LIMB_MASK,
+        limb2: (magnitude >> (LIMB_BITS * 2n)) & LIMB_MASK,
+        limb3: (magnitude >> (LIMB_BITS * 3n)) & LIMB_MASK,
+        neg: false,
+    };
+}
+/**
+ * Integer square root (floor): returns max r such that r^2 <= value.
+ */
+function integerSqrtFloor(value) {
+    if (value < 0n) {
+        throw new Error('integerSqrtFloor requires non-negative input');
+    }
+    if (value < 2n) {
+        return value;
+    }
+    const bitLength = BigInt(value.toString(2).length);
+    let x = 1n << ((bitLength + 1n) >> 1n);
+    while (true) {
+        const next = (x + (value / x)) >> 1n;
+        if (next >= x) {
+            return x;
+        }
+        x = next;
+    }
+}
 /**
  * sqrt(π) ≈ 1.7724538509055159
  *
@@ -13,19 +59,20 @@ export const SQRT_PI = Math.sqrt(Math.PI);
 /**
  * sqrt(π) as SQ128x128 constant.
  *
- * Computed with high precision: 1.7724538509055159...
+ * Uses the exact raw constant from Cairo contracts.
  */
-export const SQRT_PI_SQ = SQ128x128.fromNumber(SQRT_PI);
+export const SQRT_PI_SQ = (() => {
+    const value = SQ128x128.fromRaw(CONTRACT_SQRT_PI_RAW);
+    if (!value) {
+        throw new Error('Invalid contract SQRT_PI raw constant');
+    }
+    return value;
+})();
 /**
- * Computes the square root of an SQ128x128 value using Newton-Raphson iteration.
- *
- * The Newton-Raphson formula for sqrt(n) is:
- *   x_{k+1} = (x_k + n/x_k) / 2
- *
- * This converges quadratically, so ~10 iterations gives full 256-bit precision.
+ * Computes floor(sqrt(n)) in SQ128x128 space with contract-equivalent semantics.
  *
  * @param n - The value to take the square root of (must be non-negative)
- * @param maxIter - Maximum iterations (default: 20 for full precision)
+ * @param maxIter - Deprecated legacy parameter (ignored)
  * @returns The square root, or null if input is negative or computation fails
  *
  * @example
@@ -41,45 +88,18 @@ export const SQRT_PI_SQ = SQ128x128.fromNumber(SQRT_PI);
  * ```
  */
 export function sqrtSQ128x128(n, maxIter = 20) {
+    void maxIter;
     const raw = n.toRaw();
-    // sqrt(0) = 0
-    if (raw.limb0 === 0n && raw.limb1 === 0n && raw.limb2 === 0n && raw.limb3 === 0n) {
-        return ZERO;
-    }
-    // Negative numbers don't have real square roots
     if (raw.neg) {
         return null;
     }
-    // Initial guess: use JavaScript sqrt for a good starting point
-    const floatGuess = Math.sqrt(n.toNumber());
-    let x = SQ128x128.fromNumber(floatGuess);
-    if (!x) {
-        return null;
-    }
-    // Newton-Raphson iteration: x = (x + n/x) / 2
-    for (let i = 0; i < maxIter; i++) {
-        const nDivX = n.div(x);
-        if (!nDivX) {
-            return null;
-        }
-        const sum = x.add(nDivX);
-        if (!sum) {
-            return null;
-        }
-        const next = sum.div(TWO);
-        if (!next) {
-            return null;
-        }
-        // Check for convergence (when x stops changing significantly)
-        const diff = next.sub(x);
-        if (diff) {
-            const diffRaw = diff.toRaw();
-            if (diffRaw.limb0 === 0n && diffRaw.limb1 === 0n) {
-                return next;
-            }
-        }
-        x = next;
+    const magnitude = rawToMagnitude(raw);
+    if (magnitude === 0n) {
+        return ZERO;
     }
-    return x;
+    // Contract uses integer sqrt over (raw << 128) and floor rounding.
+    const shifted = magnitude << SQRT_SCALE_SHIFT;
+    const rootMagnitude = integerSqrtFloor(shifted);
+    return SQ128x128.fromRaw(magnitudeToRaw(rootMagnitude));
 }
 //# sourceMappingURL=math.js.map

package/dist/utils/math.js.map

@@ -1 +1 @@
-{"version":3,"file":"math.js","sourceRoot":"","sources":["../../src/utils/math.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAEtD;;;;GAIG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAE1C;;;;GAIG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,SAAS,CAAC,UAAU,CAAC,OAAO,CAAE,CAAC;AAEzD;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,UAAU,aAAa,CAAC,CAAY,EAAE,OAAO,GAAG,EAAE;IACtD,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;IAEtB,cAAc;IACd,IAAI,GAAG,CAAC,KAAK,KAAK,EAAE,IAAI,GAAG,CAAC,KAAK,KAAK,EAAE,IAAI,GAAG,CAAC,KAAK,KAAK,EAAE,IAAI,GAAG,CAAC,KAAK,KAAK,EAAE,EAAE,CAAC;QACjF,OAAO,IAAI,CAAC;IACd,CAAC;IAED,gDAAgD;IAChD,IAAI,GAAG,CAAC,GAAG,EAAE,CAAC;QACZ,OAAO,IAAI,CAAC;IACd,CAAC;IAED,+DAA+D;IAC/D,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;IAC3C,IAAI,CAAC,GAAG,SAAS,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;IACzC,IAAI,CAAC,CAAC,EAAE,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IAED,8CAA8C;IAC9C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,OAAO,IAAI,CAAC;QACd,CAAC;QAED,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACzB,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,OAAO,IAAI,CAAC;QACd,CAAC;QAED,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC1B,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO,IAAI,CAAC;QACd,CAAC;QAED,8DAA8D;QAC9D,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzB,IAAI,IAAI,EAAE,CAAC;YACT,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;YAC7B,IAAI,OAAO,CAAC,KAAK,KAAK,EAAE,IAAI,OAAO,CAAC,KAAK,KAAK,EAAE,EAAE,CAAC;gBACjD,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;QAED,CAAC,GAAG,IAAI,CAAC;IACX,CAAC;IAED,OAAO,CAAC,CAAC;AACX,CAAC"}
+{"version":3,"file":"math.js","sourceRoot":"","sources":["../../src/utils/math.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAGjD,MAAM,SAAS,GAAW,GAAG,CAAC;AAC9B,MAAM,SAAS,GAAW,CAAC,EAAE,IAAI,SAAS,CAAC,GAAG,EAAE,CAAC;AACjD,MAAM,gBAAgB,GAAW,IAAI,CAAC;AAEtC,oEAAoE;AACpE,MAAM,oBAAoB,GAAiB;IACzC,KAAK,EAAE,mBAAmB;IAC1B,KAAK,EAAE,mBAAmB;IAC1B,KAAK,EAAE,IAAI;IACX,KAAK,EAAE,IAAI;IACX,GAAG,EAAE,KAAK;CACX,CAAC;AAEF,SAAS,cAAc,CAAC,GAAiB;IACvC,OAAO,CACL,GAAG,CAAC,KAAK;QACT,CAAC,GAAG,CAAC,KAAK,IAAI,SAAS,CAAC;QACxB,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,SAAS,GAAG,EAAE,CAAC,CAAC;QAC/B,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,SAAS,GAAG,EAAE,CAAC,CAAC,CAChC,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,SAAiB;IACvC,OAAO;QACL,KAAK,EAAE,SAAS,GAAG,SAAS;QAC5B,KAAK,EAAE,CAAC,SAAS,IAAI,SAAS,CAAC,GAAG,SAAS;QAC3C,KAAK,EAAE,CAAC,SAAS,IAAI,CAAC,SAAS,GAAG,EAAE,CAAC,CAAC,GAAG,SAAS;QAClD,KAAK,EAAE,CAAC,SAAS,IAAI,CAAC,SAAS,GAAG,EAAE,CAAC,CAAC,GAAG,SAAS;QAClD,GAAG,EAAE,KAAK;KACX,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,gBAAgB,CAAC,KAAa;IACrC,IAAI,KAAK,GAAG,EAAE,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;IAClE,CAAC;IAED,IAAI,KAAK,GAAG,EAAE,EAAE,CAAC;QACf,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACnD,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;IAEvC,OAAO,IAAI,EAAE,CAAC;QACZ,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACrC,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC;YACd,OAAO,CAAC,CAAC;QACX,CAAC;QACD,CAAC,GAAG,IAAI,CAAC;IACX,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,OAAO,GAAW,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAElD;;;;GAIG;AACH,MAAM,CAAC,MAAM,UAAU,GAAc,CAAC,GAAG,EAAE;IACzC,MAAM,KAAK,GAAG,SAAS,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC;IACtD,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;IAC3D,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC,EAAE,CAAC;AAEL;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,aAAa,CAAC,CAAY,EAAE,UAAkB,EAAE;IAC9D,KAAK,OAAO,CAAC;IACb,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;IACtB,IAAI,GAAG,CAAC,GAAG,EAAE,CAAC;QACZ,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,SAAS,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IACtC,IAAI,SAAS,KAAK,EAAE,EAAE,CAAC;QACrB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,mEAAmE;IACnE,MAAM,OAAO,GAAG,SAAS,IAAI,gBAAgB,CAAC;IAC9C,MAAM,aAAa,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;IAChD,OAAO,SAAS,CAAC,OAAO,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC,CAAC;AAC1D,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@the-situation/sdk",
-  "version": "0.3.0-alpha.4",
+  "version": "0.3.0-alpha.5",
   "description": "TypeScript SDK for The Situation prediction market contracts on Starknet",
   "type": "module",
   "main": "./dist/index.js",