# HashEye Forge / Gambit Quickstart

HashEye Forge packages a Solidity mutation-testing workflow around Gambit.
Use this locally or inside an isolated CI runner.

## Requirements

- Rust + Cargo
- A `solc` binary compatible with the Solidity project under test
- A Solidity project with Foundry, Hardhat, or formal specs

## Install From Hosted Source

```bash
curl -L https://hasheye.io/tools/gambit-master.zip -o gambit-master.zip
unzip gambit-master.zip
cd gambit-master
cargo install --path .
```

## Mutate One File

```bash
gambit mutate --filename contracts/Vault.sol --solc solc8.20
gambit summary
```

## Mutate With Config

```bash
curl -L https://hasheye.io/tools/gambit-conf.example.json -o gambit_conf.json
gambit mutate --json gambit_conf.json
gambit summary
```

## Run Your Tests Against Mutants

```bash
for mutant in gambit_out/mutants/*; do
  cp -R "$mutant"/* .
  forge test
done
```

Killed mutants are caught by tests or specs. Surviving mutants are gaps to fix.

## Outputs

- `gambit_out/gambit_results.json`
- `gambit_out/mutants.log`
- `gambit_out/mutants/<id>/...`
- `gambit summary`

## Attribution

Gambit is MIT-licensed software originally published by Certora.
HashEye Forge uses and packages the workflow for audit-readiness runs.