24주차 코드 뒤풀이: exact test Gate부터 데모·리뷰·트랙·릴리스까지

{"selectors":43,"classes":{"com.example.financialcore.account.AccountJpaMappingTest":1,"com.example.financialcore.account.AccountServiceTest":1,"com.example.financialcore.account.AccountTest":5,"com.example.financialcore.account.api.AccountControllerHappyPathTest":1,"com.example.financialcore.account.api.AccountControllerPersistenceIT":1,"com.example.financialcore.account.api.AccountControllerTest":4,"com.example.financialcore.account.api.CreateAccountRequestValidationTest":1,"com.example.financialcore.account.ConcurrentWithdraw20IT":1,"com.example.financialcore.account.LostUpdateBaselineIT":2,"com.example.financialcore.account.OpeningIntegrationTest":1,"com.example.financialcore.account.OptimisticAccountIT":1,"com.example.financialcore.api.ApiExceptionHandlerTest":1,"com.example.financialcore.api.RequestIdFilterTest":2,"com.example.financialcore.ApplicationContextTest":1,"com.example.financialcore.audit.AuditPropagationIT":1,"com.example.financialcore.ConcurrencyHarnessTest":4,"com.example.financialcore.CoreSchemaIT":1,"com.example.financialcore.idempotency.AtomicClaim50IT":2,"com.example.financialcore.idempotency.IdempotencySchemaIT":1,"com.example.financialcore.idempotency.RequestHasherTest":2,"com.example.financialcore.ledger.LedgerQueryIT":2,"com.example.financialcore.ledger.LedgerQueryLimitTest":1,"com.example.financialcore.security.CloudFailClosedSecurityIT":1,"com.example.financialcore.security.MaskingTest":2,"com.example.financialcore.security.ObjectAuthorizationIT":2,"com.example.financialcore.security.SecurityStatusContractTest":1,"com.example.financialcore.transfer.api.TransferControllerHappyPathTest":1,"com.example.financialcore.transfer.api.TransferControllerReplayTest":1,"com.example.financialcore.transfer.api.TransferControllerTest":4,"com.example.financialcore.transfer.api.TransferRequestValidationTest":1,"com.example.financialcore.transfer.SortedLockTransferIT":1,"com.example.financialcore.transfer.TransactionPropagationIT":1,"com.example.financialcore.transfer.TransactionProxyIT":1,"com.example.financialcore.transfer.TransferBalanceIT":1,"com.example.financialcore.transfer.TransferFailurePointIT":2,"com.example.financialcore.transfer.TransferIdempotencyIT":1,"com.example.financialcore.transfer.TransferIntegrationTest":9}}

