247 rule names its row handle

✓ Passing This code compiles and runs correctly.

Code

// A STANDING RULE CAN NAME THE HANDLE OF THE ROW IT IS VISITING, and the
// handle it hands out is RETAINABLE — it still addresses that row after a
// swap-remove has moved the row somewhere else.
//
// `[id]` landed on sweep arms first (690_246). On a `rule` arm any destructure
// was refused as "the retired projection block" — a wrong error on a legal
// construct, since a request block is not a projection block. RULED 2026-08-03:
// `[id]` is admissible here, and the gate is why. Clause 1 says the request
// names something the SITE knows and the ROW does not, and SITE is deliberate:
// a rule has a ROW and no TRAVERSAL, so a handle is exactly as meaningful here
// as on a sweep (a handle does not depend on traversal) while `[ordinal]` is
// meaningless and refused BY NAME (690_248). A gate phrased around "the VISIT"
// would have collapsed *meaningless here* into *unimplemented here*.
//
// WHAT THIS PROVES, and it is the retention clause end to end:
//
//   units: a(hp 10) -> dense 0, b(hp 20) -> dense 1, c(hp 0) -> dense 2
//   the rule enters on c's insert, `[id]h` names c's HANDLE, the body writes it
//     into a sibling store — the external index the store never maintains for you
//   take(units[b]) swap-removes b, RELOCATING c from dense 2 to dense 1
//   `units[mark.who].hp: 777` follows the STORED handle
//
// The 777 lands on c at its NEW position. A position would have addressed dense
// 2 — past `len`, inside capacity, writing nothing anyone reads, which is
// exactly the silent corruption 690_092 measured before O10.iii shipped. So the
// value `[id]` mints on a rule arm is the same handle `| row` mints, carrying
// brand and generation, and clause 2 of the gate ("a value that may OUTLIVE the
// visit must be generation-checked") is satisfied rather than assumed.
//
// The motivating workload is the one that earned `[id]` in the first place: a
// reactive chain update needs the visited row to name itself as a value.
import std/io
import std/store

std/store:new(units, capacity: 64) { hp: i64 }
std/store:new(mark, capacity: 1) { who: 0[i64] }

std/store:rule(units)
! row { [row]e, [id]h } when e.hp <= 0 |> std/store:stored { mark.who: h }

std/store:insert(units) { hp: 10 }
| row a |> std/store:insert(units) { hp: 20 }
    | row b |> std/store:insert(units) { hp: 0 }
        | row c |> std/store:take(units[b])
            | item gone |> std/io:print.ln("took {{ gone.hp:d }}")
                |> std/store:stored { units[mark.who].hp: 777 }

std/store:query(units)
! query u |> std/io:print.ln("unit hp {{ u.hp:d }}")

input.k

Supporting Files

{
  "runtimeTarget": {
    "name": ".NETCoreApp,Version=v8.0",
    "signature": ""
  },
  "compilationOptions": {},
  "targets": {
    ".NETCoreApp,Version=v8.0": {
      "a_cs_equiv/1.0.0": {
        "runtime": {
          "a_cs_equiv.dll": {}
        }
      }
    }
  },
  "libraries": {
    "a_cs_equiv/1.0.0": {
      "type": "project",
      "serviceable": false,
      "sha512": ""
    }
  }
}

a_cs_equiv.deps.json

{
  "runtimeOptions": {
    "tfm": "net8.0",
    "framework": {
      "name": "Microsoft.NETCore.App",
      "version": "8.0.0"
    },
    "configProperties": {
      "System.Runtime.Serialization.EnableUnsafeBinaryFormatterSerialization": false
    }
  }
}

a_cs_equiv.runtimeconfig.json

took 20
unit hp 10
unit hp 777

actual.cs.txt

<Project Sdk="Microsoft.NET.Sdk">
  <PropertyGroup>
    <OutputType>Exe</OutputType>
    <TargetFramework>net8.0</TargetFramework>
    <ImplicitUsings>disable</ImplicitUsings>
    <Nullable>disable</Nullable>
    <AssemblyName>a_cs_equiv</AssemblyName>
    <WarningLevel>0</WarningLevel>
    <EnableDefaultCompileItems>false</EnableDefaultCompileItems>
  </PropertyGroup>
  <ItemGroup>
    <Compile Include="output_emitted.cs" />
  </ItemGroup>
</Project>

koru.csproj

