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
  •  
  •  
  •  
10 changes: 10 additions & 0 deletions .gitattributes
Original file line number Diff line number Diff line change
Expand Up @@ -198,3 +198,13 @@ research/kappa-boundary-continuation/** -text -whitespace

# Exact PR4088 export bytes and the pinned two-provider rebind.
research/staged544-mixed-idle-rebind/** -text -whitespace

# Exact delivered 0.0023 checkpoint, scoped dependencies and local review evidence.
research/kappa-0023-productive-jobs/** -text -whitespace
research/kappa-accounted-composition/** -text -whitespace
research/kappa-causal-continuation/** -text -whitespace
research/kappa-function-composition/** -text -whitespace
research/kappa-global-routing/** -text -whitespace
research/kappa-native-resume/** -text -whitespace
research/kappa-observation-integration/** -text -whitespace
research/kappa-rebuild/** -text -whitespace
140 changes: 140 additions & 0 deletions research/kappa-0023-productive-jobs/DELIVERY-VERIFICATION.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,140 @@
{
"all_unmerged_prior_work_retained": true,
"base": {
"bytes": 413152788,
"filename": "kappa-evaluation-compact(8).zip",
"sha256": "be617301d74b0e586055c9ff702582a4c22c796008db8362781230ed9b453e11"
},
"claim_class": "Proposed conditional mathematical construction at kappa=0.0023; no formal proof, unconditional theorem or winning-word materialization.",
"claim_sha256": "d575e6b99aa8e37fbf2ab328eeecc175cedf584e4842d9711bfb522f208f73e5",
"deletions": [],
"delivered_files": {
"kappa-0.0023-cumulative-20261021.zip": {
"bytes": 134684049,
"sha256": "2f18a16cd4a1e0a1ba11ad1baac84827f3bb56e428752f8711ff5c3c40b3b58d"
},
"kappa-0.0023-new-research-20261021.zip": {
"bytes": 8142919,
"sha256": "f59f9150a531d50d54722c29afee31533e99df344aeb9a8ea25367db13d8cfec"
},
"kappa-0.0023-research-report-20261021.md": {
"bytes": 16416,
"sha256": "b70fbcd7efadb61b9e8a44f8b780515688589597a309c1262673c19b055f1378"
}
},
"fresh_byte_application": {
"applied_scope_verification": {
"files": 239,
"kappa": "23/10000",
"mathematical_proof_not_inferred_from_byte_integrity": true,
"scientific_replay_command": "research/kappa-rebuild/replay_critical.py",
"source_bindings": 26,
"status": "PASS_EXACT_SCOPE_AND_CONDITIONAL_CLAIM_BINDINGS"
},
"entire_base_materialized": {
"base": {
"bytes": 413152788,
"filename": "kappa-evaluation-compact(8).zip",
"sha256": "be617301d74b0e586055c9ff702582a4c22c796008db8362781230ed9b453e11"
},
"files": 78395,
"runtime_seconds": 21.504349507998995,
"safety": {
"duplicate_paths": 0,
"entries": 78395,
"regular_files": 78395,
"symlinks_or_special_files": 0,
"uncompressed_bytes": 1789187909,
"unsafe_paths": 0
},
"status": "PASS_SAFE_FULL_BASE_MATERIALIZATION"
},
"first_apply": {
"already_exact_files": 6,
"atomicity": "Each individual file replacement is atomic; a process crash is not an all-files transaction. Re-running is idempotent.",
"deletions": [],
"inherited_scope_flags": {
"later_reported_archive_gap": {
"available_cumulative_files": 2455,
"exact_missing_path_manifest_available": false,
"later_reported_archive": {
"bytes": 184572857,
"dependency_receipt_sha256": "f5f60f8d8030e9e2b01ef9e9b0efc46309db42d5d5915ab130c6baa429919cf5",
"entries_including_manifest": 2787,
"filename": "kappa-literature-breakout-cumulative.zip",
"manifest_sha256": "b52704f372dd31d364338251a338a003abda7c900c483d717dc3f07a26e861f6",
"sha256": "21a0d692c5c48899165e4c1a53d410e083afa177dbdf4711665dcc77983f9629"
},
"literature_prefix_files_in_available_cumulative": 0,
"literature_prefix_files_in_compact": 0,
"meaning": "Later reported archive had 2787 entries versus 2455 available files. The difference includes 34 reported repository dependencies; it is not a claim of 332 files under the literature prefix. No missing path list is invented, and this comparison does not claim recovery of all later work.",
"new_admitted_kappa": false,
"reported_additional_archive_entries_not_recovered": 332,
"reported_supplemental_unchanged_repository_dependencies": 34,
"source": "recovered/continuation.md, Cumulative package recovery record",
"status": "RETAINED_REPORTED_COUNT_NOT_PATH_VERIFIED"
}
},
"new_admitted_kappa": false,
"precondition_scope": "Every touched path is checked against its exact before or after digest and mode. No claim is made about unrelated existing checkout files.",
"schema": "applied-content-addressed-overlay/1",
"status": "PASS_ATOMIC_FILE_OVERLAY",
"verified_path_mappings": 3454,
"written_files": 3448
},
"second_apply": {
"already_exact_files": 3454,
"atomicity": "Each individual file replacement is atomic; a process crash is not an all-files transaction. Re-running is idempotent.",
"deletions": [],
"inherited_scope_flags": {
"later_reported_archive_gap": {
"available_cumulative_files": 2455,
"exact_missing_path_manifest_available": false,
"later_reported_archive": {
"bytes": 184572857,
"dependency_receipt_sha256": "f5f60f8d8030e9e2b01ef9e9b0efc46309db42d5d5915ab130c6baa429919cf5",
"entries_including_manifest": 2787,
"filename": "kappa-literature-breakout-cumulative.zip",
"manifest_sha256": "b52704f372dd31d364338251a338a003abda7c900c483d717dc3f07a26e861f6",
"sha256": "21a0d692c5c48899165e4c1a53d410e083afa177dbdf4711665dcc77983f9629"
},
"literature_prefix_files_in_available_cumulative": 0,
"literature_prefix_files_in_compact": 0,
"meaning": "Later reported archive had 2787 entries versus 2455 available files. The difference includes 34 reported repository dependencies; it is not a claim of 332 files under the literature prefix. No missing path list is invented, and this comparison does not claim recovery of all later work.",
"new_admitted_kappa": false,
"reported_additional_archive_entries_not_recovered": 332,
"reported_supplemental_unchanged_repository_dependencies": 34,
"source": "recovered/continuation.md, Cumulative package recovery record",
"status": "RETAINED_REPORTED_COUNT_NOT_PATH_VERIFIED"
}
},
"new_admitted_kappa": false,
"precondition_scope": "Every touched path is checked against its exact before or after digest and mode. No claim is made about unrelated existing checkout files.",
"schema": "applied-content-addressed-overlay/1",
"status": "PASS_ATOMIC_FILE_OVERLAY",
"verified_path_mappings": 3454,
"written_files": 0
}
},
"fresh_scientific_replay": {
"exact_bytes": 45,
"receipt_sha256": "b03f1ae933255c272b7b92a86a2ff2ac86e7ca840289bfb5bc846bdfab28f821",
"regenerated_artifacts": 59,
"stages": 23,
"status": "PASS_FRESH_NATIVE_AND_CONDITIONAL_INTERFACE_REPLAY",
"timing_only_normalized": 14
},
"historical_332_entry_recovery_gap_resolved": false,
"new_paths": 240,
"official_frontier_modified": false,
"prior_overlay": {
"bytes": 128696496,
"filename": "kappa-function-composition-cumulative-overlay.zip",
"sha256": "253bc0d5833fdd2d143879eb6c505092417ca5ec34373ce3b31d08b148333157"
},
"prior_paths_preserved_byte_for_byte": 3214,
"schema": "cumulative-kappa-delivery-verification/1",
"source_manifest_sha256": "18dbbff9766a79f65550d8b988aa64f7064eee2aaebba1fd5cdde43dc648c594",
"status": "PASS_COMPLETE_CUMULATIVE_PRESERVATION_FRESH_REPLAY_FULL_APPLY_AND_IDEMPOTENCE",
"total_overlay_paths": 3454
}
Loading