Repository navigation
main receives the v0.4.0 line: release/v0.4 at 93fbe7df9 - #319
Merged
Merged
Conversation
…ored in RustRuntime (modules by exported path), their differential and refinements; the module decoder and the identity readers run on a stack of their own" This reverts commit 882bdf4.
…RustType.overflow, and counts; shipped modules regenerated
Slice 3 of #30: text classifiers, composition and adapters, no prompt as code (LM-07..LM-09)
…w) as the Rust validator does (isOverflowErr, three crates, counts 442/195/305/81 = 747); core_from, so the in-case plants go through the call core() makes, with the bare-Ok plant; SPEC.md 17.16 fixed fuel, match on a block, both validators; records
…isOverflowTy, BS-05 counts with i128 (443/195/306/82 = 749), SP-22 in a bdd part of its own with the plant on one theorem, identity_bytes reads on a stack of its own
…roofs' definitions
…merged identity (#32)
…readers; the measurement and the single identity regeneration recorded
…ed locally; the bare-Ok plant names the shared arm, not nat_add
…nd the meaning of equal and compare: register rows, SPEC.md 31 rows, scenarios, and the failing named tests
…y point, so a second data module reads through the same closed tables
…pport items of the core runtime as its data, shipped byte for byte
… validator with its named rules, and the core runtime's base replaced by the printed support crate; RB-17's case
…two sets, SPEC 17.16 and the register restated
…first scalar, so each elaborates within the host's memory
…ith the natural and the integer, a CI part for the support leg
… decodes once, the refines_<path> clause in SPEC, VERIFICATION's SP-22 command and the 142 s label
…entrypoints sorted
…er nested keys of depth two and three, measured
std-models, std-reasoning, and the helpdesk application (#32, L2.3)
… at SP-29 (conformance_rp_07, rp_11) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_018vK7Tm6xHF5etAwKM6r9HG
…h of VERIFICATION carries this level's figures
…ap-prims #91 stage 4, H4-0: the meaning of the buffer, share, and replace primitives over the model, kernel-checked (SP-28)
…emantics identity; locks, goldens, calculus, packages, fixtures and provenance regenerated Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013QppGKetUURseXowZun9KY
… but the Atlas, on the moved identity Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013QppGKetUURseXowZun9KY
…ppend, the one line append_list now calls Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013QppGKetUURseXowZun9KY
…teen shard artifacts of the first gate run Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013QppGKetUURseXowZun9KY
…ap-h4a #91 stage 4, H4a: the first four std runtime functions as source — append_list, length_list, index_list, slice_list (SP-29, RB-20)
…emantics identity; locks, goldens, calculus, packages, fixtures and provenance regenerated Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013QppGKetUURseXowZun9KY
… but the Atlas, on the moved identity Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013QppGKetUURseXowZun9KY
…teen shard artifacts of the first gate run Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013QppGKetUURseXowZun9KY
…ap-h4b #91 stage 4, H4b: the byte and text functions of the std runtime as source; landed with its identity regeneration Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013QppGKetUURseXowZun9KY
…34-version-0.4.0 The line gained #293 and #297 and regenerated the 25 build manifests and the two fixture records on the moved compiler-semantics identity; those 27 files are taken from the line here and rewritten for 0.4.0 in the next commit. The register is 456 at every site (the bump changes no count). Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
… moved identity compiler.version in the 25 expected/build/manifest.json files and the two fixture records that hash them (cl-05-build-artifacts, vr-11-exact-success), written with cargo xtask check-golden --write and check-fixtures --write over the regenerated records of the line; the manifests differ from the line's only in the version string. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
…he register, the three compiler-semantics IDs, and exactly which bootstrap and runtime stages this tag ships Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013QppGKetUURseXowZun9KY
…nly at this tag, and the language-model rows it carries Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013QppGKetUURseXowZun9KY
…reads prose too) Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013QppGKetUURseXowZun9KY
….4.0 [0.4] #34: the workspace version is 0.4.0 and the 0.4.0 release notes; the v0.4.0 tag commit Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013QppGKetUURseXowZun9KY
…ts, so the release run starts GitHub validates a reusable workflow at startup against the permissions and secrets its caller passes, before any job condition is read. crate.yml's upload job declares id-token: write and reads the crates.io secret, and the release workflow granted neither, so every release run, rehearsal or tag, ended as a startup failure (run 40219629854 on release/v0.4 at 71c6bd8). Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013QppGKetUURseXowZun9KY
…e cargo version used cargo 1.97.1's `publish --dry-run` leaves the archive under `<target-dir>/package/tmp-crate/`, where the readiness step read `<target-dir>/package/<crate>` and failed with "No such file" (rehearsal 40220072633, job crate readiness). Reproduced locally with the pinned toolchain; the archive's bytes equal `cargo package`'s, as the step asserts. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013QppGKetUURseXowZun9KY
… name too, and the oracle reads the lines the workflows now carry The publish job of release.yml read the dry-run archive at the path cargo 1.97.1 no longer uses, as the crate readiness step did, and it runs only on a tag, so no rehearsal would have caught it. RP-18's conformance case reads the two workflows as text and asserted the old `cmp`, `metadata` and `identity` lines of crate.yml; it now asserts the lines the workflows carry (`"$dry_crate"`), with its plants following. conformance_rp_18 passes on this tree. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013QppGKetUURseXowZun9KY
release.yml and crate.yml: the release run starts and finds its dry-run archive; the v0.4.0 tag commit Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013QppGKetUURseXowZun9KY
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
What
mainreceives therelease/v0.4line at its tag, as the release-lines rule of 2026-10-20 says (SPEC.md §9.4,RP-14). The line's head93fbe7df9(merge of #318) is thev0.4.0tag commit: workspace version 0.4.0 (#309), the 0.4.0 release notes, and the release-workflow fixes (#318).mainat6bcc8d598is an ancestor, so this is the line's own history with no new commit of its own; a direct push tomainis declined by the repository rules, hence the pull request.Evidence
Every commit on the line landed through a green full gate on its own pull request; the tree is the one
release/v0.4's post-merge run accepted. No file changes beyond what the line carries.Generated by Claude Code