{"data":{"id":"10.5281/zenodo.22735800","type":"dois","attributes":{"doi":"10.5281/zenodo.22735800","prefix":"10.5281","suffix":"zenodo.22735800","identifiers":[],"alternateIdentifiers":[],"creators":[{"name":"Maley, Amos Jay","nameType":"Personal","givenName":"Amos Jay","familyName":"Maley","nameIdentifiers":[{"nameIdentifier":"0009-0002-5499-0620","nameIdentifierScheme":"ORCID"}],"affiliation":[]}],"titles":[{"title":"Functorial Target Extension of Standing-Carrier Quotients"}],"publisher":"Zenodo","container":{},"publicationYear":2026,"subjects":[{"subject":"AASC"},{"subject":"neutrino oscillation"},{"subject":"standing-carrier quotient"},{"subject":"target extension"},{"subject":"restriction functor"},{"subject":"carrier realization"}],"contributors":[],"dates":[{"date":"2026-09-13","dateType":"Issued"}],"language":null,"types":{"ris":"RPRT","bibtex":"article","citeproc":"article-journal","schemaOrg":"ScholarlyArticle","resourceType":"","resourceTypeGeneral":"Text"},"relatedIdentifiers":[{"relationType":"HasVersion","relatedIdentifier":"10.5281/zenodo.22735801","relatedIdentifierType":"DOI"}],"relatedItems":[],"sizes":[],"formats":[],"version":null,"rightsList":[{"rights":"Creative Commons Attribution 4.0 International","rightsUri":"https://creativecommons.org/licenses/by/4.0/legalcode","schemeUri":"https://spdx.org/licenses/","rightsIdentifier":"cc-by-4.0","rightsIdentifierScheme":"SPDX"},{"rights":"Amos Jay Maley","rightsUri":"http://rightsstatements.org/vocab/InC/1.0/"}],"descriptions":[{"description":"Neutrino carrier ARC and HNL prediction 8/19\n\nThis document presents the strengthened detailed theorem skeleton for PCR‑5C, the functorial target-extension stage of the Neutrino Carrier Realization Programme.\n\nPCR‑5B fixes the exact standing-carrier atlas of the neutrino-oscillation realization space, including its SCIC quotient, source-family stratification, lawful presentation groupoids, overlap structure, and continuous carrier multiplicity. PCR‑5C holds that base object fixed and specifies the general mathematics required to extend it to new physical targets without altering or back-projecting the established oscillation result.\n\nFor every genuine target embedding\n\n\\[ j:T_0\\hookrightarrow T_1, \\]\n\nthe proposed construction introduces:\n\n\n\na restriction functor on concrete standing cores;\n\na descended map on SCIC quotients;\n\nexact lift groupoids over each connected base SCIC class;\n\ntyped fibre dispositions;\n\nlawful composition of successive target extensions;\n\npath independence in the slice over the frozen base;\n\njoint-target pullback structure; and\n\nsource-composition and relative-standing profiles.\n\n\nThe strengthened theorem package is designed to classify every base class as eliminated, stably lifted, finitely split, or lifted into an exact countable, continuous, functional, categorical, or mixed moduli object. Distinct base classes may not merge while their retained standing separators remain defined.\n\nThe skeleton specifies twenty load-bearing C-theorems covering target-extension typing, candidate restriction, witness retention, SCIC descent, no-merger geometry, lift-fibre exhaustion, elimination, stable lifting, splitting, base and full selection, source composition, functorial composition, path independence, joint-target pullbacks, marginal-compatibility obstructions, new synergy, parameterized fibres, failure provenance, and no characterization backflow.\n\nA central design principle is that target extensions must be evaluated relative to the frozen base quotient. Later physical information may refine, split, eliminate, or preserve base classes, but it may not silently redefine the original standing-carrier identity or use downstream characterization to mutate the upstream candidate universe.\n\nThe intended capstone is a contravariant target-extension construction\n\n\\[ \\mathcal{N}:(\\mathrm{Tar}^{\\mathrm{comp}}_\\nu)^{\\mathrm{op}}\\to\\mathrm{Gpd}, \\qquad \\mathcal{Q}=\\pi_0\\mathcal{N}, \\]\n\nwith coherent restriction, exact lift fibres, no illicit base merger, functorial composition, path-equivalent extension routes, joint-target closure, and typed failure/separator provenance.\n\nThis is a theorem skeleton rather than a completed manuscript. It defines the objects, dependencies, proof burdens, hostile falsifiers, and release conditions required for PCR‑5D1 through PCR‑5E. Any unresolved restriction, representative-independence, overlap, composition, or joint-compatibility burden remains NotReady rather than being silently promoted.\n\n ","descriptionType":"Abstract"}],"geoLocations":[],"fundingReferences":[],"xml":"PD94bWwgdmVyc2lvbj0iMS4wIiBlbmNvZGluZz0iVVRGLTgiPz4KPHJlc291cmNlIHhtbG5zOnhzaT0iaHR0cDovL3d3dy53My5vcmcvMjAwMS9YTUxTY2hlbWEtaW5zdGFuY2UiIHhtbG5zPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCIgeHNpOnNjaGVtYUxvY2F0aW9uPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCBodHRwOi8vc2NoZW1hLmRhdGFjaXRlLm9yZy9tZXRhL2tlcm5lbC00L21ldGFkYXRhLnhzZCI+CiAgPGlkZW50aWZpZXIgaWRlbnRpZmllclR5cGU9IkRPSSI+MTAuNTI4MS9aRU5PRE8uMjI3MzU4MDA8L2lkZW50aWZpZXI+CiAgPGNyZWF0b3JzPgogICAgPGNyZWF0b3I+CiAgICAgIDxjcmVhdG9yTmFtZSBuYW1lVHlwZT0iUGVyc29uYWwiPk1hbGV5LCBBbW9zIEpheTwvY3JlYXRvck5hbWU+CiAgICAgIDxnaXZlbk5hbWU+QW1vcyBKYXk8L2dpdmVuTmFtZT4KICAgICAgPGZhbWlseU5hbWU+TWFsZXk8L2ZhbWlseU5hbWU+CiAgICAgIDxuYW1lSWRlbnRpZmllciBuYW1lSWRlbnRpZmllclNjaGVtZT0iT1JDSUQiIHNjaGVtZVVSST0iIj4wMDA5LTAwMDItNTQ5OS0wNjIwPC9uYW1lSWRlbnRpZmllcj4KICAgIDwvY3JlYXRvcj4KICA8L2NyZWF0b3JzPgogIDx0aXRsZXM+CiAgICA8dGl0bGU+RnVuY3RvcmlhbCBUYXJnZXQgRXh0ZW5zaW9uIG9mIFN0YW5kaW5nLUNhcnJpZXIgUXVvdGllbnRzPC90aXRsZT4KICA8L3RpdGxlcz4KICA8cHVibGlzaGVyPlplbm9kbzwvcHVibGlzaGVyPgogIDxwdWJsaWNhdGlvblllYXI+MjAyNjwvcHVibGljYXRpb25ZZWFyPgogIDxyZXNvdXJjZVR5cGUgcmVzb3VyY2VUeXBlR2VuZXJhbD0iVGV4dCIvPgogIDxzdWJqZWN0cz4KICAgIDxzdWJqZWN0PkFBU0M8L3N1YmplY3Q+CiAgICA8c3ViamVjdD5uZXV0cmlubyBvc2NpbGxhdGlvbjwvc3ViamVjdD4KICAgIDxzdWJqZWN0PnN0YW5kaW5nLWNhcnJpZXIgcXVvdGllbnQ8L3N1YmplY3Q+CiAgICA8c3ViamVjdD50YXJnZXQgZXh0ZW5zaW9uPC9zdWJqZWN0PgogICAgPHN1YmplY3Q+cmVzdHJpY3Rpb24gZnVuY3Rvcjwvc3ViamVjdD4KICAgIDxzdWJqZWN0PmNhcnJpZXIgcmVhbGl6YXRpb248L3N1YmplY3Q+CiAgPC9zdWJqZWN0cz4KICA8ZGF0ZXM+CiAgICA8ZGF0ZSBkYXRlVHlwZT0iSXNzdWVkIj4yMDI2LTA5LTEzPC9kYXRlPgogIDwvZGF0ZXM+CiAgPHJlbGF0ZWRJZGVudGlmaWVycz4KICAgIDxyZWxhdGVkSWRlbnRpZmllciByZWxhdGVkSWRlbnRpZmllclR5cGU9IkRPSSIgcmVsYXRpb25UeXBlPSJIYXNWZXJzaW9uIj4xMC41MjgxL3plbm9kby4yMjczNTgwMTwvcmVsYXRlZElkZW50aWZpZXI+CiAgPC9yZWxhdGVkSWRlbnRpZmllcnM+CiAgPHNpemVzLz4KICA8Zm9ybWF0cy8+CiAgPHZlcnNpb24vPgogIDxyaWdodHNMaXN0PgogICAgPHJpZ2h0cyByaWdodHNVUkk9Imh0dHBzOi8vY3JlYXRpdmVjb21tb25zLm9yZy9saWNlbnNlcy9ieS80LjAvbGVnYWxjb2RlIiByaWdodHNJZGVudGlmaWVyPSJjYy1ieS00LjAiIHJpZ2h0c0lkZW50aWZpZXJTY2hlbWU9IlNQRFgiIHNjaGVtZVVSST0iaHR0cHM6Ly9zcGR4Lm9yZy9saWNlbnNlcy8iPkNyZWF0aXZlIENvbW1vbnMgQXR0cmlidXRpb24gNC4wIEludGVybmF0aW9uYWw8L3JpZ2h0cz4KICAgIDxyaWdodHMgcmlnaHRzVVJJPSJodHRwOi8vcmlnaHRzc3RhdGVtZW50cy5vcmcvdm9jYWIvSW5DLzEuMC8iPkFtb3MgSmF5IE1hbGV5PC9yaWdodHM+CiAgPC9yaWdodHNMaXN0PgogIDxkZXNjcmlwdGlvbnM+CiAgICA8ZGVzY3JpcHRpb24gZGVzY3JpcHRpb25UeXBlPSJBYnN0cmFjdCI+TmV1dHJpbm8gY2FycmllciBBUkMgYW5kIEhOTCBwcmVkaWN0aW9uIDgvMTkKClRoaXMgZG9jdW1lbnQgcHJlc2VudHMgdGhlIHN0cmVuZ3RoZW5lZCBkZXRhaWxlZCB0aGVvcmVtIHNrZWxldG9uIGZvciBQQ1LigJE1QywgdGhlIGZ1bmN0b3JpYWwgdGFyZ2V0LWV4dGVuc2lvbiBzdGFnZSBvZiB0aGUgTmV1dHJpbm8gQ2FycmllciBSZWFsaXphdGlvbiBQcm9ncmFtbWUuCgpQQ1LigJE1QiBmaXhlcyB0aGUgZXhhY3Qgc3RhbmRpbmctY2FycmllciBhdGxhcyBvZiB0aGUgbmV1dHJpbm8tb3NjaWxsYXRpb24gcmVhbGl6YXRpb24gc3BhY2UsIGluY2x1ZGluZyBpdHMgU0NJQyBxdW90aWVudCwgc291cmNlLWZhbWlseSBzdHJhdGlmaWNhdGlvbiwgbGF3ZnVsIHByZXNlbnRhdGlvbiBncm91cG9pZHMsIG92ZXJsYXAgc3RydWN0dXJlLCBhbmQgY29udGludW91cyBjYXJyaWVyIG11bHRpcGxpY2l0eS4gUENS4oCRNUMgaG9sZHMgdGhhdCBiYXNlIG9iamVjdCBmaXhlZCBhbmQgc3BlY2lmaWVzIHRoZSBnZW5lcmFsIG1hdGhlbWF0aWNzIHJlcXVpcmVkIHRvIGV4dGVuZCBpdCB0byBuZXcgcGh5c2ljYWwgdGFyZ2V0cyB3aXRob3V0IGFsdGVyaW5nIG9yIGJhY2stcHJvamVjdGluZyB0aGUgZXN0YWJsaXNoZWQgb3NjaWxsYXRpb24gcmVzdWx0LgoKRm9yIGV2ZXJ5IGdlbnVpbmUgdGFyZ2V0IGVtYmVkZGluZwoKXFsgajpUXzBcaG9va3JpZ2h0YXJyb3cgVF8xLCBcXQoKdGhlIHByb3Bvc2VkIGNvbnN0cnVjdGlvbiBpbnRyb2R1Y2VzOgoKCgphIHJlc3RyaWN0aW9uIGZ1bmN0b3Igb24gY29uY3JldGUgc3RhbmRpbmcgY29yZXM7CgphIGRlc2NlbmRlZCBtYXAgb24gU0NJQyBxdW90aWVudHM7CgpleGFjdCBsaWZ0IGdyb3Vwb2lkcyBvdmVyIGVhY2ggY29ubmVjdGVkIGJhc2UgU0NJQyBjbGFzczsKCnR5cGVkIGZpYnJlIGRpc3Bvc2l0aW9uczsKCmxhd2Z1bCBjb21wb3NpdGlvbiBvZiBzdWNjZXNzaXZlIHRhcmdldCBleHRlbnNpb25zOwoKcGF0aCBpbmRlcGVuZGVuY2UgaW4gdGhlIHNsaWNlIG92ZXIgdGhlIGZyb3plbiBiYXNlOwoKam9pbnQtdGFyZ2V0IHB1bGxiYWNrIHN0cnVjdHVyZTsgYW5kCgpzb3VyY2UtY29tcG9zaXRpb24gYW5kIHJlbGF0aXZlLXN0YW5kaW5nIHByb2ZpbGVzLgoKClRoZSBzdHJlbmd0aGVuZWQgdGhlb3JlbSBwYWNrYWdlIGlzIGRlc2lnbmVkIHRvIGNsYXNzaWZ5IGV2ZXJ5IGJhc2UgY2xhc3MgYXMgZWxpbWluYXRlZCwgc3RhYmx5IGxpZnRlZCwgZmluaXRlbHkgc3BsaXQsIG9yIGxpZnRlZCBpbnRvIGFuIGV4YWN0IGNvdW50YWJsZSwgY29udGludW91cywgZnVuY3Rpb25hbCwgY2F0ZWdvcmljYWwsIG9yIG1peGVkIG1vZHVsaSBvYmplY3QuIERpc3RpbmN0IGJhc2UgY2xhc3NlcyBtYXkgbm90IG1lcmdlIHdoaWxlIHRoZWlyIHJldGFpbmVkIHN0YW5kaW5nIHNlcGFyYXRvcnMgcmVtYWluIGRlZmluZWQuCgpUaGUgc2tlbGV0b24gc3BlY2lmaWVzIHR3ZW50eSBsb2FkLWJlYXJpbmcgQy10aGVvcmVtcyBjb3ZlcmluZyB0YXJnZXQtZXh0ZW5zaW9uIHR5cGluZywgY2FuZGlkYXRlIHJlc3RyaWN0aW9uLCB3aXRuZXNzIHJldGVudGlvbiwgU0NJQyBkZXNjZW50LCBuby1tZXJnZXIgZ2VvbWV0cnksIGxpZnQtZmlicmUgZXhoYXVzdGlvbiwgZWxpbWluYXRpb24sIHN0YWJsZSBsaWZ0aW5nLCBzcGxpdHRpbmcsIGJhc2UgYW5kIGZ1bGwgc2VsZWN0aW9uLCBzb3VyY2UgY29tcG9zaXRpb24sIGZ1bmN0b3JpYWwgY29tcG9zaXRpb24sIHBhdGggaW5kZXBlbmRlbmNlLCBqb2ludC10YXJnZXQgcHVsbGJhY2tzLCBtYXJnaW5hbC1jb21wYXRpYmlsaXR5IG9ic3RydWN0aW9ucywgbmV3IHN5bmVyZ3ksIHBhcmFtZXRlcml6ZWQgZmlicmVzLCBmYWlsdXJlIHByb3ZlbmFuY2UsIGFuZCBubyBjaGFyYWN0ZXJpemF0aW9uIGJhY2tmbG93LgoKQSBjZW50cmFsIGRlc2lnbiBwcmluY2lwbGUgaXMgdGhhdCB0YXJnZXQgZXh0ZW5zaW9ucyBtdXN0IGJlIGV2YWx1YXRlZCByZWxhdGl2ZSB0byB0aGUgZnJvemVuIGJhc2UgcXVvdGllbnQuIExhdGVyIHBoeXNpY2FsIGluZm9ybWF0aW9uIG1heSByZWZpbmUsIHNwbGl0LCBlbGltaW5hdGUsIG9yIHByZXNlcnZlIGJhc2UgY2xhc3NlcywgYnV0IGl0IG1heSBub3Qgc2lsZW50bHkgcmVkZWZpbmUgdGhlIG9yaWdpbmFsIHN0YW5kaW5nLWNhcnJpZXIgaWRlbnRpdHkgb3IgdXNlIGRvd25zdHJlYW0gY2hhcmFjdGVyaXphdGlvbiB0byBtdXRhdGUgdGhlIHVwc3RyZWFtIGNhbmRpZGF0ZSB1bml2ZXJzZS4KClRoZSBpbnRlbmRlZCBjYXBzdG9uZSBpcyBhIGNvbnRyYXZhcmlhbnQgdGFyZ2V0LWV4dGVuc2lvbiBjb25zdHJ1Y3Rpb24KClxbIFxtYXRoY2Fse059OihcbWF0aHJte1Rhcn1ee1xtYXRocm17Y29tcH19X1xudSlee1xtYXRocm17b3B9fVx0b1xtYXRocm17R3BkfSwgXHFxdWFkIFxtYXRoY2Fse1F9PVxwaV8wXG1hdGhjYWx7Tn0sIFxdCgp3aXRoIGNvaGVyZW50IHJlc3RyaWN0aW9uLCBleGFjdCBsaWZ0IGZpYnJlcywgbm8gaWxsaWNpdCBiYXNlIG1lcmdlciwgZnVuY3RvcmlhbCBjb21wb3NpdGlvbiwgcGF0aC1lcXVpdmFsZW50IGV4dGVuc2lvbiByb3V0ZXMsIGpvaW50LXRhcmdldCBjbG9zdXJlLCBhbmQgdHlwZWQgZmFpbHVyZS9zZXBhcmF0b3IgcHJvdmVuYW5jZS4KClRoaXMgaXMgYSB0aGVvcmVtIHNrZWxldG9uIHJhdGhlciB0aGFuIGEgY29tcGxldGVkIG1hbnVzY3JpcHQuIEl0IGRlZmluZXMgdGhlIG9iamVjdHMsIGRlcGVuZGVuY2llcywgcHJvb2YgYnVyZGVucywgaG9zdGlsZSBmYWxzaWZpZXJzLCBhbmQgcmVsZWFzZSBjb25kaXRpb25zIHJlcXVpcmVkIGZvciBQQ1LigJE1RDEgdGhyb3VnaCBQQ1LigJE1RS4gQW55IHVucmVzb2x2ZWQgcmVzdHJpY3Rpb24sIHJlcHJlc2VudGF0aXZlLWluZGVwZW5kZW5jZSwgb3ZlcmxhcCwgY29tcG9zaXRpb24sIG9yIGpvaW50LWNvbXBhdGliaWxpdHkgYnVyZGVuIHJlbWFpbnMgTm90UmVhZHkgcmF0aGVyIHRoYW4gYmVpbmcgc2lsZW50bHkgcHJvbW90ZWQuCgrCoDwvZGVzY3JpcHRpb24+CiAgPC9kZXNjcmlwdGlvbnM+CjwvcmVzb3VyY2U+Cg==","url":"https://zenodo.org/doi/10.5281/zenodo.22735800","contentUrl":null,"metadataVersion":0,"schemaVersion":"http://datacite.org/schema/kernel-4","source":"api","isActive":true,"state":"findable","reason":null,"viewCount":0,"viewsOverTime":[],"downloadCount":0,"downloadsOverTime":[],"referenceCount":0,"citationCount":0,"citationsOverTime":[],"partCount":0,"partOfCount":0,"versionCount":1,"versionOfCount":0,"created":"2026-09-13T16:59:01.000Z","registered":"2026-09-13T16:59:01.000Z","published":"2026","updated":"2026-09-14T05:08:32.000Z"},"relationships":{"client":{"data":{"id":"cern.zenodo","type":"clients"}},"provider":{"data":{"id":"cern","type":"providers"}},"media":{"data":{"id":"10.5281/zenodo.22735800","type":"media"}},"references":{"data":[]},"citations":{"data":[]},"parts":{"data":[]},"partOf":{"data":[]},"versions":{"data":[{"id":"10.5281/zenodo.22735801","type":"dois"}]},"versionOf":{"data":[]}}}}