| .. |
|
Adapters
|
feat(lean): CharPoly Faddeev-LeVerrier + replace power iteration with exact eigendecomposition
|
2026-07-01 18:51:56 -05:00 |
|
AVMIsa
|
feat(lean,infra): Corpus278→250 rename + SLOS-calibrated braid defaults
|
2026-06-18 22:16:52 -05:00 |
|
Benchmarks
|
|
|
|
Biology
|
fix(lean): complete projectionOrdering proof in GeometricCompressionWorkspace
|
2026-06-18 15:06:50 -05:00 |
|
Components
|
|
|
|
Core
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
Extensions
|
feat(q16_16): Float to Q16_16 migration + CharPoly exact eigendecomposition
|
2026-07-01 22:25:37 -05:00 |
|
FNWH
|
|
|
|
FormalConjectures/Util
|
feat(lean): close gaussian_line_integral_unit_dir + consolidate infrastructure
|
2026-06-18 16:53:23 -05:00 |
|
Foundations
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
Functions
|
fix(lean): complete projectionOrdering proof in GeometricCompressionWorkspace
|
2026-06-18 15:06:50 -05:00 |
|
GenomicCompression
|
|
|
|
Geometry
|
fix(lean): complete projectionOrdering proof in GeometricCompressionWorkspace
|
2026-06-18 15:06:50 -05:00 |
|
Hardware
|
fix(lean): complete projectionOrdering proof in GeometricCompressionWorkspace
|
2026-06-18 15:06:50 -05:00 |
|
HCMMR
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
InvariantReceipt
|
|
|
|
Kernel
|
|
|
|
NIICore
|
feat(q16_16): Float to Q16_16 migration + CharPoly exact eigendecomposition
|
2026-07-01 22:25:37 -05:00 |
|
Orchestrate
|
|
|
|
Physics
|
fix(lean): complete projectionOrdering proof in GeometricCompressionWorkspace
|
2026-06-18 15:06:50 -05:00 |
|
PhysicsData
|
feat(q16_16): Float to Q16_16 migration + CharPoly exact eigendecomposition
|
2026-07-01 22:25:37 -05:00 |
|
PIST
|
feat(lean): CharPoly Faddeev-LeVerrier + replace power iteration with exact eigendecomposition
|
2026-07-01 18:51:56 -05:00 |
|
RRC
|
chore(lean): ncDerived negative control witness from manifold primitives
|
2026-06-29 14:23:11 -05:00 |
|
Support
|
|
|
|
Testing
|
feat(q16_16): Float to Q16_16 migration + CharPoly exact eigendecomposition
|
2026-07-01 22:25:37 -05:00 |
|
TMMCP
|
fix(lean): complete projectionOrdering proof in GeometricCompressionWorkspace
|
2026-06-18 15:06:50 -05:00 |
|
Toybox
|
|
|
|
V4
|
|
|
|
AbelianSandpileRouting.lean
|
|
|
|
Adaptation.lean
|
fix(lean): move file-level open before namespace to inside namespace
|
2026-05-26 23:38:56 -05:00 |
|
AdjugateMatrix.lean
|
fix(lean): resolve 4 TODO(lean-port) placeholders
|
2026-06-18 15:07:39 -05:00 |
|
adversarial_A8_refutation.md
|
feat(lean): CharPoly Faddeev-LeVerrier + replace power iteration with exact eigendecomposition
|
2026-07-01 18:51:56 -05:00 |
|
AffineMappingLTSF.lean
|
|
|
|
AgenticCore.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
AgenticOrchestration.lean
|
fix(lean): complete projectionOrdering proof in GeometricCompressionWorkspace
|
2026-06-18 15:06:50 -05:00 |
|
AgenticOrchestrationField.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
AgenticTaskAssignment.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
AgenticTheorems.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
AgentSwarmTemplateAlignment.lean
|
|
|
|
AMMR.lean
|
|
|
|
AnalysisFoundations.lean
|
|
|
|
AngrySphinx.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
AngrySphinxPolicy.lean
|
|
|
|
AnomalyDrift.lean
|
chore: commit accumulated working tree changes
|
2026-05-30 00:10:02 -05:00 |
|
AntiBraidStorm.lean
|
fix(lean): complete projectionOrdering proof in GeometricCompressionWorkspace
|
2026-06-18 15:06:50 -05:00 |
|
AntiDiophantine.lean
|
feat(lean): close gaussian_line_integral_unit_dir + consolidate infrastructure
|
2026-06-18 16:53:23 -05:00 |
|
ASCIIArtCompetition.lean
|
|
|
|
ASCIIArtStore.lean
|
|
|
|
ASCIIGen.lean
|
|
|
|
ASICTopology.lean
|
|
|
|
AtomicResolution.lean
|
|
|
|
AtomicResolution.lean.pist
|
|
|
|
AtomicResolution.lean.pist.meta
|
|
|
|
Atoms.lean
|
|
|
|
Autobalance.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
AVM.lean
|
|
|
|
AVMR.lean
|
|
|
|
AVMRClassification.lean
|
feat(lean): add applyViscosity_energy_le and AVMR ODE scaffolding
|
2026-06-16 21:43:38 -05:00 |
|
AVMRCore.lean
|
feat(lean): add applyViscosity_energy_le and AVMR ODE scaffolding
|
2026-06-16 21:43:38 -05:00 |
|
AVMRInformation.lean
|
|
|
|
AVMRProofs.lean
|
|
|
|
AVMRTheorems.lean
|
feat: close ode_existence sorry + Burgers NK-Hodge-FAMM consistency + Lonely Runner Lean formalization
|
2026-06-16 22:37:20 -05:00 |
|
BaselineComparison.lean
|
|
|
|
Basic.lean
|
|
|
|
BeaverMaskFreshness.lean
|
|
|
|
BernoulliOccupancyShockbow.lean
|
|
|
|
BHOCS.lean
|
|
|
|
BigBangTemporalAnchor.lean
|
|
|
|
Bind.lean
|
|
|
|
BindEngine.lean
|
|
|
|
BitcoinRGFlow.lean
|
|
|
|
BoundaryDynamics.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
BoundaryDynamics.lean.pist
|
|
|
|
BoundaryDynamics.lean.pist.meta
|
|
|
|
BracketShellCount.lean
|
fix(lean): complete projectionOrdering proof in GeometricCompressionWorkspace
|
2026-06-18 15:06:50 -05:00 |
|
BraidBitwiseODE.lean
|
fix: eliminate 2 sorries (BraidBitwiseODE + MeshRouting)
|
2026-05-28 17:19:12 -05:00 |
|
BraidBracket.lean
|
feat(lean): SDPVerify, GoormaghtighCert, Hachimoji modules; Gremlin mathblob graph loader; branch cleanup
|
2026-06-19 23:06:16 -05:00 |
|
BraidBracket.lean.pist
|
|
|
|
BraidBracket.lean.pist.meta
|
|
|
|
BraidCross.lean
|
|
|
|
BraidDiatCodec.lean
|
fix(lean): complete projectionOrdering proof in GeometricCompressionWorkspace
|
2026-06-18 15:06:50 -05:00 |
|
BraidedField.lean
|
|
|
|
BraidedFieldPaths.lean
|
|
|
|
BraidEigensolid.lean
|
feat(lean): SDPVerify, GoormaghtighCert, Hachimoji modules; Gremlin mathblob graph loader; branch cleanup
|
2026-06-19 23:06:16 -05:00 |
|
BraidField.lean
|
feat(lean): prove BraidDiatFrame roundtrip + MMR.mountainList
|
2026-05-30 13:19:31 -05:00 |
|
BraidField.lean.pist
|
|
|
|
BraidField.lean.pist.meta
|
|
|
|
BraidSerial.lean
|
|
|
|
BraidSpherionBridge.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
BraidStrand.lean
|
|
|
|
BraidTreeDIATPIST.lean
|
chore: commit accumulated working tree changes
|
2026-05-30 00:10:02 -05:00 |
|
BraidVCNBridge.lean
|
fix(lean): complete projectionOrdering proof in GeometricCompressionWorkspace
|
2026-06-18 15:06:50 -05:00 |
|
BrainBoxDescriptor.lean
|
fix(lean): complete projectionOrdering proof in GeometricCompressionWorkspace
|
2026-06-18 15:06:50 -05:00 |
|
Burgers2DPDE.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
Burgers3DPDE.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
BurgersHilbertPDE.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
BurgersNKConsistency.lean
|
feat: close ode_existence sorry + Burgers NK-Hodge-FAMM consistency + Lonely Runner Lean formalization
|
2026-06-16 22:37:20 -05:00 |
|
BurgersPDE.lean
|
feat(lean): add applyViscosity_energy_le and AVMR ODE scaffolding
|
2026-06-16 21:43:38 -05:00 |
|
CacheSieve.lean
|
|
|
|
CalibratedKernel.lean
|
feat(q16_16): Float to Q16_16 migration + CharPoly exact eigendecomposition
|
2026-07-01 22:25:37 -05:00 |
|
CandidateDictionary.lean
|
|
|
|
Canon.lean
|
|
|
|
CanonAdapters.lean
|
|
|
|
CanonicalInterval.lean
|
|
|
|
CanonSerialization.lean
|
fix(lean): complete projectionOrdering proof in GeometricCompressionWorkspace
|
2026-06-18 15:06:50 -05:00 |
|
CausalGeometry.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
CausalGeometry.lean.pist
|
|
|
|
CausalGeometry.lean.pist.meta
|
|
|
|
CellSnowballConstraint.lean
|
|
|
|
CERNEigensolidData.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
CGAVersorAddress.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
CharPoly.lean
|
feat(lean): CharPoly Faddeev-LeVerrier + replace power iteration with exact eigendecomposition
|
2026-07-01 18:51:56 -05:00 |
|
ChatLogConversion.lean
|
|
|
|
ChentsovBridge.lean
|
fix(lean): Resolve ChentsovBridge mergeTwo sorries via axiom and simp
|
2026-06-27 14:43:19 -05:00 |
|
ClassicalEuclideanGeometry.lean
|
|
|
|
ClassicalEuclideanGeometry.lean.pist
|
|
|
|
ClassicalEuclideanGeometry.lean.pist.meta
|
|
|
|
CodebaseFSDU.lean.quarantine
|
|
|
|
CodebaseMemory.lean.quarantine
|
|
|
|
CodebaseReceipt.lean.quarantine
|
|
|
|
CodonOTOM.lean
|
|
|
|
CodonPeptideConsistency.lean
|
fix(lean): complete projectionOrdering proof in GeometricCompressionWorkspace
|
2026-06-18 15:06:50 -05:00 |
|
CognitiveLoad.lean
|
|
|
|
CognitiveLoadInvariantEnhanced.lean
|
|
|
|
CognitiveMorphemics.lean
|
|
|
|
ColeHopfTransform.lean
|
|
|
|
CollectiveManifoldInterface.lean
|
|
|
|
CompileBridge.lean
|
|
|
|
CompleteInteractionGraph.lean
|
feat(lean): NBody fixes and new exploration modules
|
2026-06-21 01:04:19 -05:00 |
|
CompressionControl.lean
|
|
|
|
CompressionControl.lean.pist
|
|
|
|
CompressionControl.lean.pist.meta
|
|
|
|
CompressionEvidence.lean
|
|
|
|
CompressionEvidence.lean.pist
|
|
|
|
CompressionEvidence.lean.pist.meta
|
|
|
|
CompressionLossComparison.lean
|
|
|
|
CompressionMaximization.lean
|
|
|
|
CompressionMaximization.lean.pist
|
|
|
|
CompressionMaximization.lean.pist.meta
|
|
|
|
CompressionMechanics.lean
|
|
|
|
CompressionMechanics.lean.pist
|
|
|
|
CompressionMechanics.lean.pist.meta
|
|
|
|
CompressionMechanicsBridge.lean
|
|
|
|
CompressionMechanicsBridge.lean.pist
|
|
|
|
CompressionMechanicsBridge.lean.pist.meta
|
|
|
|
CompressionYield.lean
|
|
|
|
ComputationProfile.lean
|
|
|
|
ConflictResolution.lean
|
|
|
|
Connectors.lean
|
feat(lean): complete goldenContractionEnergyDecrease proof + PIST predictions pipeline v2
|
2026-05-27 12:40:16 -05:00 |
|
Constitution.lean
|
|
|
|
Containment.lean
|
|
|
|
ContinuedFractionCompression.lean
|
|
|
|
CooperativeLUT.lean
|
|
|
|
CopyIfTactic.lean
|
feat: CopyIfTactic — native Lean 4 pre-filter tactic
|
2026-05-29 02:58:19 -05:00 |
|
CosmicStructure.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
CosmicStructure.lean.pist
|
|
|
|
CosmicStructure.lean.pist.meta
|
|
|
|
CostEffectiveVerification.lean
|
fix(lean): complete projectionOrdering proof in GeometricCompressionWorkspace
|
2026-06-18 15:06:50 -05:00 |
|
CouchFilterNormalization.lean
|
|
|
|
CoulombComplexity.lean
|
chore: commit accumulated working tree changes
|
2026-05-30 00:10:02 -05:00 |
|
CriticalityDynamics.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
CrossDimensionalFilter.lean
|
|
|
|
CrossDomainOneOverN.lean
|
|
|
|
CrossModalCompression.lean
|
fix(lean): complete projectionOrdering proof in GeometricCompressionWorkspace
|
2026-06-18 15:06:50 -05:00 |
|
Curvature.lean
|
|
|
|
DecagonZetaCrossing.lean
|
|
|
|
Decoder.lean
|
feat(q16_16): Float to Q16_16 migration + CharPoly exact eigendecomposition
|
2026-07-01 22:25:37 -05:00 |
|
Decomposition.lean
|
|
|
|
DeepSeekBudgetCalculator.lean
|
|
|
|
DefectMechanics.lean
|
|
|
|
DegeneracyConversion.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
DeltaGCLCompression.lean
|
fix(lean): complete projectionOrdering proof in GeometricCompressionWorkspace
|
2026-06-18 15:06:50 -05:00 |
|
Diagnostics.lean
|
|
|
|
DiffusionSNRBias.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
DiffusionSNRBias.lean.pist
|
|
|
|
DiffusionSNRBias.lean.pist.meta
|
|
|
|
DimensionalConsistency.lean
|
|
|
|
DiscreteContinuousBound.lean
|
feat: add DiscreteContinuousBound — exponential error bound via Gronwall
|
2026-06-17 05:10:49 +00:00 |
|
DistributedTraining.lean
|
|
|
|
DlessScalarField.lean
|
|
|
|
DlessScalarField.lean.pist
|
|
|
|
DlessScalarField.lean.pist.meta
|
|
|
|
DomainDetector.lean
|
|
|
|
DomainKernel.lean
|
fix(lean): complete projectionOrdering proof in GeometricCompressionWorkspace
|
2026-06-18 15:06:50 -05:00 |
|
DomainModelIntegration.lean
|
|
|
|
DomainRegistryAlignment.lean
|
|
|
|
DomainState.lean
|
|
|
|
DrexlerianMechanosynthesis.lean
|
chore: commit accumulated working tree changes
|
2026-05-30 00:10:02 -05:00 |
|
DspErasureCoding.lean
|
fix(lean): complete projectionOrdering proof in GeometricCompressionWorkspace
|
2026-06-18 15:06:50 -05:00 |
|
DSPTranslation.lean
|
|
|
|
DynamicCanal.lean
|
fix(lean): complete projectionOrdering proof in GeometricCompressionWorkspace
|
2026-06-18 15:06:50 -05:00 |
|
E8RRCAnalysis.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
E8Sidon.lean
|
agent-swarm: optimize core math, close E=mc2 trace
|
2026-06-20 22:43:52 -05:00 |
|
EffectiveBoundDQ.lean
|
feat(lean): close gaussian_line_integral_unit_dir + consolidate infrastructure
|
2026-06-18 16:53:23 -05:00 |
|
EfficiencyAnalysis.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
ElectromagneticSpectrum.lean
|
|
|
|
ElectromagneticSpectrum.lean.pist
|
|
|
|
ElectromagneticSpectrum.lean.pist.meta
|
|
|
|
ElectronOrbitalConstraint.lean
|
|
|
|
ENEApi.lean
|
|
|
|
EneContextSurface.lean
|
|
|
|
ENEContextTokenCache.lean
|
|
|
|
ENECredentialEnvelope.lean
|
|
|
|
ENEDistributedNode.lean
|
|
|
|
EnergyGradientSignal.lean
|
|
|
|
EnergyGradientSignal.lean.pist
|
|
|
|
EnergyGradientSignal.lean.pist.meta
|
|
|
|
ENESecurity.lean
|
|
|
|
EntropyMeasures.lean
|
feat(q16_16): Float to Q16_16 migration + CharPoly exact eigendecomposition
|
2026-07-01 22:25:37 -05:00 |
|
EntropyPhaseEngine.lean
|
feat(q16_16): Float to Q16_16 migration + CharPoly exact eigendecomposition
|
2026-07-01 22:25:37 -05:00 |
|
EntropyPhaseEngine.lean.pist
|
|
|
|
EntropyPhaseEngine.lean.pist.meta
|
|
|
|
EnvironmentMechanics.lean
|
|
|
|
EnvironmentMechanics.lean.pist
|
|
|
|
EnvironmentMechanics.lean.pist.meta
|
|
|
|
EpistemicHonesty.lean
|
|
|
|
EquationFractalEncoding.lean
|
feat(q16_16): Float to Q16_16 migration + CharPoly exact eigendecomposition
|
2026-07-01 22:25:37 -05:00 |
|
EquationTranslation.lean
|
|
|
|
ErdosRenyiPipeline.lean
|
feat(infra): parallel Gremlin edge loader; graph load complete
|
2026-06-20 19:57:29 -05:00 |
|
Errors.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
EtaMoE.lean
|
|
|
|
EthereumRGFlow.lean
|
|
|
|
Evolution.lean
|
|
|
|
ExoticSpacetime.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
ExoticSpacetime.lean.pist
|
|
|
|
ExoticSpacetime.lean.pist.meta
|
|
|
|
ExperienceCompression.lean
|
|
|
|
ExperienceCompression.lean.pist
|
|
|
|
ExperienceCompression.lean.pist.meta
|
|
|
|
ExperimentTracker.lean
|
|
|
|
ExtendedManifoldEncoding.lean
|
|
|
|
ExternalConnectors.lean
|
|
|
|
F01_Q16_16_FixedPoint.lean
|
fix(lean): complete projectionOrdering proof in GeometricCompressionWorkspace
|
2026-06-18 15:06:50 -05:00 |
|
FAMM.lean
|
fix(lean): move file-level open before namespace to inside namespace
|
2026-05-26 23:38:56 -05:00 |
|
FAMMCoChain.lean
|
|
|
|
FaultTolerance.lean
|
|
|
|
FibonacciEncoding.lean
|
|
|
|
FibonacciEncoding.lean.pist
|
|
|
|
FibonacciEncoding.lean.pist.meta
|
|
|
|
FieldDamping.lean
|
|
|
|
FieldEquationIntegration.lean
|
|
|
|
FieldEquationIntegration.lean.pist
|
|
|
|
FieldEquationIntegration.lean.pist.meta
|
|
|
|
FieldSolver.lean
|
|
|
|
FiveDTorusTopology.lean
|
|
|
|
FixedPoint.lean
|
feat(lean,infra): Corpus278→250 rename + SLOS-calibrated braid defaults
|
2026-06-18 22:16:52 -05:00 |
|
FixedPointBoundary.lean
|
chore(consolidation): integrate E8Sidon stack (PRs #79 #80 #81 #89) into one PR
|
2026-06-16 02:01:31 +00:00 |
|
FixedPointBridge.lean
|
feat(lean): complete goldenContractionEnergyDecrease proof + PIST predictions pipeline v2
|
2026-05-27 12:40:16 -05:00 |
|
FixedPointBridge.lean.pist
|
|
|
|
FixedPointBridge.lean.pist.meta
|
|
|
|
FlagSort.lean
|
|
|
|
ForceModifiedArrhenius.lean
|
chore: commit accumulated working tree changes
|
2026-05-30 00:10:02 -05:00 |
|
ForestAutodocRegistry.lean
|
|
|
|
Forgejo.lean
|
|
|
|
Forgejo_metadata.json
|
|
|
|
FractionScan.lean
|
|
|
|
FuzzyAssociation.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
GCCL.lean
|
|
|
|
GCLTopologyRevision.lean
|
|
|
|
GemmaIntegration.lean
|
|
|
|
GeneBytecodeJIT.lean
|
|
|
|
GenerateLUT.lean
|
|
|
|
GeneticBraidBridge.lean
|
feat(lean): SDPVerify, GoormaghtighCert, Hachimoji modules; Gremlin mathblob graph loader; branch cleanup
|
2026-06-19 23:06:16 -05:00 |
|
GeneticCode.lean
|
|
|
|
GeneticCodeOptimization.lean
|
|
|
|
GeneticFieldEquation.lean
|
|
|
|
GeneticGroundUp.lean
|
fix(lean): complete projectionOrdering proof in GeometricCompressionWorkspace
|
2026-06-18 15:06:50 -05:00 |
|
GeneticOptimizerVerification.lean
|
|
|
|
GeneticsPromotionGate.lean
|
|
|
|
Genome18.lean
|
|
|
|
GenomicCompression.lean
|
fix(lean): complete projectionOrdering proof in GeometricCompressionWorkspace
|
2026-06-18 15:06:50 -05:00 |
|
Genus1MengerEmbedding.lean
|
|
|
|
GeometricCompressionWorkspace.lean
|
fix(lean): complete projectionOrdering proof in GeometricCompressionWorkspace
|
2026-06-18 15:06:50 -05:00 |
|
GeometricTopology.lean
|
|
|
|
Github.lean
|
|
|
|
Github_metadata.json
|
|
|
|
GlymphaticPumpConstraint.lean
|
|
|
|
GoldenAngleEncoding.lean
|
|
|
|
GoldenAngleEncoding.lean.pist
|
|
|
|
GoldenAngleEncoding.lean.pist.meta
|
|
|
|
GoldenRatioSeparation.lean
|
feat: integrate May 2026 math papers into Research Stack
|
2026-05-30 18:16:57 -05:00 |
|
GoldenSpiralManifold.lean
|
|
|
|
GoldenSpiralManifold.lean.pist
|
|
|
|
GoldenSpiralManifold.lean.pist.meta
|
|
|
|
GoldenSpiralNavigation.lean
|
feat(q16_16): Float to Q16_16 migration + CharPoly exact eigendecomposition
|
2026-07-01 22:25:37 -05:00 |
|
GoldenSpiralNavigation.lean.pist
|
|
|
|
GoldenSpiralNavigation.lean.pist.meta
|
|
|
|
GoormaghtighCert.lean
|
feat(lean): SDPVerify, GoormaghtighCert, Hachimoji modules; Gremlin mathblob graph loader; branch cleanup
|
2026-06-19 23:06:16 -05:00 |
|
GoormaghtighEnumeration.lean
|
feat(infra,lean): add verification engine + complete Goormaghtigh proof certificate
|
2026-06-18 19:40:23 -05:00 |
|
GossipFlipMessage.lean
|
|
|
|
Goxel.lean
|
|
|
|
GoxelGridBus.lean
|
|
|
|
GpuDutyAssignment.lean
|
|
|
|
GpuDutyAssignment.lean.pist
|
|
|
|
GpuDutyAssignment.lean.pist.meta
|
|
|
|
GPUResourceManager.lean
|
|
|
|
GPUResourceManager.lean.pist
|
|
|
|
GPUResourceManager.lean.pist.meta
|
|
|
|
GradientPathMap.lean
|
|
|
|
Graph.lean
|
|
|
|
GraphRank.lean
|
chore: update sorry docs with computational verification notes
|
2026-06-22 21:41:34 -05:00 |
|
HachimojiCostRefinement.lean
|
|
|
|
HachimojiManifoldAxiom.lean
|
feat(infra): parallel Gremlin edge loader; graph load complete
|
2026-06-20 19:57:29 -05:00 |
|
HachimojiPipeline.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
HachimojiSubstitution.lean
|
feat(lean): SDPVerify, GoormaghtighCert, Hachimoji modules; Gremlin mathblob graph loader; branch cleanup
|
2026-06-19 23:06:16 -05:00 |
|
HamiltonianFormal.lean
|
|
|
|
HamiltonianFormal.lean.pist
|
|
|
|
HamiltonianFormal.lean.pist.meta
|
|
|
|
HamiltonianVerification.lean
|
|
|
|
HamiltonianVerification.lean.pist
|
|
|
|
HamiltonianVerification.lean.pist.meta
|
|
|
|
HermesAgentIntegration.lean
|
|
|
|
HexLogogramAtlas.lean
|
|
|
|
HolographicProjection.lean
|
|
|
|
HonestParameterReport.lean
|
|
|
|
HormoneDeriv.lean
|
|
|
|
HotPathColdPath.lean
|
|
|
|
HouseholderQR.lean
|
fix(adversarial-review): resolve 35 critical coding bugs across 8 subsystems
|
2026-05-31 23:38:03 -05:00 |
|
HumanNeuralCompression.lean
|
fix(lean): complete projectionOrdering proof in GeometricCompressionWorkspace
|
2026-06-18 15:06:50 -05:00 |
|
HumanNeuralCompressionVerification.lean
|
|
|
|
HumanNeuralCompressionVerification.lean.pist
|
|
|
|
HumanNeuralCompressionVerification.lean.pist.meta
|
|
|
|
Hutter.lean
|
|
|
|
Hutter.lean.pist
|
|
|
|
Hutter.lean.pist.meta
|
|
|
|
HutterMaximumCompression.lean
|
|
|
|
HutterPrizeCompression.lean
|
|
|
|
HutterPrizeCompression.lean.pist
|
|
|
|
HutterPrizeCompression.lean.pist.meta
|
|
|
|
HutterPrizeFlow.lean
|
|
|
|
HutterPrizeFlow.lean.pist
|
|
|
|
HutterPrizeFlow.lean.pist.meta
|
|
|
|
HutterPrizeISA.lean
|
|
|
|
HutterPrizeRGFlow.lean
|
|
|
|
HybridConvergence.lean
|
|
|
|
HybridTSMPISTTorus.lean
|
|
|
|
HydrogenicPhiTorsionBraid.lean
|
|
|
|
HyperbolicEncoding.lean
|
|
|
|
HypercubeTopology.lean
|
|
|
|
HyperFlow.lean
|
|
|
|
Hyperfluid.lean
|
|
|
|
ImaginarySemanticTime.lean
|
feat(infra): parallel Gremlin edge loader; graph load complete
|
2026-06-20 19:57:29 -05:00 |
|
InformationConservation.lean
|
|
|
|
InformationConservation.lean.pist
|
|
|
|
InformationConservation.lean.pist.meta
|
|
|
|
Ingestion.lean
|
|
|
|
InteractionGraphSidon.lean
|
feat(lean): InteractionGraphSidon — RRC weak axes as atproto-style projections
|
2026-06-20 20:15:39 -05:00 |
|
InteratomicPotential.lean
|
|
|
|
InteratomicPotential.lean.pist
|
|
|
|
InteratomicPotential.lean.pist.meta
|
|
|
|
IntrinsicGeometry.lean
|
|
|
|
JouleEnergy.lean
|
|
|
|
JsonLSurfaceConnector.lean
|
|
|
|
KdVBurgersPDE.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
KeplerianOrbit.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
KillerCriterion.lean
|
|
|
|
LadderBraidAlgebra.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
LadderLUT.lean
|
|
|
|
LandauerCompression.lean
|
|
|
|
LandauerCompression.lean.pist
|
|
|
|
LandauerCompression.lean.pist.meta
|
|
|
|
LaviGen.lean
|
|
|
|
LawfulLoss.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
Layer3TransmissionModel.lean
|
|
|
|
Lean4ImprovementProofs.lean
|
|
|
|
LeanBridge.lean
|
|
|
|
LeanGPTTSMLayer.lean
|
|
|
|
LeanProof.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
Lemmas.lean
|
|
|
|
Lemmas.lean.pist
|
|
|
|
Lemmas.lean.pist.meta
|
|
|
|
LocalDerivative.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
LocalExpansion.lean
|
|
|
|
LogogramRotationLoop.lean
|
|
|
|
LogogramSubstitution.lean
|
|
|
|
LonelyRunner.lean
|
fix(lean): resolve 4 TODO(lean-port) placeholders
|
2026-06-18 15:07:39 -05:00 |
|
MagnetoPlasma.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
ManifoldBoundaryAtlas.lean
|
|
|
|
ManifoldFlow.lean
|
|
|
|
ManifoldNetworking.lean
|
|
|
|
ManifoldPotential.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
ManifoldPotential.lean.pist
|
|
|
|
ManifoldPotential.lean.pist.meta
|
|
|
|
ManifoldStructures.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
ManifoldStructures.lean.pist
|
|
|
|
ManifoldStructures.lean.pist.meta
|
|
|
|
ManifoldTopology.lean
|
|
|
|
ManyWorldsAddress.lean
|
|
|
|
MassNumberAdapter.lean
|
feat(q16_16): Float to Q16_16 migration + CharPoly exact eigendecomposition
|
2026-07-01 22:25:37 -05:00 |
|
MassNumberLinter.lean
|
fix(lean): complete projectionOrdering proof in GeometricCompressionWorkspace
|
2026-06-18 15:06:50 -05:00 |
|
MassNumberMetricClosure.lean
|
|
|
|
MassNumberPreSlots.lean
|
|
|
|
MasterEquation.lean
|
|
|
|
McpSurfaceManifest.lean
|
|
|
|
MechanicalLogic.lean
|
|
|
|
MengerSpongeFractalAddressing.lean
|
|
|
|
MereotopologicalSheafHypergraph.lean
|
|
|
|
MereotopologicalVideo.lean
|
|
|
|
MeshRouting.lean
|
fix(lean): complete projectionOrdering proof in GeometricCompressionWorkspace
|
2026-06-18 15:06:50 -05:00 |
|
MetadataSurfaceComputation.lean
|
|
|
|
MetaManifoldProver.lean
|
|
|
|
Metatype.lean
|
|
|
|
MetricCore.lean
|
|
|
|
MinimalBitcoinL3.lean
|
|
|
|
MinimalLayer3Eval.lean
|
|
|
|
MISignal.lean
|
|
|
|
MISignal.lean.pist
|
|
|
|
MISignal.lean.pist.meta
|
|
|
|
MMRFAMMUnification.lean
|
fix(lean): move file-level open before namespace to inside namespace
|
2026-05-26 23:38:56 -05:00 |
|
MNLOGQuaternionBridge.lean
|
|
|
|
MoECache.lean
|
|
|
|
MOFCO2Reduction.lean
|
fix(lean): complete projectionOrdering proof in GeometricCompressionWorkspace
|
2026-06-18 15:06:50 -05:00 |
|
MorphicDSP.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
MorphicLocalField.lean
|
|
|
|
MorphicNeuralNetwork.lean
|
|
|
|
MorphicScalar.lean
|
|
|
|
MultiBodyField.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
MultiBodyField.lean.pist
|
|
|
|
MultiBodyField.lean.pist.meta
|
|
|
|
MultiSurfacePacker.lean
|
feat(lean): Multi-surface packing Lagrangian + QuaternionScalar fix
|
2026-06-28 22:48:50 -05:00 |
|
N3L_Energy.lean
|
feat(lean): close gaussian_line_integral_unit_dir + consolidate infrastructure
|
2026-06-18 16:53:23 -05:00 |
|
Navigator.lean
|
|
|
|
NeighborCoupling.lean
|
|
|
|
NeighborCoupling.lean.pist
|
|
|
|
NeighborCoupling.lean.pist.meta
|
|
|
|
NetworkCapacity.lean
|
|
|
|
NetworkedSelfSolvingSpace.lean
|
|
|
|
NetworkRAM.lean
|
|
|
|
NeurodivergentPatternLUT.lean
|
|
|
|
NextGenAgentDesign.lean
|
|
|
|
NGemetry.lean
|
fix(lean): complete projectionOrdering proof in GeometricCompressionWorkspace
|
2026-06-18 15:06:50 -05:00 |
|
NGemetry.lean.pist
|
|
|
|
NGemetry.lean.pist.meta
|
|
|
|
NIICore.lean
|
|
|
|
NKHodgeFAMM.lean
|
feat(lean): add logarithmic viscosity coordinates to NKHodgeFAMM
|
2026-06-22 01:21:58 -05:00 |
|
NNonEuclideanGeometry.lean
|
|
|
|
NNonEuclideanGeometry.lean.pist
|
|
|
|
NNonEuclideanGeometry.lean.pist.meta
|
|
|
|
NonEuclideanGeometry.lean
|
|
|
|
NonEuclideanGeometry.lean.pist
|
|
|
|
NonEuclideanGeometry.lean.pist.meta
|
|
|
|
NonStandardInterfaces.lean
|
|
|
|
NS_MD.lean
|
fix(lean): complete projectionOrdering proof in GeometricCompressionWorkspace
|
2026-06-18 15:06:50 -05:00 |
|
NUVMATH.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
OEPI.lean
|
|
|
|
Omindirection.lean
|
|
|
|
OmnidirectionalInterface.lean
|
|
|
|
OmniNetwork.lean
|
|
|
|
OpenWorm.lean
|
|
|
|
OptimizedRoute.lean
|
feat: optimized route proof + scale space solver fix
|
2026-05-28 15:53:28 -05:00 |
|
Orchestrate.lean
|
|
|
|
OrderedFieldTokens.lean
|
|
|
|
OrthogonalAmmr.lean
|
|
|
|
OTOMOntology.lean
|
|
|
|
PandigitalEpigeneticSwitch.lean
|
|
|
|
PandigitalSpectralMass.lean
|
|
|
|
ParameterSensitivity.lean
|
|
|
|
PassiveComputation.lean
|
|
|
|
Path.lean
|
|
|
|
Pbacs.lean
|
|
|
|
PBACSSignal.lean
|
|
|
|
PBACSVerilogEquivalence.lean
|
|
|
|
PenguinDecayLUT.lean
|
chore: commit accumulated working tree changes
|
2026-05-30 00:10:02 -05:00 |
|
PeptideMoE.lean
|
|
|
|
PeptideMoEExamples.lean
|
|
|
|
PeptideMoEFailure.lean
|
|
|
|
PeptideMoERepair.lean
|
|
|
|
PhinaryNumberSystem.lean
|
|
|
|
PhiShellEncoding.lean
|
|
|
|
PhiShellEncoding.lean.pist
|
|
|
|
PhiShellEncoding.lean.pist.meta
|
|
|
|
Physics.lean
|
|
|
|
PhysicsEuclidean.lean
|
|
|
|
PhysicsEuclidean.lean.pist
|
|
|
|
PhysicsEuclidean.lean.pist.meta
|
|
|
|
PhysicsLagrangian.lean
|
|
|
|
PhysicsLagrangian.lean.pist
|
|
|
|
PhysicsLagrangian.lean.pist.meta
|
|
|
|
PhysicsPipeline.lean
|
feat: particle physics pipeline — LadderBraid, PenguinDecay, RRC, PhysicsPipeline
|
2026-05-28 19:43:39 -05:00 |
|
PhysicsScalar.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
PhysicsScalar.lean.pist
|
|
|
|
PhysicsScalar.lean.pist.meta
|
|
|
|
PhysicsScalarBridge.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
PIST.lean
|
|
|
|
PistBridge.lean
|
|
|
|
PISTMachine.lean
|
|
|
|
PistSimulation.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
PostQuantumEscrow.lean
|
|
|
|
PostQuantumEscrow.lean.pist
|
|
|
|
PostQuantumEscrow.lean.pist.meta
|
|
|
|
PrimeLut.lean
|
|
|
|
PrimitiveMatrix.lean
|
feat: PrimitiveMatrix — division-free matrix inversion via common denominator
|
2026-05-28 18:07:56 -05:00 |
|
ProductSidon.lean
|
refactor(lean): ProductSidon — snake_case names, remove redundant heq', congrArg
|
2026-06-20 06:46:03 +00:00 |
|
Prohibited.lean
|
|
|
|
ProjectableGeometryCanonical.lean
|
|
|
|
Projections.lean
|
|
|
|
Protocol.lean
|
|
|
|
ProtonDecayAnchor.lean
|
|
|
|
ProvenanceSource.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
ProvenanceSource_metadata.json
|
|
|
|
Purify.lean
|
|
|
|
PutinarBackbone.lean
|
feat(lean): SDPVerify, GoormaghtighCert, Hachimoji modules; Gremlin mathblob graph loader; branch cleanup
|
2026-06-19 23:06:16 -05:00 |
|
PVGS_DQ_Bridge.lean
|
feat(lean): close gaussian_line_integral_unit_dir + consolidate infrastructure
|
2026-06-18 16:53:23 -05:00 |
|
Q0_2.lean
|
|
|
|
Q16_16_Unification_Demo.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
Q16_16Numerics.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
Q16InverseProof.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
QFactor.lean
|
fix(lean): complete projectionOrdering proof in GeometricCompressionWorkspace
|
2026-06-18 15:06:50 -05:00 |
|
QRGridState.lean
|
|
|
|
QRGridState.lean.pist
|
|
|
|
QRGridState.lean.pist.meta
|
|
|
|
QuadrionBoundness.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
Quantization.lean
|
|
|
|
Quantization.lean.pist
|
|
|
|
Quantization.lean.pist.meta
|
|
|
|
QuantumAwareLean.lean
|
|
|
|
QuantumManifoldGeometry.lean
|
|
|
|
QuantumManifoldGeometry.lean.pist
|
|
|
|
QuantumManifoldGeometry.lean.pist.meta
|
|
|
|
Quaternion.lean
|
|
|
|
QuaternionScalar.lean
|
feat(lean): Multi-surface packing Lagrangian + QuaternionScalar fix
|
2026-06-28 22:48:50 -05:00 |
|
RaycastField.lean
|
|
|
|
RcloneIntegration.lean
|
|
|
|
RealityContractMassNumber.lean
|
|
|
|
ReceiptCore.lean
|
|
|
|
RegimeCore.lean
|
|
|
|
RelationMaskTrainer.lean
|
|
|
|
ResearchAgent.lean
|
fix(lean): complete projectionOrdering proof in GeometricCompressionWorkspace
|
2026-06-18 15:06:50 -05:00 |
|
ResonanceGradient.lean
|
|
|
|
ResonanceGradient.lean.pist
|
|
|
|
ResonanceGradient.lean.pist.meta
|
|
|
|
ResourceLayers.lean
|
|
|
|
RFPFieldSolver.lean
|
|
|
|
RiemannianResonanceCorrelator.lean
|
chore: commit accumulated working tree changes
|
2026-05-30 00:10:02 -05:00 |
|
RotationQUBO.lean
|
fix(lean): complete projectionOrdering proof in GeometricCompressionWorkspace
|
2026-06-18 15:06:50 -05:00 |
|
RouteCost.lean
|
feat: Tailscale graceful degradation — chain never fails
|
2026-05-28 19:19:14 -05:00 |
|
RRCLogogramProjection.lean
|
feat(lean): CharPoly Faddeev-LeVerrier + replace power iteration with exact eigendecomposition
|
2026-07-01 18:51:56 -05:00 |
|
RustOISCDecompressor.lean
|
|
|
|
S3C.lean
|
|
|
|
S3CGeometry.lean
|
|
|
|
S3CResonance.lean
|
|
|
|
SabotagePrevention.lean
|
|
|
|
ScalarCollapse.lean
|
|
|
|
ScalarCollapse.lean.pist
|
|
|
|
ScalarCollapse.lean.pist.meta
|
|
|
|
ScalarEventProjection.lean
|
|
|
|
SDPVerify.lean
|
feat(lean): SDPVerify, GoormaghtighCert, Hachimoji modules; Gremlin mathblob graph loader; branch cleanup
|
2026-06-19 23:06:16 -05:00 |
|
SDTA.lean
|
feat(lean,infra): Corpus278→250 rename + SLOS-calibrated braid defaults
|
2026-06-18 22:16:52 -05:00 |
|
Search.lean
|
|
|
|
Selfies.lean
|
|
|
|
SemanticMass.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
SemanticRGFlow.lean
|
|
|
|
SensorField.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
SensorField.lean.pist
|
|
|
|
SensorField.lean.pist.meta
|
|
|
|
ShellModel.lean
|
|
|
|
ShellModel.lean.pist
|
|
|
|
ShellModel.lean.pist.meta
|
|
|
|
ShortestObservableTime.lean
|
|
|
|
SIConstants.lean
|
|
|
|
SidonAVM.lean
|
|
|
|
SidonSet.lean
|
|
|
|
SidonSets.lean
|
chore(infra): stage working tree modifications
|
2026-06-22 01:23:17 -05:00 |
|
SieveLemmas.lean
|
feat(lean): add SieveLemmas.lean with depth_token_coprime_intersect
|
2026-06-20 20:05:05 -05:00 |
|
SigmaGate.lean
|
|
|
|
SigmaGateBenchmark.lean
|
|
|
|
SigmaGateEntropy.lean
|
|
|
|
SIMDBranchPrediction.lean
|
|
|
|
SLUG3.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
SLUQ.lean
|
feat(lean): CharPoly Faddeev-LeVerrier + replace power iteration with exact eigendecomposition
|
2026-07-01 18:51:56 -05:00 |
|
SLUQQuaternionIntegration.lean
|
|
|
|
SLUQTriage.lean
|
|
|
|
SMEFTExtension.lean
|
chore: commit accumulated working tree changes
|
2026-05-30 00:10:02 -05:00 |
|
Smiles.lean
|
|
|
|
SolitonLighthouse.lean
|
|
|
|
SolitonLighthouse.lean.pist
|
|
|
|
SolitonLighthouse.lean.pist.meta
|
|
|
|
SolitonTensor.lean
|
|
|
|
SparkleBridge.lean
|
|
|
|
SpatialEvo.lean
|
|
|
|
SpatialEvo.lean.pist
|
|
|
|
SpatialEvo.lean.pist.meta
|
|
|
|
SpatialHashCodec.lean
|
fix(lean): resolve 4 TODO(lean-port) placeholders
|
2026-06-18 15:07:39 -05:00 |
|
SpectralField.lean
|
|
|
|
SpectralField.lean.pist
|
|
|
|
SpectralField.lean.pist.meta
|
|
|
|
Spectrum.lean
|
fix(lean): add crossInputGap + strengthen cleanMerge_preservesGap
|
2026-06-22 13:35:26 -05:00 |
|
Spectrum.lean.pist
|
|
|
|
Spectrum.lean.pist.meta
|
|
|
|
SpherionTwinPrime.lean
|
feat(lean): SDPVerify, GoormaghtighCert, Hachimoji modules; Gremlin mathblob graph loader; branch cleanup
|
2026-06-19 23:06:16 -05:00 |
|
SpikingDynamics.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
SSMS.lean
|
fix(lean): complete projectionOrdering proof in GeometricCompressionWorkspace
|
2026-06-18 15:06:50 -05:00 |
|
SSMS_nD.lean
|
|
|
|
StochasticBurgersPDE.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
StreamCompression.lean
|
fix(lean): complete projectionOrdering proof in GeometricCompressionWorkspace
|
2026-06-18 15:06:50 -05:00 |
|
SubagentOrchestrator.lean
|
fix(lean): complete projectionOrdering proof in GeometricCompressionWorkspace
|
2026-06-18 15:06:50 -05:00 |
|
Substrate.lean
|
|
|
|
SubstrateProfile.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
Surface.lean
|
|
|
|
Surface.lean.pist
|
|
|
|
Surface.lean.pist.meta
|
|
|
|
SurfaceCore.lean
|
|
|
|
SwarmAnalysis.lean
|
|
|
|
SwarmCodeGeneration.lean
|
|
|
|
SwarmCodeReview.lean
|
|
|
|
SwarmCompetition.lean
|
|
|
|
SwarmDesignReview.lean
|
|
|
|
SwarmENEMiddleware.lean
|
|
|
|
SwarmMoERewiring.lean
|
|
|
|
SwarmQueryAPI.lean
|
|
|
|
SwarmRGFlow.lean
|
|
|
|
SwarmTopology.lean
|
|
|
|
SymbologyBorrowing.lean
|
|
|
|
SyntheticGeneticCoding.lean
|
|
|
|
Tactics.lean
|
|
|
|
Tape.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
TemporalSpatialRAM.lean
|
|
|
|
test_native_decide.lean
|
chore: commit accumulated working tree changes
|
2026-05-30 00:10:02 -05:00 |
|
TestCopyIf.lean
|
feat: CopyIfTactic — native Lean 4 pre-filter tactic
|
2026-05-29 02:58:19 -05:00 |
|
ThermodynamicSort.lean
|
|
|
|
ThermodynamicSort.lean.pist
|
|
|
|
ThermodynamicSort.lean.pist.meta
|
|
|
|
ThresholdVector.lean
|
|
|
|
TileFlipConsensus.lean
|
|
|
|
TileStateMachine.lean
|
|
|
|
Timing.lean
|
|
|
|
Toolkit.lean
|
|
|
|
TopologicalAwareness.lean
|
fix(lean): complete projectionOrdering proof in GeometricCompressionWorkspace
|
2026-06-18 15:06:50 -05:00 |
|
TopologicalBraidAdapter.lean
|
fix(lean): resolve proofs in TopologicalBraidAdapter
|
2026-06-18 23:57:29 -05:00 |
|
TopologicalPersistence.lean
|
|
|
|
TopologicalStateMachine.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
TopologyDlessScalar.lean
|
fix(lean): complete projectionOrdering proof in GeometricCompressionWorkspace
|
2026-06-18 15:06:50 -05:00 |
|
TopologyDlessScalar.lean.pist
|
|
|
|
TopologyDlessScalar.lean.pist.meta
|
|
|
|
TopologyDomainAlignment.lean
|
|
|
|
TopologyDomainAlignment.lean.pist
|
|
|
|
TopologyDomainAlignment.lean.pist.meta
|
|
|
|
TopologyFractalEncoding.lean
|
fix(lean): complete projectionOrdering proof in GeometricCompressionWorkspace
|
2026-06-18 15:06:50 -05:00 |
|
TopologyFractalEncoding.lean.pist
|
|
|
|
TopologyFractalEncoding.lean.pist.meta
|
|
|
|
TopologyGoldenSpiral.lean
|
fix(lean): complete projectionOrdering proof in GeometricCompressionWorkspace
|
2026-06-18 15:06:50 -05:00 |
|
TopologyGoldenSpiral.lean.pist
|
|
|
|
TopologyGoldenSpiral.lean.pist.meta
|
|
|
|
TopologyNode.lean
|
|
|
|
TopologyOptimization.lean
|
|
|
|
TopologyPhinary.lean
|
|
|
|
TopologyPhinary.lean.pist
|
|
|
|
TopologyPhinary.lean.pist.meta
|
|
|
|
TopologyResilience.lean
|
|
|
|
TorsionalPIST.lean
|
|
|
|
Transition.lean
|
|
|
|
Transition.lean.pist
|
|
|
|
Transition.lean.pist.meta
|
|
|
|
TransportQUBOBridge.lean
|
feat(lean): Chentsov->Finsler->QUBO->QAOA routing bridge
|
2026-06-21 00:32:23 -05:00 |
|
TransportTheory.lean
|
feat(lean): Chentsov->Finsler->QUBO->QAOA routing bridge
|
2026-06-21 00:32:23 -05:00 |
|
TreeDIATKruskal.lean
|
|
|
|
TriangleManifold.lean
|
chore(repo): push local 768-commit branch state onto clean remote baseline
|
2026-06-15 22:46:50 -05:00 |
|
TriumvirateEnforcer.lean
|
|
|
|
TSMEfficiency.lean
|
|
|
|
UnifiedConvictionFlow.lean
|
|
|
|
UnifiedDomainTheory.lean
|
|
|
|
UnifiedFunctionLayer.lean
|
|
|
|
UnifiedSchema.lean
|
|
|
|
UnitConversion.lean
|
fix(lean): complete projectionOrdering proof in GeometricCompressionWorkspace
|
2026-06-18 15:06:50 -05:00 |
|
UnitQuaternion.lean
|
chore: commit accumulated working tree changes
|
2026-05-30 00:10:02 -05:00 |
|
UniversalCoupling.lean
|
fix(lean): complete projectionOrdering proof in GeometricCompressionWorkspace
|
2026-06-18 15:06:50 -05:00 |
|
UniversalCoupling.lean.pist
|
|
|
|
UniversalCoupling.lean.pist.meta
|
|
|
|
UniversalField.lean
|
chore(infra): stage working tree modifications
|
2026-06-22 01:23:17 -05:00 |
|
Universality.lean
|
|
|
|
Universality.lean.pist
|
|
|
|
Universality.lean.pist.meta
|
|
|
|
USBTransportShim.lean
|
|
|
|
VecState.lean
|
|
|
|
VecState.lean.pist
|
|
|
|
VecState.lean.pist.meta
|
|
|
|
VideoPhysics.lean
|
|
|
|
VirtualGPUTopology.lean
|
|
|
|
VirtualGPUTopology.lean.pist
|
|
|
|
VirtualGPUTopology.lean.pist.meta
|
|
|
|
VirtualWarpMetric.lean
|
|
|
|
VLsIPartition.lean
|
|
|
|
VorticityDecomposition.lean
|
feat: complete all four interconnected solves
|
2026-06-16 22:21:55 -05:00 |
|
VoxelEncoding.lean
|
|
|
|
VoxelEncoding.lean.pist
|
|
|
|
VoxelEncoding.lean.pist.meta
|
|
|
|
WaveformTeleport.lean
|
|
|
|
WavefrontEmitter.lean
|
|
|
|
WavefrontEmitter.lean.pist
|
|
|
|
WavefrontEmitter.lean.pist.meta
|
|
|
|
WebInteractionSurface.lean
|
|
|
|
WebRTCWaveformSync.lean
|
|
|
|
WhitespaceFreeGrammar.lean
|
|
|
|
Witness.lean
|
|
|
|
WitnessGrammar.lean
|
|
|
|
WSM_WR_EGS_WC.lean
|
fix(lean): complete projectionOrdering proof in GeometricCompressionWorkspace
|
2026-06-18 15:06:50 -05:00 |
|
WSMConcrete.lean
|
|
|
|
YangMillsCompression.lean
|
|
|
|
YangMillsCompressionBounds.lean
|
|
|
|
YangMillsLattice.lean
|
|
|
|
YangMillsLatticeSizing.lean
|
|
|
|
YangMillsPerformance.lean
|
|
|
