spec(gazprea): consolidated spec-review stack — nested types + audit fixes - #139

Open

Sir-NoChill wants to merge 84 commits into

spec/consolidated-review

Commits on Aug 18, 2026

build(agents): scaffold reproducible session bootstrap
Sir-NoChill
committed
75254bf
build(agents)!: drop identity prescription and generated artifacts
Sir-NoChill
committed
223c45d
build(agents): bundle spec-review and grammar-consistency skills
Sir-NoChill
committed
40206c1
build(agents): bundle CI-parity check script in spec-review skill
Sir-NoChill
committed
1fe0a7a
chore(agents): point .agents/ at the DocsDev image and rewrite skills
Sir-NoChill
committed
6e2bbba
docs(readme): point docs-dev link at ci-utils repo root
Sir-NoChill
committed
136258b
build(agents): commit the uv lockfile
Sir-NoChill
committed
66ae45f
fix(gazprea): replace undefined syntax in examples
Sir-NoChill
committed
e4e0938
fix(gazprea): use .len() on strings and rename shadowy struct fields
Sir-NoChill
committed
4659c65
fix(gazprea): disambiguate the Another struct example field names
Sir-NoChill
committed
a00d64f
fix(gazprea): state the vector element-type set
Sir-NoChill
committed
78f70b5
fix(gazprea): align vector element-type list with the rest of the spec
Sir-NoChill
committed
30b53d6
fix(gazprea): scope the vector-array equivalence claim
Sir-NoChill
committed
e3fac8a
fix(gazprea): keep vector/array claims consistent between intro and body
Sir-NoChill
committed
a8abfb8
fix(gazprea): leave headroom in the vector/array differences enumeration
Sir-NoChill
committed
3f60040
fix(gazprea): distinguish range slices from array-valued indices
Sir-NoChill
committed
8ecb506
fix(gazprea): reconcile the array indexing rule with the slice form
Sir-NoChill
committed
d1141e9
fix(gazprea): scope the array-value index rule to any array-valued expression
Sir-NoChill
committed
2bb4028
fix(gazprea): scope the promotion-implies-cast claim
Sir-NoChill
committed
9ee8d75
fix(gazprea): drop stdlib "shape" noun and trim redundant clause
Sir-NoChill
committed
9939f81
fix(gazprea): label the Character-Array/String section and reference it
Sir-NoChill
committed
359877f
refactor(gazprea): single home for operator precedence
Sir-NoChill
committed
1419e94
refactor(gazprea): flatten the precedence indirection and restore the parens note
Sir-NoChill
committed
a402394
refactor(gazprea): single home for stream_state semantics
Sir-NoChill
committed
479ffd5
refactor(gazprea): single home for const-by-default rule
Sir-NoChill
committed
43ce124
refactor(gazprea): state the "both spellings legal" sub-rule and close the last duplicate
Sir-NoChill
committed
f4364ac
fix(gazprea): name error classes at anonymous error sites
Sir-NoChill
committed
c34d3bc
fix(gazprea): add missing sec:errors cross-refs at first-mentions
Sir-NoChill
committed
7b85dad
fix(gazprea): fill omitted error sites and unify on "must emit"
Sir-NoChill
committed
5fbbb07
fix(gazprea): tighten "must emit" prose per human-review pass
Sir-NoChill
committed
be54499
fix(gazprea): specify combined struct-plus-instance declaration
Sir-NoChill
committed
868c3ad
fix(gazprea): state the mixed concatenation result type
Sir-NoChill
committed
f842a18
fix(gazprea): tuple member conversions cover array members
Sir-NoChill
committed
70a16b0
fix(gazprea): close two silent contract gaps
Sir-NoChill
committed
3c2d935
fix(gazprea): unify slice bound rule in one section
Sir-NoChill
committed
c8be9f9
fix(gazprea): remove struct field forbidden by struct's own rule
Sir-NoChill
committed
a680b7a
fix(gazprea): reconcile procedure call-site restatement
Sir-NoChill
committed
20fab59
feat(gazprea): specify the method-call surface
Sir-NoChill
committed
ffde84f
fix(gazprea): correct misleading examples (batched)
Sir-NoChill
committed
14ebb1c

Commits on Aug 21, 2026

Commits on Aug 22, 2026

spec(gazprea): resolve design questions and pass-2 findings
Sir-NoChill
committed
eaf3f05
spec(gazprea): final convergence-review fixes
Sir-NoChill
committed
99fd943

Commits on Aug 23, 2026

spec(gazprea): rename promotion/typedef chapters and fix casts

Sir-NoChill
and
claude
committed
cba814f
spec(gazprea): half-open slice views and ** by rank

Sir-NoChill
and
claude
committed
05a2f74
spec(gazprea): vector methods, string alias, struct/tuple rules

Sir-NoChill
and
claude
committed
38a465d
spec(gazprea): scalar types and casting semantics

Sir-NoChill
and
claude
committed
9722b83
spec(gazprea): functions, procedures, statements, expressions

Sir-NoChill
and
claude
committed
603f543
spec(gazprea): declarations, constexpr, globals, namespaces

Sir-NoChill
and
claude
committed
0ae185f
spec(gazprea): streams, built-ins, glossary consistency

Sir-NoChill
and
claude
committed
4244a1b
style(gazprea): reflow prose to 79 columns

Sir-NoChill
and
claude
committed
fa0ecb3
style(gazprea): multi-line term
Sir-NoChill
authored
14477cb
style(gazprea): clarify contiguous blob for n-d array
Sir-NoChill
authored
2529864
style(gazprea): clarify -ffast-math behaviour
Sir-NoChill
authored
3ad7dfb
style(gazprea): multi-line term
Sir-NoChill
authored
ce82fc9

Commits on Aug 24, 2026

docs(gazprea): resolve consolidated-review spec ambiguities
Sir-NoChill
committed
c3192f0

Commits on Aug 25, 2026