• Joined on 2025-06-03
TheRON pushed tag v0.4.1 to TheRON/mechanical-compiler 2026-09-14 05:51:44 -04:00
TheRON pushed to main at TheRON/mechanical-compiler 2026-09-14 05:45:09 -04:00
0c220f449b ROADMAP: section 7 is binding. PRECISION: prismatic-only is a limit
TheRON pushed to main at TheRON/mechanical-compiler 2026-09-14 05:37:06 -04:00
a76879f4a0 IDENTITY-CONTRACT: three statements a reader would take as fact, corrected
TheRON pushed to main at TheRON/mechanical-compiler 2026-09-14 05:26:48 -04:00
eb537768ef ENVIRONMENT 5.4: add the DIVERGENCE marker, and record five unmet requirements
TheRON pushed to main at TheRON/mechanical-compiler 2026-09-14 05:14:23 -04:00
bc291822e1 STAGING-STATE: reconcile against the host, and close DIV-005 as recorded backwards
TheRON pushed to main at TheRON/mechanical-compiler 2026-09-13 16:39:06 -04:00
61b8f1eb4c HANDOFF: reconcile against the code, and delete what git already reports
TheRON pushed to main at TheRON/mechanical-compiler 2026-09-13 16:17:32 -04:00
15e90fd8cf PROCESS: write down the delivery chain, and stop transcribing derivable state
TheRON pushed to main at TheRON/mechanical-compiler 2026-09-13 16:01:41 -04:00
3ccec9ab40 Record six divergences between the documents and what is running
TheRON pushed tag v0.4.0 to TheRON/mechanical-compiler 2026-09-12 12:05:36 -04:00
TheRON pushed to main at TheRON/mechanical-compiler 2026-09-12 12:00:15 -04:00
cdde394bd8 composer: /m/stl, a bounded export route
TheRON pushed to main at TheRON/mechanical-compiler 2026-09-12 11:40:39 -04:00
0545b79674 stl: export a member as a sealed mesh
TheRON pushed to main at TheRON/mechanical-compiler 2026-09-12 11:19:52 -04:00
ecac644204 composer: enumerated parameters, and length_view becomes reachable
TheRON pushed to main at TheRON/mechanical-compiler 2026-09-12 11:07:08 -04:00
56e0570f10 roadmap: two principles, and the contradictions reading it turned up
TheRON pushed to main at TheRON/mechanical-compiler 2026-09-12 10:48:27 -04:00
c72036cbbb docs: the ACL leaves the roadmap, and the development-name excuse is withdrawn
TheRON pushed to main at TheRON/mechanical-compiler 2026-09-12 10:35:03 -04:00
ee3fedf794 docs: our side of the cross-project gate register
54f0296e6f identity contract: neutral headers, and the chain is not one hop
Compare 2 commits »
TheRON pushed to main at TheRON/mechanical-compiler 2026-09-12 07:58:19 -04:00
bac6120605 deploy: the running configuration, and the identity contract
TheRON pushed to main at TheRON/mechanical-compiler 2026-09-12 05:53:29 -04:00
6ce8ece709 docs: F-037, the ingress corrections, and the priority order reversed
TheRON pushed to main at TheRON/mechanical-compiler 2026-09-12 04:56:55 -04:00
48d566574e design record: an authorship field, recorded and in neither id
TheRON pushed to main at TheRON/mechanical-compiler 2026-09-11 13:38:38 -04:00
a7162bc1d5 docs: assemblies are out of scope by design, and the priority order
TheRON pushed tag v0.3.0 to TheRON/mechanical-compiler 2026-09-11 13:18:50 -04:00