{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:FE3ITH7PXV5BXJPFRFQEOJHD5Y","short_pith_number":"pith:FE3ITH7P","canonical_record":{"source":{"id":"2407.13344","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2024-07-18T09:41:40Z","cross_cats_sorted":["math.FA"],"title_canon_sha256":"cb08d695402eff065474e39634eabb57dead3abfeb59ba55ab6db3aa16c03dd8","abstract_canon_sha256":"5977b1de91a4b4ac8463c43b587bed64a6344fa8858450db03ddc4df4db87613"},"schema_version":"1.0"},"canonical_sha256":"2936899fefbd7a1ba5e589604724e3ee2afb324b1ed34856702d1b85ea283638","source":{"kind":"arxiv","id":"2407.13344","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2407.13344","created_at":"2026-07-05T09:43:08Z"},{"alias_kind":"arxiv_version","alias_value":"2407.13344v2","created_at":"2026-07-05T09:43:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2407.13344","created_at":"2026-07-05T09:43:08Z"},{"alias_kind":"pith_short_12","alias_value":"FE3ITH7PXV5B","created_at":"2026-07-05T09:43:08Z"},{"alias_kind":"pith_short_16","alias_value":"FE3ITH7PXV5BXJPF","created_at":"2026-07-05T09:43:08Z"},{"alias_kind":"pith_short_8","alias_value":"FE3ITH7P","created_at":"2026-07-05T09:43:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:FE3ITH7PXV5BXJPFRFQEOJHD5Y","target":"record","payload":{"canonical_record":{"source":{"id":"2407.13344","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2024-07-18T09:41:40Z","cross_cats_sorted":["math.FA"],"title_canon_sha256":"cb08d695402eff065474e39634eabb57dead3abfeb59ba55ab6db3aa16c03dd8","abstract_canon_sha256":"5977b1de91a4b4ac8463c43b587bed64a6344fa8858450db03ddc4df4db87613"},"schema_version":"1.0"},"canonical_sha256":"2936899fefbd7a1ba5e589604724e3ee2afb324b1ed34856702d1b85ea283638","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:43:08.699934Z","signature_b64":"ygHhDpCGUVua6pIfgKdpYkkAvHqzpgC1uI/+EHwOjZ3kY4pmwkmQTP2dczh4Fw1s+a5dfTfbmhWMqbOvumtbAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2936899fefbd7a1ba5e589604724e3ee2afb324b1ed34856702d1b85ea283638","last_reissued_at":"2026-07-05T09:43:08.699395Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:43:08.699395Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2407.13344","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T09:43:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Dh9EAMq15oAi7YW0WQYpWb6EXC0kPDXlCsx/0FEXjrVNH8mHUHARn7rA33/lSin39RM2OJBW/eiwg4iM2U17Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T10:21:20.430508Z"},"content_sha256":"cf8913354e02bf39a449817d4604b89a69351ee11c96baf4cadc0a13026f6fda","schema_version":"1.0","event_id":"sha256:cf8913354e02bf39a449817d4604b89a69351ee11c96baf4cadc0a13026f6fda"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:FE3ITH7PXV5BXJPFRFQEOJHD5Y","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Extremal models and direct integrals in affine logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.FA"],"primary_cat":"math.LO","authors_text":"Ita\\\"i Ben Yaacov, Todor Tsankov, Tom\\'as Ibarluc\\'ia","submitted_at":"2024-07-18T09:41:40Z","abstract_excerpt":"Affine logic is a fragment of continuous logic, introduced by Bagheri, in which only affine functions are allowed as connectives. This has the effect of endowing type spaces with the structure of compact convex sets. We study extremal models of affine theories (those that only realize extreme types), and the ways and conditions under which all models can be described from the extremal ones.\n  We introduce and develop the general theory of measurable fields of metric structures and their direct integrals. One of our main results is an extremal decomposition theorem for models of simplicial theo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2407.13344","kind":"arxiv","version":2},"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/2407.13344/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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T09:43:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PMGUzqbjFXSKop2x7h598x2aF+sMjRufC02mNSzGdM+GWCAe5VWOI/XDzX2uLaH+LVw0lZdIna2gpUNNozE2DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T10:21:20.431526Z"},"content_sha256":"ac1ed2cd65c7eb2a31dece08882d6ff325b210866cdb8ac862e96c3efe657df3","schema_version":"1.0","event_id":"sha256:ac1ed2cd65c7eb2a31dece08882d6ff325b210866cdb8ac862e96c3efe657df3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FE3ITH7PXV5BXJPFRFQEOJHD5Y/bundle.json","state_url":"https://pith.science/pith/FE3ITH7PXV5BXJPFRFQEOJHD5Y/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FE3ITH7PXV5BXJPFRFQEOJHD5Y/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-12T10:21:20Z","links":{"resolver":"https://pith.science/pith/FE3ITH7PXV5BXJPFRFQEOJHD5Y","bundle":"https://pith.science/pith/FE3ITH7PXV5BXJPFRFQEOJHD5Y/bundle.json","state":"https://pith.science/pith/FE3ITH7PXV5BXJPFRFQEOJHD5Y/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FE3ITH7PXV5BXJPFRFQEOJHD5Y/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:FE3ITH7PXV5BXJPFRFQEOJHD5Y","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":"5977b1de91a4b4ac8463c43b587bed64a6344fa8858450db03ddc4df4db87613","cross_cats_sorted":["math.FA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2024-07-18T09:41:40Z","title_canon_sha256":"cb08d695402eff065474e39634eabb57dead3abfeb59ba55ab6db3aa16c03dd8"},"schema_version":"1.0","source":{"id":"2407.13344","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2407.13344","created_at":"2026-07-05T09:43:08Z"},{"alias_kind":"arxiv_version","alias_value":"2407.13344v2","created_at":"2026-07-05T09:43:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2407.13344","created_at":"2026-07-05T09:43:08Z"},{"alias_kind":"pith_short_12","alias_value":"FE3ITH7PXV5B","created_at":"2026-07-05T09:43:08Z"},{"alias_kind":"pith_short_16","alias_value":"FE3ITH7PXV5BXJPF","created_at":"2026-07-05T09:43:08Z"},{"alias_kind":"pith_short_8","alias_value":"FE3ITH7P","created_at":"2026-07-05T09:43:08Z"}],"graph_snapshots":[{"event_id":"sha256:ac1ed2cd65c7eb2a31dece08882d6ff325b210866cdb8ac862e96c3efe657df3","target":"graph","created_at":"2026-07-05T09:43:08Z","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/2407.13344/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Affine logic is a fragment of continuous logic, introduced by Bagheri, in which only affine functions are allowed as connectives. This has the effect of endowing type spaces with the structure of compact convex sets. We study extremal models of affine theories (those that only realize extreme types), and the ways and conditions under which all models can be described from the extremal ones.\n  We introduce and develop the general theory of measurable fields of metric structures and their direct integrals. One of our main results is an extremal decomposition theorem for models of simplicial theo","authors_text":"Ita\\\"i Ben Yaacov, Todor Tsankov, Tom\\'as Ibarluc\\'ia","cross_cats":["math.FA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2024-07-18T09:41:40Z","title":"Extremal models and direct integrals in affine logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2407.13344","kind":"arxiv","version":2},"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:cf8913354e02bf39a449817d4604b89a69351ee11c96baf4cadc0a13026f6fda","target":"record","created_at":"2026-07-05T09:43:08Z","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":"5977b1de91a4b4ac8463c43b587bed64a6344fa8858450db03ddc4df4db87613","cross_cats_sorted":["math.FA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2024-07-18T09:41:40Z","title_canon_sha256":"cb08d695402eff065474e39634eabb57dead3abfeb59ba55ab6db3aa16c03dd8"},"schema_version":"1.0","source":{"id":"2407.13344","kind":"arxiv","version":2}},"canonical_sha256":"2936899fefbd7a1ba5e589604724e3ee2afb324b1ed34856702d1b85ea283638","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2936899fefbd7a1ba5e589604724e3ee2afb324b1ed34856702d1b85ea283638","first_computed_at":"2026-07-05T09:43:08.699395Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:43:08.699395Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ygHhDpCGUVua6pIfgKdpYkkAvHqzpgC1uI/+EHwOjZ3kY4pmwkmQTP2dczh4Fw1s+a5dfTfbmhWMqbOvumtbAA==","signature_status":"signed_v1","signed_at":"2026-07-05T09:43:08.699934Z","signed_message":"canonical_sha256_bytes"},"source_id":"2407.13344","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cf8913354e02bf39a449817d4604b89a69351ee11c96baf4cadc0a13026f6fda","sha256:ac1ed2cd65c7eb2a31dece08882d6ff325b210866cdb8ac862e96c3efe657df3"],"state_sha256":"6888ab309293d4346e069d984cf5b31de3215dfadd2825ada319af0757d10596"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AjJt3Fcahswz2jV8/spOksydk3SyM4deyXDYhuL8DyDnNIAwOrOksV1LhsLdE6ZJI6FdIaR+LCAXqwqaVR9PAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-12T10:21:20.437186Z","bundle_sha256":"805f5c70e571987f463bf6fcb65d41461f6e23467e2dfe08838580d97f680e2a"}}