How to verify the boolean field in yaml in cue?

[silenceper]

the deploy.yaml :

apiVersion: apps/v1
kind: Deployment
metadata:
  name: nginx-deployment
  labels:
    app: nginx
spec:
  replicas: 3
  selector:
    matchLabels:
      app: nginx
  template:
    metadata:
      labels:
        app: nginx
    spec:
      containers:
      - name: nginx
        image: nginx:1.14.2

check.cue:

kind: "Deployment" | "Statefulset"
spec: {
    replicas: int
	template: {
		spec: {
			hostNetwork: bool & true
		}
	}
}

execute data verification:

 cue vet deploy.yaml check.cue

The result I hope to get is that the authentication fails, and I set hostNetwork to true

[silenceper]

/PTAL @mpvl @myitcv

[verdverm]

A related problem is the ability to require the user to specify a concrete value. This is currently not possible.

From: #822

See the subsections related to required fields in "The Issues" section

[silenceper]

thanks @verdverm