Brandon Schneider
|
baa2652727
|
formalize: 4-primitive framework for Erdős–Rényi random graphs in Lean
Formalized the 4-primitive framework applied to Erdős–Rényi random graphs
G(n,p) in Lean.
Lean file: 0-Core-Formalism/lean/Semantics/ExtensionScaffold/Math/FourPrimitiveErdosRenyi.lean
Formalization includes:
- Field primitive (ρ(x⃗)): edge density field
- Shear primitive (G = AᵀA): Laplacian deformation metric
- Packet primitive (Γᵢ): adjacency matrix encoding
- Spectral primitive (C = UΛUᵀ): eigenbasis decomposition
Definitions:
- FieldPrimitive: edge density
- ShearPrimitive: Gram matrix AᵀA
- PacketPrimitive: adjacency matrix
- SpectralPrimitive: eigen decomposition
- spectralRadius, spectralGap, algebraicConnectivity
- Laplacian matrix
- connectivityThreshold, giantComponentThreshold
- detectPhaseTransition
Theorems (schematic):
- FourPrimitiveFramework_Validation
- SpectralPrimitive_PhaseTransition
- FieldPrimitive_Density
- ShearPrimitive_Deformation
- PacketPrimitive_Encoding
Canonical statement included: The compactified core reduces the stack to
four mutually orthogonal primitives: field state, shear metric, packet
witness, and spectral basis.
|
2026-05-08 14:50:02 -05:00 |
|
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 |
|
Brandon Schneider
|
cd86db038f
|
Prove fixed-point algebra lemmas
|
2026-05-05 21:44:15 -05:00 |
|
Brandon Schneider
|
d04ca3e6cc
|
Address fixed-point review findings
|
2026-05-05 21:26:18 -05:00 |
|
Brandon Schneider
|
31f953bada
|
Consolidate research stack updates
|
2026-05-05 21:09:48 -05:00 |
|
Allaun Silverfox
|
c0a4c1b6e1
|
Add selection metrics receipt emitter
|
2026-05-05 13:23:10 -05:00 |
|
Allaun Silverfox
|
159063b9cd
|
Add selection metrics synthetic fixture
|
2026-05-05 13:22:32 -05:00 |
|
Allaun Silverfox
|
1c7784c09d
|
Add q-desic and van der Waals gap DOIs to Consensus collection
|
2026-05-05 07:39:43 -05:00 |
|
Allaun Silverfox
|
9c180db864
|
Add frozen-in gravitational fields DOI to Consensus collection
|
2026-05-05 02:22:12 -05:00 |
|
Allaun Silverfox
|
548bc39c31
|
Add genetics selection metrics scaffold
|
2026-05-05 02:07:28 -05:00 |
|
Allaun Silverfox
|
07b2ea4784
|
Add genetics information substrate boundary
|
2026-05-05 02:01:27 -05:00 |
|
Allaun Silverfox
|
a4cda6ad1f
|
Add de-anthropocentric Mass Number revision
|
2026-05-04 21:17:45 -05:00 |
|
Allaun Silverfox
|
299fc3fd52
|
Register visual primitive witness entry points
|
2026-05-04 19:10:11 -05:00 |
|
Allaun Silverfox
|
e77d29511e
|
Add visual primitives goxel witness research note
|
2026-05-04 19:08:47 -05:00 |
|
Brandon Schneider
|
bcb6495475
|
Add ENE research topic candidates, compression-core, notion-native-tauri, linear-native-tauri
|
2026-05-04 19:08:20 -05:00 |
|
Allaun Silverfox
|
abfbdc2c1e
|
Wire visual primitive formalism into constitution
|
2026-05-04 19:08:12 -05:00 |
|
Allaun Silverfox
|
4a52398f1b
|
Add visual primitive witness formalism
|
2026-05-04 19:07:01 -05:00 |
|
Brandon Schneider
|
4eee4a07f6
|
initial: sovereign research stack (consolidated, weightless, and lfs-optimized)
|
2026-05-04 18:11:36 -05:00 |
|