9.1 KiB
9.1 KiB
Plan KSP 0.0.3
Mission
Transformer le brainstorming KSP en architecture, règles, inventaire et plan suffisamment précis pour ouvrir la première série fonctionnelle 0.1.x sans développement fonctionnel prématuré.
État courant
pre.001— base de planification stabilisée et commitée ;pre.002— inventaire initial des composants ;pre.003— graphe de dépendances, correction de l'inventaire et stabilisation des frontières de composition.
Les tranches pre.004 (Wire/Program), pre.005 (Execution/Policy), pre.006 (Data/Materialization/Store), pre.007 (Acquisition/Workers/Jobs), pre.008 (Apps/Services/Scenarios/Control) et pre.009 (Functional Release Sequence) sont maintenant livrées séparément afin de conserver des prereleases de planification bornées.
Décisions structurantes actuelles
0.1.x,0.2.x, etc. sont des séries fonctionnelles, pas des unités de session.- Chaque release concrète d'une série est dimensionnée séparément.
- Les bibliothèques d'implémentation utilisent
ksp-<role>-lib; les contrats publics extensibles utilisentksp-<domain>-api. - Program, Materializer et Store ont un couple API/implémentation séparé.
- Workers et jobs ont des lifecycle APIs distinctes, sans parent commun.
ksp-worker-raw-retrieverréalise uniquement l'acquisition raw live/quasi-live.ksp-job-backfillréalise l'acquisition historique à la demande.- Le processing futur est séparé entre
ksp-worker-core-processor,ksp-worker-generic-materializeretksp-worker-domain-projector. ksp-worker-control-libest la gouvernance commune des workers ; aucuneksp-job-control-libn'est prévue actuellement.ksp-execution-policy-apiest retenu.ksp-execution-libest retenu comme orchestration spécialisée et dépend deksp-program-api, pas deksp-program-lib.ksp-program-libne dépend ni du wallet ni du transport.ksp-materializer-libne dépend pas du store.ksp-store-apireste indépendant de Program/Materializer/Transport.- Les workers/jobs spécialisés convertissent explicitement les modèles entre transport, processing et persistence.
ksp-store-apipossède les notifications canoniques de données persistées ; leur transport concret reste séparé.- Aucun
ksp-data-api,ksp-pipeline-libmonolithique,ksp-scenario-api,ksp-onchain-transport-api,ksp-offchain-transport-apiouksp-wallet-apin'est prévu actuellement. - Quatre pipelines spécialisés sont désormais retenus pour les frontières durables : raw ingestion, Core processing, generic materialization et domain projection.
- Les scenarios restent des crates spécialisées régies d'abord par une norme souple.
Prévision souple des prereleases restantes
pre.003 — Graphe de dépendances et correction de l'inventaire
Livré :
docs/architecture/005-DEPENDENCY_GRAPH.md;- graphe Program/Execution/Policy ;
- graphe Materializer/Store ;
- graphe Worker/Job ;
- conversion explicite des modèles aux frontières ;
- dépendances interdites et prévention des cycles ;
- correction de
004-COMPONENT_INVENTORY.md; - suppression des décisions négatives présentées à tort comme tâches du roadmap.
pre.004 — Wire et Program
Livré :
- propriété et rôle de
ksp-interface-lib; - propriété des codecs wire ;
- politique anti-doublons de générations et sélection/réimplémentation des interfaces externes ;
- API Program ouverte ;
- familles de decoders par capacité ;
ProgramExecutionPreparerà la place d'un executor transactionnel ambigu ;- statut lifecycle machine-readable pour les opérations anciennes/abandonnées ;
- registry extensible official + external ;
- organisation
domain -> program/protocol -> capability; - workflow d'une implémentation externe avant intégration officielle.
pre.005 — Execution et Policy
Livré :
ksp-execution-policy-apicomme contrat de décision obligatoire pour une exécution réelle ;- policy multi-checkpoints ;
- séparation stricte entre décision policy et actions wallet/réseau/UI ;
ksp-execution-libconsommantPreparedProgramExecutionsans dépendre deksp-program-lib;- distinction Program constraints / caller options / policy constraints ;
- wallet/signers et provider sélectionnés par la composition supérieure ;
- simulation, signature, submission et confirmation orchestrées avec les primitives des libs propriétaires ;
- distinction retry transport / retry lifecycle d'exécution ;
- approbation externe suspendue/reprenable ;
- résultat d'exécution indépendant du Store ;
ksp-logging-libconfirmé comme façade unique tracing du runtime KSP, avec dépendance possible vers Core pourError/Result.
pre.006 — Data, Materialization et Store
Livré :
- nomenclature durable D1 Raw / D2 Core / D3 journal générique / D4 projections spécialisées ;
- D1/D2/D3 fortement stabilisables et D4 plus évolutif ;
- D3 confirmé comme journal durable obligatoire ;
- frontière
ksp-materializer-api/ksp-materializer-libsans dépendance Store ; - capacités conceptuelles de matérialisation générique et projection de domaine ;
ksp-store-apibackend-agnostic etksp-store-libPostgreSQL de référence ;- provenance et temporalités par niveau ;
- idempotence/versionnement processors ;
- replays indépendants D1 -> D2, D2 -> D3, D3 -> D4 ;
- notifications après commit comme wake-up uniquement, Store comme source de vérité ;
- même contrat D1 pour acquisition live et backfill ;
- D4 par faits canoniques plutôt que tables par protocole.
pre.007 — Acquisition, workers de processing et jobs
Livré :
- quatre pipelines spécialisés réutilisant chaque frontière durable entre worker live et job ;
ksp-worker-apimaintenu comme lifecycle API continue ;ksp-job-apimaintenu comme lifecycle API terminable séparée ;ksp-worker-raw-retrieveravec hot reconfiguration desired/effective ;ksp-worker-core-processor,ksp-worker-generic-materializer,ksp-worker-domain-projector;ksp-job-backfillstrictement D1 ;ksp-job-replay-core,ksp-job-replay-generic-materialization,ksp-job-replay-domain-projection;- backlog par input + processor/version/capability ;
- processing outcomes explicites même sans output ;
- claim/lease et reprise après crash ;
- at-least-once + idempotence ;
- replay normal vs force replay ;
- PostgreSQL LISTEN/NOTIFY comme wake-up initial de référence + periodic polling ;
- batching/concurrence bornés et principe de backpressure observable mais non automatique.
pre.008 — Applications, services, scenarios et control plane
Livré :
- applications spécialisées prioritaires sur toute future application globale ;
- future application globale conservée comme idée uniquement ;
- workers confirmés comme services/processus indépendants ;
- direction de packaging : package worker avec cible bibliothèque réutilisable + binaire autonome mince ;
- aucun worker concret ne dépend directement d'un autre worker ;
- data plane D1–D4 séparé du control plane ;
ksp-worker-control-libcomme gouvernance réutilisable ;- sémantique Worker indépendante du transport local/IPC ;
- aucun
ksp-ipc-apigénérique créé prématurément ; - aucun ordre global strict de démarrage figé ;
- scenarios exécutés dans
ksp-scenario-<domain>-lib, jamais dans l'app desktop ; docs/rules/SCENARIO_CONVENTION.mdcomme norme souple ;- applications scenario demo minces et appelables via la crate scenario ;
ksp-orchestrator-libconservé uniquement comme concept futur.
pre.009 — Plan des premières releases fonctionnelles
Livré :
docs/plans/002-FUNCTIONAL_RELEASE_SEQUENCE.md;0.1.1sélectionnée comme première release fonctionnelle ;0.1.1=ksp-core-lib;0.1.2=ksp-logging-lib;0.1.3=ksp-config-libpar défaut ;0.1.4=ksp-app-config-deskpar défaut ;- règle de scission de Config si son
pre.001démontre une charge excessive ; - ordre candidat, volontairement non numéroté finement, pour
0.2.xet0.3.x; - lifecycle standard des releases fonctionnelles ;
- chaque delta commité à partir de
0.1.x; - seul le commit stable reçoit le tag
vX.Y.Z; - brouillon générique
V0_1_Xremplacé par le prompt quasi-finalV0_1_1.
pre.010 — Clôture fondatrice
- relire les règles, architecture, roadmap, plans et IDEAS pour détecter les contradictions restantes ;
- vérifier que la documentation racine/indexée disponible est cohérente ;
- vérifier les versions de fichiers et le versionnement Cargo ;
- effectuer les validations workspace applicables à la fondation ;
- mettre à jour/nettoyer/archiver ce qui doit l'être ;
- synchroniser le changelog si le fichier existe dans la base de travail ;
- finaliser
prompts/001-V0_1_1_START_PROMPT.md; - produire le delta/release stable
0.0.3et préparer le démarrage de0.1.1.
pre.010 n'est pas une nouvelle tranche de brainstorming architectural. Une évolution de fond n'y est ouverte qu'en cas d'incohérence critique détectée pendant l'audit final.