Transaction Science
4286242db5
repository checks / lockfiles, advisories, tests in CI, workflow hygiene, spec and section references, public text (pull_request) Has been cancelled
standards workspaces build + test / which workspaces this change touches (pull_request) Has been cancelled
standards workspaces build + test / macOS energy backends (pull_request) Has been cancelled
joulespec: the E4 rung reaches a real prover, and §9 gives the nearest prior art its due ...
Two gaps, both found by looking harder at what already exists.
§9 did not mention requirements-traceability tooling, which is the nearest
thing to an existing implementation of §3. That family binds evidence to a
requirement by identifier and revision, and its strongest member reads the
test runner's results rather than the sources, so a citation on a test that
never ran binds nothing. That is this standard's E2, reached independently,
and E2 is therefore not a contribution here. What the family leaves open is
what this standard closes: the revision is bumped by hand, where an obligation
address is computed; and its own documentation records that a passing test
asserting nothing still satisfies the gate, with test quality deferred to a
separate human review. The closing claim is narrowed accordingly. Also noted:
immutable tests are not falsifiable tests — an immutable test that asserts
nothing is immutably vacuous.
E4 was specified and its logic tested, but no witness had ever come from a
prover. `joulespec-cli` now drives one, and parses the property table rather
than the verdict line, because a checker reports success for a harness whose
assumptions emptied its domain in the same words it uses for one that examined
all of it — a gate reading the verdict passes vacuous proofs. Each harness
carries a wall-clock budget, so an undecided run is a finding rather than a
hang, and the process group is killed rather than the driver, which was
observed leaving the solver running. Two statements are discharged over their
whole input domain, both refuted by a counter-artifact; both sit at E2, not
E4, because nobody independent has cross-checked their formalizations, and the
report says so in those words.
Measured, on this workspace: the counter-artifact narrowing the ratio rule's
arithmetic from 128 to 64 bits is invisible to all 85 tests and refuted by the
prover at once. The cost is not uniform — the same function's totality was
settled in under a tenth of a second while its quotient bound did not converge
in twenty-four minutes, so the budget is declared per harness and §8 says why
a statement reshaped until it converges is a different claim.
Extending this found a fourth defect in the standard's own manifest: extracting
two rules into named functions moved the text two counter-artifacts were aimed
at, by one indentation level in one case, and both silently stopped describing
any edit. The harvester refused to run, which was correct but late, so it now
validates every anchor before running anything. Tolerating a missing anchor
would have left two clauses looking falsifiably evidenced while nothing was
being mutated. SPEC §2.5 also now states the rules the producer already
followed but the standard did not: a counter-artifact that does not build has
demonstrated nothing, and a harness reporting success having run no checks is
not evidence that any ran.
CI gains a proofs leg on a host that has a checker. The linux leg cannot gate
this: with no prover installed the proof entries are correctly reported as not
run, which is no gate at all. The new leg asserts every declared cover is
reached and that a counter-artifact still refutes a proof; its output parsing
was tested against a passing, a vacuous and a no-cover log before being
trusted.
Co-Authored-By: Claude Opus 5 <[email protected] >
2026-11-01 18:41:37 -05:00
ci: thirteen WAI workflows run only when the pull request's own diff touches them
2026-10-14 03:41:49 -04:00
wip: registry, SPEC, CHANGELOG, CI jobs, reader tests, settle and generic machine description
2026-10-22 13:49:49 -04:00
Merge #483 (wai/ingest-srt-rist @ b54dc94c): SRT and RIST contribution ingest, with a signed link record
2026-10-26 08:41:50 -04:00
joule-moq-room: a bound on the clock's record store of a remote session, which ends the session
2026-10-26 10:43:13 -04:00
Bring wai mcp, wai setup-agent, Create and the room service's API into the catalogue, renamed to N3
2026-10-27 05:54:20 -04:00
Merge #493 (wai/messaging-calls @ 01f3aac1): wai.live.message and wai.live.call, conversations and calls on live rooms
2026-10-26 12:23:34 -04:00
jouleclaw-omni: read mmap'd GGUF bytes without assuming their alignment
2026-10-20 17:09:37 -04:00
ci: one run per branch at a time — no workflow declared a concurrency group
2026-10-05 12:01:57 -04:00
ci: gate on cargo-audit, so an advisory has to be read rather than accumulated
2026-10-22 12:49:04 -04:00
joulespec: the E4 rung reaches a real prover, and §9 gives the nearest prior art its due
2026-11-01 18:41:37 -05:00
CI, the browser end-to-end and docs: Create under wai-app, wai create --from and wai dev
2026-10-27 05:14:19 -04:00
wai: native sink in CI, the changelog and SPEC §5, the package README and simulator runner
2026-10-25 23:23:19 -04:00
conformance-results: conform-result/1 in the standard, its corpus and a second verifier
2026-10-27 11:17:05 -04:00
int_mlicpp gate 2: the bundle decodes through wmb1/1 to its goldens
2026-10-15 21:44:10 -04:00
Merge remote-tracking branch 'origin/main' into wai/fast-channel-guide
2026-10-29 22:20:18 -04:00
Merge pull request 'receipt-ledger: tariff version 3 prices media jobs per operation and bills the work done' ( #550 ) from wai/ledger-work-priced into main
2026-10-31 08:50:17 -04:00
CI: the quantum set rerun test skipped on the linux leg until its path is left out
2026-10-30 00:33:34 -04:00
wai-examples.yml: the browser's path marked as the file path it is (allow-name)
2026-10-28 05:34:30 -04:00
wai.delivery.fleet in the registry, SPEC §5 and the changelog; the fleet's steps in CI
2026-10-27 15:39:52 -04:00
WIV1 and WIR1 gate 7 (WIP, committed before running): the direct predictors and step leave production
2026-10-17 12:04:26 -04:00
wai: coverage-guided fuzzing of the reader, and the container reservations it found
2026-10-14 10:58:29 -04:00
ci: run each suite for what can affect it; re-runs after a merge become nightly
2026-10-19 02:49:11 -04:00
ci: run each suite for what can affect it; re-runs after a merge become nightly
2026-10-19 02:49:11 -04:00
wai: register key release, its CI steps, SPEC §5 and the changelog
2026-10-25 21:45:41 -04:00
receipt-ledger: tariff version 3 prices media jobs per operation and bills the work
2026-10-30 12:17:07 -04:00
ci: run each suite for what can affect it; re-runs after a merge become nightly
2026-10-19 02:49:11 -04:00
ci: run each suite for what can affect it; re-runs after a merge become nightly
2026-10-19 02:49:11 -04:00
wai: D2c M7b gate 4: the networks against the direct networks, on random networks
2026-10-18 01:07:07 -04:00
Merge #448 (wai/avatar-telepresence @ 9804962c): wai.avatar.face
2026-10-26 08:24:55 -04:00
wai-ops-npu: the bench, CI, and the corpus held to npu.jsonl
2026-10-22 07:12:32 -04:00
ci: thirteen WAI workflows run only when the pull request's own diff touches them
2026-10-14 03:41:49 -04:00
route-record: second implementation, registration, CI; the catalogue's route.verify and package doors
2026-10-29 19:20:03 -04:00
wai-quantum-cli release: link the Linux binaries static, not static-pie
2026-10-20 22:24:10 -04:00
wai-quantum: a model scored by the engine on a task set, and each answer counted in tokens four ways
2026-10-28 08:42:54 -04:00
wai-quantum: the library's CI leg, its smoke checks, and an adder's reference with its inputs prepared
2026-10-31 09:48:42 -04:00
wai-quantum CI: the CUDA and OpenCL hardware jobs on a second host, an aarch64 board (linux-arm64-hw)
2026-10-31 22:05:01 -04:00
wai-quantum-dataflow.yml: the instruction table's line matched anywhere in a line
2026-10-28 10:58:27 -04:00
wai-quantum-desktop: the update manifest served by the website, not a standing pre-release
2026-10-30 10:49:03 -04:00
wai-quantum: documentation that runs in CI, its drift fixed, an index of every page, and a changelog entry
2026-10-28 08:43:06 -04:00
CI: the editors' job in an image with glibc 2.39, the processor's library tests on their own features, the service smoke on the reader's table
2026-10-27 21:30:57 -04:00
wai/tools/wai-quantum-editor: the debugger, in the extension and the other editors
2026-10-27 23:44:27 -04:00
wai-quantum: resource estimation from programs, calibrated from the crate's own decoders
2026-10-27 23:44:27 -04:00
wai-quantum: other formats bounded against hostile input, in CI
2026-10-31 07:16:32 -04:00
ci: run each suite for what can affect it; re-runs after a merge become nightly
2026-10-19 02:49:11 -04:00
wai-quantum: sparse Pauli dynamics on the GPU, with the CPU's term set, order and bits
2026-10-31 22:05:00 -04:00
wai-quantum for JavaScript: the engine as the npm package @transaction-science/wai-quantum 0.1.0
2026-10-29 08:14:24 -04:00
wai-quantum for JavaScript: the engine as the npm package @transaction-science/wai-quantum 0.1.0
2026-10-29 08:14:24 -04:00
wai quantum-conformance/qasm3: the OpenQASM 3 corpus, run natively, under wasm32-wasip2 and in the browser
2026-10-27 19:51:34 -04:00
wai-quantum: the members certified on the Mac Studio run on the Studio
2026-10-29 14:31:18 -04:00
ci: run each suite for what can affect it; re-runs after a merge become nightly
2026-10-19 02:49:11 -04:00
ci: run each suite for what can affect it; re-runs after a merge become nightly
2026-10-19 02:49:11 -04:00
wai-quantum CI: the CUDA and OpenCL hardware jobs on a second host, an aarch64 board (linux-arm64-hw)
2026-10-31 22:05:01 -04:00
ci: run each suite for what can affect it; re-runs after a merge become nightly
2026-10-19 02:49:11 -04:00
wai-web, CI: pulse calls in the page, and the pulse layer's bits held on every platform
2026-10-30 12:05:14 -04:00
wai and wai-quantum release workflows: the x86_64 macOS legs on the Intel Mac (macos-x86_64)
2026-10-29 11:50:15 -04:00
wai-quantum-py: WAI Quantum in Python and notebooks, in-process
2026-10-27 19:51:08 -04:00
ci: error correction and mitigation, each new test required by name
2026-10-28 08:42:54 -04:00
wai-quantum-qpu.yml: the library's pinned count is 34, with the target placement's test
2026-10-28 01:05:14 -04:00
wai-quantum engine::registry: methods, passes, noise channels and formats behind traits, the built-ins registered through them
2026-10-31 23:30:48 -04:00
wai-quantum-service smoke: paced within the client's window; the agent docs for pulse and other formats together
2026-10-31 07:16:32 -04:00
wai-quantum: the members certified on the Mac Studio run on the Studio
2026-10-29 14:31:18 -04:00
quantum-studio: open QIR and jeff files through the engine
2026-10-31 07:16:32 -04:00
ci: run each suite for what can affect it; re-runs after a merge become nightly
2026-10-19 02:49:11 -04:00
ci: run each suite for what can affect it; re-runs after a merge become nightly
2026-10-19 02:49:11 -04:00
wai-quantum: the library's CI leg, its smoke checks, and an adder's reference with its inputs prepared
2026-10-31 09:48:42 -04:00
CI: the avx2 leg declares the units the runner's processor has
2026-10-26 11:36:49 -04:00
wai-quantum: the answer view layer, its codes and conformance set, and correctness records
2026-10-28 08:42:54 -04:00
wai-quantum: answers drawn as they arrive in the Studio, and a correctness record kept only when asked
2026-10-28 08:42:54 -04:00
wai-quantum CI: the WebGPU hardware job on the aarch64 board too (linux-arm64-hw)
2026-10-31 22:05:01 -04:00
wai and wai-quantum release workflows: the x86_64 macOS legs on the Intel Mac (macos-x86_64)
2026-10-29 11:50:15 -04:00
wai-sink-android: read a tool's output whole before searching it ( #488 )
2026-10-26 18:43:13 -04:00
wai-sink-swift: simulator tests hosted in TestHost, in a fresh simulator, every step bounded
2026-10-26 15:35:48 -04:00
ci: run each suite for what can affect it; re-runs after a merge become nightly
2026-10-19 02:49:11 -04:00
wai-studio.yml: the macOS job named for the browsers it runs
2026-10-28 02:13:20 -04:00
ci: thirteen WAI workflows run only when the pull request's own diff touches them
2026-10-14 03:41:49 -04:00
ci: run each suite for what can affect it; re-runs after a merge become nightly
2026-10-19 02:49:11 -04:00
wai-quantum: gradients, optimisation, VQE, QAOA and the algorithm builders on every surface
2026-10-31 09:48:42 -04:00
4286242db5