{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2009:ELZK5PJB245WAKG4FZRF4M4VR3","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":"6d3c0507a33468c532e9950f2db0e6a038e4a9db45203b87345ce9823b3794b7","cross_cats_sorted":["cs.HC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2009-08-08T20:53:04Z","title_canon_sha256":"d8330651d3bda7d879b7ee26189aeef61444a42e5e8fcf4c1743866abbc4e57e"},"schema_version":"1.0","source":{"id":"0908.1188","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0908.1188","created_at":"2026-05-18T04:28:28Z"},{"alias_kind":"arxiv_version","alias_value":"0908.1188v1","created_at":"2026-05-18T04:28:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0908.1188","created_at":"2026-05-18T04:28:28Z"},{"alias_kind":"pith_short_12","alias_value":"ELZK5PJB245W","created_at":"2026-05-18T12:25:59Z"},{"alias_kind":"pith_short_16","alias_value":"ELZK5PJB245WAKG4","created_at":"2026-05-18T12:25:59Z"},{"alias_kind":"pith_short_8","alias_value":"ELZK5PJB","created_at":"2026-05-18T12:25:59Z"}],"graph_snapshots":[{"event_id":"sha256:178b15e6385a5fc84d17c9b249007a80939be1c26e6437b1848835f9a88b6ad7","target":"graph","created_at":"2026-05-18T04:28:28Z","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"},"paper":{"abstract_excerpt":"Spreadsheet programmers often implement contingent logic using a nested-IF formula even though this technique is difficult to test and audit and is believed to be risky. We interpret the programming of contingent logic in spreadsheets in the context of traditional computer programming. We investigate the \"lookup technique\" as an alternative to nested-IF formulas, describe its benefits for testing and auditing, and define its limitations. The lookup technique employs four distinct principles: 1) make logical tests visible; 2) make outcomes visible; 3) make logical structure visible; and 4) repl","authors_text":"Jan Gustavson, Ozgur Ozluk, Thomas A. Grossman","cross_cats":["cs.HC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2009-08-08T20:53:04Z","title":"The Lookup Technique to Replace Nested-IF Formulas in Spreadsheet Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0908.1188","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:5b34836af1b09c24384ab26128be8b2ab4f5963b4e3030b96ee0b011a77b3d78","target":"record","created_at":"2026-05-18T04:28:28Z","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":"6d3c0507a33468c532e9950f2db0e6a038e4a9db45203b87345ce9823b3794b7","cross_cats_sorted":["cs.HC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2009-08-08T20:53:04Z","title_canon_sha256":"d8330651d3bda7d879b7ee26189aeef61444a42e5e8fcf4c1743866abbc4e57e"},"schema_version":"1.0","source":{"id":"0908.1188","kind":"arxiv","version":1}},"canonical_sha256":"22f2aebd21d73b6028dc2e625e33958ef83d6ec7c99131053f170ddee5901937","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"22f2aebd21d73b6028dc2e625e33958ef83d6ec7c99131053f170ddee5901937","first_computed_at":"2026-05-18T04:28:28.373282Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:28:28.373282Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"f3ZZ0RfNzJETMoZI1JOcZnSIm0PJ11C1bAmVnUFvpnH/IFDbvb6hev+ZP7OWWAUmpd7pRdi487u9XT1t28b1Dw==","signature_status":"signed_v1","signed_at":"2026-05-18T04:28:28.373762Z","signed_message":"canonical_sha256_bytes"},"source_id":"0908.1188","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5b34836af1b09c24384ab26128be8b2ab4f5963b4e3030b96ee0b011a77b3d78","sha256:178b15e6385a5fc84d17c9b249007a80939be1c26e6437b1848835f9a88b6ad7"],"state_sha256":"5271c8dc103faa4505595747be0ec35a1fc00d0b8e8ff52a335f20e7a8241555"}