Transaction-Science/open-standards
Watch
1
0
Fork
You've already forked open-standards
 0
Code Issues Pull requests Projects Releases 15 Packages Wiki Activity Actions
open-standards/.github/workflows
History
Exact
Repository files (latest commit first)
Filename Latest commit message Latest commit date
Transaction Science 6ca9d92ee4
All checks were successful
standards workspaces build + test / aac-rs (pull_request) Successful in 3m2s
Details
standards workspaces build + test / joule-code-rs (pull_request) Successful in 1m26s
Details
standards workspaces build + test / joulecontract-rs (pull_request) Successful in 58s
Details
standards workspaces build + test / jouleclaw-rs (pull_request) Successful in 6m25s
Details
standards workspaces build + test / map-rs (pull_request) Successful in 57s
Details
standards workspaces build + test / mesh-rs (pull_request) Successful in 56s
Details
wai cross-architecture byte-equality / linux-aarch64 (pull_request) Successful in 25s
Details
WAI conformance / cross-arch byte-equality · linux-arm64 (pull_request) Successful in 26s
Details
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Successful in 2m10s
Details
standards workspaces build + test / openpay (pull_request) Successful in 3m55s
Details
wai-ops integer operators / linux-aarch64 (pull_request) Successful in 1m6s
Details
standards workspaces build + test / jouledesk-rs (pull_request) Successful in 1m0s
Details
wai-quantum WebGPU member / member · discrete GPU, Vulkan (jetson-hub) (pull_request) Successful in 11m17s
Details
standards workspaces build + test / macOS energy backends (pull_request) Successful in 4m39s
Details
wai cross-architecture byte-equality / macos-arm64 (reference) (pull_request) Successful in 21s
Details
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Successful in 9m21s
Details
WAI conformance / cargo-class corpora · macos (pull_request) Successful in 7m36s
Details
WAI conformance / cross-arch byte-equality · macos (pull_request) Successful in 21s
Details
WAI conformance / codec wrappers · fuzz smoke, text decode limits, C entry points, provenance, the semantic path (pull_request) Successful in 45s
Details
lockfiles / every Cargo.lock is current (pull_request) Successful in 44s
Details
no-vanity-metrics / Scan committed Markdown for vanity metrics (pull_request) Successful in 4s
Details
no-vanity-metrics / WAI public text names no comparison (pull_request) Successful in 4s
Details
no-vanity-metrics / WAI public text names no company or product (pull_request) Successful in 4s
Details
no-vanity-metrics / No new orphan source files (pull_request) Successful in 5s
Details
spec citations resolve / Code cites no section its SPEC lacks (pull_request) Successful in 5s
Details
standards workspaces build + test / arl-rs (pull_request) Successful in 1m11s
Details
WAI energy receipts / energy receipts · macos (pull_request) Successful in 1m39s
Details
standards workspaces build + test / eoc-rs (pull_request) Successful in 2m3s
Details
standards workspaces build + test / jcp-rs (pull_request) Successful in 1m34s
Details
standards workspaces build + test / joule-ui-rs (pull_request) Successful in 1m11s
Details
standards workspaces build + test / joulehook-rs (pull_request) Successful in 1m12s
Details
standards workspaces build + test / proof-rs (pull_request) Successful in 1m34s
Details
standards workspaces build + test / sense-rs (pull_request) Successful in 1m12s
Details
standards workspaces build + test / sandbox-rs (pull_request) Successful in 2m27s
Details
tests in CI / every test file is run by a job or listed with its reason (pull_request) Successful in 4s
Details
wai cross-architecture byte-equality / linux-x86_64 (pull_request) Successful in 31s
Details
standards workspaces build + test / smart-byte-rs (pull_request) Successful in 4m8s
Details
WAI conformance / quantum core and corpus under wasm32-wasip2 (wasmtime) (pull_request) Successful in 2m29s
Details
WAI conformance / v2 vocabulary · manifests validate as stated (pull_request) Successful in 1m35s
Details
wai formal verification (integer core) / kani (rans64-t2) (pull_request) Successful in 14m44s
Details
wai-ops integer operators / macos-arm64 (pull_request) Successful in 14m36s
Details
WAI conformance / cargo-class corpora · linux (pull_request) Successful in 10m25s
Details
wai-quantum WebGPU member / member · Metal (macos) (pull_request) Successful in 2m20s
Details
WAI conformance / delivery telemetry · CMCD and CMSD against an independent library (pull_request) Successful in 50s
Details
WAI conformance / cross-arch byte-equality · linux (pull_request) Successful in 54s
Details
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Successful in 1m37s
Details
WAI energy receipts / energy receipts · linux (pull_request) Successful in 2m15s
Details
wai formal verification (integer core) / every harness in one shard (pull_request) Successful in 12s
Details
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Successful in 19m20s
Details
wai formal verification (integer core) / kani (arith) (pull_request) Successful in 10m44s
Details
wai formal verification (integer core) / kani (plan) (pull_request) Successful in 19m9s
Details
wai-quantum WebGPU member / member · browser WebGPU (macos) (pull_request) Successful in 36m56s
Details
wai formal verification (integer core) / kani (sound) (pull_request) Successful in 9m43s
Details
wai formal verification (integer core) / kani (stage) (pull_request) Successful in 2m33s
Details
wai formal verification (integer core) / kani (stage-long) (pull_request) Successful in 21m18s
Details
wai formal verification (integer core) / kani (isqrt512) (pull_request) Successful in 57m49s
Details
WAI HTTP delivery / WAI HTTP · does this change touch it (pull_request) Successful in 4s
Details
WAI HTTP delivery / HTTP corpus · falsify mutations 0/3 (pull_request) Has been skipped
Details
WAI HTTP delivery / HTTP corpus · falsify mutations 1/3 (pull_request) Has been skipped
Details
WAI HTTP delivery / HTTP corpus · falsify mutations 2/3 (pull_request) Has been skipped
Details
WAI HTTP delivery / HTTP corpus · falsify patches 0/3 (pull_request) Has been skipped
Details
WAI HTTP delivery / HTTP corpus · falsify patches 1/3 (pull_request) Has been skipped
Details
WAI HTTP delivery / HTTP corpus · falsify patches 2/3 (pull_request) Has been skipped
Details
WAI HTTP delivery / HTTP corpus · every patch and mutation in exactly one shard (pull_request) Has been skipped
Details
WAI HTTP delivery / HTTP corpus · verified both ways, and the differential (pull_request) Has been skipped
Details
WAI HTTP delivery / cache rules · controls and labelled caches (pull_request) Has been skipped
Details
WAI JPEG-AI whole decode (pinned inputs, required) / fetch pinned JPEG-AI inputs → whole decode + pixel hash, required (pull_request) Successful in 1m25s
Details
wai formal verification (integer core) / kani (integer-core) (pull_request) Successful in 6m43s
Details
WAI neural sink gates / model-free refusals of the neural sink (pull_request) Successful in 1m18s
Details
wai-ops differential (nightly) / differential · debug (pull_request) Successful in 2m31s
Details
wai-ops integer operators / linux-x86_64 (pull_request) Successful in 52s
Details
wai-ops differential (nightly) / differential · release (pull_request) Successful in 2m55s
Details
wai-ops integer operators / wasm32-wasip2 (wasmtime) (pull_request) Successful in 28s
Details
wai-ops integer operators / wasm32 under Node (pull_request) Successful in 20s
Details
wai-pack / wai-pack · does this change touch it (pull_request) Successful in 4s
Details
wai-ops integer operators / independent checker (Python) (pull_request) Successful in 33s
Details
wai-pack / wai-pack · macos (pull_request) Successful in 1m31s
Details
wai-pack / wai-pack · linux-arm64 (pull_request) Successful in 1m38s
Details
wai-quantum WebGPU member / member · software Vulkan (linux) (pull_request) Successful in 2m19s
Details
WAI section references / cited sections exist (pull_request) Successful in 11s
Details
wai-quantum WebGPU member / shader checks · browser build · wasip2 inertness · MSRV (pull_request) Successful in 3m30s
Details
wai-web reach builds / wai-web reach · does this change touch it (pull_request) Successful in 4s
Details
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Successful in 3m14s
Details
workflow hygiene / every workflow supersedes its own queue (pull_request) Successful in 8s
Details
WAI mbt2018_mean integer decode (regenerated vectors) / regenerate mbt2018_mean integer vectors → Rust decode, required (pull_request) Successful in 5m27s
Details
wai-pack / wai-pack · linux (pull_request) Successful in 1m22s
Details
wai-pack / wai-pack · independent verifier (Python) (pull_request) Successful in 4m4s
Details
wai-pack / wai-pack · the floor through a media prober (pull_request) Successful in 24s
Details
wai-pack / wai-pack · dependency licences (pull_request) Successful in 1m21s
Details
wai-web reach builds / wai-web reach builds · the package of record, every output as recorded (pull_request) Successful in 2m48s
Details
wai-web reach builds / wai-web reach builds · this tree's wai-web, every rung on its engine line (pull_request) Successful in 4m53s
Details
Merge origin/main (at 1ec8f447, with #233, #234, #236, #238, #239, #240) into wai/d2c-decoders-on-ops 
Co-Authored-By: Claude Opus 5.5 <[email protected]>

# Conflicts:
#	.github/workflows/wai-conformance.yml
2026-10-13 22:29:44 -04:00
..
conformance.yml ci: one run per branch at a time — no workflow declared a concurrency group 2026-10-05 12:01:57 -04:00
energy-hardware.yml ci: run the new platform-gated meter tests where their platform is 2026-10-10 18:11:22 -04:00
joule-code-conformance.yml joule-moq: receipt chains recover (P-J2, P-J3); public text by capability; the conformance gate parses its count 2026-10-06 10:39:21 -04:00
jouleclaw-public-surface-documented.yml ci: one run per branch at a time — no workflow declared a concurrency group 2026-10-05 12:01:57 -04:00
lockfiles.yml ci: every committed Cargo.lock is current 2026-10-12 20:16:43 -04:00
no-vanity-metrics.yml check: no library source file is unreachable from its crate root 2026-10-10 09:51:01 -04:00
spec-refs.yml ci: a citation to a section that does not exist is now a failure 2026-10-13 03:07:23 -04:00
standards-build.yml Merge pull request 'joule-code: close the two gaps its conformance gate cannot see' (#210) from dcharlot/joule-code-pack-test into main 2026-10-13 02:40:36 -04:00
tests-in-ci.yml ci: every wai-rs test file is run by a job or listed, and none can run empty 2026-10-13 01:20:48 -04:00
wai-byte-equality.yml D2c M1 gate 2: int_synth's decode through its lowering equals every golden 2026-10-13 02:50:33 -04:00
wai-conformance.yml Merge origin/main (at 1ec8f447, with #233, #234, #236, #238, #239, #240) into wai/d2c-decoders-on-ops 2026-10-13 22:29:44 -04:00
wai-energy-receipts.yml ci: build wai_prov and run its carry path against the committed receipt 2026-10-13 02:22:48 -04:00
wai-formal-verification.yml wai-ops proofs: the rans64 totality proof runs where its memory fits 2026-10-12 09:50:31 -04:00
wai-http.yml falsify: every mutation names the cases it must fail; receipt-surrogates reaches one 2026-10-10 01:42:38 -04:00
wai-jpegai-e2e.yml CI: the formal-verification job in shards; the scale-path golden runs where its bundle is 2026-10-10 23:27:46 -04:00
wai-neural-e2e.yml ci: one run per branch at a time — no workflow declared a concurrency group 2026-10-05 12:01:57 -04:00
wai-neural-gates.yml D2c M1 gate 1: int_synth's lowering and certificate, as this crate loads them 2026-10-13 02:40:50 -04:00
wai-ops-differential.yml D2c M1 gate 4: int_synth through wai-ops against its direct decode, differentially 2026-10-13 07:26:01 -04:00
wai-ops.yml wai-ops CI: the external sets' certificates from both certifiers 2026-10-10 10:26:38 -04:00
wai-pack.yml Merge wai/d1-record-true (with #205, #197 and main) into wai/w4-4-staged-packages 2026-10-10 17:40:02 -04:00
wai-quantum-webgpu.yml quantum-meter: wai-quantum's RunMeter over this process's CPU and GPU counters 2026-10-13 02:22:44 -04:00
wai-section-refs.yml check-wai-section-refs: read wai/SECURITY.md too 2026-10-09 17:15:06 -04:00
wai-sota-vectors.yml wai-ops CI: the external sets' certificates from both certifiers 2026-10-10 10:26:38 -04:00
wai-vector.yml wai-vector: the wasm exports and the three-engine browser leg (D7-8) 2026-10-13 02:44:44 -04:00
wai-web-reach.yml wai-web reach: the record leg runs the record's own demo scripts 2026-10-11 03:44:06 -04:00
wai-web-wasm.yml D2c M1 gate 1: int_synth's lowering and certificate, as this crate loads them 2026-10-13 02:40:50 -04:00
workflow-hygiene.yml ci: workflow hygiene — restore the comment marker on the header's first prose line 2026-10-09 16:29:23 -04:00