I’m an independent researcher finishing a paper on mechanically-enforced specification discipline for agentic application rebuilds, verifying that mechanical hooks actually change agent behavior in practice, rather than assuming it, with layered self-report/log/filesystem verification throughout. Targeting EMSE.
As a first-time submitter I need a cs.SE endorsement to post. If you’re active in cs.SE and willing to take a look, I’d really appreciate it. Happy to share the abstract or repo directly.
Endorsement code: YMTL4B