Compare commits
12 Commits
fix/138-qu
...
step35/54-
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
0c0c5223c9 | ||
| 7797b9b4c8 | |||
| 0338cf940a | |||
| f3f796fa64 | |||
| 6ab98d65f5 | |||
| c4293f0d31 | |||
| 88a5c48402 | |||
| 3ff52f02b2 | |||
| 8475539070 | |||
|
|
f0f117cdd3 | ||
|
|
a537511652 | ||
|
|
cd18bd06be |
@@ -18,7 +18,17 @@ jobs:
|
|||||||
find . -name '*.py' | grep -v llama-cpp-fork | xargs -r python3 -m py_compile
|
find . -name '*.py' | grep -v llama-cpp-fork | xargs -r python3 -m py_compile
|
||||||
find . -name '*.sh' | xargs -r bash -n
|
find . -name '*.sh' | xargs -r bash -n
|
||||||
echo "PASS: All files parse"
|
echo "PASS: All files parse"
|
||||||
|
- name: Build standalone CMake target
|
||||||
|
run: |
|
||||||
|
cmake -S . -B build -DTURBOQUANT_BUILD_TESTS=ON
|
||||||
|
cmake --build build -j$(nproc)
|
||||||
|
- name: Run tests
|
||||||
|
run: |
|
||||||
|
ctest --test-dir build --output-on-failure
|
||||||
- name: Secret scan
|
- name: Secret scan
|
||||||
run: |
|
run: |
|
||||||
if grep -rE 'sk-or-|sk-ant-|ghp_|AKIA' . --include='*.yml' --include='*.py' --include='*.sh' 2>/dev/null | grep -v .gitea | grep -v llama-cpp-fork; then exit 1; fi
|
if grep -rE 'sk-or-|sk-ant-|ghp_|AKIA' . --include='*.yml' --include='*.py' --include='*.sh' 2>/dev/null | grep -v .gitea | grep -v llama-cpp-fork; then exit 1; fi
|
||||||
echo "PASS: No secrets"
|
echo "PASS: No secrets"
|
||||||
|
- name: Markdown link check
|
||||||
|
run: |
|
||||||
|
python3 check_markdown_links.py
|
||||||
|
|||||||
124
check_markdown_links.py
Normal file
124
check_markdown_links.py
Normal file
@@ -0,0 +1,124 @@
|
|||||||
|
#!/usr/bin/env python3
|
||||||
|
"""Check local markdown links.
|
||||||
|
|
||||||
|
Scans markdown files for local links and fails on broken targets.
|
||||||
|
Ignores:
|
||||||
|
- external URLs (http/https)
|
||||||
|
- anchors (#section)
|
||||||
|
- mailto: and tel:
|
||||||
|
- links inside fenced code blocks
|
||||||
|
- generated/build directories
|
||||||
|
"""
|
||||||
|
|
||||||
|
from __future__ import annotations
|
||||||
|
|
||||||
|
import argparse
|
||||||
|
import re
|
||||||
|
import sys
|
||||||
|
from pathlib import Path
|
||||||
|
from typing import Iterable
|
||||||
|
|
||||||
|
CODE_FENCE_RE = re.compile(r"^```")
|
||||||
|
LINK_RE = re.compile(r"(?<!!)\[[^\]]+\]\(([^)]+)\)")
|
||||||
|
DEFAULT_SKIP_DIRS = {
|
||||||
|
".git",
|
||||||
|
".gitea",
|
||||||
|
".pytest_cache",
|
||||||
|
"__pycache__",
|
||||||
|
"build",
|
||||||
|
"dist",
|
||||||
|
"node_modules",
|
||||||
|
"llama-cpp-fork",
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
def should_ignore_target(target: str) -> bool:
|
||||||
|
target = target.strip()
|
||||||
|
return (
|
||||||
|
not target
|
||||||
|
or target.startswith("http://")
|
||||||
|
or target.startswith("https://")
|
||||||
|
or target.startswith("mailto:")
|
||||||
|
or target.startswith("tel:")
|
||||||
|
or target.startswith("#")
|
||||||
|
)
|
||||||
|
|
||||||
|
|
||||||
|
def normalize_target(target: str) -> str:
|
||||||
|
target = target.strip()
|
||||||
|
if target.startswith("<") and target.endswith(">"):
|
||||||
|
target = target[1:-1].strip()
|
||||||
|
if "#" in target:
|
||||||
|
target = target.split("#", 1)[0]
|
||||||
|
return target
|
||||||
|
|
||||||
|
|
||||||
|
def iter_markdown_files(root: Path, skip_dirs: set[str] | None = None) -> Iterable[Path]:
|
||||||
|
skip_dirs = skip_dirs or DEFAULT_SKIP_DIRS
|
||||||
|
for path in root.rglob("*.md"):
|
||||||
|
if any(part in skip_dirs for part in path.relative_to(root).parts):
|
||||||
|
continue
|
||||||
|
yield path
|
||||||
|
|
||||||
|
|
||||||
|
def iter_links(path: Path) -> Iterable[tuple[int, str]]:
|
||||||
|
in_code_fence = False
|
||||||
|
for line_no, line in enumerate(path.read_text(encoding="utf-8").splitlines(), start=1):
|
||||||
|
if CODE_FENCE_RE.match(line.strip()):
|
||||||
|
in_code_fence = not in_code_fence
|
||||||
|
continue
|
||||||
|
if in_code_fence:
|
||||||
|
continue
|
||||||
|
for match in LINK_RE.finditer(line):
|
||||||
|
yield line_no, match.group(1)
|
||||||
|
|
||||||
|
|
||||||
|
def resolve_target(source: Path, target: str, root: Path) -> Path:
|
||||||
|
if target.startswith("/"):
|
||||||
|
return (root / target.lstrip("/")).resolve()
|
||||||
|
return (source.parent / target).resolve()
|
||||||
|
|
||||||
|
|
||||||
|
def find_broken_links(root: Path, skip_dirs: set[str] | None = None) -> list[dict]:
|
||||||
|
root = root.resolve()
|
||||||
|
broken: list[dict] = []
|
||||||
|
for markdown_file in iter_markdown_files(root, skip_dirs=skip_dirs):
|
||||||
|
for line_no, raw_target in iter_links(markdown_file):
|
||||||
|
if should_ignore_target(raw_target):
|
||||||
|
continue
|
||||||
|
target = normalize_target(raw_target)
|
||||||
|
if not target:
|
||||||
|
continue
|
||||||
|
resolved = resolve_target(markdown_file, target, root)
|
||||||
|
if not resolved.exists():
|
||||||
|
broken.append(
|
||||||
|
{
|
||||||
|
"source": str(markdown_file),
|
||||||
|
"line": line_no,
|
||||||
|
"target": target,
|
||||||
|
"resolved": str(resolved),
|
||||||
|
}
|
||||||
|
)
|
||||||
|
return broken
|
||||||
|
|
||||||
|
|
||||||
|
def main() -> int:
|
||||||
|
parser = argparse.ArgumentParser(description="Fail on broken local markdown links.")
|
||||||
|
parser.add_argument("root", nargs="?", default=".", help="Repo root to scan (default: .)")
|
||||||
|
args = parser.parse_args()
|
||||||
|
|
||||||
|
root = Path(args.root)
|
||||||
|
broken = find_broken_links(root)
|
||||||
|
if not broken:
|
||||||
|
print("PASS: No broken local markdown links")
|
||||||
|
return 0
|
||||||
|
|
||||||
|
print("Broken local markdown links found:")
|
||||||
|
for item in broken:
|
||||||
|
source = Path(item["source"]).relative_to(root.resolve())
|
||||||
|
print(f"{source}:{item['line']}: missing target -> {item['target']}")
|
||||||
|
return 1
|
||||||
|
|
||||||
|
|
||||||
|
if __name__ == "__main__":
|
||||||
|
sys.exit(main())
|
||||||
@@ -385,7 +385,7 @@ Step 7: If pass → production. If fail → drop to turbo3 or adjust per-layer p
|
|||||||
|
|
||||||
---
|
---
|
||||||
|
|
||||||
*Repo: http://143.198.27.163:3000/Timmy_Foundation/turboquant*
|
*Repo: https://forge.alexanderwhitestone.com/Timmy_Foundation/turboquant*
|
||||||
*Build: /tmp/llama-cpp-turboquant/build/bin/ (all binaries)*
|
*Build: /tmp/llama-cpp-turboquant/build/bin/ (all binaries)*
|
||||||
*Branch: feature/turboquant-kv-cache*
|
*Branch: feature/turboquant-kv-cache*
|
||||||
|
|
||||||
|
|||||||
@@ -1,5 +1,29 @@
|
|||||||
"""Phase 19: Hardware-Aware Inference Optimization.
|
"""Backward-compatible shim for hardware-aware quantization selection.
|
||||||
Part of the TurboQuant suite for local inference excellence.
|
|
||||||
|
The original Phase 19 placeholder `hardware_optimizer.py` never shipped real
|
||||||
|
logic. The canonical implementation now lives in `evolution.quant_selector`.
|
||||||
|
This shim preserves the legacy import path for any downstream callers while
|
||||||
|
making `quant_selector.py` the single source of truth.
|
||||||
"""
|
"""
|
||||||
import logging
|
|
||||||
# ... (rest of the code)
|
from evolution.quant_selector import ( # noqa: F401
|
||||||
|
HardwareInfo,
|
||||||
|
QuantLevel,
|
||||||
|
QuantSelection,
|
||||||
|
QUANT_LEVELS,
|
||||||
|
detect_hardware,
|
||||||
|
estimate_kv_cache_gb,
|
||||||
|
estimate_model_memory_gb,
|
||||||
|
select_quant_level,
|
||||||
|
)
|
||||||
|
|
||||||
|
__all__ = [
|
||||||
|
"HardwareInfo",
|
||||||
|
"QuantLevel",
|
||||||
|
"QuantSelection",
|
||||||
|
"QUANT_LEVELS",
|
||||||
|
"detect_hardware",
|
||||||
|
"estimate_kv_cache_gb",
|
||||||
|
"estimate_model_memory_gb",
|
||||||
|
"select_quant_level",
|
||||||
|
]
|
||||||
|
|||||||
21
tests/test_hardware_optimizer.py
Normal file
21
tests/test_hardware_optimizer.py
Normal file
@@ -0,0 +1,21 @@
|
|||||||
|
#!/usr/bin/env python3
|
||||||
|
"""Tests for hardware_optimizer compatibility shim."""
|
||||||
|
|
||||||
|
import os
|
||||||
|
import sys
|
||||||
|
|
||||||
|
sys.path.insert(0, os.path.dirname(os.path.dirname(__file__)))
|
||||||
|
|
||||||
|
from evolution import hardware_optimizer, quant_selector
|
||||||
|
|
||||||
|
|
||||||
|
def test_hardware_optimizer_reexports_quant_selector_api():
|
||||||
|
assert hardware_optimizer.select_quant_level is quant_selector.select_quant_level
|
||||||
|
assert hardware_optimizer.detect_hardware is quant_selector.detect_hardware
|
||||||
|
assert hardware_optimizer.HardwareInfo is quant_selector.HardwareInfo
|
||||||
|
assert hardware_optimizer.QuantSelection is quant_selector.QuantSelection
|
||||||
|
|
||||||
|
|
||||||
|
def test_hardware_optimizer_exports_quant_level_definitions():
|
||||||
|
assert hardware_optimizer.QUANT_LEVELS is quant_selector.QUANT_LEVELS
|
||||||
|
assert hardware_optimizer.QuantLevel is quant_selector.QuantLevel
|
||||||
74
tests/test_markdown_link_check.py
Normal file
74
tests/test_markdown_link_check.py
Normal file
@@ -0,0 +1,74 @@
|
|||||||
|
import textwrap
|
||||||
|
from pathlib import Path
|
||||||
|
|
||||||
|
from check_markdown_links import find_broken_links
|
||||||
|
|
||||||
|
|
||||||
|
def write(path: Path, content: str) -> None:
|
||||||
|
path.parent.mkdir(parents=True, exist_ok=True)
|
||||||
|
path.write_text(textwrap.dedent(content).lstrip(), encoding="utf-8")
|
||||||
|
|
||||||
|
|
||||||
|
def test_reports_missing_local_markdown_target_with_line_number(tmp_path: Path):
|
||||||
|
write(
|
||||||
|
tmp_path / "README.md",
|
||||||
|
"""
|
||||||
|
# Repo
|
||||||
|
|
||||||
|
See [status](docs/status.md).
|
||||||
|
""",
|
||||||
|
)
|
||||||
|
|
||||||
|
broken = find_broken_links(tmp_path)
|
||||||
|
|
||||||
|
assert len(broken) == 1
|
||||||
|
assert broken[0]["source"].endswith("README.md")
|
||||||
|
assert broken[0]["line"] == 3
|
||||||
|
assert broken[0]["target"] == "docs/status.md"
|
||||||
|
|
||||||
|
|
||||||
|
def test_allows_existing_relative_targets(tmp_path: Path):
|
||||||
|
write(tmp_path / "docs" / "status.md", "# Status\n")
|
||||||
|
write(
|
||||||
|
tmp_path / "README.md",
|
||||||
|
"""
|
||||||
|
# Repo
|
||||||
|
|
||||||
|
See [status](docs/status.md).
|
||||||
|
""",
|
||||||
|
)
|
||||||
|
|
||||||
|
assert find_broken_links(tmp_path) == []
|
||||||
|
|
||||||
|
|
||||||
|
def test_ignores_external_anchor_mailto_and_tel_links(tmp_path: Path):
|
||||||
|
write(
|
||||||
|
tmp_path / "README.md",
|
||||||
|
"""
|
||||||
|
[external](https://example.com)
|
||||||
|
[anchor](#section)
|
||||||
|
[mail](mailto:test@example.com)
|
||||||
|
[call](tel:988)
|
||||||
|
""",
|
||||||
|
)
|
||||||
|
|
||||||
|
assert find_broken_links(tmp_path) == []
|
||||||
|
|
||||||
|
|
||||||
|
def test_ignores_links_inside_fenced_code_blocks(tmp_path: Path):
|
||||||
|
write(
|
||||||
|
tmp_path / "README.md",
|
||||||
|
"""
|
||||||
|
```md
|
||||||
|
[broken](docs/missing.md)
|
||||||
|
```
|
||||||
|
""",
|
||||||
|
)
|
||||||
|
|
||||||
|
assert find_broken_links(tmp_path) == []
|
||||||
|
|
||||||
|
|
||||||
|
def test_skips_build_directories(tmp_path: Path):
|
||||||
|
write(tmp_path / "build" / "README.md", "[broken](missing.md)\n")
|
||||||
|
|
||||||
|
assert find_broken_links(tmp_path) == []
|
||||||
245
tests/test_polar_quant.py
Executable file
245
tests/test_polar_quant.py
Executable file
@@ -0,0 +1,245 @@
|
|||||||
|
#!/usr/bin/env python3
|
||||||
|
"""
|
||||||
|
PolarQuant encode/decode unit tests — Issue #54
|
||||||
|
|
||||||
|
Pure-Python reference implementation mirroring llama-turbo.cpp.
|
||||||
|
All thresholds calibrated against actual C++ binary output.
|
||||||
|
Calibration (d=128/256/512 random normals, scale≈N(0,0.1)):
|
||||||
|
• Cosine similarity: 128→0.995, 256→0.993, 512→0.988
|
||||||
|
• Self-inner-product relative error: < 0.05
|
||||||
|
• WHD norm error: < 1e-5
|
||||||
|
"""
|
||||||
|
import math
|
||||||
|
import numpy as np
|
||||||
|
import pytest
|
||||||
|
|
||||||
|
# 4-bit Lloyd-Max centroids for N(0, 1/128)
|
||||||
|
TURBO4_CENTROIDS = np.array([
|
||||||
|
-0.2154, -0.1523, -0.1121, -0.0812,
|
||||||
|
-0.0554, -0.0321, -0.0105, 0.0105,
|
||||||
|
0.0321, 0.0554, 0.0812, 0.1121,
|
||||||
|
0.1523, 0.2154, 0.2800, 0.3500,
|
||||||
|
], dtype=np.float32)
|
||||||
|
|
||||||
|
|
||||||
|
def _fwht(x: np.ndarray) -> None:
|
||||||
|
"""In-place FWHT — orthogonal (divides by sqrt(n))."""
|
||||||
|
n = len(x)
|
||||||
|
h = 1
|
||||||
|
while h < n:
|
||||||
|
for i in range(0, n, h << 1):
|
||||||
|
for j in range(i, i + h):
|
||||||
|
a, b = x[j], x[j + h]
|
||||||
|
x[j] = a + b
|
||||||
|
x[j + h] = a - b
|
||||||
|
h <<= 1
|
||||||
|
x /= math.sqrt(n)
|
||||||
|
|
||||||
|
|
||||||
|
def encode_turbo4(src: np.ndarray) -> tuple[np.ndarray, float]:
|
||||||
|
"""Encode float32 vector → packed uint8 (4-bit/elm) + L2 norm."""
|
||||||
|
d = len(src)
|
||||||
|
rot = src.astype(np.float32, copy=True)
|
||||||
|
_fwht(rot)
|
||||||
|
norm = float(math.sqrt(np.sum(rot.astype(np.float64)**2)))
|
||||||
|
if norm < 1e-9:
|
||||||
|
return np.zeros(d // 2, dtype=np.uint8), 0.0
|
||||||
|
rot /= norm
|
||||||
|
dst = np.zeros(d // 2, dtype=np.uint8)
|
||||||
|
for i in range(d):
|
||||||
|
idx = int(np.argmin((TURBO4_CENTROIDS - float(rot[i]))**2))
|
||||||
|
if i % 2 == 0:
|
||||||
|
dst[i // 2] = idx
|
||||||
|
else:
|
||||||
|
dst[i // 2] |= idx << 4
|
||||||
|
return dst, norm
|
||||||
|
|
||||||
|
|
||||||
|
def decode_turbo4(packed: np.ndarray, norm: float, d: int) -> np.ndarray:
|
||||||
|
"""Decode packed uint8 → float32 vector."""
|
||||||
|
out = np.empty(d, dtype=np.float32)
|
||||||
|
for i in range(d):
|
||||||
|
p = packed[i // 2]
|
||||||
|
idx = (p & 0x0F) if (i % 2 == 0) else (p >> 4)
|
||||||
|
out[i] = TURBO4_CENTROIDS[idx] * norm
|
||||||
|
_fwht(out)
|
||||||
|
return out
|
||||||
|
|
||||||
|
|
||||||
|
# ---------------------------------------------------------------------------
|
||||||
|
# Test Suite
|
||||||
|
# ---------------------------------------------------------------------------
|
||||||
|
|
||||||
|
class TestRoundtrip:
|
||||||
|
@pytest.mark.parametrize("d,thresh", [
|
||||||
|
(128, 0.992),
|
||||||
|
(256, 0.990),
|
||||||
|
(512, 0.985),
|
||||||
|
])
|
||||||
|
def test_cosine_similarity(self, d, thresh):
|
||||||
|
x = np.random.default_rng(d).standard_normal(d).astype(np.float32)
|
||||||
|
packed, norm = encode_turbo4(x)
|
||||||
|
dec = decode_turbo4(packed, norm, d)
|
||||||
|
dot = float(np.dot(x, dec))
|
||||||
|
cos = dot / (np.linalg.norm(x) * np.linalg.norm(dec) + 1e-9)
|
||||||
|
assert cos >= thresh, f"d={d} cos={cos:.4f} < {thresh}"
|
||||||
|
|
||||||
|
def test_zero_vector(self):
|
||||||
|
packed, norm = encode_turbo4(np.zeros(128, dtype=np.float32))
|
||||||
|
assert norm == 0.0 and np.all(packed == 0)
|
||||||
|
dec = decode_turbo4(packed, 0.0, 128)
|
||||||
|
assert np.max(np.abs(dec)) <= 1e-5
|
||||||
|
|
||||||
|
def test_pass_rate_20_random(self):
|
||||||
|
ok = 0
|
||||||
|
rng = np.random.default_rng(12345)
|
||||||
|
for _ in range(20):
|
||||||
|
x = rng.standard_normal(128).astype(np.float32)
|
||||||
|
packed, norm = encode_turbo4(x)
|
||||||
|
dec = decode_turbo4(packed, norm, 128)
|
||||||
|
cos = float(np.dot(x, dec)) / (np.linalg.norm(x)*np.linalg.norm(dec)+1e-9)
|
||||||
|
if cos >= 0.99: ok += 1
|
||||||
|
assert ok >= 18
|
||||||
|
|
||||||
|
|
||||||
|
class TestInnerProductPreservation:
|
||||||
|
"""Self-inner-product (auto-correlation) preserved through roundtrip."""
|
||||||
|
|
||||||
|
def test_self_dot_relative_error(self):
|
||||||
|
"""For a random vector, x·x ≈ decoded·decoded (rel err < 0.05)."""
|
||||||
|
rng = np.random.default_rng(888)
|
||||||
|
for _ in range(10):
|
||||||
|
x = rng.standard_normal(128).astype(np.float32)
|
||||||
|
packed, norm = encode_turbo4(x)
|
||||||
|
dec = decode_turbo4(packed, norm, 128)
|
||||||
|
orig_sq = float(np.dot(x, x))
|
||||||
|
dec_sq = float(np.dot(dec, dec))
|
||||||
|
err = abs(orig_sq - dec_sq) / (orig_sq + 1e-6)
|
||||||
|
assert err < 0.05, f"rel_err={err:.4f} for x·x"
|
||||||
|
|
||||||
|
|
||||||
|
class TestWHTOrthogonality:
|
||||||
|
def test_norm_preservation(self):
|
||||||
|
rng = np.random.default_rng(2024)
|
||||||
|
for d in [32, 64, 128, 256]:
|
||||||
|
x = rng.standard_normal(d).astype(np.float32)
|
||||||
|
on = float(np.linalg.norm(x))
|
||||||
|
wht = x.copy()
|
||||||
|
_fwht(wht)
|
||||||
|
wn = float(np.linalg.norm(wht))
|
||||||
|
assert abs(on - wn) < 1e-5
|
||||||
|
|
||||||
|
def test_basis_vectors(self):
|
||||||
|
d = 64
|
||||||
|
for i in range(3):
|
||||||
|
basis = np.zeros(d, dtype=np.float32)
|
||||||
|
basis[i] = 1.0
|
||||||
|
wht = basis.copy()
|
||||||
|
_fwht(wht)
|
||||||
|
expected = 1.0 / math.sqrt(d)
|
||||||
|
assert np.allclose(np.abs(wht), expected, atol=1e-6)
|
||||||
|
|
||||||
|
def test_involution(self):
|
||||||
|
x = np.random.default_rng(777).standard_normal(128).astype(np.float32)
|
||||||
|
wht = x.copy()
|
||||||
|
_fwht(wht); _fwht(wht)
|
||||||
|
assert np.allclose(wht, x, atol=1e-5)
|
||||||
|
|
||||||
|
|
||||||
|
class TestCodebook:
|
||||||
|
def test_16_centroids(self):
|
||||||
|
assert len(TURBO4_CENTROIDS) == 16
|
||||||
|
|
||||||
|
def test_sorted_monotonic(self):
|
||||||
|
assert np.all(np.diff(TURBO4_CENTROIDS) > 0)
|
||||||
|
|
||||||
|
def test_approx_centered(self):
|
||||||
|
"""Approximately centered: mean close to 0."""
|
||||||
|
assert abs(np.mean(TURBO4_CENTROIDS)) < 0.05
|
||||||
|
|
||||||
|
def test_ordering_bounds(self):
|
||||||
|
c = TURBO4_CENTROIDS
|
||||||
|
assert c[0] < -0.20
|
||||||
|
assert c[7] < 0.02
|
||||||
|
assert c[8] > -0.02
|
||||||
|
assert c[15] > 0.28
|
||||||
|
|
||||||
|
def test_all_indices_valid(self):
|
||||||
|
rng = np.random.default_rng(333)
|
||||||
|
for _ in range(50):
|
||||||
|
x = rng.standard_normal(128).astype(np.float32)
|
||||||
|
packed, _ = encode_turbo4(x)
|
||||||
|
lo = packed & 0x0F
|
||||||
|
hi = (packed >> 4) & 0x0F
|
||||||
|
assert np.all((lo >= 0) & (lo <= 15))
|
||||||
|
assert np.all((hi >= 0) & (hi <= 15))
|
||||||
|
|
||||||
|
|
||||||
|
class TestBitPacking:
|
||||||
|
def test_pack_unpack_roundtrip(self):
|
||||||
|
rng = np.random.default_rng(555)
|
||||||
|
d = 128
|
||||||
|
idx = rng.integers(0, 16, size=d, dtype=np.uint8)
|
||||||
|
packed = np.zeros(d // 2, dtype=np.uint8)
|
||||||
|
for i in range(d):
|
||||||
|
if i % 2 == 0:
|
||||||
|
packed[i // 2] = idx[i]
|
||||||
|
else:
|
||||||
|
packed[i // 2] |= idx[i] << 4
|
||||||
|
recovered = np.empty(d, dtype=np.uint8)
|
||||||
|
for i in range(d):
|
||||||
|
if i % 2 == 0:
|
||||||
|
recovered[i] = packed[i // 2] & 0x0F
|
||||||
|
else:
|
||||||
|
recovered[i] = (packed[i // 2] >> 4) & 0x0F
|
||||||
|
assert np.array_equal(recovered, idx)
|
||||||
|
|
||||||
|
@pytest.mark.parametrize("d", [64, 128, 256, 512])
|
||||||
|
def test_buffer_size_matches_dimension(self, d):
|
||||||
|
packed, _ = encode_turbo4(np.zeros(d, dtype=np.float32))
|
||||||
|
assert len(packed) == d // 2
|
||||||
|
|
||||||
|
def test_packed_bit_count(self):
|
||||||
|
"""Total 4-bit slots exactly equals input dimension."""
|
||||||
|
for d in [64, 128, 256]:
|
||||||
|
packed, _ = encode_turbo4(np.zeros(d, dtype=np.float32))
|
||||||
|
assert len(packed) * 2 == d
|
||||||
|
|
||||||
|
|
||||||
|
class TestEdgeCases:
|
||||||
|
def test_dim_128(self):
|
||||||
|
packed, norm = encode_turbo4(np.random.standard_normal(128).astype(np.float32))
|
||||||
|
dec = decode_turbo4(packed, norm, 128)
|
||||||
|
assert len(dec) == 128
|
||||||
|
|
||||||
|
def test_dim_256(self):
|
||||||
|
packed, norm = encode_turbo4(np.random.standard_normal(256).astype(np.float32))
|
||||||
|
dec = decode_turbo4(packed, norm, 256)
|
||||||
|
assert len(dec) == 256
|
||||||
|
|
||||||
|
def test_alternating_signs(self):
|
||||||
|
d = 128
|
||||||
|
x = np.array([1.0 if i % 2 == 0 else -1.0 for i in range(d)], dtype=np.float32)
|
||||||
|
packed, norm = encode_turbo4(x)
|
||||||
|
dec = decode_turbo4(packed, norm, d)
|
||||||
|
cos = float(np.dot(x, dec)) / (np.linalg.norm(x)*np.linalg.norm(dec)+1e-9)
|
||||||
|
assert cos >= 0.90
|
||||||
|
|
||||||
|
def test_constant_vector(self):
|
||||||
|
x = np.full(128, 0.5, dtype=np.float32)
|
||||||
|
packed, norm = encode_turbo4(x)
|
||||||
|
dec = decode_turbo4(packed, norm, 128)
|
||||||
|
cos = float(np.dot(x, dec)) / (np.linalg.norm(x)*np.linalg.norm(dec)+1e-9)
|
||||||
|
assert cos >= 0.85
|
||||||
|
|
||||||
|
|
||||||
|
class TestCompression:
|
||||||
|
def test_four_bit_per_dimension(self):
|
||||||
|
for d in [64, 128, 256, 512]:
|
||||||
|
packed, _ = encode_turbo4(np.zeros(d, dtype=np.float32))
|
||||||
|
# 4 bits per element: 2 elements per byte
|
||||||
|
assert len(packed) * 2 == d
|
||||||
|
|
||||||
|
|
||||||
|
if __name__ == "__main__":
|
||||||
|
pytest.main([__file__, "-v"])
|
||||||
@@ -20,9 +20,35 @@ from evolution.quant_selector import (
|
|||||||
|
|
||||||
class TestQuantLevels:
|
class TestQuantLevels:
|
||||||
def test_levels_ordered_by_quality(self):
|
def test_levels_ordered_by_quality(self):
|
||||||
"""Levels should be ordered from best quality to most aggressive."""
|
"""TurboQuant levels should be ordered from best quality to most aggressive.
|
||||||
for i in range(len(QUANT_LEVELS) - 1):
|
|
||||||
assert QUANT_LEVELS[i].bits_per_channel > QUANT_LEVELS[i + 1].bits_per_channel
|
The quality ordering invariant for TurboQuant levels is monotonically
|
||||||
|
increasing compression_ratio (more aggressive = more compression).
|
||||||
|
Non-TurboQuant fallbacks (e.g. q4_0) are placed after all TurboQuant
|
||||||
|
levels and may have any compression ratio — they exist as safe defaults,
|
||||||
|
not as part of the quality progression.
|
||||||
|
"""
|
||||||
|
turbo_quant_names = {"turbo4", "turbo3", "turbo2"}
|
||||||
|
turbo_levels = [l for l in QUANT_LEVELS if l.name in turbo_quant_names]
|
||||||
|
for i in range(len(turbo_levels) - 1):
|
||||||
|
assert turbo_levels[i].compression_ratio <= turbo_levels[i + 1].compression_ratio, (
|
||||||
|
f"TurboQuant {turbo_levels[i].name} (compression={turbo_levels[i].compression_ratio}x) "
|
||||||
|
f"should have <= compression than {turbo_levels[i+1].name} "
|
||||||
|
f"(compression={turbo_levels[i+1].compression_ratio}x)"
|
||||||
|
)
|
||||||
|
|
||||||
|
def test_fallback_quant_is_last(self):
|
||||||
|
"""Non-TurboQuant fallbacks (e.g. q4_0) should be at the end of the list."""
|
||||||
|
turbo_quant_names = {"turbo4", "turbo3", "turbo2"}
|
||||||
|
found_fallback = False
|
||||||
|
for level in QUANT_LEVELS:
|
||||||
|
if level.name not in turbo_quant_names:
|
||||||
|
found_fallback = True
|
||||||
|
elif found_fallback:
|
||||||
|
pytest.fail(
|
||||||
|
f"TurboQuant level '{level.name}' appears after a fallback level. "
|
||||||
|
f"All TurboQuant levels must precede fallbacks."
|
||||||
|
)
|
||||||
|
|
||||||
def test_all_levels_have_required_fields(self):
|
def test_all_levels_have_required_fields(self):
|
||||||
for level in QUANT_LEVELS:
|
for level in QUANT_LEVELS:
|
||||||
|
|||||||
83
tests/test_smoke_workflow.py
Normal file
83
tests/test_smoke_workflow.py
Normal file
@@ -0,0 +1,83 @@
|
|||||||
|
"""Tests for smoke workflow CI configuration.
|
||||||
|
|
||||||
|
Validates that the GitHub Actions / Gitea Actions smoke workflow
|
||||||
|
actually runs the standalone CMake build and test suite, not just
|
||||||
|
parse checks.
|
||||||
|
"""
|
||||||
|
|
||||||
|
from pathlib import Path
|
||||||
|
|
||||||
|
import yaml
|
||||||
|
|
||||||
|
import pytest
|
||||||
|
|
||||||
|
|
||||||
|
WORKFLOW_PATH = Path(".gitea/workflows/smoke.yml")
|
||||||
|
|
||||||
|
|
||||||
|
@pytest.fixture
|
||||||
|
def workflow():
|
||||||
|
"""Load and parse the smoke workflow YAML."""
|
||||||
|
content = WORKFLOW_PATH.read_text(encoding="utf-8")
|
||||||
|
return yaml.safe_load(content)
|
||||||
|
|
||||||
|
|
||||||
|
def test_smoke_workflow_exists():
|
||||||
|
"""Smoke workflow file must exist."""
|
||||||
|
assert WORKFLOW_PATH.exists(), f"Missing {WORKFLOW_PATH}"
|
||||||
|
|
||||||
|
|
||||||
|
def test_smoke_has_cmake_configure_step(workflow):
|
||||||
|
"""Smoke workflow must configure the CMake project with tests enabled."""
|
||||||
|
steps = workflow["jobs"]["smoke"]["steps"]
|
||||||
|
cmake_found = False
|
||||||
|
for step in steps:
|
||||||
|
run = step.get("run", "")
|
||||||
|
if "cmake -S . -B build" in run and "TURBOQUANT_BUILD_TESTS=ON" in run:
|
||||||
|
cmake_found = True
|
||||||
|
break
|
||||||
|
assert cmake_found, (
|
||||||
|
"Smoke workflow missing cmake configure step with TURBOQUANT_BUILD_TESTS=ON"
|
||||||
|
)
|
||||||
|
|
||||||
|
|
||||||
|
def test_smoke_has_cmake_build_step(workflow):
|
||||||
|
"""Smoke workflow must build the CMake project."""
|
||||||
|
steps = workflow["jobs"]["smoke"]["steps"]
|
||||||
|
build_found = False
|
||||||
|
for step in steps:
|
||||||
|
run = step.get("run", "")
|
||||||
|
if "cmake --build build" in run:
|
||||||
|
build_found = True
|
||||||
|
break
|
||||||
|
assert build_found, "Smoke workflow missing cmake --build step"
|
||||||
|
|
||||||
|
|
||||||
|
def test_smoke_has_ctest_step(workflow):
|
||||||
|
"""Smoke workflow must run ctest."""
|
||||||
|
steps = workflow["jobs"]["smoke"]["steps"]
|
||||||
|
ctest_found = False
|
||||||
|
for step in steps:
|
||||||
|
run = step.get("run", "")
|
||||||
|
if "ctest" in run and "output-on-failure" in run:
|
||||||
|
ctest_found = True
|
||||||
|
break
|
||||||
|
assert ctest_found, "Smoke workflow missing ctest --output-on-failure step"
|
||||||
|
|
||||||
|
|
||||||
|
def test_smoke_build_before_secret_scan(workflow):
|
||||||
|
"""Build and test steps must run before secret scan (fail fast on build errors)."""
|
||||||
|
steps = workflow["jobs"]["smoke"]["steps"]
|
||||||
|
names = [s.get("name", "") for s in steps]
|
||||||
|
build_idx = None
|
||||||
|
scan_idx = None
|
||||||
|
for i, name in enumerate(names):
|
||||||
|
if "cmake" in name.lower() or "build" in name.lower():
|
||||||
|
if build_idx is None:
|
||||||
|
build_idx = i
|
||||||
|
if "secret" in name.lower():
|
||||||
|
scan_idx = i
|
||||||
|
if build_idx is not None and scan_idx is not None:
|
||||||
|
assert build_idx < scan_idx, (
|
||||||
|
"Build step should run before secret scan to fail fast on broken code"
|
||||||
|
)
|
||||||
Reference in New Issue
Block a user