diff --git a/ingest/gate.py b/ingest/gate.py index 6dbff04a..5043384e 100644 --- a/ingest/gate.py +++ b/ingest/gate.py @@ -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()." diff --git a/tests/test_architectural_invariants.py b/tests/test_architectural_invariants.py index 09f09cd6..8b03cc98 100644 --- a/tests/test_architectural_invariants.py +++ b/tests/test_architectural_invariants.py @@ -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 # ===========================================================================