{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:54KLPIVKH4ROFTYGFMAQ3SZS3D","short_pith_number":"pith:54KLPIVK","schema_version":"1.0","canonical_sha256":"ef14b7a2aa3f22e2cf062b010dcb32d8d5d71a161fe7b1803eb40a400026f808","source":{"kind":"arxiv","id":"2508.14511","version":2},"attestation_state":"computed","paper":{"title":"What You See Is What It Does: A Structural Pattern for Legible Software","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Daniel Jackson, Eagon Meng","submitted_at":"2025-08-20T08:03:00Z","abstract_excerpt":"The opportunities offered by LLM coders (and their current limitations) demand a reevaluation of how software is structured. Software today is often \"illegible\" - lacking a direct correspondence between code and observed behavior - and insufficiently modular, leading to a failure of three key requirements of robust coding: incrementality (the ability to deliver small increments by making localized changes), integrity (avoiding breaking prior increments) and transparency (making clear what has changed at build time, and what actions have happened at runtime).\n  A new structural pattern offers i"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2508.14511","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-08-20T08:03:00Z","cross_cats_sorted":[],"title_canon_sha256":"138af517b2dcb9c3f318bcf25f2cf4d94ce83753afae17ff2089605693763db5","abstract_canon_sha256":"dc3be607911e60c9ab2c7b197f1fdcd5c41330000b9a170204d2a17fd5f60dd6"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T12:00:28.919145Z","signature_b64":"ZDNw91N9JcE06ngKt6VXJvlMxbeg0QLMF3aqDU678SBMFcvR/9wCW93sHaIQytBd9AXoF2CsguoQz7sudJSBAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ef14b7a2aa3f22e2cf062b010dcb32d8d5d71a161fe7b1803eb40a400026f808","last_reissued_at":"2026-07-05T12:00:28.918629Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T12:00:28.918629Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"What You See Is What It Does: A Structural Pattern for Legible Software","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Daniel Jackson, Eagon Meng","submitted_at":"2025-08-20T08:03:00Z","abstract_excerpt":"The opportunities offered by LLM coders (and their current limitations) demand a reevaluation of how software is structured. Software today is often \"illegible\" - lacking a direct correspondence between code and observed behavior - and insufficiently modular, leading to a failure of three key requirements of robust coding: incrementality (the ability to deliver small increments by making localized changes), integrity (avoiding breaking prior increments) and transparency (making clear what has changed at build time, and what actions have happened at runtime).\n  A new structural pattern offers i"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.14511","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/2508.14511/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2508.14511","created_at":"2026-07-05T12:00:28.918695+00:00"},{"alias_kind":"arxiv_version","alias_value":"2508.14511v2","created_at":"2026-07-05T12:00:28.918695+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.14511","created_at":"2026-07-05T12:00:28.918695+00:00"},{"alias_kind":"pith_short_12","alias_value":"54KLPIVKH4RO","created_at":"2026-07-05T12:00:28.918695+00:00"},{"alias_kind":"pith_short_16","alias_value":"54KLPIVKH4ROFTYG","created_at":"2026-07-05T12:00:28.918695+00:00"},{"alias_kind":"pith_short_8","alias_value":"54KLPIVK","created_at":"2026-07-05T12:00:28.918695+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/54KLPIVKH4ROFTYGFMAQ3SZS3D","json":"https://pith.science/pith/54KLPIVKH4ROFTYGFMAQ3SZS3D.json","graph_json":"https://pith.science/api/pith-number/54KLPIVKH4ROFTYGFMAQ3SZS3D/graph.json","events_json":"https://pith.science/api/pith-number/54KLPIVKH4ROFTYGFMAQ3SZS3D/events.json","paper":"https://pith.science/paper/54KLPIVK"},"agent_actions":{"view_html":"https://pith.science/pith/54KLPIVKH4ROFTYGFMAQ3SZS3D","download_json":"https://pith.science/pith/54KLPIVKH4ROFTYGFMAQ3SZS3D.json","view_paper":"https://pith.science/paper/54KLPIVK","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2508.14511&json=true","fetch_graph":"https://pith.science/api/pith-number/54KLPIVKH4ROFTYGFMAQ3SZS3D/graph.json","fetch_events":"https://pith.science/api/pith-number/54KLPIVKH4ROFTYGFMAQ3SZS3D/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/54KLPIVKH4ROFTYGFMAQ3SZS3D/action/timestamp_anchor","attest_storage":"https://pith.science/pith/54KLPIVKH4ROFTYGFMAQ3SZS3D/action/storage_attestation","attest_author":"https://pith.science/pith/54KLPIVKH4ROFTYGFMAQ3SZS3D/action/author_attestation","sign_citation":"https://pith.science/pith/54KLPIVKH4ROFTYGFMAQ3SZS3D/action/citation_signature","submit_replication":"https://pith.science/pith/54KLPIVKH4ROFTYGFMAQ3SZS3D/action/replication_record"}},"created_at":"2026-07-05T12:00:28.918695+00:00","updated_at":"2026-07-05T12:00:28.918695+00:00"}