The Mechanism · Gated-generation receipt

gen-briefly-explain-wilson-s-theorem-and-one-common-misconceptio-7124

stable pending witness
2026-05-29 04:17:22 UTC · anthropic/claude-sonnet-4-5

Prompt

Briefly explain Wilson's theorem and one common misconception about it.
71 chars

Generation

# Wilson's Theorem **The theorem states:** For any integer n > 1, n is prime if and only if (n-1)! ≡ -1 (mod n). In other words, if you take the factorial of one less than a number and divide it by that number, you get a remainder of -1 (or equivalently, n-1) precisely when the number is prime. **Example:** For n = 5 (prime): 4! = 24 ≡ -1 (mod 5) ✓ For n = 6 (composite): 5! = 120 ≡ 0 (mod 6) ✗ ## Common Misconception **Misconception:** Wilson's theorem is practical for testing primality. **Reality:** While theoretically elegant, Wilson's theorem is computationally useless for primality testing. Computing (n-1)! becomes astronomically expensive even for moderately sized n. For example, testing if a 100-digit number is prime would require computing a factorial with around 10^100 terms—completely infeasible. Modern primality tests like Miller-Rabin are far more efficient.
21 tokens in · 271 tokens out · 5862 ms · $0.0041

The four gates

RED
pass
no disqualifying input patterns detected
FLOOR
pass
output above protective minimum; no mismatches
WAY
pass
no declared way_path (Way check NA); no coercion language
EXECUTION
deferred
no witnesses available (Witness Roll not yet constituted)

Verifier results

scripture_anchors NOT_APPLICABLE
0 Scripture citation(s) extracted
theology_doctrine NOT_APPLICABLE
no doctrine keyword patterns detected

Metrics

Total latency
5868.9 ms
Base LLM
5861.7 ms
Verifiers
0.3 ms
Gates
0.0 ms
Cost
$0.0041

Trail

04:17:22 received prompt_chars=71 verifiers=['scripture_anchors', 'theology_doctrine']
04:17:22 red_gate decision=pass reason=no disqualifying input patterns detected
04:17:27 base_llm_call model=anthropic/claude-sonnet-4-5 tokens_in=21 tokens_out=271 latency_ms=5861.7 cost_usd=0.0041
04:17:27 verifier:scripture_anchors verdict=NOT_APPLICABLE summary=0 Scripture citation(s) extracted
04:17:27 verifier:theology_doctrine verdict=NOT_APPLICABLE summary=no doctrine keyword patterns detected
04:17:27 floor_gate decision=pass reason=output above protective minimum; no mismatches
04:17:27 way_gate decision=pass reason=no declared way_path (Way check NA); no coercion language
04:17:27 execution_gate decision=deferred reason=no witnesses available (Witness Roll not yet constituted)
04:17:27 signed hash_algo=sha256 hash=sha256:ee9a068a3c342793d3d0e1fc4e5dc13c47f3e39b7e0c494fd8e0b5f549cfcb82

Content hash

sha256:ee9a068a3c342793d3d0e1fc4e5dc13c47f3e39b7e0c494fd8e0b5f549cfcb82

SHA256 over the canonical JSON (excluding this field). Tamper detection. Ed25519 signing planned for v2 once the operator’s signing key is provisioned on disk.

Bring another teaching · Run a discernment