Explicit-profile ceiling: eight-H17 standalone completion fails for .0033 <= C < 1

research/kappa0033-standalone-tail-ceiling/.gitattributes

@@ -0,0 +1 @@
+* -text

research/kappa0033-standalone-tail-ceiling/BASELINE-INVOICE.json

@@ -0,0 +1,24 @@
+{
+  "schema": "integer-mult-recursive-invoice/v1",
+  "contract": {
+    "model": "mixed-target-unnormalized-power-v1",
+    "rank_semantics": "H_r costs r^(1-C); all240H25 are unearned optimistic upper targets",
+    "ambient_rank": 25,
+    "boundary": "Abstract complete moment account under explicit hypotheses; standalone eightH17 addition, no physical consumer admission"
+  },
+  "paid": {
+    "1": 6611,
+    "2": 1236,
+    "3": 1530,
+    "4": 381,
+    "5": 120,
+    "8": 8
+  },
+  "targets": {
+    "4": 84,
+    "7": 21,
+    "8": 117,
+    "9": 954,
+    "25": 240
+  }
+}

research/kappa0033-standalone-tail-ceiling/INTEGRITY.json

@@ -0,0 +1,150 @@
+{
+  "schema": "abstract-eight-tail-package-integrity/v1",
+  "files": [
+    {
+      "path": ".gitattributes",
+      "bytes": 8,
+      "sha256": "705fd4d6451a31d36b3df7de96f83f30ac976c9b4a6d1e51671d8e2f33e2d0da"
+    },
+    {
+      "path": "BASELINE-INVOICE.json",
+      "bytes": 568,
+      "sha256": "c07e50b4d82e1abff09ac5d729caaf3f81a66fb81d5c81f14fa26b2bc4c1aeea"
+    },
+    {
+      "path": "LOCAL-AUDIT-REFERENCES.json",
+      "bytes": 2403,
+      "sha256": "931213d00df21dbc6ae7dc2eef2ddce0f8b56b00c5ad501cb5407c256f6ea4e1"
+    },
+    {
+      "path": "MODEL.json",
+      "bytes": 1398,
+      "sha256": "8fdefbfc019febf9caf1cbeee96ad97e9792fd027e7801c65a713b8690917684"
+    },
+    {
+      "path": "NOTICE.md",
+      "bytes": 813,
+      "sha256": "06552d15d66d28c03bddc613af496bb732ef2c65f5e39a121cca81ed2ffa1505"
+    },
+    {
+      "path": "ORIGINAL-LOCAL-GUARD.json",
+      "bytes": 834,
+      "sha256": "9282b494fced743c301bcfad2d1cdff8e555879c63063f018b28cbb1a79cb343"
+    },
+    {
+      "path": "ORIGINAL-PRICE-PROJECTION.json",
+      "bytes": 22620,
+      "sha256": "06842cd18dc1cd26afa242a4cf6c7e6f2a79f6d46988c0d395ccae01f7323d68"
+    },
+    {
+      "path": "ORIGINS.json",
+      "bytes": 476120,
+      "sha256": "2745257e3b78fd018204467bc2998b88bfe65a5ed95c1f917ff05769e7195d8b"
+    },
+    {
+      "path": "PROOF.md",
+      "bytes": 7456,
+      "sha256": "0d5dc8db28ccbb2e3e08dd1fe2d330373c524672e66edad0269ea20b0c1229f6"
+    },
+    {
+      "path": "README.md",
+      "bytes": 7003,
+      "sha256": "96af7d89cb0ccb0268b0006a2e0fb2c50e5f326c7ddb41d8b98818898adb1241"
+    },
+    {
+      "path": "SOURCES.json",
+      "bytes": 1118,
+      "sha256": "57c71dd63f8ce9550b2b1fb9b5e5483d10e2f8689373c38474eff52d1f4763c8"
+    },
+    {
+      "path": "TASK.json",
+      "bytes": 7258,
+      "sha256": "8ca002e7e98e248db0240a5b4f4c0093694ea5cc28e212d59de30a2e05602bf8"
+    },
+    {
+      "path": "VERIFY.json",
+      "bytes": 900,
+      "sha256": "70edb43d5502096cee18cfa2368c050e8bae8720b72324f94038389bf78e8008"
+    },
+    {
+      "path": "WITH-TAIL-INVOICE.json",
+      "bytes": 581,
+      "sha256": "c4e195e7a7e1beff2a285e5ebf547014c47c6cefc95a633355ea1e2f382153ba"
+    },
+    {
+      "path": "abstract_price.py",
+      "bytes": 8275,
+      "sha256": "e98a3562cc5190dfc788777c999e34e91bde0b5c98da2433e4cd59f99be35d88"
+    },
+    {
+      "path": "canonical/AGENTS.md",
+      "bytes": 5963,
+      "sha256": "fbee67ab9e0ae4629a35fd9dba69c8f7e29e4a15392eb2d0f75d8768ffb65f40"
+    },
+    {
+      "path": "canonical/CONTRIBUTING.md",
+      "bytes": 7505,
+      "sha256": "fcd1a8d0e52342a23b8ffa9e905e85ccc539fb084145ef016dfc93cedfb3d924"
+    },
+    {
+      "path": "canonical/LICENSE",
+      "bytes": 11357,
+      "sha256": "c71d239df91726fc519c6eb72d318ec65820627232b2f796219e87dcf35d0ab4"
+    },
+    {
+      "path": "canonical/NOTICE",
+      "bytes": 24973,
+      "sha256": "b49022cb4104d90b182e4c335f670faf45529025b15db77bf0291835083c28bd"
+    },
+    {
+      "path": "canonical/autoresearch.md",
+      "bytes": 5986,
+      "sha256": "d16f0d3bb4d4b213d06c128db6d6460b0fe9ec1ac5a6c1ea1febf1db40e7b60d"
+    },
+    {
+      "path": "canonical/certificates/selected-result.json",
+      "bytes": 5495,
+      "sha256": "f9ed52bb642cd1e1486cf2743557ac5fa23cf1514a3277d786a644e39a565038"
+    },
+    {
+      "path": "canonical/docs/research/agent-procedure.md",
+      "bytes": 30555,
+      "sha256": "a4893459ee74cfa5df69f6b1c8eccd8a04e1b95a5b0ca2b8d1840765356c34c5"
+    },
+    {
+      "path": "canonical/docs/research/agent-task-catalog.json",
+      "bytes": 77545,
+      "sha256": "f7a48bfa2659b88378282a8eee7d9fe52cdf505594124c4d1686b58510fffd72"
+    },
+    {
+      "path": "canonical/docs/research/current-priorities.md",
+      "bytes": 11950,
+      "sha256": "7ea971a336bf526719ae1f21617038301ab95d9853a38b92c332a9ffb968297a"
+    },
+    {
+      "path": "canonical/docs/research/recursive-invoice-preflight.md",
+      "bytes": 5801,
+      "sha256": "3f27a33275655ae785e2558a600fd0ae818c5f16db307d202c8a4cf8f4729b49"
+    },
+    {
+      "path": "canonical/docs/research/research-family-status.md",
+      "bytes": 18401,
+      "sha256": "21ea61004c0270388258c4251b1c586b65f06bc807395b281deacfb886204934"
+    },
+    {
+      "path": "canonical/docs/research/research-package-guide.md",
+      "bytes": 21060,
+      "sha256": "d731952a85d1f9d95341ffc3ee0095a97dfbe6226c9dfc70bfee4a3b0727791d"
+    },
+    {
+      "path": "compare_recursive_invoices.py",
+      "bytes": 9553,
+      "sha256": "3930c22c11da7bc6042cfeb6e459ecb06e4478430037bee3469d034353855fc6"
+    },
+    {
+      "path": "independent_powers.py",
+      "bytes": 16531,
+      "sha256": "8f443aa005f5c7c4e2286524e815074787cc109a06cc66e56f362f8cc7854b01"
+    }
+  ]
+}

