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/hardware
History
Brandon Schneider 453a366949 collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 
- Prover-Integrated Orchestration Layers (L0-L3): Goedel-Prover-V2 watchdog, BFS-Prover-V2 swarm consensus, bf4prover topology adaptation
- FAMM Verilator benchmark: uniform vs preshaped delay comparison (4.4x speedup)
- Swarm topological device prober: 11 agents probing traces, caps, delays, errors, vias, PDN
- Spec sheet puller: 10 components with key params and topological relevance
- Virtual FPGA system tests: 6/6 passed, 134K ops/s throughput
- Fixed merge conflicts in AI-Newton test_experiment.ipynb
2026-05-06 23:42:01 -05:00
..
build_metamanifold Consolidate research stack updates 2026-05-05 21:09:48 -05:00
sparkle initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
abc.history initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
adaptive_fabric_connector.v initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
batch_lean_checker.py Consolidate research stack updates 2026-05-05 21:09:48 -05:00
batch_lean_checker.sh Consolidate research stack updates 2026-05-05 21:09:48 -05:00
batch_lean_checker_parallel.py Consolidate research stack updates 2026-05-05 21:09:48 -05:00
bram_partial_lut.v initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
build_cff_accelerator.sh collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
build_cff_scanner.sh collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
build_dvi_texel.sh collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
build_loopback.sh initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
build_metamanifold_prover.sh Consolidate research stack updates 2026-05-05 21:09:48 -05:00
build_metamanifold_prover_himbaechel.sh Consolidate research stack updates 2026-05-05 21:09:48 -05:00
build_metamanifold_prover_yosys.sh Consolidate research stack updates 2026-05-05 21:09:48 -05:00
cff_accelerator.json collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
cff_accelerator.v collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
cff_invariant_scanner.fs collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
cff_invariant_scanner.json collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
cff_invariant_scanner.v collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
cff_invariant_scanner_pnr.json collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
cmyk_adaptive_router.v initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
dvi_texel_transmitter.json collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
dvi_texel_transmitter.v collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
famm_verilator_bench.v collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
FAMM_VERILATOR_SETUP.md collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
goertzel_filter_bank.v initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
gpu_fpga_distributed_checker.py Consolidate research stack updates 2026-05-05 21:09:48 -05:00
gpu_fpga_verification_report.json Consolidate research stack updates 2026-05-05 21:09:48 -05:00
integrated_prover_pipeline.py Consolidate research stack updates 2026-05-05 21:09:48 -05:00
integrated_prover_report.json Consolidate research stack updates 2026-05-05 21:09:48 -05:00
lean_dependency_dag.dot Consolidate research stack updates 2026-05-05 21:09:48 -05:00
lean_dependency_dag_parallel.dot Consolidate research stack updates 2026-05-05 21:09:48 -05:00
lean_dependency_dag_parallel.svg Consolidate research stack updates 2026-05-05 21:09:48 -05:00
lean_hardware_checker.py Consolidate research stack updates 2026-05-05 21:09:48 -05:00
mechanical_cycle.vcd initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
mechanical_cycle_harness.v initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
mechanical_cycle_sim initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
metamanifold.fs Consolidate research stack updates 2026-05-05 21:09:48 -05:00
metamanifold.json Consolidate research stack updates 2026-05-05 21:09:48 -05:00
metamanifold_pnr.json Consolidate research stack updates 2026-05-05 21:09:48 -05:00
metamanifold_prover_gowin.cst Consolidate research stack updates 2026-05-05 21:09:48 -05:00
metamanifold_prover_gowin.v Consolidate research stack updates 2026-05-05 21:09:48 -05:00
metamanifold_prover_gowin_minimal.cst Consolidate research stack updates 2026-05-05 21:09:48 -05:00
metamanifold_prover_gowin_simple.cst Consolidate research stack updates 2026-05-05 21:09:48 -05:00
metamanifold_prover_minimal.cst Consolidate research stack updates 2026-05-05 21:09:48 -05:00
metamanifold_prover_minimal.v Consolidate research stack updates 2026-05-05 21:09:48 -05:00
metamanifold_prover_tb.cpp Consolidate research stack updates 2026-05-05 21:09:48 -05:00
metamanifold_prover_test.cst Consolidate research stack updates 2026-05-05 21:09:48 -05:00
metamanifold_prover_test.v Consolidate research stack updates 2026-05-05 21:09:48 -05:00
metamanifold_prover_trace.vcd Consolidate research stack updates 2026-05-05 21:09:48 -05:00
metaprobe_stress_sensor.v initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
mode_multiplexed_dsp_slice.v initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
morphic_scalar_fpga.v initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
morphic_scalar_fpga_optimized.cst initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
morphic_scalar_fpga_optimized.v initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
morphic_scalar_s3c_integrated.v initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
nii_surface_driver.v initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
run_famm_verilator_bench.sh collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
run_metamanifold_sim.sh Consolidate research stack updates 2026-05-05 21:09:48 -05:00
s3c_manifold_fpga.v initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
tangnano9k_dvi.cst collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
tangnano9k_uart_loopback.cst initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
tangnano9k_uart_loopback.fs initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
tangnano9k_uart_loopback.json initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
tangnano9k_uart_loopback.v initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
tangnano9k_uart_loopback_pnr.json initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
tb_famm_bench.cpp collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
tmr_oepi_safety_fsm.v initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
topological_residual_engine.v initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
uart_rx.v initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
uart_tx.v initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00