ATLAS ZERO VM.zip / ATLAS_ZERO_Real_Implementation_Plan_v1.md

ATLAS ZERO — Real Implementation Plan v1

ATLAS ZERO — Real Implementation Plan v1

Verdict

Arhiva ATLAS ZERO VM.zip conține AZ-001 până la AZ-053, deci problema de closure structural observată în primul zip este închisă în al doilea.

Asta schimbă verdictul astfel:

  • corpusul este complet ca serie documentară de bază;
  • rămâne însă în continuare un corpus de specificație, nu o implementare executabilă;
  • următorul pas corect este transformarea lui într-un repo real, cu ordine strictă de construcție.

1. Decizia de implementare

Limbaj recomandat

Rust

De ce Rust

Pentru acest tip de protocol este alegerea cea mai bună deoarece oferă:

  • control strict pe memorie și layout;
  • predictibilitate mai bună pentru logică deterministică;
  • tipuri puternice pentru obiecte canonice;
  • cost redus de runtime și fără GC;
  • ecosistem bun pentru hashing, serialization, storage, networking și fuzzing;
  • separare clară între core deterministic și shell operațional.

Nu recomand Python, Node sau Go pentru core-ul normativ. Ele pot fi utile pentru tooling, test harness și exporturi, dar nu pentru nucleul de adevăr protocolar.


2. Forma corectă a repo-ului

Repo root

atlas-zero/
  Cargo.toml
  rust-toolchain.toml
  README.md
  LICENSE

  docs/
    spec/
    canon/
    procedures/
    audit/
    public/
    index/

  crates/
    az-core/
    az-crypto/
    az-codec/
    az-types/
    az-canon/
    az-state/
    az-validation/
    az-vm/
    az-witness/
    az-economics/
    az-governance/
    az-consensus/
    az-mempool/
    az-storage/
    az-p2p/
    az-node/
    az-rpc/
    az-recovery/
    az-build/
    az-genesis/
    az-export/
    az-verifier/

  binaries/
    az-node/
    az-tool/
    az-verifier/

  tests/
    conformance/
    integration/
    simulation/
    property/
    fixtures/

  vectors/
    canonical/
    tx/
    state/
    vm/
    witness/
    consensus/
    governance/
    recovery/

  genesis/
    devnet/
    testnet/

  scripts/
    dev/
    release/
    packaging/
    verification/

  tools/
    corpus-import/
    snapshot-check/
    bundle-check/

3. Regula de aur a construcției

Ordinea corectă este:

  1. canonical core
  2. validation + state core
  3. BVM core
  4. economic + witness core
  5. consensus core
  6. node shell + networking
  7. governance / recovery
  8. genesis / build / release / bundles
  9. devnet
  10. testnet
  11. hardening

Dacă inversezi ordinea și pornești de la node shell, RPC, P2P sau GUI, proiectul se rupe.


4. Ce se scrie prima dată

4.1 Workspace bootstrap

Primele fișiere reale:

atlas-zero/Cargo.toml
atlas-zero/rust-toolchain.toml
atlas-zero/crates/az-types/Cargo.toml
atlas-zero/crates/az-types/src/lib.rs
atlas-zero/crates/az-codec/Cargo.toml
atlas-zero/crates/az-codec/src/lib.rs
atlas-zero/crates/az-crypto/Cargo.toml
atlas-zero/crates/az-crypto/src/lib.rs
atlas-zero/crates/az-core/Cargo.toml
atlas-zero/crates/az-core/src/lib.rs

4.2 Structurile canonice minime

Aceste fișiere trebuie scrise primele:

crates/az-types/src/hash.rs
crates/az-types/src/ids.rs
crates/az-types/src/cell.rs
crates/az-types/src/intent.rs
crates/az-types/src/witness.rs
crates/az-types/src/tx.rs
crates/az-types/src/block.rs
crates/az-types/src/epoch.rs
crates/az-types/src/errors.rs

4.3 Codec canonic

Aici se câștigă sau se pierde protocolul.

crates/az-codec/src/canonical.rs
crates/az-codec/src/encoding.rs
crates/az-codec/src/decoding.rs
crates/az-codec/src/hashable.rs
crates/az-codec/src/domain_separation.rs

4.4 Crypto minim

crates/az-crypto/src/hash.rs
crates/az-crypto/src/signatures.rs
crates/az-crypto/src/merkle.rs
crates/az-crypto/src/public_keys.rs

4.5 Primele teste obligatorii

tests/conformance/canonical_encoding.rs
tests/conformance/hash_stability.rs
tests/conformance/object_roundtrip.rs
tests/property/no_ambiguous_decode.rs

5. Prima etapă implementabilă: Canonical Core

Obiectiv

