| Filename | Latest commit message | Latest commit date |
|---|---|---|
|
Some checks failed
energy meters on real hardware / RAPL and NVML on jetson-hub (pull_request) Successful in 40s
wai-quantum WebGPU member / member · DX12 and Vulkan (cbio-windows) (pull_request) Successful in 12m5s
jouleclaw public surface must stay documented / Public-surface audit (jouleclaw-rs) (pull_request) Successful in 1m4s
joule-code conformance gate / Build + round-trip C1-C4 vectors (pull_request) Successful in 2m0s
wai-ops differential (nightly) / differential · debug (pull_request) Successful in 2m52s
wai-ops differential (nightly) / differential · release (pull_request) Successful in 4m4s
wai-quantum on every processor / emulated · aarch64-unknown-linux-gnu (pull_request) Successful in 1m59s
wai-quantum on every processor / emulated · armv7-unknown-linux-gnueabihf (pull_request) Successful in 2m0s
wai-quantum on every processor / emulated · loongarch64-unknown-linux-gnu (pull_request) Successful in 3m18s
wai-quantum on every processor / emulated · powerpc64-unknown-linux-gnu (pull_request) Successful in 4m46s
wai-quantum on every processor / emulated · powerpc64le-unknown-linux-gnu (pull_request) Successful in 5m15s
wai-quantum on every processor / emulated · riscv64gc-unknown-linux-gnu (pull_request) Successful in 3m27s
wai-quantum on every processor / emulated · s390x-unknown-linux-gnu (pull_request) Successful in 3m25s
wai-quantum on every processor / emulated · sparc64-unknown-linux-gnu (pull_request) Successful in 5m24s
wai-web reach builds / wai-web reach · does this change touch it (pull_request) Successful in 5s
wai-quantum on every processor / emulated · i686-unknown-linux-gnu (pull_request) Successful in 3m33s
wai-web reach builds / wai-web reach builds · the package of record, every output as recorded (pull_request) Successful in 2m48s
wai-web reach builds / wai-web reach builds · this tree's wai-web, every rung on its engine line (pull_request) Successful in 4m22s
standards workspaces build + test / which workspaces this change touches (pull_request) Successful in 15s
wai cross-architecture byte-equality / does this change touch it (pull_request) Successful in 23s
wai cross-architecture byte-equality / linux-aarch64 (pull_request) Has been skipped
wai cross-architecture byte-equality / linux-x86_64 (pull_request) Has been skipped
wai cross-architecture byte-equality / macos-arm64 (reference) (pull_request) Has been skipped
WAI conformance / does this change touch it (pull_request) Successful in 33s
joule-code conformance gate / joule-moq-relay, every target (pull_request) Successful in 1m25s
WAI energy receipts / does this change touch it (pull_request) Successful in 12s
wai formal verification (integer core) / does this change touch it (pull_request) Successful in 9s
wai formal verification (integer core) / every harness in one shard (pull_request) Has been skipped
wai formal verification (integer core) / kani (arith) (pull_request) Has been skipped
wai formal verification (integer core) / kani (isqrt512) (pull_request) Has been skipped
wai formal verification (integer core) / kani (plan) (pull_request) Has been skipped
wai formal verification (integer core) / kani (sound) (pull_request) Has been skipped
wai formal verification (integer core) / kani (stage) (pull_request) Has been skipped
wai formal verification (integer core) / kani (rans64-t2) (pull_request) Has been skipped
wai formal verification (integer core) / kani (stage-long) (pull_request) Has been skipped
wai formal verification (integer core) / kani (integer-core) (pull_request) Has been skipped
WAI HTTP delivery / WAI HTTP · does this change touch it (pull_request) Successful in 9s
WAI JPEG-AI whole decode (pinned inputs, required) / does this change touch it (pull_request) Successful in 9s
WAI JPEG-AI whole decode (pinned inputs, required) / fetch pinned JPEG-AI inputs → whole decode + pixel hash, required (pull_request) Has been skipped
WAI neural decoders end-to-end / does this change touch it (pull_request) Successful in 7s
WAI neural decoders end-to-end / synthetic fixtures → Rust decode → reference (±4) (pull_request) Has been skipped
WAI neural sink gates / does this change touch it (pull_request) Successful in 8s
WAI neural sink gates / model-free refusals of the neural sink (pull_request) Has been skipped
wai-ops integer operators / does this change touch it (pull_request) Successful in 8s
wai-ops integer operators / linux-aarch64 (pull_request) Has been skipped
wai-ops integer operators / linux-x86_64 (pull_request) Has been skipped
wai-ops integer operators / macos-arm64 (pull_request) Has been skipped
wai-ops integer operators / wasm32-wasip2 (wasmtime) (pull_request) Has been skipped
wai-ops integer operators / wasm32 under Node (pull_request) Has been skipped
wai-ops integer operators / independent checker (Python) (pull_request) Has been skipped
repository checks / lockfiles, tests in CI, workflow hygiene, spec and section references, public text (pull_request) Successful in 1m58s
wai-pack / wai-pack · does this change touch it (pull_request) Successful in 8s
wai-quantum dataflow member / does this change touch it (pull_request) Successful in 7s
wai-quantum signal processor / does this change touch it (pull_request) Successful in 6s
wai-quantum CUDA member / does this change touch it (pull_request) Successful in 7s
wai-quantum dataflow member / member · dataflow device, simulated (pci 1e52:b140) (pull_request) Has been skipped
wai-quantum dataflow member / member · dataflow device, simulated (pci 1e52:401e) (pull_request) Has been skipped
wai-quantum dataflow member / member · dataflow device absent (macos) (pull_request) Has been skipped
wai-quantum signal processor / processor and member · signal processor, emulated (pull_request) Has been skipped
wai-quantum CUDA member / member · CUDA (jetson-hub) (pull_request) Has been skipped
wai-quantum CUDA member / member · CUDA absent (linux) (pull_request) Has been skipped
wai-quantum FPGA member / does this change touch it (pull_request) Successful in 9s
wai-quantum FPGA member / member · FPGA datapath, simulated (macos) (pull_request) Has been skipped
wai-quantum FPGA member / member · FPGA simulation absent (linux) (pull_request) Has been skipped
wai-quantum Metal member / does this change touch it (pull_request) Successful in 10s
wai-quantum HIP member / does this change touch it (pull_request) Successful in 11s
wai-quantum Metal member / member · Metal (macos) (pull_request) Has been skipped
wai-quantum Metal member / member · Metal absent (linux) (pull_request) Has been skipped
wai-quantum HIP member / member · HIP (framework-128gb) (pull_request) Has been skipped
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Has been skipped
wai-quantum npu-cores member / does this change touch it (pull_request) Successful in 10s
wai-quantum npu-cores member / member · npu-cores, neural processor (framework-128gb silicon) (pull_request) Has been skipped
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Has been skipped
wai-quantum OpenCL member / does this change touch it (pull_request) Successful in 13s
wai-quantum neural-processor member / does this change touch it (pull_request) Successful in 14s
wai-quantum OpenCL member / member · OpenCL GPU and CPU (jetson-hub) (pull_request) Has been skipped
wai-quantum OpenCL member / member · OpenCL GPU (framework-128gb) (pull_request) Has been skipped
wai-quantum OpenCL member / member · OpenCL GPU (macos) (pull_request) Has been skipped
wai-quantum OpenCL member / member · OpenCL absent (linux) (pull_request) Has been skipped
wai-quantum neural-processor member / member · neural processor (macos) (pull_request) Has been skipped
wai-quantum neural-processor member / member · neural processor absent (linux) (pull_request) Has been skipped
wai-quantum-qpu / does this change touch it (pull_request) Successful in 15s
wai-quantum-qpu / clients against their contracts (linux) (pull_request) Has been skipped
wai-quantum matrix-extension member / does this change touch it (pull_request) Successful in 19s
wai-quantum service / does this change touch it (pull_request) Successful in 21s
wai-quantum matrix-extension member / member · matrix extension, emulated (aarch64 Linux) (pull_request) Has been skipped
wai-quantum matrix-extension member / member · matrix extension absent (macos) (pull_request) Has been skipped
wai-quantum service / service · linux (pull_request) Has been skipped
wai-quantum service / service · macos (pull_request) Has been skipped
wai-quantum tensor-engine member / does this change touch it (pull_request) Successful in 20s
wai-quantum tensor-engine member / member · tensor engine, the kernel toolchain's simulator (linux) (pull_request) Has been skipped
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Has been skipped
wai-quantum portable tensor program / does this change touch it (pull_request) Successful in 24s
wai-quantum portable tensor program / tensor program · CPU, mutants, GPU builds (pull_request) Has been skipped
wai-quantum portable tensor program / tensor program · GPUs (jetson-hub) (pull_request) Has been skipped
wai-quantum portable tensor program / tensor program · integrated GPU (framework-128gb) (pull_request) Has been skipped
wai-quantum portable tensor program / tensor program · Metal and the arm64 CPU (macos) (pull_request) Has been skipped
wai-quantum CPU vector units / does this change touch it (pull_request) Successful in 26s
wai-quantum CPU vector units / member · vector unit, rvv 1024-bit (riscv64, emulated) (pull_request) Has been skipped
wai-quantum CPU vector units / member · vector unit, sve 128-bit (aarch64, emulated) (pull_request) Has been skipped
wai-quantum CPU vector units / member · vector unit, rvv 128-bit (riscv64, emulated) (pull_request) Has been skipped
wai-quantum CPU vector units / member · vector unit, sve 2048-bit (aarch64, emulated) (pull_request) Has been skipped
wai-quantum CPU vector units / member · vector unit, avx2 (x86_64 silicon) (pull_request) Has been skipped
wai-quantum CPU vector units / member · vector unit, sve 512-bit (aarch64, emulated) (pull_request) Has been skipped
wai-quantum CPU vector units / member · vector units, avx2 and avx512 (framework-128gb silicon) (pull_request) Has been skipped
wai-quantum CPU vector units / member · vector unit absent (macos) (pull_request) Has been skipped
wai-quantum WebGPU member / does this change touch it (pull_request) Successful in 24s
wai-quantum WebGPU member / shader checks · browser build · wasip2 inertness · MSRV (pull_request) Has been skipped
wai-quantum WebGPU member / member · software Vulkan (linux) (pull_request) Has been skipped
wai-quantum WebGPU member / member · Metal (macos) (pull_request) Has been skipped
wai-quantum WebGPU member / member · discrete GPU, Vulkan (jetson-hub) (pull_request) Has been skipped
wai-quantum WebGPU member / member · integrated GPU, Vulkan (framework-128gb) (pull_request) Has been skipped
wai-quantum WebGPU member / member · browser WebGPU (macos) (pull_request) Has been skipped
WAI mbt2018_mean integer decode (regenerated vectors) / does this change touch it (pull_request) Successful in 33s
WAI mbt2018_mean integer decode (regenerated vectors) / regenerate mbt2018_mean integer vectors → Rust decode, required (pull_request) Has been skipped
wai-web wasm32 / does this change touch it (pull_request) Successful in 31s
standards workspaces build + test / macOS energy backends (pull_request) Successful in 10m55s
standards workspaces build + test / jouledesk-rs (jouledesk/jouledesk-rs, jouledesk-rs, macos) (pull_request) Successful in 3m15s
standards workspaces build + test / joulecontract-rs (joulecontract/joulecontract-rs, joulecontract-rs, linux-arm64, true) (pull_request) Successful in 1m45s
standards workspaces build + test / joule-code-rs (joule-code/joule-code-rs, joule-code-rs, linux-arm64, true) (pull_request) Successful in 3m24s
standards workspaces build + test / map-rs (map-conformance, map/map-rs, map-rs, linux-arm64) (pull_request) Successful in 1m56s
standards workspaces build + test / arl-rs (arl/arl-rs, arl-rs, linux) (pull_request) Successful in 1m16s
standards workspaces build + test / jouleclaw-rs (-nodebug, jouleclaw/jouleclaw-rs, -p jouleclaw-energy --features rapl,nvml, jouleclaw-rs, linux-arm64, -C target-feature=+fp16) (pull_request) Successful in 4m38s
standards workspaces build + test / mesh-rs (mesh/mesh-rs, -p mesh-engine-gguf -p mesh-openai --features mesh-engine-gguf/gguf,mesh-openai/server, mesh-rs, linux-arm64) (pull_request) Successful in 1m23s
WAI conformance / v2 vocabulary · manifests validate as stated (pull_request) Successful in 39s
WAI conformance / delivery telemetry · CMCD and CMSD against an independent library (pull_request) Successful in 30s
standards workspaces build + test / eoc-rs (eoc/eoc-rs, -p eoc-meter --features cuda, eoc-rs, linux) (pull_request) Successful in 2m20s
standards workspaces build + test / jcp-rs (jcp-conformance, jcp/jcp-rs, -p jcp-energy --features nvml, jcp-rs, linux) (pull_request) Successful in 1m48s
WAI conformance / cross-arch byte-equality · linux-arm64 (pull_request) Successful in 49s
standards workspaces build + test / joule-ui-rs (joule-ui/joule-ui-rs, joule-ui-rs, linux) (pull_request) Successful in 1m14s
standards workspaces build + test / joulehook-rs (joulehook/joulehook-rs, joulehook-rs, linux) (pull_request) Successful in 1m16s
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Successful in 2m2s
standards workspaces build + test / proof-rs (proof-conformance, proof/proof-rs, proof-rs, linux, true) (pull_request) Successful in 1m33s
standards workspaces build + test / sandbox-rs (sandbox-conformance, sandbox/sandbox-rs, sandbox-rs, linux) (pull_request) Successful in 2m37s
standards workspaces build + test / smart-byte-rs (smart-byte/smart-byte-rs, smart-byte-rs, linux) (pull_request) Successful in 4m31s
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Successful in 6m54s
WAI conformance / quantum core and corpus under wasm32-wasip2 (wasmtime) (pull_request) Successful in 2m13s
WAI conformance / cross-arch byte-equality · linux (pull_request) Successful in 27s
WAI energy receipts / energy receipts · linux (pull_request) Successful in 2m45s
wai-pack / wai-pack · linux (pull_request) Successful in 2m8s
WAI conformance / cargo-class corpora · macos (pull_request) Successful in 21m10s
WAI conformance / cross-arch byte-equality · macos (pull_request) Successful in 31s
WAI conformance / codec wrappers · fuzz smoke, text decode limits, C entry points, provenance, the semantic path (pull_request) Successful in 1m27s
WAI conformance / cargo-class corpora · linux (pull_request) Successful in 16m49s
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Successful in 3m28s
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Successful in 24m45s
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Successful in 24m15s
WAI energy receipts / energy receipts · macos (pull_request) Successful in 5m9s
wai-pack / wai-pack · macos (pull_request) Successful in 1m35s
WAI HTTP delivery / HTTP corpus · falsify mutations 0/3 (pull_request) Failing after 3h4m12s
WAI HTTP delivery / HTTP corpus · falsify mutations 2/3 (pull_request) Failing after 3h10m44s
WAI HTTP delivery / HTTP corpus · falsify mutations 1/3 (pull_request) Failing after 3h11m20s
WAI HTTP delivery / HTTP corpus · falsify patches 0/3 (pull_request) Successful in 5m36s
WAI HTTP delivery / HTTP corpus · every patch and mutation in exactly one shard (pull_request) Successful in 5s
WAI HTTP delivery / HTTP corpus · falsify patches 2/3 (pull_request) Successful in 5m57s
WAI HTTP delivery / HTTP corpus · falsify patches 1/3 (pull_request) Successful in 6m19s
WAI HTTP delivery / cache rules · controls and labelled caches (pull_request) Successful in 1m11s
wai-pack / wai-pack · linux-arm64 (pull_request) Successful in 1m14s
wai-pack / wai-pack · the floor through a media prober (pull_request) Successful in 19s
WAI HTTP delivery / HTTP corpus · verified both ways, and the differential (pull_request) Successful in 2m43s
wai-pack / wai-pack · dependency licences (pull_request) Successful in 1m18s
wai-pack / wai-pack · independent verifier (Python) (pull_request) Successful in 4m5s
Of 5250 warnings across the seventeen workspaces, these are the ones whose fix is mechanical and local: a redundant `.into()`, `clone` on a `Copy`, a derivable `Default`, `useless_vec`, `default_constructed_unit_structs`, `manual_is_multiple_of`, `uninlined_format_args`. 34 files, 24 lines shorter. Deliberately NOT in here, because a tidy-up should not decide them: The ~2000 cast lints (cast_possible_truncation 914, cast_precision_loss 664, cast_sign_loss 236, cast_possible_wrap 186) and ~837 doc-style ones (doc_markdown 554, overindented lists 192, lazy continuation 91). In numeric code the casts are the work; "fixing" them means 2000 allows or try_into().unwrap() churn. With too_many_arguments, type_complexity, unused_self and many_single_char_names that is ~3170 of the 5250 -- a question about whether these crates carry clippy::pedantic, answered once at crate level, not 3170 times at call sites. unused_imports (88) and unused_unsafe (81): cfg-dependent here. jouleclaw-loader-gguf's `std::ffi::c_void` is behind the `numa` feature and its `std::arch::aarch64::*` sits inside an aarch64-gated fn -- dead in this configuration, live in another. collapsible_if (168): its fix is correct but keeps the old body indentation, and this tree is not rustfmt-clean so it cannot be normalised. An earlier pass fixed 19 files that way, inspected them and reverted; the lint is now excluded up front rather than fixed and undone. chunks_exact_to_as_chunks (65), should_implement_trait (34), result_large_err (52), needless_range_loop (191): API changes and loop rewrites, each wanting its own pass with the tests watched. Regenerated on current main rather than rebased: six aac-web files were touched by both this pass and the 71 commits that landed meanwhile, and re-running a machine pass on the new base is correct by construction where resolving its conflicts by hand is not. aac needed nothing the second time -- those simplifications had already landed. Verified on the build host, every check asserting it did the work rather than trusting an exit status: all ten touched workspaces' tests pass, `ran == 10` asserted, and no let-chain appears in the diff. ⚠️ eoc-cascade's `hit_calibration_process_energy` fails intermittently and is NOT from this change: on clean origin/main with no local modification it went pass, fail, fail in three consecutive runs. The check above admits it only when it is the sole failing target, so a second failure in eoc would still fail. Co-Authored-By: Claude Opus 5 <[email protected]> |
||
| .. | ||
| conformance | ||
| map-rs | ||
| spec | ||
| vocab | ||
| CHANGELOG.md | ||
| CONTRIBUTING.md | ||
| LICENSE | ||
| LICENSE-SPEC | ||
| README.md | ||
| ROADMAP.md | ||
| SPEC.md | ||
Map
A carrier for place. Range-requestable, signed, energy-attributed, owned by no one.
Map is the geospatial cargo class of the Transaction Science substrate. Where Smart Byte carries value, EOC carries compute, and Joule Code carries coding work, Map carries place — a region of the world at a position, an altitude, an instant, and a fidelity — as a content-addressed, signed tile with its energy cost intrinsic.
A tile is not an image and not an API response. It is a vesicle carrying exactly five things: identity (the BLAKE3 content address of its canonical serialization), a 4D cell key (where, how high, when, and how detailed), provenance (the signed tileset root it was published under, and the author key that signed it), cargo (the payload — terrain, a scalar/vector field, vector features, or 3D Gaussian splats), and a two-part joule cost (measured + estimated, with an honest provenance tag on every reading). Render requests resolve through an explicit energy-tiered fidelity cascade — cache, then a terrain base floor, then fields, then features, then photoreal splats — and return the highest tier present for the cell at or below the requested fidelity, falling back to the floor, which is defined everywhere. Graceful fallback is a property of the standard, not of an implementation.
The substrate is intentionally ownerless: no protocol-level token, permissive licensing on the spec text and reference code, and conformance vectors so any implementer can verify canonicity without a trust relationship with the authors. A conforming reader resolves a cell, verifies it against a signed manifest, renders it, and meters it — against static storage, with no contact with any single company's servers as a condition of operation. Transaction Science is one steward: it publishes the spec, ships a reference implementation, and operates commercial services (capture pipelines, hosted tilesets, a registry) around the substrate — not its proprietor.
The doctrine
The map is a file, not a service. The durable layer of a mapping platform is not tile serving or per-load billing — both are commoditized and both expire. It is the published, signed, dated file that renders forever from dumb storage, measured in joules per resolved cell.
Three consequences, normative in SPEC.md:
- The cascade. Every render request resolves through
F0:Cache → F1:Base → F2:Field → F3:Feature → F4:Photorealand returns the highest tier ≤ the requested fidelity that holds data for the cell, falling back to the F1 base floor — which is defined everywhere on the datum, so a covered region never fails to render. - The receipt. Every resolve/decode reports a two-part energy cost in microjoules —
measured + estimated— with aProvenancetag (HwShunt | ModelBased | Estimator), sealed as a JCR-1 envelope (canonical det-CBOR + COSE_Sign1/EdDSA — the family's shared signed-receipt format). - No capture. No protocol token. A tileset is a single range-requestable file on dumb storage; reading it requires the bytes and a public key, nothing more. Revisions (a new forecast hour, a new AIRAC cycle) are signed, dated transitions over the manifest root — never in-place mutations.
The 4D cell key
Map's one genuinely new primitive is the address. A tile is keyed by four orthogonal axes — S2 cell (horizontal, Hilbert-ordered), altitude band (signed; band 0 = datum), time bucket (half-open TAI interval; bucket 0 = atemporal), and within-tier LOD. The horizontal axis is what makes a tileset range-requestable; the temporal axis is first-class, which is exactly what 3D Tiles lacks and what weather and flight navigation require. A "map of Tuesday at 14:00Z" is a different, equally addressable region from the same place on Wednesday.
Contents
SPEC.md— the normative specification (RFC 2119). The tile cargo, the 4D cell key, canonical serialization, the tileset + manifest, the cascade, and the receipt.spec/— sub-specifications: the cell key, the tileset container, the manifest + revision chain, and the receipt format.vocab/— the controlled vocabulary and stable IRIs (LEXICON.md).conformance/— signed wire vectors. An implementation is conformant if it round-trips these.map-rs/— the Rust reference library: the protocol crates (schema, cascade, receipt, conformance) plus the ported substrate (index, tiles, orbital, route). This is the lean library a third party implements against — not a renderer.
Reference implementation and consumers
The Rust reference lives in map-rs/. The demonstrator pillar is maps.transaction.science — a WebGPU globe (Rust → WASM + native, on wgpu) that consumes map-rs: a satellite/terrain/weather basemap with live orbital, ADS-B, and AIS entity layers and an AI-native query surface. The demonstrator is a demonstration of the standard, the way the pillars demonstrate the other standards — not the product.
Status
v0.1.0 draft. Specification core published (SPEC.md + spec/). Reference workspace map-rs/: map-schema (the 4D cell key, tile, tileset directory, manifest + revision, content addressing), map-cascade (the F0–F4 fidelity resolver with guaranteed F1 fallback), map-receipt (JCR-1 sealing, interoperable with the family's verifiers), and the map-conformance harness. The substrate crates (map-index from joule-s2 + joule-spatial3d, map-tiles from joule-tiles, map-orbital from joule-orbital, map-route from joule-maps) are being ported from the existing engine; see ROADMAP.md. Not certified for primary navigation (see SPEC §9).
Licence
- Reference code (
map-rs/): Apache-2.0 — seeLICENSE. - Specification text (
SPEC.md,spec/,vocab/): CC-BY-4.0 — seeLICENSE-SPEC.