//------------------------------------------------------------------------------
// <auto-generated>
//     This code was generated by a tool.
//
//     Changes to this file may cause incorrect behavior and will be lost if
//     the code is regenerated.
// </auto-generated>
//------------------------------------------------------------------------------

using System;
using System.Reflection;

[assembly: System.Reflection.AssemblyCompanyAttribute("a_cs_equiv")]
[assembly: System.Reflection.AssemblyConfigurationAttribute("Debug")]
[assembly: System.Reflection.AssemblyFileVersionAttribute("1.0.0.0")]
[assembly: System.Reflection.AssemblyInformationalVersionAttribute("1.0.0+73ba11db56be006bccd0e336c10b98e84afb8a8a")]
[assembly: System.Reflection.AssemblyProductAttribute("a_cs_equiv")]
[assembly: System.Reflection.AssemblyTitleAttribute("a_cs_equiv")]
[assembly: System.Reflection.AssemblyVersionAttribute("1.0.0.0")]

// Generated by the MSBuild WriteCodeFragment class.

obj/Debug/net8.0/koru.AssemblyInfo.cs

781bcb8eb7f6067e092418577e860799fe5cda0e2c63b7711dbb724cd1e01e1a

obj/Debug/net8.0/koru.AssemblyInfoInputs.cache

is_global = true
build_property.TargetFramework = net8.0
build_property.TargetPlatformMinVersion = 
build_property.UsingMicrosoftNETSdkWeb = 
build_property.ProjectTypeGuids = 
build_property.InvariantGlobalization = 
build_property.PlatformNeutralAssembly = 
build_property.EnforceExtendedAnalyzerRules = 
build_property._SupportedPlatformList = Linux,macOS,Windows
build_property.RootNamespace = koru
build_property.ProjectDir = /Users/larsde/src/koru/tests/regression/600_STDLIB/690_STORE/690_247_rule_names_its_row_handle/
build_property.EnableComHosting = 
build_property.EnableGeneratedComInterfaceComImportInterop = 
build_property.EffectiveAnalysisLevelStyle = 8.0
build_property.EnableCodeStyleSeverity =

obj/Debug/net8.0/koru.GeneratedMSBuildEditorConfig.editorconfig

5be0995b741828a5c320155d1f80abdffa79d05541ea191d12e3a61e37fca459

obj/Debug/net8.0/koru.csproj.CoreCompileInputs.cache

/Users/larsde/src/koru/tests/regression/600_STDLIB/690_STORE/690_247_rule_names_its_row_handle/obj/Debug/net8.0/koru.GeneratedMSBuildEditorConfig.editorconfig
/Users/larsde/src/koru/tests/regression/600_STDLIB/690_STORE/690_247_rule_names_its_row_handle/obj/Debug/net8.0/koru.AssemblyInfoInputs.cache
/Users/larsde/src/koru/tests/regression/600_STDLIB/690_STORE/690_247_rule_names_its_row_handle/obj/Debug/net8.0/koru.AssemblyInfo.cs
/Users/larsde/src/koru/tests/regression/600_STDLIB/690_STORE/690_247_rule_names_its_row_handle/obj/Debug/net8.0/koru.csproj.CoreCompileInputs.cache
/Users/larsde/src/koru/tests/regression/600_STDLIB/690_STORE/690_247_rule_names_its_row_handle/obj/Debug/net8.0/koru.sourcelink.json
/Users/larsde/src/koru/tests/regression/600_STDLIB/690_STORE/690_247_rule_names_its_row_handle/a_cs_equiv
/Users/larsde/src/koru/tests/regression/600_STDLIB/690_STORE/690_247_rule_names_its_row_handle/obj/Debug/net8.0/a_cs_equiv.dll
/Users/larsde/src/koru/tests/regression/600_STDLIB/690_STORE/690_247_rule_names_its_row_handle/obj/Debug/net8.0/refint/a_cs_equiv.dll
/Users/larsde/src/koru/tests/regression/600_STDLIB/690_STORE/690_247_rule_names_its_row_handle/obj/Debug/net8.0/a_cs_equiv.pdb
/Users/larsde/src/koru/tests/regression/600_STDLIB/690_STORE/690_247_rule_names_its_row_handle/a_cs_equiv.deps.json
/Users/larsde/src/koru/tests/regression/600_STDLIB/690_STORE/690_247_rule_names_its_row_handle/obj/Debug/net8.0/koru.genruntimeconfig.cache
/Users/larsde/src/koru/tests/regression/600_STDLIB/690_STORE/690_247_rule_names_its_row_handle/a_cs_equiv.runtimeconfig.json
/Users/larsde/src/koru/tests/regression/600_STDLIB/690_STORE/690_247_rule_names_its_row_handle/a_cs_equiv.dll
/Users/larsde/src/koru/tests/regression/600_STDLIB/690_STORE/690_247_rule_names_its_row_handle/obj/Debug/net8.0/ref/a_cs_equiv.dll
/Users/larsde/src/koru/tests/regression/600_STDLIB/690_STORE/690_247_rule_names_its_row_handle/a_cs_equiv.pdb

