update: test:

Author: CodeWithShamim

README.md

@@ -130,6 +130,15 @@ ships **no** auth/chain JS.
 > All list/detail reads are **bounded** — there is no unbounded view, so views
 > never revert as the ledger grows.
 
+### Live deployment
+
+| Network | Contract address | Explorer |
+| --- | --- | --- |
+| **GenLayer Studio** | `0xb9b501D7c617Cd26d93B61BA996fc67a6002379c` | [view contract ↗](https://explorer-studio.genlayer.com/address/0xb9b501D7c617Cd26d93B61BA996fc67a6002379c) |
+
+The frontend reads this from `NEXT_PUBLIC_GRUDGE_CONTRACT_ADDRESS`; redeploys
+update `apps/web/.env.local` and `contracts/deployments.json`.
+
 ## Deploy to GenLayer
 
 The default real-network target is hosted **GenLayer Studio** (feeless).
@@ -176,10 +185,17 @@ curl -X POST https://studio.genlayer.com/api -H "Content-Type: application/json"
 pnpm typecheck && pnpm lint && pnpm test     # web: TS strict, ESLint, vitest, wallet-lib guard
 pnpm guard:wallet                             # fail if wagmi/rainbowkit/window.ethereum return
 pnpm e2e                                      # Playwright core-loop (mock mode)
-make -C contracts lint                        # ruff --select ALL, mypy --strict, genvm_lint.py
-make -C contracts test                        # settle-math units + gltest --network studionet
+make -C contracts lint                        # ruff --select ALL, mypy --strict, genvm-lint check+typecheck
+make -C contracts test                        # Direct Mode tests (real contract, in-memory) + settle-math
+make -C contracts test-chain                  # Studio-mode integration suite (needs a GenLayer simulator)
 ```
 
+Contract tests use GenLayer's **Direct Mode** ([docs](https://docs.genlayer.com/api-references/genlayer-test)):
+`make test` deploys and runs the REAL `grudge.py` in-memory with the LLM mocked
+(`direct_vm.mock_llm`) and the clock controllable (`warp`) — no Docker, no
+network, milliseconds. The Studio-mode suite (`test-chain`, `tests/test_grudge.py`)
+runs the same flows over real multi-validator consensus against a simulator.
+
 `contracts/scripts/genvm_lint.py` enforces GenVM rules via AST: a `Depends`
 header, exactly one `gl.Contract`, storable state, public decorators, no state
 mutation in views, nondet calls only inside `gl.eq_principle_*` closures, no

apps/web/app/docs/DocsView.tsx

@@ -3,6 +3,7 @@
 import Link from "next/link";
 import { useEffect, useState } from "react";
 import { cn } from "@/lib/utils";
+import { explorerAddressUrl, grudgeContractAddress } from "@/lib/chain/bradbury";
 import { CodeBlock } from "./CodeBlock";
 
 /**
@@ -57,6 +58,28 @@ function Lead({ children }: { children: React.ReactNode }) {
   return <p className="text-mut">{children}</p>;
 }
 
+/** Deployed-contract address + explorer link (hidden in mock mode). */
+function ContractAddressCard() {
+  const address = grudgeContractAddress();
+  if (!address) return null;
+  return (
+    <a
+      href={explorerAddressUrl(address)}
+      target="_blank"
+      rel="noopener noreferrer"
+      className="flex flex-wrap items-center gap-x-3 gap-y-1 rounded-card border border-ink-line bg-ink-soft px-4 py-3 font-mono text-xs transition-colors hover:border-gold/50"
+      title={`View ${address} on the GenLayer explorer`}
+    >
+      <span className="flex items-center gap-2 uppercase tracking-widest text-mut">
+        <span className="h-1.5 w-1.5 rounded-full bg-gold" />
+        Deployed contract
+      </span>
+      <span className="text-paper">{address}</span>
+      <span className="text-gold">on GenLayer Explorer ↗</span>
+    </a>
+  );
+}
+
 function Term({ children }: { children: React.ReactNode }) {
   return <code className="rounded bg-ink-raised px-1.5 py-0.5 font-mono text-[13px] text-gold">{children}</code>;
 }
@@ -247,6 +270,7 @@ result = gl.eq_principle_prompt_comparative(
               Every chain access in the app goes through one adapter; the public methods below are the
               full surface of <Term>contracts/grudge.py</Term>.
             </Lead>
+            <ContractAddressCard />
             <div className="overflow-x-auto rounded-card border border-ink-line">
               <table className="w-full border-collapse text-left text-sm">
                 <thead>

contracts/Makefile

@@ -4,36 +4,74 @@
 #   pip install ruff mypy pytest gltest   (or: make setup)
 #   npm i -g genlayer                     (GenLayer CLI, for deploy)
 
-PY ?= python3
+# Use the local virtualenv's tools when it exists (so `make` works without
+# manually activating .venv), otherwise fall back to whatever is on PATH.
+# The venv bin is also prepended to PATH so tools that shell out to siblings
+# (genvm-lint → pyright) find them too.
+VENV_BIN := $(if $(wildcard .venv/bin),$(abspath .venv/bin)/,)
+ifneq ($(VENV_BIN),)
+export PATH := $(abspath .venv/bin):$(PATH)
+endif
+PY ?= $(if $(VENV_BIN),$(VENV_BIN)python,python3)
+RUFF := $(VENV_BIN)ruff
+MYPY := $(VENV_BIN)mypy
+PYTEST := $(VENV_BIN)pytest
+GENVM_LINT := $(VENV_BIN)genvm-lint
 CONTRACT = grudge.py
 
-.PHONY: setup lint format test test-math test-bradbury deploy clean
+# gltest is part of the GenLayer toolchain (not on PyPI). Use the venv copy if
+# present, otherwise whatever is on PATH.
+GLTEST := $(if $(wildcard .venv/bin/gltest),$(VENV_BIN)gltest,gltest)
+
+.PHONY: setup lint check typecheck format test test-math test-chain test-bradbury deploy clean
 
 setup:
-	$(PY) -m pip install --quiet ruff mypy pytest gltest genvm-linter pyright
+	$(PY) -m pip install --quiet ruff mypy pytest genlayer-test genvm-linter pyright
 
 lint:
-	ruff check . --config pyproject.toml
-	ruff format --check .
-	MYPYPATH=stubs mypy $(CONTRACT) --strict --config-file pyproject.toml
+	$(RUFF) check . --config pyproject.toml
+	$(RUFF) format --check .
+	MYPYPATH=stubs $(MYPY) $(CONTRACT) --strict --config-file pyproject.toml
 	$(PY) scripts/genvm_lint.py $(CONTRACT)
-	genvm-lint check $(CONTRACT) --json
-	genvm-lint typecheck $(CONTRACT) --json
+	$(GENVM_LINT) check $(CONTRACT) --json
+	$(GENVM_LINT) typecheck $(CONTRACT) --json
+
+# GenVM rule lint + contract validation (Depends header, one gl.Contract,
+# storable state, public-method ABI, etc.)
+check:
+	$(GENVM_LINT) check $(CONTRACT) --json
+
+# GenVM static typecheck of the contract.
+typecheck:
+	$(GENVM_LINT) typecheck $(CONTRACT) --json
 
 format:
-	ruff format .
+	$(RUFF) format .
+
+# CI default: fast Direct Mode tests that run the REAL contract in-memory
+# (no Docker, no network, LLM mocked) per the official GenLayer docs, plus the
+# pure settlement-math units. Milliseconds, runs everywhere.
+test: test-unit
+
+test-unit:
+	$(PY) -m pytest tests/test_grudge_direct.py tests/test_settle_math.py -q
 
-# CI default: settlement-math unit tests (no network) + gltest vs studionet.
-test: test-math
-	gltest --network studionet
+# Back-compat alias.
+test-math: test-unit
 
-test-math:
-	$(PY) -m pytest tests/test_settle_math.py -q
+# Studio-mode integration suite (multi-validator consensus over RPC). Point
+# NETWORK at a localnet simulator (default) or studionet. Needs gltest
+# installed AND a running simulator — run `make setup`.
+NETWORK ?= localnet
+test-chain:
+	@command -v $(GLTEST) >/dev/null 2>&1 || { \
+	  echo "✘ gltest not installed. Run: make setup"; exit 1; }
+	$(GLTEST) tests/test_grudge.py --network $(NETWORK)
 
 # Pre-release verification target — Bradbury history resets periodically,
 # so this is NOT the CI default.
 test-bradbury:
-	gltest --network testnet_bradbury
+	$(GLTEST) --network testnet_bradbury
 
 # Deploys to Bradbury and writes the address into the web app env + a record.
 deploy:

contracts/gltest.config.yaml

@@ -3,9 +3,12 @@
 
 networks:
   default: studionet
-  # localnet/studionet work out of the box; Bradbury is defined explicitly so
-  # `gltest --network testnet_bradbury` works for pre-release verification.
-  # NOTE: Bradbury history resets periodically — verification target, not CI.
+  # studionet is a preconfigured network, but genlayer-test requires the
+  # default network to be listed here explicitly. An empty map ({}) keeps its
+  # preconfigured URL/settings.
+  studionet: {}
+  # Bradbury is defined explicitly so `gltest --network testnet_bradbury` works
+  # for pre-release verification. NOTE: Bradbury history resets periodically.
   testnet_bradbury:
     url: "https://rpc-bradbury.genlayer.com"
     leader_only: false