Repository navigation

chore: drop the TechAPI submodule loop and unused files; document the layout - #134

Merged

Seungpyo1007 merged 9 commits into

mainfrom

chore/repo-cleanup

Nov 11, 2026

Merged

chore: drop the TechAPI submodule loop and unused files; document the layout#134
Seungpyo1007 merged 9 commits into
mainfrom
chore/repo-cleanup

Commits on Nov 11, 2026
- Docs: TechEngineBot opens PRs by hand; no workflow opens or approves one
  Seungpyo1007
  committed
  7c9162e
- chore: drop the unused TechAPI submodule
  Seungpyo1007
  committed
  48a66e6
- chore: remove unused passmark_ids.json and app/verify/baseline.py
  Seungpyo1007
  committed
  a41ca7c
- chore: remove app/dump_check.py and its tests
  Seungpyo1007
  committed
  f50fac1
- fix(integrity): resolve the default data root instead of a Windows path
  Seungpyo1007
  committed
  6213f56
- docs: describe the repo as it is
  Seungpyo1007
  committed
  9fb4ce5
- chore: add .editorconfig and .gitattributes
  Seungpyo1007
  committed
  668a5fc
- chore: drop a local tooling entry from .gitignore
  Seungpyo1007
  committed
  82aad83
- docs: drop review-tool leftovers from the spec and workflow comments
  Seungpyo1007
  committed
  422ac8c