allaun/SilverSight
1
0
Fork 0
mirror of https://github.com/allaunthefox/SilverSight.git synced 2026-07-31 01:25:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
SilverSight/python/nr_bracket_validation_receipt.json
allaun 1794299a6c chore(quality): native_decide migration, docs, and phi pipeline cleanup 
Systematic native_decide → dec_trivial/rfl migration across all Lean modules
to comply with AGENTS.md rule 5 (no native_decide unless only option):
- CoreFormalism: BraidEigensolid, BraidField, ChentsovFinite, HachimojiBase,
  HachimojiBridging, HachimojiCodec, HachimojiLUT, HachimojiManifoldAxiom,
  Q16_16Numerics
- BindingSite: BindingSiteCodec, BindingSiteEntropy, BindingSiteHachimoji
- SilverSight: ProductSchema, ProductWireFormat, PolyFactorIdentity, Schema, WireFormat
- PVGS_DQ_Bridge: all three files (native_decide->dec_trivial)
- UniversalEncoding/ChiralitySpace

Additional changes:
- gemma4_mcp.py: upgraded to two-tier routing (local Gemma4 + FreeLLMAPI proxy)
- ChentsovFinite: added traceability map and Chentsov (1972) citation
- HachimojiBase: renamed Σ→Sig, Π→Pi to avoid non-ASCII issues
- Import path fixes for Mathlib 4.30.0-rc2 compatibility
- Doc updates: PURE_FORMULAS, SOS_CERTIFICATE, fundamental math derivations
- Build log: 2026-06-26 session findings
- BRKGLASS_NR_BRACKET_PROPOSAL: updated to REAL-DATA VALIDATED status
- New docs: FOUNDATIONAL_GUIDANCE, PURE_EQUATION_MAP, CHENTSOV_FINITE_MATH,
  BREAKGLASS_FUSION_REVIEW_SPEC, COLD_REVIEWER_FORMULA
- New python: phi pipeline (equation_dna_encoder, ast_parse, charclass,
  consistency, embed, output), nr_bracket_validation with receipt

Build: lake build SilverSightRRC — passes on all committed modules.
  Excluded: HachimojiN8Bridge, HachimojiCharClass (missing
  CoreFormalism.HachimojiManifoldAxiom olean — WIP)
2026-06-27 01:56:54 -05:00

410 lines
No EOL
8.2 KiB
JSON
Raw Blame History

