stkcraft-time 0.1.32__tar.gz

stkcraft_time-0.1.32/.agents/skills/stkcraft-mcp/SKILL.md

@@ -0,0 +1,125 @@
+---
+name: stkcraft-mcp
+description: Use when running, configuring, testing or extending the stkcraft-mcp stdio MCP server that exposes UTC/TAI/TT/ET/GPS/UT1/SCLK conversions as tools.
+---
+
+# stkcraft-mcp
+
+The MCP server is optional and lives behind the `mcp` feature:
+
+```sh
+cargo build --release --features mcp --bin stkcraft-mcp
+cargo run   --release --features mcp --bin stkcraft-mcp
+```
+
+It speaks newline-delimited JSON-RPC 2.0 on stdin/stdout. Never write logs
+to stdout; use stderr.
+
+## Client configuration
+
+```json
+{
+  "mcpServers": {
+    "stkcraft-time": {
+      "command": "/absolute/path/to/target/release/stkcraft-mcp",
+      "args": []
+    }
+  }
+}
+```
+
+## Protocol flow
+
+1. Client sends `initialize` with `protocolVersion`, `capabilities` and
+   `clientInfo`.
+2. Server responds with the negotiated version, `capabilities.tools` and
+   `serverInfo`.
+3. Client sends `notifications/initialized` (no response).
+4. Client calls `tools/list` and `tools/call`.
+
+`handle_message` in `src/mcp.rs` returns `None` for notifications.
+Library errors from a tool are returned as `isError: true` text content,
+not as JSON-RPC errors. Invalid requests, including a missing `method`,
+return `-32600`. The server advertises only protocol version
+`2024-11-05`. Tool panics are caught per request and returned as
+`isError`, so one bad call does not stop the server.
+
+## Tools
+
+| Tool | Required arguments |
+|---|---|
+| `lsk_info` | — |
+| `delta_at` | `jdn`, or `year`/`month`/`day` |
+| `utc_to_tai` | UTC fields |
+| `tai_to_utc` | `tai_seconds` |
+| `utc_to_et` | UTC fields |
+| `et_to_utc` | `et` |
+| `tai_to_tt` | `tai_seconds` |
+| `tai_to_gps` | `tai_seconds` |
+| `gps_to_tai` | `gps_seconds` |
+| `utc_to_ut1` | UTC fields, `eop_path` |
+| `ut1_to_utc` | `ut1_seconds`, `eop_path` |
+| `sclk_to_et` | `sclk_path`, `spacecraft_id`, `ticks` or `clock_string` |
+| `et_to_sclk` | `sclk_path`, `spacecraft_id`, `et` |
+| `format_utc` | UTC fields, optional `kind`/`precision`/`pattern` |
+| `etcal` | `et` |
+
+UTC tools accept `calendar` = `gregorian` (default), `julian` or `mixed`.
+UTC, TAI↔ET/TT and SCLK tools accept an optional `lsk_path`; omit it to use
+the bundled `naif0012.tls`. GPS tools and `etcal` take no leap-second
+kernel. EOP tools also accept `eop_series` (`a`, `b`, `final`) and
+`observed_only`. `precision` is limited to `0..=9`. TAI tools accept
+`tai_seconds`, or exact `sec` + `nanos`. SCLK tools accept continuous
+ticks; `fields` and `clock_string` are `null` for non-integral ticks.
+
+## Example call
+
+```json
+{
+  "jsonrpc": "2.0",
+  "id": 1,
+  "method": "tools/call",
+  "params": {
+    "name": "utc_to_et",
+    "arguments": {
+      "year": 2016,
+      "month": 12,
+      "day": 31,
+      "hour": 23,
+      "minute": 59,
+      "second": 60.5
+    }
+  }
+}
+```
+
+The result is one text content block containing pretty-printed JSON with
+`utc` and `et`.
+
+## Extending the server
+
+1. Add the tool schema in `tool_definitions()` in `src/mcp.rs`.
+2. Add the dispatch arm in `call_tool`.
+3. Reuse `load_lsk`, `load_eop`, `load_sclk`, `utc_arg`, `calendar_arg`
+   and the `*_json` helpers instead of duplicating parsing.
+4. Add a protocol test in `tests/mcp.rs`.
+5. Run:
+
+```sh
+cargo test --features mcp
+cargo clippy --all-targets --features mcp -- -D warnings
+```
+
+## Security and limits
+
+- Reads only caller-supplied local paths; no network I/O.
+- Only type-1 SCLK kernels are supported. Encoded ticks are bounded by
+  the cumulative partition duration and the first coefficient; ticks
+  outside that domain are rejected. Partition-aware string conversion is
+  not implemented (`SclkPartitionsUnsupported`).
+- `23:59:60.x` without a positive leap second and `23:59:59.x` on a
+  shortened day are rejected.
+- Non-finite EOP samples are rejected with `EopParse`.
+- UT1 needs bracketing EOP samples around the UTC day; the last sample day is not usable as an epoch boundary.
+
+See `docs/MCP.md` for full schemas and examples.

