Repository navigation
Conversation
#3715) A3 (operator 17:28Z): in release mode (APR_RELEASE_SHA256/APR_RELEASE_COMMIT) model_ladder.sh step 0 refuses any $APR that is not an ABSOLUTE path whose sha256 equals the pin and whose --version names the release commit. models_t1.sh hands both legs the rc build that way; the receipt records apr_sha256, and apr_sha is the release commit. check_ladder_apr_release_pin.sh plants a different-sha apr first on PATH: 9 cases (0 planted invocations), 5 mutants killed. H1 (operator 17:50Z): every cell runs under a hard timeout, 600 s by default, with per-class values floored at 300 s. A timeout is a FAIL with timeout_s, wall_s and timed_out recorded in the row. The whole process GROUP is killed: the old subprocess timeout killed only flock, so the apr grandchild kept the GPU. H5: --takt-plan arms clock-driven checkpoints (+2/+4/+6 h). A checkpoint below 90% of plan writes ANDON H5 to stderr and <takt-log>.andon at once. check_ladder_cell_timeout_takt.sh: 10 cases, 6 mutants killed. H4 sampling: --select <rung>:<mode|max>. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Agent: aprender-0d
…adline (#3715) The run verb retries up to 3 times on low density; each retry got a fresh 600 s, so one cell could take 1800 s while its receipt said timeout_s=600. The cell now has one deadline and every call inside it gets what is left. Falsifier: case timeout-bounds-the-cell-not-the-call + mutant per-call-not-per-cell. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Agent: aprender-0d
noahgift
added a commit
that referenced
this pull request
Oct 3, 2026
…rename release:ModelCell Re-ran the hotspot check that §4 requires before B2 and OBS-05, git only, against origin/main 316dee2. Trial merges used the old git merge-tree, with one positive and two negative controls. Every conflict in B2 (6 code files) and OBS-05 (ontology/shapes.rs) comes from one commit, 989cb01 (fold(0.70) #4655). Of the added lines in the ONT-10 PR heads, #4587/#4588/#4589/#4611 have 99-100% on main and #4615 has 93%; the not-on-main controls score 2.6% and 11.2%. So the "after ONT-10" condition is met in content. B2 duplicates nothing on main, but the class release:ModelCell now means two things. On main, v1 (since 989cb01) uses it for a non-generating model-command cell whose shape requires release:row. Seg 7's v2 uses it for a cell derived from kernel cells whose shape requires release:usesKernel. B2 renames its class before the PR. This is a static reading; no cargo was run (C277). Agent: la-0.71 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Member
Author
|
Closed: grows build-path Python, against the operator ruling of 2026-10-04. The work returns as a Rust port (the build-path Python port ticket). Branch kept. |
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.
Refs #3715. This PR is stacked on #4603 (B1).
A3 (operator 17:28Z). In release mode,
model_ladder.shstep 0 accepts only an ABSOLUTE$APRwhose sha256 equalsAPR_RELEASE_SHA256and whose--versionnamesAPR_RELEASE_COMMIT.models_t1.shpasses both legs the rc build this way, and the receipt recordsapr_sha256.Falsifier
scripts/check_ladder_apr_release_pin.shputs a different-sha apr first on PATH in every case:H1 (operator 17:50Z). Every cell has a hard timeout: 600 s by default, per class floored at 300 s. A timeout is a FAIL, and
timeout_s,wall_sandtimed_outgo into every row. The process group is killed; before this, onlyflockdied and the apr grandchild kept the GPU.H5.
--takt-plan(envMODEL_LADDER_TAKT_PLAN) checks at +2, +4 and +6 h. Completed cells below 90% of plan writeANDON H5at once.scripts/check_ladder_cell_timeout_takt.sh: 10 cases, 6 mutants killed.Local receipts (lambda, plus intel for the two new checks):
check_ladder_apr_release_pinPASScheck_ladder_cell_timeout_taktPASScheck_ladder_cells_producerPASScheck_release_models_t1PASS, 43 rowscheck_ladder_provenanceOKcheck_model_ladder --self-test: 152 cases, 1 bad. The bad case istomllibmissing from python < 3.11 on lambda and intel (ladder_equiv.py); this PR does not touch that file.🤖 Generated with Claude Code