ysopwnable
a6ba772c08
The Electron guide currently uses a teaching fixture. Add a real Notion clipboard case with REA findings, short source excerpts and responsive figures, alongside the existing DX-Ball reconstruction. - Trace the saved Notion 7.6.1 preload API through its wrappers to the clipboard receiver. Attribute the separate web-cache module probes to their original harness. Public content uses relative source locations and generic example data; packages and complete captures stay local. - Add a Showcases index and links from the homepage and JavaScript guide. Simplify homepage copy while preserving the approved headline and closing question. - Show copyable agent installation prompts and the direct setup command. Keep terminal cursors blinking consistently and respect reduced-motion settings. - Provide one Notes example ZIP. Generate it from the six public source files before website checks and manual Pages deployment; verify its contents against the source. Pages remains manual-only. Validation: - `npm run check:fast` - `python3 scripts/prepare-website.py` and `python3 scripts/verify-website.py` - Browser checks at `/` and `/rea/`: downloads, prompt/command copying, responsive layouts, keyboard navigation, reduced motion and DX-Ball comparison controls. - Published REA 4.1.0 preload analysis and feature traces; source/claim/privacy review. - Real Hopper/Ghidra verification: not performed (website-only change).
132 lines
5.0 KiB
Python
132 lines
5.0 KiB
Python
"""Check local website references and the sole GitHub Pages publisher."""
|
|
|
|
from html.parser import HTMLParser
|
|
from pathlib import Path
|
|
import re
|
|
import sys
|
|
from urllib.parse import unquote, urlsplit
|
|
import xml.etree.ElementTree as ET
|
|
from zipfile import BadZipFile, ZipFile
|
|
|
|
|
|
class HtmlReferences(HTMLParser):
|
|
"""Collect document IDs and references without fetching external URLs."""
|
|
|
|
def __init__(self):
|
|
super().__init__()
|
|
self.ids = set()
|
|
self.references = []
|
|
self.duplicate_ids = []
|
|
|
|
def handle_starttag(self, tag, attrs):
|
|