Să poți face următoarele fără rețea:

  • construiești obiecte;
  • le encodezi canonic;
  • le decodezi;
  • le hashezi;
  • verifici egalitate structurală;
  • verifici că nu există encoding ambiguu.

Output real

  • hash stabil pentru toate obiectele de bază;
  • corpus minim de test vectors;
  • identificatori canonici stabili;
  • zero logică de rețea încă.

Done real

Când poți da aceleași obiecte la două procese separate și obții exact aceleași bytes și aceleași hash-uri.


6. A doua etapă: Validation + State Core

Crate-uri

crates/az-state/
crates/az-validation/
crates/az-storage/

Fișiere principale

crates/az-state/src/state_root.rs
crates/az-state/src/state_view.rs
crates/az-state/src/cell_store.rs
crates/az-state/src/apply.rs
crates/az-state/src/delta.rs

crates/az-validation/src/tx_validation.rs
crates/az-validation/src/object_validation.rs
crates/az-validation/src/state_transition.rs
crates/az-validation/src/admission.rs
crates/az-validation/src/policy.rs

crates/az-storage/src/object_store.rs
crates/az-storage/src/state_store.rs
crates/az-storage/src/snapshot_store.rs

Ce trebuie implementat

  • TX_VALUE_TRANSFER
  • TX_INTENT_SUBMIT
  • TX_INTENT_CANCEL
  • validarea consumului unic;
  • conservarea valorii;
  • aplicarea tranzacției la stare;
  • state root determinist;
  • snapshot simplu.

Teste obligatorii

tests/conformance/tx_value_transfer.rs
tests/conformance/unique_consumption.rs
tests/conformance/value_conservation.rs
tests/conformance/state_root_determinism.rs
tests/integration/basic_state_apply.rs

7. A treia etapă: BVM Core

Crate

crates/az-vm/

Fișiere

crates/az-vm/src/bytecode.rs
crates/az-vm/src/opcodes.rs
crates/az-vm/src/interpreter.rs
crates/az-vm/src/gas.rs
crates/az-vm/src/bounds.rs
crates/az-vm/src/host.rs
crates/az-vm/src/effects.rs
crates/az-vm/src/module.rs

Ordine internă corectă

  1. bytecode format
  2. opcode table
  3. interpreter minim
  4. gas / exec units
  5. effect model
  6. host calls strict limitate
  7. deploy/call path

Ce NU faci aici

  • FFI exotic
  • dynamic loading
  • contracte arbitrare
  • host API prea larg
  • syscall-uri fără bounds

Teste obligatorii

tests/conformance/vm_decode.rs
tests/conformance/vm_determinism.rs
tests/conformance/vm_bounds.rs
tests/conformance/vm_effect_limits.rs
tests/integration/machine_deploy_and_call.rs

8. A patra etapă: Witness + Economics

Crate-uri

crates/az-witness/
crates/az-economics/

Fișiere witness

crates/az-witness/src/record.rs
crates/az-witness/src/statement.rs
crates/az-witness/src/verification.rs
crates/az-witness/src/families.rs
crates/az-witness/src/policy.rs

Fișiere economics

crates/az-economics/src/fees.rs
crates/az-economics/src/rent.rs
crates/az-economics/src/rewards.rs
crates/az-economics/src/slashing.rs
crates/az-economics/src/treasury.rs
crates/az-economics/src/reserve.rs

Ce trebuie să existe minim

  • fee charging;
  • state rent model minim;
  • reward accrual model;
  • slash evidence object format;
  • witness verification minim.

9. A cincea etapă: Consensus Core

Crate

crates/az-consensus/

Fișiere

crates/az-consensus/src/epoch.rs
crates/az-consensus/src/front.rs
crates/az-consensus/src/proposer.rs
crates/az-consensus/src/verifier.rs
crates/az-consensus/src/notary.rs
crates/az-consensus/src/finality.rs
crates/az-consensus/src/evidence.rs
crates/az-consensus/src/slashable.rs

Prima versiune reală

Nu faci întâi rețea completă. Faci mai întâi:

  • consens replayabil în memorie;
  • simulare de epocă;
  • front selection;
  • vote/notarize;
  • finality derivation;
  • slashable conditions.

Teste obligatorii

tests/simulation/epoch_flow.rs
tests/simulation/finality_progress.rs
tests/simulation/front_selection.rs
tests/simulation/slash_conditions.rs

10. A șasea etapă: Node Shell

Crate-uri

crates/az-mempool/
crates/az-p2p/
crates/az-node/
crates/az-rpc/

Fișiere cheie

crates/az-mempool/src/pool.rs
crates/az-mempool/src/admission.rs
crates/az-mempool/src/priorities.rs

crates/az-p2p/src/messages.rs
crates/az-p2p/src/peer.rs
crates/az-p2p/src/sync.rs
crates/az-p2p/src/discovery.rs

