| Filename | Latest commit message | Latest commit date |
|---|---|---|
|
Some checks failed
joule-moq-remote host agent / joule-moq-remote · does this change touch it (push) Successful in 13s
joule-moq-room room service / joule-moq-room · does this change touch it (push) Successful in 12s
joule-moq-web browser client / joule-moq-web · does this change touch it (push) Successful in 11s
wai-app and Create / wai-app · does this change touch it (push) Successful in 13s
wai-audit collector and player integration / does this change touch it (push) Successful in 11s
WAI operation catalogue / does this change touch it (push) Successful in 10s
wai-key-proxy / does this change touch it (push) Successful in 18s
wai-fleet service / does this change touch it (push) Successful in 19s
wai-ledger service / does this change touch it (push) Successful in 15s
wai-quantum for JavaScript / does this change touch it (push) Successful in 14s
wai-quantum studio and desktop / does this change touch it (push) Successful in 17s
wai-sink-swift native sink package / does this change touch it (push) Successful in 16s
WAI Studio / does this change touch it (push) Successful in 17s
wai-sink-android native sink library / does this change touch it (push) Successful in 19s
joule-moq-remote host agent / joule-moq-remote, every target (linux-arm64) (push) Has been cancelled
joule-moq-remote host agent / joule-moq-remote, every target (macos) (push) Has been cancelled
joule-moq-room room service / joule-moq-room, every target (push) Has been cancelled
joule-moq-web browser client / joule-moq-web · browser end-to-end (macos) (push) Has been cancelled
repository checks / lockfiles, advisories, tests in CI, workflow hygiene, spec and section references, public text (push) Has been cancelled
wai-app and Create / wai-app · tests, clippy, the line language's verifier (linux) (push) Has been cancelled
wai-app and Create / wai-app · Create, browser end-to-end (macos) (push) Has been cancelled
wai-audit collector and player integration / collector · linux (push) Has been cancelled
wai-audit collector and player integration / collector, player integration and the browser end to end · macos (push) Has been cancelled
WAI operation catalogue / the catalogue and every door · linux (push) Has been cancelled
wai-fleet service / service · linux (push) Has been cancelled
wai-fleet service / service · macos (push) Has been cancelled
wai-ledger service / service · linux (push) Has been cancelled
wai-ledger service / service · macos (push) Has been cancelled
wai-quantum for JavaScript / javascript · linux (push) Has been cancelled
wai-quantum energy-landscape jobs / does this change touch it (push) Has been cancelled
wai-quantum energy-landscape jobs / reader, kernels, answers and the stated result · linux, release (push) Has been cancelled
wai-quantum energy-landscape jobs / the same bits · linux-arm64 (push) Has been cancelled
wai-quantum energy-landscape jobs / the same bits · macos (push) Has been cancelled
wai-quantum energy-landscape jobs / the module under wasm32-wasip2 (wasmtime) (push) Has been cancelled
wai-quantum energy-landscape jobs / native against WebAssembly, over many seeds (push) Has been cancelled
wai-quantum studio and desktop / studio · browser (push) Has been cancelled
wai-quantum studio and desktop / desktop app · macos (push) Has been cancelled
wai-quantum studio and desktop / desktop app · linux (push) Has been cancelled
wai-quantum studio and desktop / desktop app · windows (push) Has been cancelled
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (push) Has been cancelled
wai-sink-android native sink library / every ABI, the AAR, and the instrumented tests in a headless emulator · macos (push) Has been cancelled
wai-sink-swift native sink package / libwai slices, desktop tests, simulator tests · macos (push) Has been cancelled
WAI Studio / the catalogue's actions, the unit tests and the core · linux (push) Has been cancelled
WAI Studio / Studio in Chromium and Firefox · macos (push) Has been cancelled
WAI Studio / Studio in WebKit · linux (push) Has been cancelled
wai-key-proxy / proxy · linux (push) Has been cancelled
WAI breaking changes and the conformance runner / WAI breaking · does this change touch WAI (push) Successful in 10s
WAI breaking changes and the conformance runner / WAI breaking · wire, record and API against main · linux (push) Successful in 1m40s
WAI breaking changes and the conformance runner / WAI breaking and conform · their tests, and the independent verifiers through wai conform · linux (push) Successful in 5m31s
Registers wai.field.int_refine, refinement-only over the one base
wai.field.int_grid, StandardDefined: its payload WIL1 is one grid level of a
field (neural-fields §7.2). A level applies only as the field's next level, in
the features, table size and side the field declared for it; otherwise it is
refused (geometry_mismatch) and the field is as it was. The WIG1 and WIL1
parsers name each other's magic format_capability_mismatch.
staged-delivery §6.2 registers this level form (the former §6.2 and §6.3 are
now §6.3 and §6.4; staged-measurement's reference follows): the unit is the
whole field, layer k carries level K + k - 1, §4.1 step 9 is the next-level
rule, the stage hash is the SHA-256 of the render at the field's own view, the
tier decode-equivalence, every layer boundary a truncation point. So a coarse
field is presented first and every stage is presentable. SPEC §5: the
Refinement capabilities and Base admission rows, and the four residual
int_refine capabilities named as such where SPEC counts them.
wai-rs: int_field::{parse_wil1, Level, Field::apply_level, FieldStages}
(staged-delivery §4.1 for the field's one unit, a hold bound of zero);
AppliedForm::Level; the emit paths check WIL1 framing. The export tool writes
the fitted scene's two finer levels as WIL1. volumetric-conformance/fields/:
every prefix of the levels' values and frames, WIL1 faults for every check,
levels applied in order, out of order, twice, past the field and in the wrong
shape, and five staged sequences of envelopes with each outcome and the final
stage hash. field_verify.py parses and applies the levels and recomputes every
stage. A fifth planted fault, a level applied out of order, is caught by both.
The API breaks this makes are acknowledged in the change note.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
|
||
| .. | ||
| faults | ||
| scenes | ||
| staged | ||
| README.md | ||
| vectors.json | ||
Integer neural fields: conformance corpus
Vectors for wai.field.int_grid and its levels, wai.field.int_refine
(neural-fields). The criterion is field-equivalence: a
conforming sink computes, from each scene's WIG1 payload and every prefix of its WIL1
levels, exactly the values it states at its points and exactly the frame it states at each view,
by SHA-256, with no tolerance; it refuses every fault payload with the code stated; and it gives
every level and every layer it is offered the outcome stated.
Provenance. Generated here, with no capture and no download. The scenes are written by
tools/wai_int_field_export.py demo scenes/ (--check requires these bytes); everything else
is derived from them by wai_int_field_vectors gen.
Layout
scenes/<name>.wig1,scenes/<name>.l<k>.wil1: the payloads.orb: fitted to a procedural scene (a ball and a box of absorbing medium, coloured by position); four levels of four features, the two finer read through the spatial hash; the payload carries the two coarser levels and declares the other two, which are its refinementsorb.l2.wil1andorb.l3.wil1: three stages, each presentable.mlp: three levels of two features, two of them hashed, and a three-layer network, all seeded random: the network's general case, every level carried.edge: one level and one layer with weights of no fraction bits: a density past the 32-bit clamp that makes the medium opaque within one sample, colours past both ends of their range, and a view partly outside the domain.
vectors.json: for each scene, its points (corners, faces, the centre, points just outside the domain, and 24 seeded points inside), the extra views it is rendered at, and, for each stage (each prefix of its levels), the levels held, the values at every point, their values digest, and the frame digest at the scene's own view and at each extra view (anedgeview starts inside the domain, another has fewer units of length than samples);refusals, one fault payload for every check of §8,WIG1andWIL1, each with what it plants and its code;geometry, levels applied to the orb in order, out of order, twice, past its levels and in the wrong shape, each with its outcome (§7.3); andstaged, envelopes offered to the orb's stage set in order (§7.4, a hold bound of zero), each with the stage it reaches or the reason it is not applied, and the final stage, freeze and stage hash.faults/<name>.wig1,faults/<name>.wil1: the fault payloads, and the levels of the wrong shapegeometryapplies.staged/orb.<name>.wai: the base and the layers, asWAI1envelopes.
Running
cd ../../wai-rs
cargo run --no-default-features --features field_int --bin wai_int_field_vectors -- verify ../volumetric-conformance/fields
cargo run --no-default-features --features field_int --bin wai_int_field_vectors -- gen ../volumetric-conformance/fields # regenerate
cd ../volumetric-conformance
python3 -I field_verify.py fields
verify derives every file again and requires the committed bytes, recomputes every
statement, and requires each fault of §11 planted in the decode to fail at least one.
field_verify.py is the second implementation, written from the extension's text and sharing
no code with wai-rs: it parses, applies the levels, computes the values, renders and stage
hashes with its own integer arithmetic, checks every refusal and level outcome, and plants each
fault of §11 in its own decode. It reads the staged sequences' final stages, not their
envelopes.