Function toCityJSONFeature

toCityJSONFeature(
    feature: Feature,
    header: HeaderView,
    opts?: Int64Policy,
): CityJSONFeature
One CityJSONFeature line: every CityObject the feature holds, keyed by id, with its attributes decoded, its geometry boundaries re-nested to the depth the geometry type implies, and its semantics / material / texture index arrays rebuilt (a stored u32::MAX becomes null).

vertices stays QUANTISED: they are the integers as stored, and the transform from toCityJSONMetadata is what maps them to world coordinates. The reference reader does not apply it here either, and the conformance corpus pins that.

Pure computation over an already-read Feature; it issues no reads.
Parameters
- feature: Feature
  one feature from a cursor -- reader.select() or reader.selectAll().
- header: HeaderView
  the header of the SAME file the feature came from; it supplies the fallback attribute schema and the semantic-surface schema.
- Optionalopts: Int64Policy
  how to spell Long/ULong attribute values; see Int64Policy. Defaults to 'lossy-number'.
Returns CityJSONFeature
- Defined in cityjson/index.ts:696