ReviewOS

zig-utils/zig-js

Perf: admit partially inherited exact-parent measurement overlays

#842
Closed chris opened this 11 days ago ·
11 days ago

Parent: #461 Blocks: #734 Related: #775

Problem

The schema-v3 exact-parent validator requires both one-commit binary overlays to report every path in the fixed shared-measurement inventory as changed. That rejects a logically valid historical pair when some measurement blobs were already inherited unchanged by both logical revisions: #734 already contains three of the twelve frozen V24 files, so applying the identical audited overlay changes only nine paths. Fabricating no-op content changes would corrupt provenance.

Scope

  • Validate that binary revisions remain one-commit children of their logical revisions.
  • Reject every changed path outside the frozen shared-measurement inventory.
  • Require the effective overlay blob for every inventoried path to be identical between parent and candidate, whether newly changed or already inherited.
  • Require both sides to change the same non-empty subset and retain the full measurement-surface inventory in artifact metadata.
  • Add fail-closed fixtures for partially inherited, asymmetric, undeclared, and blob-divergent overlays.
  • Version the representative matrix and keep historical artifacts unchanged.

No-workaround rules

No dummy edits, weakened binary ancestry, omitted paths, normalized blobs, source transforms, benchmark recognizers, or reuse of whole-process occupancy as invocation-boundary CPU evidence.

Acceptance

  • The exact #734 parent/candidate overlay validates with nine real changes and three already-inherited identical measurement blobs.
  • Undeclared, asymmetric, empty, ancestry, and blob mutations fail closed.
  • Exact-parent self-tests, representative matrix mutations, benchmark harness, docs/link gates, and Test262 flip accounting pass.
11 days ago

Implemented and pushed to main in fix(bench): admit inherited measurement overlays (#842).

The exact-parent validator now distinguishes the complete frozen measurement surface from the symmetric non-empty subset actually changed by each one-commit overlay. It still rejects ancestry drift, empty/asymmetric subsets, undeclared paths, and any effective blob divergence. Representative matrix V31 freezes that contract.

Validation:

  • benchmark harness structural inventory: 18/18 passed
  • representative matrix fail-closed mutations: 66/66 passed
  • dependency audit passed
  • docs link audit: 309 files passed
  • BunPress build: 50 pages passed
  • Test262 flips: 0

This unblocks #734 without dummy source edits or reduced provenance checks.

Sign in to comment on this issue.