ibex-runtime 0.3.0 → 0.4.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
checksums.yaml CHANGED
@@ -1,7 +1,7 @@
1
1
  ---
2
2
  SHA256:
3
- metadata.gz: 6086c1dd68cc99d62aa03a04395e07790c29611e86aadf39a27380ed970517c3
4
- data.tar.gz: 56653912d556177e7126e6075816d72f1183c86d1649e9c760466dd739874097
3
+ metadata.gz: 1693b23297526d97572f41b122eb1d5084c401af1a342ae6513046abf11e99ae
4
+ data.tar.gz: d0c6d2664a388dd1fd2232001865c63af62c371cbb348e15f14d4ea934384135
5
5
  SHA512:
6
- metadata.gz: acf1c8076df1e37169b4f8a4597cb4b9bb461b16b8878676032a558d3ba7cf6c7bcffda13e42d4eb6034d47b4cc8c1cfd8263b0b9af7f86429356a83e9a4eb22
7
- data.tar.gz: 0be19823f4fd459cc60c9fe097d7b278ef2c92309858070aa0911e9032cd13250baa3ed6b9e23f00f85ce56ebbc569cdd655107ba61a50aa2f9511eef44d6a9f
6
+ metadata.gz: 3e0ec460df731de3369a0523acb57f8afa25e529bd251aa4ecab434b9c0a711ed3c92904969394fa1ad19a7290404182d73124b0346c78ac65343cf7e849b8fd
7
+ data.tar.gz: 33bec07cb795bbdaec36849b05b22648833a49d2ff478577e679a2e7b225b8a2d589b85c507ac59054909a307e0d806d27d035eb1dc34cf256bcdfbfddb74967
data/README.md CHANGED
@@ -27,8 +27,8 @@ R001: `HOLD` — [`awaiting_independent_review`](docs/error-ux-review-status-v1.
27
27
  <!-- r001-review-status:end -->
28
28
 
29
29
  <!-- type-stats:start -->
30
- The current whole-library `steep stats` result is 28,836 typed calls and 2,734 untyped calls out of 31,610 (91.2% typed).
31
- The generated signature tree contains 492 explicit `untyped` occurrences across 39 files.
30
+ The current whole-library `steep stats` result is 29,778 typed calls and 2,906 untyped calls out of 32,724 (91.0% typed).
31
+ The generated signature tree contains 506 explicit `untyped` occurrences across 41 files.
32
32
  <!-- type-stats:end -->
33
33
 
34
34
  ## Install
@@ -99,6 +99,7 @@ convenient. Use `--check` in CI to detect stale generated output.
99
99
  | --- | --- | --- |
100
100
  | Compatible mode | Existing racc grammars and conservative migrations | Stable baseline |
101
101
  | Extended mode | EBNF, imports, generated lexers, trees, types, and tooling | Preview; explicit opt-in |
102
+ | `ibex impact` | Grammar propagation, automaton, action metadata, and coverage review | Preview; read-only |
102
103
  | Browser playground and incremental CST sessions | Local analysis and evaluation | Preview/Experimental; bounded |
103
104
 
104
105
  The default frontend remains unchanged unless a grammar opts into
@@ -108,6 +109,10 @@ The default frontend remains unchanged unless a grammar opts into
108
109
  [maturity audit](https://ydah.github.io/ibex/docs/maturity/) before adopting a
109
110
  Preview or Experimental surface.
110
111
 
112
+ Use [`ibex impact`](docs/impact.md) to review where a changed nonterminal can
113
+ propagate. Its reports are deterministic and read-only; nullable boundaries and
114
+ source-only action references remain explicit limitations.
115
+
111
116
  IELR is also explicit: `--algorithm=ielr` uses the conservative partition
112
117
  strategy by default, while `--ielr-strategy=direct` enables the experimental
113
118
  LR(0)-based construction. Direct IELR is profiled and reviewable, but it is not
@@ -2,6 +2,6 @@
2
2
 
3
3
  module Ibex
4
4
  module Runtime
5
- VERSION = "0.3.0"
5
+ VERSION = "0.4.0"
6
6
  end
7
7
  end
metadata CHANGED
@@ -1,7 +1,7 @@
1
1
  --- !ruby/object:Gem::Specification
2
2
  name: ibex-runtime
3
3
  version: !ruby/object:Gem::Version
4
- version: 0.3.0
4
+ version: 0.4.0
5
5
  platform: ruby
6
6
  authors:
7
7
  - Yudai Takada