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/6-Documentation/docs/specs
History
allaun c701dbdf11 feat(lean): close gaussian_line_integral_unit_dir + consolidate infrastructure 
Lean proof fixes:
- N3L_Energy.lean: fully close gaussian_line_integral_unit_dir (nlinarith+hab
  for unit-circle quadratic, sqrt_mul+neg_div for integral_gaussian_1d match,
  exp_sum_of_sq order fix, add_assoc for h_gauss_shift, sq_sqrt for field_simp,
  sq_abs for perpDistance hd)
- Add Adapters/AlphaProofNexus: 12 Erdos/graph adapter stubs (AlphaProof nexus)
- Add Adapters/ErgodicAdditive.lean, SidonMatroid.lean
- Add AntiDiophantine.lean, EffectiveBoundDQ.lean, PVGS_DQ_Bridge.lean
- Add FormalConjectures/Util/ProblemImports.lean
- Add RRC/EntropyCandidates/Candidates.lean
- Add OTOM external project (lakefile.toml, lake-manifest.json, lean-toolchain)

Infrastructure:
- Add 4-Infrastructure/shim/: 17 Python probes (RRC manifold, Sidon kernel,
  Wannier, arxiv harvest, math_symbols DB, coverage density, geometric entropy)
- Add 4-Infrastructure/NoDupeLabs/: Node server + package files
- Add 6-Documentation/docs/specs/DP_RRC_RECEIPT_ENCODING_SPEC.md
- Add fix_offloat.py

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
2026-06-18 16:53:23 -05:00
..
ANGRYSPHINX_DONATED_CYCLE_GATE_SPEC.md docs: add external research import maps 2026-05-20 18:41:21 -05:00
AUTOADAPTIVE_METATYPE_INVARIANTS.md Consolidate research stack updates 2026-05-05 21:09:48 -05:00
AVM_CANONICAL_SPEC.md docs(avm): strengthen float prohibition and documentation requirement 2026-05-26 16:02:05 -05:00
BERNOULLI_OCCUPANCY_RECEIPT_MATH.md Track remaining source and documentation inventory 2026-05-11 22:18:31 -05:00
BurgersHarmonicPeelingVerification.md initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
CBF_Hardware_Spec.md initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
cole_hopf_vorticity_resolution.md feat: NK-Hodge-FAMM formal axiom + Lonely Runner Betti mapping + numerical Betti tracker + vorticity resolution 2026-06-16 22:14:10 -05:00
CONTINUED_FRACTION_COMPRESSION_ADAPTATION.md Track remaining source and documentation inventory 2026-05-11 22:18:31 -05:00
DECODER_FACING_RECONSTRUCTION_CORE.md Track remaining source and documentation inventory 2026-05-11 22:18:31 -05:00
DP_RRC_RECEIPT_ENCODING_SPEC.md feat(lean): close gaussian_line_integral_unit_dir + consolidate infrastructure 2026-06-18 16:53:23 -05:00
DP_TEXEL_8K_ENCODING_SPEC.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
DRIFT_QUARANTINE_YANG_MILLS_SPEC.md integrate infrastructure config, axiom cleanup, and documentation updates 2026-05-17 12:03:19 -05:00
EMBEDDED_NODE_SURFACE_SPEC.md initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
ENE_HOTSWAP_PLUGIN_ARCHITECTURE.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
ENE_MEMORY_ATLAS_SPEC.md fix(arch): enforce Lean-first hierarchy across project — remove all secondary-Lean language 2026-05-26 22:40:03 -05:00
ENE_METAFOAM_AUTO_COMPRESSION_SPEC.jsonld initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
FORWARD_FOUNDATION_EQUATION_COMPILER.md Track remaining source and documentation inventory 2026-05-11 22:18:31 -05:00
GCCL_ENCODING_CONTRACT.md Track remaining source and documentation inventory 2026-05-11 22:18:31 -05:00
GCL_FIELD_EQUATIONS_SPEC.md initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
GCL_TOPOLOGY_REVISION_SPEC.md initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
GENSIS_COMPILER_SPEC.md Consolidate research stack updates 2026-05-05 21:09:48 -05:00
GEOMETRY_EMERGENCY_BOOT_WITNESS_2026-04-08.md chore: commit accumulated working tree changes 2026-05-30 00:10:02 -05:00
HDMI_Field_Encoding_Spec.md initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
HUMAN_SURFACE_JSONL_SPEC.md initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
HYDROGENIC_PHI_TORSION_BRAID.md initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
INFORMATION_MANIFOLD_TAXONOMY.md initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
K3_COMPLIANT_NODE_STRUCTURE.md Expand devcontainer with full Python stack, add MCP servers (Notion/AWS), strengthen Lean theorems 2026-05-19 01:52:14 -05:00
KernelEquationSheet.tex initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
LANGUAGE_SET_MANIFOLD_GRAPH_TYPING.md Track remaining source and documentation inventory 2026-05-11 22:18:31 -05:00
LAW_GATED_RECONSTRUCTION_CORE_SHIFT.md Stage stack solidification source slice 2026-05-11 22:08:10 -05:00
LLM_REFINEMENT_PROTOCOL.md docs: add LLM refinement protocol 2026-05-07 08:21:35 -05:00
lonely_runner_betti_mapping.md feat: NK-Hodge-FAMM formal axiom + Lonely Runner Betti mapping + numerical Betti tracker + vorticity resolution 2026-06-16 22:14:10 -05:00
MarketCognitiveDynamics.tex initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
MORPHIC_NEURAL_NETWORK_ROUTING_SPEC.md initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
MS3C_NESTED_REDUCTION_GEAR_SPEC.md initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
NII_CORE_DRIVER_COMPLETION_SUMMARY.md initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
NII_CORE_DRIVER_IMPLEMENTATION_PLAN.md initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
OMINDIRECTION_LOGOGRAM_DESIGN_AND_COMPILER.md Stage stack solidification source slice 2026-05-11 22:08:10 -05:00
OMNITOKEN_GCL_REDESIGN.md initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
Oracle_Interrogation_IDPC_v0_1.md initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
PHI_S3C_PIST_BRIDGE_SPEC.md initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
PROJECTABLE_GEOMETRY_COMPRESSOR_SPEC.md Track remaining source and documentation inventory 2026-05-11 22:18:31 -05:00
quantization.md initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
Quaternion_Sidon_Standing_Field_v0_1.md initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
Receipt_Core_Infrastructure_v0_1.md initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
RECONSTRUCTION_CORE_MATH_REVIEW_2026_05_09.md Track remaining source and documentation inventory 2026-05-11 22:18:31 -05:00
RESEARCH_STACK_NUVMAP_ADDRESS_SPACE.md initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
sdta_spec.md chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
self-adapting-compute-fabric.md chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
SEMANTIC_ENGINE_BINDING_DERIVATION_WORKBENCH.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
SMN_SEMANTIC_MASS_NUMBERS.md Stage stack solidification source slice 2026-05-11 22:08:10 -05:00
SSMS_nD_FUNCTIONAL_SPEC.md initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
SYMBOLOGY_DERIVED_LOGOGRAM_DESIGN.md Track remaining source and documentation inventory 2026-05-11 22:18:31 -05:00
tag-addressable-compute-fabric.md chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
TINY_IP_CONTIKI_SURFACE_SPEC.md chore: commit accumulated working tree changes 2026-05-30 00:10:02 -05:00
Two_Layer_Kinetic_Sidon_Lattice_v0_1.md initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
unified_manifold_blit_equation.md initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
UNIFIED_SIGNAL_ARCHITECTURE.md Quarantine sorry blocks, fix RcloneIntegration proof, add ENE wiki re-ingest and ZFS setup. 2026-05-18 23:01:44 -05:00
UNIFIED_TRANSPORT_ENCODING_SPEC.md WIP: accumulated changes 2026-05-25 16:24:21 -05:00
UNIVERSE_MODEL_ORBIT_ZOOM_PROTOCOL.md Track remaining source and documentation inventory 2026-05-11 22:18:31 -05:00
vectorless_technical_review_response.md chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
virtio_net_compute_fabric_spec.md docs(infra): update public documentation for virtualized DMA compute backplane 2026-05-30 19:51:24 -05:00
waveprobe_qubo_spec.tex initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
WitnessGrammar.md initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00