allaun/Research-Stack
1
0
Fork 0
mirror of https://github.com/allaunthefox/Research-Stack.git synced 2026-07-31 03:05:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
Research-Stack/4-Infrastructure/shim
History
Brandon Schneider 850f644e0f feat(infra): Ray VCN bridge — FrameDispatcher over Ray transport 
ray_vcn_bridge.py: Ray transport for the VCN-LUPINE bridge.
  Replaces GPUNodeConnection TCP/MKV transport with Ray ObjectRef.
  FrameDispatcher, BraidBackend, CUDABackend are unchanged — only
  the wire between daemon and GPU node changes.

  - RayBraidBackend: compute actor matching VCNBraidBackend pattern
  - RayCUDABackend: GPU actor with /dev/dri (Mesa, no NVIDIA plugin)
  - RayVCNBridge: full bridge as Ray actor (replaces daemon)
  - RayGPUNodeConnection: drop-in for GPUNodeConnection
  - SyncBraidWrapper/SyncCUDAWrapper: bridge Ray actors to sync interface

  STRAND 42B → 63B, CROSSING 42B → 22B, PIST 24B → 57B
  Batch 10: 5ms (0.5ms/frame), 10/10 non-empty
2026-05-30 19:48:34 -05:00
..
authentik_agent_manager WIP: accumulated changes 2026-05-25 16:24:21 -05:00
eigensolid_analysis chore: commit accumulated working tree changes 2026-05-30 00:10:02 -05:00
lake_compile_bridge style(compile-bridge): format GPU verifier 2026-05-20 18:46:49 -05:00
netwatch WIP: accumulated changes 2026-05-25 16:24:21 -05:00
tang9k_ipc_worker WIP: accumulated changes 2026-05-25 16:24:21 -05:00
alphaproof_loop.py feat: AlphaProof batch mode with copy-if pre-filter 2026-05-29 02:42:04 -05:00
arm64_copy_if_optimizer.py feat: ARM64 copy-if optimizer — branches to CSEL 2026-05-30 15:59:24 -05:00
batch_embed_artifacts.py refactor(rds): consolidate 14 psycopg2 connect patterns into shared rds_connect module 2026-05-26 15:09:34 -05:00
beaver_mask_freshness_negative_controls.py Stage stack solidification source slice 2026-05-11 22:08:10 -05:00
braid_diat_codec.py feat(codec): extend BraidDiatCodec with BraidDiatFrame encoder/decoder 2026-05-30 16:23:41 -05:00
braid_search.py fix: braid_search.py QUBO/soliton from float to Q16_16 integer arithmetic 2026-05-28 17:47:40 -05:00
braid_vcn_encoder.py feat: vectorized delta+RLE via copy-if pattern (3.3x faster, 2.5x smaller) 2026-05-29 02:24:55 -05:00
build_corpus278.py feat(lean): complete goldenContractionEnergyDecrease proof + PIST predictions pipeline v2 2026-05-27 12:40:16 -05:00
build_pist_matrices_278.py feat(lean): complete goldenContractionEnergyDecrease proof + PIST predictions pipeline v2 2026-05-27 12:40:16 -05:00
cern_extractor.py chore: commit accumulated working tree changes 2026-05-30 00:10:02 -05:00
cern_pde_extraction.json chore: commit accumulated working tree changes 2026-05-30 00:10:02 -05:00
clean_rrc_pist_validation.py feat(pist): add RRC PIST validation report cleaner 2026-05-26 15:38:07 -05:00
combined_theorems.py feat(pist): scaled Tier 2B batch — 21/64 theorems, RRCShape 71.4% 2026-05-26 10:34:32 -05:00
compare_tier1_vs_tier2.py feat(pist): Tier 2 beats Tier 1 on 5/6 independent targets 2026-05-26 09:57:10 -05:00
credential_loader.py refactor(rds): consolidate 14 psycopg2 connect patterns into shared rds_connect module 2026-05-26 15:09:34 -05:00
dataset_ingest_rds.py refactor(rds): consolidate 14 psycopg2 connect patterns into shared rds_connect module 2026-05-26 15:09:34 -05:00
decompose_tier2b_traces.py feat(pist): Tier 2B spectral decomposition — first real proof-path spectra 2026-05-26 03:08:05 -05:00
desi_raw_rederivation.py chore: commit accumulated working tree changes 2026-05-30 00:10:02 -05:00
eigensolid_pipeline.py chore: commit accumulated working tree changes 2026-05-30 00:10:02 -05:00
emit278_extract.py feat(lean): wire 278-equation corpus end-to-end; emit emit278.json 2026-05-27 00:11:55 -05:00
ene_migrate_and_tag.py cleanup(ene): remove hardcoded schema path, drop inline schema fallback, add legacy shim strip receipt 2026-05-26 16:22:40 -05:00
ene_substrate_schema.sql feat(infra): add DSP node schema and flac_dsp_node.py shim 2026-05-29 01:31:13 -05:00
ene_wiki_body_reingest.py refactor(rds): consolidate 14 psycopg2 connect patterns into shared rds_connect module 2026-05-26 15:09:34 -05:00
failure_flexure_bank.py feat(pist): Route-Repair v1.1 — 60 failure flexures ingested, obstruction-type voting 2026-05-26 12:17:42 -05:00
flac_dsp_node.py feat(infra): add DSP node schema and flac_dsp_node.py shim 2026-05-29 01:31:13 -05:00
fractal_dimension.py feat: fractal dimension — DBC algorithm (Python + FPGA) 2026-05-29 20:45:21 -05:00
gccl_waveprobe.py feat: GCCL + WaveProbe + MetaProbe + delta compression 2026-05-30 01:09:14 -05:00
genus0_sphere_shell_demo.py fix(lean+shim): enforce lean-coding rules across audit surface 2026-05-26 23:17:40 -05:00
gpu_fpga_ipc_symbol_surface.py WIP: accumulated changes 2026-05-25 16:24:21 -05:00
hash_benchmark.py feat: O_AMMR_valid strengthened + hash benchmark complete 2026-05-30 15:15:33 -05:00
hep_data_puller.py chore: commit accumulated working tree changes 2026-05-30 00:10:02 -05:00
hep_providers.json chore: commit accumulated working tree changes 2026-05-30 00:10:02 -05:00
hep_providers.py chore: commit accumulated working tree changes 2026-05-30 00:10:02 -05:00
hopf_cole_burgers.py feat: integrate May 2026 math papers into Research Stack 2026-05-30 18:16:57 -05:00
hutter_jxl_starfield_eigenprobe.py Stage JXL starfield replay slice 2026-05-11 22:08:44 -05:00
hutter_jxl_starfield_replay_verify.py Stage JXL starfield replay slice 2026-05-11 22:08:44 -05:00
ingest_57_flexures.py refactor(rds): consolidate 14 psycopg2 connect patterns into shared rds_connect module 2026-05-26 15:09:34 -05:00
ingest_flexure_joints.py feat(pist): flexure features v2 — full spectral profile per joint 2026-05-26 11:00:31 -05:00
ivshmem_client.py feat: QEMU compute surfaces — virtio-crypto + ivshmem 2026-05-30 17:35:24 -05:00
joint_classifier.py refactor(rds): consolidate 14 psycopg2 connect patterns into shared rds_connect module 2026-05-26 15:09:34 -05:00
label_canary_theorems.py fix(lean+shim): enforce lean-coding rules across audit surface 2026-05-26 23:17:40 -05:00
lean_proof_prefilter.py feat: Lean proof pre-filter (copy-if pattern for compilation) 2026-05-29 02:34:38 -05:00
lean_trace_bridge.py feat(pist): Tier 2 trace bridge — tactic-level goal transitions 2026-05-26 02:28:16 -05:00
lean_trace_bridge_v2.py feat(pist): 57/64 theorem batch — 89.5% proof status LOOCV 2026-05-26 11:20:17 -05:00
Modelfile.gemma-physics-math Track remaining source and documentation inventory 2026-05-11 22:18:31 -05:00
particle_physics_lut.py feat: particle physics LUT — 50 years of PDG data as Q16_16 BRAM tables 2026-05-28 19:26:27 -05:00
pist_canary_batch.py feat(pist): canary batch — 42 real Lean theorems through full pipeline 2026-05-26 02:09:08 -05:00
pist_classify.py refactor(rds): consolidate 14 psycopg2 connect patterns into shared rds_connect module 2026-05-26 15:09:34 -05:00
pist_matrix_builder.py feat(lean): complete goldenContractionEnergyDecrease proof + PIST predictions pipeline v2 2026-05-27 12:40:16 -05:00
pist_route_repair.py feat(pist): Route-Repair Loop v1 — 11% recovery rate 2026-05-26 11:38:01 -05:00
pist_trace_classify_mcp.py feat(lean): port pist_trace_classify motif scoring to Semantics.PIST.Motif 2026-05-26 23:45:07 -05:00
pist_trace_decompose.py feat(pist): Tier 2 trace canary — 24 multi-tactic Lean theorems 2026-05-26 02:37:22 -05:00
pylsp_trivial_detector.py feat(shim): add pylsp_trivial_detector plugin 2026-05-29 13:51:21 -05:00
q16_lut_vcn.py feat: 12 math enhancements — Q16 LUT, braid VCN encoder, FPGA Verilog, FFT, crypto 2026-05-28 14:49:26 -05:00
qr_spatial_hash.py feat: QR spatial hash integration — 2.18x speedup 2026-05-30 15:30:06 -05:00
qubo_highs.py feat: HiGHS integration, scale space solver, adjugate matrix, FPGA voltage/BRAM modules 2026-05-28 15:42:14 -05:00
ray_vcn_bridge.py feat(infra): Ray VCN bridge — FrameDispatcher over Ray transport 2026-05-30 19:48:34 -05:00
ray_vcn_transport.py feat(infra): Ray VCN transport + cluster restoration 2026-05-30 19:42:39 -05:00
rds_connect.py refactor(rds): consolidate 14 psycopg2 connect patterns into shared rds_connect module 2026-05-26 15:09:34 -05:00
requirements.txt feat: HiGHS integration, scale space solver, adjugate matrix, FPGA voltage/BRAM modules 2026-05-28 15:42:14 -05:00
route_repair_v14a.py feat(lean): port route_repair_v14a rank_patches to Semantics.PIST.Repair 2026-05-26 23:32:36 -05:00
routing_benchmark.py fix(lean+shim): enforce lean-coding rules across audit surface 2026-05-26 23:17:40 -05:00
rrc_pist_shape_alignment.py fix(lean+shim): enforce lean-coding rules across audit surface 2026-05-26 23:17:40 -05:00
rrc_ray_tagger.py feat(infra): improve RRC Ray Layer Tagger and align registry 2026-05-30 19:18:02 -05:00
run_scaled_trace.py feat(pist): scaled Tier 2B batch — 21/64 theorems, RRCShape 71.4% 2026-05-26 10:34:32 -05:00
run_trace_canary.py feat(pist): Tier 2 trace canary — 24 multi-tactic Lean theorems 2026-05-26 02:37:22 -05:00
run_trace_v2_canary.py feat(pist): Tier 2B — instrumented trace bridge with real transition matrices 2026-05-26 02:56:46 -05:00
scale_space_solver.py feat: Tailscale graceful degradation — chain never fails 2026-05-28 19:19:14 -05:00
seed_flexure_dataset.py refactor(rds): consolidate 14 psycopg2 connect patterns into shared rds_connect module 2026-05-26 15:09:34 -05:00
spatial_hash_grid.py feat: spatial hash grid — GPU-style particle physics (Python + FPGA) 2026-05-30 01:25:19 -05:00
spirv_copy_if_optimizer.py feat(infra): SPIR-V packet generator and WGSL scar filter shader 2026-05-30 16:40:58 -05:00
spirv_packet_generator.py feat(infra): SPIR-V packet generator and WGSL scar filter shader 2026-05-30 16:40:58 -05:00
stack_fail_closure_register.py Stage stack solidification source slice 2026-05-11 22:08:10 -05:00
stack_solidification_audit.py Stage stack solidification source slice 2026-05-11 22:08:10 -05:00
sync_wiki_to_rds.py refactor(rds): consolidate 14 psycopg2 connect patterns into shared rds_connect module 2026-05-26 15:09:34 -05:00
tang9k_uart_beacon_probe.py Stage stack solidification source slice 2026-05-11 22:08:10 -05:00
test_braid_pipeline.py fix: update Sidon tests for Mian-Chowla API (68/68 pass) 2026-05-28 17:06:40 -05:00
test_pist_receipt_density_injector.py test(pist): add receipt-density injector regression harness 2026-05-26 15:16:40 -05:00
test_sei_roundtrip.py chore: commit accumulated working tree changes 2026-05-30 00:10:02 -05:00
trace_canary_theorems.py feat(pist): Tier 2 trace canary — 24 multi-tactic Lean theorems 2026-05-26 02:37:22 -05:00
unified_hep_extractor.py chore: commit accumulated working tree changes 2026-05-30 00:10:02 -05:00
validate_receipt_density_sidecar.py feat(pist): add receipt-density sidecar readback validator 2026-05-26 15:18:11 -05:00
validate_rrc_predictions.py fix(lean+shim): enforce lean-coding rules across audit surface 2026-05-26 23:17:40 -05:00
vcn_compute_substrate.py feat(infra): support heterogeneous environments in video compute decoder 2026-05-30 19:48:09 -05:00
vcn_famm_transport.py feat: wire BraidDiatCodec into FAMM transport 2026-05-30 14:36:16 -05:00
vcn_lupine_bridge.py chore: commit accumulated working tree changes 2026-05-30 00:10:02 -05:00
vcn_lupine_bridge_spec.md chore: commit accumulated working tree changes 2026-05-30 00:10:02 -05:00
vcn_lupine_daemon.py chore: commit accumulated working tree changes 2026-05-30 00:10:02 -05:00
vcn_lupine_gpu_node.py chore: commit accumulated working tree changes 2026-05-30 00:10:02 -05:00
vcn_lupine_opcodes.py chore: commit accumulated working tree changes 2026-05-30 00:10:02 -05:00
virtio_crypto_transform.py feat: QEMU compute surfaces — virtio-crypto + ivshmem 2026-05-30 17:35:24 -05:00
virtio_net_transform.py feat(infra): virtio-net ring as compute pipeline 2026-05-30 16:54:09 -05:00