diff --git a/research/p104-clean-mixed-root/NOTICE b/research/p104-clean-mixed-root/NOTICE
new file mode 100644
index 0000000000..0d612f9c3c
--- /dev/null
+++ b/research/p104-clean-mixed-root/NOTICE
@@ -0,0 +1,8 @@
+New source-bound composition and portable package: Rohan Arun, with substantial OpenAI Codex assistance. Apache-2.0.
+
+Exact prior clean native merge: PR6399, Rohan Arun with substantial OpenAI Codex assistance.
+Mixed six-field root, normalization, physical binding and price adapter: PR6398, Ali Romman with substantial OpenAI Codex assistance.
+Shared-carrier input lifts: PR6375, DreamingOfClouds with Claude Opus5.5 via Claude Code.
+All predecessor credit notices are retained byte-for-byte in native-source.tar and root-source.tar.
+The P104, Gaussian/native, productive helper, BIT, compiler, precision, outer and original manuscript authors retain their attribution and source licenses.
+No new claim is made for the mixed root itself or for classical rank-one inverse identities.
diff --git a/research/p104-clean-mixed-root/PRICING-EDITS.json b/research/p104-clean-mixed-root/PRICING-EDITS.json
new file mode 100644
index 0000000000..190d36efec
--- /dev/null
+++ b/research/p104-clean-mixed-root/PRICING-EDITS.json
@@ -0,0 +1,30 @@
+{
+  "source_sha256": "b668ec87a3b6a1d5ed5e86ceac16100752dc8fb4300b7012e8b07cb477709ecf",
+  "edits": [
+    [
+      "KAPPA = Q('0.00328621476572836015146308')",
+      "KAPPA = Q('0.003286849')"
+    ],
+    [
+      "TESTED = Q('0.003286214765728360151463085')",
+      "TESTED = Q('0.003286854')"
+    ],
+    [
+      "PREVIOUS = Q('0.00328620')",
+      "PREVIOUS = Q('0.00328621476572836015146308')"
+    ],
+    [
+      "(13652, 67150)",
+      "(13652, 67132)"
+    ],
+    [
+      "'kappa_decimal': '0.00328621476572836015146308'",
+      "'kappa_decimal': '0.003286849'"
+    ],
+    [
+      "'refinement_kind': 'Same complete invoice; finer strictification and compiler parameters.'",
+      "'refinement_kind': 'Clean donor-transport merge, unchanged mixed root, complete native invoice.'"
+    ]
+  ],
+  "result_sha256": "60e9182838c0361293438153bf3232f96e28404021773b33d93ddaac657680a2"
+}
diff --git a/research/p104-clean-mixed-root/PROOF.md b/research/p104-clean-mixed-root/PROOF.md
new file mode 100644
index 0000000000..57426855c6
--- /dev/null
+++ b/research/p104-clean-mixed-root/PROOF.md
@@ -0,0 +1,71 @@
+# Source-bound conditional composition at κ=.003286849
+
+## Boundary compatibility
+
+The regenerated PR6399 word is compared field by field against its exact
+shipped payload. Its persistent interfaces are unchanged from PR6375:770
+arbitrary public inputs,104 live ports, the original main entrance/exit
+coframes and the identical helper input/output frames. Its normalized scalar
+endpoint is the required main shear and identity on every independent helper.
+The only added owned lifetime is fully uncomputed before its CLEAR.
+
+The mixed caller of exact PR6398 consumes this same PR6375 interface.
+Therefore the replacement is made at each of its18 full native sites without
+altering any main input, output, normalization or productive helper contract.
+This is verified afresh: the complete native phase inventory agrees with the
+exact PR6399 receipt, the literal mixed caller agrees with its pinned570-event
+payload, its independent six-field module passes and all7,488 physical
+main/idle contacts are checked against the replaced native word. Interface
+compatibility is checked from actual coframes and phases, not inferred solely
+from a shared port count or a declared source name.
+
+The native rank-one correction is the classical identity F=S+uv with
+b=vS^-1 and d=1+bu=1 in this instance. A clean cache stores bF(input)=dv(input).
+Subtracting uc/d restores S(input); subtracting dbS(input) then clears the
+cache exactly. All correction supports lie in the full frame. The constructor
+checks the entire rational error row space and799-column normalized endpoint;
+the separate integer-row checker proves the actual new cache zero. The
+original native construction and its sources retain PR6399’s credit.
+
+## Complete invoice
+
+Relative to PR6398’s pinned complete invoice, productive targets are identical.
+At each native site remove one H4 and one H1 job and add one H5 job. Thus
+
+    paid_new = paid_6398 +18(H5−H4−H1),
+    targets_new = targets_6398.
+
+Every binary child,17thin-query groups, paired/individual whole idle, central
+normalization, source helper debit and physical adapter remains present.
+The emitted event inventory and the independent caller formula both derive
+this same profile:13,652productive fields,67,132paid jobs and rank-mass
+surplus760. Strict subadditivity gives H4+H1>H5 for powers0<s<1, with equality
+at linear rank cost. This signed change is not credited as a new helper
+output. The additional508native scalar-allowance units and new lifetime are
+included in the complete ordinary-work budget.
+
+## From the profile to the whole conditional exponent
+
+Two separately implemented rational moment engines certify the strict raw
+crossing bracket(.00328685686446,.00328685686447). The chosen claim
+.003286849 and tested saving.003286854 lie strictly below that root. The
+retained derivative bound proves the crossing unique in the stated range.
+
+The actual completion uses power1920, cutoff12, floor13 and reserve10^-29,
+with its exact tail, splitting and rounding costs retained. The declared
+conservative reserve is funded by the positive exact moment margin. The
+compiler checks its shifted exits and complement capacity at theta63/64,
+logarithm power2100, gap1/1,400,000,000 and integer threshold
+H=138,100,200,000,000. The full scalar/movement/growth allowance and precise
+prime rule are retained in RESULT.json. Ordinary BIT saving.0034 exceeds the
+tested whole saving. Every one of54strict and4functional outer inequalities
+is strictly positive. These are the actual checks, not merely a raw-root
+extrapolation or a tensor-factor assumption.
+
+Consequently, conditional on the inherited native_all_columns, owned_erasure,
+compiler, precision_tape and analytic_recovery framework premises and their
+retained all-width transfer arguments, this composition supplies the whole
+bound κ=.003286849. It improves the exact pinned PR6398 claim by
+.00000063423427163984853692, about.01930percent. It does not establish an
+unconditional multiplication theorem, human/formal-kernel acceptance, a
+materialized rounded multiplier, a selected-frontier change or κ=.005.
diff --git a/research/p104-clean-mixed-root/README.md b/research/p104-clean-mixed-root/README.md
new file mode 100644
index 0000000000..2fa1614cb5
--- /dev/null
+++ b/research/p104-clean-mixed-root/README.md
@@ -0,0 +1,111 @@
+# Conditional κ = 0.003286849
+
+This standalone composition supplies a new locally verified whole conditional
+bound, κ = 0.003286849, improving pinned PR6398’s
+0.00328621476572836015146308 by about 0.01930 percent. It combines the exact
+clean native merge from PR6399 with the exact six-field mixed caller from
+PR6398. Neither predecessor mechanism is claimed as new here. The selected
+repository frontier is unchanged; independent scientific review remains open.
+
+## Complete construction
+
+PR6399, head `a928a7aa5ab5b21b7cf841d6d960ab2e7efd1041`, supplies the native
+word SHA256 `09afbc6fbf5fe7a3b9bdeb7401f0d9437ac52c628b81f3378e31dc11afbbcf6d`.
+It merges one rank-4 and rank-1 query into rank5, uses an already-paid donor
+for the intermediate export, and repairs the remaining rank-one endpoint
+error with one provably zero-restored scratch lifetime. Helper productive
+frames and the complete main interface remain those of exact PR6375.
+
+PR6398, head `dee2663ba0918be86993fd9d63c8d64b020f4c83`, supplies the mixed
+root and its complete-field normalization. Its four binary children have
+sizes7,2,2,7; their projector ranks are2,3,3,2. Both extra whole idles are
+retained. The six root outputs have stage supports ABCD,AB,CD,empty,B,C and
+all contain the central transform. The570-event caller is unchanged.
+
+The new signed native saving H4+H1−H5 is applied at all18 native calls.
+Every helper debit, thin query, whole idle, normalizer, route and ordinary
+operation is paid. The complete invoice has:
+
+- 13,652 productive fields and67,132 paid recursive jobs, with rank-mass
+  surplus760;18 full calls,17 thin queries per port and3,120 whole idle jobs.
+- 770 independent public inputs,29 owned roles,44 lifetimes, peak13;
+  799 arbitrary input/scratch columns and638,401 exact coefficient positions.
+- 2,940 native maps with signed Pauli action and absolute phases,
+  208 main adapters and1,124 helper normalizers;7,488 mixed caller contacts.
+- Native scalar allowance130,178, local route allowance5,382,000 and complete
+  raw scalar upper248,152,864, below the charged10^9 budget.
+
+Two rational engines enclose the raw crossing in
+(0.00328685686446,0.00328685686447). The smaller whole claim uses tested
+saving0.003286854, strictification power1920, cutoff12, floor13, reserve10^-29
+and the exact charged tail. Compiler theta63/64, logarithm power2100 and
+H=138,100,200,000,000 are explicit. The retained ordinary BIT admission is
+0.0034. All54 strict and4 functional outer predicates are positive.
+Full profiles, parameters and exact margins are in [RESULT.json](RESULT.json).
+
+## Reproduce
+
+Python3.12, standard library only. From the repository root, set TMPDIR to
+writable temporary storage outside the checkout for read-only execution:
+
+```sh
+python3.12 -B scripts/research_package.py --package research/p104-clean-mixed-root
+python3.12 -B scripts/check_research_commit.py --package research/p104-clean-mixed-root --check-source-history --check-modes
+```
+
+The registered hook runs complete normal and assertion-disabled replays.
+Each command rebuilds every scientific native word field, authenticates every
+retained source member, checks chronology/ownership, the separate integer
+new-scratch-zero rows, all transpose columns, every native map and phase,
+the separate root module and full caller, all physical contacts, both moment
+engines, completion/compiler/precision and every outer predicate. Corrupted
+source bytes, missing uncomputation and missing caller operations reject.
+Ordinary replay writes only temporary files and leaves the package unchanged.
+
+Sources are stored in two small authenticated runtime archives to keep this
+PR standalone while its predecessors remain pending. They contain16 exact
+files needed for native regeneration, caller execution, pricing and notices.
+[SOURCES.json](SOURCES.json) binds their original Git paths at the two exact
+heads. [RETAINED-INPUTS.json](RETAINED-INPUTS.json) authenticates every archive
+member before import. The retained old native checker archive is a pinned
+main-branch input. [PRICING-EDITS.json](PRICING-EDITS.json) lists every change
+to the source price adapter; the mixed root itself is not modified.
+
+## Proof and limitations
+
+[PROOF.md](PROOF.md) states the source-bound composition and full conditional
+claim. The assumptions native_all_columns, owned_erasure, compiler,
+precision_tape and analytic_recovery remain inherited and open. The new
+scratch is exactly zero before erasure; this does not discharge inherited
+owned-erasure obligations. Separate same-author arithmetic checks do not
+establish independent human or proof-kernel acceptance. No uniform rounded
+multiplier is materialized, no practical speedup is asserted and κ=.005 has
+not been attained. The ordinary BIT saving0.0034 would itself need improvement
+for a whole bound beyond.005.
+
+This new PR leaves PR6399 and PR6398 unchanged. The canonical base is
+7c49fe32c55de02c2c873655c804b16e4c3fef0a, priority8. Exact predecessor history
+is retained for source-byte checks without importing their pending package
+trees into this diff. Bounded live overlap checks are not novelty certification.
+
+## Open next questions
+
+1. Independently reproduce and review the clean-native/mixed-caller binding.
+   Start from the two archived pins, complete word regeneration, physical
+   contacts and exact paid/target deltas. Human/kernel review remains open.
+2. Find a substantially cheaper native word or genuinely different caller
+   interface toward.005, with a stronger BIT backend as needed. First emit
+   an arbitrary-input word and account for every productive debit and query;
+   favorable local or formal prices alone are insufficient.
+
+Structured scope and questions are in TASK.json.
+
+## Credit
+
+Rohan Arun with substantial OpenAI Codex assistance supplied this standalone
+composition, price rebinding and complete checks. PR6399 supplies the clean
+native merge; Ali Romman with substantial OpenAI Codex assistance supplies
+PR6398’s root, normalization, physical binding and compiler adapter.
+DreamingOfClouds with Claude Opus5.5 supplies PR6375’s input lifts. The retained
+P104, Gaussian/native/helper, BIT, compiler/precision and analytic authors
+keep their full notices in both source archives. New work is Apache-2.0.
diff --git a/research/p104-clean-mixed-root/RESULT.json b/research/p104-clean-mixed-root/RESULT.json
new file mode 100644
index 0000000000..8ac899a683
--- /dev/null
+++ b/research/p104-clean-mixed-root/RESULT.json
@@ -0,0 +1,372 @@
+{
+  "assumptions": [
+    "native_all_columns",
+    "owned_erasure",
+    "compiler",
+    "precision_tape",
+    "analytic_recovery"
+  ],
+  "columns": {
+    "arithmetic": "Dense integer rows with binary denominators; reverse chronology",
+    "coefficients": 638401,
+    "columns": 799
+  },
+  "complete_cost": {
+    "compiler": {
+      "H": 138100200000000,
+      "N": "2^138100200000000",
+      "eta": {
+        "lower": "0.000000000000022840002347708546",
+        "upper": "0.000000000000022840002347708547"
+      },
+      "gap": "1/1400000000",
+      "integer_test_exponent": 98643,
+      "logarithm_power": 2100,
+      "theta": "63/64",
+      "uniform_saving": "23007973/7000000000",
+      "word_materialized": false
+    },
+    "derivative_upper": "-710593695512369490608736613424795565043426710862427573416964603/3138550867693340381917894711603833208051177722232017256448",
+    "full_forward_calls": 18,
+    "gain": "15855856790996213423/25000000000000000000000000",
+    "kappa": "3286849/1000000000",
+    "kappa_decimal": "0.003286849",
+    "margin_at_previous": {
+      "lower": "0.147488124922858324778785706519",
+      "upper": "0.147488124922858324778785706520"
+    },
+    "negative_controls": {
+      "coarse_tail": "The block tail bound cannot fund this near-limit claim.",
+      "old_BIT": "An outer inequality fails at BIT saving0.0027.",
+      "old_completion": "Cutoff16 and floor17 give a ratio above one."
+    },
+    "nonrecursive": {
+      "local_routes": 5382000,
+      "local_scalar": 130178,
+      "paid_rank_mass": 184980,
+      "peak_owned_fields": 13,
+      "raw_budget": 1000000000,
+      "raw_scalar_upper": 248152864,
+      "scalar_growth_bound": "At most 2^(10^9 + R*f), where R is the full paid rank mass."
+    },
+    "ordinary_BIT": {
+      "admitted": "17/5000",
+      "after_cover": "69/20000",
+      "atom": "1/250",
+      "before_cover": "3459/1000000",
+      "ordinary_saving": "8590884599/2500000000000",
+      "prime_rule": "odd q > 2^26*N^5 avoiding all fixed denominators and rank witnesses"
+    },
+    "outer": {
+      "functional_checks": {
+        "actual_new_BIT_stock_sublinear": "348599999253/350000000000",
+        "fixed_halo_explicit_metadata_branch": "26950000001/350000000",
+        "new_BIT_row_stock_sublinear_in_active_group": "1395799997009/1400000000000",
+        "new_semantic_group_guard": "3/1400000000"
+      },
+      "margins": {
+        "boundary_algebraic_matrix": "16105574088496021/4900000000000000000",
+        "fused_gaussian": "16105574065488063/4900000000000000000",
+        "global_coordinate_router": "23007963/7000000000",
+        "group_bit_router": "32211155130976111/9800000000000000000",
+        "group_scans": "699999999/700000000",
+        "main_transform": "16105570588496021/4900000000000000000",
+        "microbox_face_corrections": "26950000001/350000000",
+        "polynomial_products": "1399999999/1400000000",
+        "sparse_union_movement": "2006730574088496021/4900000000000000000"
+      },
+      "parameters": {
+        "a": "23007963/7000000000",
+        "b": "718999/218750000",
+        "beta": "1399999997/1400000000",
+        "bit_saving": "17/5000",
+        "cap_xi": "4456730570588496021/4900000000000000000",
+        "complex_uniform_saving": "23007973/7000000000",
+        "d": "1/1400000000",
+        "epsilon": "1399999999/1400000000",
+        "kappa": "3286849/1000000000",
+        "lambda_": "1993426297/2000000000",
+        "lambda_prime": "3488496021/3500000000",
+        "layout": "1/1400000000",
+        "q": "11503979/3500000000",
+        "r0": "1/14000000000",
+        "stop": "1/1400000000",
+        "tested_saving": "1643427/500000000"
+      },
+      "strict_checks": {
+        "actual_bit_above_effective": "792037/7000000000",
+        "actual_logarithmic_gamma_guard": "1/1400000000",
+        "actual_logarithmic_group_guard": "443269434661503979/2450000000000000000",
+        "alpha_logarithm_absorption": "1/14000000000",
+        "boundary_algebraic_matrix_above_kappa": "13988496021/4900000000000000000",
+        "cap_above_band": "2006730570588496021/4900000000000000000",
+        "cap_below_cell": "443269425911503979/4900000000000000000",
+        "cap_below_phase_cell_power": "5343269429411503979/4900000000000000000",
+        "complex_above_effective": "1/1400000000",
+        "complex_below_one_over_32": "12233877/437500000",
+        "complex_endpoint": "1/700000000",
+        "epsilon_below_one": "1/1400000000",
+        "epsilon_positive": "1399999999/1400000000",
+        "fine_prime_halo_umbrella": "7/2",
+        "fused_gaussian_above_kappa": "13965488063/4900000000000000000",
+        "gaussian_above_main": "1738496021/2450000000000000000",
+        "global_coordinate_router_above_kappa": "1/350000000",
+        "global_gamma_power_slack": "9/14000000000",
+        "group_below_dimension": "1/700000000",
+        "group_bit_router_above_kappa": "34930976111/9800000000000000000",
+        "group_gauge_power_slack": "443269434486503979/2450000000000000000",
+        "group_key_fits_record": "1/700000000",
+        "group_positive": "1399999997/1400000000",
+        "group_scans_above_kappa": "6976992047/7000000000",
+        "halo_covers_generic_inverse_radius": "5",
+        "improvement_over_user_baseline": "777939290400418148631/500000000000000000000000",
+        "lambda_above_internal": "1/2800000000",
+        "lambda_above_sigma": "3/2800000000",
+        "lambda_above_tau": "1/2800000000",
+        "lambda_prime_above_lambda": "1/2800000000",
+        "lambda_prime_above_leaf": "436781001/306250000000000000",
+        "leaf_saving_above_effective": "218031001/306250000000000000",
+        "main_transform_above_kappa": "10488496021/4900000000000000000",
+        "membership_arithmetic_fits_record": "1/1400000000",
+        "microbox_face_corrections_above_kappa": "538976992077/7000000000",
+        "microbox_halo_volume": "110600000003/1400000000",
+        "new_complex_uniform_saving_above_b": "1/1400000000",
+        "new_semantic_guard_with_C1_one": "1/1400000000",
+        "polynomial_products_above_kappa": "1744248013/1750000000",
+        "positive_layout_slack": "1/1400000000",
+        "q_below_effective": "1/1400000000",
+        "q_below_internal": "1/1400000000",
+        "q_below_leaf": "436781001/306250000000000000",
+        "q_positive": "11503979/3500000000",
+        "short_record_fallback": "218031001/218750000",
+        "source_axis_superpolynomial": "1/1400000000",
+        "sparse_union_movement_above_kappa": "1990625013988496021/4900000000000000000",
+        "stop_below_one": "1399999999/1400000000",
+        "stop_positive": "1/1400000000",
+        "strassen_integer_power_gap": "1951441519231",
+        "support_router_span": "3/1400000000",
+        "theta_positive_polynomial_power": "2",
+        "union_header_fits_record": "3/1400000000",
+        "union_tag_work_per_visit_fits_record": "3/1400000000"
+      }
+    },
+    "paid": {
+      "1": 42016,
+      "16": 1872,
+      "2": 8154,
+      "24": 416,
+      "3": 8838,
+      "32": 416,
+      "4": 1944,
+      "5": 2736,
+      "56": 416,
+      "6": 144,
+      "7": 162,
+      "8": 18
+    },
+    "paid_calls": 67132,
+    "previous_fixed_root": "82155369143209003786577/25000000000000000000000000",
+    "productive_fields": 13652,
+    "rank_mass_surplus": 760,
+    "raw_endpoint_margins": {
+      "lower": {
+        "first": {
+          "lower": "0.000000000000000000001006023564",
+          "upper": "0.000000000000000000001006023565"
+        },
+        "second": {
+          "lower": "0.000000000000000000001006023564",
+          "upper": "0.000000000000000000001006023565"
+        }
+      },
+      "upper": {
+        "first": {
+          "lower": "-0.000000000000000000001290943029",
+          "upper": "-0.000000000000000000001290943028"
+        },
+        "second": {
+          "lower": "-0.000000000000000000001290943029",
+          "upper": "-0.000000000000000000001290943028"
+        }
+      }
+    },
+    "raw_headroom": [
+      "786446240064090901/100000000000000000000000000",
+      "393223120032045451/50000000000000000000000000"
+    ],
+    "raw_root_interval": [
+      "328685686446240064090901/100000000000000000000000000",
+      "164342843223120032045451/50000000000000000000000000"
+    ],
+    "refinement_kind": "Clean donor-transport merge, unchanged mixed root, complete native invoice.",
+    "relative_gain_percent": "1585585679099621342300/82155369143209003786577",
+    "strictification": {
+      "alpha": {
+        "lower": "0.999999996422084486700913607225",
+        "upper": "0.999999996422084486700913607226"
+      },
+      "coarse_tail_upper": "1/288230376151711744",
+      "cutoff": 12,
+      "delta": {
+        "lower": "0.957248720144786869391992865396",
+        "upper": "0.957248720144786869391992865397"
+      },
+      "exact_tail_upper": "25968816751883113995464804882194607929411683780884226645678925307002110843550133104420123760101479474839221201004686329940160027670126004133743828536680673994452725629745611397250341115761363323607003552687034005960488068717359911143395851784415362067355137094922219194655890106807315973377901994681558011665956719293922523423896736235903448997789236780141543787761778864696595800906890151999691226382701024017325569269316595526470733042482962997961321816289689038860231064735268262348181833735526073481800371738520564423855188853455070167523225315015758774805697502433771984614850668873883495604089682521242370834384375582830712704865727861176177048771394427407255002047824069363883041195805737568221434593424664912374095681332409910102117819689183603716909776665801384439952751837667700413070379263323130466094707734337887831258005980440847552037834301818581649745499092009029235117704964733313829410497453470070887466638307413753043426496924817422338541543232280481901189410625113352540990925659205592694157405025696376596135904922863017205099824220302784597597394276398809139342815771451800330237414693097687353116020292427829621137741888194987614319546272900374357630911060621372780363425799229823027419399322430473329066822665185057155378959634917707139348139444417502434894646589809020275954413976196338353104990927739225086991331116260532892993604070852131850799788364871935788080589906984695519250577337599768456831251607249423700889021932369256023863626543373232166438214597277750913930476188423662975734340573982417743812475341013829410134208659166050139798547596876083645842576454904158460099622845601362359202659966547393643799328843973215865146723977900950651432448361170601246192090126412244869008028749978164391847944132606805504798364996996014218459024410664453957811779516913670216928724470380796391020353614030246272618410655142564538377734059025000305119155917226445867387899027040451866939956717377831530119449900953585057952699220008085352148706159738644321313531284032818479141559396247029143750425762501948430437369399481810562584909868262778814839240692102964314788286773148559517247633145270422345099190454145942630831266195509922086728349392801157236390281356642879102356486891062424937470616665957496696759574300833108099958404347149016512657584919622710050001356487455986180867964952023672761039188124022692190974214751766725701356295495524587296011840901864611875504808599874948117351460747134887391055383954183357815228423956967508253485665094444536753140118928942192591489028112227793683148117180821470944630106089051895287977293005179296095836333159834273766684727267011939930469961979884670796085309878886992937168024435902854601180811049624073160626754017381247943964404431354002824473361814782176441811959489344592309505051971888333364522225539320640095711622097910757473509357949732179456944382304691192060425703256673043353601/1931516324011626346020150553929126181823590488535040186824856567180029479223493376445786096950954795100702784533083281033646760271068018983122291972202644881704691011563710483989867650744695251376055025107666230739164093587389628866535770117611912392089755082590080472028477987071289165684289011377905352698232800507758208042820675070709030399021754206793830358905406733535942588887996076001927509337965834979072536427646331464401971792582375342958569384054354332096896759837269698218889565287567707539585095032991822857620010464317015726455734074643321122388044097708028635229432698100703335425310388288440000351711930613276786493722293418289870150700918405798037757934100708219508469592822795997483826085672921016197325327430119841909503482096760772795264133044082205866449934298354644012164798932775556083457809449912592220889802005953323685819720454613153020534455067493961231922206456679179219662713499049824991117775198073492812006682664088284693545727589314279309950009246830913459976142947529615742696134568887882410861948007763929800878314246201090904986140186077798864508547948608132255423035988434446214058699770626557465193128157512845357439793247851632224246499990611115646221003615087011758590423628181610786764420573006921761893949737802418426782447136548014140198447242737897751623530788833864390071832506056728849302290191408954510946220861486311039370054837095614883730158737099345289640173098512240742485291913040000974074836991713791813260339229632451698438087840996110693416312325768841145996367942811788448367825625035192908389092377054549306070546491079416016630873092882144703817485287986047453762937574793229088607594726623087172119290857442922186749727030568744100000419699941602816789656590538128654775884335322288115044042902368007647928447785494309683729219830178145535848830929931533192822883913681010006628877851664234722515418098809600795075237161618710226944692109669822041946629850162941173319519204709693533513108874099949758590208958136931346480022816743599142611017726137114510998217900038246478615246956350952278485410366122587953267937544436255099465307497011848059680873269896755574862120101016159541436240691657472394148008527677335225016052476207952397501417607437147877605303564057067564064530504494183216739444916912001687735183605267399161590281721705618193211199161475332334316832897783160549981482614788840809957569982115145402182575160480094711317055554905021931999461941405791251356057108718863869053217661463840775172788114991998596171377364481496742568202736663003363999728620841731079859176245940071187874843669264882594126717901436208421673886795099603467547525863026278936933835810347290598467230778790873267966902348777280946055188109006665306325326165168038148974262863542508287344559517219458554951908638902157539612839480289421087336446182774503962079866786903470546386259662184092799534574936219344193317288975481261643484673081344",
+      "floor": 13,
+      "gamma": {
+        "lower": "0.924084717378391890173270829832",
+        "upper": "0.924084717378391890173270829833"
+      },
+      "normalized_paid_upper": "301799425626816616565648528109053583391672575624975869940741583241797183286245900040809945102717848691873044685714521183696004886382003883466377478245092103887149130513292792459855142440109413906745988535460631248884298173458126368768624796293092869362168408912319796533556160583862533407322260438866742613153280686291990643354490224551943523228527424469436028309041589787129548101074311423426114310610596031813033352108087503397245815968572344741673665372616954254810895105816503554164534346982552051911285959875500423372269822385628835948047846968612629126601819504076701291377728006835633485157565813415491483591792647779464628140235411130837708133364924768325881139107648021966692253445739473110504978176401317390484720917763472170087399053284025621752849515588491115354784312114796037285675219539609263405190913495242614266526211760606148610764084636759992186514237315506545921016082951398642312212707669421504838229936571461184333857636630398207131411209275958949082326107455705488444588407064614885594862057760009464516285110015266189625072421731933680573645919460633395409485478933665135896635962123550978028198469956423067761387237891161248504060152572651764417043315553904788275940972822138283460482007536285039454333744430731010515968501887788002878120512905009639562367117756114778018290345960701258650801580441748371168100479507364802657842858038646646132252116044115722627476253140838312498329226086525341379050630911210225440926822289249592206382470693285625307402300632605045915432124015120531477460701485675348813313885703492348411977021656461528309955456511882087030695278147846402385996123408872905124876546080259052247878909372748370715537990123188801158439727097722818570075649321843091996462220691948638857990271688415748735990268957977072732719576542723594407150217919974318537795754697935266273409814901132885468100151160477578371433469178015962157592357715183237537996405238471421253995257942319696663713231624595453865406519280636797623587967147499366372116604250177877350232354938419461919717913462777631887824492739295756328953000703580767618425429227902317519621684672164305220954227395374311394390766662610551662776418938907121788829304328236007254754887896625047228575905877802078036326720030589592784430857735637288740857800323458560625645576814021888519238251618574786255511355740282166374757739907368509692374989841088063538310820616230807172142631730012542741650950755936921860148020466043114790367272167323847793817214080973216016280043001603197094102740357442482718512416184262618729170472760291383183945838246607207075883495104473031191009853310272431836128093864425961960285207680233006875526939005517015421666422110223408105807078082966354186873810127771992121166952364000079535481712545174594176912418033247014664164087923589259194684161501915740939750272298890913108985116073608319238085545414021966707796667664104685841899011057001636482790107033732431277109770019130060803/301799425626816616565648529845974937944815051894051690978762384092651071733791400544223779188675124404964939420652553514371691594462731565362701221596944075970414919923705679731351465542931667718640049642675800787080143751194704833394906298369142073432910831262010426590186861749154179908411574113231672572966372132204254140406788574496687523121773223273561205706060999180253649895240463591521373941884928379468311822602267305210313029808605430276270859464408242137266147600281542509764490866872733814869265755573668184206249253804818806234177022023050318324179069634081698184562226242367189284290653858366844357064995434255662754964109401743584050877377982072823654546813687762053415767991835676908972484411802687249220074862434482317122967669594853039619546516648290956915120619910312259147367432595983533104214763043239332840699813803635175647107983702711177318479661755092806327303820459486955554182679993154524899690033687123749025519139617120077586998371850404134444543025454512996064110265401530200289011406317160469286026604301517738050883833554764477195873806709598811182733331928441223143245966718526066771068605429507569239764916787481398979640090556202007577051695852366563276928487596845559113100630566387530692975990303602409840762006824889598205522650767476422813262662025137933335219106350633039162417083941956249205076012623146660505533557514106674128434601134852410041770420781937212793121697833013827311362730333019447735915507411155709941930926854581553022326664936659984743653896215644952050264571313278922363996191900852720371161029018250204179101614398435883762221838974474583209730126140439193296893107513897909053079037323670095023326462298240771548906364884238837953832138365056531829616142272841702133540377763077289590017667822654200955684311615614595186713542250678596459308883989461551913012219059150603330361742791188416436064097825633679223209974049177769388910527361621178910291594922035887340641001575779165100246781536674763908800750248222145187352840886814240443765559148992592574268974714029190694975869924489993628084805552395236750972076774395957659218156211913892633901746817290549607750444826394738039679332657840364634104956758305703881175381851518145141602176210211784499685874388169629196526524143126819786740960461091777191172088541365869734486582222053658491447353751365842353859719912216320360603661511255069905351959649939313457549798697724744988726137001635158315200062295821547739449719235708303756939013671896447277339750127152765043300038718598211002277466117726369069447824711128691217006380427321985630637562900166643152513235723938573681192594114466746112926181119516469194722248009341745089341619987581379161700287398142484193742945932998500445175051473070287797224491404495415401701871488328989838760586862140667222881833650947961602792334897034684943242447463005821196364958455864860637688972943051516758104801022671940452512748911866926443784930454019244032",
+      "power": 1920,
+      "reserve": "1/100000000000000000000000000000",
+      "tail_decay": "31/32",
+      "tail_offset": "1/7",
+      "tested": "1643427/500000000"
+    },
+    "targets": {
+      "1": 356,
+      "145": 104,
+      "17": 1872,
+      "2": 144,
+      "25": 416,
+      "3": 72,
+      "33": 416,
+      "4": 1926,
+      "5": 270,
+      "57": 416,
+      "6": 54,
+      "7": 162,
+      "73": 208,
+      "8": 684,
+      "9": 6552
+    },
+    "thin_queries": 17,
+    "whole_idle_jobs": 3120
+  },
+  "conditional_kappa": "0.003286849",
+  "controls": {
+    "missing_idle": "Every Q(i)[Q,D]/(Q^4-1) endpoint coefficient",
+    "missing_idle_one": "Every Q(i)[Q,D]/(Q^4-1) endpoint coefficient",
+    "missing_lambda": "Every Q(i)[Q,D]/(Q^4-1) endpoint coefficient",
+    "missing_local": "Every native stage exactly once",
+    "missing_new_scratch_uncompute": "Declared new scratch not exactly zero before erasure at event 17821",
+    "missing_q_power": "Every Q(i)[Q,D]/(Q^4-1) endpoint coefficient",
+    "missing_query": "Every Q(i)[Q,D]/(Q^4-1) endpoint coefficient"
+  },
+  "goal_005_complete": false,
+  "local": {
+    "endpoint_coefficients": 638401,
+    "helpers": {
+      "1": 14,
+      "2": 8,
+      "3": 4,
+      "4": 107,
+      "5": 15,
+      "6": 3,
+      "7": 9,
+      "8": 38,
+      "9": 364
+    },
+    "owned_fields": 29,
+    "owned_lifetimes": 44,
+    "paid": {
+      "1": 2236,
+      "2": 453,
+      "3": 491,
+      "4": 108,
+      "5": 152,
+      "6": 8,
+      "7": 9,
+      "8": 1
+    },
+    "paid_rank_mass": 5926,
+    "peak_owned_fields": 13,
+    "public_inputs": 770,
+    "real_scalar_allowance": 130178
+  },
+  "module": {
+    "actual_tensor_gaussian_columns": 14,
+    "fields": 6,
+    "full_sites": 4,
+    "gaussian_characters": 4,
+    "normalization_growth_per_operation_upper": 2,
+    "ordinary_normalization_operations_per_pair": 4,
+    "owned_normalization_fields": 0,
+    "polynomial_coefficients": 1152,
+    "stage_ranks": [
+      2,
+      3,
+      3,
+      2
+    ],
+    "tensor_rule": "Normalize the complete field with its global Q squared translation; scalar coefficients stay outside tensor powers.",
+    "thin_sites": 3,
+    "wrong_tensor_normalization_rejected": true
+  },
+  "native": {
+    "distinct_maps": 2940,
+    "helper_normalizers": 1124,
+    "helpers": {
+      "1": 14,
+      "2": 8,
+      "3": 4,
+      "4": 107,
+      "5": 15,
+      "6": 3,
+      "7": 9,
+      "8": 38,
+      "9": 364
+    },
+    "main_adapters": 208,
+    "proof": "Every signed Pauli image and exact global phase; frame induction at every positive tensor width",
+    "recipe_payload_sha256": "a23e12ee3c504eef520021d6e6434ce7eae438b6a26d4c04ec9001087ac4f13f",
+    "wrong_phase_rejected": true
+  },
+  "native_candidate_sha256": "09afbc6fbf5fe7a3b9bdeb7401f0d9437ac52c628b81f3378e31dc11afbbcf6d",
+  "new_scratch_zero": {
+    "all_input_columns": 799,
+    "method": "Independent dense integer rows with binary exponents",
+    "obligations": [
+      {
+        "count": 1,
+        "field": 781,
+        "frame": 127
+      }
+    ],
+    "zero_owned_clear_sites": [
+      17822
+    ]
+  },
+  "physical": {
+    "central_square_columns": 53248,
+    "central_translations": 16,
+    "full_calls": 18,
+    "main_targets": {
+      "1": 104,
+      "145": 104,
+      "17": 1872,
+      "25": 416,
+      "33": 416,
+      "57": 416,
+      "73": 208
+    },
+    "new_paid_jobs": 0,
+    "ordinary_normalizations": 20,
+    "physical_contacts": 7488,
+    "ports": 104,
+    "route_payload_sha256": "79930ec6c09a8e4930556c925c354bb5431203eaf069d9373f056049c061289b",
+    "tensor_rule": "Factorwise native maps; scalar signs stay outside the tensor power.",
+    "whole_idle_jobs": {
+      "16": 1872,
+      "24": 416,
+      "32": 416,
+      "56": 416
+    }
+  },
+  "scope": "Complete locally verified source-bound conditional composition. Same-author separate arithmetic engines; no independent human/kernel acceptance, materialized multiplier or .005 claim.",
+  "source_head": "dee2663ba0918be86993fd9d63c8d64b020f4c83",
+  "source_pr": 6398,
+  "status": "PASS_COMPLETE_CONDITIONAL_CLEAN_MIXED_ROOT_COMPOSITION",
+  "tested": "0.003286854"
+}
diff --git a/research/p104-clean-mixed-root/RETAINED-INPUTS.json b/research/p104-clean-mixed-root/RETAINED-INPUTS.json
new file mode 100644
index 0000000000..c7344fb657
--- /dev/null
+++ b/research/p104-clean-mixed-root/RETAINED-INPUTS.json
@@ -0,0 +1,96 @@
+{
+  "native": {
+    "head": "a928a7aa5ab5b21b7cf841d6d960ab2e7efd1041",
+    "archive": "native-source.tar",
+    "sha256": "a9aed6244e1ae5530c08f2f61a3b27c4239417b3179989cbf3bf4ab7f64887d7",
+    "files": [
+      {
+        "path": "research/p104-clean-piggyback/construct.py",
+        "sha256": "f7cd11e4d4d8944d54c4553a6ffa6f1ac4a890415f1f8d00eeba8fccef98ca3d",
+        "git_blob": "a3d0c0d434c9a22fe6156ae87ecc9af1e2ddc40d"
+      },
+      {
+        "path": "research/p104-clean-piggyback/owned_zero.py",
+        "sha256": "d9a3bf5dd95f0079b341dad54cb06a8baaea3b9ae78548b79bc920c2ce2522f9",
+        "git_blob": "808ae04055d19608171dd99e09f3509b601acb94"
+      },
+      {
+        "path": "research/p104-clean-piggyback/WORD.json.gz",
+        "sha256": "09afbc6fbf5fe7a3b9bdeb7401f0d9437ac52c628b81f3378e31dc11afbbcf6d",
+        "git_blob": "79860d7415f17c2d17880a4701413f313c662ceb"
+      },
+      {
+        "path": "research/p104-clean-piggyback/inputs/pr6375-WORD.json.gz",
+        "sha256": "9e31463a785c18a70f6ae6ef3d04a6560dbb965517109390fe820f9fac3371b3",
+        "git_blob": "b1cfd03abe9128cf5a3908fbd82652e5e8a2e292"
+      },
+      {
+        "path": "research/p104-clean-piggyback/RESULT.json",
+        "sha256": "b208fe6b40397ddcc1c88a40fdd050628ad51f5907107867bd32014ddc0208d2",
+        "git_blob": "5c684a38ed74133917834ddcce3495ef21faa8e8"
+      },
+      {
+        "path": "research/p104-clean-piggyback/NOTICE",
+        "sha256": "80b7d5fa85b817e9b544be00d3197aeabecfc7aa20e0666b9e4c69fbb4a029b3",
+        "git_blob": "20ea736c50a04bbc095012e8426644ffb9121978"
+      }
+    ]
+  },
+  "root": {
+    "head": "dee2663ba0918be86993fd9d63c8d64b020f4c83",
+    "archive": "root-source.tar",
+    "sha256": "31355a49e22b7af322abc73910d52dcbc675abd06c9fb50c29f8104ba72951a5",
+    "files": [
+      {
+        "path": "research/mixed-projector-query-root/algebra.py",
+        "sha256": "02eb3380715294334710edd3273f267dc048264555bd60fefb86022bc9eda835",
+        "git_blob": "a06d6f641685e96b2f150ea6b741930a9ec037f8"
+      },
+      {
+        "path": "research/mixed-projector-query-root/controller.py",
+        "sha256": "e5671c66a4091f1b482a750baf5bedf9ac0750e577efbe3c5b3d2860d2fa8edc",
+        "git_blob": "393524f903b44be54884475d11200f06ce1dfddb"
+      },
+      {
+        "path": "research/mixed-projector-query-root/module_check.py",
+        "sha256": "30c1f9330e512b098b0f231b3ee419018e7a8e452af6c4b5a49edd5c181bc3ea",
+        "git_blob": "8631a483107f8f7617d1f8e9b708b32b56e7ec43"
+      },
+      {
+        "path": "research/mixed-projector-query-root/physical.py",
+        "sha256": "182af90219e645a4a63e1db93dc199c446014bd525a0c2c1cb57ace3e52232bb",
+        "git_blob": "b63471439e99f3f5f405e4229b2cacf23eb819bb"
+      },
+      {
+        "path": "research/mixed-projector-query-root/CONTROLLER.json",
+        "sha256": "4aa7ee4e1bc4853200cf97474695054057cc354bc1778f35b6554a365aac412c",
+        "git_blob": "4f7d7a2f13b13966b10c7b583d28d1bed210364c"
+      },
+      {
+        "path": "research/mixed-projector-query-root/ROOT.json",
+        "sha256": "2f25684c24ae0e1d10d4f8f29430aed3cef584f82c8ae840e82be0a72baa048d",
+        "git_blob": "b59f1ea89aca17f0a76131743c12f2c724421df8"
+      },
+      {
+        "path": "research/mixed-projector-query-root/PROOF.md",
+        "sha256": "bfbe0b872f6ff14c858bff47c6e3ac0bb8e43bc8eeaec20253744e3f44720fcd",
+        "git_blob": "510bf9dba012949ea0f37d9e087ce8778b1951d0"
+      },
+      {
+        "path": "research/mixed-projector-query-root/NOTICE",
+        "sha256": "b6026dd901f3cb2e6ec6d5f7b32a38aa998005c8a1df93392151ca1766d45b33",
+        "git_blob": "03e4ac5937424ed9f0ae0e4b33d6b0df0c9ec8d9"
+      },
+      {
+        "path": "research/mixed-root-contact-composition/pricing.py",
+        "sha256": "b668ec87a3b6a1d5ed5e86ceac16100752dc8fb4300b7012e8b07cb477709ecf",
+        "git_blob": "9be37522dbffb86c5710ac9535758dd4de170051"
+      },
+      {
+        "path": "research/mixed-root-contact-composition/NOTICE",
+        "sha256": "60b778c0bfadff92601e1f158b7e0ca72af9f7c31e58a369d802376ee0adc9e6",
+        "git_blob": "4e3b429712e9c4a44e80d0b57a8a1030d96740ae"
+      }
+    ]
+  }
+}
diff --git a/research/p104-clean-mixed-root/SOURCES.json b/research/p104-clean-mixed-root/SOURCES.json
new file mode 100644
index 0000000000..ae98c2c0a3
--- /dev/null
+++ b/research/p104-clean-mixed-root/SOURCES.json
@@ -0,0 +1,148 @@
+{
+  "schema_version": 1,
+  "base_commit": "7c49fe32c55de02c2c873655c804b16e4c3fef0a",
+  "files": [
+    {
+      "path": "certificates/selected-result.json",
+      "usage": "provenance",
+      "git_blob": "d59b5035e7b4cbaa9d688a1d32dd0d6eb79c466a",
+      "sha256": "9b8d0eea95b3bf0dfcb7938a732a6439b87a2685dec2a5ab9e525b3b34debbfa"
+    },
+    {
+      "path": "docs/research/agent-task-catalog.json",
+      "usage": "provenance",
+      "git_blob": "3404fbdd5e7529a0674eef26114b5071e4586cec",
+      "sha256": "ead6cdc9d0af6d58e8a49744d8ec8c7c15e13d2ba93c276c434bcf9b51b93a81"
+    },
+    {
+      "path": "research/p104-clean-piggyback/construct.py",
+      "sha256": "f7cd11e4d4d8944d54c4553a6ffa6f1ac4a890415f1f8d00eeba8fccef98ca3d",
+      "git_blob": "a3d0c0d434c9a22fe6156ae87ecc9af1e2ddc40d",
+      "usage": "provenance",
+      "pin": "head:a928a7aa5ab5b21b7cf841d6d960ab2e7efd1041:research/p104-clean-piggyback/construct.py"
+    },
+    {
+      "path": "research/p104-clean-piggyback/owned_zero.py",
+      "sha256": "d9a3bf5dd95f0079b341dad54cb06a8baaea3b9ae78548b79bc920c2ce2522f9",
+      "git_blob": "808ae04055d19608171dd99e09f3509b601acb94",
+      "usage": "provenance",
+      "pin": "head:a928a7aa5ab5b21b7cf841d6d960ab2e7efd1041:research/p104-clean-piggyback/owned_zero.py"
+    },
+    {
+      "path": "research/p104-clean-piggyback/WORD.json.gz",
+      "sha256": "09afbc6fbf5fe7a3b9bdeb7401f0d9437ac52c628b81f3378e31dc11afbbcf6d",
+      "git_blob": "79860d7415f17c2d17880a4701413f313c662ceb",
+      "usage": "provenance",
+      "pin": "head:a928a7aa5ab5b21b7cf841d6d960ab2e7efd1041:research/p104-clean-piggyback/WORD.json.gz"
+    },
+    {
+      "path": "research/p104-clean-piggyback/inputs/pr6375-WORD.json.gz",
+      "sha256": "9e31463a785c18a70f6ae6ef3d04a6560dbb965517109390fe820f9fac3371b3",
+      "git_blob": "b1cfd03abe9128cf5a3908fbd82652e5e8a2e292",
+      "usage": "provenance",
+      "pin": "head:a928a7aa5ab5b21b7cf841d6d960ab2e7efd1041:research/p104-clean-piggyback/inputs/pr6375-WORD.json.gz"
+    },
+    {
+      "path": "research/p104-clean-piggyback/RESULT.json",
+      "sha256": "b208fe6b40397ddcc1c88a40fdd050628ad51f5907107867bd32014ddc0208d2",
+      "git_blob": "5c684a38ed74133917834ddcce3495ef21faa8e8",
+      "usage": "provenance",
+      "pin": "head:a928a7aa5ab5b21b7cf841d6d960ab2e7efd1041:research/p104-clean-piggyback/RESULT.json"
+    },
+    {
+      "path": "research/p104-clean-piggyback/NOTICE",
+      "sha256": "80b7d5fa85b817e9b544be00d3197aeabecfc7aa20e0666b9e4c69fbb4a029b3",
+      "git_blob": "20ea736c50a04bbc095012e8426644ffb9121978",
+      "usage": "provenance",
+      "pin": "head:a928a7aa5ab5b21b7cf841d6d960ab2e7efd1041:research/p104-clean-piggyback/NOTICE"
+    },
+    {
+      "path": "research/mixed-projector-query-root/algebra.py",
+      "sha256": "02eb3380715294334710edd3273f267dc048264555bd60fefb86022bc9eda835",
+      "git_blob": "a06d6f641685e96b2f150ea6b741930a9ec037f8",
+      "usage": "provenance",
+      "pin": "head:dee2663ba0918be86993fd9d63c8d64b020f4c83:research/mixed-projector-query-root/algebra.py"
+    },
+    {
+      "path": "research/mixed-projector-query-root/controller.py",
+      "sha256": "e5671c66a4091f1b482a750baf5bedf9ac0750e577efbe3c5b3d2860d2fa8edc",
+      "git_blob": "393524f903b44be54884475d11200f06ce1dfddb",
+      "usage": "provenance",
+      "pin": "head:dee2663ba0918be86993fd9d63c8d64b020f4c83:research/mixed-projector-query-root/controller.py"
+    },
+    {
+      "path": "research/mixed-projector-query-root/module_check.py",
+      "sha256": "30c1f9330e512b098b0f231b3ee419018e7a8e452af6c4b5a49edd5c181bc3ea",
+      "git_blob": "8631a483107f8f7617d1f8e9b708b32b56e7ec43",
+      "usage": "provenance",
+      "pin": "head:dee2663ba0918be86993fd9d63c8d64b020f4c83:research/mixed-projector-query-root/module_check.py"
+    },
+    {
+      "path": "research/mixed-projector-query-root/physical.py",
+      "sha256": "182af90219e645a4a63e1db93dc199c446014bd525a0c2c1cb57ace3e52232bb",
+      "git_blob": "b63471439e99f3f5f405e4229b2cacf23eb819bb",
+      "usage": "provenance",
+      "pin": "head:dee2663ba0918be86993fd9d63c8d64b020f4c83:research/mixed-projector-query-root/physical.py"
+    },
+    {
+      "path": "research/mixed-projector-query-root/CONTROLLER.json",
+      "sha256": "4aa7ee4e1bc4853200cf97474695054057cc354bc1778f35b6554a365aac412c",
+      "git_blob": "4f7d7a2f13b13966b10c7b583d28d1bed210364c",
+      "usage": "provenance",
+      "pin": "head:dee2663ba0918be86993fd9d63c8d64b020f4c83:research/mixed-projector-query-root/CONTROLLER.json"
+    },
+    {
+      "path": "research/mixed-projector-query-root/ROOT.json",
+      "sha256": "2f25684c24ae0e1d10d4f8f29430aed3cef584f82c8ae840e82be0a72baa048d",
+      "git_blob": "b59f1ea89aca17f0a76131743c12f2c724421df8",
+      "usage": "provenance",
+      "pin": "head:dee2663ba0918be86993fd9d63c8d64b020f4c83:research/mixed-projector-query-root/ROOT.json"
+    },
+    {
+      "path": "research/mixed-projector-query-root/PROOF.md",
+      "sha256": "bfbe0b872f6ff14c858bff47c6e3ac0bb8e43bc8eeaec20253744e3f44720fcd",
+      "git_blob": "510bf9dba012949ea0f37d9e087ce8778b1951d0",
+      "usage": "provenance",
+      "pin": "head:dee2663ba0918be86993fd9d63c8d64b020f4c83:research/mixed-projector-query-root/PROOF.md"
+    },
+    {
+      "path": "research/mixed-projector-query-root/NOTICE",
+      "sha256": "b6026dd901f3cb2e6ec6d5f7b32a38aa998005c8a1df93392151ca1766d45b33",
+      "git_blob": "03e4ac5937424ed9f0ae0e4b33d6b0df0c9ec8d9",
+      "usage": "provenance",
+      "pin": "head:dee2663ba0918be86993fd9d63c8d64b020f4c83:research/mixed-projector-query-root/NOTICE"
+    },
+    {
+      "path": "research/mixed-root-contact-composition/pricing.py",
+      "sha256": "b668ec87a3b6a1d5ed5e86ceac16100752dc8fb4300b7012e8b07cb477709ecf",
+      "git_blob": "9be37522dbffb86c5710ac9535758dd4de170051",
+      "usage": "provenance",
+      "pin": "head:dee2663ba0918be86993fd9d63c8d64b020f4c83:research/mixed-root-contact-composition/pricing.py"
+    },
+    {
+      "path": "research/mixed-root-contact-composition/NOTICE",
+      "sha256": "60b778c0bfadff92601e1f158b7e0ca72af9f7c31e58a369d802376ee0adc9e6",
+      "git_blob": "4e3b429712e9c4a44e80d0b57a8a1030d96740ae",
+      "usage": "provenance",
+      "pin": "head:dee2663ba0918be86993fd9d63c8d64b020f4c83:research/mixed-root-contact-composition/NOTICE"
+    },
+    {
+      "path": "research/p104-root-relay-descent-2/sources.py",
+      "usage": "input",
+      "git_blob": "28bd10e1cda6021639d380a967340951fc311cdf",
+      "sha256": "b0adfca9a3e5392383716c5df8328eba2536741171d993907236169d69fb2fb3"
+    },
+    {
+      "path": "research/p104-root-relay-descent-2/SOURCES.json",
+      "usage": "input",
+      "git_blob": "d439099ab2491cae261812362745d7e688f9e691",
+      "sha256": "e5104866bbe9d90b703a11606f98205f94012e21598484d456ee58411556fd6c"
+    },
+    {
+      "path": "research/p104-root-relay-descent-2/inputs/pr5827-source.tar",
+      "usage": "input",
+      "git_blob": "1e10936044959f81a4c5fcd5bdb7b9e4c060ec8e",
+      "sha256": "7af5908a4d83e83e28f59523fd7494841f669b7295311cfdbc3027fa65c5826d"
+    }
+  ]
+}
diff --git a/research/p104-clean-mixed-root/TASK.json b/research/p104-clean-mixed-root/TASK.json
new file mode 100644
index 0000000000..2e86114815
--- /dev/null
+++ b/research/p104-clean-mixed-root/TASK.json
@@ -0,0 +1,97 @@
+{
+  "schema_version": 1,
+  "task_id": "supplier-boundary-audit",
+  "priority_revision": 8,
+  "base_commit": "7c49fe32c55de02c2c873655c804b16e4c3fef0a",
+  "original_card": {
+    "id": "supplier-boundary-audit",
+    "question": "Does one changed supplier have complete source-bound native, caller, ordinary and outer admission coverage?",
+    "starting_points": [
+      "docs/research/current-priorities.md",
+      "docs/research/research-family-status.md",
+      "certificates/selected-result.json",
+      "docs/research/pr-intake-evidence/pr5599-completion/PROOF-REVIEW.md"
+    ],
+    "methods": [
+      "Construct and independently check one source-bound instance of the stated first experiment.",
+      "Seek an exact counterexample or target-specific complete-budget obstruction to that same proposed change."
+    ],
+    "acceptance_gate": "Pin the current sources and one obligation; the historical owner audit is an example, not evidence of a current bug.",
+    "first_step": {
+      "command": [
+        "python3",
+        "-B",
+        "scripts/research_selected_baseline.py"
+      ],
+      "expected": "PASS_RESEARCH_BASELINE_BINDINGS_ONLY",
+      "inspect": "Read revision 8, the selected review and live exact-source handoffs. Then follow this card's bounded first_experiment.",
+      "scope": "Source-bound orientation only, not a supplier replay or theorem proof."
+    },
+    "first_experiment": "Choose one latest uncovered candidate and build a delta coverage map against the selected review. For P104, #5717 changes owned-lifetime assumptions and #5719 covers exact #5713 causal premises; neither automatically transfers to #5718. For BIT, #5679/#5708 need component admission and compatible outer use. Check controls and exact source identity before reuse; stop with one resolved gap or explicit remaining obligation. A heavy full replay requires a separate serial resource budget.",
+    "bottleneck_link": "Judge the actual current supplier contract and complete signed target/paid bill; frozen-profile ceilings require an applicability proof.",
+    "allowed_variations": [
+      "One exact source head, helper/cut region or quantified proposition and changed hypothesis; check live handoffs first. Different seeds are not different scopes."
+    ],
+    "scope_change_triggers": [
+      "Changing source head, helper/cut domain, operation alphabet or caller boundary without recording the new scope.",
+      "Treating an archived proposal or local numerical pass as complete supplier admission."
+    ],
+    "overlap_terms": [
+      "supplier admission",
+      "5717",
+      "5719",
+      "5708",
+      "owned lifetime"
+    ],
+    "existing_checks": [
+      {
+        "scope": "PR #4088: author-checked local words, native receipts, owner/phase fill and exact moment.",
+        "evidence": "research/staged544-mixed-fourth-entry/README.md",
+        "remaining": "Rebind and validate ordinary/outer admission with all four providers; full mixed release not established.",
+        "status": "author-checked",
+        "source_commit": "72d7efc181edb21806a878f174847c96dd410ab0",
+        "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"
+      },
+      {
+        "scope": "PR #3801: successor scatter-boundary decision package.",
+        "evidence": "research/scatter-boundary-decision/README.md",
+        "remaining": "Consult its exact acceptance scope before any new exporter audit; not proof of a selected failure.",
+        "status": "author-checked",
+        "source_commit": "911f8800ba7a4b03603ef62c5ffc6240e53cb5fd",
+        "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"
+      },
+      {
+        "scope": "Selected PR5599: complete helper-subspace construction and independent caller replay; five framework assumptions remain.",
+        "evidence": "docs/research/pr-intake-evidence/pr5599-completion/PROOF-REVIEW.md",
+        "remaining": "The next experiment must identify uncovered source-specific work. Successor archive intake does not transfer this admission.",
+        "status": "reviewed",
+        "source_commit": "09dd0965711ca7eeb169057a420abab1c9052137",
+        "selected_record_sha256": "2a0220e866417774606e0f991e41b9c1d26b1f43b97857238cf478dbc7d330b5"
+      }
+    ]
+  },
+  "scope_status": "refined",
+  "actual_scope": "Standalone complete composition of exact PR6399 clean native merge with exact PR6398 mixed caller, conditional kappa .003286849.",
+  "scope_change_reason": "Explicit user request to submit a new PR for the locally verified complete conditional bound; predecessor mechanisms remain separately credited.",
+  "bottleneck_link": "Complete paid native/caller invoice and all outer transfer costs of the clean merge in the stronger six-field caller.",
+  "budget_minutes": 60,
+  "stop_rule": "Submit only after complete portable normal/optimized admission and source/metadata checks; preserve inherited assumptions and independent-review limits.",
+  "outcome": "completed",
+  "evidence": "RESULT.json, PROOF.md, authenticated source archives and registered complete replays.",
+  "author": "Rohan Arun, with substantial OpenAI Codex assistance",
+  "ai_assistance": "Substantial OpenAI Codex assistance; same-author separate arithmetic checks do not establish independent human or formal-kernel acceptance.",
+  "open_questions": [
+    {
+      "question": "Does independent review confirm the exact source-bound composition and cost ledger?",
+      "why_it_matters": "Complete author-side checks are not independent scientific acceptance.",
+      "first_step": "Authenticate both archives, regenerate the exact word and replay all caller/native/outer checks.",
+      "blocked_by": "Independent human or proof-kernel review is not supplied."
+    },
+    {
+      "question": "Can a new native topology or interface reach .005 with a stronger BIT backend?",
+      "why_it_matters": "The current complete bound and retained BIT .0034 admission remain below the donor target.",
+      "first_step": "Produce one arbitrary-input construction and price every target, query and recovery.",
+      "blocked_by": "No complete favorable .005 construction exists in this work."
+    }
+  ]
+}
diff --git a/research/p104-clean-mixed-root/VALIDATION.md b/research/p104-clean-mixed-root/VALIDATION.md
new file mode 100644
index 0000000000..459c5ab502
--- /dev/null
+++ b/research/p104-clean-mixed-root/VALIDATION.md
@@ -0,0 +1,41 @@
+# Validation of κ=.003286849
+
+The portable normal command completed successfully on CPython3.12.14:
+
+```sh
+python3.12 -B research/p104-clean-mixed-root/verify.py
+```
+
+The complete assertion-disabled command also passed from an official export,
+with no Git directory, an empty executable PATH, read-only source files and
+read-only source directories. The interpreter was invoked by absolute path
+with -I -O -B. All exported file hashes and modes remained unchanged. Its
+scientific marker was PASS_COMPLETE_CONDITIONAL_CLEAN_MIXED_ROOT_COMPOSITION.
+The run took65.22seconds on this host; that is a replay observation, not a
+multiplication speedup. Both direct commands cover the full scientific checks
+registered in VERIFY.json. The combined generic launcher is provided for CI
+and reproduction; it was not additionally rerun locally after these equivalent
+complete direct replays.
+
+All799 input/scratch columns,638401 normalized coefficients, independent new
+zero-scratch rows,2940 native maps with absolute phases, the separate root
+module,570 caller events,7488 physical contacts, both rational moment engines,
+complete ordinary/precision/compiler and54strict+4functional outer predicates
+passed. The complete returned scientific receipt equals RESULT.json exactly.
+Source corruption, omitted scratch uncomputation and missing caller operations
+reject. Full archive-member authentication precedes imports.
+
+Metadata, committed bytes, executable modes and complete predecessor source
+history pass. Official export integrity and all3external declared-input checks
+pass. Both pending predecessor heads are retained by explicit lineage-only
+merges; their package trees are not imported into this new PR. Sixteen runtime
+source files and notices are retained in two authenticated archives. The final
+documentation-only update does not change executable or scientific bytes;
+the final committed export is checked separately.
+
+The earlier un-packaged complete admission also passed; it is separate from
+these standalone replays. Hosted CI is pending at PR opening. No Lean/Docker,
+independent human review, unconditional proof or materialized uniform rounded
+multiplier is claimed. All five inherited framework assumptions remain.
+The selected frontier is unchanged. The claim remains below the donor target
+.005, and the retained ordinary BIT saving.0034 would also need improvement.
diff --git a/research/p104-clean-mixed-root/VERIFY.json b/research/p104-clean-mixed-root/VERIFY.json
new file mode 100644
index 0000000000..aa7c9b1788
--- /dev/null
+++ b/research/p104-clean-mixed-root/VERIFY.json
@@ -0,0 +1,32 @@
+{
+  "schema_version": 1,
+  "status": "ready",
+  "python": "3.12",
+  "requirements": [],
+  "inputs": [
+    "research/p104-root-relay-descent-2/sources.py",
+    "research/p104-root-relay-descent-2/SOURCES.json",
+    "research/p104-root-relay-descent-2/inputs/pr5827-source.tar"
+  ],
+  "commands": [
+    {
+      "argv": [
+        "{python}",
+        "-B",
+        "{package}/verify.py"
+      ],
+      "timeout_seconds": 580,
+      "checks": "Regenerated native word, all columns, zero scratch, native phases, mixed caller, full price/compiler/precision/outer and corruption controls."
+    },
+    {
+      "argv": [
+        "{python}",
+        "-O",
+        "-B",
+        "{package}/verify.py"
+      ],
+      "timeout_seconds": 580,
+      "checks": "Same complete scientific claim with assertions disabled."
+    }
+  ]
+}
diff --git a/research/p104-clean-mixed-root/native-source.tar b/research/p104-clean-mixed-root/native-source.tar
new file mode 100644
index 0000000000..316b7bcfa4
Binary files /dev/null and b/research/p104-clean-mixed-root/native-source.tar differ
diff --git a/research/p104-clean-mixed-root/pricing.py b/research/p104-clean-mixed-root/pricing.py
new file mode 100644
index 0000000000..ae2bb6aad9
--- /dev/null
+++ b/research/p104-clean-mixed-root/pricing.py
@@ -0,0 +1,189 @@
+"""Check the complete mixed-projector-root invoice and outer transfer.
+
+The interval and compiler bounds are by zxv and Cao Yifan. The productive
+recursion is by Jacob Alan Sussman. The source price adapter is by Ali Romman.
+The source lifts and tree invoice are by Ali Romman, with OpenAI Codex
+assistance. This adapter keeps the root and changes the native source invoice.
+It includes all nine output contractions and their productive target debits.
+The original sources retain their credit. Apache-2.0.
+"""
+from collections import Counter
+from fractions import Fraction as Q
+from controller import formula_invoice, need
+
+KAPPA = Q('0.003286849')
+TESTED = Q('0.003286854')
+PREVIOUS = Q('0.00328621476572836015146308')
+
+
+def encode(value):
+    if isinstance(value, Q):
+        return str(value)
+    if isinstance(value, dict):
+        return {str(k): encode(v) for k, v in value.items()}
+    if isinstance(value, (tuple, list)):
+        return [encode(v) for v in value]
+    return value
+
+
+def assemble(local, native, word, physical):
+    paid, targets = Counter(), Counter()
+    counts = Counter(e[0] for e in word['events'])
+    need(local['helpers'] == native['helpers'], 'All source helper targets have native maps')
+    idle = Counter()
+    for event in word['events']:
+        if event[0] == 'LOCAL':
+            paid.update(local['paid'])
+            targets.update(local['helpers'])
+        elif event[0] == 'QUERY':
+            paid[1] += 104
+        elif event[0] in ('IDLE', 'IDLE_ONE'):
+            rank = 8*len(event[3] if event[0] == 'IDLE' else event[2])
+            count = 208 if event[0] == 'IDLE' else 104
+            paid[rank] += count
+            idle[rank] += count
+    main = Counter()
+    for term in word['diagonal']:
+        main[1+8*sum(term[1:])] += 104
+    targets.update(main)
+    need(main == physical['main_targets'], 'All main target phases and ranks')
+    need(idle == physical['whole_idle_jobs'], 'All paired and individual whole idle jobs')
+    need((targets, paid) == formula_invoice(local), 'Independent tree and emitted-event counts')
+    need((counts['LOCAL'], counts['QUERY'], counts['IDLE']) == (18, 17, 14) and counts['IDLE_ONE'] == 2 and counts['LAMBDA'] == 20, 'Complete caller census')
+    need((sum(targets.values()), sum(paid.values())) == (13652, 67132), 'All independent fields and paid calls')
+    need(sum(r*n for r, n in targets.items())-sum(r*n for r, n in paid.items()) == 760, 'Complete rank-mass surplus')
+    need((max(targets), max(paid)) == (145, 56), 'Maximum target and paid ranks')
+    return targets, paid, counts
+
+
+def run(local, native, word, physical, L):
+    T, P, counts = assemble(local, native, word, physical)
+    E = L.load(L.ROOT/'research/higher-moment-strictification/verify.py', 'balanced_intervals')
+    other = L.load(L.ROOT/'research/kappa-rebuild/architecture/mixed_target_probe.py', 'balanced_second_intervals')
+    def margin(k):
+        a, b = E.moment(T, 1-k), E.moment(P, 1-k)
+        return a[0]-b[1], a[1]-b[0]
+    low, high, grid = 0, 10**24, 10**26
+    while high-low > 1:
+        middle = (low+high)//2
+        if margin(Q(middle, grid))[0] > 0:
+            low = middle
+        else:
+            high = middle
+    lower, upper = Q(low, grid), Q(high, grid)
+    signed = Counter(T)
+    signed.subtract(P)
+    cap, derivative_upper = Q('.0034'), Q(0)
+    for rank, count in signed.items():
+        logarithm = E.log_bounds(rank)
+        a = E.mul(E.power(rank, 1-cap), logarithm)[0]
+        b = rank*logarithm[1]
+        derivative_upper -= count*(a if count >= 0 else b)
+    need(derivative_upper < 0, 'Unique raw crossing below the BIT cap')
+    need(margin(lower)[0] > 0 and margin(upper)[1] < 0, 'Strict rational crossing enclosure')
+    endpoints = {}
+    for label, k in [('lower', lower), ('upper', upper)]:
+        tl, th = other.moment(T, k)
+        pl, ph = other.moment(P, k)
+        second = (tl-ph, th-pl)
+        first = margin(k)
+        need(max(first[0], second[0]) <= min(first[1], second[1]),
+             'Both rational engines agree at the raw endpoint')
+        need(second[0] > 0 if label == 'lower' else second[1] < 0,
+             'The second engine certifies both raw endpoint signs')
+        endpoints[label] = {'first': E.display(first), 'second': E.display(second)}
+    need(PREVIOUS < KAPPA < TESTED < lower, 'The claim and tested saving are below the raw crossing')
+    t, offset, power, cutoff, floor = 1-TESTED, Q(1, 7), 1920, 12, 13
+    target, paid = E.moment(T, t), E.moment(P, t)
+    tl, th = other.moment(T, TESTED)
+    pl, ph = other.moment(P, TESTED)
+    need(tl > ph and max(tl, target[0]) <= min(th, target[1])
+         and max(pl, paid[0]) <= min(ph, paid[1]), 'Two independent rational moment engines')
+    alpha = E.divide(paid, target)
+    gamma = E.divide(E.moment(P, t+offset), E.mul(E.power(cutoff, offset), target))
+    delta = E.divide((Q(sum(T.values())*floor),)*2, E.mul(E.power(cutoff, TESTED), target))
+    reserve, decay = Q(1, 10**29), Q(31, 32)
+    need(alpha[1] < 1-reserve and gamma[1] < decay and delta[1] < decay, 'All charged tail ratios')
+    need(power % 128 == 0 and decay**128 < Q(1, 16), 'The previous block estimate applies')
+    coarse_tail = 4*Q(1, 16)**(power//128)
+    need(1/(1+power*reserve)+coarse_tail > 1, 'The coarse tail bound cannot fund this claim')
+    exact_tail = 4*decay**power
+    normalized = 1/(1+power*reserve)+exact_tail
+    need(normalized < 1 and cutoff**64 < floor**63, 'Completion, splitting and rounding')
+    theta, logarithm_power = Q(63, 64), 2100
+    # Keep each exponential inside the retained engine's proved domain.
+    half = E.power(145, Q(power, 2)*TESTED)
+    factor = E.mul(half, half)
+    eta = E.scale(E.divide((Q(1), Q(1)), factor), t)
+    need(2*(cutoff**power)**64 <= (145**power)**63
+         and eta[0] > theta**logarithm_power, 'Shifted exits and complement capacity')
+    need(factor[1] < 2**logarithm_power, 'Compiler initial range')
+    gap = (TESTED-KAPPA)/7
+    need(gap.numerator == 1, 'Exact compiler integer grid')
+    step = gap.denominator
+    def wins(j):
+        return (step*j+1)**logarithm_power < 2**j
+    left, right = 1, 2
+    while not wins(right):
+        left, right = right, 2*right
+    while right-left > 1:
+        middle = (left+right)//2
+        if wins(middle):
+            right = middle
+        else:
+            left = middle
+    H = step*right
+    need(H > 8*power and wins(right) and not wins(right-1), 'Uniform threshold and adjacent-grid rejection')
+    local_routes = (sum(local['paid'].values())+native['helper_normalizers']
+                    +native['main_adapters']+4*104+4*local['owned_lifetimes'])*1000
+    need(local['real_scalar_allowance']+local_routes < 10**7, 'Every local ordinary operation is funded')
+    raw = 18*10**7 + 17*1664 + 32*34*104*len(word['events']) + 34*104*(26+1000)
+    need(all(abs(Q(e[-1])) <= 16 for e in word['events'] if e[0] in ('ADD', 'SCALE')),
+         'Every emitted scalar coefficient has the declared growth bound')
+    need(all(Q(e[-1]).denominator & (Q(e[-1]).denominator-1) == 0
+             for e in word['events'] if e[0] in ('ADD', 'SCALE')),
+         'Every emitted rational scalar is dyadic')
+    need(raw < 10**9, 'Complete ordinary-work budget')
+    bit = L.read(L.ROOT/'research/query-thinned-controllers/RESULT.json')['ordinary_BIT']
+    atom = Q(bit['atom'])
+    ordinary = (1-atom)*Q(bit['after_cover']) + atom*Q('.0000384599')
+    admitted = Q(bit['admitted'])
+    need(atom > ordinary > admitted > TESTED and atom < 1-ordinary, 'Retained BIT admission and stock')
+    outer_module = L.load(L.ROOT/'research/pr4359-p7-padding/dependencies/compiler-refill/endpoint.py', 'balanced_outer')
+    params = {'kappa': KAPPA, 'tested_saving': TESTED, 'complex_uniform_saving': KAPPA+6*gap,
+              'b': KAPPA+5*gap, 'a': KAPPA+4*gap, 'q': KAPPA+3*gap, 'bit_saving': admitted,
+              'epsilon': 1-gap, 'beta': 1-3*gap, 'r0': gap/10, 'stop': gap, 'layout': gap, 'd': gap}
+    outer = outer_module.ledger(params)
+    outer['functional_checks']['actual_new_BIT_stock_sublinear'] = params['beta']*(1-atom)
+    need(len(outer['strict_checks']) == 54 and len(outer['functional_checks']) == 4, 'Full outer predicate inventory')
+    need(all(x > 0 for key in ('strict_checks', 'functional_checks') for x in outer[key].values()), 'Every outer inequality is strict')
+    old_completion = E.divide((Q(sum(T.values())*17),)*2, E.mul(E.power(16, TESTED), target))
+    need(old_completion[0] > 1, 'The old completion cutoff does not fund the new inventory')
+    bad = outer_module.ledger(dict(params, bit_saving=Q('.0027')))
+    need(any(x <= 0 for x in bad['strict_checks'].values()), 'Insufficient BIT saving rejected')
+    return encode({'kappa': KAPPA, 'kappa_decimal': '0.003286849', 'previous_fixed_root': PREVIOUS,
+                   'refinement_kind': 'Clean donor-transport merge, unchanged mixed root, complete native invoice.',
+                   'gain': KAPPA-PREVIOUS, 'relative_gain_percent': 100*(KAPPA/PREVIOUS-1),
+                   'raw_root_interval': [lower, upper], 'raw_headroom': [lower-KAPPA, upper-KAPPA],
+                   'raw_endpoint_margins': endpoints,
+                   'derivative_upper': derivative_upper, 'margin_at_previous': E.display(margin(PREVIOUS)),
+                   'targets': T, 'paid': P, 'productive_fields': sum(T.values()), 'paid_calls': sum(P.values()),
+                   'rank_mass_surplus': 760, 'full_forward_calls': 18, 'thin_queries': 17,
+                   'whole_idle_jobs': 3120, 'strictification': {
+                       'tested': TESTED, 'power': power, 'cutoff': cutoff, 'floor': floor,
+                       'tail_offset': offset, 'reserve': reserve, 'tail_decay': decay,
+                       'exact_tail_upper': exact_tail, 'coarse_tail_upper': coarse_tail,
+                       'alpha': E.display(alpha), 'gamma': E.display(gamma), 'delta': E.display(delta),
+                       'normalized_paid_upper': normalized},
+                   'compiler': {'theta': theta, 'logarithm_power': logarithm_power, 'eta': E.display(eta),
+                                'gap': gap, 'H': H, 'N': '2^'+str(H), 'integer_test_exponent': right,
+                                'uniform_saving': params['complex_uniform_saving'], 'word_materialized': False},
+                   'nonrecursive': {'local_scalar': local['real_scalar_allowance'], 'local_routes': local_routes,
+                                    'raw_scalar_upper': raw, 'raw_budget': 10**9,
+                                    'peak_owned_fields': local['peak_owned_fields'],
+                                    'scalar_growth_bound': 'At most 2^(10^9 + R*f), where R is the full paid rank mass.',
+                                    'paid_rank_mass': sum(r*n for r, n in P.items())},
+                   'ordinary_BIT': bit, 'outer': outer,
+                   'negative_controls': {'old_completion': 'Cutoff16 and floor17 give a ratio above one.',
+                                         'old_BIT': 'An outer inequality fails at BIT saving0.0027.',
+                                         'coarse_tail': 'The block tail bound cannot fund this near-limit claim.'}})
diff --git a/research/p104-clean-mixed-root/root-source.tar b/research/p104-clean-mixed-root/root-source.tar
new file mode 100644
index 0000000000..d0ec8a86ba
Binary files /dev/null and b/research/p104-clean-mixed-root/root-source.tar differ
diff --git a/research/p104-clean-mixed-root/support.py b/research/p104-clean-mixed-root/support.py
new file mode 100644
index 0000000000..415785ab1f
--- /dev/null
+++ b/research/p104-clean-mixed-root/support.py
@@ -0,0 +1,89 @@
+"""Authenticate retained source bytes before importing them.
+Rohan Arun with substantial OpenAI Codex assistance. Apache-2.0.
+"""
+from pathlib import Path, PurePosixPath
+from hashlib import sha256, sha1
+from fractions import Fraction as Q
+import importlib.util
+import json
+import gzip
+import sys
+import tarfile
+
+HERE = Path(__file__).resolve().parent
+ROOT = HERE.parents[1]
+
+
+def need(ok, message):
+    if not ok:
+        raise ValueError(message)
+
+
+def load(path, name):
+    s = importlib.util.spec_from_file_location(name, path)
+    m = importlib.util.module_from_spec(s)
+    sys.modules[name] = m
+    s.loader.exec_module(m)
+    return m
+
+
+def read(path):
+    data = Path(path).read_bytes()
+    return json.loads(gzip.decompress(data) if str(path).endswith('.gz') else data)
+
+
+def encode(v):
+    if isinstance(v, Q):
+        return str(v)
+    if isinstance(v, dict):
+        return {str(k): encode(x) for k,x in v.items()}
+    if isinstance(v, (tuple,list)):
+        return [encode(x) for x in v]
+    return v
+
+
+def authenticate(data, pin):
+    need(sha256(data).hexdigest() == pin['sha256'], 'Source SHA256: '+pin['path'])
+    need(sha1(b'blob '+str(len(data)).encode()+b'\0'+data).hexdigest() == pin['git_blob'], 'Source Git blob: '+pin['path'])
+
+
+def inputs(destination):
+    rows = read(HERE/'SOURCES.json')['files']
+    pins = {x['path']:x for x in rows}
+    need(len(pins) == len(rows), 'Unique source pins')
+    for row in rows:
+        if row['usage'] == 'input':
+            authenticate((ROOT/row['path']).read_bytes(),row)
+    manifest = read(HERE/'RETAINED-INPUTS.json')
+    all_members = set()
+    for group in ('native','root'):
+        entry = manifest[group]
+        archive = HERE/entry['archive']
+        need(sha256(archive.read_bytes()).hexdigest() == entry['sha256'], 'Exact retained archive')
+        members = {x['path']:x for x in entry['files']}
+        need(len(members) == len(entry['files']), 'Unique archive pins')
+        with tarfile.open(archive,'r:') as tar:
+            seen = set()
+            for member in tar.getmembers():
+                path = PurePosixPath(member.name)
+                need(member.isfile() and not path.is_absolute() and '..' not in path.parts and ':' not in member.name and '\\' not in member.name, 'Regular safe source member')
+                need(member.name in members and member.name not in seen and member.name not in all_members, 'Unique declared source member')
+                seen.add(member.name)
+                raw = tar.extractfile(member).read()
+                authenticate(raw,members[member.name])
+                authenticate(raw,pins[member.name])
+                need(pins[member.name]['pin'] == 'head:'+entry['head']+':'+member.name, 'Exact upstream provenance')
+                target = destination/member.name
+                target.parent.mkdir(parents=True,exist_ok=True)
+                target.write_bytes(raw)
+            need(seen == set(members), 'Complete archive')
+            all_members |= seen
+    need(len(all_members) == 16, 'Every retained source file')
+
+
+def reject(action):
+    try:
+        action()
+    except ValueError as ex:
+        return str(ex)
+    raise ValueError('Corruption accepted')
diff --git a/research/p104-clean-mixed-root/verify.py b/research/p104-clean-mixed-root/verify.py
new file mode 100644
index 0000000000..b8406a176d
--- /dev/null
+++ b/research/p104-clean-mixed-root/verify.py
@@ -0,0 +1,98 @@
+"""Complete portable clean-native / mixed-root conditional composition.
+Rohan Arun with substantial OpenAI Codex assistance. Apache-2.0.
+"""
+from contextlib import ExitStack
+from copy import deepcopy
+from hashlib import sha256
+from pathlib import Path
+import json
+import sys
+import tempfile
+
+sys.dont_write_bytecode = True
+HERE = Path(__file__).resolve().parent
+sys.path.insert(0,str(HERE))
+from support import ROOT, read, load, need, encode, inputs, reject
+
+STATUS = 'PASS_COMPLETE_CONDITIONAL_CLEAN_MIXED_ROOT_COMPOSITION'
+
+
+def run(retained):
+    inputs(retained)
+    clean = retained/'research/p104-clean-piggyback'
+    tree = retained/'research/mixed-projector-query-root'
+    builder = load(clean/'construct.py','mixed_clean_constructor')
+    word = builder.construct(read(clean/'inputs/pr6375-WORD.json.gz'))
+    need(word == read(clean/'WORD.json.gz'), 'Every regenerated native word field')
+    load(tree/'algebra.py','algebra')
+    controller = load(tree/'controller.py','controller')
+    caller = controller.construct()
+    need(encode(caller) == read(tree/'CONTROLLER.json'), 'Complete pinned mixed caller')
+    controller.replay(caller)
+    module = load(tree/'module_check.py','mixed_root_independent_module').run()
+    controls = controller.controls(caller)
+    old_price = retained/'research/mixed-root-contact-composition/pricing.py'
+    text = old_price.read_text()
+    adapter = read(HERE/'PRICING-EDITS.json')
+    need(sha256(text.encode()).hexdigest() == adapter['source_sha256'], 'Exact price source')
+    for before,after in adapter['edits']:
+        need(text.count(before) == 1, 'Unique declared price edit')
+        text = text.replace(before,after)
+    need(text == (HERE/'pricing.py').read_text(), 'Only declared price changes')
+    source = load(ROOT/'research/p104-root-relay-descent-2/sources.py','mixed_clean_archive_source')
+    with ExitStack() as stack:
+        parent = stack.enter_context(source.sources())
+        cursor = stack.enter_context(source.load(parent/'sources.py','mixed_archive_top').sources())
+        for depth in range(7):
+            cursor,root = stack.enter_context(source.load(cursor/'sources.py','mixed_archive_'+str(depth)).sources())
+        L = source.load(parent/'local.py','mixed_clean_local')
+        L.ROOT = root
+        local = L.replay(word)
+        need(encode(local) == read(clean/'RESULT.json')['local'], 'Exact retained clean native invoice')
+        zero_module = load(clean/'owned_zero.py','mixed_clean_independent_zero')
+        obligations = [dict(field=781,frame=127,count=1)]
+        zero = zero_module.verify(word,obligations)
+        columns = L.reverse_columns(word)
+        need(columns['columns'] == 799 and columns['coefficients'] == 638401, 'All independent transpose columns')
+        print('PASS regenerated native word, ownership, zero scratch and799columns',flush=True)
+        native = L.native(word)
+        need(encode(native) == read(clean/'RESULT.json')['native'], 'Exact retained native maps/phases')
+        physical = load(tree/'physical.py','mixed_clean_physical').physical(caller,word,L)
+        need(physical['physical_contacts'] == 7488, 'All mixed physical contacts')
+        print('PASS native absolute phases and7488physical mixed contacts',flush=True)
+        price = load(HERE/'pricing.py','mixed_clean_price').run(local,native,caller,physical,L)
+        bad = deepcopy(word)
+        bad['program'].pop(-2)
+        controls['missing_new_scratch_uncompute'] = reject(lambda:zero_module.verify(bad,obligations))
+        # Corrupted actual retained bytes are rejected by the same binding guard.
+        pin = read(HERE/'RETAINED-INPUTS.json')['native']['files'][0]
+        data = (retained/pin['path']).read_bytes()
+        from support import authenticate
+        reject(lambda:authenticate(bytes([data[0]^1])+data[1:],pin))
+        print('PASS both price engines, complete compiler/precision/outer and controls',flush=True)
+    return encode(dict(status=STATUS,conditional_kappa='0.003286849',tested='0.003286854',
+        source_pr=6398,source_head='dee2663ba0918be86993fd9d63c8d64b020f4c83',
+        native_candidate_sha256=sha256((clean/'WORD.json.gz').read_bytes()).hexdigest(),
+        local=local,columns=columns,native=native,new_scratch_zero=zero,physical=physical,
+        module=module,complete_cost=price,controls=controls,
+        assumptions=['native_all_columns','owned_erasure','compiler','precision_tape','analytic_recovery'],
+        goal_005_complete=False,
+        scope='Complete locally verified source-bound conditional composition. Same-author separate arithmetic engines; no independent human/kernel acceptance, materialized multiplier or .005 claim.'))
+
+
+def main():
+    with tempfile.TemporaryDirectory(prefix='clean-mixed-root-') as directory:
+        temp = Path(directory)
+        old_temp = tempfile.tempdir
+        tempfile.tempdir = directory
+        sys.pycache_prefix = str(temp/'bytecode')
+        try:
+            result = run(temp/'retained')
+        finally:
+            tempfile.tempdir = old_temp
+    need(result == read(HERE/'RESULT.json'), 'Exact complete scientific receipt')
+    print(STATUS,flush=True)
+
+
+if __name__ == '__main__':
+    main()