Skip to content

Release rextio-tensorflow 0.1.3 - #18

Merged
rextio merged 7 commits into
mainfrom
0.1.3
Jul 27, 2026
Merged

rextio merged 7 commits into
mainfrom
0.1.3

Conversation

@rextio

@rextio rextio commented Jul 27, 2026

Copy link
Copy Markdown
Owner

Summary

  • release the bounded TensorFlow 2.21.0 / CPython 3.11 native-AOT Alpha as 0.1.3
  • add invocation-local reuse of validated resident tensor facts and prepared control handles
  • extend the bounded generated slice with rank-2 transpose and the four-round small-batch scoring control-flow proof
  • finalize package metadata, README, CHANGELOG, and CUDA historical-contract documentation

ABI and CUDA boundaries

This remains an owned thin wrapper over the pinned TensorFlow TFE C API and private EagerTensor bridge, not a pure-Rust TensorFlow implementation or stable ABI promise. The CUDA E3 lane remains build-only and non-certifying with support_claim=false, certification_ready=false, kernel_activity_verified=false, and runtime_transfer_profiled=false.

Verification

  • 65 focused package, CUDA contract, and evidence tests passed
  • the release metadata test passed after the final wording correction
  • Ruff and git diff --check passed
  • the pre-documentation 0.1.3 source head passed the complete 15-job hosted CI matrix; this PR reruns CI for the final release commit

Tagging and PyPI upload occur only after this PR is green and merged.

Rextio and others added 7 commits July 26, 2026 21:36
TensorFlow 0.1.3: context-bound constants and default transpose
Stamp dtype/rank/device facts on OwnedTensorHandle after full boundary or
operation-result validation, then reuse them for later typed checks of the
same resident intermediate inside one generated call graph. Core API 1.6 has
no per-function prologue hook, so reuse stays value-carried (no global or
thread-local tensor cache). TF_Status remains per-operation without a public
TF_ResetStatus. CUDA derivation preserves the facts short-circuit and GPU:0
device path. Add source contracts plus real-Cargo intermediate-chain and
small-batch scoring equivalence coverage.
Record delivered scope, non-claims, Core prologue-hook limitation, per-op
TF_Status rationale, and the small-batch equivalence command/interpretation
for the Unreleased 0.1.3 candidate.
Assert each of the three small_batch generated pyfunction bodies contains
for round_idx in 0..4 and the scalar rem-if branch, scoped per function so
unrelated loops elsewhere cannot satisfy the contract.
feat: 0.1.3 invocation-local reuse and small-batch scoring equivalence
@rextio
rextio merged commit 0e9b1f6 into main Jul 27, 2026
32 checks passed
@rextio
rextio deleted the 0.1.3 branch July 27, 2026 03:13
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.

1 participant