v0.2.9-pre.009-fix.001
This commit is contained in:
@@ -1,9 +1,9 @@
|
||||
<!-- file: docs/plans/016-V0_2_9_YELLOWSTONE_GRPC_PLAN.md -->
|
||||
<!-- version: 18 -->
|
||||
<!-- version: 19 -->
|
||||
|
||||
# Plan `0.2.9` — moteur Yellowstone gRPC + standard Solana + PublicNode
|
||||
|
||||
> **Statut : `0.2.9-pre.008-fix.001` est fermée sur gate opérateur sans warning : fmt/audit/check/Clippy/workspace PASS, Transport 370 unit + 47 public API + 41 completeness + 4 doctests. `0.2.9-pre.009` est candidate : stream bidi standard réel, mutation request, Ping/Pong, backpressure, half-close et shutdown borné ; reconnect/replay restent `pre.010`.**
|
||||
> **Statut : `0.2.9-pre.009` est fonctionnellement verte sur gate opérateur (Transport 379 unit + 48 public API + 42 completeness + 4 doctests, workspace PASS), mais Clippy signale deux warnings d’hygiène. `0.2.9-pre.009-fix.001` est candidate pour les supprimer sans modifier le protocole ni le lifecycle ; reconnect/replay restent `pre.010`.**
|
||||
|
||||
## 1. Objet, base et état d'ouverture
|
||||
|
||||
@@ -934,8 +934,8 @@ pre.007 DONE — standard Solana : Transactions + transaction_status
|
||||
pre.008 DONE — standard Solana : Blocks + block_meta + entry
|
||||
budget : 15–20 min ; gate final fix.001 : fmt/audit/check/Clippy/workspace PASS sans warning + Transport 370/47/41/4
|
||||
|
||||
pre.009 CANDIDATE — moteur partagé : bidi mutation + Ping/Pong + half-close + backpressure + shutdown
|
||||
budget : 15–20 min ; preuve : fixture locale bidi + bounded queues + half-close/drop/timeout déterministes
|
||||
pre.009 FIX.001 CANDIDATE — moteur partagé : bidi mutation + Ping/Pong + half-close + backpressure + shutdown
|
||||
budget : 15–20 min ; gate fonctionnel 379/48/42/4 + workspace PASS ; fix de deux warnings Clippy
|
||||
|
||||
pre.010 moteur partagé : reconnect/resubscribe + from_slot/ReplayInfo + gaps/duplicates
|
||||
budget : 15–20 min ; preuve : reconnect local déterministe + aucune promesse lossless
|
||||
@@ -1371,3 +1371,20 @@ Le reconnect est volontairement absent de `pre.009` : un server half-close est n
|
||||
|
||||
**Gate candidat :** audit statique clean ; fixture locale couvre round-trip, mutation, Ping/Pong, server half-close, client half-close, shutdown hostile borné, Drop best-effort, update overflow, Status distant sûr, update malformed et rejet outbound oversized. Compilation/Clippy/tests opérateur requis avant fermeture.
|
||||
|
||||
## 27. `pre.009-fix.001` — compaction de l’update transaction et hygiène du canari `Send`
|
||||
|
||||
Le gate opérateur de `pre.009` valide intégralement le comportement bidi : fmt/audit/check passent ; Transport passe 379/379 unit, 48/48 public API, 42/42 release-completeness et 4/4 doctests ; le dependency canary Core passe 3/3 et `cargo test --workspace` est vert. Clippy termine avec succès mais signale deux warnings :
|
||||
|
||||
```text
|
||||
large_enum_variant YellowstoneSubscribeUpdate::Transaction
|
||||
extra_unused_type_parameters assert_send<T: Send>() dans tests/public_api.rs
|
||||
```
|
||||
|
||||
Le fix applique deux corrections sans `allow` :
|
||||
|
||||
- `YellowstoneSubscribeUpdate::Transaction` transporte désormais `Box<YellowstoneTransactionUpdate>`. La queue ne réserve donc plus la taille de la variante transaction (~664 octets) pour chaque élément ; le wire et le DTO transaction eux-mêmes restent inchangés. La modification intervient avant fermeture de la candidate `pre.009`.
|
||||
- le canari `assert_send<T: Send>()` matérialise `PhantomData<T>` afin que le paramètre générique soit effectivement utilisé tout en conservant exactement la même preuve compile-time.
|
||||
|
||||
Aucun changement n’est apporté aux neuf variantes wire, à la mutation request, à Ping/Pong, au half-close, au shutdown, à la backpressure, aux dépendances ou aux frontières de `pre.010`.
|
||||
|
||||
**Gate fix requis :** fmt/audit/check/Clippy sans warning + Transport 379/48/42/4 + dependency canary + workspace.
|
||||
|
||||
@@ -1,9 +1,9 @@
|
||||
<!-- file: docs/validation/012-V0_2_9_YELLOWSTONE_GRPC.md -->
|
||||
<!-- version: 19 -->
|
||||
<!-- version: 20 -->
|
||||
|
||||
# Validation `0.2.9` — moteur Yellowstone + standard Solana + PublicNode
|
||||
|
||||
> **Statut : `pre.008-fix.001` est fermée sur gate opérateur sans warning : fmt/audit/check/Clippy/workspace PASS, Transport 370 unit + 47 public API + 41 completeness + 4 doctests. `pre.009` est candidate pour le bidi standard, mutation request, Ping/Pong, backpressure, half-close et shutdown borné ; reconnect/replay restent `pre.010`.**
|
||||
> **Statut : `pre.009` est fonctionnellement verte : Transport 379 unit + 48 public API + 42 completeness + 4 doctests et workspace PASS. Clippy signale deux warnings d’hygiène ; `pre.009-fix.001` est candidate pour les supprimer sans changement de protocole/lifecycle.**
|
||||
|
||||
## 1. Autorités du gate
|
||||
|
||||
@@ -411,7 +411,7 @@ pre.005 DONE standard: accounts + slots 15
|
||||
pre.006 DONE structure: namespace privé HTTP `http_*` 15–20 min ; gate PASS
|
||||
pre.007 DONE standard: transactions + transaction_status 15–20 min ; gate PASS
|
||||
pre.008 DONE standard: blocks + block_meta + entry 15–20 min ; gate final fix.001 PASS sans warning
|
||||
pre.009 CANDIDATE moteur: bidi/backpressure/half-close/shutdown 15–20 min ; fixture locale adversariale
|
||||
pre.009 FIX.001 CANDIDATE moteur: bidi/backpressure/half-close/shutdown 15–20 min ; gate fonctionnel vert, 2 warnings Clippy
|
||||
pre.010 TODO moteur: reconnect/replay/gap/duplicate 15–20 min
|
||||
pre.011 TODO Config V3 + protocol/provider + profils PublicNode 15–20 min
|
||||
pre.012 TODO PublicNode live + compliance + docs/prompt 0.2.10 15–20 min
|
||||
@@ -886,30 +886,31 @@ Le warning provient uniquement de `minimal_transaction_info()` dans `unit_tests/
|
||||
|
||||
## 27. Gate `pre.009` — bidi standard + backpressure + half-close + shutdown candidate
|
||||
|
||||
| Surface / invariant | État candidate |
|
||||
|-------------------------------------------------|----------------|
|
||||
| workspace version | `0.2.9-pre.9` |
|
||||
| `/geyser.Geyser/Subscribe` bidi | SOURCE+TEST |
|
||||
| request initial dans queue bornée | SOURCE+TEST |
|
||||
| mutation `try_update()` ordonnée/non bloquante | SOURCE+TEST |
|
||||
| aucune `unbounded_channel` | CANARY |
|
||||
| decode des 9 variantes standard | SOURCE+TEST |
|
||||
| server Ping -> ping-only id=1 | SOURCE+TEST |
|
||||
| Pong observable | SOURCE+TEST |
|
||||
| server half-close => `Ok(None)` | SOURCE+TEST |
|
||||
| client close => request half-close | SOURCE+TEST |
|
||||
| shutdown hostile borné par `close_timeout` | SOURCE+TEST |
|
||||
| Drop session => half-close best-effort | SOURCE+TEST |
|
||||
| slow receiver => terminal backpressure overflow | SOURCE+TEST |
|
||||
| Status distant sans message/details secrets | SOURCE+TEST |
|
||||
| update malformed => invalid response | SOURCE+TEST |
|
||||
| max inbound Tonic | SOURCE+TEST |
|
||||
| outbound encoded_len avant dispatch | SOURCE+TEST |
|
||||
| reconnect/resubscribe/replay | OUT pre.009 |
|
||||
| `SubscribeDeshred` | OUT 0.2.9 |
|
||||
| PublicNode / Config V3 | OUT pre.009 |
|
||||
| audit Rust workspace local | PASS / clean |
|
||||
| fmt/check/Clippy/tests/workspace | opérateur TODO |
|
||||
| Surface / invariant | État candidate |
|
||||
|-------------------------------------------------|-------------------|
|
||||
| workspace version | `0.2.9-pre.9` |
|
||||
| `/geyser.Geyser/Subscribe` bidi | SOURCE+TEST |
|
||||
| request initial dans queue bornée | SOURCE+TEST |
|
||||
| mutation `try_update()` ordonnée/non bloquante | SOURCE+TEST |
|
||||
| aucune `unbounded_channel` | CANARY |
|
||||
| decode des 9 variantes standard | SOURCE+TEST |
|
||||
| server Ping -> ping-only id=1 | SOURCE+TEST |
|
||||
| Pong observable | SOURCE+TEST |
|
||||
| server half-close => `Ok(None)` | SOURCE+TEST |
|
||||
| client close => request half-close | SOURCE+TEST |
|
||||
| shutdown hostile borné par `close_timeout` | SOURCE+TEST |
|
||||
| Drop session => half-close best-effort | SOURCE+TEST |
|
||||
| slow receiver => terminal backpressure overflow | SOURCE+TEST |
|
||||
| Status distant sans message/details secrets | SOURCE+TEST |
|
||||
| update malformed => invalid response | SOURCE+TEST |
|
||||
| max inbound Tonic | SOURCE+TEST |
|
||||
| outbound encoded_len avant dispatch | SOURCE+TEST |
|
||||
| reconnect/resubscribe/replay | OUT pre.009 |
|
||||
| `SubscribeDeshred` | OUT 0.2.9 |
|
||||
| PublicNode / Config V3 | OUT pre.009 |
|
||||
| audit Rust workspace local | PASS / clean |
|
||||
| fmt/check/tests/workspace | PASS |
|
||||
| Clippy | PASS + 2 warnings |
|
||||
|
||||
Les helpers protobuf qui étaient test-only jusqu'à `pre.008` sont maintenant compilés en runtime parce que `grpc_stream` les consomme effectivement. Aucun helper raw n'est public : les frontières restent `YellowstoneSubscribeRequest` et `YellowstoneSubscribeUpdate`.
|
||||
|
||||
@@ -917,5 +918,25 @@ Le flux sortant utilise la même `mpsc` bornée que celle fournie à `tonic::cli
|
||||
|
||||
`pre.009` ne tente aucun reconnect. Un half-close serveur est terminal normal ; `Status`, decode invalide et overflow sont terminaux en erreur. Le budget de reconnect, l'ordre de resubscribe, `from_slot`/ReplayInfo, gaps, duplicates et node divergence restent exclusivement `pre.010`.
|
||||
|
||||
**Verdict candidat :** source/fixture/audit statique prêts ; gate Cargo opérateur requis.
|
||||
**Verdict `pre.009` :** contrat fonctionnel validé ; fix Clippy-only requis avant fermeture.
|
||||
|
||||
## 28. Gate `pre.009-fix.001` — taille de l’enum update + canari `Send`
|
||||
|
||||
| Gate / observation | Résultat `pre.009` | Correctif `fix.001` |
|
||||
|------------------------------------------|-------------------------------------------|---------------------------------------------------|
|
||||
| `cargo fmt --all` | PASS | à réexécuter |
|
||||
| audit Rust workspace | PASS / clean | PASS local / clean |
|
||||
| `cargo check --workspace` | PASS | contrat inchangé |
|
||||
| `cargo clippy --workspace --all-targets` | PASS + 2 warnings | boxing Transaction + usage réel de `T` |
|
||||
| Transport unit | 379/379 PASS | contrat attendu inchangé |
|
||||
| Transport `public_api` | 48/48 PASS | contrat attendu inchangé |
|
||||
| Transport `release_completeness` | 42/42 PASS | contrat attendu inchangé |
|
||||
| Transport doctests | 4/4 PASS | contrat attendu inchangé |
|
||||
| Core dependency canary | 3/3 PASS | dépendances inchangées |
|
||||
| `cargo test --workspace` | PASS | contrat attendu inchangé |
|
||||
| `large_enum_variant` | Transaction ~664 B, Block ~280 B | `Transaction(Box<YellowstoneTransactionUpdate>)` |
|
||||
| `extra_unused_type_parameters` | helper `assert_send<T>()` n’utilise pas T | `PhantomData<T>` matérialise l’usage compile-time |
|
||||
|
||||
Le boxing ne modifie ni le protobuf ni `YellowstoneTransactionUpdate` : il réduit uniquement la taille du discriminant public transporté dans la queue bidi. Le canari `Send` conserve la même contrainte et ne construit aucune session réseau. Aucun `allow` Clippy n’est ajouté.
|
||||
|
||||
**Verdict fix candidate :** correction minimale prête ; fermeture de `pre.009` après gate opérateur sans warning.
|
||||
|
||||
Reference in New Issue
Block a user