docs(miner): Proof + Bounty A→Z at 2000/8000

README.md

@@ -21,14 +21,14 @@ not run evals.
 | Challenge | id | What miners improve | Default emission |
 |-----------|-----|---------------------|------------------|
 | **Bounty** | `bounty` | File real bug reports against the subnet | 2000 bps |
-| **Proof** | `proof` | Reproducible experiments against operator-published research topics; digest-pinned RLM judge | 8000 bps |
-
-Proof's `eval_image_digest` is empty (submits **503**). Emission is locked at
-2000/8000 (20%/80%) regardless of digest. Do not invent a sha256. The sum is
-10000. Neither share is a leftover
-Relearn / Prism / Design inheritance. `relearn`,
-`relearn-image`, `relearn-agent`, `relearn-mm`, `design`, and `prism` are
-**off**: no trust-root row, no emission.
+| **Proof** | `proof` | Reproducible experiments (claim + code + FLOPs) against operator-published research topics; digest-pinned RLM judge | 8000 bps |
+
+Live emission is **bounty 2000 / proof 8000** (20/80). The sum is 10000.
+Proof's eval image is pinned at
+`ghcr.io/cortexlm/proof-eval@sha256:78b614a1f51ce5dd80076c4e343a2b31b85d6c36025e02836cb83929867e7009`.
+An empty digest would still **503**. `relearn`, `relearn-image`,
+`relearn-agent`, `relearn-mm`, `design`, and `prism` are **off**: no
+trust-root row, no emission.
 
 Bounty pays precision times severity; an unpriced `valid` row is not
 creditable, and the triage-noise ratio stays off the visible score. Proof

docs/external-miner/README.md

@@ -9,9 +9,10 @@ This badge must match `bundle::PROTOCOL_VERSION` in crate `bundle`.
 CI gate: `cargo run -p xtask -- external-docs-check`.
 
 Two live challenges: **Bounty** (`bounty`) and **Proof** (`proof`). Both take
-HTTP submits through the public gateway. `relearn`, `relearn-image`,
-`relearn-agent`, `relearn-mm`, `design`, and `prism` are **off** — they have
-no trust-root row, so they earn nothing.
+HTTP submits through the public gateway. Emission is **bounty 2000 bps /
+proof 8000 bps** (20/80). `relearn`, `relearn-image`, `relearn-agent`,
+`relearn-mm`, `design`, and `prism` are **off** — they have no trust-root
+row, so they earn nothing.
 
 Install the CLI:
 
@@ -28,8 +29,8 @@ Default gateway is [https://network.cortex.foundation](https://network.cortex.fo
 
 | Challenge | Id | Guide | Notes |
 |-----------|----|-------|-------|
-| Bounty | `bounty` | [bounty.md](./bounty.md) | Real bug reports. Pair with `ctx bounty pair`, then `ctx bounty report`. Cortex reads CortexLM/backend for scoring |
-| Proof | `proof` | [proof.md](./proof.md) | Reproducible experiments against **operator-published** topics. Digest-pinned RLM judge. Empty eval digest → 503 |
+| Bounty | `bounty` | [bounty.md](./bounty.md) | Real bug reports. Pair with `ctx bounty pair`, then `ctx bounty report`. Cortex reads CortexLM/backend for scoring. **2000 bps** |
+| Proof | `proof` | [proof.md](./proof.md) | Reproducible experiments (claim + code + FLOPs) against **operator-published** topics. Digest-pinned RLM judge (`sha256:78b614a1…`). Empty eval digest → 503. **8000 bps** |
 
 Emission: `bounty` 2000 bps, `proof` 8000 bps (sum 10000). Off challenges have
 no row and earn 0.
@@ -40,8 +41,12 @@ Bundle bytes: [`BUNDLE_SPEC.md`](../BUNDLE_SPEC.md).
 Neither live challenge pays for a published split you can grind:
 
 - Proof scores operator-published topics against a **private per-topic holdout**.
-  The pin has no catalog; `GET /v1/proof/topics` is the live list. The canary
-  stays **off the number you are paid on**.
+  You submit a claim + reproducible recipe + `declared_flops` vs `topic_id`.
+  The pin has no catalog; `GET /v1/proof/topics` is the live list (operators
+  inject topics at any time). The canary stays **off the number you are paid on**.
+  Paid score is the **sum of per-topic** masses (`wta` or `discovery`).
+  Empty `eval_image_digest` still **503**; the live pin is
+  `sha256:78b614a1f51ce5dd80076c4e343a2b31b85d6c36025e02836cb83929867e7009`.
 - Bounty pays precision times severity. The triage-noise ratio stays off the
   visible score. An unpriced `valid` row is not creditable.
 - **Missing evidence fails closed.** An empty training manifest is not a clean

docs/external-miner/bounty.md

@@ -2,14 +2,20 @@
 
 # Bounty Challenge — miners
 
-Challenge id is `bounty`. One of two live challenges (`bounty` 2000 bps,
-`proof` 8000 bps). Report real Cortex product and backend bugs. Valid unique
-reports earn subnet weight. Every report is tagged with your Bittensor hotkey
-so operators can patch in real time and pay (or penalize) the right miner.
+Challenge id is `bounty`. One of two live challenges (`bounty` **2000 bps**,
+`proof` **8000 bps**, 20/80). Report real Cortex product and backend bugs. Valid
+unique reports earn subnet weight. Every report is tagged with your Bittensor
+hotkey so operators can patch in real time and pay (or penalize) the right miner.
 
 **Gateway:** `https://network.cortex.foundation`  
-**CLI:** `ctx bounty pair`, then `ctx bounty report` (install:
-[README](./README.md))
+**CLI:** `ctx bounty status`, then `ctx bounty pair`, then `ctx bounty report`
+(install: [README](./README.md))
+
+From zero:
+
+1. `ctx bounty status` — only file reports when `can_score` is yes
+2. `ctx bounty pair --hotkey your-ss58-hotkey --account-id your-chat-account-id --wallet-name your-wallet --accept-terms`
+3. `ctx bounty report --title "…" --body-file report.md --repro-file repro.md`
 
 Validators do **not** re-run your reports. They verify the sealed weight
 bundle. Ingest goes through the gateway: