-
Notifications
You must be signed in to change notification settings - Fork 1
README
This directory tracks verification of technical claims in Glitchy documentation against authoritative sources. Each documentation file has a corresponding verification file that records sources, confidence levels, and verification status for all technical claims.
The verification system ensures:
- Accuracy: All technical claims are validated against authoritative sources
- Traceability: Sources are documented for future reference
- Quality: Documentation maintains high standards of technical correctness
- Maintainability: Future changes can be verified against established sources
| Document | Status | Verified Claims | Issues Found | Last Updated |
|---|---|---|---|---|
| Tutorial-Getting-Started | ✅ Complete | 35/35 | 0 | 2026-02-01 |
| Tutorial-First-Glitch | ✅ Complete | 40/40 | 0 | 2026-02-01 |
| HowTo-Setup-PlatformIO | ✅ Complete | 32/32 | 3 | 2026-02-02 |
| HowTo-Flash-Firmware | ✅ Complete | 25/25 | 3 | 2026-02-02 |
| HowTo-Configure-WiFi | ✅ Complete | 22/22 | 3 | 2026-02-02 |
| HowTo-Update-WebGUI | ✅ Complete | 28/28 | 4 | 2026-02-02 |
| HowTo-Setup-KiCad | ✅ Complete | 26/26 | 2 | 2026-02-02 |
| HowTo-Troubleshoot | ✅ Complete | 45/45 | 5 | 2026-02-02 |
Overall Progress: 8/8 documents verified (100% complete)
- Check overall progress: Review the status table above
- Review specific document: Click through to individual verification files
-
See task tracking: Check
../glitchy/openspec/changes/rewrite-documentation-diataxis/tasks.mdfor high-level task status
When creating or modifying documentation:
-
Create verification file: Copy
TEMPLATE.mdand rename toVERIFICATION-{document-name}.md - Extract claims: Identify all technical claims in the source document
- Research sources: Find authoritative sources for each claim
- Record findings: Document sources, confidence levels, and verification status
- Update index: Update the status table in this README
- Update OpenSpec: Mark corresponding task complete in OpenSpec tasks.md
Each verification file follows this structure:
# Verification: {Document-Name}.md
**Status**: {Not Started|In Progress|Complete|Needs Review}
**Verified**: {X}/{Y} claims
**Last Updated**: YYYY-MM-DD
## Summary
Brief overview of document and verification scope.
## {Category Name} Claims
### Claim: {Exact claim text}
- **Source**: {Specific reference with file path, line number, or page number}
- **Confidence**: {HIGH|MEDIUM|LOW|UNKNOWN}
- **Status**: {✓ Verified | ❌ Incorrect | ⚠️ Needs Testing | ? Unknown}
- **Notes**: {Additional context, test procedures, or corrections needed}Claim verified against:
- Official manufacturer documentation (datasheets, technical reference manuals)
- Project source code with specific line references
- Physical hardware testing with documented results
- KiCad schematics and PCB designs
Example: "ESP32-S3 has 45 GPIO pins" verified against ESP32-S3 Technical Reference Manual
Claim supported by:
- Logical inference from HIGH confidence sources
- Academic papers or peer-reviewed research
- Technical books by recognized experts
- Secondary component datasheets
Example: "Glitch timing resolution is approximately 18ns" inferred from SPI bus speed specifications
Claim based on:
- Assumptions or project naming conventions
- Anecdotal evidence or informal testing
- Blog posts or forum discussions
- Incomplete or indirect sources
Example: "Default WiFi SSID is 'Glitchy'" assumed from project name, not found in code
No source found for claim:
- Requires investigation or research
- Needs expert review
- Requires hardware testing
- May need correction or removal
Example: "Glitch success rate is 85%" - no source or methodology documented
- ✓ Verified: Claim confirmed against authoritative source
- ❌ Incorrect: Claim contradicts authoritative source, needs correction
-
⚠️ Needs Testing: Claim requires hardware testing or validation - ? Unknown: No source found, requires investigation
Official Documentation:
- Espressif ESP32-S3 Technical Reference Manual
- ESP32-S3 Datasheet
- Component datasheets (FETs, op-amps, ADCs)
- Manufacturer application notes
Project Artifacts:
- Source code:
Code/Glitchy/src/,Code/Glitchy/include/ - KiCad schematics and PCB designs
- Configuration files
- Hardware testing results
Academic & Research:
- Peer-reviewed papers (CHES, IEEE S&P, USENIX Security conferences)
- Technical books: "Power Analysis Attacks" (Mangard et al.), "The Hardware Hacker" (Huang)
- Published research on fault injection and side-channel attacks
Framework Documentation:
- PlatformIO documentation
- Arduino framework documentation
- Library documentation for dependencies
- Blog posts (unless from official manufacturer)
- Forum discussions or Reddit threads
- Unverified tutorials or guides
- AI-generated content without verification
- Assumptions or guesses
Some claims can only be verified through testing on physical Glitchy hardware:
Requires Hardware Testing:
- WiFi SSID and default network configuration
- Default IP addresses
- Web interface behavior and responses
- Actual glitch timing measurements
- Power consumption values
- Pin voltage levels
Testing Procedure:
- Document test setup and conditions
- Record step-by-step test procedure
- Capture results (screenshots, measurements, logs)
- Note any deviations or unexpected behavior
- Update verification file with "✓ Verified" + "TESTED" confidence
Before marking a verification file as complete:
- All technical claims identified and extracted from source document
- Claims organized by category (Hardware, Software, Configuration, etc.)
- Each claim has source citation with specific references
- Each claim has confidence level (HIGH/MEDIUM/LOW/UNKNOWN)
- Each claim has status icon (✓ ❌
⚠️ ?) - Hardware-dependent claims marked "
⚠️ Needs Testing" if not yet tested - Incorrect claims documented with proposed corrections
- Summary section completed with overview and statistics
- Status header updated (status, claim count, date)
- Index table in this README updated
- Corresponding OpenSpec task marked complete
This verification system integrates with OpenSpec for high-level task tracking:
-
OpenSpec spec: See
../glitchy/openspec/specs/documentation-verification/spec.mdfor detailed requirements -
OpenSpec tasks: See
../glitchy/openspec/changes/rewrite-documentation-diataxis/tasks.mdfor task tracking - Relationship: OpenSpec tracks WHAT needs verification (document-level), these files track HOW claims were verified (claim-level)
AI agents working on Glitchy documentation should:
- Before creating/modifying documentation: Research authoritative sources for all technical claims
- After creating/modifying documentation: Create or update verification file
- Record all findings: Document sources, confidence levels, and verification status
-
Mark hardware claims: Flag claims requiring hardware testing with "
⚠️ Needs Testing" - Update tracking: Update this index and mark OpenSpec tasks complete
See ../glitchy/AGENTS.md or ../glitchy/CLAUDE.md for detailed agent workflow instructions.
- Documentation issues: Open an issue on GitHub Issues
-
Verification process: See OpenSpec spec at
../glitchy/openspec/specs/documentation-verification/spec.md - Contributing: See Contributing.md (when available) for contribution guidelines
Last Updated: 2026-02-02 Maintained By: Glitchy documentation team