Map pilot proof issues

Author: FlowMemory HQ Agent

docs/FLOWCHAIN_REAL_VALUE_PILOT.md

@@ -140,19 +140,32 @@ in committed files, or if any document presents the pilot as public readiness.
 
 ## Current Blockers
 
-- Dedicated real-value contracts gate does not exist.
-- Dedicated real-value bridge relayer gate does not exist.
-- Dedicated real-value runtime gate does not exist.
-- Dedicated real-value wallet/operator gate does not exist.
-- Dedicated real-value control-plane/dashboard gate does not exist.
-- Dedicated real-value ops/installer gate does not exist.
+- Dedicated real-value contracts gate does not exist; tracked by issue #133.
+- Dedicated real-value bridge relayer gate does not exist; tracked by issue #138.
+- Dedicated real-value runtime gate does not exist; tracked by issue #134.
+- Dedicated real-value wallet/operator gate does not exist; tracked by issue #136.
+- Dedicated real-value control-plane/dashboard gate does not exist; tracked by issue #137.
+- Dedicated real-value ops/installer gate does not exist; tracked by issue #135.
 - GitHub issue #130 must define and be accepted as the release-gate boundary before
   any owner pilot work is treated as more than capped validation.
 - GitHub issue #131 has a branch-local policy fix in this HQ PR: default
   `contracts:hardening` skips optional Slither unless the audit gate is
   explicitly requested. The issue remains open until the fix is reviewed and
   merged.
 
+## Tracking Issues
+
+| Area | Issue | Required command |
+| --- | --- | --- |
+| Contracts | #133 | `npm run flowchain:real-value-pilot:contracts` |
+| Bridge relayer | #138 | `npm run flowchain:real-value-pilot:bridge` |
+| Chain runtime | #134 | `npm run flowchain:real-value-pilot:runtime` |
+| Wallet/operator | #136 | `npm run flowchain:real-value-pilot:wallet` |
+| Control plane/dashboard | #137 | `npm run flowchain:real-value-pilot:control-dashboard` |
+| Ops/installer | #135 | `npm run flowchain:real-value-pilot:ops` |
+| Release-gate boundary | #130 | `npm run flowchain:real-value-pilot:e2e -- -AllowIncomplete` until proofs land |
+| Static-analysis policy | #131 | `npm run contracts:hardening`; `npm run contracts:hardening:slither` |
+
 ## Required PR Evidence
 
 Every real-value pilot PR must include:

docs/agent-runs/real-value-pilot-hq/CHECKLIST.md

@@ -24,17 +24,17 @@ Last updated: 2026-05-14.
 
 ## Gate Blocker Rows
 