crates/az-node/src/config.rs
crates/az-node/src/roles.rs
crates/az-node/src/runtime.rs
crates/az-node/src/safe_mode.rs
crates/az-node/src/bootstrap.rs

crates/az-rpc/src/public.rs
crates/az-rpc/src/operator.rs

Regula

Shell-ul e subordonat core-ului. Niciodată invers.


11. A șaptea etapă: Governance + Recovery

Crate-uri

crates/az-governance/
crates/az-recovery/

Fișiere

crates/az-governance/src/actions.rs
crates/az-governance/src/activation.rs
crates/az-governance/src/parameters.rs
crates/az-governance/src/constitutional.rs

crates/az-recovery/src/boundary.rs
crates/az-recovery/src/ratification.rs
crates/az-recovery/src/continuity.rs
crates/az-recovery/src/state_legitimacy.rs

Aici se face

  • parameter activation;
  • governance actions;
  • recovery boundary;
  • legitimate state records;
  • continuity / rupture logic.

12. A opta etapă: Genesis + Build + Release

Crate-uri

crates/az-build/
crates/az-genesis/
crates/az-export/
crates/az-verifier/

Fișiere

crates/az-genesis/src/genesis.rs
crates/az-genesis/src/package.rs
crates/az-genesis/src/validator_set.rs
crates/az-genesis/src/parameter_set.rs

crates/az-build/src/manifests.rs
crates/az-build/src/signing.rs
crates/az-build/src/release.rs

crates/az-export/src/public_truth.rs
crates/az-export/src/audit_bundle.rs
crates/az-export/src/historical_snapshot.rs

crates/az-verifier/src/bundle_verify.rs
crates/az-verifier/src/public_verify.rs
crates/az-verifier/src/history_verify.rs

13. Repo-ul minim care poate porni realist

Primul target serios nu este mainnet. Primul target serios este:

milestone-devnet-core

Cu:

  • codec canonic complet pentru obiectele de bază;
  • state core;
  • VM minim;
  • consensus replayabil;
  • nod care poate porni local în 4-5 instanțe;
  • genesis package minim;
  • RPC public minim;
  • conformance corpus minim.

14. Ordinea exactă a modulelor care trebuie scrise prima dată

Ordine strictă:

  1. az-types
  2. az-codec
  3. az-crypto
  4. az-core
  5. az-storage
  6. az-state
  7. az-validation
  8. az-vm
  9. az-witness
  10. az-economics
  11. az-consensus
  12. az-mempool
  13. az-node
  14. az-p2p
  15. az-rpc
  16. az-governance
  17. az-recovery
  18. az-genesis
  19. az-build
  20. az-export
  21. az-verifier

Dacă sari peste 1–7 și mergi direct la 11–15, intri în haos.


15. Ce este blocker absolut

Blocker 1

Nu există încă format canonic executabil.

Blocker 2

Nu există state transition engine implementat.

Blocker 3

Nu există VM bounded real.

Blocker 4

Nu există consensus replayabil.

Blocker 5

Nu există corpus executabil de conformance.

Fără aceste cinci, tot restul este decor.


16. Ce se poate amâna

Se poate amâna:

  • GUI;
  • explorer;
  • wallet complex;
  • public dashboard sofisticat;
  • audit export complet;
  • optimization pass agresiv;
  • red-team complet;
  • feature-uri rare de governance;
  • branch-aware public truth complet;
  • long-term archive polish.

17. Prima versiune de repo care are sens să fie generată

v0.1.0-alpha-canonical-core

Trebuie să conțină:

  • workspace Rust funcțional;
  • tipuri canonice;
  • encoding/hashing;
  • test vectors;
  • state skeleton;
  • tx validation skeleton.

Nu mai mult.

v0.2.0-alpha-state

  • state apply real;
  • value transfer;
  • intent submit/cancel;
  • snapshots minime.

v0.3.0-alpha-vm

  • BVM minim;
  • deploy/call;
  • bounded execution.

v0.4.0-alpha-devnet

  • 4 noduri locale;
  • genesis;
  • consensus simplificat;
  • finality de bază.

18. Verdict final

Da, din acest zip se poate scoate un plan real de implementare.

Dar adevărul tehnic este:

  • arhiva este baza de specificație;
  • repo-ul real încă nu există;
  • prima muncă serioasă este construcția canonical core;
  • dacă această etapă este făcută corect, restul poate fi crescut disciplinat;
  • dacă este făcută prost, toată arhitectura cade indiferent cât de frumoase sunt documentele.

Formula scurtă

Blueprint-ul este suficient de bogat ca să înceapă implementarea reală. Primul șantier corect este Rust workspace + canonical core + state core.