chore(main): release 2.0.0 - #152
github-actions[bot] wants to merge 1 commit into
Conversation
3621ee7 to
6bbfac0
Compare
82b417c to
5d44b71
Compare
1d3b7fd to
5f8cdbe
Compare
deb3752 to
4bfc172
Compare
df93416 to
66eda78
Compare
66eda78 to
2bf5d70
Compare
2bf5d70 to
0b0e10c
Compare
|
Read-only follow-up for exact release head 0b0e10c: the rollup is now populated, but both jobs in https://github.com/forkwright/logismos/actions/runs/34332890580 failed because Cargo.lock needs updating under --locked. Boundary job 102405441319 failed while provisioning locked Rust sources; HIP job 102405441045 failed for the same lock mismatch before its code-object witness. This is separate from the immediate post-approval empty-rollup failure tracked at forkwright/.github#71. The --locked guard is exposing a release-branch consistency problem; no guard/workflow changes or release merge were attempted. Main PR #187 had a passing locked boundary/HIP candidate and exact merged-tree equality. |
0b0e10c to
1dc74c1
Compare
|
The release-branch locked-provisioning failure recurs at |
73eb22c to
0604730
Compare
0604730 to
e43c687
Compare
## Scope Adds bounded, single-sequence (B=1) native whole-model chunk prefill. Existing constructors retain their one-token budgets; callers opt into an explicit checked maximum chunk size. - One packed plan derives active geometry, causal visibility, KV append extent, rotary controls and terminal output. - Capacity-sized workspaces use borrowed active spans; persistent KV/history/state are not multiplied by chunk capacity. - Q1 and multiquery attention share one private wave32 numerical body, preserving the existing Q1 ABI. - The opaque cache verifies original append offset and final visibility. Publication follows stream completion/status checks, and a failed prepared-KV publication restores pending-step custody. - CPU oracles/refusals and ownership/accounting witnesses cover the exercised domains. Synthetic native parity, continuation and late-fault witnesses remain ignored and unrun. ## Validation Exact head `16ef02486705592fdbe26d52e20d513e4b55e35e`, tree `179c3648911088725f0afe40f461588fbd7570f1`: - [Gate Attestation](https://github.com/forkwright/logismos/actions/runs/34502411614): formatting, Rust compilation and Clippy passed; 855 workspace tests passed (34 skipped), 178 release kernel tests passed (14 skipped). The separate doctest step was skipped. - [GPU-denied boundary](https://github.com/forkwright/logismos/actions/runs/34502410513): boundary/build-mode tests passed; 14 gfx1100 archive/code-object witnesses and 14 malformed-source rejections passed. Required external launcher symbol verified. - [Security](https://github.com/forkwright/logismos/actions/runs/34502411038): passed. - Independent bounded review cleared the implementation and shared-helper delta; subsequent CI fixes preserve geometry, arithmetic and publication ownership. Local candidate checks: GPU-denied formatting and Bash parser fixtures, runtime-scope structural guard, and diff checks. Hosted CI is the authoritative compile/test proof. ## Deliberate limits No GPU execution/probes, real model payloads, host-service changes, hardware/artifact/performance qualification, or serving/grant rollout. This additive unsafe standalone capability is not mixed-sequence model batching or full S4. Existing text/service consumers remain T1 until separately integrated. Release PR #152 is outside this lane.
e43c687 to
d276e56
Compare
## Scope Consumes the native B=1 model chunk capability landed in #196 through Hermeneus's existing exact prepared-text owner. - Adds `NativeTextResident::plan_generation_prefill(prepared, max_chunk_tokens)`; legacy `plan_generation` delegates with capacity one. - The requested capacity is passed unchanged into the exact decoder session plan. That same plan supplies device demand and execution capacity. - The adapter partitions nonempty input slices into bounded borrowed chunks, checks cancellation before each submission, releases intermediate outputs before continuing and copies only final logits. - Existing typed generation/session-close custody handles native, copy, release and cancellation failures. No duplicate text phase machine or resident-wide policy. - CPU fake-driver witnesses cover cap-one equivalence, uneven chunks, final-only copy, cancellation boundaries and stopping after native/release failure. Capacity refusal is exercised at the decoder-plan boundary; exact Hermeneus forwarding has source-review evidence. ## Validation Independent bounded review cleared the implementation; the final follow-up only makes an unchanged-logits test compare exact bits. Local formatting, runtime-scope structural guard and diff checks passed. Final candidate `2df61a18288b5a002ea6fa199ae72eceb3edd468`: - [Gate](https://github.com/forkwright/logismos/actions/runs/34504132899): fmt, check and Clippy passed; 859 workspace tests passed (34 skipped), 178 release kernel tests passed (14 skipped). The separate doctest step was skipped. - [GPU-denied boundary](https://github.com/forkwright/logismos/actions/runs/34504131653): boundary and HIP code-object jobs passed. The gfx1100 receipt records 14 archive members, 14 code objects and 14 malformed-source rejections with HIP 7.1.52802-26aae437f6. - [Security](https://github.com/forkwright/logismos/actions/runs/34504132311) passed. No GPU execution/probes, real model payloads or host-service changes. Synthetic control-flow witnesses do not prove real HIP release. No scheduler bridge, service endpoint, host grant, schema, physical capacity or hardware qualification is introduced. Release PR #152 remains outside this lane.
d276e56 to
ca5bd86
Compare
## Scope CPU-first model-level mixed-sequence transaction prerequisite for #46 and #150. This is atomic ownership over the existing private scalar model decomposition, not packed/vectorized arithmetic, native B>1 or full S4. - Adds an opaque borrowed `Qwen35BatchExecutionPlan` over existing independently positioned `Qwen35Execution` owners and ordered nonempty token slices. - Preflight checks each owner's exact step/context/token bounds, common verified content digest and serialized length, and one checked packed descriptor before state copies or KV reservations. The descriptor supplies execution cursors and final positions; heterogeneous per-sequence output selections remain explicit. - A consuming CPU `PagedPreparedCommit` retains rollback-on-drop and exposes only infallible publication. Every owner stages and every cache append prepares; the grouped output collection is complete before any cache/state/position publication. Existing single-session execution shares this primitive. - Aggregate logical CPU requirements compose admitted construction receipts: checked retained/copy/output sums, maximum sequential workspace, and a separately named conservative per-owner serialized-backing upper bound. Equal content is not allocation aliasing or physical residency. - Synthetic f64-oracle and private-state witnesses cover unequal histories, page/tail boundaries, later continuation, heterogeneous bounds/selections, identity refusal, plan drop, a late valid-token second-sequence failure, global rollback and retry. ## Validation Independent integrated source review cleared the production design. Root reviewed the subsequent lint-driven owner/geometry simplifications and the corrected typed late-error witness; no tolerance or gate was weakened. Combined GPU-denied formatting, runtime-scope structural and diff checks passed. Final candidate `1c7f056086724fb88ad15f03326cc596e8fca102` (tree `04745d270b264713887121d4e4bb3721d44e9bec`): - [Gate](https://github.com/forkwright/logismos/actions/runs/34509759772): fmt/check/Clippy passed; 868 workspace tests passed (34 skipped), 178 release kernel tests passed (14 skipped). The separate doctest step was skipped. - [GPU-denied boundary](https://github.com/forkwright/logismos/actions/runs/34509758849): CPU/denial and HIP object jobs passed. The gfx1100 receipt records 14 archive members, 14 code objects and 14 malformed-source rejections with HIP 7.1.52802-26aae437f6. - [Security](https://github.com/forkwright/logismos/actions/runs/34509759384) passed. The new model witnesses and all-page-size prepared-cache aggregate witness passed on this exact head. The late row refusal asserts the specific `ProjectionRow` / `NonFiniteF32Weight` source and bitwise rollback/retry. No local Cargo builds/tests, GPU execution/probes, real model payloads, host/service/mode changes, dependency changes, workflow changes or stable-core/hipcore changes. This CPU accounting is not an authenticated host grant, allocator/RSS measurement, physical capacity, serving or hardware qualification. Release PR #152 is outside this lane.
ca5bd86 to
7afb589
Compare
🤖 I have created a release beep boop
2.0.0 (2026-09-10)
⚠ BREAKING CHANGES
Shape/Layout/Tensoruse checked element counts;DTypeuses checked byte counts;Tensor::from_cpu,Layout::from_parts,CacheLayout::newandFlatKvCache::neware fallible. The old alternatetry_from_cpuentry is consolidated, public cache fields are private, fp32 softmax and unit normalization returnResult, and embedding normalization retains the shared typed kernel cause. In-tree consumers and tests are migrated.coretologismos_core. Cargo package identity and public facade/traits/errors are unchanged. Direct consumers using the old library-target import must migrate; existing project-qualified dependency aliases remain valid.Features
Bug Fixes
Documentation
This PR was generated with Release Please. See documentation.