mirror of
https://github.com/allaunthefox/Research-Stack.git
synced 2026-08-08 21:45:47 +00:00
allaun
00e9eed399
Replace the TODO(lean-port) sorry with a complete proof of the
projectionOrdering theorem: for positive SourceValue pairs s1 < s2
with s2 ≤ maxExpected, projectToCoding preserves strict ordering
of the Q0_64 values.
The proof uses Nat-only arithmetic (no Float) and handles two cases:
- a2 < d: both values fit in Q0_64 range, ordering follows from
monotonicity of integer division
- a2 = d: a2*s/d = s clamped to q0_64MaxRaw; a1*s/d < q0_64MaxRaw
via the key inequality (d-1)*s < (s-1)*d
Build: 8598 jobs, 0 errors (lake build)
99 lines
2.2 KiB
Text
99 lines
2.2 KiB
Text
# =============================================================================
|
|
# NoDupeLabs Professional .gitignore
|
|
# =============================================================================
|
|
# Python / General
|
|
# =============================================================================
|
|
__pycache__/
|
|
*.py[cod]
|
|
*$py.class
|
|
*.so
|
|
.Python
|
|
build/
|
|
develop-eggs/
|
|
dist/
|
|
downloads/
|
|
eggs/
|
|
.eggs/
|
|
*.egg-info/
|
|
.installed.cfg
|
|
*.egg
|
|
MANIFEST
|
|
|
|
# =============================================================================
|
|
# Virtual Environments
|
|
# =============================================================================
|
|
.env
|
|
.envrc
|
|
.venv/
|
|
venv/
|
|
ENV/
|
|
env/
|
|
.venv-audit/
|
|
|
|
# =============================================================================
|
|
# Testing & Coverage
|
|
# =============================================================================
|
|
.pytest_cache/
|
|
.coverage
|
|
.coverage.*
|
|
coverage.xml
|
|
coverage.json
|
|
htmlcov/
|
|
.tox/
|
|
.nox/
|
|
.hypothesis/
|
|
*.cover
|
|
.pytest_cache/
|
|
|
|
# =============================================================================
|
|
# IDE & Editor
|
|
# =============================================================================
|
|
.vscode/
|
|
.idea/
|
|
*.swp
|
|
*.swo
|
|
*~
|
|
.clinerules/
|
|
|
|
# =============================================================================
|
|
# Type Checkers & Linters
|
|
# =============================================================================
|
|
.mypy_cache/
|
|
.dmypy.json
|
|
dmypy.json
|
|
.pyre/
|
|
.pytype/
|
|
.ruff_cache/
|
|
.pybuilder/
|
|
cython_debug/
|
|
|
|
# =============================================================================
|
|
# Project Specific
|
|
# =============================================================================
|
|
# NoDupeLabs backup data (environment-specific with absolute paths)
|
|
.nodupe/
|
|
!.nodupe/backups/README.md
|
|
!.nodupe/backups/RECOVERY.txt
|
|
|
|
# Database files
|
|
*.db
|
|
*.sqlite
|
|
*.sqlite3
|
|
|
|
# Generated reports (keep reports/ directory, ignore generated files)
|
|
reports/*.txt
|
|
reports/*.json
|
|
!reports/.gitkeep
|
|
|
|
# Temporary files
|
|
output/
|
|
remote_storage/
|
|
shard_*.db
|
|
*.log
|
|
|
|
# =============================================================================
|
|
# OS Files
|
|
# =============================================================================
|
|
.DS_Store
|
|
Thumbs.db
|
|
node_modules/
|