allaun/SilverSight
1
0
Fork 0
mirror of https://github.com/allaunthefox/SilverSight.git synced 2026-08-06 02:15:45 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
SilverSight/formal/CoreFormalism
History
allaun 7f17cf29f3 docs: add non-claim clarification — chiral labels are numerical, not biological 
helical_encoding.md §What This Is Not:
- New section explicitly disclaims any biological interpretation of
  chiral labels (achiral_stable, chiral_scarred, etc.)
- The DNA ↔ Cartan isomorphism is at the structural level of
  complementary pairing, independent of the numerical overlay

cartan_fingerprint.md:
- Same clarification added to the isomorphism section
2026-06-30 20:16:18 -05:00
..
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 docs: add non-claim clarification — chiral labels are numerical, not biological 2026-06-30 20:16:18 -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
E8Sidon.lean docs: Hopf Portability Criterion + Ingest Bridge — 4-agent synthesis 2026-06-30 19:53:58 -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
HopfFibration.lean docs(repair): adversarial review repairs — retract 5 claims, refactor 2026-06-30 20:12:47 -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