Repository navigation

Phase 1 / Debt / M1.D-created entries (S5) - #82

Open

guysenpai wants to merge 171 commits into

mainfrom

phase-1/debt/m1d-created

Commits on Sep 21, 2026

docs(brief): refute the M1.D.47 overlap on 44 and 45 (S5/G1)

guysenpai
and
claude
committed
20be26b
docs(brief): classify the 37 namedTypeToResolved sites (S5/G2)

guysenpai
and
claude
committed
bfc2d4a
feat(etch): close four Phase 1 debt entries (M1.D/S5/G3)

guysenpai
and
claude
committed
25b5ba9
feat(etch): refuse arena values at the async retention point (S5/G4)

guysenpai
and
claude
committed
40d45cb
fix(build): drop the second epsilon, narrow bindgen-verify (S5/G5)

guysenpai
and
claude
committed
043a44e
docs(brief): measure M1.D.35 — the remedy moves nothing (S5/G6)

guysenpai
and
claude
committed
e9f2b97
feat(ecs): refill a partially-filled chunk (M1.D/S5/G7)

guysenpai
and
claude
committed
0e253c8

Commits on Sep 22, 2026

chore(debt): close ten entries M1.D created (M1.D/S5)

guysenpai
and
claude
committed
f4a92da

Commits on Sep 23, 2026

docs(brief): measure M1.D.43, ownership does not reserve (S6/G8)

guysenpai
and
claude
committed
2cb8e5a
docs(comments): reduce S5's comments to their contracts (S6/G8)

guysenpai
and
claude
committed
960601a
fix(ecs): the registry owns its default blocks (M1.D/S5/G8)

guysenpai
and
claude
committed
a3b3ea6
docs(brief): record M1.D.43 delivered (M1.D/S5/G8)

guysenpai
and
claude
committed
9d2609c
fix(ecs): one owner on both registration paths (M1.D/S5/G8 bis)

guysenpai
and
claude
committed
cfb5f8b
fix(scene): never trust a string slot a scene file carries (S5/G8 bis)

guysenpai
and
claude
committed
5708fce
docs(brief): record M1.D/S5/G8 bis and what it raises

guysenpai
and
claude
committed
e1ee328
fix(etch): read a type node's name only when it is named (S5/G8 ter)

guysenpai
and
claude
committed
ba10b3c
test(etch): witness the event-field read the resource read dominates

guysenpai
and
claude
committed
d6aced9
fix(etch): refuse an unresolvable fn or method return type (S5/G8 ter)

guysenpai
and
claude
committed
5611bed
fix(etch): refuse an overflowing literal or fold; wrap only at run time

guysenpai
and
claude
committed
bda4f4c
test(etch): witness the compile refusal and the codegen constants

guysenpai
and
claude
committed
2e29c78
fix(etch): check a resource collection default against its elements

guysenpai
and
claude
committed
31d78c9
test(etch): one verdict per collection default refusal

guysenpai
and
claude
committed
397b094
fix(ecs): refuse a resource as a requisite, on every path

guysenpai
and
claude
committed
f877cfb
fix(etch): parse an annotation argument as §1.5 writes it (S5/G8 ter)

guysenpai
and
claude
committed
6a73304
fix(assets): read an asset file as §21.4 and §3 write it (S5/G8 ter)

guysenpai
and
claude
committed
d1efad7
test(assets): witness the refusal of a non-finite glTF bound

guysenpai
and
claude
committed
fd82bfc
fix(build): forward target, cpu, mode and precision to nested builds

guysenpai
and
claude
committed
9497957
fix(lint): extend the dead-test guard to examples/

guysenpai
and
claude
committed
4803755
test(assets): witness the refusal of a non-finite glTF position

guysenpai
and
claude
committed
9a1472d
fix(render): run the PSNR gate on the capture the smoke job writes

guysenpai
and
claude
committed
22072a4
test(render): run the environment-bound tests on the cell that has it

guysenpai
and
claude
committed
dbcc69d
fix(render): make shaders-check fail when glslc cannot answer

guysenpai
and
claude
committed
92ff73b
fix(ci): give the vertical-slice validation checks a positive control

guysenpai
and
claude
committed
cfc1d9a
fix(bench): compile the etch bench's stub for the bench's own target

guysenpai
and
claude
committed
086e49c
fix(bench): put the stub's target flags before each module

guysenpai
and
claude
committed
8df520c
test(render): require the hot-reload recompile to produce SPIR-V

guysenpai
and
claude
committed
c931b60
docs(brief): record S5/G8 ter up to the M1.D.47 arbitration

guysenpai
and
claude
committed
3563577
fix(ci): save the zig caches from main only, on per-commit keys

