Conditional κ = 0.00302666 (+4.31e-6 over #5377): eight joint helper relations

research/kappa-joint-relations-20261023/SOURCES.json

@@ -0,0 +1,90 @@
+{
+  "schema_version": 1,
+  "base_commit": "1ec1119972c9aefe42525172d07b332fcff81cb4",
+  "files": [
+    {
+      "path": "certificates/selected-result.json",
+      "usage": "provenance",
+      "git_blob": "b288ae44032fd84dd5564243422836cbcd29835e",
+      "sha256": "f9ed52bb642cd1e1486cf2743557ac5fa23cf1514a3277d786a644e39a565038"
+    },
+    {
+      "path": "docs/research/agent-task-catalog.json",
+      "usage": "provenance",
+      "git_blob": "f126dd2e2dad2b669e75d1d0d0bd05c600725602",
+      "sha256": "f7a48bfa2659b88378282a8eee7d9fe52cdf505594124c4d1686b58510fffd72"
+    },
+    {
+      "path": "research/free-word-tensor-lift-audit/PROOF.md",
+      "usage": "provenance",
+      "git_blob": "69c337a7704ce589798269ab4b8606189c070c4e",
+      "sha256": "cc8ad3698a673fb225419a3636a39aa99a66c7a0676f12e329b1e76564fa1459"
+    },
+    {
+      "path": "research/higher-moment-strictification/verify.py",
+      "usage": "input",
+      "git_blob": "4b24a5096154736ce060474eb8c72dc64c303699",
+      "sha256": "0ce7e7137422d5ffeda22085c81fa88471bbe963100fdad62e659f1e3bf89326"
+    },
+    {
+      "path": "research/joint-helper-lattice/CONTROLLER.json",
+      "usage": "input",
+      "git_blob": "49a2f0675819f9deeea27ed77be2c2b6ff2e87e5",
+      "sha256": "1f5d6aa267e4e66048818714b5d3b5eae17a58abe91d15deeaa34574f7391a5f"
+    },
+    {
+      "path": "research/kappa-causal-continuation/buffer-borrowing/verify_buffers.py",
+      "usage": "input",
+      "git_blob": "5a55034ec9e6185d981e16c28e1e2e455069e2cb",
+      "sha256": "106b4d5e052427230df452f0c901d5390a0583782960b80a8af94d9a984022c7"
+    },
+    {
+      "path": "research/kappa-interface-round2-20261022/price_profile.py",
+      "usage": "provenance",
+      "git_blob": "1d93e43d1cb888d128c2faa2be83a96d85b84295",
+      "sha256": "adde619968d3ac37147d239e25145b28150650e9ce0f76035f680f22589adcbb"
+    },
+    {
+      "path": "research/kappa-rebuild/architecture/mixed_target_probe.py",
+      "usage": "input",
+      "git_blob": "4fc05ab08138218ba9f09e5c89b649afae7c914e",
+      "sha256": "011c3c9d0cf81103dc84d709a0e36793eb7c5ae3f23c85eac27650ef13afa04a"
+    },
+    {
+      "path": "research/kappa-rebuild/complex/native_extensions.py",
+      "usage": "provenance",
+      "git_blob": "7f84894efc309546a903d314c7ac1473e7f594a8",
+      "sha256": "50ad007d9c386393657e86c99a96ae0a63a8fbc52872579b185002cc626e88e3"
+    },
+    {
+      "path": "research/kappa-round3-warp-20261022/ACTUAL-WORD.json.gz",
+      "usage": "input",
+      "git_blob": "46d929df83817b85a5387bcdb9745e0627d6366e",
+      "sha256": "7679daa4ec6a40f56fc7f0202379a6f454310e94945aba4f48beaaaafb838d05"
+    },
+    {
+      "path": "research/kappa-round3-warp-20261022/PHASE-VALIDATION.json.gz",
+      "usage": "input",
+      "git_blob": "ac77b78547d6dbf2e6bd102e1047c5b16c1bca88",
+      "sha256": "6eae66ed3cfa8a1533e89b9660a57276908e6646640a12f8b1e3489f4ea1354b"
+    },
+    {
+      "path": "research/kappa-round6-compiler-tightening-20261022/ARITHMETIC.json",
+      "usage": "input",
+      "git_blob": "0fdb65f946d557c13d8e2781b9151e2a8ddee5c3",
+      "sha256": "b4f720a7ccbb5b46e472eaf85dc8739a40598986f19b37d26c4f9ecfbd31f0de"
+    },
+    {
+      "path": "research/pr4359-p7-padding/dependencies/compiler-refill/endpoint.py",
+      "usage": "input",
+      "git_blob": "340e1f0ffb8a1a9c38fbbd9119580b6d23e01b59",
+      "sha256": "d097e55f06c3f244f2074ffd7c1a0a5f3c4b4b6a6accf9619d1dde5c0ae85e15"
+    },
+    {
+      "path": "research/query-thinned-controllers/RESULT.json",
+      "usage": "input",
+      "git_blob": "e0695152c98d727edfd0d2034b58a1c7e8682c0c",
+      "sha256": "6ebfc8c0f09166f4834e9d7427410cb31aefff2cd4d4ce588c8e52c9c70e9a0f"
+    }
+  ]
+}

research/kappa-joint-relations-20261023/TASK.json

@@ -0,0 +1,80 @@
+{
+  "schema_version": 1,
+  "task_id": "complex-new-helper-inventory",
+  "priority_revision": 7,
+  "base_commit": "1ec1119972c9aefe42525172d07b332fcff81cb4",
+  "original_card": {
+    "id": "complex-new-helper-inventory",
+    "question": "Can a new local cost interface change the deficit-to-recursive-cost ratio beyond current packing?",
+    "starting_points": [
+      "docs/research/research-family-status.md",
+      "research/complex-local-word-ceiling/README.md",
+      "research/heterogeneous-owner-assembly/README.md",
+      "certificates/selected-result.json",
+      "research/selected-k8-unrestricted-ends/README.md"
+    ],
+    "methods": [
+      "Propose a changed helper inventory and derive an optimistic exact moment.",
+      "Design a small completed instance and independently verify its endpoint and rank bill."
+    ],
+    "acceptance_gate": "A new physically realizable contract outside the frozen catalogue whose per-call profile, screened with ceiling.ceiling(), beats the selected word's packing ceiling; a lower cap does not establish identical circuitry or order attainable optima, and is insufficient to pass the stronger-budget target under this model. A scoped local result may be retained without a complete supplier. Expanding it into further construction rounds requires the family-level budget and obligation gate in research-family-status.md; an optimistic passing relaxation alone is not acceptance.",
+    "first_step": {
+      "command": [
+        "python3",
+        "-B",
+        "research/complex-local-word-ceiling/verify.py"
+      ],
+      "expected": "PASS_COMPLEX_LOCAL_WORD_CEILING",
+      "inspect": "Read the selected word's per-call local profile, its packing ceiling and the lever table; run levers.py for the ideal budget of the lever you target.",
+      "scope": "Positive control and planning budget only; this is not a new construction or full cold replay."
+    },
+    "first_experiment": "Before any synthesis, write the candidate per-call local profile (and centre charge / unpaid coordinates if changed) and screen it with ceiling.ceiling(); reject it if even the ideal ceiling does not beat the selected word's by your stated margin.",
+    "bottleneck_link": "Packing of the selected word is capped at +0.87% (ceiling model); only a lower local excess spend or a changed coverage law raises the cap.",
+    "allowed_variations": [
+      "Narrow to one changed boundary or helper type with explicit counts.",
+      "If the coverage law, template or guard changes, derive an applicable fully charged replacement bound instead of applying the incumbent ceiling outside its scope."
+    ],
+    "scope_change_triggers": [
+      "Mixing only providers already inside the pinned catalogue.",
+      "Only changing helper terminal subspaces and monotone frames within the fixed scalar word, entrances and cleanup contract already covered by #1995/#2013.",
+      "Continuing a partial cost improvement while leaving the same unpriced consumer, restoration or central-readout obligation unresolved; refresh the family expansion decision first. Local product-retiming evidence has a narrow scope and is not a ban on changed graphs or contracts."
+    ],
+    "overlap_terms": [
+      "helper inventory",
+      "heterogeneous-owner",
+      "mutable leaver"
+    ]
+  },
+  "scope_status": "refined",
+  "actual_scope": "Prepare eight independent cold-helper relations, replace all eight backward centers with exact snapshots, remove eight later zero jobs, and debit eight rank-nine helper targets per backward call.",
+  "scope_change_reason": "This uses the current helper-inventory priority. It changes the independent input inventory and scalar word; all physical native maps and the p16 controller remain fixed.",
+  "bottleneck_link": "https://github.com/CrocSwap/integer-mult-bounds/discussions/5125#discussioncomment-19154290",
+  "budget_minutes": 240,
+  "stop_rule": "Publish one exact complete-profile kappa improvement after native, ownership, phase-inheritance, compiler and cold-export checks.",
+  "outcome": "completed",
+  "evidence": "WITNESS.json, WORD.json.gz, RESULT.json and the full exact verifier. Conditional kappa 0.00302666.",
+  "author": "Ali Romman",
+  "ai_assistance": "Substantial OpenAI Codex assistance in discovery, code, proof, verification and publication.",
+  "open_questions": [
+    {
+      "question": "Can an independent reviewer validate the joint relation system and all inherited physical transfer premises?",
+      "why_it_matters": "The finite exact construction still uses the five selected framework assumptions.",
+      "first_step": "Check the sixteen unrestricted row identities, eight pivots and complete cost in README.md and RESULT.json.",
+      "blocked_by": "Independent review has not yet occurred."
+    },
+    {
+      "question": "Can a different relation system improve the complete bill beyond this fixed profile?",
+      "why_it_matters": "The new profile ceiling is not an optimum over helper relations.",
+      "first_step": "Check live claims, then charge each lost target and prove an additional removed job.",
+      "blocked_by": "All eight backward center jobs are already removed in this construction."
+    }
+  ],
+  "coordination": {
+    "claim": "https://github.com/CrocSwap/integer-mult-bounds/discussions/5125#discussioncomment-19154290",
+    "distinct_scopes": [
+      "https://github.com/CrocSwap/integer-mult-bounds/discussions/5355",
+      "https://github.com/CrocSwap/integer-mult-bounds/discussions/4930"
+    ],
+    "boundary": "This extends our frozen PR5377 relation to a joint rank-eight system. The original-input cache scope is released. The coded caller retains all original helpers; this package changes eight helper inputs per backward call. No shared controller or selected file changes."
+  }
+}

research/kappa-joint-relations-20261023/VERIFY.json

@@ -0,0 +1,38 @@
+{
+  "schema_version": 1,
+  "status": "ready",
+  "python": "3.12",
+  "requirements": [],
+  "inputs": [
+    "research/higher-moment-strictification/verify.py",
+    "research/joint-helper-lattice/CONTROLLER.json",
+    "research/kappa-causal-continuation/buffer-borrowing/verify_buffers.py",
+    "research/kappa-rebuild/architecture/mixed_target_probe.py",
+    "research/kappa-round3-warp-20261022/ACTUAL-WORD.json.gz",
+    "research/kappa-round3-warp-20261022/PHASE-VALIDATION.json.gz",
+    "research/kappa-round6-compiler-tightening-20261022/ARITHMETIC.json",
+    "research/pr4359-p7-padding/dependencies/compiler-refill/endpoint.py",
+    "research/query-thinned-controllers/RESULT.json"
+  ],
+  "commands": [
+    {
+      "argv": [
+        "{python}",
+        "-B",
+        "{package}/verify.py"
+      ],
+      "timeout_seconds": 600,
+      "checks": "Exact native rows, owned entry columns, event ranks, independent source identities, p16 Laurent controller, complete asymmetric invoice, two interval engines, compiler and outer predicates, negative controls."
+    },
+    {
+      "argv": [
+        "{python}",
+        "-O",
+        "-B",
+        "{package}/verify.py"
+      ],
+      "timeout_seconds": 600,
+      "checks": "The same checks remain active with Python assertions disabled."
+    }
+  ]
+}