{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:IALZLWCFAE7MKDLPEF2CEJT6SO","short_pith_number":"pith:IALZLWCF","canonical_record":{"source":{"id":"2508.03708","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"q-fin.GN","submitted_at":"2025-07-21T18:29:45Z","cross_cats_sorted":["cs.SY","econ.GN","eess.SY","q-fin.EC"],"title_canon_sha256":"e3e6d9d89ccb5267449c185731f43beb3784123ef70b70d71922b2723f36629f","abstract_canon_sha256":"8095f980a3fce8c95bb73f1cef43aeedda1be35902ec4a68b57640fdbc7cbb04"},"schema_version":"1.0"},"canonical_sha256":"401795d845013ec50d6f217422267e93b380859737e136270b759114269ab05c","source":{"kind":"arxiv","id":"2508.03708","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.03708","created_at":"2026-07-20T01:18:18Z"},{"alias_kind":"arxiv_version","alias_value":"2508.03708v4","created_at":"2026-07-20T01:18:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.03708","created_at":"2026-07-20T01:18:18Z"},{"alias_kind":"pith_short_12","alias_value":"IALZLWCFAE7M","created_at":"2026-07-20T01:18:18Z"},{"alias_kind":"pith_short_16","alias_value":"IALZLWCFAE7MKDLP","created_at":"2026-07-20T01:18:18Z"},{"alias_kind":"pith_short_8","alias_value":"IALZLWCF","created_at":"2026-07-20T01:18:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:IALZLWCFAE7MKDLPEF2CEJT6SO","target":"record","payload":{"canonical_record":{"source":{"id":"2508.03708","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"q-fin.GN","submitted_at":"2025-07-21T18:29:45Z","cross_cats_sorted":["cs.SY","econ.GN","eess.SY","q-fin.EC"],"title_canon_sha256":"e3e6d9d89ccb5267449c185731f43beb3784123ef70b70d71922b2723f36629f","abstract_canon_sha256":"8095f980a3fce8c95bb73f1cef43aeedda1be35902ec4a68b57640fdbc7cbb04"},"schema_version":"1.0"},"canonical_sha256":"401795d845013ec50d6f217422267e93b380859737e136270b759114269ab05c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-20T01:18:18.597761Z","signature_b64":"SoCs7LgzOZ3Pk8Gb0CxCZrzA86g6BWy4DtiGv/0Uk684PsGilJxOOl6aogC1TYiEDbaUXOj/gLFa0ZdRAm69Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"401795d845013ec50d6f217422267e93b380859737e136270b759114269ab05c","last_reissued_at":"2026-07-20T01:18:18.596816Z","signature_status":"signed_v1","first_computed_at":"2026-07-20T01:18:18.596816Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2508.03708","source_version":4,"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-20T01:18:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"b9TGU3MlpYt8WsfT5rZEa+F9bZLbOid52DdOYg10WK0EqOr6czAaAjmFVinVr6hBWWfN7UnlJXZPhYtZacSxAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T07:20:05.320010Z"},"content_sha256":"29209725c656552277cdbbbfe8535cfa11311d41142df65392f925495bce08fe","schema_version":"1.0","event_id":"sha256:29209725c656552277cdbbbfe8535cfa11311d41142df65392f925495bce08fe"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:IALZLWCFAE7MKDLPEF2CEJT6SO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Tax reform as a constrained optimization problem: a piecewise-linear framework and software implementation","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SY","econ.GN","eess.SY","q-fin.EC"],"primary_cat":"q-fin.GN","authors_text":"Mark Verhagen, Menno Schellekens, Michael Garstka","submitted_at":"2025-07-21T18:29:45Z","abstract_excerpt":"In many countries, income tax codes have grown into a complex tangle of interacting brackets, benefits, and deductions. Despite widespread calls for systematic reform, successful attempts at reform are rare. Part of the problem is the difficulty of designing viable reform proposals. Politically viable reform must offer hard guarantees on income effects, marginal rates, and budgetary cost. Existing microsimulation tools can evaluate a reform proposal but cannot generate one by themselves. We develop a framework that casts tax reform as a constrained optimization problem. We show that any statut"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.03708","kind":"arxiv","version":4},"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/2508.03708/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-20T01:18:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eTDJomtLsE0Ln80ERyjrWJCapRiiP9Bv99MizcvjwbWYeRA6WXO3KG+FuJmvsx+/ike5ImqKMNvuYl1rUetbCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T07:20:05.320574Z"},"content_sha256":"aebe07f415cdced7749f0335216dc7a6142d4075b5e17021e33cad2b5b60a8cd","schema_version":"1.0","event_id":"sha256:aebe07f415cdced7749f0335216dc7a6142d4075b5e17021e33cad2b5b60a8cd"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IALZLWCFAE7MKDLPEF2CEJT6SO/bundle.json","state_url":"https://pith.science/pith/IALZLWCFAE7MKDLPEF2CEJT6SO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IALZLWCFAE7MKDLPEF2CEJT6SO/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-08T07:20:05Z","links":{"resolver":"https://pith.science/pith/IALZLWCFAE7MKDLPEF2CEJT6SO","bundle":"https://pith.science/pith/IALZLWCFAE7MKDLPEF2CEJT6SO/bundle.json","state":"https://pith.science/pith/IALZLWCFAE7MKDLPEF2CEJT6SO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IALZLWCFAE7MKDLPEF2CEJT6SO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:IALZLWCFAE7MKDLPEF2CEJT6SO","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":"8095f980a3fce8c95bb73f1cef43aeedda1be35902ec4a68b57640fdbc7cbb04","cross_cats_sorted":["cs.SY","econ.GN","eess.SY","q-fin.EC"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"q-fin.GN","submitted_at":"2025-07-21T18:29:45Z","title_canon_sha256":"e3e6d9d89ccb5267449c185731f43beb3784123ef70b70d71922b2723f36629f"},"schema_version":"1.0","source":{"id":"2508.03708","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.03708","created_at":"2026-07-20T01:18:18Z"},{"alias_kind":"arxiv_version","alias_value":"2508.03708v4","created_at":"2026-07-20T01:18:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.03708","created_at":"2026-07-20T01:18:18Z"},{"alias_kind":"pith_short_12","alias_value":"IALZLWCFAE7M","created_at":"2026-07-20T01:18:18Z"},{"alias_kind":"pith_short_16","alias_value":"IALZLWCFAE7MKDLP","created_at":"2026-07-20T01:18:18Z"},{"alias_kind":"pith_short_8","alias_value":"IALZLWCF","created_at":"2026-07-20T01:18:18Z"}],"graph_snapshots":[{"event_id":"sha256:aebe07f415cdced7749f0335216dc7a6142d4075b5e17021e33cad2b5b60a8cd","target":"graph","created_at":"2026-07-20T01:18:18Z","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/2508.03708/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In many countries, income tax codes have grown into a complex tangle of interacting brackets, benefits, and deductions. Despite widespread calls for systematic reform, successful attempts at reform are rare. Part of the problem is the difficulty of designing viable reform proposals. Politically viable reform must offer hard guarantees on income effects, marginal rates, and budgetary cost. Existing microsimulation tools can evaluate a reform proposal but cannot generate one by themselves. We develop a framework that casts tax reform as a constrained optimization problem. We show that any statut","authors_text":"Mark Verhagen, Menno Schellekens, Michael Garstka","cross_cats":["cs.SY","econ.GN","eess.SY","q-fin.EC"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"q-fin.GN","submitted_at":"2025-07-21T18:29:45Z","title":"Tax reform as a constrained optimization problem: a piecewise-linear framework and software implementation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.03708","kind":"arxiv","version":4},"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:29209725c656552277cdbbbfe8535cfa11311d41142df65392f925495bce08fe","target":"record","created_at":"2026-07-20T01:18:18Z","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":"8095f980a3fce8c95bb73f1cef43aeedda1be35902ec4a68b57640fdbc7cbb04","cross_cats_sorted":["cs.SY","econ.GN","eess.SY","q-fin.EC"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"q-fin.GN","submitted_at":"2025-07-21T18:29:45Z","title_canon_sha256":"e3e6d9d89ccb5267449c185731f43beb3784123ef70b70d71922b2723f36629f"},"schema_version":"1.0","source":{"id":"2508.03708","kind":"arxiv","version":4}},"canonical_sha256":"401795d845013ec50d6f217422267e93b380859737e136270b759114269ab05c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"401795d845013ec50d6f217422267e93b380859737e136270b759114269ab05c","first_computed_at":"2026-07-20T01:18:18.596816Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-20T01:18:18.596816Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"SoCs7LgzOZ3Pk8Gb0CxCZrzA86g6BWy4DtiGv/0Uk684PsGilJxOOl6aogC1TYiEDbaUXOj/gLFa0ZdRAm69Bw==","signature_status":"signed_v1","signed_at":"2026-07-20T01:18:18.597761Z","signed_message":"canonical_sha256_bytes"},"source_id":"2508.03708","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:29209725c656552277cdbbbfe8535cfa11311d41142df65392f925495bce08fe","sha256:aebe07f415cdced7749f0335216dc7a6142d4075b5e17021e33cad2b5b60a8cd"],"state_sha256":"a727bffaa9b66cb70d97822064f2ae1c5393c466670d01eb378608bdc50b39a3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1kQP3EkpgcSL0zlz02AFVDyiVgnzfLZQKKCMrJx5yUZzmfqoUdebXcq/uLfOo9HDiRwEuYAjJrt2F1MrQuh0Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T07:20:05.324877Z","bundle_sha256":"b32460c8f7b1663b506d0f2caa3960bad49aeb0a4609f7edbc510126e754697f"}}