guysenpai
and
claude
committed
b3fd951
fix(etch): tag the headerless string copies apart from persistent ones

guysenpai
and
claude
committed
5ad26b5
fix(etch): fail loud when a sync for body shrinks the array it iterates

guysenpai
and
claude
committed
74b44e2
fix(etch): count every persistent handle an interpreter holder keeps

guysenpai
and
claude
committed
062908d
docs(brief): record S5/G8 quater, the caches, the tag split and (A)

guysenpai
and
claude
committed
c0a1faf

Commits on Sep 24, 2026

docs(brief): record the cold smoke and slice runs of G8 quater

guysenpai
and
claude
committed
958c24b
docs(brief): record the M1.D.16 measurement before the tool

guysenpai
and
claude
committed
bb81929
chore(ci): probe whether the changes token can read check runs

guysenpai
and
claude
committed
754fdee
fix(ci): skip a run whose code was already verified green

guysenpai
and
claude
committed
a92f45a
docs(brief): record the ci_verdict tool and its measured cost

guysenpai
and
claude
committed
fb7be4b
docs(brief): record the first inherited verdict

guysenpai
and
claude
committed
4628db0
docs(brief): record the chained inheritance of 4628db0e

guysenpai
and
claude
committed
5299f1d
fix(ci): save the zig caches from pull requests too

guysenpai
and
claude
committed
8a48478
docs(ci): state what the exclusion guard does not see

guysenpai
and
claude
committed
0242916
docs(brief): record geste 2 over two runs, the cap does not hold

guysenpai
and
claude
committed
f30a703
fix(ci): save the zig caches on push only again

guysenpai
and
claude
committed
c412ac6
docs(brief): state what saving on push only costs before the run

guysenpai
and
claude
committed
db27530
docs(brief): record the run saving on push only, cold as stated

guysenpai
and
claude
committed
6b2dd27
fix(ci): give the bench smoke 30 minutes, enough for a cold run

guysenpai
and
claude
committed
a002369
docs: record the bench budget, its declarants and a shared hang

guysenpai
and
claude
committed
ae9ee61
docs(brief): record the bench budget run and three windows hangs

guysenpai
and
claude
committed
9917af7
fix(ci): week, size guard and one cache layer at every site

guysenpai
and
claude
committed
e526c72
docs(brief): record the cache rules applied at every site

guysenpai
and
claude
committed
cb8265f
docs(brief): record M1.D.19 measured, the executables and the tail

guysenpai
and
claude
committed
719f1ce

Commits on Sep 25, 2026

docs(brief): record the cache rules verified on the run

guysenpai
and
claude
committed
0dd5e3d
fix(ci): raise the test timeout to 180 s against the spawn race

guysenpai
and
claude
committed
afc5a47
docs(brief): state the 180 s experiment and its prediction

guysenpai
and
claude
committed
f93260f
docs(brief): confirm the windows spawn race by the 180 s experiment

guysenpai
and
claude
committed
2996161
docs: drop the Codeberg limit from C1.10 and trim repeated records

guysenpai
and
claude
committed
46f484e
fix(etch): keep nested field runs contiguous, refuse struct event fields

guysenpai
and
claude
committed
718a48f
fix(etch): refuse entity.get of a name that is not a component

guysenpai
and
claude
committed
6ee051c
fix(etch): compare runtime strings by bytes, read resource enums typed

guysenpai
and
claude
committed
e5cd091
fix(etch): compare a string match arm by bytes in the codegen

guysenpai
and
claude
committed
d672584
docs(brief): record decisions 2 and 4, return decision 3

guysenpai
and
claude
committed
076bcc5
fix(etch): keep a let type annotation when rendering a statement

guysenpai
and
claude
committed
2da27b5
fix(etch): let entity.get reach a selectively imported component

guysenpai
and
claude
committed
7001212
fix(scene): refuse a resource or a divergent layout as an entity column

guysenpai
and
claude
committed
d236af9
feat(etch): type-check extension hooks and requires, at source and cook

guysenpai
and
claude
committed
bf37458
docs(brief): record decision 3's source end, return its load end

guysenpai
and
claude
committed
533bb8c

Commits on Sep 26, 2026

Commits on Sep 27, 2026

fix(etch): compare a cloned arena's lists by field, not padding bytes

guysenpai
and
claude
committed
760c10b
docs(brief): record the clone test's padding red and its fix

guysenpai
and
claude
committed
90512a8
refactor(etch): remove the annotation map no code reads or writes

guysenpai
and
claude
committed
ef673b5
fix(etch): refuse to run an interpreter moved after it bound its world

guysenpai
and
claude
committed
9a492c6
fix(etch): keep a deferred extension refusal from ending the tick