obj/Debug/net8.0/koru.csproj.FileListAbsolute.txt

7095f607a8aff51aa8e8dbcb7fe531e44c6c2e5cf1edb7bd33bffbb7af874b12

obj/Debug/net8.0/koru.genruntimeconfig.cache

{"documents":{"/Users/larsde/src/koru/*":"https://raw.githubusercontent.com/korulang/koru/73ba11db56be006bccd0e336c10b98e84afb8a8a/*"}}

obj/Debug/net8.0/koru.sourcelink.json

{
  "format": 1,
  "restore": {
    "/Users/larsde/src/koru/tests/regression/600_STDLIB/690_STORE/690_247_rule_names_its_row_handle/koru.csproj": {}
  },
  "projects": {
    "/Users/larsde/src/koru/tests/regression/600_STDLIB/690_STORE/690_247_rule_names_its_row_handle/koru.csproj": {
      "version": "1.0.0",
      "restore": {
        "projectUniqueName": "/Users/larsde/src/koru/tests/regression/600_STDLIB/690_STORE/690_247_rule_names_its_row_handle/koru.csproj",
        "projectName": "a_cs_equiv",
        "projectPath": "/Users/larsde/src/koru/tests/regression/600_STDLIB/690_STORE/690_247_rule_names_its_row_handle/koru.csproj",
        "packagesPath": "/Users/larsde/.nuget/packages/",
        "outputPath": "/Users/larsde/src/koru/tests/regression/600_STDLIB/690_STORE/690_247_rule_names_its_row_handle/obj/",
        "projectStyle": "PackageReference",
        "configFilePaths": [
          "/Users/larsde/.nuget/NuGet/NuGet.Config"
        ],
        "originalTargetFrameworks": [
          "net8.0"
        ],
        "sources": {
          "/opt/homebrew/Cellar/dotnet/9.0.0/libexec/library-packs": {},
          "https://api.nuget.org/v3/index.json": {}
        },
        "frameworks": {
          "net8.0": {
            "targetAlias": "net8.0",
            "projectReferences": {}
          }
        },
        "warningProperties": {
          "warnAsError": [
            "NU1605"
          ]
        },
        "restoreAuditProperties": {
          "enableAudit": "true",
          "auditLevel": "low",
          "auditMode": "all"
        },
        "SdkAnalysisLevel": "9.0.100"
      },
      "frameworks": {
        "net8.0": {
          "targetAlias": "net8.0",
          "imports": [
            "net461",
            "net462",
            "net47",
            "net471",
            "net472",
            "net48",
            "net481"
          ],
          "assetTargetFallback": true,
          "warn": true,
          "downloadDependencies": [
            {
              "name": "Microsoft.AspNetCore.App.Ref",
              "version": "[8.0.11, 8.0.11]"
            },
            {
              "name": "Microsoft.NETCore.App.Host.osx-arm64",
              "version": "[8.0.11, 8.0.11]"
            },
            {
              "name": "Microsoft.NETCore.App.Ref",
              "version": "[8.0.11, 8.0.11]"
            }
          ],
          "frameworkReferences": {
            "Microsoft.NETCore.App": {
              "privateAssets": "all"
            }
          },
          "runtimeIdentifierGraphPath": "/opt/homebrew/Cellar/dotnet/9.0.0/libexec/sdk/9.0.100/PortableRuntimeIdentifierGraph.json"
        }
      }
    }
  }
}

obj/koru.csproj.nuget.dgspec.json

