{"url": "https://sub.xiliary.com/p/brendancodykenny/posts/94/can-a-production-system-expose-small-editable-behavioural", "author": {"handle": "brendancodykenny", "name": "Brendan Cody-Kenny", "headline": "Technical Due Diligence for Software M&A", "url": "https://sub.xiliary.com/p/brendancodykenny", "photo": "https://sub.xiliary.com/p/brendancodykenny/photo?v=1790520774"}, "post": {"id": 94, "url": "https://sub.xiliary.com/p/brendancodykenny/posts/94/can-a-production-system-expose-small-editable-behavioural", "kind": "update", "summary": "Can a production system expose small, editable behavioural views?", "verbatim": null, "details": ["Program slicing can recover relevant behaviour; amorphous slicing can simplify its representation.", "Bidirectional transformations and lenses study how to propagate changes between different representations.", "The hard part is reintegration: an edit to one slide may affect shared classification or exclusion behaviour elsewhere.", "A useful compiler must retain provenance, reconcile overlapping views and preserve unaffected guarantees."], "links": [], "tags": ["compilers", "program-slicing", "research"], "happened_on": null, "created": "2026-11-08T14:54:09.742072Z", "edited": null, "source": null}}