chisel: continue natural W2 owner closure - #49

Draft

zhoubot wants to merge 102 commits into

mainfrom

codex/chisel-gap-superpowers

Commits on Jul 30, 2026

Make LinxCore agent work reproducible and expose production-graph truth
RuoyuZhou
committed
3d6f6b1
Keep workload elaboration aligned with canonical load ownership
RuoyuZhou
committed
8d2985c
Make canonical load ownership indivisible before cluster cutover
RuoyuZhou
committed
6f63cd9
Tie speculative load state to the canonical launch event
RuoyuZhou
committed
808990b
Make canonical load ownership the only execution path
RuoyuZhou
committed
d4b71a3
Prevent stale STQ returns from mutating canonical loads
RuoyuZhou
committed
9eda198
Make the canonical LIQ validate every forwarding result
RuoyuZhou
committed
60cba6e
Keep canonical load results alive across owner conflicts
RuoyuZhou
committed
e55dfbe
Make canonical load forwarding survive production backpressure
RuoyuZhou
committed
6421670
Make scalar load-store recovery production-safe
RuoyuZhou
committed
71c6dc1
Close the production scalar load ownership graph
RuoyuZhou
committed
58b8093
Make structural load blocking an owned lifecycle decision
RuoyuZhou
committed
4f11f8d
Keep structural load retry implementation reviewable
RuoyuZhou
committed
709831c
Retain structural load uncertainty until ownership resolves it
RuoyuZhou
committed
f5bf1c8
Make structural load retry an exact LIQ mutation
RuoyuZhou
committed
a24be3a
Close structural load blocking inside canonical ownership
RuoyuZhou
committed
e420e13
Make structural load ownership auditable at the handoff
RuoyuZhou
committed
294542f

Commits on Jul 31, 2026

Make the core rewrite executable from one governed plan
RuoyuZhou
committed
3cd6092
Make the core contract independently reviewable before RTL moves
RuoyuZhou
committed
8c5f1ed
Keep every width and resource choice explicit at one boundary
RuoyuZhou
committed
e656ace
Give every box one typed contract and one direction of authority
RuoyuZhou
committed
34e337d
Make template expansion a retained boundary instead of frontend glue
RuoyuZhou
committed
3bcbb84
Make interface evolution traceable across the core rewrite
RuoyuZhou
committed
31d1f98
Make fixed-width instruction delivery independent of fetch geometry
RuoyuZhou
committed
833c354
Keep prediction speculative while recovery authority remains singular
RuoyuZhou
committed
7b1319e
Prove public IFU prediction coverage at each required boundary
RuoyuZhou
committed
7bf98da
Record BF3 as a production observability gap
RuoyuZhou
committed
983abd8
Prove BF3 only when ShortTage changes direction
RuoyuZhou
committed
fdb1078
Preserve the reviewed IFU boundary evidence before OOO work begins
RuoyuZhou
committed
5780f40
Keep interface intent non-recursive and singly owned
RuoyuZhou
committed
89f081e
Normalize every instruction form before speculative ownership begins
RuoyuZhou
committed
54c05d7
Keep CTU repacking from stalling canonical OOO admission
RuoyuZhou
committed
b46b0e8
Preserve reviewed OOO admission evidence before rename begins
RuoyuZhou
committed
70668f6
Preserve absolute and relative register semantics with separate owners
RuoyuZhou
committed
8b9443f
Make one ROB decision govern commit, traps, and precise cleanup
RuoyuZhou
committed
1574182
Restore atomic owner readiness before precise cleanup
RuoyuZhou
committed
95126c0
Make Task 9 recovery and commit authority explicit
RuoyuZhou
committed
01e8dc4
Repair canonical recovery arbitration with ROB authority
RuoyuZhou
committed
a0fb4ea
Make one ROB decision govern commit, traps, and precise cleanup
RuoyuZhou
committed
0ccbd2d
Close recovery abort before apply can race
RuoyuZhou
committed
da5e850
Correlate ROB recovery responses to fired requests
RuoyuZhou
committed
64b54af

Commits on Aug 1, 2026

