refactor: make sdd-lab review-driven (WealthLedger/specs#66)
Specs security / security (push) Successful in 8s
Specs verify / verify (push) Successful in 10s

Replace executable schema checks with explicit review-driven readiness, add a requirement-writing profile, and incorporate review clarifications for source traceability and comparative validation.
This commit was merged in pull request #68.
This commit is contained in:
2026-10-30 13:35:39 +03:00
parent a2d2df3b5a
commit b9ec11f5ba
19 changed files with 982 additions and 851 deletions
@@ -1,28 +1,28 @@
# Data Mapping
<!-- guide: Field-level transformation between systems. Large mappings go to a
machine-checkable file in contracts/ and are referenced here. Remove guides. -->
<!-- Преобразование данных между системами по полям. Большой mapping — машиночитаемый
файл в contracts/ со ссылкой отсюда. -->
## Source and Target
| Mapping | Source (owner) | Target (owner) | Direction | Trigger |
| Mapping | Источник (владелец) | Цель (владелец) | Направление | Trigger |
| --- | --- | --- | --- | --- |
## Field Mapping
| Target field | Source field(s) | Transformation | Unit / currency / scale | Nullability | Default | Validation | On failure |
| Поле цели | Поля источника | Преобразование | Единица / валюта / scale | Nullability | Default | Валидация | При ошибке |
| --- | --- | --- | --- | --- | --- | --- | --- |
## Invariants
<!-- guide: Conservation rules that must hold after mapping, e.g. "total = sum of
positions + cash; each money unit counted once", sign conventions, rounding
point. Each invariant references the spec requirement it protects. -->
<!-- Правила сохранения после mapping, например «итог = сумма позиций + кэш; каждая
денежная единица учтена один раз», знаки, точка округления. Каждый инвариант
ссылается на защищаемый Requirement. -->
## Double-counting and Classification Risks
<!-- guide: Every source record type that could fall into two target aggregates,
and the rule that assigns it to exactly one. -->
<!-- Каждый тип исходной записи, который может попасть в два агрегата, и правило,
относящее его ровно к одному. -->
## Transformation Errors