|
|
6f36ec42e7
|
fix(test): V4 Euclidean division conformance, AGENTS.md drift rules update
python/phi/test_verified_units.py (V4 Critical mitigation):
- Add _ediv() implementing Euclidean division matching Lean 4 Int.div
(remainder always >= 0; matches Python // for positive divisors only)
- q16_mul uses // directly (divisor 65536 always positive)
- q16_div uses _ediv() for correct handling of negative divisors
- q16_div returns 2147483647 sentinel on division by zero
- Document int_sqrt floor-division rationale (non-negative operands)
- Verified: 6/6 edge cases match Lean
AGENTS.md:
- Add anti-drift multi-pass (Python -> Lean -> RRC -> Research Stack)
- Add N=8 root dependency on SilverSight HachimojiN8 theorem
- Add tau/delta mirror rule for gate formalization priority
- Clarify BioSight as domain instance, not independent decision maker
- Clarify Research Stack as read-only regression oracle
.gitignore:
- Add freellmapi-setup/
|
2026-06-28 00:11:47 -05:00 |
|
|
|
41fcbc3daa
|
feat(init): initial BioSight commit — equation-to-DNA Φ encoding
BioSight encodes mathematical equations as 30-base hachimoji DNA
sequences for Adleman/Lipton-style DNA computing.
4-layer Φ mapping:
Layer 1: F(E) — byte-class histogram on Δ₇
Layer 3: τ(E) + δ(E) — parse tree structure
Layer 4: 6 consistency rules → allele-specific PCR pass/fail
Independent phi/ modules:
charclass, ast_parse, consistency, embed, output
Build: python3 -m py_compile — all modules clean
|
2026-06-23 18:27:35 -05:00 |
|
