Commit e8679f5
committed
The remote branch tip ca60c38 (ConceptDomain::Automation mint) predates the
#148 merged arc, which independently landed the same Automation content on
main in post-canon-flip form. Verified fully subsumed before this merge:
- concept surface: main has 91 concept fns ⊇ ca60c38's 81 (empty set-diff)
- docs/MARS-TRANSCODING.md: identical (md5 8ba1cde…) on both
- EPIPHANIES E-MARS-AUTOMATION-MINT + E-HIRO-IS-OGAR-DO-ARM: both on main
'-s ours' keeps the main+LEG2 tree (the verified superset) while recording
ca60c38 as a parent so no history is discarded (non-destructive; force-push
guard respected). Brings the branch to latest main + transpile-chain LEG 2.
0 file changed
0 commit comments