3 commits

Author	SHA1	Message	Date
allaun	1f7ec15f12	feat(lean): add logarithmic viscosity coordinates to NKHodgeFAMM ... Adds logViscosityRatio, log_viscosity_monotone, and ν_eff_monotone to Semantics/NKHodgeFAMM.lean section 6b. The adaptive viscosity law ν_eff = ν₀*(1+μ) is multiplicative in ν₀ and additive in scar density μ; taking λ = log(ν_eff/ν₀) = log(1+μ) turns the multiplicative feedback into an additive coordinate. This gives nlinarith a direct handle on viscosity monotonicity and connects the module to Kritchevsky's "Everything Is Logarithms" framing (SilverSight CITATION.cff). Also marks a few pre-existing unused variables with underscores to silence the linter. Build: 8316 jobs, 0 errors (lake build Semantics.NKHodgeFAMM)	2026-06-22 01:21:58 -05:00
allaun	50322c88f9	fix(infra): handle database deduplication unique constraints in db buffer ... - Intercepts psycopg2 UniqueViolation exceptions on the ene_pkg_hash_idx unique index constraint. - Logs duplicate content violations as successful deduplication skips instead of triggering transaction retries and fallback logging. Build: 0 jobs, 0 errors (lake build)	2026-06-18 23:35:03 -05:00
allaun	f00ead35c2	feat(infra): add async database buffering program for RRC receipts ... Implemented rrc_bosonic_db_buffer.py containing AsyncDatabaseBuffer which queues, batches, and flushes PostgreSQL inserts for bosonic tensor network receipts and metrics. Documented both rrc_bosonic_tensor_gpu.py and rrc_bosonic_db_buffer.py in 4-Infrastructure/AGENTS.md. Build: 0 jobs, 0 errors (lake build)	2026-06-18 23:10:46 -05:00