현재 제약
근거 접근성
경고
실사한 네 구현 저장소는 비공개다. 아래 검사는 로컬 실행 결과이며, 저장소 접근 권한이 없는 외부 검토자가 재현할 수 있는 공개 증거는 아니다.
통과한 검사가 증명하지 않는 것
| 결과 | 증명하지 않는 것 |
|---|---|
daejang-jit-engine test 통과 | production RPC 동작 또는 공개 가능한 end-to-end replay |
schema make check 통과 | Event, valuation, tax, report runtime 동작 |
daejang-db 검사 통과 | integration test DB URL을 설정하지 않은 live PostgreSQL integration |
| 문서 CI 통과 | planned로 표시한 downstream domain engine의 정확성 |
Runtime gap
- Production에 연결된 거래소 adapter가 검증되지 않았다. Standalone parser 작업은 공통 extraction 계약, persistence, fixture, CI까지 도달하기 전에는 supporting evidence일 뿐이다.
- Event, Posting, Valuation, provenance lot 계산에는 schema 또는 저장 계약이 있지만 domain runtime은 없다.
- 일반
LotRun은 목표resident × tax_year × tax_asset_idinventory나 provisional/final run mode를 표현하지 않는다. ReportModel, report/Evidence Pack generator, publication 전용 store가 없다.- GIWA contract, schema UID, transaction, Explorer 증거가 없다.
end-to-end Golden Path는 아직 계획이다: evidence → Observation → Event → Posting → Valuation → KR Tax Inventory → Report.
알려진 schema gap
- 현재
LotRun.scope에는assetIds만 있고 typed 한국 세무 inventory scope와 provisional/final run mode가 없다. #EvidenceManifestData는 publication evidence와 closure를 설명하지만, 표시된 각 숫자를 Event, Posting, Valuation, tax-inventory ID에 연결하는 typed report-line model은 없다.#BlockEventKind는 현재BEACON_WITHDRAWAL만 다룬다. 그 밖의 transaction 없는 protocol event에는 additive kind와 fixture가 필요하다.- Artifact retention class와
EVICTED는 모델링되어 있지만 v1 구현에는 일반 evidence를 위한 자동 eviction worker가 의도적으로 없다.
다음 주장에 필요한 근거
| 필요한 근거 | 가능해지는 주장 |
|---|---|
| 공개 source snapshot 또는 검토자 접근 | 외부에서 확인 가능한 구현 주장 |
| 실제 RPC fixture와 재현 가능한 JIT → schema → PostgreSQL run | Mock을 넘어선 EVM evidence 경로 |
| 완전한 extraction outcome을 가진 production 거래소 fixture | 거래소 ingestion |
| 6개 Event/Posting MVP fixture | Interpretation runtime |
| Missing·conflict case를 포함한 exact-ratio price/FX fixture | Valuation runtime |
합산 연간 총평균 fixture와 typed TaxInventoryRun | 한국 세무 inventory |
| ReportModel, publication store, 정상/변조 manifest test | Report와 Evidence Pack |
| 배포 contract와 정상/변조 외부 검증 | GIWA integrity |
문서 검증
CI는 Node 22에서 dependency 설치, TypeScript 검사, 두 locale build, /docs/ canonical path assertion, admonition rendering 검사를 실행한다. Dependency audit 결과는 기록하되, 현재 advisory가 사용 가능한 repository-level fix가 없는 upstream build-time dependency이므로 문서 build를 차단하지 않는다.