{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:YTTD75C775ACLEDOMKPHG2VXKP","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":"c700a844c699425e83db1ddf4a268ed47f7d6566143f78f3455514cbdf3d7299","cross_cats_sorted":["cs.LO","math.CT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2026-06-01T20:19:10Z","title_canon_sha256":"45ca98cb3f02ff6f1476b391c0d206692b64f040094e50e6476be79e376ede8e"},"schema_version":"1.0","source":{"id":"2606.02854","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.02854","created_at":"2026-06-03T01:05:24Z"},{"alias_kind":"arxiv_version","alias_value":"2606.02854v1","created_at":"2026-06-03T01:05:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.02854","created_at":"2026-06-03T01:05:24Z"},{"alias_kind":"pith_short_12","alias_value":"YTTD75C775AC","created_at":"2026-06-03T01:05:24Z"},{"alias_kind":"pith_short_16","alias_value":"YTTD75C775ACLEDO","created_at":"2026-06-03T01:05:24Z"},{"alias_kind":"pith_short_8","alias_value":"YTTD75C7","created_at":"2026-06-03T01:05:24Z"}],"graph_snapshots":[{"event_id":"sha256:e83a80df7693dd66c4baaf5d847296fc23fe9ab791964ca275e121ec5af4a496","target":"graph","created_at":"2026-06-03T01:05:24Z","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/2606.02854/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"For fans of Gabriel's \"Worse is Better\" it may be ironic that C++, by way of MLIR, serves as the scaffold for compiling an ML-family language whose correctness properties are structural. A crucial intersection in our Composer compiler initiates its lowering with a fixed-point combinator that preserves the dimensional, grade, escape, and numeric-representation structure from the Program Semantic Graph. And the MLIR that's witnessed from the PSG is no passive host. Its use of static single assignment, attribute system and dialects carry that structure materially. We show that our compiler middle","authors_text":"Houston Haynes","cross_cats":["cs.LO","math.CT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2026-06-01T20:19:10Z","title":"Fixed-Point Scaffolding in the Clef Programming Language"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.02854","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:61b13bda5499e2c509b567c4319702050bb2fdea10589fc6b954eafe19d4ec25","target":"record","created_at":"2026-06-03T01:05:24Z","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":"c700a844c699425e83db1ddf4a268ed47f7d6566143f78f3455514cbdf3d7299","cross_cats_sorted":["cs.LO","math.CT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2026-06-01T20:19:10Z","title_canon_sha256":"45ca98cb3f02ff6f1476b391c0d206692b64f040094e50e6476be79e376ede8e"},"schema_version":"1.0","source":{"id":"2606.02854","kind":"arxiv","version":1}},"canonical_sha256":"c4e63ff45fff4025906e629e736ab753fff38d68174e40a8f2b91d282224ed8f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c4e63ff45fff4025906e629e736ab753fff38d68174e40a8f2b91d282224ed8f","first_computed_at":"2026-06-03T01:05:24.625645Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-03T01:05:24.625645Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vh8yRrzz8M+wsIG+oWfYEmAVDGK0rO3tivA8P1qPl1vhiZJfb4cQ+aXDOtMIz5BOfs9KAX+kh1wuli/wryuMCg==","signature_status":"signed_v1","signed_at":"2026-06-03T01:05:24.626001Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.02854","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:61b13bda5499e2c509b567c4319702050bb2fdea10589fc6b954eafe19d4ec25","sha256:e83a80df7693dd66c4baaf5d847296fc23fe9ab791964ca275e121ec5af4a496"],"state_sha256":"22d77e1693b9077786f8fcdd5e76342f6ee8490a9a45b75749574c3784c91c64"}