{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:7SW7GFGJI22I2SN4WN2OGGCGGR","short_pith_number":"pith:7SW7GFGJ","schema_version":"1.0","canonical_sha256":"fcadf314c946b48d49bcb374e318463474b7423af57f00a46e328dbb2661afef","source":{"kind":"arxiv","id":"2505.21353","version":1},"attestation_state":"computed","paper":{"title":"Automation of a Matching On-Shell Calculator","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["hep-th"],"primary_cat":"hep-ph","authors_text":"Fuensanta Vilches, Javier L\\'opez Miras","submitted_at":"2025-05-27T15:46:42Z","abstract_excerpt":"We introduce $\\texttt{mosca}$, a $\\texttt{Mathematica}$ package designed to facilitate on-shell calculations in effective field theories (EFTs). This initial release focuses on the reduction of Green's bases to physical bases, as well as transformations between arbitrary operator bases. The core of the package is based on a diagrammatic on-shell matching procedure, grounded in the equivalence of physical observables derived from both redundant and non-redundant Lagrangians. $\\texttt{mosca}$ offers a complete set of tools for performing basis transformations, diagram isomorphism detection, nume"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2505.21353","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"hep-ph","submitted_at":"2025-05-27T15:46:42Z","cross_cats_sorted":["hep-th"],"title_canon_sha256":"28b94270159a4b597fcf677305195971775ba890e9a0715ee8446e732e64ecea","abstract_canon_sha256":"a7a2d46c933160a16463020ec56763b72b155a004a56bd78c52d2fe590f95965"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:10:40.604505Z","signature_b64":"dY9HUeWSkK1ef1gjyuHNWak6geEyWCe9hi2hqPTeHzvXH88n7pnjwA1LVJLFcWJlwxNLUJ9G2LhISUzr/kFPAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fcadf314c946b48d49bcb374e318463474b7423af57f00a46e328dbb2661afef","last_reissued_at":"2026-07-05T11:10:40.603983Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:10:40.603983Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Automation of a Matching On-Shell Calculator","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["hep-th"],"primary_cat":"hep-ph","authors_text":"Fuensanta Vilches, Javier L\\'opez Miras","submitted_at":"2025-05-27T15:46:42Z","abstract_excerpt":"We introduce $\\texttt{mosca}$, a $\\texttt{Mathematica}$ package designed to facilitate on-shell calculations in effective field theories (EFTs). This initial release focuses on the reduction of Green's bases to physical bases, as well as transformations between arbitrary operator bases. The core of the package is based on a diagrammatic on-shell matching procedure, grounded in the equivalence of physical observables derived from both redundant and non-redundant Lagrangians. $\\texttt{mosca}$ offers a complete set of tools for performing basis transformations, diagram isomorphism detection, nume"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.21353","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2505.21353/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2505.21353","created_at":"2026-07-05T11:10:40.604038+00:00"},{"alias_kind":"arxiv_version","alias_value":"2505.21353v1","created_at":"2026-07-05T11:10:40.604038+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.21353","created_at":"2026-07-05T11:10:40.604038+00:00"},{"alias_kind":"pith_short_12","alias_value":"7SW7GFGJI22I","created_at":"2026-07-05T11:10:40.604038+00:00"},{"alias_kind":"pith_short_16","alias_value":"7SW7GFGJI22I2SN4","created_at":"2026-07-05T11:10:40.604038+00:00"},{"alias_kind":"pith_short_8","alias_value":"7SW7GFGJ","created_at":"2026-07-05T11:10:40.604038+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":2,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2606.19202","citing_title":"Renormalization of the SMEFT to Dimension Eight: Fermionic Interactions II","ref_index":81,"is_internal_anchor":false},{"citing_arxiv_id":"2606.11170","citing_title":"MATCHA: A Mathematica package for matching UV models onto HEFT","ref_index":12,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/7SW7GFGJI22I2SN4WN2OGGCGGR","json":"https://pith.science/pith/7SW7GFGJI22I2SN4WN2OGGCGGR.json","graph_json":"https://pith.science/api/pith-number/7SW7GFGJI22I2SN4WN2OGGCGGR/graph.json","events_json":"https://pith.science/api/pith-number/7SW7GFGJI22I2SN4WN2OGGCGGR/events.json","paper":"https://pith.science/paper/7SW7GFGJ"},"agent_actions":{"view_html":"https://pith.science/pith/7SW7GFGJI22I2SN4WN2OGGCGGR","download_json":"https://pith.science/pith/7SW7GFGJI22I2SN4WN2OGGCGGR.json","view_paper":"https://pith.science/paper/7SW7GFGJ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2505.21353&json=true","fetch_graph":"https://pith.science/api/pith-number/7SW7GFGJI22I2SN4WN2OGGCGGR/graph.json","fetch_events":"https://pith.science/api/pith-number/7SW7GFGJI22I2SN4WN2OGGCGGR/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/7SW7GFGJI22I2SN4WN2OGGCGGR/action/timestamp_anchor","attest_storage":"https://pith.science/pith/7SW7GFGJI22I2SN4WN2OGGCGGR/action/storage_attestation","attest_author":"https://pith.science/pith/7SW7GFGJI22I2SN4WN2OGGCGGR/action/author_attestation","sign_citation":"https://pith.science/pith/7SW7GFGJI22I2SN4WN2OGGCGGR/action/citation_signature","submit_replication":"https://pith.science/pith/7SW7GFGJI22I2SN4WN2OGGCGGR/action/replication_record"}},"created_at":"2026-07-05T11:10:40.604038+00:00","updated_at":"2026-07-05T11:10:40.604038+00:00"}