// W13_W24_LEARNER_CORE_V1_GATE
// Exact union of every W5-W12 staged selector plus six production W19/W20 contracts.
tasks.register('coreV1Gate', Test) {
    group = 'verification'
    description = 'Exact progressive core V1 release gate; no final-reference-only tests.'
    testClassesDirs = sourceSets.test.output.classesDirs
    classpath = sourceSets.test.runtimeClasspath
    useJUnitPlatform()
    filter {
        failOnNoMatchingTests = true
        includeTestsMatching 'com.example.financialcore.ApplicationContextTest'
        includeTestsMatching 'com.example.financialcore.ConcurrencyHarnessTest'

        includeTestsMatching 'com.example.financialcore.ConcurrencyHarnessTest.fixed_pool_bounds_observed_activity_and_accounts_for_all_tasks'
        includeTestsMatching 'com.example.financialcore.ConcurrencyHarnessTest.ready_timeout_is_a_failure_and_never_a_green_run'
        includeTestsMatching 'com.example.financialcore.CoreSchemaIT'
        includeTestsMatching 'com.example.financialcore.account.AccountJpaMappingTest'
        includeTestsMatching 'com.example.financialcore.account.AccountServiceTest'
        includeTestsMatching 'com.example.financialcore.account.AccountTest'
        includeTestsMatching 'com.example.financialcore.account.ConcurrentWithdraw20IT'
        includeTestsMatching 'com.example.financialcore.account.LostUpdateBaselineIT'
        includeTestsMatching 'com.example.financialcore.account.LostUpdateBaselineIT.production_pessimistic_lock_path_commits_twice_and_preserves_both_updates'
        includeTestsMatching 'com.example.financialcore.account.LostUpdateBaselineIT.test_only_versionless_unconditional_updates_commit_twice_and_lose_one_update'
        includeTestsMatching 'com.example.financialcore.account.OpeningIntegrationTest'
        includeTestsMatching 'com.example.financialcore.account.OptimisticAccountIT'

        includeTestsMatching 'com.example.financialcore.account.api.AccountControllerHappyPathTest'
        includeTestsMatching 'com.example.financialcore.account.api.AccountControllerPersistenceIT'
        includeTestsMatching 'com.example.financialcore.account.api.AccountControllerTest'
        includeTestsMatching 'com.example.financialcore.account.api.CreateAccountRequestValidationTest'
        includeTestsMatching 'com.example.financialcore.api.ApiExceptionHandlerTest'
        includeTestsMatching 'com.example.financialcore.api.RequestIdFilterTest'
        includeTestsMatching 'com.example.financialcore.audit.AuditPropagationIT'
        includeTestsMatching 'com.example.financialcore.idempotency.AtomicClaim50IT'
        includeTestsMatching 'com.example.financialcore.idempotency.IdempotencySchemaIT'
        includeTestsMatching 'com.example.financialcore.idempotency.RequestHasherTest'
        includeTestsMatching 'com.example.financialcore.ledger.LedgerQueryIT'
        includeTestsMatching 'com.example.financialcore.ledger.LedgerQueryIT.keysetPagesAreStableAndDoNotRepeatTheCursorRow'

        includeTestsMatching 'com.example.financialcore.ledger.LedgerQueryIT.reconciliationReturnsZeroThenDetectsOneInjectedMismatch'
        includeTestsMatching 'com.example.financialcore.ledger.LedgerQueryLimitTest'
        includeTestsMatching 'com.example.financialcore.security.CloudFailClosedSecurityIT'
        includeTestsMatching 'com.example.financialcore.security.MaskingTest'
        includeTestsMatching 'com.example.financialcore.security.ObjectAuthorizationIT'
        includeTestsMatching 'com.example.financialcore.security.SecurityStatusContractTest'
        includeTestsMatching 'com.example.financialcore.transfer.SortedLockTransferIT'
        includeTestsMatching 'com.example.financialcore.transfer.TransactionPropagationIT'
        includeTestsMatching 'com.example.financialcore.transfer.TransactionProxyIT'
        includeTestsMatching 'com.example.financialcore.transfer.TransferBalanceIT'
        includeTestsMatching 'com.example.financialcore.transfer.TransferFailurePointIT'
        includeTestsMatching 'com.example.financialcore.transfer.TransferIdempotencyIT'

        includeTestsMatching 'com.example.financialcore.transfer.TransferIntegrationTest'
        includeTestsMatching 'com.example.financialcore.transfer.api.TransferControllerHappyPathTest'
        includeTestsMatching 'com.example.financialcore.transfer.api.TransferControllerReplayTest'
        includeTestsMatching 'com.example.financialcore.transfer.api.TransferControllerTest'
        includeTestsMatching 'com.example.financialcore.transfer.api.TransferRequestValidationTest'
    }
}

param(
  [Parameter(Mandatory=$true)][string]$ProjectRoot,
  [Parameter(Mandatory=$true)][string]$EvidencePath,
  [string]$ExpectedPath = ''
)

$ErrorActionPreference = 'Stop'
$reference = Split-Path -Parent $PSScriptRoot
$project = (Resolve-Path -LiteralPath $ProjectRoot).Path
if ([string]::IsNullOrWhiteSpace($ExpectedPath)) {
  $ExpectedPath = Join-Path $reference 'learning_stages\w24\overlay\core-v1-expected.json'
}

