chore(git): record remote push failure

.learnings/ERRORS.md

@@ -2,6 +2,35 @@
 
 Command failures and integration errors.
 
+---
+## [ERR-20260920-024] git-push-repository-not-found
+
+**Logged**: 2026-09-20T06:55:24+12:00
+**Priority**: high
+**Status**: pending
+**Area**: infra
+
+### Summary
+The configured HTTPS remote accepted a network connection but did not resolve to a repository visible to the current credentials.
+
+### Error
+`remote: Not found.` followed by `fatal: repository 'https://git.jinome.org/Jinovo/' not found`.
+
+### Context
+- Added the user-provided address as `origin`: `https://git.jinome.org/Jinovo`.
+- Attempted to push local `main` and set its upstream.
+- No commits were uploaded and the local branch/history were unchanged.
+
+### Suggested Fix
+Obtain the complete clone URL for the concrete repository, including any repository slug and `.git` suffix required by the server, or configure credentials that can access the existing repository. Do not guess or rewrite the remote without user confirmation.
+
+### Metadata
+- Reproducible: yes
+- Related Files: `.git/config`, `Progression.md`
+- Pattern-Key: vcs.repository-not-found
+- First-Seen: 2026-09-20
+- Last-Seen: 2026-09-20
+
 ---
 
 ## [ERR-20260920-006] powershell-empty-pipe