[PR #1266] [MERGED] feat(website): add an Android showcase and clearer project prompts #2752

New issue

Closed

opened 2026-10-17 21:09:50 +00:00 by bsakaguchi · 0 comments

bsakaguchi commented

2026-10-17 21:09:50 +00:00

Owner

📋 Pull Request Information

Original PR: https://github.com/morluto/rea/pull/1266
Author: @N0zoM1z0
Created: 10/9/2026
Status: ✅ Merged
Merged: 10/9/2026
Merged by: @N0zoM1z0

Base: main ← Head: feat/website-apk-showcase

📝 Commits (4)

f6f5c16 docs(website): introduce the worked homepage examples
0270dd5 feat(website): add an Aegis APK code-generation showcase
3fb9ffa docs(website): invite deeper projects and reader feedback
5691606 fix(website): clarify Android host and JDK requirements

📊 Changes

11 files changed (+1191 additions, -20 deletions)

View changed files

📝 website/README.md (+21 -1)
➕ website/evidence/aegis-login-code.md (+140 -0)
📝 website/figures.md (+12 -0)
➕ website/public/assets/aegis-demo.js (+84 -0)
➕ website/public/assets/aegis-otp.js (+36 -0)
📝 website/public/assets/styles.css (+87 -1)
📝 website/public/index.html (+98 -7)
➕ website/public/showcase/aegis/index.html (+669 -0)
➕ website/public/showcase/aegis/test-vectors.json (+14 -0)
📝 website/public/showcase/index.html (+21 -3)
📝 website/style-guide.md (+9 -8)

📄 Description

Readers can follow Aegis's login-code calculation from the official Android APK to a small reconstruction. The new showcase pairs REA queries and selected decompiled Java with an explanation, an adjustable clock and reference checks. Evidence notes pin the APK digest and matching source, credit Aegis's GPL-3.0 excerpts, and distinguish static APK findings from the extracted-method and browser checks.

The homepage now introduces its two examples explicitly, emphasizes “yourself” and “your agent” in the comparison, and offers copyable project prompts ranging from cloning rea.tools to reconstructing a game. Experienced readers can jump directly to the guides. A final “Any questions?” section links the FAQ, Discord and issue chooser; navigation retains its responsive layout. The Android walkthrough names the full JDK 17+ requirement and supported macOS/Linux hosts, with Windows readers directed to a Linux environment.

Validation:

REA 6.1.0 completed 20 static Android operations against the official Aegis 3.4.3 APK using the caller-supplied Android provider.
Selected Java methods, an independent Python reconstruction and the browser's WebCrypto implementation agree on 133 test cases. Six RFC 6238 SHA-1 reference cases pass at six and eight digits.
Browser checks passed at / and /rea/ at 1600, 1365, 1024, 390 and 320 CSS pixels, covering copying, code steps, clock controls, reference checks, navigation, expanded details and support links. JavaScript-disabled and reduced-motion checks also passed.
python3 scripts/prepare-website.py and python3 scripts/verify-website.py: 17 HTML pages, 343 local references, SVG syntax and the example ZIP verified.
npm run check:fast passed (typecheck and lint). New JavaScript passed Oxlint; changed website files passed Oxfmt and git diff --check.

This is a website change. Real Hopper/Ghidra verification was not performed; those providers are unchanged. Production publishing remains manual and synchronizes Cloudflare and GitHub Pages from the same artifact. Merge with a merge commit to preserve the four development checkpoints.

_{🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.}

## 📋 Pull Request Information **Original PR:** https://github.com/morluto/rea/pull/1266 **Author:** [@N0zoM1z0](https://github.com/N0zoM1z0) **Created:** 10/9/2026 **Status:** ✅ Merged **Merged:** 10/9/2026 **Merged by:** [@N0zoM1z0](https://github.com/N0zoM1z0) **Base:** `main` ← **Head:** `feat/website-apk-showcase` --- ### 📝 Commits (4) - [`f6f5c16`](https://github.com/morluto/rea/commit/f6f5c160979624cdcb33928f1a77cf000de403d4) docs(website): introduce the worked homepage examples - [`0270dd5`](https://github.com/morluto/rea/commit/0270dd5739480acced62e045b5890ec0ebde2631) feat(website): add an Aegis APK code-generation showcase - [`3fb9ffa`](https://github.com/morluto/rea/commit/3fb9ffaa4d67685412873cbd3101c64fabbeaff3) docs(website): invite deeper projects and reader feedback - [`5691606`](https://github.com/morluto/rea/commit/5691606aa948bddc641e3ecbccf5375a12b65924) fix(website): clarify Android host and JDK requirements ### 📊 Changes **11 files changed** (+1191 additions, -20 deletions) <details> <summary>View changed files</summary> 📝 `website/README.md` (+21 -1) ➕ `website/evidence/aegis-login-code.md` (+140 -0) 📝 `website/figures.md` (+12 -0) ➕ `website/public/assets/aegis-demo.js` (+84 -0) ➕ `website/public/assets/aegis-otp.js` (+36 -0) 📝 `website/public/assets/styles.css` (+87 -1) 📝 `website/public/index.html` (+98 -7) ➕ `website/public/showcase/aegis/index.html` (+669 -0) ➕ `website/public/showcase/aegis/test-vectors.json` (+14 -0) 📝 `website/public/showcase/index.html` (+21 -3) 📝 `website/style-guide.md` (+9 -8) </details> ### 📄 Description Readers can follow Aegis's login-code calculation from the official Android APK to a small reconstruction. The new showcase pairs REA queries and selected decompiled Java with an explanation, an adjustable clock and reference checks. Evidence notes pin the APK digest and matching source, credit Aegis's GPL-3.0 excerpts, and distinguish static APK findings from the extracted-method and browser checks. The homepage now introduces its two examples explicitly, emphasizes “yourself” and “your agent” in the comparison, and offers copyable project prompts ranging from cloning rea.tools to reconstructing a game. Experienced readers can jump directly to the guides. A final “Any questions?” section links the FAQ, Discord and issue chooser; navigation retains its responsive layout. The Android walkthrough names the full JDK 17+ requirement and supported macOS/Linux hosts, with Windows readers directed to a Linux environment. Validation: - REA 6.1.0 completed 20 static Android operations against the official Aegis 3.4.3 APK using the caller-supplied Android provider. - Selected Java methods, an independent Python reconstruction and the browser's WebCrypto implementation agree on 133 test cases. Six RFC 6238 SHA-1 reference cases pass at six and eight digits. - Browser checks passed at `/` and `/rea/` at 1600, 1365, 1024, 390 and 320 CSS pixels, covering copying, code steps, clock controls, reference checks, navigation, expanded details and support links. JavaScript-disabled and reduced-motion checks also passed. - `python3 scripts/prepare-website.py` and `python3 scripts/verify-website.py`: 17 HTML pages, 343 local references, SVG syntax and the example ZIP verified. - `npm run check:fast` passed (typecheck and lint). New JavaScript passed Oxlint; changed website files passed Oxfmt and `git diff --check`. This is a website change. Real Hopper/Ghidra verification was not performed; those providers are unchanged. Production publishing remains manual and synchronizes Cloudflare and GitHub Pages from the same artifact. Merge with a merge commit to preserve the four development checkpoints. --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>

bsakaguchi

2026-10-17 21:09:50 +00:00

closed this issue
added the
pull-request
label

bsakaguchi referenced this issue

2026-10-31 01:06:03 +00:00

[PR #2752] [CLOSED] fix(artifacts): recognize XML property lists by content #5364

No milestone

No project

No assignees

1 participant

Notifications

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference

morluto/rea#2752

No description provided.

Rows
Columns