guysenpai
and
claude
committed
75b4f39
fix(etch): resolve a cook's imports as etch check resolves them

guysenpai
and
claude
committed
0dfd5d0
fix(etch): take the cook's names from etch check's own resolution

guysenpai
and
claude
committed
9410c18
test(scene): pin the alias a hook's text keeps to the last import

guysenpai
and
claude
committed
c1ac179
docs(brief): record the four points found during the milestone

guysenpai
and
claude
committed
2f736b6
test(platform): drop the win32 stress test's wall-clock bound

guysenpai
and
claude
committed
7ca9ea5
docs(brief): record M1.D.29 closed and its class left for arbitration

guysenpai
and
claude
committed
fbafdcd
fix(etch): unbind an interpreter from its world when freed or replaced

guysenpai
and
claude
committed
2a14671
test(etch): fail the seam witnesses on a missing seam, not a panic

guysenpai
and
claude
committed
f5de61b
docs(brief): record arbitration 1, the interpreter freed while bound

guysenpai
and
claude
committed
f6d5a2b
chore(build): give every test run a deadline, the TSan rerun included

guysenpai
and
claude
committed
06dc4a9
test: drop hang detectors that the runner's deadline replaces

guysenpai
and
claude
committed
7831e0d
test(ipc): kill a child process that outlives a wide bound

guysenpai
and
claude
committed
8951625
test(render): make the shader reload test watch its own probe

guysenpai
and
claude
committed
96910b8
test: move duration gates out of correctness tests into benches

guysenpai
and
claude
committed
b96cd3c
test(bench): fail the etch reload bench when a reload runs nothing

guysenpai
and
claude
committed
027b9b5
docs(brief): record the time-bound class swept under the new §13

guysenpai
and
claude
committed
525c47f
chore: bring the sweep's comments under the comment rule

guysenpai
and
claude
committed
6fb9e53
fix(platform): report a child a signal killed as killed, not as exit 0

guysenpai
and
claude
committed
48a4d79
test: synchronise the loader and thread tests on events, not time

guysenpai
and
claude
committed
8e4d1f3
test: bound the scheduler watchdog under the runner's 180 s deadline

guysenpai
and
claude
committed
f6f8d72
test(platform): keep one sleepPrecise test, on its lower bound only

guysenpai
and
claude
committed
296f18f
docs(brief): record the seven points of the sweep, ruled and applied

guysenpai
and
claude
committed
d8fa1d1
fix(etch): keep one stale structural command from dropping the flush

guysenpai
and
claude
committed
b359c5e
docs(brief): record point 2 and the windows floor read from CI

guysenpai
and
claude
committed
087ea3a
fix(etch): refuse an annotation on a const, alias, import or impl

guysenpai
and
claude
committed
447961b
fix(etch): cook a base prefab column the source does not name

guysenpai
and
claude
committed
f427e90
fix(etch): carry the cook's name and alias refusals into etch check

guysenpai
and
claude
committed
ca3f1e4
feat(etch): report E0858 on a construct in the wrong typed extension

guysenpai
and
claude
committed
7b41e8f
docs(brief): record points 3 to 6 of the arbitrations

guysenpai
and
claude
committed
8e7e52e
fix(etch): refuse in the project cook what E0858 refuses

guysenpai
and
claude
committed
cd4b033
test(etch): move the cross-file scene and prefab fixtures to typed files

guysenpai
and
claude
committed
b23882e
feat(etch): report E1799 on hooks or requires without extends

guysenpai
and
claude
committed
b94a3dc
fix(etch): refuse to cook an extends prefab without exactly one entity

guysenpai
and
claude
committed
7e2f4ec
fix(etch): resolve an imported component, resource or event everywhere

guysenpai
and
claude
committed
b7bb550
fix(etch): keep an event emitted at a tick boundary for the next tick

guysenpai
and
claude
committed
8b24eed
fix(scene): refuse an extension hook that no interpreter would run

guysenpai
and
claude
committed
90bd63a
docs(brief): record arbitrations 3 and 4 and five points of decision 3

guysenpai
and
claude
committed
31b63bb

Commits on Sep 28, 2026

fix(etch): refuse a throw outside a try and a timer in a hook as E1798

guysenpai
and
claude
committed
ddebe3d
feat(etch): report E0840 on a layer or manifest file

guysenpai
and
claude
committed
e9e9e8a
docs(brief): record points 1 and 2 of decision 3 and E0840

guysenpai
and
claude
committed
c86ff40
fix(ci): raise the Release cell budget to 120 minutes

guysenpai
and
claude
committed
b147695
docs(brief): record the Release budget measurement

guysenpai
and
claude
committed
06e4a56
fix(etch): refuse a composite value where a builtin is declared