-- [ ] Contracts: chain ID `8453`, lockbox config, caps, allowlist, pause,
+- [ ] Contracts (#133): chain ID `8453`, lockbox config, caps, allowlist, pause,
   release/recovery, replay protections, dry-run deploy, and source instructions.
-- [ ] Bridge relayer: Base observation, confirmation depth, deterministic credit,
+- [ ] Bridge relayer (#138): Base observation, confirmation depth, deterministic credit,
   duplicate handling, local handoff, withdrawal/release evidence.
-- [ ] Runtime: apply pilot credit exactly once, receipt lookup, restart,
+- [ ] Runtime (#134): apply pilot credit exactly once, receipt lookup, restart,
   export/import, deterministic roots.
-- [ ] Wallet/operator: no-secret config, pilot message signing, negative vectors,
+- [ ] Wallet/operator (#136): no-secret config, pilot message signing, negative vectors,
   public metadata export, next-command UX.
-- [ ] Control plane/dashboard: pilot API, redaction, owner labels, live/degraded
+- [ ] Control plane/dashboard (#137): pilot API, redaction, owner labels, live/degraded
   state, next operator commands, browser no-secret boundary.
-- [ ] Ops/installer: env validation, tiny cap checks, explicit owner ack,
+- [ ] Ops/installer (#135): env validation, tiny cap checks, explicit owner ack,
   emergency stop, evidence export, restart recovery, troubleshooting.
 
 These remain unchecked because they are not merged into `main` as dedicated

docs/agent-runs/real-value-pilot-hq/COMPLETION_AUDIT.md

@@ -112,13 +112,9 @@ truth until the work lands in reviewed PRs and merges to `main`.
 - GitHub issue #131 is still open. This branch contains a policy fix and local
   product/L1 E2E now passes, but `main` is unchanged until PR #132 merges.
 - `flowchain:real-value-pilot:e2e` does not pass without `-AllowIncomplete`.
-- Dedicated subsystem proof commands do not exist yet:
-  `flowchain:real-value-pilot:contracts`,
-  `flowchain:real-value-pilot:bridge`,
-  `flowchain:real-value-pilot:runtime`,
-  `flowchain:real-value-pilot:wallet`,
-  `flowchain:real-value-pilot:control-dashboard`, and
-  `flowchain:real-value-pilot:ops`.
+- Dedicated subsystem proof commands do not exist yet and are tracked by:
+  contracts issue #133, bridge issue #138, runtime issue #134, wallet issue
+  #136, control-dashboard issue #137, and ops issue #135.
 - `flowchain:l1-e2e` is only a branch alias to `flowchain:full-smoke` in this
   HQ PR; it is not on `main`. It now passes locally after the branch static-
   analysis policy update.
@@ -133,6 +129,7 @@ truth until the work lands in reviewed PRs and merges to `main`.
    contracts-owned fix if the owner chooses to require Slither findings in the
    default gate.
 4. Merge or rebase the richer ops `flowchain:l1-e2e` wrapper when ready.
-5. Have each subsystem agent add its dedicated pilot proof command.
+5. Have each subsystem agent close its dedicated pilot proof issue:
+   #133, #138, #134, #136, #137, and #135.
 6. Rerun `npm run flowchain:real-value-pilot:e2e` without
    `-AllowIncomplete` only after all dedicated proof commands exist.

docs/agent-runs/real-value-pilot-hq/EXPERIMENTS.md

@@ -43,6 +43,8 @@ Last updated: 2026-05-14.
 | `npm run flowchain:l1-e2e` | Passed | Current alias to `flowchain-full-smoke.ps1` passed and wrote `devnet/local/full-smoke/flowchain-full-smoke-report.json`. |
 | Post static-analysis docs checks | Passed | `node infra/scripts/check-unsafe-claims.mjs`, `git diff --check`, and `npm run flowchain:real-value-pilot:e2e -- -AllowIncomplete` passed after recording the static-analysis policy evidence. |
 | Post release-boundary docs checks | Passed | `node infra/scripts/check-unsafe-claims.mjs`, `git diff --check`, and `npm run flowchain:real-value-pilot:e2e -- -AllowIncomplete` passed after adding the issue #130 release-gate boundary. |
+| `gh issue create ...` for subsystem proof commands | Passed | Created contracts #133, runtime #134, ops #135, wallet #136, control-dashboard #137, and bridge #138. |
+| Post subsystem-issue mapping checks | Passed | `node infra/scripts/check-unsafe-claims.mjs`, `git diff --check`, and `npm run flowchain:real-value-pilot:e2e -- -AllowIncomplete` passed after mapping #133 through #138 into HQ docs. |
 
 ## Static Analysis Policy Update
 

docs/agent-runs/real-value-pilot-hq/NOTES.md

@@ -17,6 +17,8 @@ Last updated: 2026-05-14.
   release-gate boundary for observer reads, deposits, release/recovery, local
   credit application, dashboard display, and explicitly out-of-scope public
   readiness claims.
+- Missing subsystem proof commands are now tracked by GitHub issues #133
+  through #138.
 - Issue #131 is the active contracts/static-analysis issue for reconciling
   local Slither findings that block product and L1 E2E evidence.
 - PR #132 now includes an allowed `infra/scripts/` fix for #131: the default