Transaction Science
e0e9fa7831
joulespec: a counter-artifact is an artifact state, not an edit ...
Applying the producer to a second standard found something about the `E3`
mechanism rather than about that standard.
`map/conformance/v1/joulespec.toml` maps every conformance item of the map
standard's §8 to a named check with a counter-artifact, and all of them reach
`E3`. Four did immediately. The fifth did not, and the reason is the point.
That standard's `verify_envelope` enforces its steward twice: once as the
envelope's key identifier, and again because the steward sits inside the
signed core the envelope commits to, so a wrong steward also fails the payload
comparison. Disabling either check alone leaves the other standing, and the
test keeps passing. The harvester reported that the check could not see its
subject — true, and misleading, because the check is strong and the mutation
was well aimed.
Neither of the two readings the producer's own documentation offers fits. It is
a third case: the artifact state in which the check should fail is not one
edit away from the state in which it passes.
So a counter-artifact may now declare several edits. They are applied before
anything runs and reverted together, in reverse order, including on a panic;
if any fails to apply, those already applied revert as the partial vector
drops, so the tree is never left half-mutated. The witness's report records
how many were applied, because a state several edits away is a different claim
from one edit away and a reader should not have to open the manifest to tell.
The single-edit form is unchanged and the proof standard's manifest, which
uses it throughout, still reaches `E3`.
SPEC §2.5 states the rule: nothing in the rung says the failing state is one
edit away, and a conforming producer must accept several and record the count.
The schema refuses a counter-artifact that declares both forms, or part of the
single-edit form, or no edit at all: the first is ambiguous about what the
artifact state is, and the others claim to be a counter-artifact while
describing nothing.
Co-Authored-By: Claude Opus 5 <[email protected] >
2026-11-02 04:51:59 -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: a counter-artifact is an artifact state, not an edit
2026-11-02 04:51:59 -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
e0e9fa7831