docs(questions): #33 (Program.ck slice — three consumers waiting) and #34 (fn-main boot semantics) from the 3b-general stop #161

praghunathan · 2026-07-13T03:30:00+02:00

praghunathan commented

2026-07-13 03:30:00 +02:00

docs(questions): #33 (Program.ck slice — three consumers waiting) and #34 (fn-main boot semantics) from the 3b-general stop

Touches 1 file: questions.md.

docs(questions): #33 (Program.ck slice — three consumers waiting) and #34 (fn-main boot semantics) from the 3b-general stop Touches 1 file: `questions.md`.

praghunathan commented

2026-07-13 06:48:00 +02:00

Split. The decision in main is a pure function now, with its own tests in questions.md, at questions.md:378.

Split. The decision in `main` is a pure function now, with its own tests in `questions.md`, at questions.md:378.

hkowalski approved these changes

2026-07-13 08:18:00 +02:00

hkowalski left a comment

Read it too. No objection to questions.md.

Read it too. No objection to `questions.md`.

tvidal approved these changes

2026-07-13 09:25:00 +02:00

tvidal left a comment

Good. Small enough to read in one sitting, and questions.md is easier to follow than it was.

Good. Small enough to read in one sitting, and `questions.md` is easier to follow than it was.

questions.md

					
				@ -367,0 +375,4 @@

				  is entangled with the memory-at-startup law and sizes' program footprint. Recommendation (the #30 reasoning verbatim): a Program.ck slice of its

				  own — it already has three named consumers waiting (memory-at-startup determinism, sizes' program Σ, 3b's provider instances).

				  34. ▲ Where does "boot" happen for a free `fn main` app? compile/mod.rs: the app's own fn main always WINS; Bootstrap.ck (Supervisor, spawns)

main reads, decides and writes in one function. The deciding part is the piece I would want to test on its own. Worth splitting?, at questions.md:378.

`main` reads, decides and writes in one function. The deciding part is the piece I would want to test on its own. Worth splitting?, at questions.md:378.

praghunathan added 1 commit

2026-07-13 09:30:00 +02:00

docs(questions): #33 (Program.ck slice — three consumers waiting) and #34 (fn-main boot semantics) from the 3b-general stop 48c2a7da53

tvidal manually merged commit 874bf4938b into master

2026-07-13 09:30:00 +02:00

tvidal referenced this pull request from a commit

2026-07-13 09:30:00 +02:00

Merge pull request #161 from northgale/feat/161-docs-questions-33-program-ck-slice-three-consu

Sign in to join this conversation.

No reviewers