Skip to content
Open
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
  •  
  •  
  •  
1 change: 1 addition & 0 deletions .gitattributes
Original file line number Diff line number Diff line change
Expand Up @@ -152,3 +152,4 @@ research/community-batch1099-audit/** -text -whitespace
research/community-frontier1094-audit/** -text -whitespace
research/abelian-cayley-metric-scope/** -text
research/exact-coarse-exponential/** -text
research/gmx-t74-borrow43-handoff/** -text -whitespace
6 changes: 6 additions & 0 deletions research/concentrated-prelife-composition/.gitattributes
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
expected/** -text -whitespace
independent-inputs/** -text -whitespace
ceiling/upstream/** -text -whitespace
provenance/PR2696-independent_late8.py -text -whitespace
vendor/ceiling.py -text -whitespace
evidence/** -text -whitespace
3 changes: 3 additions & 0 deletions research/concentrated-prelife-composition/.gitignore
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
__pycache__/
!evidence/*.log
!evidence/**/*.log
416 changes: 416 additions & 0 deletions research/concentrated-prelife-composition/ARCHIVE.json

Large diffs are not rendered by default.

163 changes: 163 additions & 0 deletions research/concentrated-prelife-composition/ARTIFACTS.json

Large diffs are not rendered by default.

75 changes: 75 additions & 0 deletions research/concentrated-prelife-composition/CLAIM.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,75 @@
{
"status": "PASS_COMPLETE_CONDITIONAL_COMPOSITION",
"kappa": "17161404259974415161889999999999999999999998999999999999999999999999/10000000000000000000000000000000000000000000000000000000000000000000000",
"kappa_decimal": "0.0017161404259974415161889999999999999999999998999999999999999999999999",
"complex_lower": "1716140425997441516189/1000000000000000000000000",
"complex_upper": "171614042599744151619/100000000000000000000000",
"global_profile": {
"1": 1595736,
"2": 430236,
"3": 204396,
"4": 79920,
"5": 22532,
"7": 2664,
"8": 2664,
"32": 1,
"48": 26558
},
"local_profile": {
"1": 2370,
"2": 646,
"3": 297,
"4": 120,
"5": 26,
"7": 4,
"8": 4
},
"comparison": {
"pr": 2696,
"head": "5a42add713e09a8798a84d0be7a8276626d9e785",
"kappa": "1715599770234969498857/1000000000000000000000000"
},
"gain": "5406557624720173319999999999999999999998999999999999999999999999/10000000000000000000000000000000000000000000000000000000000000000000000",
"gain_percent": "0.0315140962275816123491750493328909085601430052934617650373906",
"helpers": 415,
"calls": 666,
"roles": 276390,
"private_zero_buffers": 72,
"live": 66304,
"physical": 66801,
"rank_mass": 4816512,
"full_receipt": "evidence/full/RESULT.json",
"full_receipt_sha256": "5fdf5db9538e113011ed8f9a6b824658fa21e0444f51e9256521d0c9ad585c68",
"source2679_head": "2e2cf56521df8a2b816b2689144765ee00b69a24",
"source2679_manifest_sha256": "db498ed7998397ef00501e037f10678e89ee113d57af4667c5c6978fc42e83ba",
"source2696_head": "5a42add713e09a8798a84d0be7a8276626d9e785",
"candidate_manifest_sha256": "f9b8b8cbed9e55b32d821c50ab76fef0afb1466f29d11204254fb50d2533e680",
"coverage": {
"current_stages": 18,
"retained_parent_stages": 18,
"strict_steps": 8,
"supplier_inequalities": 47,
"modern_inequalities": 63,
"modern_negative_controls": 17,
"evidence_replays": 19,
"admission_controls": 114,
"bit_controls": 12,
"current_controller_mutations": 25,
"independent_owner_controls": 8,
"geometry_controls": 6,
"prelife_mutations_per_provider": 78,
"alias_mutations_per_provider": 7,
"native_recipe_mutations_per_provider": 13,
"dirty_columns_each_orientation": 639,
"native_operator_count": 65,
"native_physical_classes": 166,
"native_columns_per_class": 512,
"ordinary_sufficient_stages": 37
},
"native_and_parent_receipt_reuse": false,
"inherited_parent_geometry_reuse": true,
"selected_main_changed": false,
"human_review": false,
"proof_assistant_verified": false,
"scope": "Finite conditional construction and exact outer inequalities; inherited all-size, machine, analytic and bit assumptions remain."
}
50 changes: 50 additions & 0 deletions research/concentrated-prelife-composition/ENVIRONMENT.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,50 @@
{
"python": "3.12.15 (main, Oct 14 2026, 01:05:27) [Clang 23.1.3 ]",
"platform": "Linux-7.0.0-28-generic-x86_64-with-glibc2.43",
"architecture": "x86_64",
"libraries": {
"numpy": "1.26.4",
"scipy": "1.15.3",
"sympy": "1.14.0",
"mpmath": "1.3.0",
"gmpy2": "2.3.2"
},
"zlib_compile": "1.3.2",
"zlib_runtime": "1.3.2",
"thread_environment": {
"OPENBLAS_NUM_THREADS": "1",
"OMP_NUM_THREADS": "1",
"MKL_NUM_THREADS": "1",
"NUMEXPR_NUM_THREADS": "1"
},
"full_cold": {
"wall_seconds": 825.7336797248572,
"cpu_affinity": "20-39,76-79",
"controller_jobs": 1,
"driver_sha256": "76b742863b46003adc8b591a2e6b64ee1eb5b8a162eaa11655fcbbcf2a4c24bc",
"adapter_sha256": "907bfc9f6fab711539f87a7562bb380c6af940b2884d6641356c1d67c1c42b5e",
"executed_command": [
"python",
"-B",
"results/root/combined_replay.py",
"--source",
"baseline/research/gmx-t74-borrow43-handoff",
"--source2696",
"baseline/research/t74-concentrated-source-partners",
"--candidate",
"results/root/combined-inputs",
"--fill",
"results/root/combined-inputs/FILL.json.gz",
"--order",
"results/root/combined-inputs/ORDER.json",
"--work",
"results/root/combined-cold",
"--jobs",
"1"
],
"relocation": "Executed driver and adapter are byte-identical to replay_engine.py and combined_adapt.py; the complete frozen inputs are expected/. Published full_replay.py additionally runs the portable constructor and modern ordinary supplement. Those components were checked separately; the assembled public wrapper has not been rerun end to end.",
"coverage": "Fresh native and retained-parent receipts; explicit inherited parent geometry reuse. See ARCHIVE.json and CLAIM.json.",
"cpu_seconds": "Not instrumented for the full root replay; wall time is not represented as CPU time."
},
"compression_policy": "Immutable committed input bytes are authenticated. Regenerated compressed mathematical objects are compared by decoded payload; stream equality is not a mathematical acceptance condition."
}
Loading