Skip to content

tests: realign stale AVS fixtures with resolved-M CUBE contracts - #319

Merged
zhoubot merged 1 commit into
mainfrom
fix/mainline-avs-318
Sep 16, 2026
Merged

zhoubot merged 1 commit into
mainfrom
fix/mainline-avs-318

Conversation

@zhoubot

@zhoubot zhoubot commented Sep 16, 2026

Copy link
Copy Markdown
Contributor

Change contract

Normative delta

No architecture-visible behavior changes. This realigns nine stale AVS fixtures with already accepted resolved-M CUBE layout, TFMA DATR applicability, CUBE allocation-size, and ASL sequencing contracts.

  • Compatibility: compatible; tests-only corrections with unchanged binary fingerprint
  • Downstream obligations: not applicable

Agent review

  • Independent reviewer execution: /root/review_pr318_exact
  • Review verdict / findings: approved; no findings
  • Receipt check: scripts/prepare-pr --base origin/main --head HEAD --review build/pr-review-318.json passed for the exact reviewed head

Projections and focused evidence

  • Generated instruction pages and navigation were regenerated from ASL. (N/A; no ASL or generated projection changed.)
  • Focused positive, boundary, negative, and state-transition tests cover the delta. (Exact nine-point AVS page: 9 passed, 0 failed.)
  • Catalog, requirement, profile, and evidence projections were updated when owned by this change. (N/A; none are owned by this tests-only change.)
  • No legacy, archive, backup, or second normative explanation was added.
  • make pr-check (11 checks passed)
  • git diff --check

Release boundary

  • I understand that PR validation is intentionally lightweight.
  • Full ASLRef verification, every independent AVS result, and reproducible release evidence are deferred to the manually dispatched exact-head release workflow.
  • Release verification is required for this change, or the reason it is not required is stated below.

Release impact and known gaps: no release verification is required for this tests-only fixture correction. No known gaps remain for the nine repaired points.

Fixes #318

Nine mainline AVS regressions tracked in #318 are stale test fixtures,
not model regressions:

- tile-fault-cube-location-003 used a exactly-sufficient 512B CUBE
  allocation as its undersized negative case.
- tile-exec-tnot-cube-m16-m32-001 asserted a non-pure func call
  directly (TE_SEV).
- block-bound-bstart-tmatmul-bias-shape-001 and
  tile-bound-matrix-bias-001 discarded ConfigureCubeTile results
  (TE_BC).
- block-exec-bstart-tmatmul-bias-shared-001, tile-exec-matmul-001,
  and tile-exec-physical-accumulator-classes-001 kept RowMajor bias /
  accumulator fixtures that violate the resolved-M CUBE layout
  contract (ADR-CUBE-0006 amendment).
- tile-bound-matrix-source-001 relied on the retired TileLocation
  discriminator for its negative case; a CUBE-layout source is the
  current rejection carrier.
- tile-bound-tfma-datr-001 predates the intentional TFMA
  allowed_nonzero_fields Layout addition (PTO-TFMA-CONTRACT-001).

All nine tests pass under PTO_ASLREF_ROOT AVS reruns.
@zhoubot
zhoubot enabled auto-merge (squash) September 16, 2026 08:55
@zhoubot
zhoubot merged commit 86f4607 into main Sep 16, 2026
3 checks passed
@zhoubot
zhoubot deleted the fix/mainline-avs-318 branch September 16, 2026 08:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Main-line AVS regressions from #291/#310 invisible to page-0-only validation

1 participant