Repository navigation

Complete synthetic logical and control instruction milestones - #21

Merged

ilehtoranta merged 213 commits into

mainfrom

codex/synthetic-logical-control-suite

Oct 9, 2026

Merged

Complete synthetic logical and control instruction milestones#21
ilehtoranta merged 213 commits into
mainfrom
codex/synthetic-logical-control-suite

Commits on Oct 4, 2026
- Complete synthetic logical and control instruction milestones
  ilehtoranta
  committed
  c1ba586
- Trim trailing blank lines in synthetic suite sources
  ilehtoranta
  committed
  86ce18b
- Add cross-model reference audits and correct 68040 T0 tracing
  ilehtoranta
  committed
  5ef8726
- Correct 68040 single-word MMU decoding and privilege checks
  ilehtoranta
  committed
  c4b924f
- Halt 68000 address-error double faults until reset
  ilehtoranta
  committed
  3a673bf
- Dispatch 68000 compiled alignment faults before operand effects
  ilehtoranta
  committed
  d69453e
- Correct 68010 format-8 frame structure and RTE validation
  ilehtoranta
  committed
  c6b26b8
- Resume 68010 word MOVE cycles from format-8 frames
  ilehtoranta
  committed
  ff05918
- Audit pinned 68000 corpus and correct LINK A7 sampling
  ilehtoranta
  committed
  2d30bd3
- Add pinned cross-model WinUAE discovery audit
  ilehtoranta
  committed
  2fe39d8
- Verify WinUAE exception frames and defined status flags
  ilehtoranta
  committed
  9f03827
- Qualify illegal logical operands across CPU models
  ilehtoranta
  committed
  fb86a4e
- Qualify illegal arithmetic and CAS operands
  ilehtoranta
  committed
  fa09c0c
- Qualify illegal status and MOVES operands
  ilehtoranta
  committed
  424ad4e
- Qualify invalid integer operands and 68060 debug instructions
  ilehtoranta
  committed
  66d276e
- Correct PACK and UNPK stack word strides
  ilehtoranta
  committed
  4a32a1f
- Qualify 68040 and 68060 trap trace priority
  ilehtoranta
  committed
  8ffc8df
- Qualify 68040 and 68060 translation control masks
  ilehtoranta
  committed
  e4f8bb6
Commits on Oct 5, 2026
Commits on Oct 6, 2026
- Qualify executed 68040 software trace service
  ilehtoranta
  committed
  e522432
- Qualify preserved trace across 68040 user-tail RTE repair
  ilehtoranta
  committed
  47d6400
- Qualify software trace service after 68040 user-tail repair
  ilehtoranta
  committed
  5325133
- Qualify mixed trace epochs in 68040 throwaway chains
  ilehtoranta
  committed
  5e90768
- Qualify mixed-epoch 68040 RTE validation faults
  ilehtoranta
  committed
  78d6dce
- Add mixed-epoch 68040 RTE retry discovery
  ilehtoranta
  committed
  72102e9
- Qualify chained 68040 RTE odd-PC SR handoff
  ilehtoranta
  committed
  2f66bca
- Qualify chained 68040 access-frame SR handoff
  ilehtoranta
  committed
  826351f
- Record 68040 CM lifetime software-reference discovery
  ilehtoranta
  committed
  b88f950
- Execute scoped 68040 MMU exception entry in CM audit
  ilehtoranta
  committed
  11124e9
- Qualify 68060 PCR fields and consolidate proven regression
  ilehtoranta
  committed
  a71460d
- Record 68060 STOP software-reference discovery
  ilehtoranta
  committed
  e2c456b
- Qualify 68010 MOVEC and consolidate proven regressions
  ilehtoranta
  committed
  90e3afa
- Record 68010 rejected RTE format reference discovery
  ilehtoranta
  committed
  d1d4676
- Fix 68010 long MOVE fault continuation and qualify restart coverage
  ilehtoranta
  committed
  f028c34