research/kappa0033-standalone-tail-ceiling/LOCAL-AUDIT-REFERENCES.json

@@ -0,0 +1,48 @@
+{
+  "schema": "local-only-provenance-index/v1",
+  "references": [
+    {
+      "LOCAL_path": "outputs/kappa0033-race-20261024/standalone-tail-ceiling/REPORT.md",
+      "bytes": 9591,
+      "sha256": "b93c52870539317af991c236f20679267009150ada57b5a861e89769620ee7ff",
+      "availability": "LOCAL_ONLY; not a public Git pin, physical source not included"
+    },
+    {
+      "LOCAL_path": "outputs/kappa0033-race-20261024/standalone-tail-ceiling/STATIC-TAIL-LEMMA.md",
+      "bytes": 6983,
+      "sha256": "56042b3450bc32e6280a275fa65dfa8dff42ac598c926fdb43627133154cde76",
+      "availability": "LOCAL_ONLY; not a public Git pin, physical source not included"
+    },
+    {
+      "LOCAL_path": "outputs/kappa0033-race-20261024/standalone-tail-ceiling/FREEZE.json",
+      "bytes": 1043,
+      "sha256": "02665e21056ae7c152a9c6d8fe3d84728ba64c601e54f4ac90301b69d7c60ef7",
+      "availability": "LOCAL_ONLY; not a public Git pin, physical source not included"
+    },
+    {
+      "LOCAL_path": "outputs/kappa0033-race-20261024/conditional-threecall-budget/SOURCE-MANIFEST.json",
+      "bytes": 4092,
+      "sha256": "8353022ba5e0d87f5124a9e64088d930ddfa05b92ef9c6433bef573faf32c45d",
+      "availability": "LOCAL_ONLY; not a public Git pin, physical source not included"
+    },
+    {
+      "LOCAL_path": "outputs/kappa0033-race-20261024/conditional-threecall-budget/price_conditional.py",
+      "bytes": 12730,
+      "sha256": "253e7d9f045151f6f519c09c161068784e4d234ee4ff30e662c81263434a585d",
+      "availability": "LOCAL_ONLY; not a public Git pin, physical source not included"
+    },
+    {
+      "LOCAL_path": "outputs/kappa0033-race-20261024/conditional-threecall-budget/receipts/conditional-v1.json",
+      "bytes": 25422,
+      "sha256": "c40de7675b9a85e621f8e60e42c4337ac31b1192490fd05c708eb2192c6155bb",
+      "availability": "LOCAL_ONLY; not a public Git pin, physical source not included"
+    },
+    {
+      "LOCAL_path": "race-kappa0033-sol-high-20261024/lanes/invoice/RESOURCE-REQUEST-v1.json",
+      "bytes": 12512,
+      "sha256": "3ad9e5ba8ab8b6f925fc796b6099affacb09d8a6654e692ade3e1d415af5cee5",
+      "availability": "LOCAL_ONLY; not a public Git pin, physical source not included"
+    }
+  ],
+  "publication_scope": "Only explicit abstract profile hypotheses and own numerical price projection/proof are published; unreleased physical programs and original14-input closure are excluded."
+}

