| .. |
|
Bind.lean
|
refactor(core): typed Invariant/TensorType migration, CartanConnection cleanup
|
2026-06-28 00:11:28 -05:00 |
|
BraidBracket.lean
|
feat(rrc): bare-minimum RRC refactor into SilverSight
|
2026-06-21 09:08:48 -05:00 |
|
BraidCross.lean
|
feat(rrc): bare-minimum RRC refactor into SilverSight
|
2026-06-21 09:08:48 -05:00 |
|
BraidEigensolid.lean
|
refactor(core): typed Invariant/TensorType migration, CartanConnection cleanup
|
2026-06-28 00:11:28 -05:00 |
|
BraidField.lean
|
refactor(core): typed Invariant/TensorType migration, CartanConnection cleanup
|
2026-06-28 00:11:28 -05:00 |
|
BraidSpherionBridge.lean
|
feat(rrc): bare-minimum RRC refactor into SilverSight
|
2026-06-21 09:08:48 -05:00 |
|
BraidStateN.lean
|
fix(braid): resolve rossby_convergence_bound sorry, add rossby_energy_dissipation_rate stub
|
2026-06-30 16:38:55 -05:00 |
|
BraidStrand.lean
|
feat(rrc): bare-minimum RRC refactor into SilverSight
|
2026-06-21 09:08:48 -05:00 |
|
ChentsovFinite.lean
|
chore(quality): native_decide migration, docs, and phi pipeline cleanup
|
2026-06-27 01:56:54 -05:00 |
|
DynamicCanal.lean
|
feat(rrc): bare-minimum RRC refactor into SilverSight
|
2026-06-21 09:08:48 -05:00 |
|
FixedPoint.lean
|
feat(lean): Add FisherRigidity bridge for parabola focal-chord to Fisher-Rao
|
2026-06-24 10:24:54 -05:00 |
|
GoormaghtighEnumeration.lean
|
feat(phi): Hachimoji N=8 foundation, Phi pipeline, AVMIsa audit report
|
2026-06-28 00:11:39 -05:00 |
|
HachimojiBase.lean
|
chore(quality): native_decide migration, docs, and phi pipeline cleanup
|
2026-06-27 01:56:54 -05:00 |
|
HachimojiBridging.lean
|
chore(quality): native_decide migration, docs, and phi pipeline cleanup
|
2026-06-27 01:56:54 -05:00 |
|
HachimojiCodec.lean
|
chore(quality): native_decide migration, docs, and phi pipeline cleanup
|
2026-06-27 01:56:54 -05:00 |
|
HachimojiLUT.lean
|
chore(quality): native_decide migration, docs, and phi pipeline cleanup
|
2026-06-27 01:56:54 -05:00 |
|
HachimojiManifoldAxiom.lean
|
feat(lean): add PhiPipelineReceipt, HachimojiManifoldAxiom; quarantine PVGS
|
2026-06-30 04:54:14 -05:00 |
|
InteractionGraphSidon.lean
|
feat(rrc): bare-minimum RRC refactor into SilverSight
|
2026-06-21 09:08:48 -05:00 |
|
Q16_16Numerics.lean
|
chore(quality): native_decide migration, docs, and phi pipeline cleanup
|
2026-06-27 01:56:54 -05:00 |
|
SidonSets.lean
|
feat(rrc): bare-minimum RRC refactor into SilverSight
|
2026-06-21 09:08:48 -05:00 |
|
SieveLemmas.lean
|
feat(rrc): bare-minimum RRC refactor into SilverSight
|
2026-06-21 09:08:48 -05:00 |
|
Tactics.lean
|
feat(rrc): bare-minimum RRC refactor into SilverSight
|
2026-06-21 09:08:48 -05:00 |
