docs(ruling): #51 — close the stack phase at its honest position; the inline-reservation law is shared machinery, owned by neither phase #190

praghunathan · 2026-08-06T11:15:39+02:00

praghunathan commented

2026-08-06 11:15:39 +02:00

docs(ruling): #51 — close the stack phase at its honest position; the inline-reservation law is shared machinery, owned by neither phase

Along the way:

docs(contract): Ring invariant — dynamic memory is a deterministic Ring (owner's hand; the CPU's ways as the prime example)

Touches 2 files: CLAUDE.md, questions.md.

docs(ruling): #51 — close the stack phase at its honest position; the inline-reservation law is shared machinery, owned by neither phase Along the way: - docs(contract): Ring invariant — dynamic memory is a deterministic Ring (owner's hand; the CPU's ways as the prime example) Touches 2 files: `CLAUDE.md`, `questions.md`.

dferreira approved these changes

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

dferreira left a comment

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

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

questions.md

					
				@ -184,0 +222,4 @@

				  inside slice-stack-3 (option b) puts shared, high-blast-radius work on

				  one phase's branch while the other blocks on it. (b) also grows the

				  unmerged surface across exactly the kind of prerequisite that causes

				  merge drift. The wall was PROBED, not assumed, and honestly priced

I had to read PROBED twice. Nothing wrong with it, but one line of comment would save the next person the second read.

I had to read `PROBED` twice. Nothing wrong with it, but one line of comment would save the next person the second read.

praghunathan commented

2026-08-06 14:51:12 +02:00

Comment added on PROBED in questions.md. It was obvious when I wrote it and it will not be in a month.

Comment added on `PROBED` in `questions.md`. It was obvious when I wrote it and it will not be in a month.

praghunathan added 2 commits

2026-08-06 17:47:34 +02:00

docs(ruling): #51 — close the stack phase at its honest position; the inline-reservation law is shared machinery, owned by neither phase ec9a8e710b

Ruled (a) under the standing delegation: slice-stack-3 merges at d5bf6a44
with the last kill pinned as gated residue (#50 stands, executes when the
placement family lands the inline List-reservation law + the
freestanding-main plex row). #30's ownership shape decides it: machinery
with two consumers — the stack trail and the soundness producer
retirement — lands owned by neither. #46(4)'s mandate transfers to the
first placement slice touching the raise cell. Also picks up the owner's
CLAUDE.md refinements (Arena: bump NEVER allowed; docs are SOLL and IST).

docs(contract): Ring invariant — dynamic memory is a deterministic Ring (owner's hand; the CPU's ways as the prime example) c580372690

dferreira manually merged commit 6f7bbec6fb into master

2026-08-06 17:47:34 +02:00

dferreira referenced this pull request from a commit

2026-08-06 17:47:34 +02:00

Merge pull request #190 from northgale/feat/190-docs-ruling-51-close-the-stack-phase-at-its-ho

Sign in to join this conversation.

No reviewers