Task context · pinned snapshot
Context pack v1
The source, related claims, proof idea, and known failed route available before the sample follow-up.
Included research context
The pack selects relevant material; it does not certify completeness or independent review.
Mathematical material
4 claims, 2 proof outlines, and cited source passages.
Prior work
1 attempts and 1 Lean runs, linked to exact inputs.
Recorded attempts
Failed direct route
The non-strict witness gives n ≤ p, which cannot establish n < p.
Inspect attempt →Snapshot identity
Attempts retain the exact context pack they used, so later changes do not rewrite what the contributor saw.
IDs, checksum, and source version
- Pack ID
- context-prime-strict-v1
- SHA-256
- 121e539cc737c85597eeb4a1ef31bd1c11aa0f986f9375c11fe513b640f029b6
- Mathlib commit
- 32d24245c7a12ded17325299fd41d412022cd3fe
- Previous pack
- None