Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions JUDGE.md
Original file line number Diff line number Diff line change
Expand Up @@ -88,7 +88,7 @@ Hedera mirror node — the exact `curl` commands are in [`docs/proof.md`](docs/p
| **Gas used, `subscribe()` on testnet** | 1,582,554 (limit 2,000,000) |
| **Gas used, deploy** | 968,564 |
| **Contract tests** | **64 passing** — `yarn hardhat:test` |
| **Resource-server unit tests** | **239 passing** — `yarn next:test` |
| **Resource-server unit tests** | **258 passing** — `yarn next:test` |
| **Amounts checked across the unit boundary** | **202,059**, three invariants each = 606,177 assertions |
| **Hedera Schedule Service methods used** | 3, all load-bearing: `scheduleCall`, `hasScheduleCapacity`, `deleteSchedule` |

Expand Down Expand Up @@ -121,7 +121,7 @@ proves the contract logic, not the network behaviour, and it is never the demo:

```bash
yarn hardhat:test # 64 contract tests
yarn next:test # 239 unit tests, 202,059 amounts across the unit boundary
yarn next:test # 258 unit tests, 202,059 amounts across the unit boundary
```

There is no offline, mock or demo mode for the product itself. The gate reads `hasAccess()` on
Expand Down
4 changes: 2 additions & 2 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -723,7 +723,7 @@ balance without funding a period. Each claim is listed next to its test in
[`.github/SECURITY.md`](.github/SECURITY.md).

```bash
yarn next:test # 239 unit tests, the resource server's arithmetic
yarn next:test # 258 unit tests, the resource server's arithmetic
```

The sharpest edge in this project — Hedera's weibar/tinybar boundary, whose failure mode is a
Expand Down Expand Up @@ -754,7 +754,7 @@ an explicit switch to the live chain, no autoplay under reduced motion, no sidew
| Layer | Tool | Where |
|---|---|---|
| Contract tests | Hardhat + Mocha, 64 passing | `.github/workflows/lint.yaml` |
| Unit tests | Vitest + fast-check, 239 passing, 202,059 amounts | `.github/workflows/lint.yaml` |
| Unit tests | Vitest + fast-check, 258 passing, 202,059 amounts | `.github/workflows/lint.yaml` |
| E2E | Playwright, 56 checks, desktop + mobile | `.github/workflows/e2e.yaml` |
| Types + lint | `tsc --noEmit` and ESLint, both workspaces | `.github/workflows/lint.yaml` |
| SAST | CodeQL — TypeScript **and** the Actions workflows | `.github/workflows/codeql.yaml` |
Expand Down
4 changes: 2 additions & 2 deletions packages/nextjs/app/judge/page.tsx
Original file line number Diff line number Diff line change
Expand Up @@ -84,7 +84,7 @@ const receipts: [string, React.ReactNode][] = [
[
"Resource-server unit tests",
<>
<strong>239 passing</strong> — <code>yarn next:test</code>
<strong>258 passing</strong> — <code>yarn next:test</code>
</>,
],
[
Expand Down Expand Up @@ -253,7 +253,7 @@ BASE_URL=${BASE} yarn tsx scripts/retainer-agent.ts`}</code>
</p>
<pre className={styles.pre}>
<code>{`yarn hardhat:test # 64 contract tests
yarn next:test # 239 unit tests, 202,059 amounts across the unit boundary`}</code>
yarn next:test # 258 unit tests, 202,059 amounts across the unit boundary`}</code>
</pre>

<h2>Honest limitations</h2>
Expand Down
2 changes: 1 addition & 1 deletion packages/nextjs/app/page.tsx
Original file line number Diff line number Diff line change
Expand Up @@ -115,7 +115,7 @@ const Home: NextPage = () => {
source="mirror node · CONTRACTCALL · SUCCESS"
/>
<Stat
value={<>64 + 239</>}
value={<>64 + 258</>}
label="contract tests + resource-server tests passing"
source="yarn hardhat:test · yarn next:test"
/>
Expand Down
Loading