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
..
AbelianSandpileRouting.lean/concrete-history	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
Adaptation.lean/concrete-history	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
AffineMappingLTSF.lean/concrete-history	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
AgenticCore.lean/concrete-history	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
AgenticOrchestration.lean/concrete-history	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
AgenticOrchestrationField.lean/concrete-history	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
AgenticTaskAssignment.lean/concrete-history	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
AgenticTheorems.lean/concrete-history	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
AMMR.lean/concrete-history	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
AnalysisFoundations.lean/concrete-history	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
AngrySphinx.lean/concrete-history	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
AngrySphinxPolicy.lean/concrete-history	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
ASCIIArtCompetition.lean/concrete-history	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
ASCIIArtStore.lean/concrete-history	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
ASCIIGen.lean/concrete-history	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
ASICTopology.lean/concrete-history	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
AtomicResolution.lean/concrete-history	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
Atoms.lean/concrete-history	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
Autobalance.lean/concrete-history	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
AVM.lean/concrete-history	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
AVMR.lean/concrete-history	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
AVMRClassification.lean/concrete-history	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
AVMRCore.lean/concrete-history	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
AVMRFrameworkMetaprobe.lean/concrete-history	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
AVMRInformation.lean/concrete-history	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
AVMRProofs.lean/concrete-history	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
AVMRTheorems.lean/concrete-history	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
Basic.lean/concrete-history	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
Benchmarks	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
BHOCS.lean/concrete-history	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
Bind.lean/concrete-history	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
BindEngine.lean/concrete-history	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
Biology	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
BitcoinMetaprobe.lean/concrete-history	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
BitcoinMetaprobeEval.lean/concrete-history	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
BitcoinRGFlow.lean/concrete-history	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
BoundaryDynamics.lean/concrete-history	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
BracketShellCount.lean/concrete-history	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
BraidBracket.lean/concrete-history	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
BraidCross.lean/concrete-history	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
BraidField.lean/concrete-history	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
BraidStrand.lean/concrete-history	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
BrainBoxDescriptor.lean/concrete-history	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
Burgers2DPDE.lean/concrete-history	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
Burgers3DPDE.lean/concrete-history	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
BurgersPDE.lean/concrete-history	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
CacheSieve.lean/concrete-history	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
CalibratedKernel.lean/concrete-history	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
Canon.lean/concrete-history	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
CanonAdapters.lean/concrete-history	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
CanonicalInterval.lean/concrete-history	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
CanonSerialization.lean/concrete-history	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
CasimirMetaprobe.lean/concrete-history	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
CausalGeometry.lean/concrete-history	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
CellSnowballConstraint.lean/concrete-history	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
ChatLogConversion.lean/concrete-history	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
ClassicalEuclideanGeometry.lean/concrete-history	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
CodonOTOM.lean/concrete-history	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
CodonPeptideConsistency.lean/concrete-history	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
CognitiveLoad.lean/concrete-history	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
CognitiveMorphemics.lean/concrete-history	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
ColeHopfTransform.lean/concrete-history	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
CollectiveManifoldInterface.lean/concrete-history	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
Components	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
CompressionControl.lean/concrete-history	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
CompressionEvidence.lean/concrete-history	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
CompressionLossComparison.lean/concrete-history	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
CompressionMaximization.lean/concrete-history	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
CompressionMechanics.lean/concrete-history	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
CompressionMechanicsBridge.lean/concrete-history	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
ComputationProfile.lean/concrete-history	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
ConflictResolution.lean/concrete-history	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
Connectors.lean/concrete-history	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
Constitution.lean/concrete-history	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
Containment.lean/concrete-history	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
CooperativeLUT.lean/concrete-history	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
Core	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
CosmicStructure.lean/concrete-history	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
CostEffectiveVerification.lean/concrete-history	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
CouchFilterNormalization.lean/concrete-history	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
CoulombComplexity.lean/concrete-history	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
CriticalityDynamics.lean/concrete-history	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
CrossDimensionalFilter.lean/concrete-history	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
CrossModalCompression.lean/concrete-history	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
Curvature.lean/concrete-history	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
DecagonZetaCrossing.lean/concrete-history	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
Decoder.lean/concrete-history	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
Decomposition.lean/concrete-history	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
DeepSeekBudgetCalculator.lean/concrete-history	initial: sovereign research stack (consolidated, weightless, and lfs-optimized)	2026-05-04 18:11:36 -05:00
DefectMechanics.lean/concrete-history	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
DeltaGCLCompression.lean/concrete-history	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
Diagnostics.lean/concrete-history	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
DiffusionSNRBias.lean/concrete-history	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
DistributedTraining.lean/concrete-history	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
DlessScalarField.lean/concrete-history	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
DomainKernel.lean/concrete-history	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
DomainModelIntegration.lean/concrete-history	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
DomainRegistryAlignment.lean/concrete-history	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
DomainState.lean/concrete-history	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
DspErasureCoding.lean/concrete-history	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
DSPTranslation.lean/concrete-history	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
DynamicCanal.lean/concrete-history	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
EfficiencyAnalysis.lean/concrete-history	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
ElectromagneticSpectrum.lean/concrete-history	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
ElectronOrbitalConstraint.lean/concrete-history	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
ElectrostaticsMetaprobe.lean/concrete-history	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
ENEApi.lean/concrete-history	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
ENEContextTokenCache.lean/concrete-history	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
ENECredentialEnvelope.lean/concrete-history	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
ENEDistributedNode.lean/concrete-history	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
ENELayerMetaprobe.lean/concrete-history	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
ENEMemoryAtlasMetaprobe.lean/concrete-history	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
EnergyGradientSignal.lean/concrete-history	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
ENESecurity.lean/concrete-history	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
EntropyMeasures.lean/concrete-history	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
EntropyPhaseEngine.lean/concrete-history	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
EnvironmentMechanics.lean/concrete-history	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
EpistemicHonesty.lean/concrete-history	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
EquationFractalEncoding.lean/concrete-history	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
EquationTranslation.lean/concrete-history	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
EqWorldMetaprobe.lean/concrete-history	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
Errors.lean/concrete-history	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
EtaMoE.lean/concrete-history	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
EthereumRGFlow.lean/concrete-history	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
Evolution.lean/concrete-history	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
ExoticSpacetime.lean/concrete-history	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
ExperienceCompression.lean/concrete-history	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
ExtendedManifoldEncoding.lean/concrete-history	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
Extensions	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
ExternalConnectors.lean/concrete-history	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
FAMM.lean/concrete-history	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
FaultTolerance.lean/concrete-history	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
FibonacciEncoding.lean/concrete-history	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
FieldDamping.lean/concrete-history	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
FieldEquationIntegration.lean/concrete-history	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
FieldSolver.lean/concrete-history	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
FiveDTorusTopology.lean/concrete-history	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
FixedPoint.lean	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
FixedPointBridge.lean/concrete-history	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
FlagSort.lean/concrete-history	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
FNWH	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
ForestAutodocRegistry.lean/concrete-history	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
Forgejo.lean/concrete-history	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
Foundations	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
Functions	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
FuzzyAssociation.lean/concrete-history	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
GCLFieldEquationsMetaprobe.lean/concrete-history	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
GCLTopologyRevision.lean/concrete-history	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
GemmaIntegration.lean/concrete-history	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
GeneBytecodeJIT.lean/concrete-history	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
GenerateLUT.lean/concrete-history	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
GeneticCode.lean/concrete-history	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
GeneticCodeOptimization.lean/concrete-history	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
GeneticGroundUp.lean/concrete-history	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
GeneticsPromotionGate.lean/concrete-history	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
Genome18.lean/concrete-history	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
GenomicCompression	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
GenomicCompression.lean/concrete-history	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
Genus3TopologyMetaprobe.lean/concrete-history	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
GeometricCompressionWorkspace.lean/concrete-history	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
GeometricTopology.lean/concrete-history	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
Geometry	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
Github.lean/concrete-history	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
GlymphaticPumpConstraint.lean/concrete-history	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
GoldenAngleEncoding.lean/concrete-history	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
GoldenSpiralManifold.lean/concrete-history	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
GoldenSpiralNavigation.lean/concrete-history	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
GossipFlipMessage.lean/concrete-history	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
GpuDutyAssignment.lean/concrete-history	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
GPUResourceManager.lean/concrete-history	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
GPUVerificationMetaprobe.lean/concrete-history	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
GradientPathMap.lean/concrete-history	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
Graph.lean/concrete-history	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
HachimojiCostRefinement.lean/concrete-history	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
HachimojiEquationMetaprobe.lean/concrete-history	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
HachimojiPipeline.lean/concrete-history	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
HamiltonianFormal.lean/concrete-history	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
HamiltonianVerification.lean/concrete-history	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
Hardware	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
HermesAgentIntegration.lean/concrete-history	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
HolographicProjection.lean/concrete-history	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
HormoneDeriv.lean/concrete-history	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
HotPathColdPath.lean/concrete-history	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
HumanNeuralCompression.lean/concrete-history	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
HumanNeuralCompressionVerification.lean/concrete-history	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
Hutter.lean/concrete-history	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
HutterMaximumCompression.lean/concrete-history	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
HutterPrizeCompression.lean/concrete-history	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
HutterPrizeFlow.lean/concrete-history	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
HutterPrizeISA.lean	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
HutterPrizeRGFlow.lean/concrete-history	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
HybridConvergence.lean/concrete-history	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
HybridTSMPISTTorus.lean/concrete-history	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
HydrogenicPhiTorsionBraid.lean/concrete-history	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
HyperbolicEncoding.lean/concrete-history	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
HypercubeTopology.lean/concrete-history	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
HyperFlow.lean/concrete-history	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
Hyperfluid.lean/concrete-history	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
InformationConservation.lean/concrete-history	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
InfoThermodynamicsMetaprobe.lean/concrete-history	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
Ingestion.lean/concrete-history	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
InteratomicPotential.lean/concrete-history	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
IntrinsicGeometry.lean/concrete-history	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
InvariantReceipt	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
JouleEnergy.lean/concrete-history	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
JsonLSurfaceConnector.lean/concrete-history	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
KdVBurgersPDE.lean/concrete-history	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
KillerCriterion.lean/concrete-history	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
KimiProber.lean/concrete-history	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
LandauerCompression.lean/concrete-history	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
LaviGen.lean/concrete-history	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
LawfulLoss.lean/concrete-history	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
Layer3Metaprobe.lean/concrete-history	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
Layer3TransmissionModel.lean/concrete-history	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
Lean4ImprovementProofs.lean/concrete-history	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
LeanBridge.lean/concrete-history	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
LeanGPTTSMLayer.lean/concrete-history	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
Lemmas.lean/concrete-history	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
LocalDerivative.lean/concrete-history	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
LocalExpansion.lean/concrete-history	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
MagnetoPlasma.lean/concrete-history	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
ManifoldFlow.lean/concrete-history	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
ManifoldNetworking.lean/concrete-history	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
ManifoldPotential.lean/concrete-history	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
ManifoldStructures.lean/concrete-history	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
ManifoldTopology.lean/concrete-history	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
ManyWorldsAddress.lean/concrete-history	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
MassNumberAdapter.lean/concrete-history	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
MassNumberLinter.lean/concrete-history	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
MassNumberMetricClosure.lean/concrete-history	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
MassNumberPreSlots.lean/concrete-history	initial: sovereign research stack (consolidated, weightless, and lfs-optimized)	2026-05-04 18:11:36 -05:00
MasterEquation.lean/concrete-history	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
MechanicalLogic.lean/concrete-history	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
MengerSpongeFractalAddressing.lean/concrete-history	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
MereotopologicalSheafHypergraph.lean/concrete-history	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
MereotopologicalVideo.lean/concrete-history	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
MetadataSurfaceComputation.lean/concrete-history	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
Metatype.lean/concrete-history	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
MetricCore.lean/concrete-history	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
MinimalBitcoinL3.lean/concrete-history	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
MinimalLayer3Eval.lean/concrete-history	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
MISignal.lean/concrete-history	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
MNLOGQuaternionBridge.lean/concrete-history	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
MoECache.lean/concrete-history	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
MOFCO2Reduction.lean/concrete-history	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
MOIMMetaprobe.lean/concrete-history	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
MorphicDSP.lean/concrete-history	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
MorphicDSPMetaprobe.lean/concrete-history	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
MorphicLocalField.lean/concrete-history	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
MorphicNeuralNetwork.lean/concrete-history	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
MorphicScalar.lean/concrete-history	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
MorphicTopologyMetaprobe.lean/concrete-history	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
MS3CNestedReductionGearMetaprobe.lean/concrete-history	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
MultiBodyField.lean/concrete-history	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
Navigator.lean/concrete-history	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
NeighborCoupling.lean/concrete-history	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
NetworkCapacity.lean/concrete-history	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
NetworkedSelfSolvingSpace.lean/concrete-history	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
NetworkRAM.lean/concrete-history	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
NeurodivergentPatternLUT.lean/concrete-history	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
NextGenAgentDesign.lean/concrete-history	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
NGemetry.lean/concrete-history	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
NICProbe.lean/concrete-history	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
NIICore	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
NIICore.lean/concrete-history	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
NNonEuclideanGeometry.lean/concrete-history	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
NonEuclideanGeometry.lean/concrete-history	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
NonStandardInterfaces.lean/concrete-history	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
NS_MD.lean/concrete-history	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
NUVMATH.lean/concrete-history	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
OEPI.lean/concrete-history	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
OmnidirectionalInterface.lean/concrete-history	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
OmniNetwork.lean/concrete-history	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
OpenWorm.lean/concrete-history	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
Orchestrate	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
Orchestrate.lean/concrete-history	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
OrderedFieldTokens.lean/concrete-history	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
OrthogonalAmmr.lean/concrete-history	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
OTOMOntology.lean/concrete-history	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
PandigitalEpigeneticSwitch.lean/concrete-history	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
PandigitalSpectralMass.lean	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
PassiveComputation.lean/concrete-history	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
Path.lean/concrete-history	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
Pbacs.lean/concrete-history	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
PBACSSignal.lean/concrete-history	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
PBACSVerilogEquivalence.lean/concrete-history	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
PeptideMoE.lean/concrete-history	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
PeptideMoEExamples.lean/concrete-history	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
PeptideMoEFailure.lean/concrete-history	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
PeptideMoERepair.lean/concrete-history	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
PhinaryNumberSystem.lean/concrete-history	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
PhiShellEncoding.lean/concrete-history	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
PhiUniversalMetaprobe.lean/concrete-history	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
Physics	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
Physics.lean/concrete-history	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
PhysicsEuclidean.lean/concrete-history	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
PhysicsLagrangian.lean/concrete-history	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
PhysicsScalar.lean/concrete-history	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
PIST.lean/concrete-history	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
PistBridge.lean/concrete-history	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
PISTMachine.lean/concrete-history	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
PistSimulation.lean/concrete-history	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
PostQuantumEscrow.lean/concrete-history	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
PrimeLut.lean/concrete-history	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
Prohibited.lean/concrete-history	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
Projections.lean/concrete-history	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
Protocol.lean/concrete-history	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
Purify.lean/concrete-history	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
QFactor.lean/concrete-history	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
QRGridState.lean/concrete-history	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
Quantization.lean/concrete-history	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
QuantizationMetaprobe.lean/concrete-history	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
QuantumAwareLean.lean/concrete-history	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
QuantumManifoldGeometry.lean/concrete-history	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
Quaternion.lean/concrete-history	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
QuaternionScalar.lean/concrete-history	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
RaycastField.lean/concrete-history	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
RcloneIntegration.lean/concrete-history	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
RealityContractMassNumber.lean/concrete-history	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
ReceiptCore.lean/concrete-history	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
RegimeCore.lean/concrete-history	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
RelationMaskTrainer.lean/concrete-history	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
ResearchAgent.lean/concrete-history	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
ResonanceGradient.lean/concrete-history	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
ResourceLayers.lean/concrete-history	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
RFPFieldSolver.lean/concrete-history	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
RotationQUBO.lean/concrete-history	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
RouteCost.lean/concrete-history	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
S3C.lean/concrete-history	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
S3CGeometry.lean/concrete-history	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
S3CManifoldGeometryMetaprobe.lean/concrete-history	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
S3CManifoldMetaprobe.lean/concrete-history	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
S3CResonance.lean/concrete-history	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
S3CUnifiedMetaprobe.lean/concrete-history	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
SabotagePrevention.lean/concrete-history	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
ScalarCollapse.lean/concrete-history	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
ScalarEventProjection.lean/concrete-history	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
Search.lean/concrete-history	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
Selfies.lean/concrete-history	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
SemanticMass.lean/concrete-history	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
SemanticRGFlow.lean/concrete-history	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
SensorField.lean/concrete-history	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
ShellModel.lean/concrete-history	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
SIConstants.lean/concrete-history	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
SidonSet.lean/concrete-history	initial: sovereign research stack (consolidated, weightless, and lfs-optimized)	2026-05-04 18:11:36 -05:00
SigmaGate.lean/concrete-history	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
SigmaGateBenchmark.lean/concrete-history	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
SigmaGateEntropy.lean/concrete-history	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
SIMDBranchPrediction.lean/concrete-history	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
SLUG3.lean/concrete-history	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
SLUQ.lean/concrete-history	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
SLUQQuaternionIntegration.lean/concrete-history	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
SLUQTriage.lean/concrete-history	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
Smiles.lean/concrete-history	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
SolitonLighthouse.lean/concrete-history	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
SolitonTensor.lean/concrete-history	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
SparkleBridge.lean/concrete-history	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
SpatialEvo.lean/concrete-history	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
SpectralField.lean/concrete-history	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
Spectrum.lean/concrete-history	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
SpikingDynamics.lean/concrete-history	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
SSMS.lean/concrete-history	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
SSMS_nD.lean/concrete-history	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
SSMSMetaprobe.lean/concrete-history	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
StochasticBurgersPDE.lean/concrete-history	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
StreamCompression.lean/concrete-history	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
SubagentOrchestrator.lean/concrete-history	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
Substrate.lean/concrete-history	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
SubstrateProfile.lean/concrete-history	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
Support/NetworkUtilization.lean/concrete-history	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
Surface.lean/concrete-history	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
SurfaceCore.lean/concrete-history	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
SwarmAnalysis.lean/concrete-history	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
SwarmCodeGeneration.lean/concrete-history	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
SwarmCodeReview.lean/concrete-history	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
SwarmCompetition.lean/concrete-history	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
SwarmDesignReview.lean/concrete-history	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
SwarmENEMiddleware.lean/concrete-history	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
SwarmMoERewiring.lean/concrete-history	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
SwarmQueryAPI.lean/concrete-history	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
SwarmRGFlow.lean/concrete-history	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
SwarmTopology.lean/concrete-history	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
SyntheticGeneticCoding.lean/concrete-history	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
Tactics.lean/concrete-history	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
Tape.lean/concrete-history	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
TemporalSpatialRAM.lean/concrete-history	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
Testing	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
ThermodynamicSort.lean/concrete-history	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
TileFlipConsensus.lean/concrete-history	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
TileStateMachine.lean/concrete-history	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
Timing.lean/concrete-history	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
TMMCP	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
TopologicalAwareness.lean/concrete-history	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
TopologicalPersistence.lean/concrete-history	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
TopologicalStateMachine.lean	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
TopologyDlessScalar.lean/concrete-history	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
TopologyDomainAlignment.lean/concrete-history	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
TopologyFractalEncoding.lean/concrete-history	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
TopologyGoldenSpiral.lean/concrete-history	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
TopologyNode.lean/concrete-history	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
TopologyOptimization.lean/concrete-history	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
TopologyPhinary.lean/concrete-history	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
TopologyResilience.lean/concrete-history	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
TorsionalPIST.lean/concrete-history	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
Toybox/ObserverAngle.lean	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
Transition.lean/concrete-history	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
TriangleManifold.lean/concrete-history	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
TriumvirateEnforcer.lean/concrete-history	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
TrophicCascadeMetaprobe.lean/concrete-history	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
TSMEfficiency.lean/concrete-history	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
UnifiedConvictionFlow.lean/concrete-history	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
UnifiedDomainTheory.lean/concrete-history	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
UnifiedFunctionLayer.lean/concrete-history	initial: sovereign research stack (consolidated, weightless, and lfs-optimized)	2026-05-04 18:11:36 -05:00
UnifiedSchema.lean/concrete-history	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
UnitConversion.lean/concrete-history	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
UniversalCoupling.lean/concrete-history	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
UniversalField.lean/concrete-history	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
Universality.lean/concrete-history	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
USBProbe.lean/concrete-history	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
V4/CayleyFibergraph.lean/concrete-history	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
VecState.lean/concrete-history	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
VideoPhysics.lean/concrete-history	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
VirtualGPUTopology.lean/concrete-history	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
VirtualWarpMetric.lean/concrete-history	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
VLsIPartition.lean/concrete-history	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
VoxelEncoding.lean/concrete-history	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
WaveformWaveprobePipeline.lean/concrete-history	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
WavefrontEmitter.lean/concrete-history	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
Waveprobe.lean/concrete-history	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
WebInteractionSurface.lean/concrete-history	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
WebRTCWaveformSync.lean/concrete-history	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
Witness.lean/concrete-history	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
WitnessGrammar.lean/concrete-history	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
WormholeMetaprobe.lean/concrete-history	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
WSM_WR_EGS_WC.lean/concrete-history	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
WSMConcrete.lean/concrete-history	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
YangMillsCompression.lean/concrete-history	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
YangMillsCompressionBounds.lean/concrete-history	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
YangMillsLattice.lean/concrete-history	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
YangMillsLatticeSizing.lean/concrete-history	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
YangMillsPerformance.lean/concrete-history	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