anya-core 1.2.0

Enterprise-grade Bitcoin Infrastructure Platform
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92

# Basic verification script for Anya DAO
Write-Host "================================================" -ForegroundColor Cyan
Write-Host "--- Anya DAO - Basic Verification Checks      ---" -ForegroundColor Cyan
Write-Host "================================================" -ForegroundColor Cyan

# Test directory setup
$contractsDir = "src/contracts"
$testsDir = "tests"
$daoDir = "dao"

# Check if directories exist
Write-Host "`n--- Checking directory structure ---" -ForegroundColor Yellow
$dirChecks = @(
    @{Path=$contractsDir; Name="Contracts directory"},
    @{Path=$testsDir; Name="Tests directory"},
    @{Path=$daoDir; Name="DAO directory"},
    @{Path="$daoDir/core"; Name="DAO core directory"},
    @{Path="$daoDir/traits"; Name="DAO traits directory"},
    @{Path="$daoDir/extensions"; Name="DAO extensions directory"}
)

foreach ($dir in $dirChecks) {
    if (Test-Path $dir.Path) {
        Write-Host "  - ✅ $($dir.Name) exists" -ForegroundColor Green
    } else {
        Write-Host "  - ❌ $($dir.Name) not found" -ForegroundColor Red
        Write-Host "      Creating directory: $($dir.Path)" -ForegroundColor Yellow
        New-Item -ItemType Directory -Path $dir.Path -Force | Out-Null
    }
}

# Check if required contract files exist
Write-Host "`n--- Checking contract files ---" -ForegroundColor Yellow
$contractFiles = @(
    @{Path="$daoDir/core/dao-core.clar"; Name="DAO Core contract"},
    @{Path="$daoDir/traits/dao-trait.clar"; Name="DAO Trait contract"},
    @{Path="$contractsDir/dao.clar"; Name="Main DAO contract"},
    @{Path="$contractsDir/governance_token.clar"; Name="Governance Token contract"},
    @{Path="$contractsDir/bitcoin-issuance.clar"; Name="Bitcoin Issuance contract"},
    @{Path="$contractsDir/dex-adapter.clar"; Name="DEX Adapter contract"},
    @{Path="$daoDir/extensions/token-economics.clar"; Name="Token Economics contract"}
)

$missingContracts = 0
foreach ($file in $contractFiles) {
    if (Test-Path $file.Path) {
        Write-Host "  - ✅ $($file.Name) exists" -ForegroundColor Green
    } else {
        Write-Host "  - ❌ $($file.Name) not found" -ForegroundColor Red
        $missingContracts++
    }
}

# Check test files
Write-Host "`n--- Checking test files ---" -ForegroundColor Yellow
$testFiles = @(
    @{Path="$testsDir/governance-token.test.clar"; Name="Governance Token tests"},
    @{Path="$testsDir/dao-core.test.clar"; Name="DAO Core tests"},
    @{Path="$testsDir/bitcoin-issuance.test.clar"; Name="Bitcoin Issuance tests"},
    @{Path="$testsDir/dex-adapter.test.clar"; Name="DEX Adapter tests"},
    @{Path="$testsDir/token-economics.test.clar"; Name="Token Economics tests"},
    @{Path="$testsDir/dao.test.clar"; Name="Main DAO tests"},
    @{Path="$testsDir/dao-system.test.ts"; Name="System Integration tests"}
)

$missingTests = 0
foreach ($file in $testFiles) {
    if (Test-Path $file.Path) {
        Write-Host "  - ✅ $($file.Name) exist" -ForegroundColor Green
    } else {
        Write-Host "  - ❌ $($file.Name) not found" -ForegroundColor Red
        $missingTests++
    }
}

# Summary
Write-Host "`n--- Verification Summary ---" -ForegroundColor Yellow
if ($missingContracts -eq 0) {
    Write-Host "  - ✅ All contract files exist" -ForegroundColor Green
} else {
    Write-Host "  - ❌ Missing $missingContracts contract files" -ForegroundColor Red
}

if ($missingTests -eq 0) {
    Write-Host "  - ✅ All test files exist" -ForegroundColor Green
} else {
    Write-Host "  - ❌ Missing $missingTests test files" -ForegroundColor Red
}

Write-Host "`n==================================================" -ForegroundColor Cyan
Write-Host "Basic verification completed!" -ForegroundColor Cyan
Write-Host "==================================================" -ForegroundColor Cyan