$contract = Get-Content -LiteralPath $ExpectedPath -Raw | ConvertFrom-Json
$expected = @($contract.classes.psobject.Properties.Name | Sort-Object)
Push-Location $project
try {
  & .\gradlew.bat clean coreV1Gate --no-daemon
  if ($LASTEXITCODE -ne 0) { throw "coreV1Gate native exit=$LASTEXITCODE" }

  $resultDirectory = Join-Path $project 'build\test-results\coreV1Gate'
  $xmlFiles = @(Get-ChildItem -LiteralPath $resultDirectory -Filter 'TEST-*.xml' -File)
  if ($xmlFiles.Count -eq 0) { throw 'coreV1Gate produced no XML test result' }

  $rows = foreach ($file in $xmlFiles) {

    [xml]$xml = Get-Content -LiteralPath $file.FullName -Raw
    [pscustomobject]@{
      class = [string]$xml.testsuite.name
      tests = [int]$xml.testsuite.tests
      failures = [int]$xml.testsuite.failures
      errors = [int]$xml.testsuite.errors
      skipped = [int]$xml.testsuite.skipped
    }
  }
  $actual = @($rows.class | Sort-Object -Unique)
  $missing = @($expected | Where-Object { $_ -notin $actual })
  $unexpected = @($actual | Where-Object { $_ -notin $expected })

  if ($missing.Count -gt 0 -or $unexpected.Count -gt 0) {
    throw "class inventory mismatch; missing=$($missing -join ','); unexpected=$($unexpected -join ',')"
  }
  $tests = ($rows | Measure-Object tests -Sum).Sum
  $failures = ($rows | Measure-Object failures -Sum).Sum
  $errors = ($rows | Measure-Object errors -Sum).Sum
  $skipped = ($rows | Measure-Object skipped -Sum).Sum
  $wrongCounts = @($rows | Where-Object { $_.tests -ne [int]$contract.classes.psobject.Properties[$_.class].Value })
  if ($actual.Count -ne 37 -or $tests -ne 66 -or $wrongCounts.Count -gt 0 -or $failures -ne 0 -or $errors -ne 0 -or $skipped -ne 0) {
    throw "test summary is not Green: tests=$tests failures=$failures errors=$errors skipped=$skipped"
  }

  $summary = @(
    'CORE_V1_GATE_GREEN',
    "classes=$($actual.Count)",
    "tests=$tests",
    "failures=$failures",
    "errors=$errors",
    "skipped=$skipped"
  )
  $summary
  $parent = Split-Path -Parent $EvidencePath
  if (-not [string]::IsNullOrWhiteSpace($parent)) {
    New-Item -ItemType Directory -Force -Path $parent | Out-Null

  }
  $summary | Set-Content -LiteralPath $EvidencePath -Encoding utf8
} finally {
  Pop-Location
}

# W24 PDF p789에서 제공한 당일 Gate를 읽기 좋게 정리한 학습용 예시다.
# packaged reference source가 아니며, 실제 Gradle/JUnit 실행 결과도 아니다.
$PRIMARY_PRODUCER = 1
$Artifact = Join-Path $LearnerRoot 'evidence\w24\test-inventory.md'
$Verifier = Join-Path $ReferenceRoot 'scripts\verify-core-v1-gate.ps1'
$GateText = Join-Path $LearnerRoot 'evidence\w24\core-v1-gate.txt'

