core-labs/core
1
0
Fork 0
Code Issues Pull requests 1 Projects Releases Packages Wiki Activity Actions

fix(ingest): tighten gate versor threshold (#239)

Browse source
This commit is contained in:
Shay 2026-05-24 16:51:56 -07:00 committed by GitHub
parent c1a1b7a0b6
commit ce4f3c37c5
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 6 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
ingest/gate.py
View file

@ -342,7 +342,7 @@ def inject(tokens: list, vocab) -> FieldState:
F = normalize_to_versor(H)
cond = versor_condition(F)
if cond > 1e-5:
if cond > 1e-6:
raise RuntimeError(
f"Injection produced non-versor field: condition={cond:.2e}. "
"Check holonomy_encode() and normalize_to_versor()."

10
tests/test_architectural_invariants.py
View file

@ -17,7 +17,7 @@ Claim index
INV-01 Versor closure under sandwich product (algebraic closure)
INV-02 normalize_to_versor is called at the gate only (never in construction paths)
INV-02b unitize_versor is never called inside propagation, generation, or vault recall
INV-03 versor_condition < 1e-5 after injection (gate post-condition)
INV-03 versor_condition < 1e-6 after injection (gate post-condition)
INV-04 versor_apply is algebraically closed (no normalization needed)
INV-05 Holonomy encoding is deterministic (same input → same output)
INV-06 Null-cone membership is preserved under versor_apply
@ -335,13 +335,13 @@ class TestINV02bUnitizeNotInPropagation:
# ===========================================================================
# INV-03 Gate post-condition: versor_condition < 1e-5 after injection
# INV-03 Gate post-condition: versor_condition < 1e-6 after injection
# ===========================================================================
class TestINV03GatePostCondition:
"""
Claim: Every FieldState produced by ingest/gate.py satisfies
versor_condition(F) < 1e-5.
versor_condition(F) < 1e-6.
"""
def test_single_token_injection(self):
@ -353,7 +353,7 @@ class TestINV03GatePostCondition:
return v
state = inject(["logos"], _Vocab())
assert versor_condition(state.F) < 1e-5
assert versor_condition(state.F) < 1e-6
def test_multi_token_injection(self):
class _Vocab:
@ -365,7 +365,7 @@ class TestINV03GatePostCondition:
return v
state = inject(["in", "the", "beginning"], _Vocab())
assert versor_condition(state.F) < 1e-5
assert versor_condition(state.F) < 1e-6
# ===========================================================================