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/tests
History
allaun f6cbddcbf2 feat(tests): Python AVM port rewrite + test harness, Go test harness 
Python port rewritten to match spec:
- Added Q0_16, PUSH_Q0, PUSH_BOOL as separate opcodes
- Added V6 comparison (lt_q16_v6)
- Added floor division (Lean Int.ediv)
- Added stack depth limit (AVM_MAX_STACK = 1024)
- Added type checking in exec_prim
- All 10 tests passing

Go AVM port: added test_avm_test.go with 8 test cases

Milestone: Python → ✅, Go → 🔄
2026-06-30 17:56:09 -05:00
..
quarantine feat(rrc): bare-minimum RRC refactor into SilverSight 2026-06-21 09:08:48 -05:00
test_avm_python.py feat(tests): Python AVM port rewrite + test harness, Go test harness 2026-06-30 17:56:09 -05:00
test_dna_codec.py fix(dna): correct alphabet ordering ATGCBSPZ→ABCGPSTZ + proof cleanup 2026-06-22 23:20:16 -05:00
test_dna_lut.py feat(dna): unified theory — DNA encoding, epigenetic computation, logarithmic vector spaces 2026-06-23 02:18:16 +00:00
test_dna_nn.py fix(dna): resolve nearest-neighbor sorting and correlation limits 2026-06-24 03:12:29 -05:00
test_kepler.py feat(silversight): symbolic regression core + Kepler test PASSED 2026-06-22 03:29:13 -05:00
test_lean_modules.py fix: HachimojiN8 theorem bug, all Lean module tests pass 2026-06-30 06:29:34 -05:00
test_lean_witnesses.py chore: commit all pending work from prior sessions 2026-06-30 04:54:40 -05:00
test_log_prescreen.py feat(silversight): log prescreen + finite-infinity duality 2026-06-22 03:41:53 -05:00
test_nuvmap_equivalence.py feat(wolfram): add Wolfram Alpha MCP server + SOPS-encrypted API key 2026-06-30 17:28:22 -05:00
test_nuvmap_julia.jl feat(wolfram): add Wolfram Alpha MCP server + SOPS-encrypted API key 2026-06-30 17:28:22 -05:00
test_nuvmap_r_ref.R feat(wolfram): add Wolfram Alpha MCP server + SOPS-encrypted API key 2026-06-30 17:28:22 -05:00
test_python_modules.py refactor(rrc): rename corpus250→allFixtures/emitManifold, generic n-dimensional modules, Authentik deploy 2026-06-30 04:54:40 -05:00
test_q16_canonical.py feat(rrc): bare-minimum RRC refactor into SilverSight 2026-06-21 09:08:48 -05:00
test_q16_roundtrip.py feat(rrc): port ReceiptDensity, PolyFactorIdentity, EntropyCandidates and add Q16_16 roundtrip test 2026-06-21 10:39:18 -05:00
test_qubo_modules.py chore: commit all pending work from prior sessions 2026-06-30 04:54:40 -05:00
test_scripts.py chore: commit all pending work from prior sessions 2026-06-30 04:54:40 -05:00