Cesar Rodas ee2e0e2b12 Introduce Kuatia, an append-only, auditable multi-asset ledger		2 주 전
..
src	ee2e0e2b12 Introduce Kuatia, an append-only, auditable multi-asset ledger	3 일 전
Cargo.toml	ee2e0e2b12 Introduce Kuatia, an append-only, auditable multi-asset ledger	3 일 전
README.md	ee2e0e2b12 Introduce Kuatia, an append-only, auditable multi-asset ledger	3 일 전

kuatia-core

Pure, sans-IO decision logic for the kuatia ledger.

No async runtime, no IO, near-zero dependencies. Deterministic and testable with golden vectors. Depends only on kuatia-types and sha2.

Modules

Module	Purpose
`validate`	`validate_and_plan()` — single entry point for all invariant checks
`hash`	Double-SHA256, content-addressed transfer IDs, account snapshot hashing
`posting_selection`	Greedy largest-first posting selection for the intent layer

validate_and_plan() checks, in order:

Non-empty transfer
No duplicate consumed postings
All consumed postings exist
All consumed postings are Active or PendingInactive
All accounts exist, not frozen, not closed
Account snapshot pinning (OCC)
Book policy (if a book is loaded): referenced assets/accounts/flags allowed
Per-asset conservation: sum(consumed) == sum(created)
Negative postings forbidden only on NoOverdraft (allowed on overdraft/system/external)
Account policy enforcement (overdraft limits)

Returns a Plan on success, or a ValidationError describing the violation.