{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:OM5WMCJXUNO5P4WEH57LF65K23","short_pith_number":"pith:OM5WMCJX","schema_version":"1.0","canonical_sha256":"733b660937a35dd7f2c43f7eb2fbaad6ca518c17ac712b5591177629c79c3f8b","source":{"kind":"arxiv","id":"2608.03062","version":1},"attestation_state":"computed","paper":{"title":"TraceCAD: Trace-Guided Repair for Agentic CAD Generation","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.GR","cs.SE"],"primary_cat":"cs.AI","authors_text":"Fan Sang, Fengxiao Fan, Jingzhe Ni, Min Tang, Peng Du, Ruofeng Tong, Xiaolong Yin, Yu Liu","submitted_at":"2026-08-04T03:23:11Z","abstract_excerpt":"LLM-based CAD agents produce executable parametric programs, but their correction loops may lose evidence about satisfied requirements, faulty operations, and prior repairs. We introduce TraceCAD, a recovery layer that links requested features, modeling steps, failure evidence, and candidate outcomes as persistent state. TraceCAD diagnoses likely faulty operations, searches bounded edits in their dependency regions, validates candidates through execution and preservation checks, and retains successful and failed repair outcomes in reusable skill memory. On DeepCAD-derived benchmarks with 200-m"},"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":"2608.03062","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-08-04T03:23:11Z","cross_cats_sorted":["cs.GR","cs.SE"],"title_canon_sha256":"c12129510f464d7efc5c2a27bab1eb46f7042781ad427df663ae8895e5f37373","abstract_canon_sha256":"69178b023efdd79a9bd282342c9352827ef9f2a6019731e8f8fde7b33ed20171"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-08-05T00:45:04.804468Z","signature_b64":"Rmfsp28XzOUHBxH8wp8EEHv6w+KmyPPQs2felx2mL3XsqTrOdogpZBDq2h2xhKItUWr+PwPFR4JOCKwK9OlwAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"733b660937a35dd7f2c43f7eb2fbaad6ca518c17ac712b5591177629c79c3f8b","last_reissued_at":"2026-08-05T00:45:04.801816Z","signature_status":"signed_v1","first_computed_at":"2026-08-05T00:45:04.801816Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"TraceCAD: Trace-Guided Repair for Agentic CAD Generation","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.GR","cs.SE"],"primary_cat":"cs.AI","authors_text":"Fan Sang, Fengxiao Fan, Jingzhe Ni, Min Tang, Peng Du, Ruofeng Tong, Xiaolong Yin, Yu Liu","submitted_at":"2026-08-04T03:23:11Z","abstract_excerpt":"LLM-based CAD agents produce executable parametric programs, but their correction loops may lose evidence about satisfied requirements, faulty operations, and prior repairs. We introduce TraceCAD, a recovery layer that links requested features, modeling steps, failure evidence, and candidate outcomes as persistent state. TraceCAD diagnoses likely faulty operations, searches bounded edits in their dependency regions, validates candidates through execution and preservation checks, and retains successful and failed repair outcomes in reusable skill memory. On DeepCAD-derived benchmarks with 200-m"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.03062","kind":"arxiv","version":1},"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/2608.03062/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":"2608.03062","created_at":"2026-08-05T00:45:04.802918+00:00"},{"alias_kind":"arxiv_version","alias_value":"2608.03062v1","created_at":"2026-08-05T00:45:04.802918+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.03062","created_at":"2026-08-05T00:45:04.802918+00:00"},{"alias_kind":"pith_short_12","alias_value":"OM5WMCJXUNO5","created_at":"2026-08-05T00:45:04.802918+00:00"},{"alias_kind":"pith_short_16","alias_value":"OM5WMCJXUNO5P4WE","created_at":"2026-08-05T00:45:04.802918+00:00"},{"alias_kind":"pith_short_8","alias_value":"OM5WMCJX","created_at":"2026-08-05T00:45:04.802918+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/OM5WMCJXUNO5P4WEH57LF65K23","json":"https://pith.science/pith/OM5WMCJXUNO5P4WEH57LF65K23.json","graph_json":"https://pith.science/api/pith-number/OM5WMCJXUNO5P4WEH57LF65K23/graph.json","events_json":"https://pith.science/api/pith-number/OM5WMCJXUNO5P4WEH57LF65K23/events.json","paper":"https://pith.science/paper/OM5WMCJX"},"agent_actions":{"view_html":"https://pith.science/pith/OM5WMCJXUNO5P4WEH57LF65K23","download_json":"https://pith.science/pith/OM5WMCJXUNO5P4WEH57LF65K23.json","view_paper":"https://pith.science/paper/OM5WMCJX","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2608.03062&json=true","fetch_graph":"https://pith.science/api/pith-number/OM5WMCJXUNO5P4WEH57LF65K23/graph.json","fetch_events":"https://pith.science/api/pith-number/OM5WMCJXUNO5P4WEH57LF65K23/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/OM5WMCJXUNO5P4WEH57LF65K23/action/timestamp_anchor","attest_storage":"https://pith.science/pith/OM5WMCJXUNO5P4WEH57LF65K23/action/storage_attestation","attest_author":"https://pith.science/pith/OM5WMCJXUNO5P4WEH57LF65K23/action/author_attestation","sign_citation":"https://pith.science/pith/OM5WMCJXUNO5P4WEH57LF65K23/action/citation_signature","submit_replication":"https://pith.science/pith/OM5WMCJXUNO5P4WEH57LF65K23/action/replication_record"}},"created_at":"2026-08-05T00:45:04.802918+00:00","updated_at":"2026-08-05T00:45:04.802918+00:00"}