TEST_LAB.md

SNAPKITTY TEST LAB

Everything that happens in the test lab is recorded.

---

SESSION 001 — 2026-05-30

Bifrost Handoff Test | CLAUDE 2 Manual Execution

Test type: Manual Bifrost State Packet handoff Operator: Jessica Westerhoff Packet ID: 0x2a97530b69f64620 Seal: 57771fd6491ab1fa1207a8132ff6777344cff71441fea09421807bfb0da67429

Setup:

• ABZU running on port 7070
• EDUALC watching bridges/haskell/
• PASS event fired on bridges/haskell/quantum_governance.hs
• ABZU emitted Bifrost State Packet (SQUASH decision)
• Packet manually delivered to a fresh Claude.ai window (CLAUDE 2)

CLAUDE 2 first action: Refused to accept the handoff framing at face value. Read the file directly. (This is correct SENTINEL behavior — zero trust, verify independently.)

CLAUDE 2 findings — all confirmed real bugs:

#	File	Bug	Severity
1	bridges/haskell/quantum_governance.hs:67	governDecision missing %1-> — LinearTypes enabled but not enforced	HIGH
2	bridges/haskell/quantum_governance.hs:69-75	t1 = t; t2 = t misleading split — implies linearity violation	MEDIUM
3	bridges/haskell/quantum_governance.hs:121	checkInvariants lowercases text then checks for uppercase H in "noitanicullaH" — hallucination check silently always passes	HIGH
4	bridges/haskell/quantum_governance.hs:2	{-# LANGUAGE QualifiedDo #-} declared but unused	LOW

EDUALC missed all four. Pass 3 (Hebrew RTL invariants) had no Haskell rule.

Fixes applied:

commit 5400556b
fix: quantum_governance.hs — 4 bugs found by CLAUDE 2 Bifrost handoff test

1. Added %1-> annotation to governDecision
2. Removed misleading t1 = t; t2 = t — use t directly
3. Fixed checkInvariants — check reversed before lowercasing, not lower
4. Removed unused QualifiedDo pragma

EDUALC Pass 3 expanded:

New rule added to scripts/edaulc.mjs:

// Haskell: LinearTypes declared but never enforced
if (ext === '.hs') {
  if (/\{-#\s*LANGUAGE\s+LinearTypes\s*#-\}/.test(content) && !/%1->/.test(content))
    return { pass: false, reason: 'Haskell LinearTypes enabled but no %1-> annotations found' }
}

Test verdict: BIFROST PROTOCOL PROVEN

• Fresh session received packet ✓
• Bounded scope honored ✓
• Real bugs found in < 60 seconds ✓
• No context drag from parent session ✓
• EDUALC expanded from findings ✓

EDUALC would now catch Bug #1 on the original file. Bugs #2, #3, #4 require semantic analysis — candidates for future ERE passes.

---

ERE PASS EXPANSION LOG

Date	Pass	Language	Rule Added	Trigger
2026-05-29	Pass 5	TypeScript	Threshold 8→20 (tail window false positive)	Manual fix
2026-05-30	Pass 3	Haskell	LinearTypes declared but no %1-> annotations	CLAUDE 2 Bifrost test

---

OPEN CANDIDATES (not yet in ERE)

Bug Pattern	Language	Detection difficulty	Source
Case mismatch after lowercase transform	Haskell	High — semantic	CLAUDE 2 session 001
Unused language pragmas	Haskell	Medium — regex	CLAUDE 2 session 001
let x = val; y = val (misleading duplicate bindings)	Haskell	Medium — AST	CLAUDE 2 session 001

---

Test lab sealed. METATRON records. The chain holds.