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
43 changes: 23 additions & 20 deletions docs/FLOWCHAIN_REAL_VALUE_PILOT.md
Original file line number Diff line number Diff line change
Expand Up @@ -19,20 +19,24 @@ approval.

## Current Baseline

Current `main` at the start of this HQ pass:
Current `main` after PR #132 merged at
`14f378b7f2dee9bfd29aec691ebda41e2b6fa101`:

- `npm run flowchain:product-e2e` exists as the local product testnet gate.
- `npm run flowchain:full-smoke` exists as the private/local L1 baseline gate.
- `npm run flowchain:l1-e2e` is added here as the current L1 baseline alias to
- `npm run flowchain:l1-e2e` exists as the current L1 baseline alias to
`flowchain:full-smoke`; it can be tightened by the ops branch when the
dedicated L1 wrapper is merged.
- `npm run flowchain:real-value-pilot:e2e` is added here as the final pilot
- `npm run flowchain:real-value-pilot:e2e` exists as the final pilot
gate. It fails by default while required subsystem proof commands are missing.

GitHub source-of-truth state checked for this pass:

- Draft PR #129 adds the copy-ready real-value pilot goal pack.
- Issue #130 defines the required gate work before public-network pilot work.
- Issue #130 is closed; PR #132 merged the capped owner-pilot release-gate
boundary.
- Issue #131 is closed; PR #132 merged the optional-Slither default hardening
policy while keeping `contracts:hardening:slither` as the explicit audit gate.
- Open PRs #110, #112 through #117, #71, and #73 remain useful context only
until merged.

Expand Down Expand Up @@ -84,7 +88,7 @@ the proof is branch-local or verified from `main`.
| Required proof | Owning agent | Required command | Current state |
| --- | --- | --- | --- |
| Existing product testnet gate remains green. | HQ/Ops | `npm run flowchain:product-e2e` | Existing command; run before PR when practical. |
| L1 baseline gate remains green. | HQ/Ops | `npm run flowchain:l1-e2e` | Added as current alias to `flowchain:full-smoke`. |
| L1 baseline gate remains green. | HQ/Ops | `npm run flowchain:l1-e2e` | Exists on `main` as current alias to `flowchain:full-smoke`; latest local main-equivalent run passed. |
| Base chain ID `8453` is verified before any live observer or deployment action. | Contracts + Bridge + Ops | `npm run flowchain:real-value-pilot:contracts`; `npm run flowchain:real-value-pilot:bridge`; `npm run flowchain:real-value-pilot:ops` | Missing dedicated pilot commands. |
| Lockbox address is loaded from ignored local config or env, not hardcoded as a blanket endorsement. | Contracts + Ops | `npm run flowchain:real-value-pilot:contracts`; `npm run flowchain:real-value-pilot:ops` | Missing dedicated pilot commands. |
| Per-deposit cap, total pilot cap, supported-asset allowlist, pause, release, recovery, and replay protection are covered by tests and dry-run deployment evidence. | Contracts | `npm run flowchain:real-value-pilot:contracts` | Missing dedicated pilot command. |
Expand All @@ -97,7 +101,7 @@ the proof is branch-local or verified from `main`.
| Dashboard labels the flow as capped owner testing and shows live/degraded/error state plus exact next operator commands. | Control plane/dashboard | `npm run flowchain:real-value-pilot:control-dashboard` | Missing dedicated pilot command. |
| Browser stores no private keys or RPC credentials. | Control plane/dashboard + Wallet/operator | `npm run flowchain:real-value-pilot:control-dashboard`; `npm run flowchain:real-value-pilot:wallet` | Missing dedicated pilot commands. |
| Ops path verifies required env, tiny caps, explicit owner ack, emergency stop, export evidence, restart recovery, and no-secret scans. | Ops/installer | `npm run flowchain:real-value-pilot:ops` | Missing dedicated pilot command. |
| Final pilot gate runs baseline commands plus every available dedicated proof command. | HQ/Ops | `npm run flowchain:real-value-pilot:e2e` | Added here; expected incomplete until subsystem commands land. |
| Final pilot gate runs baseline commands plus every available dedicated proof command. | HQ/Ops | `npm run flowchain:real-value-pilot:e2e` | Exists on `main`; strict mode still fails until subsystem commands land. |

## In-Flight Implementation Status

Expand All @@ -108,12 +112,12 @@ from `main`.

