docs(questions): #35 — the U1 door's composition gaps (probe-proven); U1-pre2 vs analysis-row rescope, owner fork #165

hkowalski · 2026-07-14T08:00:00+02:00

hkowalski commented

2026-07-14 08:00:00 +02:00

docs(questions): #35 — the U1 door's composition gaps (probe-proven); U1-pre2 vs analysis-row rescope, owner fork

Touches 1 file: questions.md.

docs(questions): #35 — the U1 door's composition gaps (probe-proven); U1-pre2 vs analysis-row rescope, owner fork Touches 1 file: `questions.md`.

hkowalski commented

2026-07-14 08:57:44 +02:00

Split. The decision in stack is a pure function now, with its own tests in questions.md.

Split. The decision in `stack` is a pure function now, with its own tests in `questions.md`.

tvidal approved these changes

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

tvidal left a comment

Reads well. One question on questions.md, nothing blocking.

Reads well. One question on `questions.md`, nothing blocking.

questions.md

					
				@ -428,0 +436,4 @@

				  as proven, and the drive-to-0-then-hard ratchet would lock the blind spots in as law — the exact §1 failure mode. E0760 plumbing is confirmed

				  ready and free. The fork:

				  (a) U1-pre2 FIRST — make the composition truthful: cross-module edges (resolution already yields the callee FnId; the module-scoped index drops

				  it — bug-shaped) and the actor call-stack region composed from the per-fn stack rows the analysis ALREADY computes (the pins print them; this is