Research-Stack

allaun/Research-Stack

Fork 0

mirror of https://github.com/allaunthefox/Research-Stack.git synced 2026-07-31 03:05:21 +00:00

Commit graph

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
Brandon Schneider	7eda71868a	refactor(rds): consolidate 14 psycopg2 connect patterns into shared rds_connect module Creates 4-Infrastructure/shim/rds_connect.py with a single connect_rds() function that resolves connection parameters in priority order: 1. explicit kwargs 2. DATABASE_URL env var (postgres://user:pass@host:port/dbname?sslmode=...) 3. individual RDS_* env vars (RDS_HOST, RDS_PORT, RDS_USER, etc.) 4. built-in defaults Auth resolution (when password is empty or RDS_IAM=1): 1. RDS_IAM_TOKEN env var (pre-computed) 2. boto3 SDK generate_db_auth_token (preferred) 3. subprocess aws rds generate-db-auth-token (fallback) 4. RDS_PASSWORD env var (non-IAM) Replaces 8 connection pattern variants across 14 active shims: - subprocess + RDS_IAM_TOKEN fallback: pist_trace_classify_mcp, joint_classifier, pist_prove_and_classify, ingest_57_flexures - boto3 SDK: ene_wiki_body_reingest, ene_migrate_and_tag, dataset_ingest_rds - subprocess + RDS_PASSWORD: batch_embed_artifacts, sync_wiki_to_rds, seed_flexure_dataset - RDS_IAM_AUTH: pist_classify - bashrc parsed: credential_loader v1.4a benchmark confirmed at 100% after refactor.	2026-05-26 15:09:34 -05:00
Brandon Schneider	96be7cdb97	feat(pist): exact eigendecomposition, matrix diagnostics, 26-equation validation - pist-decompose: convergence proxy + symmetric/Laplacian/SVD spectrum - Crossing matrix now hash-derived (Q0_2), unique per equation - Validation: 26/26 unique matrices, 26/26 unique canonical hashes - Spectral features: rank(5), density(10), entropy(26), gap(26) - Classifier rules need labeled training data - pist_classify.py: full pipeline wrapper - validate_rrc_predictions.py: batch runner with diagnostics	2026-05-26 01:20:30 -05:00

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

Brandon Schneider

7eda71868a

refactor(rds): consolidate 14 psycopg2 connect patterns into shared rds_connect module

Creates 4-Infrastructure/shim/rds_connect.py with a single connect_rds()
function that resolves connection parameters in priority order:
  1. explicit kwargs
  2. DATABASE_URL env var (postgres://user:pass@host:port/dbname?sslmode=...)
  3. individual RDS_* env vars (RDS_HOST, RDS_PORT, RDS_USER, etc.)
  4. built-in defaults

Auth resolution (when password is empty or RDS_IAM=1):
  1. RDS_IAM_TOKEN env var (pre-computed)
  2. boto3 SDK generate_db_auth_token (preferred)
  3. subprocess aws rds generate-db-auth-token (fallback)
  4. RDS_PASSWORD env var (non-IAM)

Replaces 8 connection pattern variants across 14 active shims:
  - subprocess + RDS_IAM_TOKEN fallback: pist_trace_classify_mcp, joint_classifier,
    pist_prove_and_classify, ingest_57_flexures
  - boto3 SDK: ene_wiki_body_reingest, ene_migrate_and_tag, dataset_ingest_rds
  - subprocess + RDS_PASSWORD: batch_embed_artifacts, sync_wiki_to_rds, seed_flexure_dataset
  - RDS_IAM_AUTH: pist_classify
  - bashrc parsed: credential_loader

v1.4a benchmark confirmed at 100% after refactor.

2026-05-26 15:09:34 -05:00

Brandon Schneider

96be7cdb97

feat(pist): exact eigendecomposition, matrix diagnostics, 26-equation validation

- pist-decompose: convergence proxy + symmetric/Laplacian/SVD spectrum
- Crossing matrix now hash-derived (Q0_2), unique per equation
- Validation: 26/26 unique matrices, 26/26 unique canonical hashes
- Spectral features: rank(5), density(10), entropy(26), gap(26)
- Classifier rules need labeled training data
- pist_classify.py: full pipeline wrapper
- validate_rrc_predictions.py: batch runner with diagnostics

2026-05-26 01:20:30 -05:00

3 commits