<?xml version="1.0" encoding="utf-8" standalone="no"?>
<Project ToolsVersion="14.0" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
  <PropertyGroup Condition=" '$(ExcludeRestorePackageImports)' != 'true' ">
    <RestoreSuccess Condition=" '$(RestoreSuccess)' == '' ">True</RestoreSuccess>
    <RestoreTool Condition=" '$(RestoreTool)' == '' ">NuGet</RestoreTool>
    <ProjectAssetsFile Condition=" '$(ProjectAssetsFile)' == '' ">$(MSBuildThisFileDirectory)project.assets.json</ProjectAssetsFile>
    <NuGetPackageRoot Condition=" '$(NuGetPackageRoot)' == '' ">/Users/larsde/.nuget/packages/</NuGetPackageRoot>
    <NuGetPackageFolders Condition=" '$(NuGetPackageFolders)' == '' ">/Users/larsde/.nuget/packages/</NuGetPackageFolders>
    <NuGetProjectStyle Condition=" '$(NuGetProjectStyle)' == '' ">PackageReference</NuGetProjectStyle>
    <NuGetToolVersion Condition=" '$(NuGetToolVersion)' == '' ">6.12.0</NuGetToolVersion>
  </PropertyGroup>
  <ItemGroup Condition=" '$(ExcludeRestorePackageImports)' != 'true' ">
    <SourceRoot Include="/Users/larsde/.nuget/packages/" />
  </ItemGroup>
</Project>

obj/koru.csproj.nuget.g.props

<?xml version="1.0" encoding="utf-8" standalone="no"?>
<Project ToolsVersion="14.0" xmlns="http://schemas.microsoft.com/developer/msbuild/2003" />

obj/koru.csproj.nuget.g.targets

{
  "version": 3,
  "targets": {
    "net8.0": {}
  },
  "libraries": {},
  "projectFileDependencyGroups": {
    "net8.0": []
  },
  "packageFolders": {
    "/Users/larsde/.nuget/packages/": {}
  },
  "project": {
    "version": "1.0.0",
    "restore": {
      "projectUniqueName": "/Users/larsde/src/koru/tests/regression/600_STDLIB/690_STORE/690_247_rule_names_its_row_handle/koru.csproj",
      "projectName": "a_cs_equiv",
      "projectPath": "/Users/larsde/src/koru/tests/regression/600_STDLIB/690_STORE/690_247_rule_names_its_row_handle/koru.csproj",
      "packagesPath": "/Users/larsde/.nuget/packages/",
      "outputPath": "/Users/larsde/src/koru/tests/regression/600_STDLIB/690_STORE/690_247_rule_names_its_row_handle/obj/",
      "projectStyle": "PackageReference",
      "configFilePaths": [
        "/Users/larsde/.nuget/NuGet/NuGet.Config"
      ],
      "originalTargetFrameworks": [
        "net8.0"
      ],
      "sources": {
        "/opt/homebrew/Cellar/dotnet/9.0.0/libexec/library-packs": {},
        "https://api.nuget.org/v3/index.json": {}
      },
      "frameworks": {
        "net8.0": {
          "targetAlias": "net8.0",
          "projectReferences": {}
        }
      },
      "warningProperties": {
        "warnAsError": [
          "NU1605"
        ]
      },
      "restoreAuditProperties": {
        "enableAudit": "true",
        "auditLevel": "low",
        "auditMode": "all"
      },
      "SdkAnalysisLevel": "9.0.100"
    },
    "frameworks": {
      "net8.0": {
        "targetAlias": "net8.0",
        "imports": [
          "net461",
          "net462",
          "net47",
          "net471",
          "net472",
          "net48",
          "net481"
        ],
        "assetTargetFallback": true,
        "warn": true,
        "downloadDependencies": [
          {
            "name": "Microsoft.AspNetCore.App.Ref",
            "version": "[8.0.11, 8.0.11]"
          },
          {
            "name": "Microsoft.NETCore.App.Host.osx-arm64",
            "version": "[8.0.11, 8.0.11]"
          },
          {
            "name": "Microsoft.NETCore.App.Ref",
            "version": "[8.0.11, 8.0.11]"
          }
        ],
        "frameworkReferences": {
          "Microsoft.NETCore.App": {
            "privateAssets": "all"
          }
        },
        "runtimeIdentifierGraphPath": "/opt/homebrew/Cellar/dotnet/9.0.0/libexec/sdk/9.0.100/PortableRuntimeIdentifierGraph.json"
      }
    }
  }
}

obj/project.assets.json

