allaun 13ab95e18a feat(infra): lbi wrapper — lake build + ENE ingest in one call ... Usage: lbi # full build + ingest lbi Compiler # compiler surface + ingest lbi Semantics.GraphRank # narrow target + ingest Keeps databases in sync during development, not just on commit. Add to shell: alias lb='lbi'		2026-06-22 21:22:14 -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	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
lean_proof	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -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
utils	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
alphaproof_loop.py	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
arm64_copy_if_optimizer.py	feat: ARM64 copy-if optimizer — branches to CSEL	2026-05-30 15:59:24 -05:00
arxiv_oaipmh_harvest.py	feat(lean): close gaussian_line_integral_unit_dir + consolidate infrastructure	2026-06-18 16:53:23 -05:00
baker_circuit.json	feat(infra,lean): add verification engine + complete Goormaghtigh proof certificate	2026-06-18 19:40:23 -05:00
bao_peak_shift.py	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
batch_embed_artifacts.py	feat(lean): add logarithmic viscosity coordinates to NKHodgeFAMM	2026-06-22 01:21:58 -05:00
beaver_mask_freshness_negative_controls.py	Stage stack solidification source slice	2026-05-11 22:08:10 -05:00
benchmark_finsler_qaoa.py	feat(infra): Finsler QAOA adapter fixes and benchmark shim	2026-06-21 01:04:19 -05:00
benchmark_finsler_qap.py	feat(infra): Finsler-Randers QAP benchmark at n=8/12/24/48	2026-06-21 00:32:24 -05:00
betti_tracker.py	feat: complete all four interconnected solves	2026-06-16 22:21:55 -05:00
braid_diat_codec.py	feat(codec): extend BraidDiatCodec with BraidDiatFrame encoder/decoder	2026-05-30 16:23:41 -05:00
braid_mutation_optimizer.py	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
braid_search.py	feat(lean,infra): Corpus278→250 rename + SLOS-calibrated braid defaults	2026-06-18 22:16:52 -05:00
braid_shock_16d.py	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -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_corpus250.py	feat(lean,infra): Corpus278→250 rename + SLOS-calibrated braid defaults	2026-06-18 22:16:52 -05:00
build_math_symbols_db.py	feat(lean): close gaussian_line_integral_unit_dir + consolidate infrastructure	2026-06-18 16:53:23 -05:00
build_pist_matrices_250.py	feat(lean,infra): Corpus278→250 rename + SLOS-calibrated braid defaults	2026-06-18 22:16:52 -05:00
burgers_0d_braid_exact.py	feat(lean,infra): Corpus278→250 rename + SLOS-calibrated braid defaults	2026-06-18 22:16:52 -05:00
burgers_2d_simplification.py	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
burgers_cfl_sweep.py	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
burgers_chaos_game.py	feat(infra): Burgers chaos game — quantum walk over 22-representation graph	2026-06-18 21:39:18 -05:00
burgers_chaos_game_receipt.json	feat(infra): Burgers chaos game — quantum walk over 22-representation graph	2026-06-18 21:39:18 -05:00
burgers_hilbert_threshold.py	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
c16_controller_projection.py	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
candidate_certification_bridge.py	feat(lean): close gaussian_line_integral_unit_dir + consolidate infrastructure	2026-06-18 16:53:23 -05:00
capability_probe.py	feat(infra): capability probe — 9/9 backends functional, v1 receipt	2026-06-21 00:32:24 -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
chaos_game_16d.py	agent-swarm: optimize core math, close E=mc2 trace	2026-06-20 22:43:52 -05:00
chinese_postman_demo.py	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -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	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
compute_adjugate_identity.py	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
coulomb_4body_braid.py	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
coverage_density_probe.py	feat(lean): close gaussian_line_integral_unit_dir + consolidate infrastructure	2026-06-18 16:53:23 -05:00
cross_domain_bridge_demo.py	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
dataset_ingest_rds.py	feat(lean): add logarithmic viscosity coordinates to NKHodgeFAMM	2026-06-22 01:21:58 -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_adapter_refinement.py	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
desi_raw_rederivation.py	chore: commit accumulated working tree changes	2026-05-30 00:10:02 -05:00
device_capability_probe.py	fix(infra): tier limits leave headroom for device function	2026-05-30 20:45:50 -05:00
dual_quat_model_selector.py	feat(agent): dual quaternion model selector with mass semantic numbers	2026-06-22 16:12:58 -05:00
eigensolid_pipeline.py	agent-swarm: optimize core math, close E=mc2 trace	2026-06-20 22:43:52 -05:00
embed_arxiv.py	feat(infra): add hybrid arxiv search with pgvector HNSW + pg_trgm	2026-06-22 01:11:17 -05:00
emit250_extract.py	feat(lean,infra): Corpus278→250 rename + SLOS-calibrated braid defaults	2026-06-18 22:16:52 -05:00
ene_migrate_and_tag.py	feat(lean): add logarithmic viscosity coordinates to NKHodgeFAMM	2026-06-22 01:21:58 -05:00
ene_substrate_schema.sql	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
ene_wiki_body_reingest.py	feat(lean): add logarithmic viscosity coordinates to NKHodgeFAMM	2026-06-22 01:21:58 -05:00
entropic_collision_prober.py	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
equation_shape_parser.py	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
erdos_discrepancy_probe.py	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -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	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
galois_orbit_trimmer.py	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
gccl_transfer_pipeline.py	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
gccl_waveprobe.py	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
gen_grammar_thread_receipts.py	feat(lean): close gaussian_line_integral_unit_dir + consolidate infrastructure	2026-06-18 16:53:23 -05:00
generate_ephemeris_lut.py	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
genetic_braid_bridge.py	feat(lean): SDPVerify, GoormaghtighCert, Hachimoji modules; Gremlin mathblob graph loader; branch cleanup	2026-06-19 23:06:16 -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
geometric_entropy_explorer.py	feat(lean,infra): Corpus278→250 rename + SLOS-calibrated braid defaults	2026-06-18 22:16:52 -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	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
hutter_jxl_starfield_replay_verify.py	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
hybrid_search.sql	feat(infra): add hybrid arxiv search with pgvector HNSW + pg_trgm	2026-06-22 01:11:17 -05:00
ingest_57_flexures.py	feat(lean): add logarithmic viscosity coordinates to NKHodgeFAMM	2026-06-22 01:21:58 -05:00
ingest_eigensolid_data.py	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
ingest_flexure_joints.py	feat(lean): add logarithmic viscosity coordinates to NKHodgeFAMM	2026-06-22 01:21:58 -05:00
ivshmem_client.py	feat: QEMU compute surfaces — virtio-crypto + ivshmem	2026-05-30 17:35:24 -05:00
jaccard_fast.py	feat(infra): add fast Jaccard matcher using /shm keyword index	2026-06-22 01:11:17 -05:00
jaccard_hybrid.py	feat(infra): add hybrid arxiv search with pgvector HNSW + pg_trgm	2026-06-22 01:11:17 -05:00
jaccard_matcher.py	feat(infra): add Jaccard matcher for arxiv paper discovery	2026-06-22 01:11:17 -05:00
joint_classifier.py	feat(lean): add logarithmic viscosity coordinates to NKHodgeFAMM	2026-06-22 01:21:58 -05:00
label_canary_theorems.py	fix(lean+shim): enforce lean-coding rules across audit surface	2026-05-26 23:17:40 -05:00
lake_build_ingest.py	feat(infra): add optional --rrc alignment to lake_build_ingest.py	2026-06-22 03:46:58 -05:00
lbi.sh	feat(infra): lbi wrapper — lake build + ENE ingest in one call	2026-06-22 21:22:14 -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	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
lean_trace_bridge_v2.py	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
lonely_runner_sim.py	feat: complete all four interconnected solves	2026-06-16 22:21:55 -05:00
math_symbols.py	feat(lean): close gaussian_line_integral_unit_dir + consolidate infrastructure	2026-06-18 16:53:23 -05:00
mcp_drive_gccl_compress.py	feat(lean): add logarithmic viscosity coordinates to NKHodgeFAMM	2026-06-22 01:21:58 -05:00
menger_address_reduction.py	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
merkle_tensegrity_load_equation_generator.py	proof(lean): close e8_singer_improvement and erdos30_e8_conditional; restate two invalid sorries	2026-06-16 14:50:02 -05:00
model_theorem_matrix.py	feat(agent): model theorem matrix with degenerate sector analysis	2026-06-22 16:16:13 -05:00
Modelfile.gemma-physics-math	Track remaining source and documentation inventory	2026-05-11 22:18:31 -05:00
non_euclidean_cpp.py	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
openai_unit_distance_verifier.py	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
openalex_citation_crawler.py	feat(infra): citation crawler and spectral cross-validation research shims	2026-06-21 01:04:19 -05:00
pagerank_eigenvalue_survey.py	feat(infra): citation crawler and spectral cross-validation research shims	2026-06-21 01:04:19 -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
pipeline_test_sidon.py	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
pist_canary_batch.py	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
pist_classify.py	feat(lean): add logarithmic viscosity coordinates to NKHodgeFAMM	2026-06-22 01:21:58 -05:00
pist_matrix_builder.py	feat(lean,infra): Corpus278→250 rename + SLOS-calibrated braid defaults	2026-06-18 22:16:52 -05:00
pist_route_repair.py	feat(lean): add logarithmic viscosity coordinates to NKHodgeFAMM	2026-06-22 01:21:58 -05:00
pist_trace_classify_mcp.py	feat(lean): add logarithmic viscosity coordinates to NKHodgeFAMM	2026-06-22 01:21:58 -05:00
pist_trace_classify_offline.py	feat(lean,infra): SilverSight-first offline PIST trace classifier	2026-06-22 01:11:17 -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
pyrochlore_sidon_classify.py	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -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
qaoa_adapter.py	feat(infra): Finsler QAOA adapter fixes and benchmark shim	2026-06-21 01:04:19 -05:00
qemu_framebuffer_packer.py	feat(infra): add QEMU graphics framebuffer packing shim and spec	2026-05-30 19:49:25 -05:00
qr_braid_bridge.py	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
qr_spatial_hash.py	chore(consolidation): integrate E8Sidon stack (PRs #79 #80 #81 #89) into one PR	2026-06-16 02:01:31 +00:00
quandela_erdos_search.py	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -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
raven_threshold_query.py	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
ray_vcn_bridge.py	feat(infra): add AMD VAAPI + FLAC DSP to FrameDispatcher	2026-05-30 20:35:42 -05:00
ray_vcn_transport.py	feat(infra): Ray VCN transport + cluster restoration	2026-05-30 19:42:39 -05:00
rds_connect.py	feat(lean): add logarithmic viscosity coordinates to NKHodgeFAMM	2026-06-22 01:21:58 -05:00
requirements.txt	chore(infra): add perceval-quandela to shim requirements	2026-06-21 00:32:24 -05:00
reservoir.py	feat(infra): Jellyfin wizard complete, SSO-Auth plugin files deployed	2026-05-31 14:14:20 -05:00
route_repair_v14a.py	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
routing_benchmark.py	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
rrc_affine_conservation_probe.py	feat(lean): close gaussian_line_integral_unit_dir + consolidate infrastructure	2026-06-18 16:53:23 -05:00
rrc_anti_connections.py	feat(lean): close gaussian_line_integral_unit_dir + consolidate infrastructure	2026-06-18 16:53:23 -05:00
rrc_arxiv_kernel_refine.py	feat(lean): close gaussian_line_integral_unit_dir + consolidate infrastructure	2026-06-18 16:53:23 -05:00
rrc_bosonic_db_buffer.py	feat(lean): add logarithmic viscosity coordinates to NKHodgeFAMM	2026-06-22 01:21:58 -05:00
rrc_bosonic_tensor_gpu.py	feat(infra): add async database buffering program for RRC receipts	2026-06-18 23:10:46 -05:00
rrc_bosonic_tensor_network.py	chore(infra): stage working tree modifications	2026-06-22 01:23:17 -05:00
rrc_dataset_kernel_build.py	feat(lean): close gaussian_line_integral_unit_dir + consolidate infrastructure	2026-06-18 16:53:23 -05:00
rrc_domain_manifold_graph.py	feat(lean,infra): Corpus278→250 rename + SLOS-calibrated braid defaults	2026-06-18 22:16:52 -05:00
rrc_dual_query.py	feat(lean): SDPVerify, GoormaghtighCert, Hachimoji modules; Gremlin mathblob graph loader; branch cleanup	2026-06-19 23:06:16 -05:00
rrc_genre_decompose.py	feat(lean): close gaussian_line_integral_unit_dir + consolidate infrastructure	2026-06-18 16:53:23 -05:00
rrc_manifold_assign.py	feat(lean): SDPVerify, GoormaghtighCert, Hachimoji modules; Gremlin mathblob graph loader; branch cleanup	2026-06-19 23:06:16 -05:00
rrc_manifold_refine.py	feat(lean): close gaussian_line_integral_unit_dir + consolidate infrastructure	2026-06-18 16:53:23 -05:00
rrc_photonic_stress_test.py	feat(lean): SDPVerify, GoormaghtighCert, Hachimoji modules; Gremlin mathblob graph loader; branch cleanup	2026-06-19 23:06:16 -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	fix(lean): complete projectionOrdering proof in GeometricCompressionWorkspace	2026-06-18 15:06:50 -05:00
rrc_refactor_oracle.py	feat(lean): SDPVerify, GoormaghtighCert, Hachimoji modules; Gremlin mathblob graph loader; branch cleanup	2026-06-19 23:06:16 -05:00
rrc_root_system_probe.py	feat(lean): close gaussian_line_integral_unit_dir + consolidate infrastructure	2026-06-18 16:53:23 -05:00
rrc_self_classify.py	feat(lean): close gaussian_line_integral_unit_dir + consolidate infrastructure	2026-06-18 16:53:23 -05:00
rrc_slo_analyzer.py	feat(lean): SDPVerify, GoormaghtighCert, Hachimoji modules; Gremlin mathblob graph loader; branch cleanup	2026-06-19 23:06:16 -05:00
rrc_slo_sweep.py	feat(lean): SDPVerify, GoormaghtighCert, Hachimoji modules; Gremlin mathblob graph loader; branch cleanup	2026-06-19 23:06:16 -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
s2_citation_crawler.py	feat(infra): citation crawler and spectral cross-validation research shims	2026-06-21 01:04:19 -05:00
scale_space_solver.py	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
sdp_sos_solver.py	feat(lean): SDPVerify, GoormaghtighCert, Hachimoji modules; Gremlin mathblob graph loader; branch cleanup	2026-06-19 23:06:16 -05:00
seed_flexure_dataset.py	chore(infra): stage working tree modifications	2026-06-22 01:23:17 -05:00
service_registry.py	feat(infra): migrate external service registry to aiven mysql with ssl	2026-05-31 02:10:10 -05:00
shape_index.py	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
sidon_generation_kernel.py	feat(lean): close gaussian_line_integral_unit_dir + consolidate infrastructure	2026-06-18 16:53:23 -05:00
sixteend_decay_cpp.py	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
snap_pist_spectral_crossval.py	feat(infra): citation crawler and spectral cross-validation research shims	2026-06-21 01:04:19 -05:00
spatial_hash_grid.py	feat: spatial hash grid — GPU-style particle physics (Python + FPGA)	2026-05-30 01:25:19 -05:00
spherion_twin_prime.py	docs: update AGENTS.md for SpherionTwinPrime module + add spherion_twin_prime.py shim	2026-06-16 23:38:51 -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	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
sync_wiki_to_rds.py	chore(infra): stage working tree modifications	2026-06-22 01:23:17 -05:00
tang9k_uart_beacon_probe.py	Stage stack solidification source slice	2026-05-11 22:08:10 -05:00
taylor_green_betti.json	feat: complete all four interconnected solves	2026-06-16 22:21:55 -05:00
taylor_green_betti.png	feat: complete all four interconnected solves	2026-06-16 22:21:55 -05:00
taylor_green_betti.py	feat: complete all four interconnected solves	2026-06-16 22:21:55 -05:00
test_betti_tracker.py	feat: NK-Hodge-FAMM formal axiom + Lonely Runner Betti mapping + numerical Betti tracker + vorticity resolution	2026-06-16 22:14:10 -05:00
test_braid_diat_codec.py	test(coverage): add 138 unit tests for least-covered modules (#78)	2026-06-14 19:31:16 -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
test_validate_rrc_predictions.py	test(coverage): add 138 unit tests for least-covered modules (#78)	2026-06-14 19:31:16 -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	fix(adversarial-review): resolve 35 critical coding bugs across 8 subsystems	2026-05-31 23:38:03 -05:00
validate_fiedler.py	feat(infra): citation crawler and spectral cross-validation research shims	2026-06-21 01:04:19 -05:00
validate_receipt_density_sidecar.py	chore(infra): stage working tree modifications	2026-06-22 01:23:17 -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): add AMD VAAPI + FLAC DSP to FrameDispatcher	2026-05-30 20:35:42 -05:00
vcn_dsp_pipeline.py	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
vcn_famm_transport.py	chore(consolidation): integrate E8Sidon stack (PRs #79 #80 #81 #89) into one PR	2026-06-16 02:01:31 +00:00
vcn_lupine_bridge.py	feat(infra): add AMD VAAPI + FLAC DSP to FrameDispatcher	2026-05-30 20:35:42 -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
vectorless_morton_hash_backend.py	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
verify_all_shims.py	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
verify_ene_schema.py	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
verify_goormaghtigh.py	feat(infra,lean): add verification engine + complete Goormaghtigh proof certificate	2026-06-18 19:40:23 -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
wannier_sidon_probe.py	feat(lean): close gaussian_line_integral_unit_dir + consolidate infrastructure	2026-06-18 16:53:23 -05:00
wolfram_verify.py	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00