v0.4.0

Rustev 0.4.0

Generated from the governed corpus at commit 983b4ac4ef4707b314b0ecf5b3edb158cceb1f6f, since v0.3.0 (spec 031, 3.10).

Compatibility

• MSRV 1.88, edition 2024.
• Plan identities: CHANGED for the plans marked below (a breaking release under 3.6.4).
  • lodging: sha256:1cf9e502ab4432141a2d8b0148d1815cda5472c17e46af25694ce8d7362b13cd (was sha256:410b42c91fdd231801863c8878b79de4ce31c31a3b8c8755ed2a4c5cdf0b3cec)
  • support: sha256:c5dda352ec5f8401d7041384eeba6cb418c8ca7d63f5151b20d3a674e2116e5a (was sha256:f48db64a36c17bf51db2ab5600a29a84a2f12e897a7c909cf7ea9497a69b7702)
• Superseded document and protocol versions: none.

Specifications

001-boundaries-and-authority: Ecosystem boundaries, proposals versus authority, and product principles

• approved text changed; now approved, implementation complete.
• Approved: A-01.
• Commits:
  • b1f3d3ba ops(001,027,031): runner disk freed for acceptance; PR runs skip unaffected bindings and release checks (#461)

004-evaluation-and-replay: Evaluation and replay

• approved text changed; now approved, implementation complete.
• Amends: 002-decision-contract-and-pure-core, 003-runtime-execution-and-evidence.
• Commits:
  • ae717a19 ops(004): the parallel seed run fits the runner's disk (#460)

011-semantic-backend: Local semantic backend: frozen embeddings and a linear head

• approved text changed; now approved, implementation pending.
• Approved: A-28.
• Amends: 001-boundaries-and-authority.
• Commits:
  • 5d67df0e impl(011): increment 1, the crate, the manifest and the synthetic encoder (#437)
  • a49e40fd impl(011): increment 2, the boundary check extension (#442)
  • 50ca9add spec(011): the Node local-embed build counts toward platform qualification (#449)
  • 41b490d4 fix(011): only direct local-inference edges skip own-graph confirmation (#444)
  • e8d1c0fe impl(011): increment 4, the embedding cache (#445)
  • 3dca8fd7 impl(011): the feasibility record and the inference dependencies (#455)
  • 4be5525e impl(011): stage 4 measured on linux-aarch64-gnu (#462)
  • e3515f56 impl(011): increment 3 part a, text, tasks, tokenization and check_plan (#456)
  • 5d99972f impl(011): increment 5, the synthetic support-routing heads and the evidence, replay, swap and plan-golden tests (#469)

012-jev-integration: Jev integration (remote decision backend)

• approved text changed; now approved, implementation complete.
• Approved: A-09.
• Commits:
  • 99c7b8c4 spec(012): the smoke harness reads the key per transport from a named key file (A-66) (#393)
  • 6ce5d1d2 impl(012): the smoke harness reads the transport's key from --key-file, with a direct transport (#400)
  • 2f7b8e62 impl(043): enforce A-75's USD 10 testing cap (#476)

021-packaging-and-first-release: Packaging and first public release

• implementation pending to complete; approved text changed; now approved, implementation complete.
• Approved: A-20.
• Amends: 006-cli-surface, 007-support-routing-package.
• Commits:
  • cfed1e76 spec(021): acceptance audit and completion (#470)
  • 983b4ac4 release: the family version moves to 0.4.0 and spec 060 is ratified (A-76); every PlanId changes, re-derive PlanId-keyed baselines, ledgers and caches (#480)

022-jev-production-transport: Production transport and served identity for the Jev adapter (amends 012)

• implementation in-progress to complete; approved text changed; now approved, implementation complete.
• Approved: A-21.
• Amends: 012-jev-integration.
• Commits:
  • 54cbcea1 impl(022): the direct mapping and stage 2's recorded exchanges (#401)
  • f19cffe1 spec(022): a qualification construction for stage 3, and its binding's public facts (A-68) (#402)
  • a1e0fd3f spec(022): accepting stage 3 and constructing a production binding (A-69) (#409)
  • c593fd4d impl(022): the stage 3 qualification construction, stage 2 at jev-1.14.0 and stage 3's record (#406)
  • 4bfa9f95 impl(022): production acceptance, stage 3 records and production construction (#439)
  • eee08552 spec(022): accept the stage 3 record and mark 022 complete (#443)
  • 8f8f87db impl(044): increment 8, the production batching posture (#452)
  • 2f7b8e62 impl(043): enforce A-75's USD 10 testing cap (#476)

027-node-and-wasm-bindings: Node-API binding and WebAssembly build

• approved text changed; now approved, implementation complete.
• Approved: A-23.
• Commits:
  • b1f3d3ba ops(001,027,031): runner disk freed for acceptance; PR runs skip unaffected bindings and release checks (#461)

028-opentelemetry-evidence-sink: OpenTelemetry evidence sink and redaction policy

• approved text changed; now approved, implementation complete.
• Approved: A-24.
• Amends: 001-boundaries-and-authority, 006-cli-surface.
• Commits:
  • 6894e860 test(028): the panicking exporter case no longer races its export deadline (#363) (#478)

029-evaluation-repeatability: Evaluation repeatability, baselines, diffs and selection gates (amends 004 and 006)

• approved text changed; now approved, implementation complete.
• Approved: A-25.
• Amends: 004-evaluation-and-replay, 006-cli-surface.
• Commits:
  • f1f08cd5 fix(029): the selection gate compares tolerance boundaries in exact decimal (#474) (#479)

030-bedrock-backend: Hosted model platform backend: AWS Bedrock

• implementation in-progress to complete; approved text changed; now approved, implementation complete.
• Approved: A-26.
• Amends: 001-boundaries-and-authority.
• Commits:
  • bfe423cc spec(030): the aws-config feature reads environment credentials only (A-65) (#391)
  • 3084c8d2 impl(030): live probe and smoke, recorded fixtures (#392)
  • e9aaa9da impl(030): increment 4, the recorded Responses exchange (#416)
  • d1cef663 spec(030): verification and closure (#420)
  • 2f7b8e62 impl(043): enforce A-75's USD 10 testing cap (#476)

031-public-api-and-release-family: Public API facade, compatibility policy and release family (amends 021)

• implementation in-progress to complete; approved text changed; now approved, implementation complete.
• Approved: A-27.
• Amends: 001-boundaries-and-authority, 008-reference-package-lodging, 010-integrations, 021-packaging-and-first-release.
• Commits:
  • ef6d06f0 spec(031,056,058): accept npm packages without provenance while npm refuses trusted publishing (#450)
  • b1f3d3ba ops(001,027,031): runner disk freed for acceptance; PR runs skip unaffected bindings and release checks (#461)
  • 1485f171 impl(042): the image built, checked and scanned in the release workflow (#459)
  • 1112c7d8 spec(031): declared verification (#467)
  • fc536394 spec(031): complete; acceptance met for v0.3.0 (#472)

037-generation-steps: Generation steps with deterministic backstops and per-field origin (amends 002, 003 and 004)

• approved text changed; now approved, implementation complete.
• Approved: A-34.
• Amends: 002-decision-contract-and-pure-core, 003-runtime-execution-and-evidence, 004-evaluation-and-replay.
• Commits:
  • 8edc2445 spec(037): amend the F1 result-cache fixture to the decision cache (A-64) (#389)

039-model-backed-rank: Model-backed rank and deterministic backfill (amends 002 and 005)

• approved text changed; now approved, implementation complete.
• Approved: A-36.
• Amends: 002-decision-contract-and-pure-core, 005-reference-backends.
• Commits:
  • f94b716c impl(039): Bedrock rank, part a, the admission under spec 030 3.12 (#422)
  • 7a9625f2 impl(039): Bedrock rank, part b, the rules and Bedrock swap test (#424)
  • 1553fbe6 impl(039): Bedrock rank swap test repeats under version 3 (#428)
  • 041b6696 spec(039): declare the Bedrock rank verification (#429)
  • d82dc353 impl(039): the paid live Bedrock rank smoke, recorded (#448)
  • 2f7b8e62 impl(043): enforce A-75's USD 10 testing cap (#476)

041-ranking-and-rubric-metrics: Ranking, constraint-match and rubric metrics; pluggable scorers (amends 004, 014 and 029)

• approved text changed; now approved, implementation complete.
• Approved: A-38.
• Amends: 004-evaluation-and-replay, 014-report-integrity, 029-evaluation-repeatability.
• Commits:
  • 2cfbfee7 impl(041): repeat evaluation applies the adapter's measures (#425)

042-decision-service-and-remote-seams: Decision service sidecar and remote context and sink protocols (amends 010)

• implementation in-progress to complete; approved text changed; now approved, implementation complete.
• Approved: A-39.
• Amends: 010-integrations.
• Commits:
  • e1e08964 impl(042): increment 3, the rustev-serve image definition (#395)
  • 8cd9c0c2 impl(042): increment 4 part 1, the callback host server and the seam queue (#403)
  • 0f2440ac spec(042): name the explanation request and answer documents (3.8.3) (#404)
  • f0f3026c impl(042): increment 4 part 2, the remote context client (#405)
  • d2a496f6 impl(042): increment 4 part 3, remote context sources in the service and context invalidations (#407)
  • 15dbf97a impl(042): increment 4 part 3 follow-up, one invalidation pass per poll tick (#413)
  • 8b57c7da spec(042): per-decision parallel requests in the service configuration (3.5.4, 3.15) (#414)
  • 8e4dec03 impl(042): per-decision parallel requests in the service configuration (#415)
  • 23ab2dd6 impl(042): increment 6 part 1, the explanation request and answer documents (#411)
  • 1d5fd7ea impl(042): increment 5 part 1, shared conformance runner and the run goldens through the service (#410)
  • 8517df9f impl(042): increment 5 part 2, serve surfaces and runtime cases through the service (#418)
  • 9550e2e1 impl(042): increment 5 part 3, callback protocol conformance (#423)
  • 682bde9d impl(042): the runtime cases run on one thread (#426)
  • bc1484c6 impl(042): increment 6 part 2, the explanation handler (#430)
  • 1519ba6e spec(042): variant and base profiles in plan bundles (3.3, A-71) (#432)
  • 44f9f04c impl(042): increment 7 part 1, the acquire documents (#433)
  • 09c3c1b3 impl(042): increment 7 part 2, acquire over the callback protocol (#434)
  • cf797a03 impl(042): increment 7 part 3, acquisitions in the service (#438)
  • 3dc1e1ce impl(042): increment 8, spec 034 bundles and signing (#441)
  • 3d8cad38 fix(042): wait for the in-flight call in the full-queue test (#446)
  • 1485f171 impl(042): the image built, checked and scanned in the release workflow (#459)
  • ff7b97ab fix(042): a panicking decision task answers internal_error (#466)
  • cf3ae8d7 spec(042): declared verification (#468)
  • 1d2430b3 spec(042): complete; acceptance met (#477)

043-live-re-execution-at-scale: Live re-execution at dataset scale with spend caps (amends 026 and 006)

• implementation in-progress to complete; approved text changed; now approved, implementation complete.
• Approved: A-40.
• Amends: 006-cli-surface, 026-live-re-execution.
• Commits:
  • 468051b6 impl(043): increment 5 part a, journal queries for the run engine (#396)
  • ca81e1ef spec(043): per-case live evidence document and deferred rate-limit pause (A-67) (#399)
  • 6408a2c7 impl(043): increment 5 part b, the run engine (#397)
  • 4b3a696f impl(043): increment 6, evaluation of observed live results (#398)
  • 5de6139c impl(043): increment 5 part c, the run summary (#412)
  • 90dcc798 impl(043): increment 8, repeat outputs of a live run (#417)
  • db278718 impl(043): increment 9, crash injection and the spend property (#419)
  • c398bde2 impl(043): increment 10, the per-case live evidence document (#421)
  • 2db7c94e impl(043): increment 11, comparison with the source (#427)
  • 51e5f643 impl(043): increment 12, live or captured acquisitions (#431)
  • b67597a2 impl(043): increment 7 part a, rustev eval live and rustev-live in the release family (#435)
  • 973d5106 impl(043): increment 7 part b, the remaining CLI inputs and declared verification (#436)
  • 9d4356b8 impl(043): resumed probes take fresh decision ids (#440)
  • f31ed264 impl(043): the live provider stage, run and recorded (#454)
  • 5a6df33f spec(043): live runs refuse final_test; 043 complete (#465)
  • 2f7b8e62 impl(043): enforce A-75's USD 10 testing cap (#476)

044-runtime-optimization-increment-2: Runtime optimization increment 2: duplicate suppression, persistent and decision-result caches, batching qualification (amends 017, 003, 002, 009, 012 and 020)

• implementation in-progress to complete; approved text changed; now approved, implementation complete.
• Approved: A-41.
• Amends: 002-decision-contract-and-pure-core, 003-runtime-execution-and-evidence, 009-remote-adapter-protocol, 012-jev-integration, 017-general-runtime-optimization, 020-remote-protocol-refinements.
• Commits:
  • 27316062 impl(044): increment 5 part d1, the serve-within-freshness refresh policy (#381)
  • 0727295f impl(044): increment 5 part e, the decision cache over acquisition, widening, generation and extraction steps (#382)
  • d42bb23b impl(044): increment 6 part a, the rustev.batch-qualification/1 report and its verdict (#383)
  • 655c35ad impl(044): increment 6 part b, batching qualification stage 1 for the remote-http and Jev adapters (#385)
  • b2c5100b impl(044): increment 7, benchmarks and declared verification (#386)
  • 15d73dec spec(044): the recompute representation and the stage 2 agreement bound (A-64) (#388)
  • a965ae81 impl(044): increment 5 part d2, on_refresh_failure recompute (#390)
  • b7984a48 impl(044): stage 2 of 3.8 for the Jev adapter, measured not qualified (#408)
  • 8f8f87db impl(044): increment 8, the production batching posture (#452)
  • 9a14901f impl(044): stage 2 of 3.8 for the remote-http adapter; 044 complete (#471)

056-release-0-1-1-and-consumer-qualification: The next family release: a CLI version command, declared consumer examples and the fresh-consumer qualification (amends 006, 007 and 031)

• implementation in-progress to complete; approved text changed; now approved, implementation complete.
• Approved: A-58.
• Amends: 006-cli-surface, 007-support-routing-package, 031-public-api-and-release-family.
• Commits:
  • 9252d825 fix(056): three qualification harness defects found by the v0.3.0 run (#384)
  • ef6d06f0 spec(031,056,058): accept npm packages without provenance while npm refuses trusted publishing (#450)
  • 66609852 ops(056): qualify can run the default branch's harness against a published tag (#451)
  • 595e3523 fix(056): the qualify harness starts npm on Windows (#463)
  • 98a5732f spec(056,058): 0.3.0 qualified on all seven platforms; both complete (#464)

058-one-tagged-run-releases-the-family: One tagged run releases the family (amends 021, 031, 053 and 056)

• implementation in-progress to complete; approved text changed; now approved, implementation complete.
• Approved: A-61.
• Amends: 021-packaging-and-first-release, 031-public-api-and-release-family, 053-signed-release-candidates, 056-release-0-1-1-and-consumer-qualification.
• Commits:
  • 1596b03d impl(058): increment 3 part a, retire the old release entry points (#365)
  • a659147a impl(058): increment 3 part b, retire the hosted-release and journaled qualify paths (#366)
  • 80ca65e5 impl(058): increment 3 part c, retire the signed instruction and the journal (#367)
  • 749d68c1 impl(058): increment 3 part d, retire the crates.io upload and the signed manifest (#368)
  • a8ac3c4d docs(058): record the 0.3.0 release, released and not qualified (#387)
  • ef6d06f0 spec(031,056,058): accept npm packages without provenance while npm refuses trusted publishing (#450)
  • 98a5732f spec(056,058): 0.3.0 qualified on all seven platforms; both complete (#464)
  • 983b4ac4 release: the family version moves to 0.4.0 and spec 060 is ratified (A-76); every PlanId changes, re-derive PlanId-keyed baselines, ledgers and caches (#480)

059-shared-remote-transport-by-dependency: Shared remote transport by dependency, not by source link (amends 001, 010, 012, 030 and 049)

• new; now approved, implementation complete.
• Approved: A-70.
• Amends: 001-boundaries-and-authority, 010-integrations, 012-jev-integration, 030-bedrock-backend, 049-opentelemetry-through-the-node-binding.
• Commits:
  • b2581321 spec(059): shared remote transport by dependency, not by source link (amends 001, 010, 012, 030 and 049); ratified (A-70) (#394)
  • 0fd35ede impl(059): shared remote transport by dependency, not by source link (#453)

060-the-service-image-in-the-release: The service image in the release (amends 031, 056 and 058)

• new; now approved, implementation in-progress.
• Approved: A-76.
• Amends: 031-public-api-and-release-family, 056-release-0-1-1-and-consumer-qualification, 058-one-tagged-run-releases-the-family.
• Commits:
  • 646eee37 spec(060): the service image in the release (amends 031 and 058) (#458)
  • 983b4ac4 release: the family version moves to 0.4.0 and spec 060 is ratified (A-76); every PlanId changes, re-derive PlanId-keyed baselines, ledgers and caches (#480)