{
  "version": 2,
  "dgSpecHash": "HtE+puQ9x5s=",
  "success": true,
  "projectFilePath": "/Users/larsde/src/koru/tests/regression/600_STDLIB/690_STORE/690_247_rule_names_its_row_handle/koru.csproj",
  "expectedPackageFiles": [
    "/Users/larsde/.nuget/packages/microsoft.netcore.app.ref/8.0.11/microsoft.netcore.app.ref.8.0.11.nupkg.sha512",
    "/Users/larsde/.nuget/packages/microsoft.aspnetcore.app.ref/8.0.11/microsoft.aspnetcore.app.ref.8.0.11.nupkg.sha512",
    "/Users/larsde/.nuget/packages/microsoft.netcore.app.host.osx-arm64/8.0.11/microsoft.netcore.app.host.osx-arm64.8.0.11.nupkg.sha512"
  ],
  "logs": []
}

obj/project.nuget.cache

static class main_module {
  public static void __koru_stdout_write(dynamic s) => global::System.Console.Out.Write(s);
  public static void __koru_stderr_write(dynamic s) => global::System.Console.Error.Write(s);
  // The mutable handle carrier — `*String`-style resources are
  // `new __KoruBox { data = … }` because C# anonymous types are
  // read-only: `s.data = …` (std/string append/clear, handle
  // mutation generally) needs a settable member.
  public class __KoruBox { public dynamic data; }
  // Textification for `{{ … }}` operands: C# bool ToStrings as
  // `True` where Koru prints `true`, and the operand's static type
  // is unknown at this boundary — a `(x) is bool` inline test would
  // be a compile error on statically-typed operands instead. Generic
  // on purpose: `dynamic` boxed every value-type operand — measured
  // ~1s/10M elements on 012_threat_scanner — while T specializes to
  // the operand's own ToString() with no box.
  public static string __koru_str<T>(T v) => v is bool b ? (b ? "true" : "false") : v?.ToString();
  // std/store: plural store 'units' created (SoA cell + insert/query/write/take/stripe units); fields hp: i64
  // std/store: 'mark' created (cell + write-subflow at module scope); fields who: i64
  static class __koru_store_units {
    public static long[] hp = new long[64];
    public static dynamic __koru_read_hp(long __h) { long __r = __koru_resolve(__h); return hp[(int)__r]; }
    public static long len = 0;
    public static long[] __koru_hslot_row = new long[64];
    public static long[] __koru_hslot_gen = new long[64];
    public static long[] __koru_row_hslot = new long[64];
    public static long[] __koru_hslot_free = new long[64];
    public static long __koru_hslot_free_len = 0;
    public static long __koru_hslot_next = 0;
    public static long __koru_brand = 1;
    public static bool __koru_ident = true;
    public static bool __koru_gen0 = true;
    public static void __koru_materialize() {
        if (!__koru_ident) return;
        for (long __i = 0; __i < len; __i++) { __koru_hslot_row[__i] = __i; __koru_row_hslot[__i] = __i; }
        __koru_ident = false;
    }
    public static long __koru_row_of(long h) {
        if (h < 0) return -1;
        ulong __u = (ulong)h;
        long __slot32 = (long)(__u & 0xFFFFFFFFUL);
        if ((__slot32 >> 24) != __koru_brand) return -1;
        long __slot = __slot32 & 0xFFFFFF;
        if (__slot >= __koru_hslot_next) return -1;
        if (__koru_gen0) { if ((__u >> 32) != 0) return -1; return __slot; }
        if ((long)(__u >> 32) != __koru_hslot_gen[__slot]) return -1;
        if (__koru_ident) return __slot;
        long __r = __koru_hslot_row[__slot];
        if (__r >= len) return -1;
        return __r;
    }
    public static long __koru_resolve(long h) {
        if (h >= 0) {
            ulong __u = (ulong)h;
            long __slot32 = (long)(__u & 0xFFFFFFFFUL);
            if ((__slot32 >> 24) != __koru_brand) throw new global::System.Exception("std/store: 'units[...]' does not address a row - the value is not a handle this store issued (handles come from `| row` and row cursors)");
            long __slot = __slot32 & 0xFFFFFF;
            if (__koru_gen0) {
                if ((__u >> 32) != 0 && __slot < __koru_hslot_next) throw new global::System.Exception("std/store: stale row handle into store 'units' - the row it addressed was removed (stale-handle trap pinned at 690_115)");
            } else if (__slot < __koru_hslot_next && (long)(__u >> 32) != __koru_hslot_gen[__slot]) throw new global::System.Exception("std/store: stale row handle into store 'units' - the row it addressed was removed (stale-handle trap pinned at 690_115)");
        }
        long __r = __koru_row_of(h);
        if (__r < 0) throw new global::System.Exception("std/store: 'units[...]' does not address a row - the value is not a handle this store issued (handles come from `| row` and row cursors)");
        return __r;
    }
    public static long __koru_handle_of(long dense) {
        if (__koru_gen0) return dense | (__koru_brand << 24);
        long __slot = dense;
        if (!__koru_ident) __slot = __koru_row_hslot[dense];
        return (__slot | (__koru_brand << 24)) | (__koru_hslot_gen[__slot] << 32);
    }
}