{
"schema": "nr_bracket_validation_v1",
"suite_a": {
"total_triples": 343,
"non_zero_count": 0,
"worst_inf_norm": 0.0,
"all_zero": true
},
"suite_b": {
"candidates_tested": 10,
"results": [
{
"candidate_idx": 0,
"worst_inf_norm": 0.0,
"all_near_zero": true,
"details": [
{
"triple": "X,X,X",
"inf_norm": 0.0
},
{
"triple": "Y,Y,Y",
"inf_norm": 0.0
},
{
"triple": "Z,Z,Z",
"inf_norm": 0.0
},
{
"triple": "X,Y,Z",
"inf_norm": 0.0
},
{
"triple": "X,X,Y",
"inf_norm": 0.0
},
{
"triple": "Y,Y,X",
"inf_norm": 0.0
},
{
"triple": "X,Y,Y",
"inf_norm": 0.0
},
{
"triple": "X,Z,Y",
"inf_norm": 0.0
}
]
},
{
"candidate_idx": 1,
"worst_inf_norm": 0.0,
"all_near_zero": true,
"details": [
{
"triple": "X,X,X",
"inf_norm": 0.0
},
{
"triple": "Y,Y,Y",
"inf_norm": 0.0
},
{
"triple": "Z,Z,Z",
"inf_norm": 0.0
},
{
"triple": "X,Y,Z",
"inf_norm": 0.0
},
{
"triple": "X,X,Y",
"inf_norm": 0.0
},
{
"triple": "Y,Y,X",
"inf_norm": 0.0
},
{
"triple": "X,Y,Y",
"inf_norm": 0.0
},
{
"triple": "X,Z,Y",
"inf_norm": 0.0
}
]
},
{
"candidate_idx": 2,
"worst_inf_norm": 0.0,
"all_near_zero": true,
"details": [
{
"triple": "X,X,X",
"inf_norm": 0.0
},
{
"triple": "Y,Y,Y",
"inf_norm": 0.0
},
{
"triple": "Z,Z,Z",
"inf_norm": 0.0
},
{
"triple": "X,Y,Z",
"inf_norm": 0.0
},
{
"triple": "X,X,Y",
"inf_norm": 0.0
},
{
"triple": "Y,Y,X",
"inf_norm": 0.0
},
{
"triple": "X,Y,Y",
"inf_norm": 0.0
},
{
"triple": "X,Z,Y",
"inf_norm": 0.0
}
]
},
{
"candidate_idx": 3,
"worst_inf_norm": 0.0,
"all_near_zero": true,
"details": [
{
"triple": "X,X,X",
"inf_norm": 0.0
},
{
"triple": "Y,Y,Y",
"inf_norm": 0.0
},
{
"triple": "Z,Z,Z",
"inf_norm": 0.0
},
{
"triple": "X,Y,Z",
"inf_norm": 0.0
},
{
"triple": "X,X,Y",
"inf_norm": 0.0
},
{
"triple": "Y,Y,X",
"inf_norm": 0.0
},
{
"triple": "X,Y,Y",
"inf_norm": 0.0
},
{
"triple": "X,Z,Y",
"inf_norm": 0.0
}
]
},
{
"candidate_idx": 4,
"worst_inf_norm": 0.0,
"all_near_zero": true,
"details": [
{
"triple": "X,X,X",
"inf_norm": 0.0
},
{
"triple": "Y,Y,Y",
"inf_norm": 0.0
},
{
"triple": "Z,Z,Z",
"inf_norm": 0.0
},
{
"triple": "X,Y,Z",
"inf_norm": 0.0
},
{
"triple": "X,X,Y",
"inf_norm": 0.0
},
{
"triple": "Y,Y,X",
"inf_norm": 0.0
},
{
"triple": "X,Y,Y",
"inf_norm": 0.0
},
{
"triple": "X,Z,Y",
"inf_norm": 0.0
}
]
},
{
"candidate_idx": 5,
"worst_inf_norm": 0.0,
"all_near_zero": true,
"details": [
{
"triple": "X,X,X",
"inf_norm": 0.0
},
{
"triple": "Y,Y,Y",
"inf_norm": 0.0
},
{
"triple": "Z,Z,Z",
"inf_norm": 0.0
},
{
"triple": "X,Y,Z",
"inf_norm": 0.0
},
{
"triple": "X,X,Y",
"inf_norm": 0.0
},
{
"triple": "Y,Y,X",
"inf_norm": 0.0
},
{
"triple": "X,Y,Y",
"inf_norm": 0.0
},
{
"triple": "X,Z,Y",
"inf_norm": 0.0
}
]
},
{
"candidate_idx": 6,
"worst_inf_norm": 0.0,
"all_near_zero": true,
"details": [
{
"triple": "X,X,X",
"inf_norm": 0.0
},
{
"triple": "Y,Y,Y",
"inf_norm": 0.0
},
{
"triple": "Z,Z,Z",
"inf_norm": 0.0
},
{
"triple": "X,Y,Z",
"inf_norm": 0.0
},
{
"triple": "X,X,Y",
"inf_norm": 0.0
},
{
"triple": "Y,Y,X",
"inf_norm": 0.0
},
{
"triple": "X,Y,Y",
"inf_norm": 0.0
},
{
"triple": "X,Z,Y",
"inf_norm": 0.0
}
]
},
{
"candidate_idx": 7,
"worst_inf_norm": 0.0,
"all_near_zero": true,
"details": [
{
"triple": "X,X,X",
"inf_norm": 0.0
},
{
"triple": "Y,Y,Y",
"inf_norm": 0.0
},
{
"triple": "Z,Z,Z",
"inf_norm": 0.0
},
{
"triple": "X,Y,Z",
"inf_norm": 0.0
},
{
"triple": "X,X,Y",
"inf_norm": 0.0
},
{
"triple": "Y,Y,X",
"inf_norm": 0.0
},
{
"triple": "X,Y,Y",
"inf_norm": 0.0
},
{
"triple": "X,Z,Y",
"inf_norm": 0.0
}
]
},
{
"candidate_idx": 8,
"worst_inf_norm": 0.0,
"all_near_zero": true,
"details": [
{
"triple": "X,X,X",
"inf_norm": 0.0
},
{
"triple": "Y,Y,Y",
"inf_norm": 0.0
},
{
"triple": "Z,Z,Z",
"inf_norm": 0.0
},
{
"triple": "X,Y,Z",
"inf_norm": 0.0
},
{
"triple": "X,X,Y",
"inf_norm": 0.0
},
{
"triple": "Y,Y,X",
"inf_norm": 0.0
},
{
"triple": "X,Y,Y",
"inf_norm": 0.0
},
{
"triple": "X,Z,Y",
"inf_norm": 0.0
}
]
},
{
"candidate_idx": 9,
"worst_inf_norm": 0.0,
"all_near_zero": true,
"details": [
{
"triple": "X,X,X",
"inf_norm": 0.0
},
{
"triple": "Y,Y,Y",
"inf_norm": 0.0
},
{
"triple": "Z,Z,Z",
"inf_norm": 0.0
},
{
"triple": "X,Y,Z",
"inf_norm": 0.0
},
{
"triple": "X,X,Y",
"inf_norm": 0.0
},
{
"triple": "Y,Y,X",
"inf_norm": 0.0
},
{
"triple": "X,Y,Y",
"inf_norm": 0.0
},
{
"triple": "X,Z,Y",
"inf_norm": 0.0
}
]
}
],
"overall_worst": 0.0,
"overall_pass": true
},
"verdict": {
"suite_a": "PASS",
"suite_b": "PASS"
}
}
Reference in a new issue View git blame Copy permalink