stkcraft_time-0.1.32/.agents/skills/stkcraft-time/SKILL.md

@@ -0,0 +1,191 @@
+---
+name: stkcraft-time
+description: Use when changing the STKCraft-time Rust crate or converting UTC, TAI, TT, ET/TDB, GPS, UT1 or SCLK values. Covers the mandatory patch-version bump, versioned changelog entry, LSK/SCLK/EOP loading, API calls, and verification.
+---
+
+# STKCraft-time development
+
+## Mandatory update workflow
+
+Every update is a release. Do not leave changes under `[Unreleased]`.
+Keep every repository file in English; do not add Chinese prose or
+Chinese-localized UI labels.
+
+1. Increment the **patch** component in `Cargo.toml`
+   (`0.1.1` -> `0.1.2` -> ...). Use a minor bump only for a new
+   backward-compatible feature and a major bump for a breaking change;
+   while the major version is `0`, call out breaking changes explicitly.
+2. Rename or create the matching section in `CHANGELOG.md`, for example
+   `## [0.1.2] - 2026-11-10`. The section must describe the behaviour
+   change and its user-visible impact, not just repeat the commit subject.
+3. Update `Cargo.lock` to the same version.
+4. Run the verification commands below and require success.
+5. Commit with `Release X.Y.Z`, push to `main`, wait for the `CI`
+   workflow to pass, then create and push the `vX.Y.Z` tag and wait for
+   the tag CI run to pass. Do this automatically; do not wait for a
+   separate commit or push request.
+6. Add `docs/releases/vX.Y.Z.md` and confirm the `Release` workflow
+   publishes a GitHub Release with release-mode binaries for Linux,
+   macOS and Windows and `SHA256SUMS.txt`.
+7. Leave no uncommitted changes when the task is complete. Skip the
+   commit/push/tag steps only when the user explicitly asks you to.
+
+## Verification
+
+```sh
+cargo fmt --all -- --check
+cargo test --all-targets
+cargo test --all-targets --features mcp
+cargo clippy --all-targets -- -D warnings
+cargo clippy --all-targets --features mcp -- -D warnings
+cargo build --no-default-features
+cargo build --release --features mcp --bins
+cargo test --release --features mcp
+RUSTDOCFLAGS="-D warnings" cargo doc --no-deps
+cargo +1.75.0 check --locked --all-targets --features mcp
+cargo build --locked --no-default-features --target wasm32-unknown-unknown
+cargo build --locked --no-default-features --target thumbv7em-none-eabi
+```
+
+## API orientation
+
+- Prefer `contract::TimeContext::new(&lsk)` for new geometry integration.
+  It returns checked `NaifEt`; only `.seconds()` crosses into legacy f64
+  geometry APIs. Scientific TDB is an explicit `ScientificContext` with a
+  distinct `IauTdb` type and no implicit conversion to NAIF ET.
+- For a native SPK10 packet epoch, use
+  `TimeContext::new(&lsk).et_to_spice_julian_utc(et)?.days()` to obtain
+  TTRANS JDUTC directly. This explicit path requires IERS-only/TableDriven
+  LSK settings, preserves native historical extrapolation and formal
+  leap-second behavior, and returns checked `NaifJulianUtc`. Do not detour
+  through integer Epoch, civil-calendar fields or SOFA. Read
+  `docs/reference/NATIVE_JDUTC.md` for the exact corpus and error boundaries.
+- For original-order structured native entries that the scientific constructor
+  rejects, select `contract::NaifUtcContext::from_raw_parts(&entries, deltet)?`.
+  Supply `contract::NaifDeltet { delta_t_a, k, eb, m0, m1 }` explicitly, then
+  call `context.et_to_spice_julian_utc(et)?.days()`. Entries must be nonempty
+  and constants finite. Do not sort, normalize or route through
+  `LeapSecondTable::new`: the raw context preserves order and returns native
+  `SPICE(BADLEAPSECONDS)` during calculation. It selects only the first 140
+  entries before paired-table validation. Scientific constructors still reject
+  malformed tables as `LskParse`; do not weaken them. This Rust API covers
+  integral Julian dates and whole offsets, not arbitrary raw pool variables
+  or a new MCP input mode. Preserve the distinct `NaifJulianUtc` result type.
+- The checked UTC path follows pinned TTRANS/UNITIM arithmetic. Validate it
+  against STR2ET; validate supplied numeric TAI against UNITIM. Those inputs
+  can quantize differently, so do not compare every representation against
+  one UTC-string oracle or mix conversion routes inside a geometry query.
+- Scientific TT is TT(TAI), always TAI + 32.184 seconds independent of LSK
+  constants. It is not TT(BIPM). Checked scientific TDB uses the 1950-2050
+  comparison interval and rejects invalid inputs. Observer-dependent terms
+  require supplied UT1 fraction, east longitude radians and u/v kilometres.
+  Never substitute UTC for UT1 or invent missing observer/EOP data.
+
+- Load an LSK with `LeapSecondTable::from_lsk(text)` in production.
+  All `DELTET` constants must be supplied; missing constants return
+  `LskMissing` rather than silently using compiled-in defaults.
+  `LeapSecondTable::builtin()` is a snapshot of `naif0012.tls` and stops at
+  the `2017-01-01` leap second.
+- Every conversion is a pure function of the supplied kernel.
+  `coverage()` reports the trusted range for civil UTC conversions; dates
+  before the first entry are rejected there. The explicit native JDUTC
+  path selects a separate N0067 historical convention. Dates after the
+  last entry keep the last `TAI - UTC`.
+- Use `LeapSecondPolicy::FrozenAfter` only when the caller explicitly
+  chooses a future policy. The default `TableDriven` policy infers
+  nothing from a date.
+- UTC -> TAI: `convert::utc_to_tai(&UtcDateTime, Calendar, &lsk)`.
+- TAI -> UTC: `convert::tai_to_utc(epoch, Calendar, &lsk)`.
+- TAI -> ET: `convert::tai_to_et(epoch, &lsk)`; ET -> TAI:
+  `convert::et_to_tai(et, &lsk)`.
+- TAI -> TT: `convert::tai_to_tt`; TAI -> GPS:
+  `convert::tai_to_gps`; GPS -> TAI: `convert::gps_to_tai`.
+- UT1 needs an EOP table: `EopTable::from_finals2000a(text)` and
+  `convert::utc_to_ut1(&utc, Calendar, &lsk, &eop)`. Use
+  `convert::ut1_minus_utc` for the leap-aware offset;
+  `EopTable::ut1_minus_utc` is raw table interpolation.
+- SCLK: `SclkKernel::parse(text, spacecraft_id)`, then
+  `ticks_to_et`, `et_to_ticks`, `ticks_to_tai`, `tai_to_ticks`,
+  `parse_string`, `format_string`, `ticks_from_fields`,
+  `fields_from_ticks`.
+- Legal SCLK numeric scalars may omit parentheses. TDT `ticks_to_et`
+  and `et_to_ticks` use direct N0067 UNITIM TT/ET arithmetic; do not route
+  those f64 paths through integer TAI. Preserve native reciprocal-rate
+  evaluation and reverse modulus accumulation for bit-exact CK boundaries.
+  `tools/validate_sclk.py` defaults to exact comparisons in both directions.
+- SCLK support is type 1 only. Partition durations bound encoded ticks;
+  field/string conversion returns `SclkPartitionsUnsupported` for
+  partitioned clocks, while encoded ticks↔ET/TAI remain available.
+  Partition readouts are rounded to integral ticks before accumulating
+  `end - start`; clock resets are allowed. Reject ticks before the first
+  coefficient or beyond that cumulative domain. A standalone map without
+  partition metadata has no declared upper bound.
+- Formatting: `format::iso8601(&utc, precision)` assumes a
+  86 400-second day. When a carry could reach a leap second or a calendar
+  day boundary, use
+  `format::iso8601_with(&utc, &FormatOptions::new(p).with_leap_seconds(&lsk).with_calendar(cal))`;
+  `rfc3339_with`, `spice_calendar_with`, `strftime_with` and
+  `Formatter::with_options` take the same options.
+- Kernel `@date` literals: `kernel_date::parse_kernel_date(text)` returns
+  seconds past J2000 with normalized calendar fields. It is N0067 TPARSE
+  arithmetic only: no UTC/TT/TDB conversion, no LSK, pre-1972 dates are
+  valid constants. Token precedence, mixed separators, the default 1969--2068
+  short-year window and native calendar/clock normalization are covered.
+  Consult docs/reference/KERNEL_DATE_GRAMMAR.md for exercised forms and
+  residual limits; do not infer exhaustive TPARSE support. Unsupported
+  literals return `KernelDateUnsupported`; never report them as
+  `LskMissing`/`SclkMissing` and never substitute an epoch. LSK
+  `DELTET/DELTA_AT` dates stay strict: an impossible day is `LskParse`, not
+  a roll-forward.
+- `SCLK01_OFFSETS` is the first displayed value: encode as
+  `field - offset`, decode as `encoded + offset`.
+- UT1 interpolation is performed on continuous `UT1 - TAI`, so missing
+  days across a leap second do not smear the step.
+
+## Edge cases that must stay correct
+
+- Untrusted numeric input must use `Epoch::checked_from_parts`,
+  `checked_from_tai_seconds`, `checked_add`/`checked_sub`, or the
+  `Duration::checked_*` methods. The infallible constructors panic rather
+  than wrapping or returning a fake zero.
+- From 1972, `23:59:60.x` is legal only on a positive-leap-second day.
+  In SOFA historical mode, the final minute can instead include a positive
+  mini-leap or lose a fractional second; validate against that day's jump.
+- `23:59:59.x` does not exist on a shortened (86399-second) day and must
+  return `InvalidLeapSecond`, not alias the next day's `00:00:00`.
+- Physical historical civil UTC requires `LeapSecondSource::Sofa`; the default
+  `IersOnly` source returns `UtcOutOfRange`.
+- Historical inverse conversion keeps split integer epoch arithmetic and
+  actual midnight ownership. SOFA drift/mini-leap scaling has few-nanosecond
+  overlaps/gaps; unrepresentable negative-gap epochs return `UtcOutOfRange`.
+- EOP samples with `NaN` or infinity must return `EopParse`, never panic.
+- UT1 is daily EOP interpolation, without subdaily ocean-tide/libration
+  corrections or propagated measurement/prediction uncertainty. Do not
+  advertise it as a complete instantaneous Earth-orientation model.
+- `EopTable` stores `UT1 - UTC`; UT1 conversion needs bracketing EOP
+  samples and does not support the last sample day as an epoch boundary.
+
+## References
+
+- `docs/API.md` — full API guide and function index.
+- `docs/TIME_CONTRACT.md` — model contracts, units, origins and limits.
+- `docs/MCP.md` — MCP server tool reference.
+- [Project wiki](https://github.com/spacelibres/STKCraft-time/wiki) —
+  narrative explanations and the verification record.
+- `tests/naif_alignment.rs`, `tests/ut1.rs`, `tests/mcp.rs` — boundary and
+  protocol tests.
+- `AGENTS.md` — repository rules.
+
+
+## Language bindings and BeiDou
+
+- Keep Python and WASM dependencies in their independent bindings/ workspaces;
+  do not add PyO3/wasm-bindgen to the core graph or change NAIF math to satisfy
+  a foreign-language test. Run actual installed-wheel and real WASM tests.
+- Preserve NaifEt versus IauTdb selection and literal legacy compatibility paths.
+  Validate before narrowing and reject expected overflow rather than trapping.
+- Bdt is an exact nominal coordinate from 2006-01-01 UTC; its 33-second TAI
+  offset does not model physical clock errors. GPS/BDT elapsed epochs differ.
+- Preserve the existing TimeScale enum for downstream exhaustive matches.
+- The Cortex-M example has a real DWT harness; never report target timing from
+  a host or cross-build result. Consult docs/BINDINGS.md and adapter inventories.

stkcraft_time-0.1.32/.gitattributes

@@ -0,0 +1,14 @@
+* text=auto
+*.rs text eol=lf
+*.toml text eol=lf
+*.md text eol=lf
+*.py text eol=lf
+*.c text eol=lf
+*.csv text eol=lf
+*.tls text eol=lf
+*.yml text eol=lf
+tests/kernels/*.tsc -text -whitespace
+docs/reference/kernel-date-native/** -text -whitespace
+docs/reference/kernel-date-grammar-native/** -text -whitespace
+docs/reference/native-jdutc/** -text -whitespace
+tests/reference/native-jdutc/** -text -whitespace

stkcraft_time-0.1.32/.github/ISSUE_TEMPLATE/bug_report.yml

@@ -0,0 +1,62 @@
+name: Bug report
+description: Report a reproducible defect in stkcraft-time.
+title: "[Bug]: "
+labels: ["bug"]
+body:
+  - type: markdown
+    attributes:
+      value: |
+        Do not report security vulnerabilities here. Use the private
+        reporting link in SECURITY.md.
+  - type: input
+    id: version
+    attributes:
+      label: stkcraft-time version
+      placeholder: "0.1.32"
+    validations:
+      required: true
+  - type: dropdown
+    id: features
+    attributes:
+      label: Enabled features
+      multiple: true
+      options:
+        - std (default)
+        - no_std (default-features = false)
+        - mcp
+    validations:
+      required: true
+  - type: textarea
+    id: data
+    attributes:
+      label: Kernel and data source
+      description: Which LSK, SCLK or EOP data are you loading? Do not attach restricted data.
+      placeholder: "naif0012.tls, a mission SCLK kernel, finals2000A.all, ..."
+  - type: textarea
+    id: reproduction
+    attributes:
+      label: Minimal reproduction
+      description: Include code, inputs and the exact commands you ran.
+      render: rust
+    validations:
+      required: true
+  - type: textarea
+    id: expected
+    attributes:
+      label: Expected behaviour
+    validations:
+      required: true
+  - type: textarea
+    id: actual
+    attributes:
+      label: Actual behaviour
+      description: Include the full error or panic message.
+    validations:
+      required: true
+  - type: textarea
+    id: environment
+    attributes:
+      label: Environment
+      placeholder: "OS, Rust version, target triple, cargo version"
+    validations:
+      required: true

stkcraft_time-0.1.32/.github/ISSUE_TEMPLATE/config.yml

@@ -0,0 +1,14 @@
+blank_issues_enabled: false
+contact_links:
+  - name: Documentation
+    url: https://github.com/spacelibres/STKCraft-time/blob/main/docs/API.md
+    about: Task-oriented API usage and kernel loading examples.
+  - name: API guide
+    url: https://github.com/spacelibres/STKCraft-time/blob/main/docs/API.md
+    about: Task-oriented API usage and kernel loading examples.
+  - name: MCP server guide
+    url: https://github.com/spacelibres/STKCraft-time/blob/main/docs/MCP.md
+    about: Tool list, protocol and client configuration.
+  - name: Security policy
+    url: https://github.com/spacelibres/STKCraft-time/security/policy
+    about: Report vulnerabilities privately.

stkcraft_time-0.1.32/.github/ISSUE_TEMPLATE/feature_request.yml

@@ -0,0 +1,48 @@
+name: Feature request
+description: Propose a new time scale, conversion, kernel format or tool.
+title: "[Feature]: "
+labels: ["enhancement"]
+body:
+  - type: textarea
+    id: problem
+    attributes:
+      label: Problem
+      description: What cannot be done today, and in which workflow?
+    validations:
+      required: true
+  - type: textarea
+    id: proposal
+    attributes:
+      label: Proposed API or behaviour
+      description: Include function names, inputs, outputs and error cases.
+    validations:
+      required: true
+  - type: textarea
+    id: references
+    attributes:
+      label: References
+      description: Link to NAIF, IERS, IAU, SOFA or mission documentation.
+  - type: dropdown
+    id: scale
+    attributes:
+      label: Affected area
+      multiple: true
+      options:
+        - UTC / leap seconds
+        - TAI / TT / TDB / ET
+        - UT1 / EOP
+        - GPS
+        - SCLK
+        - TCG / TCB
+        - Formatting
+        - MCP server
+        - Documentation
+        - Build / CI
+  - type: checkboxes
+    id: compatibility
+    attributes:
+      label: Compatibility
+      options:
+        - label: This can remain no_std compatible.
+        - label: This requires a new optional feature.
+        - label: This is a breaking API change.

stkcraft_time-0.1.32/.github/pull_request_template.md

@@ -0,0 +1,22 @@
+## Summary
+
+Describe the behaviour change and why it is needed.
+
+## Verification
+
+- [ ] `cargo fmt --all -- --check`
+- [ ] `cargo test --all-targets`
+- [ ] `cargo test --all-targets --features mcp`
+- [ ] `cargo clippy --all-targets -- -D warnings`
+- [ ] `cargo clippy --all-targets --features mcp -- -D warnings`
+- [ ] `cargo build --no-default-features`
+- [ ] `cargo build --release --features mcp --bins`
+- [ ] `RUSTDOCFLAGS="-D warnings" cargo doc --no-deps`
+
+## Release checklist
+
+- [ ] Patch version incremented in `Cargo.toml` and `Cargo.lock`.
+- [ ] Dated section added to `CHANGELOG.md` (no `[Unreleased]`).
+- [ ] API/MCP documentation updated when the public surface changes.
+- [ ] Regression tests added for boundary conditions.
+- [ ] All repository text is English.

stkcraft_time-0.1.32/.github/workflows/bindings.yml

@@ -0,0 +1,152 @@
+name: Language bindings
+on:
+  push:
+    branches: [main]
+  pull_request:
+  workflow_dispatch:
+  workflow_call:
+permissions:
+  contents: read
+jobs:
+  python:
+    name: Python ${{ matrix.platform }}
+    strategy:
+      fail-fast: false
+      matrix:
+        include:
+          - os: ubuntu-22.04
+            platform: linux-x86_64
+            target: x86_64
+            manylinux: "2_28"
+          - os: ubuntu-24.04-arm
+            platform: linux-aarch64
+            target: aarch64
+            manylinux: "2_28"
+          - os: macos-15-intel
+            platform: macos-x86_64
+            target: x86_64
+            manylinux: auto
+          - os: macos-latest
+            platform: macos-aarch64
+            target: aarch64
+            manylinux: auto
+          - os: windows-latest
+            platform: windows-x86_64
+            target: x86_64
+            manylinux: auto
+    runs-on: ${{ matrix.os }}
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+        with:
+          python-version: "3.10"
+      - uses: dtolnay/rust-toolchain@stable
+      - name: Build wheel
+        uses: PyO3/maturin-action@v1
+        with:
+          working-directory: bindings/python
+          target: ${{ matrix.target }}
+          manylinux: ${{ matrix.manylinux }}
+          args: --release --locked --out dist
+      - name: Install and test built wheel
+        shell: bash
+        run: |
+          python -m pip install pytest mypy==1.19.1 bindings/python/dist/*.whl
+          python -m pytest -q bindings/python/tests
+          python -m mypy --strict bindings/python/tests/typing_consumer.py
+      - uses: actions/upload-artifact@v4
+        with:
+          name: python-${{ matrix.platform }}
+          path: bindings/python/dist/*.whl
+          if-no-files-found: error
+  python-versions:
+    name: CPython ${{ matrix.python }}
+    needs: python
+    runs-on: ubuntu-22.04
+    strategy:
+      fail-fast: false
+      matrix:
+        python: ["3.11", "3.12", "3.13", "3.14"]
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+        with:
+          python-version: ${{ matrix.python }}
+      - uses: actions/download-artifact@v4
+        with:
+          name: python-linux-x86_64
+          path: dist
+      - run: python -m pip install pytest dist/*.whl
+      - run: python -m pytest -q bindings/python/tests
+  sdist:
+    name: Clean Python source distribution
+    runs-on: ubuntu-22.04
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+        with:
+          python-version: "3.11"
+      - uses: dtolnay/rust-toolchain@stable
+        with:
+          components: clippy, rustfmt
+      - name: Check Python native adapter
+        run: |
+          cargo fmt --manifest-path bindings/python/Cargo.toml -- --check
+          cargo clippy --manifest-path bindings/python/Cargo.toml --locked --all-targets -- -D warnings
+      - run: python -m pip install maturin==1.12.6 pytest
+      - name: Build sdist
+        working-directory: bindings/python
+        run: maturin sdist --out dist
+      - name: Build and install sdist outside checkout
+        shell: bash
+        run: |
+          mkdir -p "$RUNNER_TEMP/source-consumer"
+          cp bindings/python/dist/*.tar.gz "$RUNNER_TEMP/source-consumer/"
+          cd "$RUNNER_TEMP/source-consumer"
+          python -m pip install ./*.tar.gz
+          python -c "import stkcraft_time; assert stkcraft_time.__version__ == '0.1.32'"
+      - run: python -m pytest -q bindings/python/tests
+      - uses: actions/upload-artifact@v4
+        with:
+          name: python-sdist
+          path: bindings/python/dist/*.tar.gz
+          if-no-files-found: error
+  wasm:
+    name: WASM Node browser and TypeScript
+    runs-on: ubuntu-22.04
+    defaults:
+      run:
+        working-directory: bindings/wasm
+    steps:
+      - uses: actions/checkout@v4
+      - uses: dtolnay/rust-toolchain@stable
+        with:
+          targets: wasm32-unknown-unknown
+          components: clippy, rustfmt
+      - uses: actions/setup-node@v4
+        with:
+          node-version: "24"
+      - name: Install matching wasm-bindgen CLI
+        uses: taiki-e/install-action@v2
+        with:
+          tool: wasm-bindgen@0.2.129
+      - run: npm ci
+      - name: Check WASM native adapter
+        run: |
+          cargo fmt -- --check
+          cargo clippy --locked --target wasm32-unknown-unknown -- -D warnings
+      - run: npx playwright install --with-deps chromium
+      - run: npm run build
+      - run: npm run test:node
+      - run: npm run test:browser
+        env:
+          STKCRAFT_BROWSER_CHANNEL: chromium
+      - run: npm run test:types
+      - run: npm run test:consumer
+      - name: Pack distribution
+        run: npm pack --pack-destination .
+      - uses: actions/upload-artifact@v4
+        with:
+          name: wasm-npm
+          path: bindings/wasm/*.tgz
+          if-no-files-found: error

stkcraft_time-0.1.32/.github/workflows/ci.yml

@@ -0,0 +1,53 @@
+name: CI
+
+on:
+  push:
+  pull_request:
+
+jobs:
+  test:
+    name: Test and lint
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - name: Install Rust
+        uses: dtolnay/rust-toolchain@stable
+        with:
+          components: clippy, rustfmt
+          targets: wasm32-unknown-unknown, thumbv7em-none-eabi
+      - name: Check formatting
+        run: cargo fmt --all -- --check
+      - name: Run tests
+        run: cargo test --locked --all-targets
+      - name: Run tests with MCP feature
+        run: cargo test --locked --all-targets --features mcp
+      - name: Test integration validator guards
+        run: python3 -m unittest discover -s tools/tests -p 'test_*.py' -v
+      - name: Run Clippy
+        run: cargo clippy --locked --all-targets -- -D warnings
+      - name: Run Clippy with MCP feature
+        run: cargo clippy --locked --all-targets --features mcp -- -D warnings
+      - name: Build without default features
+        run: cargo build --locked --no-default-features
+      - name: Build wasm32 no_std
+        run: cargo build --locked --no-default-features --target wasm32-unknown-unknown
+      - name: Build thumbv7em no_std
+        run: cargo build --locked --no-default-features --target thumbv7em-none-eabi
+      - name: Check Cortex-M reference cases
+        run: cargo run --locked --release --manifest-path examples/cortex-m-utc-et/Cargo.toml --bin host-check
+      - name: Link Cortex-M firmware
+        run: cargo build --locked --release --manifest-path examples/cortex-m-utc-et/Cargo.toml --bin cortex-m-utc-et --target thumbv7em-none-eabi
+      - name: Build MCP server
+        run: cargo build --locked --features mcp --bin stkcraft-mcp
+      - name: Build docs
+        run: RUSTDOCFLAGS="-D warnings" cargo doc --locked --no-deps --all-features
+
+  msrv:
+    name: MSRV 1.75
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - name: Install Rust 1.75
+        uses: dtolnay/rust-toolchain@1.75.0
+      - name: Check MSRV
+        run: cargo check --locked --all-targets --features mcp