Eish zarah actionable items: coupling trace, grounding type, self-grounding detection, golden calf halt

Torah grounds each change:

1. interpret.pl — coupling_trace field (Vayikra 10:1, 6:6)
   Fire is zarah because "asher lo tzivah otam" — the coupling trace
   IS the tzivah trace. Records which L1 facts grounded each interpretation.

2. challenge.pl — grounding_type achorai/panim (Shemot 33:23)
   "You will see My back, but My face shall not be seen."
   Text-backed challenges = achorai. Inferred challenges = panim.

3. resolve.pl — self-grounding detection (eish_zarah_reading §5.3)
   Counter-interpretation must bring NEW L1 evidence. Prevents
   circular reasoning (Westworld problem).

4. teiku.pl — challenge_sequence in teiku_record
   Records diagnostic trail to impasse, not just verdict.

5. avodah_zarah.pl — Form 2: golden calf detection (Shemot 32:4)
   Empty coupling trace + non-low confidence = uncoupled output.
   Real gold, sincere worship, false god.

6. korban.py — pydantic BaseModel + raw_korban preservation
   Construction spec §1.4 fulfilled. Floor between input and output
   never severed.

490 tests, 0 failures (195 Prolog, 186 Python, 33 Haskell, 76 Elixir).

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

talmudic_engine/src/main.pl

@@ -65,7 +65,7 @@ verify :-
     writeln('--- Test 4: Interpretation ---'),
     TestCase = case(test_1, creation, [bet_resh_aleph], 'What is creation?'),
     (   interpret(TestCase, Interp)
-    ->  Interp = interpretation(_, Mitzvot, Verses, _, Conf),
+    ->  Interp = interpretation(_, Mitzvot, Verses, _, Conf, _),
         length(Mitzvot, MLen),
         length(Verses, VLen),
         format('  Interpretation found: ~w mitzvot, ~w verses, confidence: ~w~n',