Checkpoint: in-flight cycle work (maxwell skeptic review 002, union-closed probe 014) - #8
Merged
Merged
Conversation
…losed probe 014) Mid-cycle checkpoint per ops doctrine (container can restart at any moment): - maxwell-equilibria: attempt 002 scaffold, skeptic tools + perturbed-run configs; four census re-runs still in flight - union-closed: attempt 014 scaffold, aggregated-OR probe engine and per-genre checkpoint data; probe still in flight Records are drafts until their agents close out; nothing here is ledger fact yet. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01CupxvJ1ZaJMjoLk7pfpEmw
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01CupxvJ1ZaJMjoLk7pfpEmw
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01CupxvJ1ZaJMjoLk7pfpEmw
Queue item 1 first step. Orbit-symmetrized + sparse any-n census engines, ~1780 instances over every known adversary genre at n = 10..32 (trends to n = 64), 0 in-regime violations; 15 exact-rational certificates (dyadic directed-rounding enclosures), tightest +5.99e-7 at n = 32. Products are the exact equality set; all perturbative departures quadratically upward; minimum margin grows with n (no 012-style reversal). EVIDENCE only.
… demos, centroid Hessian Run D (q=4400) and verify pass on cert B still in flight. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01CupxvJ1ZaJMjoLk7pfpEmw
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01CupxvJ1ZaJMjoLk7pfpEmw
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01CupxvJ1ZaJMjoLk7pfpEmw
…orrections Independent re-certification (digit-extraction log2 bracket, integer-scaled exact rows, own orbit derivation/Sinkhorn) confirms all five load-bearing claims of 014; five certificates re-certified on identical exact inputs with no disagreement; ~116 new adversary instances all positive. Corrections: part-P order range (d^1.39-d^2.06 on its own checkpoint), equality-set converse unproven (false at lambda=0), stale docstring runtimes, instance count 1820. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01CupxvJ1ZaJMjoLk7pfpEmw
…ap found and closed Adversarial pass on the abk witness (queue 16). The 24 stands: driver audit, fresh exact structural checks (axis-consistency tiling proof, disjoint enclosures, index sum), re-census on a disjoint subdivision tree (24, engine-2 PASS), finer-grid rerun (same tree verdict-by-verdict), certified window brackets 12 @ q=4360e-6 and 16 @ q=4400e-6. Real finding: prefix-freeness + Kraft does not imply tiling for axis-labelled paths - a tampered mixed-axis certificate hiding a real zero PASSes verify_equilibria.py (demo committed); 001's coverage independence dated from this review's stronger check. Add-on: exact centroid Hessian via D3 symmetry - signature decided by 6561 t^6 vs 128 q^2, degeneracy at q* = 81*sqrt(2)*t^3/16, certified index flip across q*. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01CupxvJ1ZaJMjoLk7pfpEmw
…ated OR control survives to n=32 (014/015) STATUS.md: new TL;DR headline; maxwell-equilibria and union-closed rows updated; queue 1 replaced by the boundary-positivity proof program; queue 16 replaced by verifier-hardening items; two verified-results entries (maxwell 002, union-closed 014+015); two insights (Kraft-tiling gap / precision vs region perturbation; probe-before-proof and the product equality set). Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01CupxvJ1ZaJMjoLk7pfpEmw
9 tasks
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
2 participants
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.
Mid-cycle checkpoint per ops doctrine (container can restart at any moment):
configs; four census re-runs still in flight
per-genre checkpoint data; probe still in flight
Records are drafts until their agents close out; nothing here is ledger fact yet.
Co-Authored-By: Claude Fable 5 noreply@anthropic.com
Claude-Session: https://claude.ai/code/session_01CupxvJ1ZaJMjoLk7pfpEmw