{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:ZII3CLM7OXSRGG6OZYOMIVQ56O","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"46822c2d904dd1a3e488bb1403b1d794b939ecb1912fc09a5a8e98a8f60e3bcf","cross_cats_sorted":["math.CT"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2025-05-30T17:16:53Z","title_canon_sha256":"c449cbb3115e100d7e7cc609fbf4d88fe3b181fe686fbce470599e70d55e9f96"},"schema_version":"1.0","source":{"id":"2505.24812","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.24812","created_at":"2026-07-05T11:12:57Z"},{"alias_kind":"arxiv_version","alias_value":"2505.24812v1","created_at":"2026-07-05T11:12:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.24812","created_at":"2026-07-05T11:12:57Z"},{"alias_kind":"pith_short_12","alias_value":"ZII3CLM7OXSR","created_at":"2026-07-05T11:12:57Z"},{"alias_kind":"pith_short_16","alias_value":"ZII3CLM7OXSRGG6O","created_at":"2026-07-05T11:12:57Z"},{"alias_kind":"pith_short_8","alias_value":"ZII3CLM7","created_at":"2026-07-05T11:12:57Z"}],"graph_snapshots":[{"event_id":"sha256:b4de21a2e1f8f098575f543d46a70ebc72816af1ea4fe1379448330ab02c41d8","target":"graph","created_at":"2026-07-05T11:12:57Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2505.24812/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We develop a unified categorical theory of substructural abstract syntax with variable binding and single-variable (capture-avoiding) substitution. This is done for the gamut of context structural rules given by exchange (linear theory) with weakening (affine theory) or with contraction (relevant theory) and with both (cartesian theory). Specifically, in all four scenarios, we uniformly: define abstract syntax with variable binding as free algebras for binding-signature endofunctors over variables; provide finitary algebraic axiomatisations of the laws of substitution; construct single-variabl","authors_text":"Marcelo Fiore, Sanjiv Ranchod","cross_cats":["math.CT"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2025-05-30T17:16:53Z","title":"Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.24812","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:4c5e2e49519608850739619246f287f4761930b5e89eeb1a59a18facdd95102b","target":"record","created_at":"2026-07-05T11:12:57Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"46822c2d904dd1a3e488bb1403b1d794b939ecb1912fc09a5a8e98a8f60e3bcf","cross_cats_sorted":["math.CT"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2025-05-30T17:16:53Z","title_canon_sha256":"c449cbb3115e100d7e7cc609fbf4d88fe3b181fe686fbce470599e70d55e9f96"},"schema_version":"1.0","source":{"id":"2505.24812","kind":"arxiv","version":1}},"canonical_sha256":"ca11b12d9f75e5131bcece1cc4561df3934eb99bea97dc05237da178378a94f2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ca11b12d9f75e5131bcece1cc4561df3934eb99bea97dc05237da178378a94f2","first_computed_at":"2026-07-05T11:12:57.159515Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:12:57.159515Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zwL5BMaz26H2h6Bmg0E4rnXWyzqvSS9r89OvRMe+6T3P8N6BWUDZyGGWSZfoHTBNCyef0tJDBeQMStjeP/jbBA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:12:57.160025Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.24812","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4c5e2e49519608850739619246f287f4761930b5e89eeb1a59a18facdd95102b","sha256:b4de21a2e1f8f098575f543d46a70ebc72816af1ea4fe1379448330ab02c41d8"],"state_sha256":"43902d33dc8449ed35bafffd453eb3a1c4ecbff9fc036ffd1bbe45da7db1a6c2"}