isa: regenerate codec for PTO 0.58.5

.github/workflows/ci.yml

@@ -75,11 +75,11 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
-      - name: Check out immutable LinxISA v0.58.3 authority
+      - name: Check out immutable LinxISA v0.58.5 authority
         uses: actions/checkout@v4
         with:
           repository: LinxISA/linx-isa
-          ref: 1926864fed9405761f783b130674c45f92210d3d
+          ref: 660c870ff241f9803d8060f00ed3684ffed6f06c
           path: linxisa-authority
       - name: Install toolchain
         run: sudo apt-get update && sudo apt-get install -y clang-format cmake ninja-build g++
@@ -100,11 +100,11 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
-      - name: Check out immutable LinxISA v0.58.3 authority
+      - name: Check out immutable LinxISA v0.58.5 authority
         uses: actions/checkout@v4
         with:
           repository: LinxISA/linx-isa
-          ref: 1926864fed9405761f783b130674c45f92210d3d
+          ref: 660c870ff241f9803d8060f00ed3684ffed6f06c
           path: linxisa-authority
       - name: Install toolchain
         run: sudo apt-get update && sudo apt-get install -y clang-format cmake ninja-build clang

CMakeLists.txt

@@ -16,7 +16,7 @@ set(CMAKE_EXPORT_COMPILE_COMMANDS ON)
 
 option(LINX_MODEL_ENABLE_SANITIZERS "Enable ASan, LSan, and UBSan" OFF)
 option(LINX_MODEL_BUILD_DOCS "Enable Doxygen documentation target" OFF)
-set(LINXISA_AUTHORITY_ROOT "" CACHE PATH "Exact LinxISA checkout containing ISA v0.58.3 authority")
+set(LINXISA_AUTHORITY_ROOT "" CACHE PATH "Exact LinxISA checkout containing ISA v0.58.5 authority")
 if(NOT LINXISA_AUTHORITY_ROOT AND
    EXISTS "${CMAKE_CURRENT_SOURCE_DIR}/../../isa/v0.58/linxisa-v0.58.json")
   get_filename_component(
@@ -56,7 +56,7 @@ add_custom_target(
           --header "${CMAKE_CURRENT_SOURCE_DIR}/include/linx/model/isa/generated_tables.hpp"
           --source "${CMAKE_CURRENT_SOURCE_DIR}/src/isa/generated_tables.cpp"
   WORKING_DIRECTORY "${CMAKE_CURRENT_SOURCE_DIR}"
-  COMMENT "Regenerating committed LinxISA 0.58.3 Minst codec tables")
+  COMMENT "Regenerating committed LinxISA 0.58.5 Minst codec tables")
 
 add_custom_target(
   check-isa-codec
@@ -66,7 +66,7 @@ add_custom_target(
           --source "${CMAKE_CURRENT_SOURCE_DIR}/src/isa/generated_tables.cpp"
           --check
   WORKING_DIRECTORY "${CMAKE_CURRENT_SOURCE_DIR}"
-  COMMENT "Checking committed LinxISA 0.58.3 Minst codec freshness")
+  COMMENT "Checking committed LinxISA 0.58.5 Minst codec freshness")
 
 target_include_directories(
   linx_model

docs/architecture.md

@@ -41,7 +41,7 @@ Within each `Module`, `WorkSelf()` is event-driven:
 repository.
 
 - fetch allocates `MinstPtr`
-- decode fills generated LinxISA 0.58.3 form metadata and canonical decoded fields
+- decode fills generated LinxISA 0.58.5 form metadata and canonical decoded fields
 - middle pipeline stages inspect or extend typed views on the same packet
 - retire, flush, or DFX consumes and destroys the packet, or converts it to
   shared ownership only at terminal boundaries

docs/isa.md

@@ -2,10 +2,10 @@
 
 ## Scope
 
-`linx-model` ships a committed generated LinxISA 0.58.3 codec for `isa::Minst`.
+`linx-model` ships a committed generated LinxISA 0.58.5 codec for `isa::Minst`.
 The source of truth is:
 
-- `isa/v0.58/linxisa-v0.58.json` from the LinxISA 0.58.3 projection, generated
+- `isa/v0.58/linxisa-v0.58.json` from the LinxISA 0.58.5 projection, generated
   from the locked PTO-ISA/pto-spec release
 
 The generated C++ tables are committed under:
@@ -48,7 +48,7 @@ Decoder behavior:
 - chooses the unique most-specific form by fixed-bit count
 - validates field constraints
 - populates `Minst` metadata and typed views
-- exposes exactly 757 current LinxISA forms, including the `B.FPATR`
+- exposes exactly 754 current LinxISA forms, including the `B.FPATR`
   `TransA`/`TransB` form and the `B.IOT`/`B.IOS` `PEMode`/`SizeCode` forms;
   rejects retired scalar branches `B.EQ`, `B.GE`, `B.GEU`, `B.LT`, `B.LTU`,
   `B.NE`, `B.NZ`, and `B.Z`, plus retired `B.ARG`,
@@ -110,18 +110,18 @@ cmake --build build --target gen-isa-codec
 cmake --build build --target check-isa-codec
 ```
 
-The generator validates the exact root PTO ISA 0.58.3 lock identity, source
-commit/tree, catalog hashes/counts, and the generated 757/2643/3375/792
+The generator validates the exact root PTO ISA 0.58.5 lock identity, source
+commit/tree, catalog hashes/counts, and the generated 754/2648/3380/815
 form/field/piece/constraint cardinalities before writing. `check-isa-codec`
 also rejects stale committed output without modifying it.
 
 It additionally authenticates the complete authority bytes against the
-immutable LinxISA v0.58.3 authority at `1926864fed9405761f783b130674c45f92210d3d`:
+immutable LinxISA v0.58.5 authority at `660c870ff241f9803d8060f00ed3684ffed6f06c`:
 compiled catalog
-`e003d9a8e8e68de63afe0e8662e59658c173bb651e90f670c490aec2121ad1c8`, PTO
-lock `d5c17fd6f893267b43ed88ec157cc18ee9848eee6cf1801eaf3fe99358300a4d`,
+`ba09fca626f27e3efc4496e763ca3fc1b326709270904664db41da4d54185bcc`, PTO
+lock `8d7b9c7df563f230862891ac4f7da6bbd137a14f1ca8148bbb3685ce10382dc0`,
 and release manifest
-`6f1b3fdc81e8be591d74427663a5747e6b2aa884c7d9787b2852b8eba4b5ed4d`.
+`aadbbb9a16b11bff97f10cfb0e98a9d538ea02def0ad19f9e14243788bffa916`.
 Standalone builds must provide that checkout through
 `LINXISA_AUTHORITY_ROOT`; missing authority is an error for generation and
 freshness checks.