Prepare public release media and deployment handoff - #21

Closed

jjjhenriksen wants to merge 39 commits into

mainfrom

codex/release-media

Commits on Jul 13, 2026

Initial interactive proof reader
jjjhenriksen
committed
f6a1ead
Add CI and reader browser smoke coverage
jjjhenriksen
committed
4368d37
Declare smooth scroll behavior
jjjhenriksen
committed
cc37516
Merge pull request #2 from jjjhenriksen/codex/ci-browser-smoke
jjjhenriksen
authored
9e66349
Implement streamed proof explanations
jjjhenriksen
committed
765caf3
Merge pull request #1 from jjjhenriksen/codex/streamed-explanations
jjjhenriksen
authored
1c3220c
Add second educational proof package
jjjhenriksen
committed
4a25122
Update smoke navigation for proof library
jjjhenriksen
committed
6cd0d3f
Merge pull request #3 from jjjhenriksen/codex/second-proof-package
jjjhenriksen
authored
e36e370
Add selectable PDF.js paper reader
jjjhenriksen
committed
f729f42
Keep mobile PDF text readable
jjjhenriksen
committed
4ad8944
Integrate smoke tests with PDF reader
jjjhenriksen
committed
1f17bbb
Merge pull request #4 from jjjhenriksen/codex/pdfjs-paper-reader
jjjhenriksen
authored
e3d4399
Add release verification and documentation
jjjhenriksen
committed
d660cdd
Merge pull request #5 from jjjhenriksen/codex/release-verification-docs
jjjhenriksen
authored
e8f7b5c
Add evaluation and security methodology
jjjhenriksen
committed
47a3acf
Merge pull request #6 from jjjhenriksen/codex/evaluation-security
jjjhenriksen
authored
f1a90ea
Complete accessible interaction acceptance
jjjhenriksen
committed
fc9a27c
Merge pull request #7 from jjjhenriksen/codex/accessibility-acceptance
jjjhenriksen
authored
61a9787
Add hackathon submission package
jjjhenriksen
committed
2b0f49b
Merge pull request #8 from jjjhenriksen/codex/submission-package
jjjhenriksen
authored
df52a61
Add edge-safe Sites deployment
jjjhenriksen
committed
e2ca35b
Harden npm install retries in CI
jjjhenriksen
committed
f38b7e2
Use canonical npm registry URLs
jjjhenriksen
committed
c7b2872
Integrate evaluation with edge runtime
jjjhenriksen
committed
1f4853b
Merge pull request #9 from jjjhenriksen/codex/public-deployment-sites
jjjhenriksen
authored
366ee49
Add feature implementation specifications
jjjhenriksen
committed
27902cd

Commits on Jul 14, 2026

Add public release gates (#10)
jjjhenriksen
authored
e11e7f7
Add proof reader deep links (#11)
jjjhenriksen
authored
1fafda6
Add light and dark themes (#12)
jjjhenriksen
authored
7f3428f
Add guided learning controls (#13)
jjjhenriksen
authored
f446c55
Add proof package authoring tools (#14)
jjjhenriksen
authored
6997038
Add instructor-authored guidance (#16)
jjjhenriksen
authored
3eb359d
Add navigable proof map (#15)
jjjhenriksen
authored
5952663
Add honest recorded demonstrations (#17)
jjjhenriksen
authored
3b8442d
Add ephemeral paper and Lean uploads (#18)
jjjhenriksen
authored
3e781d9

Commits on Jul 15, 2026

Fix repository-wide autoreview findings (#19)
jjjhenriksen
authored
759d08a

Commits on Jul 20, 2026

Add public setup documentation (#20)
jjjhenriksen
authored
1e07168
Prepare public release media and deployment handoff
jjjhenriksen
committed
25b0d52