mirror of
https://github.com/allaunthefox/SilverSight.git
synced 2026-07-31 01:25:21 +00:00
allaun
cf6096882f
Includes: - n-dimensional generic modules (BraidStateN, MatrixN, SpectralN, ClassifyN, FisherRigidityN, FixedPointBridge) - Feasible Set Theorem proofs + QUBO relaxation - Anti-smuggle protocol (seedlock, mutation testing, cross_validate, qc_flag, symbol verification) - Q16_16 bridge with quad matrix representation - Infrastructure scripts (entry gate, determinism checks) - Test suites for Lean modules, scripts, and QUBO pipeline - FixedPoint migration and HachimojiN8 updates - Documentation updates (ARCHITECTURE, GLOSSARY, DOCUMENT_SETS) - QUBO conflict sweep and FSR validation - GitHub Actions anti-smuggle workflow Build: 3307 jobs, 0 errors
85 lines
2.9 KiB
JSON
85 lines
2.9 KiB
JSON
{
|
|
"schema": "mutation_manifest_v1",
|
|
"sources": {
|
|
"formal/SilverSight/HachimojiN8.lean": {
|
|
"module": "SilverSight.HachimojiN8",
|
|
"build_target": "SilverSightRRC",
|
|
"theorems": {
|
|
"n8_satisfies": {
|
|
"mutations": [
|
|
{"id": "H001", "desc": "flip true→false", "diff": "allOk 8 = true → allOk 8 = false"},
|
|
{"id": "H002", "desc": "replace 8 with 7", "diff": "allOk 8 → allOk 7"},
|
|
{"id": "H003", "desc": "replace allOk with True", "diff": "allOk 8 = true → True"}
|
|
]
|
|
},
|
|
"n8_is_minimum": {
|
|
"mutations": [
|
|
{"id": "H004", "desc": "flip N < 8 to N ≥ 8", "diff": "N < 8 → N ≥ 8"}
|
|
]
|
|
},
|
|
"n8_unique": {
|
|
"mutations": [
|
|
{"id": "H005", "desc": "flip N = 8 to N ≠ 8", "diff": "Fin 8 → Fin 7"}
|
|
]
|
|
},
|
|
"n8_necessity": {
|
|
"mutations": [
|
|
{"id": "H006", "desc": "flip result false→true", "diff": "allOk N = false → allOk N = true"}
|
|
]
|
|
}
|
|
}
|
|
},
|
|
"formal/SilverSight/RRC/Emit.lean": {
|
|
"module": "SilverSight.RRC.Emit",
|
|
"build_target": "SilverSightRRC",
|
|
"theorems": {
|
|
"ncDerived_mul": {
|
|
"mutations": [
|
|
{"id": "E001", "desc": "replace mul with add", "diff": "Q16_16.mul → Q16_16.add"},
|
|
{"id": "E002", "desc": "replace with zero", "diff": "r.residualRisk * r.scaleBandDeclared → 0"}
|
|
]
|
|
},
|
|
"ncDerived_independence_justification": {
|
|
"mutations": [
|
|
{"id": "E003", "desc": "replace True with False", "diff": "True → False"}
|
|
]
|
|
}
|
|
}
|
|
},
|
|
"formal/SilverSight/PIST/FisherRigidity.lean": {
|
|
"module": "SilverSight.PIST.FisherRigidity",
|
|
"build_target": "SilverSightRRC",
|
|
"theorems": {
|
|
"spectralGapIntCompare": {
|
|
"mutations": [
|
|
{"id": "F001", "desc": "flip 69888 > 65536 to <", "diff": "69888 > 65536 → 69888 < 65536"},
|
|
{"id": "F002", "desc": "replace 9984 with 9361", "diff": "9984 → 9361"}
|
|
]
|
|
}
|
|
}
|
|
},
|
|
"formal/SilverSight/HachimojiN8Bridge.lean": {
|
|
"module": "SilverSight.HachimojiN8Bridge",
|
|
"build_target": "SilverSightRRC",
|
|
"theorems": {
|
|
"hachimoji_card_matches_necessity": {
|
|
"mutations": [
|
|
{"id": "B001", "desc": "replace 8 with 7", "diff": "8 → 7"}
|
|
]
|
|
}
|
|
}
|
|
},
|
|
"formal/SilverSight/ReceiptCore.lean": {
|
|
"module": "SilverSight.ReceiptCore",
|
|
"build_target": "SilverSightRRC",
|
|
"theorems": {
|
|
"hasReceiptOfKind": {
|
|
"mutations": [
|
|
{"id": "R001", "desc": "flip r.valid to ¬r.valid", "diff": "r.valid → r.receipts"},
|
|
{"id": "R002", "desc": "flip .any to .all", "diff": ".any → .all"}
|
|
]
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|