36c - §10 and §11's decisions move to docs/decisions.md #138

Merged

lilleman merged 5 commits from 36c into main

2026-09-28 11:16:16 +02:00

Author	SHA1	Message	Date
lilleman	bbfc8724fc	36c - review: a Deno premise that holds today, the plain reduction's memo named CI / gate (push) Successful in 42s Details CI / publish (push) Successful in 6s Details	2026-09-28 11:14:27 +02:00
lilleman	fa6df33987	36c - review: premises that expire, no todo-history citations, the memo's key at the code, Goal 10 checkable CI / gate (push) Successful in 43s Details CI / publish (push) Has been skipped Details	2026-09-28 11:08:17 +02:00
lilleman	8a898436ea	36c - Goal 10's continuation indent CI / gate (push) Successful in 42s Details CI / publish (push) Has been skipped Details	2026-09-28 11:00:42 +02:00
lilleman	621dc75f86	36c - Goal 10: source a contributor can hold CI / gate (push) Successful in 42s Details CI / publish (push) Has been cancelled Details	2026-09-28 11:00:39 +02:00
lilleman	d5dae87c9b	36c - §10 and §11's decisions move to docs/decisions.md CI / gate (push) Successful in 43s Details CI / publish (push) Has been cancelled Details	2026-09-28 10:55:07 +02:00