- Make 68010 continuation mutation qualification reproducible
  ilehtoranta
  committed
  ea7b5ac
- Qualify full-width EXG and consolidate proven regression
  ilehtoranta
  committed
  c3c9fd2
- Qualify supplied 68040 writeback handler execution
  ilehtoranta
  committed
  6ad4db6
- Fix and qualify 040 MOVE write-fault recovery
  ilehtoranta
  committed
  e487d2d
- Fix and qualify 68030 PMMU privilege priority
  ilehtoranta
  committed
  0bea1be
- Isolate WinUAE audit builds and restore qualification evidence
  ilehtoranta
  committed
  7160527
- Restore broad CPU reference evidence and add isolated audit command
  ilehtoranta
  committed
  d5d0b3f
- Qualify canonical MOVE16 reference inputs and coverage
  ilehtoranta
  committed
  cab99ec
- Complete supervisor A7 MOVE16 reference qualification
  ilehtoranta
  committed
  261fbab
- Expose 68040 operand read fault frame qualification gap
  ilehtoranta
  committed
  e106e6a
- Fix 68040 physical operand-read access frames
  ilehtoranta
  committed
  ae7ee8e
- Qualify 68040 MOVEM operand-read recovery
  ilehtoranta
  committed
  bee4816
- Qualify MOVEM indirect-pointer fault restart
  ilehtoranta
  committed
  4863f44
- Prove and consolidate duplicate EXTB regression
  ilehtoranta
  committed
  79b8841
- Expose actual 68040 MOVEM write-fault frame gap
  ilehtoranta
  committed
  72800d7
- Fix 68040 MOVEM write-fault frames and qualify recovery
  ilehtoranta
  committed
  902b99c
- Expose 020 and 030 address-error frame restoration gap
  ilehtoranta
  committed
  162d5ce
Commits on Oct 7, 2026
Commits on Oct 8, 2026
- Record full production baseline and exact private discovery gate
  ilehtoranta
  committed
  1ac67e2
- Require consolidation reports and record complete private validation
  ilehtoranta
  committed
  2b55c6d
- Qualify cold pending-write frame restoration and rejection
  ilehtoranta
  committed
  bbce629
- Qualify pending-write frame validation and load faults
  ilehtoranta
  committed
  ab1d1cc
- Account for broad reference first failures without promoting coverage
  ilehtoranta
  committed
  cae17a9
- Compose broad reference corrections and expose later failures
  ilehtoranta
  committed
  133f639
- Qualify coprocessor ID priority in broad native references
  ilehtoranta
  committed
  d7f330c
- Fix reserved MOVE16 exceptions and consolidate AND coverage
  ilehtoranta
  committed
  375c6d8
- Qualify 040 MOVEM register-mask fault recovery
  ilehtoranta
  committed
  4aa9db3
- Reproduce 040 MOVES physical fault frame gaps
  ilehtoranta
  committed
  37dbb3a
- Correct 040 MOVES read fault transfer attributes
  ilehtoranta
  committed
  d960ff2
- Correct 040 MOVES normal-space write fault recovery
  ilehtoranta
  committed
  6cddeab
- Promote 040 nested integer writeback fault coverage
  ilehtoranta
  committed
  61fd6ae
- Correct 040 MOVE16 physical line-write recovery
  ilehtoranta
  committed
  3dd2640
- Consolidate NOT displacement semantic regressions
  ilehtoranta
  committed
  0a55fa1
- Qualify private pending-write validation continuations
  ilehtoranta
  committed
  b7ccd69
- Qualify private validation exception-entry faults
  ilehtoranta
  committed
  af64562
- Qualify changed input to private write validation
  ilehtoranta
  committed
  b74bf3b
- Qualify private returned-bank pending-write refaults
  ilehtoranta
  committed
  965aa7c
- Qualify actual MOVE secondary entry faults
  ilehtoranta
  committed
  9430fc4
- Consolidate EOR byte postincrement semantic regression
  ilehtoranta
  committed
  c284b94