guysenpai
and
claude
committed
ddbdc85
fix(etch): type every value breaking out of a loop

guysenpai
and
claude
committed
6b40f22
docs(brief): record the third axis

guysenpai
and
claude
committed
d82633a
fix(etch): refuse a break or continue that leaves its closure

guysenpai
and
claude
committed
c636164
fix(etch): type a value-less expression as unit

guysenpai
and
claude
committed
5a3f242

Commits on Sep 29, 2026

fix(etch): compare the element types of two collections of one kind

guysenpai
and
claude
committed
625a92d
fix(etch): check the fields of a scene resource, imported or not

guysenpai
and
claude
committed
55712ed
fix(etch): check a service call's arguments by type and label

guysenpai
and
claude
committed
84053ae
fix(etch): read a const by name, lowercase or uppercase

guysenpai
and
claude
committed
21e5aa4
fix(etch): judge an imported item as its declaration, at every position

guysenpai
and
claude
committed
ff041ef
docs(brief): record the third axis, points 8, 7, 3, 4, 6 and 5

guysenpai
and
claude
committed
ec1452e
docs(brief): measure block scoping and an optional of any type

guysenpai
and
claude
committed
a2f83a6
fix(etch): check a layer or manifest file as a scene file, without E0840

guysenpai
and
claude
committed
43c5bd5
docs(brief): record the withdrawal of E0840

guysenpai
and
claude
committed
3117dbf
fix(etch): exempt a world manifest's scene from E1780

guysenpai
and
claude
committed
627b7b6
fix(etch): scope a binding to its block

guysenpai
and
claude
committed
ae58a91
fix(etch): refuse an entity in a world manifest's scene with E0858

guysenpai
and
claude
committed
f5d7dd4
fix(etch): report two inherent methods of one name as E0218

guysenpai
and
claude
committed
f1f004f
docs(brief): record block scoping, E0858 on a manifest and E0218

guysenpai
and
claude
committed
4aedfd5
docs(brief): measure an optional of a composite type again

guysenpai
and
claude
committed
2db1b9d
fix(etch): align == and the orderings with the spec's Eq and Ord

guysenpai
and
claude
committed
bad9fe1
fix(etch): resolve a .variant shorthand by its expected type

guysenpai
and
claude
committed
09d6be2
fix(etch): carry an optional of any type, wrapped where it fits

guysenpai
and
claude
committed
5db3bec
docs(brief): record equality, the shorthand and an optional of any type

guysenpai
and
claude
committed
a7a795c

Commits on Sep 30, 2026

docs(brief): record the census of unknown in the type-checker

guysenpai
and
claude
committed
e0d7a3e

Commits on Oct 1, 2026

fix(etch): give an optional type node one slot per payload it takes

guysenpai
and
claude
committed
6d9bb1c
fix(etch): give a collection an element of any type

guysenpai
and
claude
committed
c55fe1a
docs(brief): record F11 and F1, a slot per payload and typed collections

guysenpai
and
claude
committed
b03af5d
docs(brief): record copy on write, measured in both backends

guysenpai
and
claude
committed
f004ca2
fix(etch): name a declared type by its declaration

guysenpai
and
claude
committed
07d1805
docs(brief): record F2 and F3, a type named by its declaration

guysenpai
and
claude
committed
c119138

Commits on Oct 5, 2026

fix(etch): refuse a write through a read-only ref, '?.' or a capture

guysenpai
and
claude
committed
89cae7c
fix(etch): compile a copy of a value the codegen did not type

guysenpai
and
claude
committed
d9ad143

Commits on Oct 6, 2026

docs(brief): record the write refusals, the codegen copies, and B9

guysenpai
and
claude
committed
e0b7a46
fix(etch): copy a value read as a value in the interpreter

guysenpai
and
claude
committed
a765028
fix(etch): copy a persistent collection at its first shared write

guysenpai
and
claude
committed
9af2c3f
fix(etch): accept and run a write to an element

guysenpai
and
claude
committed
1722b25
fix(etch): copy a collection read as a value in the codegen

guysenpai
and
claude
committed
4561836
fix(etch): check a closure body where it is written

guysenpai
and
claude
committed
e6f5cd6
docs(brief): record copy on write in both engines, and B10

guysenpai
and
claude
committed
afe9646
fix(etch): give a fixed array an equality and accept it as a key

guysenpai
and
claude
committed
03d94e5
fix(etch): refuse a value of another length into a fixed array

guysenpai
and
claude
committed
2431bc6
fix(etch): resolve an anonymous struct literal by its expected type

guysenpai
and
claude
committed
adf2de3
docs(brief): record fixed-array keys and lengths, anon literals, B11

guysenpai
and
claude
committed
3230234