v0.3.1-pre.004
This commit is contained in:
@@ -1,5 +1,5 @@
|
||||
<!-- file: docs/validation/018-V0_3_1_STORE_RAW.md -->
|
||||
<!-- version: 4 -->
|
||||
<!-- version: 5 -->
|
||||
|
||||
# Validation `0.3.1` — Store API RAW foundation
|
||||
|
||||
@@ -16,7 +16,7 @@ contrats/capabilities backend externes
|
||||
cycle de rétention logique + tombstone
|
||||
```
|
||||
|
||||
`RawAccountState`/observation et `TransactionStatusObservation` doivent être audités cross-source et prévus dans l'API lorsque leur sémantique commune est prouvée. Les notifications de logs/slot/vote sont classées séparément comme candidats event-only, avec ownership Interface préféré lorsqu'elles ne sont pas persistées.
|
||||
`pre.004` prouve la convergence de `RawAccountState`/observation entre HTTP/WS/gRPC sous admission stricte bytes complets + slot. `TransactionStatusObservation` reste différé : snapshot HTTP, transition WS et update Yellowstone ne sont pas encore un fait unique. Les notifications logs/slot/vote restent event-only candidates, avec ownership Interface préféré lorsqu'elles ne sont pas persistées.
|
||||
|
||||
## 2. Gate `pre.001`
|
||||
|
||||
@@ -118,8 +118,8 @@ Toute divergence exige un usage public réel et une révision du plan.
|
||||
|--------------------------------|--------------------------|-------------------|----------------|--------------------------------------------------------------------|
|
||||
| transaction complète | N1 RAW | oui | STRUCTURAL oui | implémenter modèle + observation |
|
||||
| logs contenus dans transaction | partie de RawTransaction | via transaction | STRUCTURAL oui | préserver lossless, ne pas dupliquer en `RawLog` |
|
||||
| account state complet | N1 RAW candidat | futur oui | à déterminer | audit HTTP/WS/gRPC puis prévoir modèle/observation |
|
||||
| transaction status | observation candidat | optionnelle | non | audit signature/status sources |
|
||||
| account state complet | N1 RAW | oui à terme | pas démontré | modèle + observation matérialisés en `pre.004` |
|
||||
| transaction status | familles distinctes | non figée | non | différer : snapshot HTTP != transition WS != update Yellowstone |
|
||||
| `logsSubscribe` notification | event-only candidat | non par défaut | non | ownership Interface/worker à figer |
|
||||
| slot/root/slotsUpdates | event-only candidat | non | non | TODO use-case + compatibilité |
|
||||
| vote | event-only candidat | non | non | TODO seulement si forme commune utile |
|
||||
@@ -169,26 +169,30 @@ crate/test backend externe
|
||||
|
||||
## 8. Threat/API gates futurs
|
||||
|
||||
| Gate | Attendu | Statut initial |
|
||||
|----------------------------------|-------------------------------------------------|----------------|
|
||||
| oversized RAW payload | rejet avant allocation pathologique | `pre.003` |
|
||||
| payload Debug | aucun bytes brut | `pre.003` |
|
||||
| partial source -> RawTransaction | interdit ; contrat complet exigé | `pre.003/004` |
|
||||
| HTTP/WS/gRPC semantic mismatch | détecté par admission matrix | `pre.004` |
|
||||
| duplicate same content | `AlreadyPresent` | `pre.006` |
|
||||
| duplicate divergent content | Conflict stable | `pre.006` |
|
||||
| partial transaction+observation | interdit par atomic acquisition | `pre.005` |
|
||||
| event-only -> Store capability | absent par défaut | `pre.004/007` |
|
||||
| Interface/Store duplicate model | absent | `pre.007` |
|
||||
| page limit 0/>500 | rejet | `pre.006` |
|
||||
| SQL/backend cursor leak | absent | `pre.006/007` |
|
||||
| external backend | implémente API sans Store lib | `pre.005` |
|
||||
| processing `bool` comme vérité | absent ; future preuve version-aware documentée | `pre.006/007` |
|
||||
| purge sans policy/evidence | impossible par contrat | `pre.006/007` |
|
||||
| tombstone supprimé avec payload | interdit | `pre.006` |
|
||||
| rebackfill normal après purge | skip | `pre.006` |
|
||||
| force rehydrate implicite | interdit | `pre.006` |
|
||||
| N2/N3/N4 creep | aucune surface | `pre.007` |
|
||||
| Gate | Attendu | Statut initial |
|
||||
|---------------------------------------------|-------------------------------------------------|----------------|
|
||||
| oversized RAW payload | rejet avant allocation pathologique | `pre.003` |
|
||||
| payload Debug | aucun bytes brut | `pre.003` |
|
||||
| partial source -> RawTransaction | interdit ; contrat complet exigé | `pre.003/004` |
|
||||
| HTTP/WS/gRPC semantic mismatch | détecté par admission matrix | `pre.004` PASS |
|
||||
| account bytes partiels/parsés | refusés avant `RawAccountState` | `pre.004` PASS |
|
||||
| account sans slot durable | refusé comme état persistant | `pre.004` PASS |
|
||||
| account data Debug | aucun bytes brut | `pre.004` PASS |
|
||||
| status surfaces artificiellement fusionnées | aucun modèle commun prématuré | `pre.004` PASS |
|
||||
| duplicate same content | `AlreadyPresent` | `pre.006` |
|
||||
| duplicate divergent content | Conflict stable | `pre.006` |
|
||||
| partial transaction+observation | interdit par atomic acquisition | `pre.005` |
|
||||
| event-only -> Store capability | absent par défaut | `pre.004/007` |
|
||||
| Interface/Store duplicate model | absent | `pre.007` |
|
||||
| page limit 0/>500 | rejet | `pre.006` |
|
||||
| SQL/backend cursor leak | absent | `pre.006/007` |
|
||||
| external backend | implémente API sans Store lib | `pre.005` |
|
||||
| processing `bool` comme vérité | absent ; future preuve version-aware documentée | `pre.006/007` |
|
||||
| purge sans policy/evidence | impossible par contrat | `pre.006/007` |
|
||||
| tombstone supprimé avec payload | interdit | `pre.006` |
|
||||
| rebackfill normal après purge | skip | `pre.006` |
|
||||
| force rehydrate implicite | interdit | `pre.006` |
|
||||
| N2/N3/N4 creep | aucune surface | `pre.007` |
|
||||
|
||||
### 8.1 Matérialisation `pre.003`
|
||||
|
||||
@@ -227,6 +231,43 @@ aucun RawLog/N2 STRUCTURAL/backend/runtime ajouté
|
||||
|
||||
La complétude sémantique d'une source HTTP/WS/gRPC vers le format canonique n'est pas simulée dans Store API : elle reste le gate d'admission/conversion de `pre.004`. `pre.003` exige seulement qu'un `RawTransaction` reçoive un `RawPayload` déjà canonique complet selon son format KSP déclaré.
|
||||
|
||||
### 8.2 Matérialisation `pre.004`
|
||||
|
||||
La tranche ajoute :
|
||||
|
||||
```text
|
||||
MAX_RAW_ACCOUNT_DATA_BYTES
|
||||
RawAccountStateReference
|
||||
RawAccountState
|
||||
RawAccountObservation
|
||||
```
|
||||
|
||||
Invariants vérifiés par modèle/canaris :
|
||||
|
||||
```text
|
||||
référence = network + pubkey + slot + canonical state hash
|
||||
account data complet <= 16 MiB
|
||||
empty account data autorisé
|
||||
Debug RawAccountState ne rend jamais les bytes
|
||||
write_version/transaction_signature/is_startup restent observation-only optionnels
|
||||
HTTP/WS/gRPC source details n'entrent pas dans RawAccountState
|
||||
aucun TransactionStatusObservation artificiel
|
||||
aucun RawLogNotification/RawSlotEvent/RawVoteEvent/RawBlock/YellowstoneEntry public
|
||||
```
|
||||
|
||||
Matrice d'admission validée architecturalement :
|
||||
|
||||
```text
|
||||
getAccountInfo/getMultipleAccounts -> oui avec bytes complets
|
||||
getProgramAccounts -> contexte obligatoire
|
||||
accountSubscribe -> oui avec bytes complets
|
||||
programSubscribe -> contexte obligatoire
|
||||
Yellowstone Account -> aucun accounts_data_slice
|
||||
jsonParsed/dataSlice/bare program -> non
|
||||
```
|
||||
|
||||
La conversion source -> modèle reste hors `ksp-store-api`; la crate ne dépend toujours que de `ksp-core-lib`.
|
||||
|
||||
## 9. Gates de fermeture prévus
|
||||
|
||||
### Gate technique final `pre.008`
|
||||
@@ -317,7 +358,7 @@ sécurité
|
||||
| `pre.001` | audit/design/taxonomie/split | PRÊT après gate local |
|
||||
| `pre.002` | scaffold + taxonomie Store API | À FAIRE |
|
||||
| `pre.003` | primitives + RawTransaction | À FAIRE |
|
||||
| `pre.004` | admission matrix + account/status models | À FAIRE |
|
||||
| `pre.004` | admission matrix + account/status models | PRÊT après gate local |
|
||||
| `pre.005` | backend contracts/capabilities | À FAIRE |
|
||||
| `pre.006` | queries/outcomes/retention/tombstone | À FAIRE |
|
||||
| `pre.007` | boundary/adversarial/completeness | À FAIRE |
|
||||
|
||||
Reference in New Issue
Block a user