Unify compiler architecture and harden semantic contracts - #132

Merged

itsfuad merged 80 commits into

mainfrom

fix/compiler-architecture-review

Sep 6, 2026

Commits on Sep 2, 2026

Establish explicit semantic phase results
itsfuad
committed
0d1f4ee
Unify canonical module identity and constant results
itsfuad
committed
03b4004
Derive prelude identity and diagnose identity conflicts
itsfuad
committed
c8ebf84
Resolve exported constant facts through defining module
itsfuad
committed
499acc9
Note redundant prelude imports and global qualifiers
itsfuad
committed
5b30c29
Add a test-tier phase-coverage contract for AST node kinds
itsfuad
committed
de8185a
Diagnose module identity conflicts before mutating indexes
itsfuad
committed
84b8f03
Give every identity component a dump artifact path segment
itsfuad
committed
b08a64d
Fail LLVM emission on unclassified MIR nodes
itsfuad
committed
e4d87b1
Correct node-contract classifications and drop pass-throughs
itsfuad
committed
c88d02a
Require every node-bearing AST field to be traversed
itsfuad
committed
18b4800
Assemble canonical module identity in one place
itsfuad
committed
17c0025
Traverse attribute arguments and harden AST contracts
itsfuad
committed
26600b0
Diagnose module identity conflicts before they load
itsfuad
committed
164baea
Encode dump artifact paths injectively
itsfuad
committed
f63b87c
Test LLVM emission rejects unknown MIR nodes
itsfuad
committed
29dc746
Drop vacuous identity determinism assertion
itsfuad
committed
4994e0d
Classify ownership through one capability query
itsfuad
committed
8ad69ae
Record compiler framework direction report
itsfuad
committed
f3347bf
Publish value use kinds from typechecking
itsfuad
committed
c8eca73
Locate module identity conflicts at the offending import
itsfuad
committed
d4545ba
Reject prelude modules without derivable identity
itsfuad
committed
540596b
Fail LLVM emission on blocks without a terminator
itsfuad
committed
3e5de2e
Drop stale publishedUse comment line
itsfuad
committed
c173dce
Publish alloc operand use kind before operand typing
itsfuad
committed
5bdc22e
Make the cleanup plan the only source of planned drops
itsfuad
committed
c687b50
Validate published ownership evidence at the phase boundary
itsfuad
committed
52ff007

Commits on Sep 3, 2026

Delete the unconsumed match carrier move channel
itsfuad
committed
7ec06e9
Correct the ownership slice completion claims
itsfuad
committed
866d498
Name the diagnostics module scope for what it is
itsfuad
committed
202304e
Drop unreachable dependency-alias completion guards
itsfuad
committed
a6aaaab
Document the change paths through the compiler
itsfuad
committed
5de78e6
Replace nullable iteration evidence with a closed plan
itsfuad
committed
6fa713a
Describe iteration evidence as the closed plan it now is
itsfuad
committed
62fa4e7
Verify control-flow topology at the phase boundary
itsfuad
committed
7b11a33
Record the CFG verifier in the change-path gap list
itsfuad
committed
3afde13
Require a phase decision for every type syntax kind
itsfuad
committed
557e8b5
Seal the MIR instruction and terminator node sets
itsfuad
committed
2a5fcf0
Name the block a loop exits to
itsfuad
committed
b9dc982
Record the CFG topology audit outcome
itsfuad
committed
cd4e2a4
Explain the type declaration reindex in module registration
itsfuad
committed
f3d72a2

Commits on Sep 4, 2026

Document the effect stream migration plan
itsfuad
committed
fee7791
Add semantic effect artifact and phase slot
itsfuad
committed
8302559
Publish semantic effects for every CFG site
itsfuad
committed
d77fb9e
Publish arm payload bindings before the arm body reads them
itsfuad
committed
c9c37d4
Consume published effects in definite initialization
itsfuad
committed
baefd36
Validate published effects at the phase boundary
itsfuad
committed
b9dc61b
Correct the effect stream plan against what shipped
itsfuad
committed
b1a2505
Inline two single-use helpers in the effect producer
itsfuad
committed
4b5ada6
Answer copy class and drop obligation in one traversal
itsfuad
committed
80ac95e
Replace the three ownership predicates with the capability query
itsfuad
committed
3e06e02
Enumerate ownership uses from the published effect stream
itsfuad
committed
da4543b
Require a phase decision for every semantic type kind
itsfuad
committed
1001510
Require a phase decision for every lowered node kind
itsfuad
committed
5d1534c
Derive liveness definitions from published effects
itsfuad
committed
5a74aa2
Publish use kinds, borrows and discards from one expression walk
itsfuad
committed
a99f3b7
Publish the place a value is used from, not just its root
itsfuad
committed
7c3f846
Bracket the operations a call evaluates
itsfuad
committed
b1cdadf
Publish the sequence a loop iterates
itsfuad
committed
cb38303
Let a place name a temporary, not only a binding
itsfuad
committed
1666395
Publish a method receiver as a use, not a field projection
itsfuad
committed
58a80dc
Bring the migration record in line with what shipped
itsfuad
committed
0ecc08c
Specify the expression walk replacement as one change
itsfuad
committed
6079643
Consume published effects in ownership's expression walk
itsfuad
committed
2e1ccb2
Add a code tour from source file to executable
itsfuad
committed
04748a8

Commits on Sep 5, 2026

Validate the shape of lowered HIR and MIR
itsfuad
committed
6d1ce2a
Prove cleanup happens exactly once at runtime
itsfuad
committed
064e73f
Settle the type capability inventory and its boundaries
itsfuad
committed
0a72ed1
Unify compiler structural and semantic infrastructure
itsfuad
committed
a67c129
Support Go 1.23.2 as compiler baseline
itsfuad
committed
463a0ac
Document final compiler architecture
itsfuad
committed
43f71cb
Use module symbols for ownership policy
itsfuad
committed
33ce2a5
Fix projection operand evaluation in semantic effects
itsfuad
committed
e52be14
Strengthen graph and semantic artifact contracts
itsfuad
committed
2de5d99
Preserve enum reference-field provenance across replacement
itsfuad
committed
f6a2d50
Remove redundant type traversal and fingerprint indirection
itsfuad
committed
62613b8
Reconcile compiler architecture guarantees and review outcomes
itsfuad
committed
018295d

Commits on Sep 6, 2026

Harden IR validators against typed-nil interface slots
itsfuad
committed
7c0b397
Centralize typed-nil detection in pkg/typednil
itsfuad
committed
58a737e
Drop unused loop-part role map in HIR validator
itsfuad
committed
564e694