& powershell.exe -NoProfile -ExecutionPolicy Bypass -File $Verifier `
  -ProjectRoot $LearnerRoot -EvidencePath $GateText
if ($LASTEXITCODE -ne 0) {
  throw "W24D1 core verifier native exit=$LASTEXITCODE"
}

$ExpectedPath = Join-Path $ReferenceRoot 'learning_stages\w24\overlay\core-v1-expected.json'
$Expected = Get-Content -Raw -LiteralPath $ExpectedPath | ConvertFrom-Json
$ResultDir = Join-Path $LearnerRoot 'build\test-results\coreV1Gate'
$Rows = @(Get-ChildItem -LiteralPath $ResultDir -Filter 'TEST-*.xml' -File | ForEach-Object {
  [xml]$Xml = Get-Content -Raw -LiteralPath $_.FullName
  [pscustomobject]@{
    class = [string]$Xml.testsuite.name
    tests = [int]$Xml.testsuite.tests
    failures = [int]$Xml.testsuite.failures
    errors = [int]$Xml.testsuite.errors
    skipped = [int]$Xml.testsuite.skipped

    xml_sha256 = (Get-FileHash -LiteralPath $_.FullName -Algorithm SHA256).Hash.ToLowerInvariant()
  }
})

$ExpectedNames = @($Expected.classes.psobject.Properties.Name | Sort-Object)
$ActualNames = @($Rows.class | Sort-Object -Unique)
if (Compare-Object $ExpectedNames $ActualNames) {
  throw 'W24D1 actual XML class set differs from canonical expectation'
}
foreach ($Row in $Rows) {
  $ExpectedTests = [int]$Expected.classes.psobject.Properties[$Row.class].Value
  if ($Row.tests -ne $ExpectedTests -or $Row.failures -ne 0 -or $Row.errors -ne 0 -or $Row.skipped -ne 0) {

    throw "W24D1 class/count/status mismatch: $($Row.class)"
  }
}

$Tests = ($Rows | Measure-Object tests -Sum).Sum
$Failures = ($Rows | Measure-Object failures -Sum).Sum
$Errors = ($Rows | Measure-Object errors -Sum).Sum
$Skipped = ($Rows | Measure-Object skipped -Sum).Sum
if ($Rows.Count -ne 37 -or $Tests -ne 66 -or $Failures -ne 0 -or $Errors -ne 0 -or $Skipped -ne 0) {
  throw "W24D1 actual aggregate mismatch classes=$($Rows.Count) tests=$Tests"
}

$Gate = Get-Content -Raw -LiteralPath $GateText
foreach ($Token in @('CORE_V1_GATE_GREEN', 'classes=37', 'tests=66', 'failures=0', 'errors=0', 'skipped=0')) {
  if ($Gate -cnotmatch [regex]::Escape($Token)) {
    throw "W24D1 gate marker missing: $Token"
  }
}

$ExpectedHash = (Get-FileHash -LiteralPath $ExpectedPath -Algorithm SHA256).Hash.ToLowerInvariant()
$GateHash = (Get-FileHash -LiteralPath $GateText -Algorithm SHA256).Hash.ToLowerInvariant()
$Lines = @(
  '# W24 test inventory',
  'status: GREEN',

  'source: actual coreV1Gate XML',
  "classes: $($Rows.Count)",
  "tests: $Tests",
  "failures: $Failures",
  "errors: $Errors",
  "skipped: $Skipped",
  "expected_sha256: $ExpectedHash",
  "gate_sha256: $GateHash",
  '',
  '| class | tests | failures | errors | skipped | xml_sha256 |',
  '|---|---:|---:|---:|---:|---|'
)

$Lines += @($Rows | Sort-Object class | ForEach-Object {
  "| $($_.class) | $($_.tests) | $($_.failures) | $($_.errors) | $($_.skipped) | $($_.xml_sha256) |"
})

$Tmp = "$Artifact.tmp"
New-Item -ItemType Directory -Force (Split-Path -Parent $Artifact) | Out-Null
$Lines | Set-Content -Encoding utf8 $Tmp
$Saved = Get-Content -Raw -LiteralPath $Tmp
foreach ($Token in @('source: actual coreV1Gate XML', 'classes: 37', 'tests: 66', 'failures: 0', 'errors: 0', 'skipped: 0', "expected_sha256: $ExpectedHash", "gate_sha256: $GateHash")) {
  if ($Saved -cnotmatch [regex]::Escape($Token)) {
    throw "W24D1 inventory marker missing: $Token"
  }

}
Move-Item -Force -LiteralPath $Tmp -Destination $Artifact
if (!(Test-Path -LiteralPath $Artifact -PathType Leaf)) {
  throw 'W24D1 atomic inventory move failed'
}
$Hash = (Get-FileHash -LiteralPath $Artifact -Algorithm SHA256).Hash.ToLowerInvariant()
"W24D1_PRIMARY_EVIDENCE_GREEN classes=37 tests=66 failures=0 errors=0 skipped=0 actual_xml=37 sha256=$Hash"