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
