ci: bump actions/cache from 4 to 6 - #2
Merged
Conversation
Bumps [actions/cache](https://github.com/actions/cache) from 4 to 6. - [Release notes](https://github.com/actions/cache/releases) - [Changelog](https://github.com/actions/cache/blob/main/RELEASES.md) - [Commits](actions/cache@v4...v6) --- updated-dependencies: - dependency-name: actions/cache dependency-version: '6' dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <support@github.com>
a9lim
added a commit
that referenced
this pull request
Aug 9, 2026
… W7; typed fragment Fresh audit #1 (sol-tier, threadless): physics CONFIRMED-SOUND, but two countermodels (WF fire collision; Pα post-erasure re-seek under an admitted certificate), an instance-key injectivity gap, a fuzzed duplicate fresh call via alpha-decode, and honesty defects. All reproduced locally before correction. v1.8 (kernel.md §15): certified erasure leaves branch-consistent decode records; the refire guard makes one-fire-per-instance a runtime machine invariant (v1.7's alpha-cargo compile-time obligation discharged and deleted); discover_total validates its fixpoint and refuses unsound certificates (Pα heals to {1/4, 3/4} via the conservative fallback); W7 fibre coherence + mechanized range disjointness; typecheck.py = the typed h-only fragment judgment (15/18; q itself untypable — qprime is its repair). The sixteen stay marginal-, support-, and basis-identical. Auditor's reproducer reruns clean; fuzz 250/250. PASS re-claim gated on fresh audit #2. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
a9lim
added a commit
that referenced
this pull request
Aug 9, 2026
…ed, W registered placement-open Fresh audit #2 FAILed v1.9 (the W fatal witness: clean validation, wrong physics — a zero-amplitude structural refire vetoing B's coherence-restoring certificate; W8 preservation; (e) grouping; checker totality). Working-thread verdict on the design fork: amplitudes decide run success, never isometry; no bare-term ideal oracle exists. v1.10: structural admission/isometry mandatory + per-step dynamic cleanliness of the frozen certificate; instance-directed erasure (popkeys/spectators) with validation-adjudicated admission; deep W3 + key-state algebra; machine_coverage + written-first physics table. B heals to {halt1: 1}; W measured inexpressible (staged uncomputation) and registered as the standing placement limitation. Twenty programs green; sixteen bit-identical since v1.7. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
a9lim
added a commit
that referenced
this pull request
Aug 10, 2026
…ts its second witness Audit #33 (cx-20260810-093110-a5e9) FAILED v1.40 on the scope statement itself — the machine clean a SEVENTEENTH consecutive round. One round after shrinking the claim, "extensional verdicts" was one word too strong: the genuine gates check PREDICATES (sens28 is 'W0'-absence; genuine comp28's actual verdict is ['W2-dup']x11), and deleting the sole W2-dup append flips the checker from rejecting to accepting a fixed genuine fixture with the full suite green — no fixture awareness needed. v1.41 — claim language only; gates, fixtures, machine untouched; wf.py AST-identical again: - §10's scope statement now ENUMERATES the gated predicates clause-by-clause (verified against the source), with the reason the by-design-dup families gate W0-freeness only - audit #33's W2-dup countermodel registered as BOUNDARY WITNESS #2 (the predicate-vs-verdict gap) beside the fixture-aware mutant; their reproducer joins the roster as kit 24, both witness rows exit 0 BY CONSTRUCTION - three wf.py "pins ... verdicts" comments -> "gates the stated predicates"; v1.39/v1.40 chronicle rows corrected with attribution - the decruft-script hazard closed the STRONGER way: the idempotence check swept 36 current-generation artifacts (all restored, both directions in the MANIFEST) proving the script generation-pinned, so it is RETIRED behind a mechanical historical guard; the KEEP_EXACT-suffices prediction marked as a miss - all captures byte-identical (conservation suffix aside); 24-kit battery at adjudicated readings; forcings 7/7 (reduced, disclosed) Fresh audit #34 launched (cx-20260810-101610-734d, 1,048,703-byte pack); the PASS re-claim stays gated on it. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
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
1 participant
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.
Bumps actions/cache from 4 to 6.
Release notes
Sourced from actions/cache's releases.
... (truncated)
Changelog
Sourced from actions/cache's changelog.
... (truncated)
Commits
55cc834Merge pull request #1768 from jasongin/readonly-cached8cd72fBump@actions/cacheto v6.1.0 - handle cache write error due to RO token2c8a9bdMerge pull request #1760 from actions/samirat/esm_migration_and_package_updatee9b91fdPrettier fixese4884b8Rebuild dist10baf01Fixed licensese39b386Fix test mock return orderb692820PR feedback6074912Rebuild dist bundles as ESM to match type:module5a912e8Fix lint and jest issuesDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting
@dependabot rebase.Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR:
@dependabot rebasewill rebase this PR@dependabot recreatewill recreate this PR, overwriting any edits that have been made to it@dependabot show <dependency name> ignore conditionswill show all of the ignore conditions of the specified dependency@dependabot ignore this major versionwill close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)@dependabot ignore this minor versionwill close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)@dependabot ignore this dependencywill close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)