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
782 commits 18 branches 0 tags 425 MiB
Commit graph

5 commits

Author SHA1 Message Date
allaun
8079ca3a20 docs(infra): document bosonic tensor network regime discovery and fix dim formula 
- Updates CHANGELOG.md with 2026-06-21 entry describing the two-regime
  phase transition observed on neon-64gb: bosonic MC (p<=4) vs
  distinguishable approximation (p>=5) in rrc_bosonic_tensor_network.py.
- Adds BMCTE, SBOE, LPMCE, effective support, and observable-estimation
  vs exact-simulation terms to 6-Documentation/docs/GLOSSARY.md.
- Fixes Hilbert-dimension summary in rrc_bosonic_tensor_network.py to use
  C(N+p-1, p) instead of C(N, p).

No core logic changed; documentation and summary-output correction only.
 2026-06-22 01:11:17 -05:00
allaun
bc8657ff15 docs(glossary): update Jaccard Matcher with live results 
240 candidate citations found for 48 cornfield concepts using
pg_trgm GIN indexes and /shm file-based matching against 700k papers.

DB state: 358 total concept_citations (96 grounds, 22 extends, 240 candidates)
 2026-06-22 01:11:17 -05:00
allaun
3cdf0d11e9 docs(glossary): add concept map, citations, PIST classifier, SilverSight entries 
New glossary sections:
- Concept Mapping & Citations: Concept Map, Drive Concept Map, Cornfield Concepts,
  concept_citations, paper_refs, is_novel_claim, novelty_statement, Jaccard Matcher,
  relation_type
- SilverSight: Product Schema/WireFormat/LayoutBridge/View, ReceiptHeader, Gate,
  Claim-State Ladder
- PIST Trace Classifier: PistClassifyTrace, Spectral Profile, RRC Shape Thresholds,
  Tactic Family, rrc-watchdog

Acronym additions: CM (Concept Map), JM (Jaccard Matcher), PTC (PIST Trace Classifier),
SS (SilverSight)
 2026-06-22 01:11:17 -05:00
Brandon Schneider
0cf775c80e 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
Brandon Schneider
0709b298b3 Consolidate research stack updates 2026-05-05 21:09:48 -05:00