主要观点：机器编织是制作复杂软物体的成熟技术，公司和研究人员已开发生成编织图案的工具，但现有表示存在不完整或过于特定的问题，影响机器编织的正确性定义及程序验证。
关键信息：工作的主要贡献是为编织机的低级领域特定语言“knitout”提供形式语义，通过“fenced tangle”扩展结理论概念来定义编织程序等价性，还证明了重写规则序列的正确性，展示了其可作为高级任务基础，如为特定机器编译程序和优化时间/可靠性等，同时在提出的语义下生成相同的编织物体，为编织程序的编译和优化提供了基础。
重要细节：给出了相关文件，包括论文及补充代码的链接，以及引用信息，包括作者、标题、年份、期刊等详细内容。