moonbitlang · bobzhang · Jul 19, 2026 · Jul 16, 2026 · Jul 16, 2026 · Jul 16, 2026
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -110,7 +110,7 @@ jobs:
       # The nightly toolchain is required: mbtexcel depends on
       # moonbitlang/async >= 0.20 (wasm filesystem support) and its xlsx CLI
       # targets the wasm backend, both of which need nightly. `moon work sync`
-      # has aligned the workspace members on async@0.20.1 + x@0.4.43.
+      # has aligned the workspace members on async@0.20.2 + x@0.4.43.
       - name: Set up MoonBit (nightly)
         run: |
           curl -fsSL https://cli.moonbitlang.com/install/unix.sh | bash -s nightly
@@ -163,12 +163,21 @@ jobs:
       - name: Type check (wasm)
         run: moon check --target wasm
 
+      # Keep the JavaScript runtime honest as well. Floating-point formatting
+      # and target-specific package declarations have both regressed here
+      # without affecting native or Wasm builds.
+      - name: Type check (js)
+        run: moon check --target js
+
       # An unfiltered invocation traverses every moon.work member and all of
       # its packages. Keep this module-wide so new portable child packages are
       # covered automatically instead of silently receiving root-only tests.
       - name: Test complete workspace (wasm)
         run: moon test --target wasm
 
+      - name: Test complete workspace (js)
+        run: moon test --target js
+
       # Run all members' native test suites in one pass. Covers mbtexcel
       # (including OpenXML SDK schema validation via .NET), docx2html
       # (converter/reader/fixtures/stress), and pdflite (reader/writer/
@@ -281,6 +290,48 @@ jobs:
             and .success == false
             and .error.code == "office.unknown_format"
             and .error.details.suggestions == ["xlsx"]' office-wasm-error.json
+          # XLSX structured reads share the validated bounded archive and use
+          # canonical name-keyed paths even when the input selector is positional.
+          # The third-party Book1 fixture has intersecting shared-formula ranges;
+          # normalize that unrelated invalid metadata through the raw transaction
+          # surface before exercising the fixture's original contents.
+          xlsx_source=fixtures/excelize/test/Book1.xlsx
+          xlsx_sheet="$RUNNER_TEMP/office-book1-sheet2.xml"
+          xlsx_sheet_valid="$RUNNER_TEMP/office-book1-sheet2-valid.xml"
+          xlsx_fixture="$RUNNER_TEMP/office-Book1-valid.xlsx"
+          moon run --target wasm office/cmd/office -- raw read "$xlsx_source" /Sheet2 --output "$xlsx_sheet" >/dev/null
+          sed -e 's/ref="F11:H11"/ref="F11:F11"/' -e 's/<f t="shared" si="0"><\/f>/<f t="shared" si="1"><\/f>/' "$xlsx_sheet" >"$xlsx_sheet_valid"
+          moon run --target wasm office/cmd/office -- raw replace "$xlsx_source" /Sheet2 --xml-file "$xlsx_sheet_valid" --out "$xlsx_fixture" --json >/dev/null
+          xo=$(moon run --target wasm office/cmd/office -- outline "$xlsx_fixture" --json 2>office-wasm.err) || { echo "office XLSX outline failed; stderr:"; cat office-wasm.err; exit 1; }
+          echo "$xo" | jq -e '.success == true
+            and .data.schema == "office.xlsx.outline/1"
+            and .data.path == "/xlsx/workbook"
+            and [.data.sheets[].path] == ["/xlsx/sheet[name=\"Sheet1\"]", "/xlsx/sheet[name=\"Sheet2\"]"]'
+          singleton_fixture=fixtures/excelize/test/OverflowNumericCell.xlsx
+          xs=$(moon run --target wasm office/cmd/office -- outline "$singleton_fixture" --json 2>office-wasm.err) || { echo "office XLSX singleton outline failed; stderr:"; cat office-wasm.err; exit 1; }
+          echo "$xs" | jq -e '.success == true
+            and .data.sheets[0].used_range.reference == "A1:A1"
+            and .data.sheets[0].used_range.path == "/xlsx/sheet[name=\"Sheet1\"]/range[A1:A1]"'
+          xsg=$(moon run --target wasm office/cmd/office -- get "$singleton_fixture" '/xlsx/sheet[1]/range[A1:A1]' --json 2>office-wasm.err) || { echo "office XLSX singleton get failed; stderr:"; cat office-wasm.err; exit 1; }
+          echo "$xsg" | jq -e '.success == true
+            and .data.reference == "A1:A1"
+            and [.data.cells[].reference] == ["A1"]'
+          xg=$(moon run --target wasm office/cmd/office -- get "$xlsx_fixture" '/xlsx/sheet[1]/range[A19:B19]' --json 2>office-wasm.err) || { echo "office XLSX get failed; stderr:"; cat office-wasm.err; exit 1; }
+          echo "$xg" | jq -e '.success == true
+            and .data.schema == "office.xlsx.element/1"
+            and .data.path == "/xlsx/sheet[name=\"Sheet1\"]/range[A19:B19]"
+            and [.data.cells[].reference] == ["A19", "B19"]
+            and .data.cells[1].formula == "SUM(Sheet2!D2,Sheet2!D11)"'
+          xt=$(moon run --target wasm office/cmd/office -- text "$xlsx_fixture" --under '/xlsx/sheet[name="Sheet1"]' --offset 1 --limit 2 --json 2>office-wasm.err) || { echo "office XLSX text failed; stderr:"; cat office-wasm.err; exit 1; }
+          echo "$xt" | jq -e '.success == true
+            and .data.schema == "office.xlsx.text/1"
+            and .data.matched_total == 5
+            and [.data.entries[].text] == ["237", "Column1"]'
+          xq=$(moon run --target wasm office/cmd/office -- query "$xlsx_fixture" 'cell[type=formula][formula~=IF]' --under '/xlsx/sheet[name="Sheet2"]' --json 2>office-wasm.err) || { echo "office XLSX query failed; stderr:"; cat office-wasm.err; exit 1; }
+          echo "$xq" | jq -e '.success == true
+            and .data.schema == "office.xlsx.query/1"
+            and .data.matched_total == 4
+            and [.data.matches[].reference] == ["F11", "G11", "H11", "I11"]'
           # DOCX structured reads share one canonical bounded projection.
           # Drive every command through the wasm async filesystem path.
           o=$(moon run --target wasm office/cmd/office -- outline docx2html/tests/cram/fixtures/single-paragraph.docx --json 2>office-wasm.err) || { echo "office DOCX outline failed; stderr:"; cat office-wasm.err; exit 1; }