  static class __koru_store_mark {
    public static long who = 0;
    public static long __koru_brand = -1;
}
  public static class __store_inserth_units_event {
    public struct Input {
      public long hp;
      public long __site_line;
    }
    public struct Output {
      public string tag;
      public long row;
    }
    public static Output handler(Input __koru_input) {
      var hp = __koru_input.hp;
      var __site_line = __koru_input.__site_line;
      if (__koru_store_units.len >= 64) throw new global::System.Exception("std/store: store 'units' is full (capacity 64) - declared capacity and the `| full` branch are pinned at 690_011");
      long __koru_new_row = __koru_store_units.len;
      long __koru_hslot;
      if (__koru_store_units.__koru_hslot_free_len > 0) {
      __koru_store_units.__koru_hslot_free_len -= 1;
      __koru_hslot = __koru_store_units.__koru_hslot_free[__koru_store_units.__koru_hslot_free_len];
      } else {
      __koru_hslot = __koru_store_units.__koru_hslot_next;
      __koru_store_units.__koru_hslot_next += 1;
      }
      if (!__koru_store_units.__koru_ident) {
      __koru_store_units.__koru_hslot_row[__koru_hslot] = __koru_new_row;
      __koru_store_units.__koru_row_hslot[__koru_new_row] = __koru_hslot;
      }
      __koru_store_units.hp[__koru_new_row] = hp;
      __koru_store_units.len += 1;
      if (__site_line > 39) {
      main_module.__store_qrow_units_L39_690_247_rule_names_its_row_handle_input_629c34_event.handler(new main_module.__store_qrow_units_L39_690_247_rule_names_its_row_handle_input_629c34_event.Input { row = __koru_new_row });
      }
      return new Output { tag = "row", row = __koru_store_units.__koru_handle_of(__koru_new_row) };

      return default;

    }
  }
  public static class __store_apply_units_event {
    public struct Input {
      public long row;
      public long field;
      public long value_0;
    }
    public struct Output {
      public string tag;
      public long hp;
    }
    public static Output handler(Input __koru_input) {
      var row = __koru_input.row;
      var field = __koru_input.field;
      var value_0 = __koru_input.value_0;
      var __koru_r = row;
      switch (field) {
      case 0: { __koru_store_units.hp[__koru_r] = value_0; return new Output { tag = "hp", hp = value_0 }; }
      }
      throw new global::System.Exception("__store_apply_units: field index " + field + " is not a column of store 'units'");

      return default;

    }
  }
  public static class __store_write_units_event {
    public struct Input {
      public long row;
      public long field;
      public long value_0;
    }
    public static dynamic handler(Input __koru_input) {
      var row = __koru_input.row;
      var field = __koru_input.field;
      var value_0 = __koru_input.value_0;
      var result_0 = main_module.__store_apply_units_event.handler(new __store_apply_units_event.Input { row = (long)(row), field = (long)(field), value_0 = (long)(value_0)});
      var _auto_7 = result_0.hp;

      return default;

    }
  }
  public static class __store_qrow_units_L39_690_247_rule_names_its_row_handle_input_629c34_event {
    public struct Input {
      public long row;
    }
    public static dynamic handler(Input __koru_input) {
      var row = __koru_input.row;
      var __koru_r = row;
      var hp = __koru_store_units.hp[__koru_r];
      var h = __koru_store_units.__koru_handle_of(__koru_r);
      if (!(hp <= 0)) return default;
      main_module.__store_qbody_units_L39_690_247_rule_names_its_row_handle_input_629c34_event.handler(new main_module.__store_qbody_units_L39_690_247_rule_names_its_row_handle_input_629c34_event.Input { hp = hp, __koru_sdix_rule_L39 = __koru_r , h = h });

      return default;

    }
  }
  public static class __store_qbody_units_L39_690_247_rule_names_its_row_handle_input_629c34_event {
    public struct Input {
      public long hp;
      public long __koru_sdix_rule_L39;
      public long h;
    }
    public static dynamic handler(Input __koru_input) {
      var hp = __koru_input.hp;
      var __koru_sdix_rule_L39 = __koru_input.__koru_sdix_rule_L39;
      var h = __koru_input.h;
      main_module.__store_write_mark_event.handler(new __store_write_mark_event.Input { field = (long)(0), value = (long)(h)});

      return default;

    }
  }
  public static class __store_qsweep_units_L39_690_247_rule_names_its_row_handle_input_629c34_event {
    public struct Input {
    }
    public static dynamic handler(Input __koru_input) {
      for (long __koru_i = 0; __koru_i < __koru_store_units.len; __koru_i++) {
      main_module.__store_qrow_units_L39_690_247_rule_names_its_row_handle_input_629c34_event.handler(new main_module.__store_qrow_units_L39_690_247_rule_names_its_row_handle_input_629c34_event.Input { row = __koru_i });
      }

      return default;

    }
  }
  public static class __store_take_units_event {
    public struct Input {
      public long row;
    }
    public struct Output {
      public string tag;
      public dynamic item;
      public dynamic empty;
    }
    public static Output handler(Input __koru_input) {
      var row = __koru_input.row;
      __koru_store_units.__koru_materialize();
      long __koru_r = __koru_store_units.__koru_row_of(row);
      if (__koru_r < 0) return new Output { tag = "empty", empty = new { } };
      long __koru_gone_slot = __koru_store_units.__koru_row_hslot[__koru_r];
      var __koru_out_hp = __koru_store_units.hp[__koru_r];
      var __koru_last = __koru_store_units.len - 1;
      if (__koru_r != __koru_last) {
      __koru_store_units.hp[__koru_r] = __koru_store_units.hp[__koru_last];
      var __koru_mv_slot = __koru_store_units.__koru_row_hslot[__koru_last];
      __koru_store_units.__koru_hslot_row[__koru_mv_slot] = __koru_r;
      __koru_store_units.__koru_row_hslot[__koru_r] = __koru_mv_slot;
      }
      __koru_store_units.__koru_hslot_row[__koru_gone_slot] = -1;
      __koru_store_units.len = __koru_last;
      __koru_store_units.__koru_hslot_gen[__koru_gone_slot] = ((__koru_store_units.__koru_hslot_gen[__koru_gone_slot] + 1) & 4294967295L);
      __koru_store_units.__koru_hslot_free[__koru_store_units.__koru_hslot_free_len] = __koru_gone_slot;
      __koru_store_units.__koru_hslot_free_len += 1;
      __koru_store_units.__koru_gen0 = false;
      return new Output { tag = "item", item = new { hp = __koru_out_hp } };

      return default;

    }
  }
  public static class __store_apply_mark_event {
    public struct Input {
      public long field;
      public long value;
    }
    public struct Output {
      public string tag;
      public long who;
    }
    public static Output handler(Input __koru_input) {
      var field = __koru_input.field;
      var value = __koru_input.value;
      switch (field) {
      case 0: { __koru_store_mark.who = value; return new Output { tag = "who", who = value }; }
      }
      throw new global::System.Exception("__store_apply_mark: field index " + field + " is not a column of store 'mark'");

      return default;

    }
  }
  public static class __store_write_mark_event {
    public struct Input {
      public long field;
      public long value;
    }
    public static dynamic handler(Input __koru_input) {
      var field = __koru_input.field;
      var value = __koru_input.value;
      var result_1 = main_module.__store_apply_mark_event.handler(new __store_apply_mark_event.Input { field = (long)(field), value = (long)(value)});
      var _auto_8 = result_1.who;

      return default;

    }
  }
  public static class __store_announce_mark_event {
    public struct Input {
      public long field;
    }
    public static dynamic handler(Input __koru_input) {
      var field = __koru_input.field;


      return default;

    }
  }
  public static class __store_sweepbody_units_L50_690_247_rule_names_its_row_handle_input_629c34_event {
    public struct Input {
      public long __koru_srf_u_L50_hp;
      public long __koru_sdix_u_L50;
    }
    public static dynamic handler(Input __koru_input) {
      var __koru_srf_u_L50_hp = __koru_input.__koru_srf_u_L50_hp;
      var __koru_sdix_u_L50 = __koru_input.__koru_sdix_u_L50;
__koru_stdout_write("unit hp " + __koru_str(__koru_srf_u_L50_hp) + "\n");

      return default;

    }
  }
  public static class __store_sweeprun_units_L50_690_247_rule_names_its_row_handle_input_629c34_event {
    public struct Input {
    }
    public static dynamic handler(Input __koru_input) {
      {
      for (var __koru_si = 0; __koru_si < __koru_store_units.len; __koru_si++) {
      var __koru_srf_u_L50_hp = __koru_store_units.hp[__koru_si];
      main_module.__store_sweepbody_units_L50_690_247_rule_names_its_row_handle_input_629c34_event.handler(new main_module.__store_sweepbody_units_L50_690_247_rule_names_its_row_handle_input_629c34_event.Input { __koru_srf_u_L50_hp = __koru_srf_u_L50_hp, __koru_sdix_u_L50 = __koru_si });
      }
      }

      return default;

    }
  }
  public static class std_io_print_ln_event {
    public struct Input {
      public dynamic expr;
      public dynamic invocation;
      public dynamic item;
      public dynamic program;
      public dynamic reporter;
      public dynamic allocator;
    }
    public static dynamic handler(Input __koru_input) {
      var expr = __koru_input.expr;
      var invocation = __koru_input.invocation;
      var item = __koru_input.item;
      var program = __koru_input.program;
      var reporter = __koru_input.reporter;
      var allocator = __koru_input.allocator;
      throw new global::System.Exception("ln: [transform] tor is lowered at compile time and must never be called");

    }
  }
  public static void flow0() {
    {
      for (long __koru_i = 0; __koru_i < __koru_store_units.len; __koru_i++) {
      main_module.__store_qrow_units_L39_690_247_rule_names_its_row_handle_input_629c34_event.handler(new main_module.__store_qrow_units_L39_690_247_rule_names_its_row_handle_input_629c34_event.Input { row = __koru_i });
      }
    }
  }
  public static void flow1() {
    var result_2 = main_module.__store_inserth_units_event.handler(new __store_inserth_units_event.Input { hp = (long)(10), __site_line = (long)(42)});
    var a = result_2.row;
    var result_3 = main_module.__store_inserth_units_event.handler(new __store_inserth_units_event.Input { hp = (long)(20), __site_line = (long)(43)});
    var b = result_3.row;
    var result_4 = main_module.__store_inserth_units_event.handler(new __store_inserth_units_event.Input { hp = (long)(0), __site_line = (long)(44)});
    var c = result_4.row;
    var result_5 = main_module.__store_take_units_event.handler(new __store_take_units_event.Input { row = (long)(b)});
    if (result_5.tag == "item") {
      var gone = result_5.item;
__koru_stdout_write("took " + __koru_str(gone.hp) + "\n");
      main_module.__store_write_units_event.handler(new __store_write_units_event.Input { row = (long)(__koru_store_units.__koru_resolve(__koru_store_mark.who)), field = (long)(0), value_0 = (long)(777)});
    }
    if (result_5.tag == "empty") {
      var _auto_6 = result_5.empty;
      throw new global::System.Exception("input:__store_take_units: unhandled panic branch 'empty' fired at runtime");
    }
  }
  public static void flow2() {
    {
      {
      for (var __koru_si = 0; __koru_si < __koru_store_units.len; __koru_si++) {
      var __koru_srf_u_L50_hp = __koru_store_units.hp[__koru_si];
      main_module.__store_sweepbody_units_L50_690_247_rule_names_its_row_handle_input_629c34_event.handler(new main_module.__store_sweepbody_units_L50_690_247_rule_names_its_row_handle_input_629c34_event.Input { __koru_srf_u_L50_hp = __koru_srf_u_L50_hp, __koru_sdix_u_L50 = __koru_si });
      }
      }
    }
  }
}

static class Program {
  static void Main() {
    main_module.flow0();
    main_module.flow1();
    main_module.flow2();
  }
}

output_emitted.cs

Actual

took 20
unit hp 10
unit hp 777

Expected output

✓ Zig✓ C#

took 20
unit hp 10
unit hp 777

Flows

flow ~new click a branch to expand · @labels scroll to their anchor

new (units, capacity: 64, source: hp: i64)

flow ~new click a branch to expand · @labels scroll to their anchor

new (mark, capacity: 1, source: who: 0[i64])

flow ~rule click a branch to expand · @labels scroll to their anchor

rule (units)

flow ~insert click a branch to expand · @labels scroll to their anchor

insert (units, source: hp: 10)

flow ~query click a branch to expand · @labels scroll to their anchor

query (units)

Test Configuration

MUST_RUN LANGUAGES: zig cs

← 246 sweep names its own row handle 248 rule refuses ordinal by name →