expressir 2.4.29-arm-linux

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA256:
+  metadata.gz: f8ded9538cce3261a34b2746781944e3e6aadb6fde09cde5846d8c28cb1b9a0f
+  data.tar.gz: 5f393cae4a5af8014d619584c4dc3bf48e7cad2d491942dea30bc1b18ddff366
+SHA512:
+  metadata.gz: 412dc3c6f63cf230a6917f059389ad04ce537468c4fdf287f3c0b48d39ee43aba3efec3e7b625aeab3e1c8b6002047f73f3adab902cda5460187a02324ef72fc
+  data.tar.gz: 3f0298905fd946de0591124c919d486012a8380d2ff2dbbc78e7b3a688416d5f932edcec31c2269eb21b675aa640ac93cbe3828350e60c2eb94678fb7b875964

data/.cargo/config.toml

@@ -0,0 +1,3 @@
+# Git deps fetch over SSH by the system git CLI (cargo HTTPS auth fails locally).
+[net]
+git-fetch-with-cli = true

data/.github/scripts/test_installed_gem.rb

@@ -0,0 +1,34 @@
+# frozen_string_literal: true
+
+# Smoke test for an INSTALLED expressir gem (run after `gem install`,
+# never from the source directory): the Rust core binding must be
+# active and the parser must handle the standard and #462 forms.
+require "expressir"
+
+abort "FAIL: NATIVE_AVAILABLE is false" unless Expressir::Express::Core::NATIVE_AVAILABLE
+puts "native binding: active"
+
+repo = Expressir::Express::Parser.from_exp(
+  "SCHEMA smoke; ENTITY e; a : STRING; END_ENTITY; END_SCHEMA;",
+)
+abort "FAIL: schema not parsed" unless repo.schemas.first.id == "smoke"
+puts "standard parse: ok"
+
+src = <<~EXP
+  SCHEMA m;
+  ENTITY e; END_ENTITY;
+  SUBTYPE_CONSTRAINT c FOR e;
+    ABSTRACT;
+  END_SUBTYPE_CONSTRAINT;
+  END_SCHEMA;
+EXP
+sc = Expressir::Express::Parser.from_exp(src).schemas.first.subtype_constraints.first
+abort "FAIL: subtype constraint ABSTRACT body (#462)" unless sc&.abstract == true
+puts "#462 form: ok"
+
+# The platform gems force-build the Rust compiled-set writer; a leg that
+# shipped a non-loadable expressir_core would otherwise pass this smoke.
+abort "FAIL: core_set_available is false" unless Expressir::Express::Parser.core_set_available?
+puts "compiled-set core: ok"
+
+puts "SMOKE OK"

data/.github/workflows/codeql.yml

@@ -0,0 +1,35 @@
+name: "CodeQL"
+
+on:
+  push:
+    branches: [ main ]
+  schedule:
+    - cron: '0 23 * * 3'
+  workflow_dispatch:
+
+concurrency:
+  group: '${{ github.workflow }}-${{ github.job }}-${{ github.head_ref || github.ref_name }}'
+  cancel-in-progress: true
+
+jobs:
+  analyze:
+    name: Analyze
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+
+      - name: Install Ruby
+        uses: ruby/setup-ruby@master
+        with:
+          ruby-version: 3.2
+          bundler-cache: true
+
+      - name: Initialize CodeQL
+        uses: github/codeql-action/init@v2
+        with:
+          languages: "ruby, cpp"
+
+      - name: Perform CodeQL Analysis
+        uses: github/codeql-action/analyze@v2

data/.github/workflows/docs.yml