diff --git a/README.mbt.md b/README.mbt.md
@@ -311,8 +311,7 @@ test "validate output" {
 
 `office/cmd/office` is the agent-oriented facade for DOCX and XLSX packages.
 Its registry-driven help, format detection, validated raw OOXML fallback, and
-DOCX structured reads use versioned JSON envelopes and explicit resource
-limits:
+structured reads use versioned JSON envelopes and explicit resource limits:
 
 ```sh
 moon run office/cmd/office -- help docx
@@ -321,12 +320,17 @@ moon run office/cmd/office -- outline report.docx --json
 moon run office/cmd/office -- get report.docx '/docx/body/p[1]' --json
 moon run office/cmd/office -- text report.docx --under '/docx/comments/comment[id="0"]'
 moon run office/cmd/office -- query report.docx --kind paragraph --text revenue --ignore-case --json
+moon run office/cmd/office -- outline book.xlsx --json
+moon run office/cmd/office -- get book.xlsx '/xlsx/sheet[name="Data"]/range[A1:C12]' --json
+moon run office/cmd/office -- text book.xlsx --under '/xlsx/sheet[name="Data"]' --json
+moon run office/cmd/office -- query book.xlsx 'cell[type=formula]' --under '/xlsx/sheet[name="Data"]' --json
 ```
 
-The four DOCX read schemas are `office.docx.outline/1`,
-`office.docx.element/1`, `office.docx.text/1`, and `office.docx.query/1`, all
+DOCX results use the `office.docx.{outline,element,text,query}/1` family and
+XLSX results use `office.xlsx.{outline,element,text,query}/1`; every result is
 inside `office.output/1`. See
-[Unified Office DOCX reads](docs/office-docx-read.md) and
+[Unified Office DOCX reads](docs/office-docx-read.md),
+[Unified Office XLSX reads](docs/office-xlsx-read.md), and
 [Canonical Office selectors](docs/office-selectors.md).
 
 ## XLSX command-line tool

diff --git a/cmd/demos/moon.pkg b/cmd/demos/moon.pkg
@@ -8,6 +8,4 @@ import {
 
 supported_targets = "native"
 
-options(
-  "is-main": true,
-)
+pkgtype(kind: "executable")
diff --git a/cmd/main/moon.pkg b/cmd/main/moon.pkg
@@ -4,6 +4,4 @@ import {
 
 supported_targets = "native+js"
 
-options(
-  "is-main": true,
-)
+pkgtype(kind: "executable")
diff --git a/cmd/parity/moon.pkg b/cmd/parity/moon.pkg
@@ -9,6 +9,4 @@ import {
 
 supported_targets = "native"
 
-options(
-  "is-main": true,
-)
+pkgtype(kind: "executable")
diff --git a/cmd/xlsx/moon.pkg b/cmd/xlsx/moon.pkg
@@ -7,7 +7,7 @@ import {
   "moonbitlang/core/argparse",
   "moonbitlang/async",
   "moonbitlang/async/fs" @async/fs,
-  "moonbitlang/async/os_error" @os_error,
+  "moonbitlang/async/os_error",
   "moonbitlang/core/env",
   "moonbitlang/core/encoding/utf8" @encoding/utf8,
   "moonbitlang/core/string",
@@ -16,6 +16,4 @@ import {
 
 supported_targets = "native+wasm"
 
-options(
-  "is-main": true,
-)
+pkgtype(kind: "executable")
diff --git a/crypto/moon.pkg b/crypto/moon.pkg
@@ -1,4 +1,3 @@
 import {
   "moonbitlang/core/debug",
 }
-
diff --git a/docs/agent-json-schemas.md b/docs/agent-json-schemas.md
@@ -33,10 +33,16 @@ disagree, the tests are the source of truth and this document has a bug.
   `images`, `pivot_tables`, `defined_names`, `cells`) are always present
   (possibly `[]`); optional sub-object fields — including list-valued ones
   like `fill.colors` or a style's `border` — may be omitted entirely.
-- **Index bases**: sheet `index` is 0-based tab order. Rows and columns are
-  never sent as bare numbers; cell and range references are A1-style strings.
-- Output is pretty-printed (2-space indent) UTF-8 with a trailing newline,
-  deterministic for a given workbook.
+- **Index bases**: standalone `xlsx.*` payloads use 0-based sheet `index`
+  values; unified `office.xlsx.*` payloads use 1-based sheet `index` values.
+  Rows and columns are never sent as bare numbers; cell and range references
+  are A1-style strings.
+- Output is deterministic UTF-8 with a trailing newline. Standalone xlsx and
+  docx inspection commands use a 2-space indent. Successful unified `office`
+  `outline`, `get`, `text`, and `query` envelopes are compact so their output
+  ceiling can be accounted exactly; unified `--json` failure envelopes use a
+  2-space indent. JSON Lines output is compact, one value per line. Consumers
+  must not depend on insignificant whitespace.
 
 ## `xlsx.outline/1` — workbook structure map (`xlsx outline <file>`)
 
@@ -168,10 +174,12 @@ scanning it itself. Scans the sheet's used range by default, or the
   - `text=TEXT` — the string cell equals `TEXT`; `text~=TEXT` — contains it.
     A blank cell (an empty stored string) never matches a `text`/`string`
     predicate.
-- A predicate argument (the `TEXT` after `=`/`~=`, the `N` after an operator)
-  is trimmed of surrounding whitespace and cannot contain `]` (which closes
-  the predicate). `text=`/`text~=`/`formula~=` require a non-empty value, and a
-  `value` bound must be a finite number (`NaN`/`Infinity` are rejected).
+- A `TEXT` predicate argument is preserved exactly, including surrounding
+  whitespace. Balanced brackets are allowed unquoted. A value beginning with
+  `"` must be one complete JSON string, which represents whitespace-only text,
+  `]`, quotes, backslashes, or control characters without selector ambiguity.
+  `text=`/`text~=`/`formula~=` require a non-empty value. Numeric `value`
+  bounds are trimmed and must be finite (`NaN`/`Infinity` are rejected).
 - `query` is read-only. A malformed selector, an oversized scan, or a missing
   sheet fails with a non-zero exit and a one-line `error:` message; nothing is
   written.
@@ -429,9 +437,10 @@ document. Success is `{schema, success: true, data, warnings?}`; failure is
 `code`, bounded `message`, and optional bounded `details`. The optional warning
 array contains `{code, message}` records.
 
-The DOCX read commands below share canonical `office.selector/1` paths and one
-bounded projection. Full command, selector, limit, and error-code details are
-in [office-docx-read.md](office-docx-read.md).
+The structured read commands dispatch by validated package content and share
+canonical `office.selector/1` paths. Full command, selector, limit, and
+error-code details are in [office-docx-read.md](office-docx-read.md) and
+[office-xlsx-read.md](office-xlsx-read.md).
 
 ### `office.docx.outline/1` (`office outline FILE --json`)
 
@@ -500,6 +509,84 @@ evaluated. `ignore_case` applies locale-independent Unicode simple lowercase
 mapping to the text predicate (one scalar to one scalar, without locale
 tailoring or multi-character expansion).
 
+### `office.xlsx.outline/1` (`office outline FILE --json`)
+
+| key | type | notes |
+| --- | --- | --- |
+| `schema` | string | `"office.xlsx.outline/1"` |
+| `file`, `format` | string | input path and literal `"xlsx"` |
+| `path` | string | stable `/xlsx/workbook` |
+| `sheet_count` | number | exact tab-order sheet count |
+| `active_sheet` | object? | `{path, name, index}` when the workbook has sheets |
+| `sheets` | array | tab-order worksheet/chart-sheet summaries |
+| `defined_names` | array | `{name, refers_to, scope?, comment?}` |
+| `limits` | object | effective cell-scan and metadata ceilings |
+
+Every sheet summary has canonical `path`, `name`, 1-based `index`, `kind`,
+`state`, and `counts`. Worksheets additionally expose `max_row`, `max_column`,
+and optional `used_range: {path, reference, cell_count}`. Worksheet counts
+cover merges, tables, charts, images, pivots, comments, hyperlinks, data
+validations, conditional-format ranges, and slicers. Chart sheets report their
+chart count. State is `visible`, `hidden`, or `very_hidden`.
+
+### `office.xlsx.element/1` (`office get FILE SELECTOR --json`)
+
+Common keys are `schema`, `file`, literal `format: "xlsx"`, canonical `path`,
+`kind`, and `stability`. Kind-specific members are:
+
+| kind | members |
+| --- | --- |
+| `workbook` | `sheet_count`, `sheets`, and `defined_names` |
+| `sheet` | one `sheet` summary |
+| `cell` | stable sheet `parent`, `cell`, `styles`, and `scanned_cells` |
+| `range` | sheet `parent`, normalized `reference`, populated `cells`, `styles`, `scanned_cells`, and `returned` |
+
+Cell records contain canonical `path`, A1 `reference`, 1-based `row` and
+`column`, optional displayed `value`, optional typed `raw: {type, value}`,
+optional formula text without `=`, and optional nonzero `style_id`. Raw types
+are `string`, `number`, `bool`, and `error`. `styles` is an object keyed by
+referenced style ids. Range cells are row-major and omit completely blank,
+unstyled coordinates.
+
+### `office.xlsx.text/1` (`office text FILE ... --json`)
+
+| key | type | notes |
+| --- | --- | --- |
+| `schema` | string | `"office.xlsx.text/1"` |
+| `file`, `format` | string | input path and literal `"xlsx"` |
+| `under` | string? | resolved canonical workbook/sheet/cell/range scope |
+| `entries` | array | `{path, stability, text}` in tab/row/column order |
+| `matched_total` | number | exact count after the completed bounded scan |
+| `offset`, `limit`, `returned` | number | explicit pagination |
+| `truncated` | boolean | later matches were omitted |
+| `scanned_cells` | number | coordinates inspected |
+
+`text` is the displayed value. A formula without a cached display value falls
+back to its formula text prefixed with `=`.
+
+### `office.xlsx.query/1` (`office query FILE [CELL_SELECTOR] ... --json`)
+
+| key | type | notes |
+| --- | --- | --- |
+| `schema` | string | `"office.xlsx.query/1"` |
+| `file`, `format` | string | input path and literal `"xlsx"` |
+| `under` | string? | resolved canonical workbook/sheet/cell/range scope |
+| `selector` | string | the supplied `cell[predicate]...` selector, or default `cell` |
+| `matches` | array | row-major cell records in the same shape as `get` |
+| `styles` | object | effective styles referenced by returned matches |
+| `matched_total` | number | exact count after the completed bounded scan |
+| `offset`, `limit`, `returned` | number | explicit pagination |
+| `truncated` | boolean | later matches were omitted |
+| `scanned_cells` | number | coordinates inspected |
+
+Predicates are literal and ANDed: `type=formula|number|string|bool|error`,
+`formula`, `formula~=TEXT`, `text=TEXT`, `text~=TEXT`, and numeric
+`value>NUMBER` comparisons (`>=`, `<`, `<=`, `=`, and `!=` are also
+supported). Substring predicates are guaranteed-linear and command-work
+bounded. Text literals preserve whitespace exactly; a JSON-string literal can
+represent closing brackets and escaped characters. No regular expression or
+arbitrary expression is evaluated.
+
 ## Standalone `docx` CLI schemas
 
 ## `docx.outline/1` — document structure map (`docx outline <file>`)

diff --git a/docs/office-docx-read.md b/docs/office-docx-read.md
@@ -12,9 +12,11 @@ moon run office/cmd/office -- query report.docx --kind paragraph --text revenue
 
 Run `office help docx` for the installed command catalog and
 `office help <command> --json` for the declared inputs, outputs, and bounds.
-These commands accept DOCX packages only. Passing an XLSX package fails with
-`office.unsupported_operation`; XLSX selector resolution remains a later
-milestone.
+The file's validated package format selects the result contract. This document
+covers the DOCX branch; passing an XLSX package invokes the corresponding XLSX
+read contract in [office-xlsx-read.md](office-xlsx-read.md). Passing an
+`/xlsx/...` selector to a DOCX package fails with
+`office.docx.selector_format_mismatch`.
 
 ## Output envelope