Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
The diff you're trying to view is too large. We only load the first 3000 changed files.
11 changes: 11 additions & 0 deletions .gitattributes
Original file line number Diff line number Diff line change
Expand Up @@ -184,3 +184,14 @@ research/rank7-joint-endframes-restore-edit/** -text -whitespace
research/pr1-retention-receipt/inputs/** -text -whitespace

research/rank-shape-coframe-bill-seed850bc3/sources/pr3066-RESULT.json -text

# Preserve the submitted continuation and its two frozen outer dependencies.
research/kappa-next-regime/** -text -whitespace
research/kappa-adaptive-continuation/evidence/full-release/admission/package/outer/*.py -text -whitespace

# Exact source/evidence closure of the submitted operator-repair continuation.
research/kappa-operator-repair/** -text -whitespace
research/kappa-adaptive-continuation/** -text -whitespace
research/kappa-1745-continuation/** -text -whitespace
research/kappa-global-continuation/** -text -whitespace
research/kappa-boundary-continuation/** -text -whitespace
150 changes: 150 additions & 0 deletions research/kappa-1745-continuation/CLAIM.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,150 @@
{
"bit_supplier": {
"ROW": 18355,
"actual_prefix_bits": 880,
"actual_two_level_bits": 1800,
"binding_sha256": "88c84088263813185899a6392b04d801a1e1e649309090320086add782bd73a2",
"charged_prefix_bits": 896,
"charged_two_level_bits": 1856,
"complete_profile": {
"1": 418950,
"2": 433104,
"3": 24885,
"4": 30975,
"42": 441,
"5": 28350,
"6": 21840,
"7": 28980
},
"forward_prefix_bound": 49281,
"gain_over_previous_BIT_lower": "1289344965542582107/1000000000000000000000000",
"gain_over_previous_BIT_lower_decimal": "0.000001289344965542582107",
"gap_to_target": "6862811670654631573/1000000000000000000000000",
"gap_to_target_decimal": "0.000006862811670654631573",
"helpers_per_call": 437,
"local_calls": 315,
"local_profile": {
"1": 1330,
"2": 1327,
"3": 79,
"4": 49,
"5": 90,
"6": 20,
"7": 18
},
"lower": "1738137188329345368427/1000000000000000000000000",
"lower_decimal": "0.001738137188329345368427",
"m": 64,
"paid_requests": 987525,
"physical_families": 31089,
"previous_BIT_gap_closed_percent": "15.815998429392675796822759949856985451884058772558584807364763504348777810576121703026847988893108428407507228",
"previous_valid_BIT_lower": "21710598042047534829/12500000000000000000000",
"productive_families": 31080,
"rank_mass": 1977885,
"raw_deficit": 11235,
"replicas": 35,
"reverse_prefix_bound": 1052208,
"status": "COMPLETE_FINITE_WORD_AND_CONDITIONAL_PRICE_CHECKED",
"template_content_sha256": "3106ca655ac51aea273f6af98b1bbe045cbe553242b393cdc320996681b8d1cd",
"upper": "434534297082336342107/250000000000000000000000",
"upper_decimal": "0.001738137188329345368428",
"word_content_sha256": "f84bdf9b2d4e8758584e3a4759519acc2307e3723fb23568bb7ed4fde617a908",
"word_gzip_sha256": "defa63c0864f1f52cb0a1eb0d6c2b56f7d3a3b5542c8038082447aec2e810c2e",
"word_path": "research/kappa-1745-continuation/bit-word/early-birth-prefixes/WORD.json.gz"
},
"canonical_main": "20ecf2891d80b5acf18d980b2164fb44ea7faa90",
"complex_supplier": {
"gap_to_target": "14260219701642678381/1000000000000000000000000",
"gap_to_target_decimal": "0.000014260219701642678381",
"lower": "1730739780298357321619/1000000000000000000000000",
"lower_decimal": "0.001730739780298357321619",
"native_and_physical_release_reexecuted_this_turn": false,
"scope": "The valid receiver-sharing predecessor and its inherited all-size hypotheses; none of the invalid idle-axis overlays is used.",
"source_claim": "research/kappa-adaptive-continuation/CLAIM.json",
"source_invoice": "research/kappa-adaptive-continuation/global-budget/receiver-sharing/RESULT.json",
"status": "RETAINED_VALID_PREDECESSOR",
"upper": "86536989014917866081/50000000000000000000000",
"upper_decimal": "0.00173073978029835732162"
},
"evidence_sha256": {
"bit-geometry/ACHIEVED-BIT-CLOCK-REPRICE.json": "4655110db1d25c0ef58ee67d0ecd1a09cf0fe3136cdd0714f3db92b93ccd32b1",
"bit-geometry/BIT-FINAL-INDEPENDENT-REVIEW.json": "0c584d3edf752e08b105d22f95169021b410139ffcf90cb15ee68c1a4d253bca",
"bit-geometry/FINAL-ENTRANCE-CLOSURE.json": "604b715cdc0fe5c899a295439c4c18d6269cece0d45ac426c610ba4dbf2285e1",
"bit-geometry/LARGER-PAIR-BUDGET.json": "82ec052e3135cc9054eca0bafbc26b555692a968080b3e121f5f77125920a998",
"bit-integration/FINAL-NATIVE-EXECUTION.json": "e72158c3df65be05084df1292694845e13116867196d1308ec5f1b016da913d9",
"bit-integration/FINAL-NATIVE-REVIEW.json": "26014a6af1c7a3530ff03fefa545f45fd46783967e717a0c759f5965e8ddab39",
"bit-integration/FINAL-PHYSICAL-PROBE.json": "da4aec1ef324548f56221a9fc1fae4201cb0be8b513ca80774f078580d3d816b",
"bit-integration/FINAL-WHOLE-WORD.json": "7da24d45b55c098d2d6e55562c430bb296f34a4445c4469b3d70df8ea5e3cdd8",
"bit-integration/early-birth-prefixes/RESULT.json": "4c01502c01614ea94f3c5f4e63ec0358e5c3a7ea8414148a04052157408eb0ae",
"bit-word/CURRENT.json": "4c78effab2a15361396e269e168cbf1b454167dad1ff6f258bc811628e39c6be",
"bit-word/early-birth-prefixes/RESULT.json": "f0993e6b5164b345b3eb25189fd08caa953449bab4d800d70cf0fd4430af7097",
"complex-birth/REVIEW.json": "c6d129e58071baa13cbf41076026794aff309b2cd460886c579226fc4a498d57",
"complex-controller/REVIEW.json": "73855cae12af8aa2203dbd2f9b7c2cf9456acf447a6750ef9b7b3a12270ff8d1",
"complex/CELLMAP-INVARIANCE.json": "32a10aff786f3a673ca19ef5189c98e8a2a32708a0dc73a47eeee2bd44fd100b",
"complex/SLOT-PROJECTOR-RIGIDITY.json": "3d3484162446a813aaf52d09afc3543545ff88fa1c2a23a72734340999867990",
"complex/TARGET-BUDGET.json": "d0d777eb4da44fa9d09af5fa28c6f5f19fe38c970cceec9aabbe63badcb4e918",
"operator-audit/FRESH-REPLAY.json": "b49837299ab84b9f4ea945314b507a641de2d57750d2a58ebadfe4489e2dae2a",
"operator-audit/INDEPENDENT-WITNESS.json": "6abeea9ee02a7ff70f6a360323e8c20b9db1bf75d2dbf245a2ea78f6e0f1bffd",
"operator-audit/RIGIDITY-REVIEW.json": "f46e90f2a29a5e0ee55c49163c0f1a593054d3fee7ff2564a7b1a61d38c210b9"
},
"finite_bit_gain_certified": true,
"formal_kernel_acceptance": false,
"independent_human_review": false,
"inherited_hypotheses": [
"Native packet, chart preparation, recursive-D and all-size source interfaces for the changed R437 word.",
"Actual physical primitive realization, stock and precision/recovery interfaces beyond the controlled finite protocol.",
"Applicability of the retained bad-event and compiler tariff to the changed source-bound word.",
"Five-replica pooled helper ownership and finite coefficient invoices extend through the retained recursive construction.",
"Valid receiver-sharing complex source and its native/physical/all-size hypotheses.",
"Fine-prime-padding, gauge-free, stopped-supplier and outer-composition theorems."
],
"maintainer_admitted": false,
"new_combined_kappa": false,
"prior_complex_claim": {
"invalid_arithmetic_endpoint_decimal": ".0017411725885452521674224",
"reason": "Fresh unchanged PR4046 operator replay and an independent dense Gaussian-integer counterexample against the actual previous MOVES. Cell-to-axis permutations do not repair the literal T740 chronology.",
"superseded_combined_claim": "research/kappa-next-regime/CLAIM.json",
"supported": false,
"witness": "research/kappa-1745-continuation/operator-audit/INDEPENDENT-WITNESS.json"
},
"retained_conditional_kappa": {
"binding_supplier": "complex",
"decimal": "0.0017307397802983573216189999999999999999999998999999999999999999999999",
"formula": "min(valid_BIT_lower,valid_complex_lower)-10^-46-10^-70",
"new_gain_claimed": false,
"outer_loss": "1000000000000000000000001/10000000000000000000000000000000000000000000000000000000000000000000000",
"value": "17307397802983573216189999999999999999999998999999999999999999999999/10000000000000000000000000000000000000000000000000000000000000000000000"
},
"schema_version": 1,
"scope": "A stronger valid finite BIT construction and corrected conditional accounting. The requested0.001745 target is not reached. Scoped obstructions and failed construction searches are not general impossibility results.",
"source_sha256": {
"research/kappa-1745-continuation/bit-word/early-birth-prefixes/WORD.json.gz": "defa63c0864f1f52cb0a1eb0d6c2b56f7d3a3b5542c8038082447aec2e810c2e",
"research/kappa-1745-continuation/build_claim.py": "1d568bb23d7207cb586a63e94f9445ba9df3fbc5c4196c15f20e30d52df6729b",
"research/kappa-adaptive-continuation/CLAIM.json": "c4d596904a6b3c5b86adf8341a795e2c58b7001505ab2b5e0182dbd3cf807c98",
"research/kappa-adaptive-continuation/global-budget/receiver-sharing/RESULT.json": "b80932118ec8d252715028a2fc5d22e71e28072928ffda89b5587821d4fc42bd",
"research/kappa-next-regime/CLAIM.json": "45bb0f2dabd5ad5b5c9a8efb47c9b1692b90dea4ebc2f37003beb6a1f6b55da0"
},
"status": "PARTIAL_VALID_BIT_GAIN_TARGET_NOT_REACHED",
"strictly_exceed_required": true,
"target": "349/200000",
"target_decimal": ".001745",
"target_reached": false,
"unconditional_multiplication_theorem": false,
"verification": {
"changed_paths_in_final_review": 37,
"complete_GL64_physical_execution": false,
"independent_native_gauge_identities": 141,
"independent_rational_price_implementations": 3,
"local_columns_per_direction": 659,
"native_five_stage_columns": 881,
"native_requests": 987525,
"owner_pairs": 196658,
"physical_calls": 2,
"physical_controlled_payload_bits": 46,
"physical_rejecting_controls": 7,
"physical_returns": 2,
"rational_frames": 758,
"symbolic_XORs": 7563465,
"symbolic_checkpoints": 29
}
}
12 changes: 12 additions & 0 deletions research/kappa-1745-continuation/ENVIRONMENT.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
{
"core_replay": "Python standard library; assertions enabled; no -O; fresh output directory outside source repository",
"external_network_needed_for_core_replay": false,
"implementation": "CPython",
"machine": "x86_64",
"platform": "Linux-6.18.55-x86_64-with-glibc2.39",
"python": "3.12.14 (main, Aug 25 2026, 14:00:49) [Clang 22.1.3 ]",
"search_libraries": {
"numpy": "2.3.5",
"scipy": "1.17.0"
}
}
Loading