@@ -0,0 +1,99 @@
+name: Deploy Documentation
+
+on:
+  push:
+    branches: [main, master]
+    paths:
+      - 'docs/**'
+      - '.github/workflows/docs.yml'
+  pull_request:
+    branches: [main, master]
+    paths:
+      - 'docs/**'
+  workflow_dispatch:
+
+# Allow only one concurrent deployment
+concurrency:
+  group: "pages"
+  cancel-in-progress: true
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v4
+
+      - name: Setup Ruby
+        uses: ruby/setup-ruby@v1
+        with:
+          ruby-version: '3.2'
+          bundler-cache: false
+          working-directory: docs
+
+      - name: Cache gems
+        uses: actions/cache@v4
+        with:
+          path: docs/vendor/bundle
+          key: ${{ runner.os }}-gems-${{ hashFiles('docs/Gemfile.lock') }}
+          restore-keys: |
+            ${{ runner.os }}-gems-
+
+      - name: Install dependencies
+        working-directory: docs
+        run: |
+          bundle config path vendor/bundle
+          bundle install --jobs 4 --retry 3
+
+      - name: Build Jekyll site
+        working-directory: docs
+        run: bundle exec jekyll build --trace
+        env:
+          JEKYLL_ENV: production
+
+      - name: Test built site
+        working-directory: docs
+        run: |
+          if [ ! -f "_site/index.html" ]; then
+            echo "Error: index.html not found in _site/"
+            exit 1
+          fi
+          echo "Site built successfully"
+          echo "Site contains $(find _site -type f | wc -l) files"
+
+      - name: Upload artifact
+        uses: actions/upload-pages-artifact@v3
+        with:
+          path: docs/_site
+
+  deploy:
+    # Only deploy on push to main/master, not on PRs
+    if: github.event_name == 'push' && (github.ref == 'refs/heads/main' || github.ref == 'refs/heads/master')
+
+    needs: build
+
+    permissions:
+      pages: write
+      id-token: write
+      contents: write
+    
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+    
+    runs-on: ubuntu-latest
+    
+    steps:
+      - name: Deploy to GitHub Pages
+        id: deployment
+        uses: actions/deploy-pages@v4
+
+      - name: Comment on commit
+        if: success()
+        uses: peter-evans/commit-comment@v3
+        with:
+          body: |
+            :white_check_mark: Documentation deployed successfully!
+            
+            View at: ${{ steps.deployment.outputs.page_url }}

data/.github/workflows/links.yml

@@ -0,0 +1,100 @@
+name: Check Links
+
+on:
+  push:
+    branches: [main, master]
+    paths:
+      - 'docs/**'
+      - '.github/workflows/links.yml'
+      - 'lychee.toml'
+  pull_request:
+    branches: [main, master]
+    paths:
+      - 'docs/**'
+  schedule:
+    # Run weekly on Monday at 9:00 UTC
+    - cron: '0 9 * * 1'
+  workflow_dispatch:
+
+jobs:
+  link-check:
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v4
+
+      - name: Setup Ruby
+        uses: ruby/setup-ruby@v1
+        with:
+          ruby-version: '3.2'
+          bundler-cache: false
+          working-directory: docs
+
+      - name: Cache gems
+        uses: actions/cache@v4
+        with:
+          path: docs/vendor/bundle
+          key: ${{ runner.os }}-gems-${{ hashFiles('docs/Gemfile.lock') }}
+          restore-keys: |
+            ${{ runner.os }}-gems-
+
+      - name: Install dependencies
+        working-directory: docs
+        run: |
+          bundle config path vendor/bundle
+          bundle install --jobs 4 --retry 3
+
+      - name: Build Jekyll site
+        working-directory: docs
+        run: bundle exec jekyll build --trace
+        env:
+          JEKYLL_ENV: production
+
+      - name: Check links with lychee
+        uses: lycheeverse/lychee-action@v1
+        with:
+          args: |
+            --config docs/lychee.toml
+            --verbose
+            --no-progress
+            --format markdown
+            'docs/_site/**/*.html'
+          fail: true
+          output: link-check-report.md
+
+      - name: Upload link check report
+        if: always()
+        uses: actions/upload-artifact@v4
+        with:
+          name: link-check-report
+          path: link-check-report.md
+          retention-days: 30
+
+      - name: Comment on PR with results
+        if: failure() && github.event_name == 'pull_request'
+        uses: marocchino/sticky-pull-request-comment@v2
+        with:
+          header: link-check
+          path: link-check-report.md
+
+      - name: Create issue for broken links
+        if: failure() && github.event_name == 'schedule'
+        uses: peter-evans/create-issue-from-file@v5
+        with:
+          title: Broken links detected in documentation
+          content-filepath: link-check-report.md
+          labels: |
+            documentation
+            bug
+            automated
+
+      - name: Summary
+        if: always()
+        run: |
+          echo "## Link Check Results" >> $GITHUB_STEP_SUMMARY
+          if [ -f "link-check-report.md" ]; then
+            cat link-check-report.md >> $GITHUB_STEP_SUMMARY
+          else
+            echo "No broken links found! :white_check_mark:" >> $GITHUB_STEP_SUMMARY
+          fi

data/.github/workflows/native-gems.yml