Drain mismatched ROB recovery responses legally
RuoyuZhou
committed
f46c6a4
Drain pre-request ROB responses without association
RuoyuZhou
committed
c92ff9e
Preserve BROB suffix-straddling blocks during recovery
RuoyuZhou
committed
ae2fb07
Preserve BROB recovery ring authority
RuoyuZhou
committed
ee89131
Bind BROB publication and target acks causally
RuoyuZhou
committed
83c8623
Refocus mainline migration on production-owner cutovers
RuoyuZhou
committed
989fc58
Bind every ROB resident to causal BROB and recovery authority
RuoyuZhou
committed
2758fb0
Freeze one production owner before changing another boundary
RuoyuZhou
committed
3578344
Make owner cutovers prove repository reality
RuoyuZhou
committed
b73be42
Make owner manifests closed under repository identity
RuoyuZhou
committed
3b4377d
Resolve manifest edges by Scala identity
RuoyuZhou
committed
fad4d1e
Close owner manifest parser scope and call graph
RuoyuZhou
committed
c926bc6
Resolve fully qualified object apply emitters
RuoyuZhou
committed
a6b5a7b
Record owner-manifest review closure before cutover
RuoyuZhou
committed
0c99827
Seal owner-manifest cutover gate after remote equality
RuoyuZhou
committed
5f80ea0
Cut production dispatch onto one canonical OOO owner graph
RuoyuZhou
committed
1375436
fix(ooo): close Task 11 review findings
RuoyuZhou
committed
dab252d
fix(ooo): close Task 11 rereview findings
RuoyuZhou
committed
5f95505
fix(ooo): harden public integration and doc gates
RuoyuZhou
committed
3380edc
fix(ooo): synchronize retained commit ownership
RuoyuZhou
committed
b2489cb
test(ooo): prove Branch peer U tag survival
RuoyuZhou
committed
f3530dc
Plan the external TOP contract as an NDF refinement
RuoyuZhou
committed
f89c38f
Prepare production IEX owners without creating a second core
RuoyuZhou
committed
bd3e42a
Align canonical IEX evidence with physical contracts
RuoyuZhou
committed
19c4408
Prove retained IEX identity across every owner
RuoyuZhou
committed
2d4cd5d
Close the retained terminal evidence loop
RuoyuZhou
committed
86d76c4
Make the terminal fire payload fully observable
RuoyuZhou
committed
2a1972c

Commits on Aug 2, 2026

Plan the joint IEX LSU atomic cutover
RuoyuZhou
committed
fdcbf3f
docs: freeze Task 13 IEX LSU contracts
RuoyuZhou
committed
8c55fd0
Freeze canonical OOO IEX LSU transactions
RuoyuZhou
committed
682f74e
Harden canonical interface contract evidence
RuoyuZhou
committed
8ba5857
Bind OOO memory order and NFRDY to one publication
RuoyuZhou
committed
e652ca4

Commits on Aug 3, 2026

Design bounded Chisel simulation
RuoyuZhou
committed
0177bc5
Plan bounded Chisel simulation rollout
RuoyuZhou
committed
a280bf3
Supervise Chisel tests with build heartbeats
RuoyuZhou
committed
9358064
Route Chisel tests through supervised SBT
RuoyuZhou
committed
356cf3c
Close canonical OOO-IEX prerequisites
RuoyuZhou
committed
2d769a1
Prepare the LSU two-pipe mechanism graph
RuoyuZhou
committed
59e5d6e
Record Task 14 completion
RuoyuZhou
committed
b5326e6
Switch OOO IEX and LSU once and retire both reduced chains
RuoyuZhou
committed
c5ec847
Fix Task 15 load replay ownership and bounded simulation
RuoyuZhou
committed
923aea1

Commits on Aug 4, 2026

Fix Task 15 exact replay recovery and bounded gates
RuoyuZhou
committed
d72aed8
fix(task15): enforce Option A physical capacity boundaries
RuoyuZhou
committed
0f0f466
Fix Task 15 identity widths and active wrapper docs
RuoyuZhou
committed
51a6921
Fix Task 15 planner widths and evidence docs
RuoyuZhou
committed
3c45147
Add exact provenance to Task 15 evidence
RuoyuZhou
committed
1762266
Clarify deleted replay locator evidence
RuoyuZhou
committed
3c8e2f9
Complete continuous OOO D3 cutover
RuoyuZhou
committed
41611fc
Close memory and recovery inside the one live LSU owner
RuoyuZhou
committed
07ec265
Close Task 16 review findings round 1
RuoyuZhou
committed
d5609fe
fix(lsu): close round 2 memory review findings
RuoyuZhou
committed
116867a
fix(lsu): fail closed ownership responses
RuoyuZhou
committed
ff02aef
Keep debug observable without creating a second control machine
RuoyuZhou
committed
1bdaaf5
Keep terminal progress independent of trace export
RuoyuZhou
committed
cdda611
Separate terminal acceptance from trace observation
RuoyuZhou
committed
e0c90c2
Expose one routable core without moving ownership into TOP
RuoyuZhou
committed
8697fa1

Commits on Aug 5, 2026

docs: design LinxCore core architecture diagram
RuoyuZhou
committed
4ab63ea
docs: plan LinxCore architecture diagram
RuoyuZhou
committed
656f0a0
docs: add LinxCore core architecture diagram
RuoyuZhou
committed
692e378
docs: update active uop classification pointer from v0.56.5 to v0.57
RuoyuZhou
committed
47b7ce2

Commits on Aug 11, 2026

chisel: advance natural W2 owner closure
RuoyuZhou
committed
ed18b0d