8180ee8c71
OpenPay (1 crate, 2487 LOC, 33 tests)
op-fraud-graph Graph-based fraud detection. EntityKind (card/email/
device/IP/address/phone/BIN+last4/account) with
canonicalization + hashed EntityKey + billing↔shipping
mismatch detection. Adjacency-list FraudGraph with
idempotent upsert + edge-merge. Double-hashing Bloom
filter (capacity+FPR-sized). Union-find connected
components. PageRank with dangling-sink handling.
Louvain community detection. Shared-instrument hub
rings. Sliding ring-buffer velocity counters. Synthetic
identity heuristics (freshness + heavy-use + mail-drop).
Structuring / smurfing / mule-chain DFS. EntityRisk +
TransactionRisk + RiskBand combiner.
Smart Byte (1 crate, ~1844 LOC, 44 tests)
smart-byte-ilp Interledger Protocol v4. OER codec (length-determinant,
var-octet-string, BE u32/u64). Prepare/Fulfill/Reject
packet roundtrip with all 19 IL-RFC-27 reject codes.
SHA-256 Condition + Fulfillment with constant-time
verify. ILP address validator (7 schemes, 1-128 char
segments, 1023-byte cap, segment-aligned prefix match).
STREAM (15 frame types). BTP. SPSP payment-pointer
resolver. Open Payments API. Longest-prefix routing
Connector with fixed-point quote conversion + balance +
rate-limit checks.
EOC (1 crate, 1921 LOC, 36 tests)
eoc-quantize Quantization primitives. int8 (symmetric/asymmetric
with zero-inclusion fix), int4 (GPTQ + AWQ group quant),
int2 (BitNet), fp8 (E4M3/E5M2), nf4 (QLoRA). GGUF v3
header parse. safetensors read sketch. Calibration
datasets + per-channel scales. KV-cache quant. Energy
tradeoff curves (joules-per-token across schemes).
Co-Authored-By: Claude Opus 4.7 <[email protected]>
37 lines
1,007 B
Rust
37 lines
1,007 B
Rust
//! Sanity check: the int8 joules-per-token estimate must be strictly
|
|
//! lower than the fp16 estimate (and well below fp32).
|
|
|
|
use eoc_quantize::energy_tradeoff::EnergyModel;
|
|
use eoc_quantize::scheme::Numeric;
|
|
|
|
#[test]
|
|
fn int8_cheaper_than_fp16() {
|
|
let model = EnergyModel::default();
|
|
let j_int8 = model.microjoules_per_token(Numeric::Int8);
|
|
let j_fp16 = model.microjoules_per_token(Numeric::Fp16);
|
|
assert!(
|
|
j_int8 < j_fp16,
|
|
"int8={j_int8} should be less than fp16={j_fp16}"
|
|
);
|
|
}
|
|
|
|
#[test]
|
|
fn fp32_baseline_is_highest() {
|
|
let model = EnergyModel::default();
|
|
let j_fp32 = model.microjoules_per_token(Numeric::Fp32);
|
|
for n in [
|
|
Numeric::Fp16,
|
|
Numeric::Bf16,
|
|
Numeric::Fp8E4m3,
|
|
Numeric::Fp8E5m2,
|
|
Numeric::Int8,
|
|
Numeric::Int4,
|
|
Numeric::Nf4,
|
|
Numeric::Int2,
|
|
] {
|
|
assert!(
|
|
model.microjoules_per_token(n) < j_fp32,
|
|
"{n:?} should be cheaper than fp32"
|
|
);
|
|
}
|
|
}
|