@@ -0,0 +1,201 @@
+# Prebuilt platform gems (TODO.suma-improvements/01), following the
+# parsanol-ruby gem-build pattern: oxidize-rb cross-gem builds
+# per-platform gems in rake-compiler-dock containers, smoke jobs install
+# them on real runners, and tag pushes publish to rubygems.
+name: native-gems
+
+on:
+  workflow_dispatch:
+  push:
+    branches: [main, "cross-gem/*", "pkg/*"]
+    tags: ["v*"]
+
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
+permissions:
+  contents: read
+
+jobs:
+  ci-data:
+    runs-on: ubuntu-22.04
+    outputs:
+      result: ${{ steps.fetch.outputs.result }}
+    steps:
+      - id: fetch
+        uses: oxidize-rb/actions/fetch-ci-data@v1
+        with:
+          supported-ruby-platforms: |
+            exclude: [x64-mingw32]
+          stable-ruby-versions: |
+            only: [3.2, 3.3, 3.4, 4.0]
+
+  native:
+    name: Build native gems
+    needs: ci-data
+    runs-on: ubuntu-22.04
+    strategy:
+      fail-fast: false
+      matrix:
+        ruby-platform: ${{ fromJSON(needs.ci-data.outputs.result).supported-ruby-platforms }}
+    steps:
+      - uses: actions/checkout@v4
+
+      - uses: ruby/setup-ruby@v1
+        with:
+          ruby-version: "3.4"
+
+      - uses: oxidize-rb/actions/cross-gem@v1
+        id: cross-gem
+        env:
+          EXPRESSIR_CORE_FORCE: "1"
+        with:
+          platform: ${{ matrix.ruby-platform }}
+          # Must include the dock image's HOST ruby (4.0): when the
+          # running ruby is absent from this list, rake-compiler adds an
+          # extra leg for it built from the host toolchain's RbConfig,
+          # and rb-sys correctly refuses to generate bindings against a
+          # different target_os. Current rb-sys-dock images ship cross
+          # rubies for 3.2-4.0 (parsanol-ruby's identical cross-gem
+          # setup builds a working x86_64-mingw-ucrt ruby-4.0.2 leg).
+          ruby-versions: "3.2,3.3,3.4,4.0"
+
+      - uses: actions/upload-artifact@v4
+        with:
+          name: cross-gem-${{ matrix.ruby-platform }}
+          path: ${{ steps.cross-gem.outputs.gem-path }}
+          if-no-files-found: error
+
+  smoke-linux:
+    name: Smoke test Linux x86_64
+    needs: native
+    runs-on: ubuntu-22.04
+    steps:
+      - uses: actions/checkout@v4
+      - uses: ruby/setup-ruby@v1
+        with:
+          ruby-version: "3.4"
+      - uses: actions/download-artifact@v4
+        with:
+          name: cross-gem-x86_64-linux
+          path: pkg/
+      - run: |
+          gem install pkg/expressir-*.gem --no-document
+          ruby .github/scripts/test_installed_gem.rb
+
+  smoke-linux-arm:
+    name: Smoke test Linux ARM64
+    needs: native
+    runs-on: ubuntu-22.04-arm
+    steps:
+      - uses: actions/checkout@v4
+      - uses: ruby/setup-ruby@v1
+        with:
+          ruby-version: "3.4"
+      - uses: actions/download-artifact@v4
+        with:
+          name: cross-gem-aarch64-linux
+          path: pkg/
+      - run: |
+          gem install pkg/expressir-*.gem --no-document
+          ruby .github/scripts/test_installed_gem.rb
+
+  smoke-macos-arm:
+    name: Smoke test macOS ARM64
+    needs: native
+    runs-on: macos-15
+    steps:
+      - uses: actions/checkout@v4
+      - uses: ruby/setup-ruby@v1
+        with:
+          ruby-version: "3.4"
+      - uses: actions/download-artifact@v4
+        with:
+          name: cross-gem-arm64-darwin
+          path: pkg/
+      - run: |
+          gem install pkg/expressir-*.gem --no-document
+          ruby .github/scripts/test_installed_gem.rb
+
+  smoke-macos-intel:
+    name: Smoke test macOS x86_64
+    needs: native
+    runs-on: macos-15-intel
+    steps:
+      - uses: actions/checkout@v4
+      - uses: ruby/setup-ruby@v1
+        with:
+          ruby-version: "3.4"
+      - uses: actions/download-artifact@v4
+        with:
+          name: cross-gem-x86_64-darwin
+          path: pkg/
+      - run: |
+          gem install pkg/expressir-*.gem --no-document
+          ruby .github/scripts/test_installed_gem.rb
+
+  smoke-windows:
+    name: Smoke test Windows x64
+    needs: native
+    runs-on: windows-2025
+    steps:
+      - uses: actions/checkout@v4
+      - uses: ruby/setup-ruby@v1
+        with:
+          ruby-version: "3.4"
+      - uses: actions/download-artifact@v4
+        with:
+          name: cross-gem-x64-mingw-ucrt
+          path: pkg/
+      - run: |
+          gem install pkg/expressir-*.gem --no-document
+          ruby .github/scripts/test_installed_gem.rb
+
+  source:
+    name: Build source gem
+    runs-on: ubuntu-22.04
+    steps:
+      - uses: actions/checkout@v4
+      - uses: oxidize-rb/actions/setup-ruby-and-rust@v1
+        with:
+          ruby-version: "3.4"
+          bundler-cache: true
+          cargo-cache: true
+      - run: bundle exec rake build
+      - uses: actions/upload-artifact@v4
+        with:
+          name: source-gem
+          path: pkg/*.gem
+          if-no-files-found: error
+
+  release:
+    name: Release gems to rubygems
+    needs: [native, smoke-linux, smoke-linux-arm, smoke-macos-arm, smoke-macos-intel, smoke-windows, source]
+    # workflow_dispatch lets a fix publish the already-tagged version when
+    # the tag's own run failed after the builds (reruns reuse the tag's
+    # workflow copy, so fixes cannot reach them any other way).
+    if: startsWith(github.ref, 'refs/tags/v') || github.event_name == 'workflow_dispatch'
+    runs-on: ubuntu-22.04
+    # No environment: the rubygems.org trusted publisher for native-gems.yml
+    # is registered without one; an environment claim would fail the match.
+    permissions:
+      id-token: write
+    steps:
+      - uses: actions/download-artifact@v4
+        with:
+          path: pkg/
+          pattern: cross-gem-*
+          merge-multiple: true
+      - uses: actions/download-artifact@v4
+        with:
+          path: pkg/
+          name: source-gem
+      # OIDC trusted publishing - the repo has no rubygems API-key secret;
+      # release.yml publishes through the same exchange.
+      - uses: rubygems/configure-rubygems-credentials@v2.1.0
+      - name: Push to rubygems
+        run: |
+          for gem in pkg/expressir-*.gem; do
+            gem push "$gem"
+          done

data/.github/workflows/rake.yml

@@ -0,0 +1,19 @@
+# Auto-generated by Cimas: Do not edit it manually!
+# See https://github.com/metanorma/cimas
+name: rake
+
+permissions:
+  contents: write
+  pull-requests: write
+
+on:
+  push:
+    branches: [ master, main ]
+    tags: [ v* ]
+  pull_request:
+
+jobs:
+  rake:
+    uses: metanorma/ci/.github/workflows/generic-rake.yml@main
+    secrets:
+      pat_token: ${{ secrets.LUTAML_CI_PAT_TOKEN }}

data/.github/workflows/release.yml

@@ -0,0 +1,37 @@
+name: release
+
+permissions:
+  contents: write
+  packages: write
+  pull-requests: write
+  id-token: write
+
+on:
+  workflow_dispatch:
+    inputs:
+      next_version:
+        description: |
+          Next release version. Possible values: x.y.z, major, minor, patch (or pre|rc|etc).
+          Also, you can pass 'skip' to skip 'git tag' and do 'gem push' for the current version
+        required: true
+        default: 'skip'
+  repository_dispatch:
+    types: [ do-release ]
+
+jobs:
+  release:
+    uses: metanorma/ci/.github/workflows/rubygems-release.yml@main
+    permissions:
+      id-token: write
+      contents: write
+      packages: write
+      pull-requests: write
+    with:
+      next_version: ${{ github.event.inputs.next_version }}
+      release_command: rake release
+      bundler_cache: false
+      post_install: bundle install
+    secrets:
+      rubygems-api-key: ${{ secrets.LUTAML_CI_RUBYGEMS_API_KEY }}
+      pat_token: ${{ secrets.LUTAML_CI_PAT_TOKEN }}
+

data/.github/workflows/rust-ext.yml

@@ -0,0 +1,41 @@
+name: rust-ext
+
+on:
+  push:
+    branches: [master, main]
+  pull_request:
+
+jobs:
+  build-ext:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: dtolnay/rust-toolchain@stable
+      - uses: ruby/setup-ruby@v1
+        with:
+          ruby-version: "3.4"
+          bundler-cache: true
+      - name: Build the expressir-core extension
+        working-directory: ext/expressir_core
+        run: |
+          gem install rb_sys
+          ruby extconf.rb
+          RB_SYS_CARGO_PROFILE=release make
+      - name: Smoke test the bridge
+        run: |
+          bundle exec ruby -e '
+            require "expressir"
+            require "expressir/express/core"
+            raise "native unavailable" unless Expressir::Express::Core::NATIVE_AVAILABLE
+            src = File.read("spec/syntax/multiple.exp")
+            m = Expressir::Express::Core.parse_to_model_hash(src, "multiple.exp")
+            raise "bad model" unless m["schemas"].first["id"] == "multiple_schema"
+            puts "bridge OK"
+          '
+      # The default `rake` CI job covers the pure-Ruby parse path (no
+      # extension built there); this job pins the core parse path: with the
+      # extension present the parser defaults to it, so the whole suite runs
+      # against the Rust wire hydration.
+      - name: Run the suite on the core parse path
+        run: |
+          bundle exec rspec spec/expressir spec/syntax --tag ~production_scale

data/.github/workflows/stress.yml

@@ -0,0 +1,36 @@
+name: stress
+
+on:
+  workflow_dispatch:
+
+concurrency:
+  group: '${{ github.workflow }}-${{ github.job }}-${{ github.head_ref || github.ref_name }}'
+  cancel-in-progress: true
+
+env:
+  GC_STRESS: true
+
+jobs:
+  rake:
+    name: test on ruby-${{ matrix.ruby }} ${{ matrix.os }}
+    runs-on: ${{ matrix.os }}
+    strategy:
+      fail-fast: false
+      matrix:
+        ruby: [ '3.2', '3.1', '3.0', '2.7' ]
+        os: [ ubuntu-latest, windows-latest, macos-latest ]
+
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+
+      - name: Install Ruby
+        uses: ruby/setup-ruby@master
+        with:
+          ruby-version: ${{ matrix.ruby }}
+          bundler-cache: true
+
+      - name: Run tests
+        run: |
+          bundle exec rake
+          cat .rspec_status

data/.github/workflows/validate_schemas.yml

@@ -0,0 +1,48 @@
+name: "validate_schemas"
+
+on:
+  push:
+    branches: [ main ]
+  pull_request:
+  workflow_dispatch:
+
+concurrency:
+  group: '${{ github.workflow }}-${{ github.job }}-${{ github.head_ref || github.ref_name }}'
+  cancel-in-progress: true
+
+jobs:
+  schemas:
+    name: Validate schemas
+    runs-on: ubuntu-latest
+    strategy:
+      fail-fast: false
+      matrix:
+        test-group:
+          [
+            'iso-10303/schemas-srl.yml',
+            'iso-10303/schemas_module.yml',
+            'iso-10303/schemas_bom.yml',
+          ]
+
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+
+      - name: Checkout
+        uses: actions/checkout@v4
+        with:
+          repository: 'metanorma/iso-10303'
+          path: iso-10303
+          token: ${{ secrets.LUTAML_CI_PAT_TOKEN }}
+
+      - name: Install Ruby
+        uses: ruby/setup-ruby@master
+        with:
+          ruby-version: 3.2
+          bundler-cache: true
+          cache-version: 0 # Increment this number if you need to re-download cached gems
+
+      - name: Validate schemas ${{ matrix.test-group }}
+        run: |
+          yq '.schemas[].path | sub("schemas", "iso-10303/schemas")' ${{ matrix.test-group }} | xargs bundle exec ./exe/expressir validate load
+

data/.github/workflows/verify_remarks.yml

@@ -0,0 +1,33 @@
+name: "verify_remarks"
+
+permissions:
+  contents: read
+
+on:
+  push:
+    branches: [ main ]
+  pull_request:
+  workflow_dispatch:
+
+concurrency:
+  group: '${{ github.workflow }}-${{ github.ref }}'
+  cancel-in-progress: true
+
+jobs:
+  remarks:
+    name: Verify remark conservation
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+
+      - name: Install Ruby
+        uses: ruby/setup-ruby@master
+        with:
+          ruby-version: "3.2"
+          bundler-cache: true
+          cache-version: 0 # Increment this number if you need to re-download cached gems
+
+      - name: Verify remark conservation
+        run: bundle exec rake verify:remarks