hongjr03 b673dd1fe9 feat(hub): external capability registry for PDF/ASR transforms (ADR-0027) (#5) ...

Co-authored-by: Hong Jiarong <me@jrhim.com>
Co-committed-by: Hong Jiarong <me@jrhim.com>

2026-07-18 15:55:02 +08:00

..

Courseware

refactor(spec): clean prose patterns across all modules

2026-07-13 11:26:23 +08:00

System

feat(hub): external capability registry for PDF/ASR transforms (ADR-0027) (#5)

2026-07-18 15:55:02 +08:00

Courseware.lean

refactor(spec): clean prose patterns across all modules

2026-07-13 11:26:23 +08:00

Prelude.lean

chore: Merge origin/main: hub v0.0.23-v0.0.25 into main with spec-rewrite

2026-07-14 15:44:21 +08:00

System.lean

feat(hub): external capability registry for PDF/ASR transforms (ADR-0027) (#5)

2026-07-18 15:55:02 +08:00