diff --git a/Erdos1038/PERPLEXITY_FULL_CONTEXT.md b/Erdos1038/PERPLEXITY_FULL_CONTEXT.md index 9e28012..3812fba 100644 --- a/Erdos1038/PERPLEXITY_FULL_CONTEXT.md +++ b/Erdos1038/PERPLEXITY_FULL_CONTEXT.md @@ -9,6 +9,24 @@ Claude, Codex, and human reviewers working from the public It is a context packet, not proof evidence. Local packet artifacts, checksums, Rust/Lean builds, and PR checks decide what is actually verified. +## Route status as of 2026-05-27 + +The weighted-QR route is demoted to diagnostic only. Its f64 transform +condition is approximately 4.7e16, which disqualifies it as a primary +certificate — the apparent niceness of the post-transform condition (~264.9) +is an artifact of passing through a violently ill-conditioned step, not a +property of the basis itself. The canonical hyperelliptic basis is now the +primary parallel route; the weighted-QR diagnostic tooling is retained for +mechanical comparison but not treated as a summit-critical path. The dependent +Vieta consumer remains blocked on six missing receipts (`ROOT_BOX.json`, +`ROOT_MULTIPLICITY_LEDGER.json`, `ORDERED_ROOT_INTERVALS.json`, +`SCALED_VIETA_IMAGE_CONTRACT.json`, `FIXED_CLOUD_BOUND_CERTIFICATE.json`, +`ATTAINED_WITNESS_TYPED_DUAL_MARGIN_RESULTS.json`) — this is not a dead end, +it is the correct next local-agent deliverable. The coeff-box theorem is +dangerous to assert without a falsifier-first test. The endpoint-limit kernel, +KKT/slack, and global reduction threads remain summit-level open work. Plan +reference: `/Users/kenbengoetxea/.claude/plans/remove-all-items-that-hashed-donut.md`. + ## Public Git Entry ```text diff --git a/Erdos1038/agent-work/CURRENT_FRONTIER.md b/Erdos1038/agent-work/CURRENT_FRONTIER.md index 03fa029..09f7869 100644 --- a/Erdos1038/agent-work/CURRENT_FRONTIER.md +++ b/Erdos1038/agent-work/CURRENT_FRONTIER.md @@ -78,11 +78,25 @@ Goal: feed real private numeric interval payloads into the backend for: - B3: transformed period matrix interval entries and singular-value/condition bounds. -The weighted-QR route is structurally suspect: f64 transformed matrix condition -is about `264.93593439501007`, but the f64 transform condition is about -`4.726362562410606e16` and the seed evaluation rank is only `13`. Treat this as -high-risk until B1/B2 certify. Prepare the hyperelliptic-canonical basis -fallback in parallel. +### Route status — weighted-QR: STATUS: DEMOTED — diagnostic only (2026-05-27) + +The weighted-QR route is demoted to diagnostic capability only and is not a +summit-critical certificate. The evidence: the f64 transform condition is +approximately `4.726362562410606e16`, the seed evaluation rank is only `13`, +and the number of recovered independent basis directions is `11`. The "nice" +apparent condition of approximately `264.9` only emerges after passing through +a violently ill-conditioned transform — which means the apparent niceness is an +artifact of the conditioning step, not a property of the underlying basis. No +interval certification can be built on top of that without first addressing the +transform conditioning; the weighted-QR route does not provide a path to a +legitimate basis certificate. + +The canonical hyperelliptic basis is now the **primary parallel route** — not a +fallback. The hyperelliptic-canonical basis seed work +(`EXP-MATH-ERDOS1038-PHI-K-HYPERELLIPTIC-CANONICAL-BASIS-INTERVAL-SEED-20260527-01`) +should be treated as the leading route alongside the endpoint-limit kernel and +KKT/slack/global reduction threads. The weighted-QR diagnostic tooling is +retained for mechanical comparison purposes only. Parallel theorem target: diff --git a/Erdos1038/agent-work/EVEREST_ROUTE_PLAYBACK.jsonl b/Erdos1038/agent-work/EVEREST_ROUTE_PLAYBACK.jsonl index aae3aa2..66bf626 100644 --- a/Erdos1038/agent-work/EVEREST_ROUTE_PLAYBACK.jsonl +++ b/Erdos1038/agent-work/EVEREST_ROUTE_PLAYBACK.jsonl @@ -1,2 +1,4 @@ {"event_id":"EVT-ERDOS1038-20260527-0001","created_utc":"2026-05-27T23:49:28Z","event_type":"public_staging_head","actor":"Codex/local","route":"dependent-vieta-image-consumer","packet_id":"EXP-MATH-ERDOS1038-PHI-K-DEPENDENT-VIETA-IMAGE-CONSUMER-20260527-01","status":"LOCAL_ASSIMILATED_AND_PUSHED","git_head":"124c87e","altitude_before":"8525 m","altitude_after":"8525 m","claim_level":1,"evidence":["cargo check --bin phi_k_dependent_vieta_image_consumer","python runner synthetic fixtures pass","RESULTS sha256 ok"],"blockers":["real dependent Vieta receipts missing","no independent coefficient box theorem","no KKT/global reduction"],"next_actions":["EXP-MATH-ERDOS1038-PHI-K-DEPENDENT-VIETA-IMAGE-REAL-RECEIPT-INTEGRATION-20260527-01"],"playback_note":"Public Git transport restored for the dependent Vieta consumer scaffold; this is a staging/harness event, not a theorem event."} {"event_id":"EVT-ERDOS1038-20260527-0002","created_utc":"2026-05-27T23:55:00Z","event_type":"process_hardening","actor":"Codex/local","route":"public-agent-review-system","packet_id":"PUBLIC_SAFE_PR_AND_CONTEXT_LAYER","status":"CONTEXT_AND_PR_SYSTEM_ADDED","git_head":"PENDING_COMMIT","altitude_before":"8525 m","altitude_after":"8525 m","claim_level":0,"evidence":["PERPLEXITY_FULL_CONTEXT.md added","SALIENT_FILES_MANIFEST.json added","PR_REVIEW_PROTOCOL.md added","GitHub PR template and CI workflow added"],"blockers":["workflow must pass on GitHub after push","end-to-end solve attempts still require receipts"],"next_actions":["commit and push PR/context system","use GitHub PRs for future external work products"],"playback_note":"Adds public context and PR gates so external agents can inspect the whole #1038 lane and produce reviewable PRs instead of Linear patch chunks."} +{"event_id":"evt-20260527-weighted-qr-demote","created_utc":"2026-05-27T00:00:00Z","event_type":"route_demote","actor":"ken-via-claude","route":"weighted_qr","packet_id":null,"status":"WORK_PRODUCT_INTENT_ONLY","git_head":"b88ef05","altitude_before":null,"altitude_after":null,"claim_level":0,"evidence":"f64 transform condition ~4.7e16; seed eval rank 13; recovered directions 11","blockers":[],"next_actions":["promote canonical hyperelliptic basis as primary parallel route"],"playback_note":"Weighted-QR retained as diagnostic; not summit-critical certificate"} +{"event_id": "evt-20260528-round-19-dispatch", "created_utc": "2026-05-28T03:31:02Z", "event_type": "round_dispatch", "actor": "ken-via-claude", "route": "canonical_hyperelliptic_basis", "packet_id": "ROUND_19_DISPATCH", "status": "WORK_PRODUCT_INTENT_ONLY", "git_head": "c121a41", "altitude_before": null, "altitude_after": null, "claim_level": 0, "evidence": "Linear comment 348613ea-3a75-44bd-9a68-84cbf391113a on KEN-5 dispatches PC for Mode 2 end-to-end Round 19; Track B (canonical hyperelliptic basis seed deep-dive) primary; Track A (adversarial falsifier hunt) parallel.", "blockers": ["six receipts still absent at dispatch time; tracks A+B proceed without them per substrate brief"], "next_actions": ["PC returns substrate bundle to projects/erdos-1038/jobs/ROUND_19/", "local Claude/Codex creates EXTERNAL-REVIEW-ASSIMILATION-ROUND_19 packet", "log round_complete event on return"], "playback_note": "Round 19 is the first round under the new substrate project. PC reads the brief from the Linear comment (substrate is local-only). Canonical hyperelliptic basis route is being populated for the first time post-weighted-QR-demote."} diff --git a/Erdos1038/agent-work/MANIFEST.sha256 b/Erdos1038/agent-work/MANIFEST.sha256 index a170e16..daaf123 100644 --- a/Erdos1038/agent-work/MANIFEST.sha256 +++ b/Erdos1038/agent-work/MANIFEST.sha256 @@ -1,13 +1,13 @@ 786629101c2b52a7a64d88879b2ff9f1fb66b1bc8536e576109fd676580211e5 Erdos1038/agent-work/.gitignore -c699895ad8918bb3c92bd34e62393e61ea26ad67cbdeb58ce48a8c952cdc0a0c Erdos1038/agent-work/CURRENT_FRONTIER.md +c7cca5ba0c8dd85f05028e2be9bcef3220f637e1b9555cf97b749ea9e1102378 Erdos1038/agent-work/CURRENT_FRONTIER.md 7efaa1855ad3e87579d337dd321e10780e2b0dd2bfbb44672108796d6e638959 Erdos1038/agent-work/EVEREST_ROUTE_FRAME.md -6bc82b28a6faacbc8318b26c6a1611712ec17bd6964bf4ab82277eee6a01cabb Erdos1038/agent-work/EVEREST_ROUTE_PLAYBACK.jsonl -6841426f48f2802611404a77121b75d025c9424327b324745e6158fc2de58fb2 Erdos1038/agent-work/MODE2_GIT_HANDOFF.md +75cecbc3ec7b8920963aa69469b1bcd405e12185042f5844f496c57cb4660413 Erdos1038/agent-work/EVEREST_ROUTE_PLAYBACK.jsonl +ad206fde9b683936339ed7d4674badf9be7bc14adb56d95432696c06c996a10b Erdos1038/agent-work/MODE2_GIT_HANDOFF.md d5e2985caf54a66ba3a5ab258065e9d1c51fa797589cf9dbd612440ecc3bb598 Erdos1038/agent-work/PR_REVIEW_PROTOCOL.md 424110ead03f6c808bd1450dac45fb18590158832c809ac1ca465b3b3c1c0237 Erdos1038/agent-work/PUBLIC_CONTEXT.json 692c6c0516de472cbcde4d67c8ad7290c62217f4d0eeaad0fd4d4a5f6c078820 Erdos1038/agent-work/README.md ef6b3b2882a58c11b1a24c25d3fda2a0d794552c649694ba519f56147052dbd4 Erdos1038/agent-work/SALIENT_FILES_MANIFEST.json -c1907f8ab3654f25a74625755649315c1539ea71d8bedb4db675aa7b0fe4546c Erdos1038/agent-work/WORK_QUEUE.jsonl +1eb469145e775ff790729c4221a0f87e96ef1de24ae6ae0783fbb84915b77914 Erdos1038/agent-work/WORK_QUEUE.jsonl 01ba4719c80b6fe911b091a7c05124b64eeece964e09c058ef8f9805daca546b Erdos1038/agent-work/packets/.gitkeep bf7bb4894231852b286acd6a352c0f6d82389193ea8e883335daee698bcc5e20 Erdos1038/agent-work/problem-at-hand/PROBLEM_AT_HAND_MANIFEST.json 6a692849aa149bb1532b3a8f5d78213468f22654bfd77218e5d160b6ce522be9 Erdos1038/agent-work/problem-at-hand/README.md diff --git a/Erdos1038/agent-work/MODE2_GIT_HANDOFF.md b/Erdos1038/agent-work/MODE2_GIT_HANDOFF.md index aef4551..ed5050c 100644 --- a/Erdos1038/agent-work/MODE2_GIT_HANDOFF.md +++ b/Erdos1038/agent-work/MODE2_GIT_HANDOFF.md @@ -118,3 +118,50 @@ local filesystem paths, protected scoring algorithms, private transfer operators, dimensional decompositions, or unpublished atlas internals. Do not claim local packets landed or tests passed. Return proposed work only. + +## Patch-handoff chain (clarified after Round 18, 2026-05-27) + +If an implementation agent produced a commit during a Mode 2 round but cannot +push (auth denied, sandbox isolation), it MUST NOT retry the push. A 403 from +GitHub is policy working correctly, not a bug to fix. + +The correct return shape is: + +1. Generate a patch file from the commit: + + ```text + git format-patch -1 HEAD --output-directory=/tmp/erdos1038--patches/ + ``` + +2. Compute the SHA-256 of the patch file: + + ```text + sha256sum /tmp/erdos1038--patches/*.patch + ``` + +3. Report the following in the Linear receipt comment: + - patch file path + - SHA-256 of the patch + - branch name + - commit hash + - stop after reporting; do not attempt push again. + +Local Claude or Codex in the trusted clone then applies the patch: + +```text +git am /tmp/erdos1038--patches/*.patch +``` + +After `git am`, validate with the CI commands defined in: + +```text +.github/workflows/erdos1038-agent-work.yml +``` + +Then push and open a PR using the template at: + +```text +.github/PULL_REQUEST_TEMPLATE/erdos1038_packet.md +``` + +The patch-handoff chain is the authoritative path for all sandbox agents. diff --git a/Erdos1038/agent-work/WORK_QUEUE.jsonl b/Erdos1038/agent-work/WORK_QUEUE.jsonl index 4eb1fe8..4d83369 100644 --- a/Erdos1038/agent-work/WORK_QUEUE.jsonl +++ b/Erdos1038/agent-work/WORK_QUEUE.jsonl @@ -3,3 +3,4 @@ {"priority":0,"packet_id":"EXP-MATH-ERDOS1038-PHI-K-HYPERELLIPTIC-CANONICAL-BASIS-INTERVAL-SEED-20260527-01","mode":"MODE_2_INTENSE_SOLVE","status":"PARALLEL_FALLBACK","ask":"Prepare a hyperelliptic-canonical basis interval seed because weighted-QR has f64 transform condition about 4.7e16 and seed eval rank 13.","claim_ceiling":"Fallback basis seed only; no residual audit or route upgrade."} {"priority":2,"packet_id":"EXP-MATH-ERDOS1038-PHI-K-ENDPOINT-LIMIT-SOURCE-KERNEL-GATE-20260527-01","mode":"MODE_2_INTENSE_SOLVE","status":"OPEN_PUBLIC_SAFE","ask":"Propose a theorem scaffold and verification plan for endpoint-limit source-kernel admissibility with no leakage into normalization or strict interior-gap rows.","claim_ceiling":"Theorem scaffold/work product only; no period-legitimacy claim."} {"priority":3,"packet_id":"EXP-MATH-ERDOS1038-PHI-K-HYPERELLIPTIC-CANONICAL-BASIS-FALLBACK-SCOUT-20260527-01","mode":"MODE_1_REVIEW_RESEARCH_OPINE","status":"FALLBACK_PUBLIC_SAFE","ask":"If weighted-QR interval certification is structurally unsound, identify the smallest canonical hyperelliptic-basis fallback gate and supporting public references.","claim_ceiling":"Fallback route design only; no residual audit."} +{"id":"wq-20260527-weighted-qr-demote","created_utc":"2026-05-27T00:00:00Z","priority":3,"type":"route_decision","route":"weighted_qr","decision":"DEMOTED_TO_DIAGNOSTIC","rationale":"f64 transform condition ~4.7e16; only diagnostic value, not summit-critical certificate","replaced_by":"canonical_hyperelliptic_basis","actor":"ken-via-claude","packet_id":null,"mode":null,"status":"ROUTE_DECISION_CLOSED","ask":null,"claim_ceiling":"Route demotion only; diagnostic tooling retained."} diff --git a/Erdos1038/agent-work/archive/CURRENT_FRONTIER_2026-05-27.md b/Erdos1038/agent-work/archive/CURRENT_FRONTIER_2026-05-27.md new file mode 100644 index 0000000..03fa029 --- /dev/null +++ b/Erdos1038/agent-work/archive/CURRENT_FRONTIER_2026-05-27.md @@ -0,0 +1,118 @@ +# Erdős #1038 Current Frontier + +Status: `PUBLIC_SAFE_FRONTIER_SUMMARY` + +This is a public-safe summary for external agents. It intentionally omits +private paths, private repository links, Linear URLs, credentials, protected +scoring internals, and unpublished atlas internals. + +## Problem + +Erdős #1038 asks for the extremal measure of the real sublevel set +`{x : |f(x)| < 1}` for monic real-rooted polynomials with all roots in +`[-1, 1]`. + +The problem remains open. This staging lane does not claim a solution. + +## Current Route Shape + +The active route is studying a fixed public-candidate cloud for a large-degree +root-factor projection. In that projection, the sublevel boundary has a +finite-component structure. Current local work has isolated a period/harmonic +measure obstruction that must be made legitimate before any residual audit can +mean anything. + +Use the Everest route analogy from `EVEREST_ROUTE_FRAME.md`: the current +altitude is local route evidence, not public proof status. The current local +altitude remains `8525 m`, and Everest remains the full accepted proof. + +The current sanitized invariants are: + +- cloud component count: `25`; +- gap-period row count: `24`; +- normalization is separate and is not a period row; +- one boundary-near support atom is routed as endpoint-limit primary; +- the right-exterior route is not certified for that atom; +- weighted-QR basis conditioning is only an f64 target until interval-certified; +- the missing backend is a directed-interval basis certificate. + +## Current Blocker + +The useful next blocker is not a residual audit. The residual audit is blocked +until the period object, endpoint-source admissibility, and basis interval +certificate are all sound. + +Primary current packet landed locally and is now mirrored here: + +```text +EXP-MATH-ERDOS1038-PHI-K-GAP-PERIOD-BASIS-INTERVAL-BACKEND-IMPLEMENTATION-20260527-01 +``` + +Status: + +```text +GAP_PERIOD_BASIS_INTERVAL_BACKEND_IMPLEMENTATION_PASS__FAIL_CLOSED_FIXTURES_PASS__PRIVATE_NUMERIC_PAYLOADS_PENDING +``` + +Meaning: the Rust/Inari backend harness now exists and passes synthetic +fail-closed fixtures. It rejects the known bad cases before any real private +numeric payload is consumed: + +- 27-vs-24 row mismatch; +- normalization row leakage; +- sign-convention mismatch; +- transform condition above threshold; +- missing recovered-direction independence witnesses; +- nonpositive smallest singular value. + +It does not certify the real B1/B2/B3 payload. The next packet target is: + +```text +EXP-MATH-ERDOS1038-PHI-K-GAP-PERIOD-BASIS-PRIVATE-PAYLOAD-INTEGRATION-20260527-01 +``` + +Goal: feed real private numeric interval payloads into the backend for: + +- B1: transform interval certificate; +- B2: independence witnesses for the recovered basis directions; +- B3: transformed period matrix interval entries and singular-value/condition + bounds. + +The weighted-QR route is structurally suspect: f64 transformed matrix condition +is about `264.93593439501007`, but the f64 transform condition is about +`4.726362562410606e16` and the seed evaluation rank is only `13`. Treat this as +high-risk until B1/B2 certify. Prepare the hyperelliptic-canonical basis +fallback in parallel. + +Parallel theorem target: + +```text +EXP-MATH-ERDOS1038-PHI-K-ENDPOINT-LIMIT-SOURCE-KERNEL-GATE-20260527-01 +``` + +Goal: prove or falsify that the boundary-near endpoint-limit source has a +finite row-compatible period contribution and does not leak into normalization +or strict interior-gap source theorems. + +## Claim Ceiling + +Allowed from this directory: + +- public-safe route critique; +- literature pointers; +- theorem scaffolds; +- patch proposals; +- numerical-backend designs; +- falsifiable next local gates. + +Forbidden from this directory: + +- claiming #1038 is solved; +- claiming public SOTA improvement; +- claiming altitude upgrade; +- claiming period legitimacy; +- claiming residual audit closure; +- claiming KKT closure; +- claiming global reduction; +- claiming Lean proof; +- claiming independent coefficient-box theorem. diff --git a/Erdos1038/agent-work/archive/MODE2_GIT_HANDOFF_2026-05-27.md b/Erdos1038/agent-work/archive/MODE2_GIT_HANDOFF_2026-05-27.md new file mode 100644 index 0000000..aef4551 --- /dev/null +++ b/Erdos1038/agent-work/archive/MODE2_GIT_HANDOFF_2026-05-27.md @@ -0,0 +1,120 @@ +# Perplexity Computer Mode 2 Handoff + +Status: `READY_FOR_MODE_2_INTENSE_SOLVE_PUBLIC_GIT` + +Use this file as the public Git handoff for a Perplexity Computer Mode 2 round. + +## Required Output Prefix + +```text +Perplexity Computer mode: MODE_2_INTENSE_SOLVE +Git access check: VERIFIED_PUBLIC_GIT | UNABLE_TO_VERIFY_GIT_ACCESS +Freshness check: CURRENT | STALE_CONTEXT_STOP | UNABLE_TO_VERIFY +Status: WORK_PRODUCT_INTENT_ONLY +Assimilation: NOT_ASSIMILATED +``` + +## Public Git Access + +Primary public repo: + +```text +Remote: https://github.com/MendozaLab/erdos-experiments.git +Relevant subpath: Erdos1038/agent-work/ +``` + +Current problem-at-hand bundle: + +```text +Erdos1038/agent-work/problem-at-hand/ +``` + +Related public context repos: + +```text +https://github.com/MendozaLab/math-morphism-atlas +https://github.com/MendozaLab/mathlib-prs +``` + +Allowed Git actions: + +```text +clone +fetch +checkout/read +status +log +show +grep +diff +``` + +Forbidden Git actions: + +```text +push +commit +reset --hard +clean -fd +checkout -- paths +rebase +merge +remote branch creation +open pull request +close issue +publish +delete files +mutate repository state +``` + +## Freshness Guard + +Before solving, inspect this directory and check whether `CURRENT_FRONTIER.md`, +`PUBLIC_CONTEXT.json`, or `WORK_QUEUE.jsonl` points to a newer frontier than the +one in this handoff. If there is a newer frontier, stop with +`STALE_CONTEXT_STOP` and report it. If public Git is unavailable, stop with +`UNABLE_TO_VERIFY_GIT_ACCESS` and do not invent file contents. + +## Task + +Return concrete work product for: + +```text +EXP-MATH-ERDOS1038-PHI-K-GAP-PERIOD-BASIS-INTERVAL-BACKEND-IMPLEMENTATION-20260527-01 +``` + +Design a public-safe backend plan for the missing directed-interval Stage-B +basis certificate. + +Use `problem-at-hand/` as the primary source context. It includes the current +runner source, relevant sanitized packet receipts, Cargo surface, and reference +Rust/Inari backend patterns. + +Also read `EVEREST_ROUTE_FRAME.md` before answering. Use its terms exactly: +Everest, current altitude, Route Confound, and next ridge. Do not upgrade +altitude or claim summit progress from Mode 2 work product. + +Required sections: + +1. Backend architecture. +2. Proposed Rust/Python file layout. +3. Output JSON schema. +4. B1 transform interval certificate. +5. B2 recovered-direction independence witnesses. +6. B3 transformed matrix certificate. +7. Verification commands. +8. Failure modes. +9. Orthogonal fallback if weighted QR is structurally unsound. +10. Claim ceiling. + +## Public-Safe Boundaries + +Use public papers and public repositories freely. You may use ErdosAtlas and the +Erdős Collider / PMF framing only as clue generators, not as proof evidence. +Distinguish literature-established facts from putative morphisms. + +Do not request or expose credentials, private repo URLs, private Linear URLs, +local filesystem paths, protected scoring algorithms, private transfer +operators, dimensional decompositions, or unpublished atlas internals. + +Do not claim local packets landed or tests passed. Return proposed work only.