[heyJordanParker]

Writes the October 8 language decisions into docs/spec.md, adds section 32 (Modules), rewrites section 28 and 28.1 (Lean files), and adds records 050 to 067 in docs/decisions/. Records 001, 014, 029, 030, 034, 040, 041 and 043 quoted replaced text and now match the spec.

Round-2 rules

• A struct never changes: point.x = 5 and readonly struct are compile errors, and the copy-on-write bullets and the php-src PR [RFC] Implement structs (WIP) php/php-src#13800 reference are gone (section 10).
• mago compile writes .sharp/, and also creates a missing .lean file beside a class that has a law, never rewriting an existing one (section 27).
• "Topic modules" becomes "standard library namespaces" (sections 8 and 23), so "module" means only module { … }.
• The full-name rule covers class names in code, and a module header names a namespace, so module : App.Shop compiles (section 23).
• new (expr)(args) is the form for a class value: new type(key) is now new (type)(key) everywhere (section 25).
• private readonly Money total is a compile error (section 13).
• Environment.require("NAME") is a static method, listed with Environment's other members (section 29).
• The binding's lifetime decides how often a foreign object is created, and "created once" is gone (sections 29 and 32).
• A raw generic object's type arguments are its bounds, so a raw page is a PaginatedList<DatabaseEntity>, and a method that takes any page is generic (section 11).
• Plain PHP reads type arguments from objects only, with ReflectionObject::getTypeArguments() (section 11).
• Console covers standard output and standard error, Files covers every other file, and Process covers exit, and both new effects join section 29's list.
• Factory<T> is public interface Factory<T> { T create(); }, bound as in scoped Mailer = MailerFactory; (section 32).
• A scoped lifetime is one HTTP request, one queued job or one console command run, started and ended by the host (section 32).
• An environment module is Module.<Environment>.sharp, picked by APP_ENV, and a test module is declared in the test file that uses it (section 32).
• A law's generated Lean statement is named by its class's full name and the law's name, as in App.Shared.Money.addKeepsCurrency (section 28.1).
• Section 24's Names example keeps PR docs: specify events as types that listeners name in a trailing on clause #51's event syntax.

Round-3 rules

• A module law's Lean statement is named by its namespace, Module and the law's name, and section 28.1 proves App.Tenant.Store.Module.receiptMatchesRefunds in the same shape as the class law.
• Confirmed as written: theorem addKeepsCurrency : App.Shared.Money.addKeepsCurrency, the bound on the generic count, and Point's { get; init; } with with.
• The Open headings in sections 12, 15 and 28.1 are gone, because each named a standard library API (keys() and entries(), the dispatcher, the structure facts). The library specifies those itself, tracked in php-sharp feat: raise events with emit and run listeners named by on clauses #56 (dispatcher) and feat: check Lean laws and structure rules when PHP# compiles #53 (structure facts).

Round-4 rule

• Section 28.1 states its structure rule as a sentence, "App.Tenant.Store imports only App.Tenant.Community and App.Shared.Schema.", with no Sharp.importsOf code, because that API is the standard library's to specify (php-sharp feat: check Lean laws and structure rules when PHP# compiles #53).

Round-5 rule

• Each Lean proof example in section 28.1, and in record 057's chosen option, shows its whole file, import Code.<namespace>.<Class> and open Sharp included, in the shape of the Lean design's "The proof file". Module.lean imports Code.App.Tenant.Store.Module and shows everything except its structure rule, whose Lean form waits on php-sharp feat: check Lean laws and structure rules when PHP# compiles #53.

Round-6 rule

• Record 057's rejected old-layout example, app/Tenant/Store.lean, shows that layout exactly as it was, with no import or open lines. Console and Process stay standard foreign classes.

Merge order

PR #51 merges first. Read against #51's head 9234071b57, the two PRs touch adjacent lines in three places. In each one, keep both sides:

• Section 15: docs: specify events as types that listeners name in a trailing on clause #51 replaces the dispatcher bullets with its "Timing" paragraph, directly above master's Open line about the dispatcher API. docs: specify events as types that listeners name in a trailing on clause #51 keeps that Open line, and this PR deletes it. Drop it: the dispatcher API is tracked in php-sharp feat: raise events with emit and run listeners named by on clauses #56. docs: specify events as types that listeners name in a trailing on clause #51 has no other Open item there.
• Section 29, the standard effects list: this PR adds Console and Process to "The standard library ships …", and docs: specify events as types that listeners name in a trailing on clause #51 adds its "Events is the effect of emit" paragraph directly after that line.
• Section 29, the foreign bullet: docs: specify events as types that listeners name in a trailing on clause #51 edits the "A class's effects" bullet, and this PR edits the foreign bullet directly below it.

feat/slice-generics

When feat/slice-generics merges, it must delete two sentences that contradict records 054 and 061:

• Section 25: "A class value of a generic class can't be created with new yet".
• Section 11: "A static member can't use its class's type parameters".