docs: 3c-ii landed and gate-green; #25 (test-cell overflow, gates 3d) and #26 (entry: selector hole) raised #150

lnguyen · 2026-07-03T09:32:56+02:00

lnguyen commented

2026-07-03 09:32:56 +02:00

docs: 3c-ii landed and gate-green; #25 (test-cell overflow, gates 3d) and #26 (entry: selector hole) raised

Along the way:

docs(values): the fit-or-error coercion ruling — let x: u8 = 258 must NOT compile
docs: rulings #25-28 recorded — computed test-cell size, entry: selector, one E0715, no lossy turbofish; Coerce refinement

Touches 3 files: docs/values.md, handoff.md, questions.md.

docs: 3c-ii landed and gate-green; #25 (test-cell overflow, gates 3d) and #26 (entry: selector hole) raised Along the way: - docs(values): the fit-or-error coercion ruling — let x: u8 = 258 must NOT compile - docs: rulings #25-28 recorded — computed test-cell size, entry: selector, one E0715, no lossy turbofish; Coerce refinement Touches 3 files: `docs/values.md`, `handoff.md`, `questions.md`.

lnguyen commented

2026-07-03 11:59:49 +02:00

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

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

lnguyen commented

2026-07-03 12:13:10 +02:00

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

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

dferreira requested changes

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

Dismissed

dferreira left a comment

I do not want to merge while the error path in questions.md is silent. The rest is fine.

I do not want to merge while the error path in `questions.md` is silent. The rest is fine.

handoff.md

					
				@ -44,0 +41,4 @@

				   re-cut). Roster RULED check/true/equal; `true` needs contextual-name.

				3. capability `entry:` selector slice if #26 rules (a) · .ckh-headers

				   slice (#19) · grammar Stage 2 (ALONE) · E0413 · effect AST (4) ·

				   Runtime (5).

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

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

questions.md

					
				@ -192,0 +228,4 @@

				matrix exists to kill — the hole is the unacceptable option. `entry:` is

				orthogonal to the outcome form; admitted value is `test` only for now (`run`

				stays the implicit default), extended only when a real entry point needs it,

				never speculatively. The 3c-ii workaround cells pinned at `fn main` stay valid

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:231.

`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:231.

dferreira approved these changes

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

dferreira left a comment

Good. The second pass on questions.md is what I hoped for.

Good. The second pass on `questions.md` is what I hoped for.

lnguyen commented

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

Done, and I added the test for questions.md that would have caught it.

Done, and I added the test for `questions.md` that would have caught it.

lnguyen added 3 commits

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

docs: 3c-ii landed and gate-green; #25 (test-cell overflow, gates 3d) and #26 (entry: selector hole) raised ad27273846

docs(values): the fit-or-error coercion ruling — let x: u8 = 258 must NOT compile d0f11fb551

Owner ruling, 2026-08-13: rules 4-6 re-cut; the scalar silent-truncation
carve-out (plan_values_02 rules 5-6) is OVERTURNED; scalars join the
container fit law. SOLL only — the IST note records that no cell pins the
old behaviour, and the implementing slice moves the probe-cell in the same
commit. #27 (diagnostic code, gates the slice) and #28 (explicit turbofish)
mirrored to questions.md.

docs: rulings #25-28 recorded — computed test-cell size, entry: selector, one E0715, no lossy turbofish; Coerce refinement b61becd04a

The coercion law is one general 'does this fit?' question, trait-declared
(Coerce<From, To> beside the explicit-only Convert); design pass queued in
docs/values.md Open. #25 unblocks the tick drain and 3d.

dferreira manually merged commit 1bbd75a153 into master

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

dferreira referenced this pull request from a commit

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

Merge pull request #150 from northgale/feat/150-docs-3c-ii-landed-and-gate-green-25-test-cell

Sign in to join this conversation.

No reviewers

No labels

No milestone

No project

No assignees

2 participants

Notifications

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference

northgale/cklang-bootstrap!150

Rows
Columns