- Record milestone six completion requirements and open gates
  ilehtoranta
  committed
  66968c2
- Link current seeded and independent reference evidence
  ilehtoranta
  committed
  807756a
- Reject duplicate synthetic audit model selections
  ilehtoranta
  committed
  51444ea
- Refresh six required MOVE mutation witnesses
  ilehtoranta
  committed
  434ec10
- Link full qualification and later failed-reference observations
  ilehtoranta
  committed
  ea18c2c
- Consolidate captured ANDI displacement regression
  ilehtoranta
  committed
  3a5314f
- Record per-case failed-reference witnesses
  ilehtoranta
  committed
  56c0a69
- Consolidate aliased MOVEA word displacement regression
  ilehtoranta
  committed
  55fe8b7
- Bind retirement evidence to executed assemblies and methods
  ilehtoranta
  committed
  86469f7
- Record current-build seeded and software-reference qualification
  ilehtoranta
  committed
  90f0cb2
- Qualify deep-audit rejection guards against current assemblies
  ilehtoranta
  committed
  4b3923d
- Qualify complete current CPU and reference evidence
  ilehtoranta
  committed
  29922b7
- Qualify private C021 return metadata guards
  ilehtoranta
  committed
  ac4c18f
- Maintain strict private RTE metadata qualification and replay
  ilehtoranta
  committed
  31b3363
- Record combined private candidate qualification and full replay start
  ilehtoranta
  committed
  45e732a
- Qualify combined candidate consumers and same-build references
  ilehtoranta
  committed
  4ca734b
- Record combined candidate API comparison
  ilehtoranta
  committed
  df2a9ec
- Qualify private predecrement MOVE write recovery
  ilehtoranta
  committed
  f638541
- Qualify newer private candidate consumers and references
  ilehtoranta
  committed
  de25240
- Record complete predecessor CPU qualification
  ilehtoranta
  committed
  b92f6f5
- Update 040 fault inventory coverage descriptions
  ilehtoranta
  committed
  ebad4de
- Qualify private predecrement MOVE read recovery
  ilehtoranta
  committed
  b50aee2
- Qualify private read candidate references and consumers
  ilehtoranta
  committed
  ec3c285
- Make private predecrement recovery audit reproducible
  ilehtoranta
  committed
  df9de9b
- Identify pinned private audit reproduction checkout
  ilehtoranta
  committed
  5ce0f50
- Qualify mixed-width nested 040 writeback recovery
  ilehtoranta
  committed
  de4bcc2
- Record complete private write-candidate qualification
  ilehtoranta
  committed
  bfceb08
- Qualify supplied 040 user returns and same-width CCRs
  ilehtoranta
  committed
  2c3b1d2
- Qualify remaining supplied 040 user-frame widths
  ilehtoranta
  committed
  b8578b6
- Qualify differing nested writeback function codes
  ilehtoranta
  committed
  a2d4b3b
- Record complete private read-candidate qualification
  ilehtoranta
  committed
  8826c5e
- Qualify supplied user-M nested writeback returns
  ilehtoranta
  committed
  33e712f
- Qualify differing FCs for supplied user-M returns
  ilehtoranta
  committed
  dd01067
- Qualify repeated nested writeback fault unwinds
  ilehtoranta
  committed
  0f9138f
- Maintain strict nested writeback audit and replay
  ilehtoranta
  committed
  02e6c58
- Prove repeated nested faults detect wrong saved PC
  ilehtoranta
  committed
  5a6eda3
- Record complete nested writeback qualification
  ilehtoranta
  committed
  a96d16a
- Qualify differing function codes through repeated faults
  ilehtoranta
  committed
  d993b9c
- Qualify completed first-read fault recovery
  ilehtoranta
  committed
  65dfea8
Commits on Oct 9, 2026

Commits

Commits on Oct 4, 2026

Commits on Oct 5, 2026

Commits on Oct 6, 2026

Commits on Oct 7, 2026

Commits on Oct 8, 2026