| Area | In-flight branch state | Required next step |
| --- | --- | --- |
| Contracts | `agent/real-value-pilot-contracts` reports passing contract tests, hardening, deploy dry-run, and product E2E after dependency install. | Merge reviewed contract work and expose a dedicated root pilot contracts proof command. |
| Bridge relayer | `agent/real-value-pilot-bridge` contains Base `8453` observer and mock pilot E2E work, with verification rows still pending. | Finish bridge verification, then expose a dedicated root bridge proof command. |
| Chain runtime | `agent/real-value-pilot-chain` contains bridge-credit runtime work in progress, with current pilot experiments still pending. | Finish runtime apply/replay/restart/export proof, then expose a dedicated root runtime proof command. |
| Wallet/operator | `agent/real-value-pilot-wallet` contains pilot signing, validation, schema, and operator-doc work with test rows still pending. | Finish wallet negative vectors and public metadata checks, then expose a dedicated root wallet proof command. |
| Control plane/dashboard | `agent/real-value-pilot-control-dashboard` contains pilot API/dashboard work and a service-local E2E, with checklist rows still incomplete. | Finish API/dashboard verification, then expose a dedicated root control-dashboard proof command. |
| Ops/installer | `agent/real-value-pilot-ops` contains root pilot wrappers, emergency stop, sanitized export, and a passing local checklist after an ops-side static-analysis wrapper change. | Reconcile product E2E hardening policy and merge a reviewed ops proof command. |
| Contracts | `agent/real-value-pilot-contracts` checklist reports the contracts proof complete, including hardening, deploy dry-run, and product E2E. | Rebase onto `14f378b`, expose `flowchain:real-value-pilot:contracts`, rerun evidence, and open a PR. |
| Bridge relayer | `agent/real-value-pilot-bridge` checklist reports the bridge proof complete; service-local `pilot:e2e` exists. | Rebase onto `14f378b`, expose `flowchain:real-value-pilot:bridge`, rerun evidence, and open a PR. |
| Chain runtime | `agent/real-value-pilot-chain` checklist reports runtime credit/replay/restart/export proof complete through the direct wrapper; root package command is missing. | Rebase onto `14f378b`, expose `flowchain:real-value-pilot:runtime`, rerun evidence, and open a PR. |
| Wallet/operator | `agent/real-value-pilot-wallet` checklist reports wallet/operator schemas, signing, validation, negative cases, scans, and product evidence complete. | Rebase onto `14f378b`, expose `flowchain:real-value-pilot:wallet`, rerun evidence, and open a PR. |
| Control plane/dashboard | `agent/real-value-pilot-control-dashboard` checklist reports API/dashboard proof complete and has branch-local `flowchain:real-value-pilot:control-dashboard`. | Rebase onto `14f378b`, rerun evidence, and open a PR. |
| Ops/installer | `agent/real-value-pilot-ops` checklist reports ops proof complete; root lifecycle commands exist branch-locally, but `flowchain:real-value-pilot:ops` is missing. | Rebase onto `14f378b`, expose `flowchain:real-value-pilot:ops`, rerun evidence, and open a PR. |

## Owner Go/No-Go Checklist

Expand Down Expand Up @@ -146,12 +150,11 @@ in committed files, or if any document presents the pilot as public readiness.
- 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.
- Issue #130 is closed by PR #132; the release-gate boundary is now on `main`.
- Issue #131 is closed by PR #132; default `contracts:hardening` skips optional
Slither unless the audit gate is explicitly requested.
- HQ posted refresh comments on issues #133 through #138 with the latest local
worktree evidence and next integration actions.

## Tracking Issues

Expand All @@ -163,8 +166,8 @@ in committed files, or if any document presents the pilot as public readiness.
| 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` |
| Release-gate boundary | #130, closed by PR #132 | `npm run flowchain:real-value-pilot:e2e -- -AllowIncomplete` until proofs land |
| Static-analysis policy | #131, closed by PR #132 | `npm run contracts:hardening`; `npm run contracts:hardening:slither` |

## Required PR Evidence

Expand Down
23 changes: 13 additions & 10 deletions docs/agent-runs/real-value-pilot-hq/CHECKLIST.md
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,9 @@ Last updated: 2026-05-14.
- [x] Run `git diff --check`.
- [x] Run the new pilot gate in incomplete mode.
- [x] Run `npm run flowchain:product-e2e`, or document why it was not practical.
- [x] Open a draft PR with exact commands run and current blockers.
- [x] Open a PR with exact commands run and current blockers.
- [x] Merge the HQ gate PR to `main`.
- [x] Post HQ refresh comments on subsystem issues #133 through #138.

## Gate Blocker Rows

Expand Down Expand Up @@ -55,32 +57,33 @@ and `NOTES.md`.

## Release-Gate Boundary

- [x] Branch documents issue #130 capped owner-pilot boundary in
- [x] `main` documents issue #130 capped owner-pilot boundary in
`docs/FLOWCHAIN_REAL_VALUE_PILOT.md`.
- [ ] Issue #130 boundary is reviewed and accepted on GitHub.
- [x] Issue #130 boundary is reviewed and accepted on GitHub.

## Baseline Check Result

`npm run flowchain:product-e2e` initially failed inside
`npm run contracts:hardening` because local Slither reported existing findings
in `contracts/bridge/BaseBridgeLockbox.sol`.

This branch now updates the allowed `infra/scripts/` static-analysis wrappers
PR #132 updated the allowed `infra/scripts/` static-analysis wrappers
so default `contracts:hardening` matches the documented policy: Slither is
optional by default and required only through `contracts:hardening:slither`,
`-RequireSlither`, or `REQUIRE_SLITHER=1`.

Current branch result: `npm run contracts:hardening`,
Post-merge main-equivalent result: `npm run contracts:hardening`,
`npm run flowchain:product-e2e`, and `npm run flowchain:l1-e2e` pass locally.

GitHub blocker: https://github.com/FlowmemoryAI/FlowMemory/issues/131
Closed GitHub blocker: https://github.com/FlowmemoryAI/FlowMemory/issues/131

Draft PR: https://github.com/FlowmemoryAI/FlowMemory/pull/132
Merged PR: https://github.com/FlowmemoryAI/FlowMemory/pull/132

## Completion Audit

Audit file: `docs/agent-runs/real-value-pilot-hq/COMPLETION_AUDIT.md`.

Result: not complete. `origin/main` lacks both new scripts, the default pilot
gate fails with the intended missing-proof report, and local branch-only
`flowchain:l1-e2e` evidence is not on `main`.
Result: not complete. `origin/main` contains the HQ scripts and
`flowchain:l1-e2e` passes locally, but the default pilot gate still fails with
the intended missing-proof report until the six dedicated subsystem proof
commands land on `main`.
Loading
Loading