765 B
765 B
Generated code
Every *.sando.go file is an owned output of the neighboring *.sando source.
The committed neighbors were produced by himesan v1.0.0-beta.1 and were
verified byte-current with both himesan v1.0.0-rc.1 and final himesan v1.0.0.
The compiler intentionally preserves an honest producer marker when generated
semantics are unchanged. Commit both files so production builds need only
ordinary Go and the small sando runtime.
Never hand-edit a generated neighbor. Run himesan generate internal/views,
review the deterministic diff, and use himesan check internal/views in local
verification or CI. The generator records its version, runtime ABI, source
digest, and source mappings in each output.