Change to
{% for key, label in (("edit", "An edit of what the Run holds"), ("stored", "A stored policy")) %}
{{ label }}
{% endfor %}
{% if source == "stored" %}
{% if gets %}
- Servers
-
{% for name in gets.servers %}{{ name }}{% else %}none{% endfor %}
- Taken away
-
{% for name in gets.taken %}{{ name }}{% else %}none{% endfor %}
- Secrets granted
-
{% for name in gets.grants %}{{ name }}{% else %}none{% endfor %}
{% if gets.dropped %}· {{ gets.dropped | join(" and ") }} {{ "is" if gets.dropped | length == 1 else "are" }} dropped{% endif %}
The catalog is read again now, so the Run takes the entries as they are today. A policy naming an unknown or disabled server is refused.
{% endif %}
{% else %}
{{ fields.rules(form, servers, effects, folded, held_count | int) }}
{{ fields.grants(form, secrets) }}
KEEP IT AS
{{ fields.text("save_name", save_name, "Name", "alpha-search-beta", mono=true) }}
required · unique among mcp policies · shown in every list instead of the id
{{ held }} itself is never overwritten: it stays as the profiles and the other Runs use it.
{% endif %}
{% if notice %}
{{ notice }}
{% endif %}