Ketentuan layanan.

Ruang lingkup dan penerimaan

Ketentuan ini mengatur akses dan pemakaian Scorpio, sebuah mesin analisis keamanan ekonomi otomatis untuk kode Solidity, termasuk preflight, permintaan analisis, pembayaran x402, dan pengunduhan hasil.

Dengan meminta sebuah analisis, pengguna menyatakan telah membaca dan menerima ketentuan ini serta Kebijakan privasi. Bila bertindak atas nama sebuah organisasi, ia menyatakan punya kewenangan yang cukup untuk mengikat organisasi itu.

Identitas pengelola

Pemilik dan penyedia layanan adalah José Luis Sánchez, nomor pajak 71223690G, beralamat di calle Repullete 100, 23300 Villacarrillo (Jaén), Spanyol. Scorpio adalah produk Automaton Colony dan dijalankan oleh orang yang sama. Layanan berjalan di domain scorpio.automatoncolony.xyz.

Kontak: jls.17@automatoncolony.xyz. Kas yang menerima pembayaran adalah 0x3a6e…30aB di jaringan Base; alamat itu publik dan bisa diperiksa di penjelajah mana pun.

Syarat pemakaian dan kewenangan atas kode

Pengguna harus cakap secara hukum untuk mengikat perjanjian dan memakai dompet yang cocok dengan pembayaran yang diminta. Ia hanya boleh mengirim repositori yang untuknya ia berwenang melakukan analisis keamanan.

Sebuah repositori yang terbuka untuk umum tidak berarti ada izin untuk mengeksploitasi, merugikan, atau mengakses tanpa hak sebuah protokol yang sudah berjalan. Pemakaian hasilnya harus menghormati aturan proyek, aturan program hadiah, dan hukum yang berlaku.

Uraian layanan

Produk yang aktif, Audit lengkap (AUDIT-149), menjalankan analisis otomatis atas sepuluh keluarga dalam katalog yang berlaku. Ia menerima repositori publik yang kompatibel dengan Foundry dan sampai 1.200 berkas Solidity milik proyek, asalkan lolos preflight.

Ruang lingkup teknis saat ini

• Analisis dilakukan atas kode dan commit yang disebut dalam pesanan.
• Produk yang aktif tidak membaca keadaan rantai saat ini.
• Waktu yang tertera di katalog adalah perkiraan lama jalan, bukan perjanjian tingkat layanan.
• Fungsi yang masih dipersiapkan bukan bagian dari layanan yang dipesan sampai ia tampil sebagai aktif di katalog publik.

Preflight dan terbentuknya pesanan

Preflight gratis dan memeriksa apakah URL, repositori, kompilasi yang diharapkan, dan jumlah berkas berada dalam ruang lingkup. Hasilnya bersifat pemberitahuan sampai server mengeluarkan penawaran yang sah.

Repositori yang ditolak pada preflight tidak memunculkan pesanan pembayaran. Penawaran menyebut produk, harga, jaringan, aset, penerima, dan masa berlakunya. Perubahan pada repositori atau commit bisa menuntut preflight baru.

Harga dan pembayaran x402

Harga AUDIT-149 adalah 149 USDC, kecuali katalog yang berlaku menampilkan syarat lain sebelum pembayaran diterima. Pembayaran dilakukan lewat protokol x402, pada jaringan dan alamat yang tertera dalam penawaran.

Inilah penawaran yang dikeluarkan layanan hari ini, dan penawaran inilah yang berlaku di atas data apa pun yang disalin dari tempat lain:

• Memilih jaringan yang benar dan menyiapkan dana yang cukup adalah tanggung jawab pengguna.
• Biaya jaringan atau biaya pihak ketiga ditampilkan dan diurus di luar harga Scorpio.
• Pelaksanaan mulai ketika pembayaran terverifikasi dan tuntas sesuai alur x402.
• Transaksi yang sudah dikonfirmasi di blockchain publik terlihat oleh siapa saja dan tidak bisa dihapus oleh Scorpio.

Status dan penyerahan

Setiap pesanan bisa menunjukkan salah satu status berikut:

• PENDING: pembayaran atau pelaksanaannya masih berjalan.
• DONE: penyerahan yang direncanakan sudah selesai.
• INCOMPLETE: ada penyerahan sebagian, dan batas-batasnya tercatat di dalam hasilnya.
• FAILED: mesin tidak berhasil menghasilkan penyerahannya.
• EXPIRED: penyerahannya pernah ada dan sudah dihapus karena masa simpannya habis.

Apa yang diserahkan, tepatnya

Penyerahan AUDIT-149 terdiri atas dua hal, yaitu yang memang dihasilkan layanan hari ini:

• Laporan audit dalam bahasa Inggris, berformat Markdown, yang membawa segel SHA-256-nya sendiri di dalamnya.
• Revisi yang dianalisis: commit dan pohon tepat dari klon yang dikerjakan, supaya temuan apa pun bisa ditunjuk pada satu revisi tertentu.

Keduanya bisa diambil sebanyak yang diperlukan di GET /audit/<identificador> selama 30 hari kalender sejak pesanan selesai. Setelah tenggat itu, penyerahannya dihapus dan permintaan yang sama menjawab EXPIRED, tinggal catatan pembayarannya saja. Sebaiknya laporannya diunduh dan disimpan begitu diterima.

Kegagalan mesin dan pengembalian dana

Kalau Scorpio menerima dan menuntaskan pembayaran, tetapi mesin atau infrastruktur di bawah kendali pengelola tidak bisa menghasilkan penyerahan yang dipesan, pesanan ditandai FAILED dan harga layanan dikembalikan.

Biaya jaringan, selisih kurs, dan biaya yang ditagih pihak ketiga tidak termasuk dalam pengembalian. Tidak ada pengembalian dana karena tidak ditemukannya kerentanan, karena tidak setuju dengan tingkat keparahan, karena kehilangan akses ke dompet, atau karena memakai hasilnya di luar ruang lingkup yang dipesan.

Bagaimana caranya dijalankan

Pengembalian dana dilakukan secara manual, bukan otomatis. Layanan tidak menahan pembayaran dalam deposit maupun dalam kontrak jaminan: begitu pembayaran tuntas, jumlahnya masuk ke kas. Karena itu, kalau pesanannya gagal, pengembalian dana diperintahkan oleh seorang manusia.

Yang memungkinkan itu adalah bahwa setiap pesanan tercatat lengkap dengan pengenalnya, hash transaksinya, alamat yang membayar, dan alasan tepat kegagalannya. Dengan data itu pengelola mengembalikan dana ke alamat yang sama dengan yang membayar.

• Tenggat: pengembalian dana diperintahkan dalam 14 hari kalender setelah pesanan masuk status FAILED. Konfirmasi di jaringan bisa memakan beberapa menit lagi.
• Saluran: tidak perlu mengajukan tuntutan agar ini berlaku. Pengelola memeriksa pesanan yang berstatus FAILED dan memerintahkan pengembaliannya. Kalau setelah tenggat itu dananya belum sampai, Anda bisa menulis ke jls.17@automatoncolony.xyz dengan menyebut pengenal pesanan dan hash transaksinya.
• Tujuan: alamat yang membayar itu sendiri, dalam aset yang sama dan di jaringan yang sama. Tidak ada pengembalian ke alamat lain selain yang membayar.

Pesanan berstatus INCOMPLETE bukan kegagalan: penyerahannya ada, batas-batasnya tertulis di hasilnya sendiri, dan itu tidak memicu pengembalian dana otomatis. Kalau penyerahan sebagian itu tidak cocok untuk maksud pemakaiannya, hal itu bisa diangkat lewat saluran yang sama.

Pemakaian yang diizinkan dan yang dilarang

Scorpio ditujukan untuk pengembangan yang aman, pemeriksaan yang berizin, penelitian yang bertanggung jawab, dan keikutsertaan yang sah dalam program hadiah.