research/kappa0033-standalone-tail-ceiling/MODEL.json

@@ -0,0 +1,56 @@
+{
+  "schema": "standalone-eight-tail-explicit-model/v1",
+  "canonical_base": "d277c97824e50782da6adbc486ca3c76c8fc687e",
+  "paid_lower_bound": {
+    "1": 6611,
+    "2": 1236,
+    "3": 1530,
+    "4": 381,
+    "5": 120,
+    "8": 8
+  },
+  "helper_upper_bound": {
+    "4": 84,
+    "7": 21,
+    "8": 117,
+    "9": 954
+  },
+  "hypothetical_main_upper_bound": {
+    "25": 240
+  },
+  "all240_main_targets_unearned": true,
+  "physical_derivation_admitted": false,
+  "funded_kappa": null,
+  "standalone_tail": {
+    "count": 8,
+    "rank": 17,
+    "independently_paid": true,
+    "extra_productive_credit": 0
+  },
+  "normalized_pairing": {
+    "normalizer": 6,
+    "paired_H25_terms": 8,
+    "paired_H17_costs": 8,
+    "residual_H25_terms": 232
+  },
+  "domain": {
+    "C_lower": "33/10000",
+    "C_upper_exclusive": "1"
+  },
+  "points": [
+    {
+      "C": "33/10000",
+      "rho": "0"
+    },
+    {
+      "C": "330007/100000000",
+      "rho": "1/1000000000"
+    }
+  ],
+  "quantification": "Any paid profile at least the declared lower bound, any target profile no greater than declared helper+240H25 upper bound, any nonnegative reserve and no extra target credit; fixed independently paid8H17 route only.",
+  "additional_paid_example": {
+    "H1": 8,
+    "budget_change": "-8 exactly; no new power evaluation",
+    "derivation_status": "abstract additional-cost consequence; no physical program claim"
+  }
+}

research/kappa0033-standalone-tail-ceiling/NOTICE.md

@@ -0,0 +1,3 @@
+New abstract profile theorem, checking and packaging: Chris R / Clear1nsight, with substantial OpenAI Codex assistance; Apache-2.0.
+Credit local algebra/challenge/invoice/physical lanes for the motivating resource; no unreleased word or construction priority is published here. Root proposed normalized rank25/rank17 pairing; separate reviewer supplied the binomial anchor; independent budget worker and sole peer executor supplied the original local point certificate.
+Retain Dillon, Ali Romman, Cao Yifan, Cinna Davis, zxv, Jacob Alan Sussman, Dugongue and all native/helper/compiler/precision/analytic predecessors. Public PR5414 supplies the unchanged independent power code; the official signed-invoice comparator retains mightyOil and classical concave-order credit. Canonical LICENSE/NOTICE are unchanged.

research/kappa0033-standalone-tail-ceiling/ORIGINAL-LOCAL-GUARD.json

@@ -0,0 +1,22 @@
+{
+  "schema": "serial-research-run/v1",
+  "command": [
+    "python3",
+    "-I",
+    "-B",
+    "outputs/kappa0033-race-20261024/conditional-threecall-budget/price_conditional.py",
+    "--receipt",
+    "outputs/kappa0033-race-20261024/conditional-threecall-budget/receipts/conditional-v1.json"
+  ],
+  "cwd": "/home/d3lerium/.codex/.chatgpt-projects/g-p-6ad5817fd84881918865926b6fd51453",
+  "exit_code": 0,
+  "termination": null,
+  "elapsed_seconds": 0.20232831599423662,
+  "sampled_peak_descendant_rss_bytes": 31191040,
+  "rss_samples": 2,
+  "memory_limit_mib": 256,
+  "timeout_seconds": 30.0,
+  "python": "3.12.3 (main, Aug 31 2026, 10:18:26) [GCC 13.3.0]",
+  "log_sha256": "d8d58312530baec0acb84f177fd67f7d4a2efceac435a4aa5baad6d27ff3378b",
+  "scope": "Fresh command execution only; scientific claim determined by reviewed output."
+}