Tidak diizinkan memakai layanan ini untuk mengeksploitasi sistem, menyembunyikan kegiatan jahat, menganalisis kode yang didapat secara tidak sah, mengganggu layanan, melanggar hak pihak lain, mengakali sanksi, atau memudahkan kejahatan. Bila ada petunjuk yang wajar tentang penyalahgunaan, pengelola boleh menolak atau menghentikan sebuah pesanan.

Kekayaan intelektual

Pengguna dan pemegang hak asli tetap memegang hak atas repositori yang dianalisis. Mengirimkan URL memberi pengelola izin terbatas untuk mengambil, mengompilasi, dan mengolah kodenya semata-mata untuk menjalankan layanan ini.

Mesinnya, detektornya, antarmukanya, dan komponennya tetap menjadi milik pengelola atau pemberi lisensinya. Pengguna boleh memakai, menyalin, dan membagikan laporannya untuk membetulkan proyek, mencatat risiko, atau mengajukan temuan yang berizin, dengan menghormati hak pihak lain atas kodenya.

Hasil dan tidak adanya jaminan

Scorpio memberikan analisis otomatis dan bukti teknis. Ia tidak menjamin nol peringatan palsu, tidak menjamin cakupan penuh, tidak menjamin semua kerentanan ketemu, tidak menjamin kodenya benar, tidak menjamin layanan tanpa henti, dan tidak menjamin sebuah temuan diterima program hadiah.

Hasilnya bukan setara audit oleh manusia, bukan sertifikasi, bukan nasihat hukum atau keuangan, dan bukan anjuran investasi. Pengguna harus memeriksa setiap temuan dan menjalankan proses tinjauan, pengujian, dan penerapannya sendiri.

Pembatasan tanggung jawab

Sejauh diizinkan hukum, pengelola tidak bertanggung jawab atas kerugian tidak langsung, kehilangan laba, kehilangan peluang, kehilangan aset digital, keputusan penerapan, atau kerugian yang timbul karena sebuah hasil dimanfaatkan, diabaikan, atau ditafsirkan salah.

Seluruh tanggung jawab yang terkait dengan satu pesanan dibatasi pada jumlah yang dibayarkan untuk pesanan itu, kecuali dalam hal-hal di mana hukum tidak mengizinkan tanggung jawab dikecualikan atau dibatasi. Tidak ada bagian dari ketentuan ini yang membatasi hak konsumen yang bersifat memaksa, di tempat hak itu berlaku.

Penghentian sementara, perubahan, dan pengakhiran

Pengelola boleh menghentikan akses sementara karena pemeliharaan, risiko teknis, penipuan, pelanggaran ketentuan ini, atau tuntutan hukum. Kalau penghentian yang menjadi tanggungan pengelola menghalangi penyerahan yang sudah dibayar, pasal pengembalian dana berlaku.

Ketentuan ini bisa diperbarui untuk mencerminkan perubahan teknis, komersial, atau hukum. Versi yang berlaku bagi satu pesanan adalah versi yang disebut dan diterima pada saat pembayaran.

Hukum yang berlaku dan penyelesaian sengketa

Yang berlaku adalah hukum Spanyol, yakni hukum negara tempat penyedia layanan berkedudukan. Sengketa diajukan ke pengadilan di Spanyol, tanpa mengurangi kewenangan pengadilan yang bersifat memaksa yang diberikan peraturan perlindungan konsumen kepada pihak yang mengikat perjanjian sebagai konsumen. Kalau ada pasal yang dinyatakan batal, pasal-pasal lainnya tetap berlaku.

Keluhan apa pun dikirim ke surel pada butir 15 dan dijawab dalam waktu paling lama lima hari kerja. Kalau jawabannya tidak memuaskan, pihak yang mengikat perjanjian sebagai konsumen bisa menghubungi lembaga perlindungan konsumen di tempat tinggalnya. Penyedia layanan tidak bergabung dengan sistem penyelesaian sengketa di luar pengadilan mana pun.

Kontak

Untuk dukungan, masalah pembayaran, atau pertanyaan tentang ketentuan ini: jls.17@automatoncolony.xyz.

Simpan pengenal pesanan dan hash transaksinya. Jangan mengirim kunci pribadi, frasa pemulihan, atau kredensial repositori.