test/cases/00_yaml_flatten.sh

What it is

URI

majordomus://test/test/cases/00_yaml_flatten.sh

Kind

test

Identity

test/cases/00_yaml_flatten.sh

Path

test/cases/00_yaml_flatten.sh

Provenance

declared

Media type

text/plain

As a capability

test.test/cases/00_yaml_flatten.sh

Front matter

{}

Content

# The YAML subset parser: the foundation everything else validates through.
# claims: policy-parse
. "$ROOT/test/lib.sh"
. "$ROOT/lib/common.sh"
cat > y.yaml <<'Y'
# comment
version: 1
context:
  budget: 150          # trailing comment
  strategy: "minimum-sufficient"
profiles:
  default: implementation
scope:
  - lib/auth
  - "docs/"
same_indent:
- a
- b
enforcement:
  - name: first
    path: bin/x
    args: [doctor, --strict]
    nested:
      - deep
  - name: second
    args: []
empty_list: []
Y
mj_yaml_flatten y.yaml > flat.txt
expect_grep '^version=1$' flat.txt
expect_grep '^context\.budget=150$' flat.txt
expect_grep '^context\.strategy=minimum-sufficient$' flat.txt
expect_grep '^scope\.0=lib/auth$' flat.txt
expect_grep '^scope\.1=docs/$' flat.txt
expect_grep '^same_indent\.1=b$' flat.txt
expect_grep '^enforcement\.0\.name=first$' flat.txt
expect_grep '^enforcement\.0\.path=bin/x$' flat.txt
expect_grep '^enforcement\.0\.args\.1=--strict$' flat.txt
expect_grep '^enforcement\.0\.nested\.0=deep$' flat.txt
expect_grep '^enforcement\.1\.name=second$' flat.txt
expect_grep '^enforcement\.1\.args=\[\]$' flat.txt
expect_grep '^empty_list=\[\]$' flat.txt
[ "$(mj_yget flat.txt context.budget)" = 150 ]
# inside single quotes a doubled quote is one quote, as every YAML parser reads it; a
# double-quoted scalar has no such escape and keeps the pair. The Rust engine reads the
# same (metadata::yaml, a_doubled_quote_inside_single_quotes_is_one_quote).
printf '%s\n' "a: 'the repository''s test'" 'b: "it'"''"'s"' "c: ''''" "d: ['x''y', z]" > q.yaml
mj_yaml_flatten q.yaml > qf.txt
expect_grep "^a=the repository's test$" qf.txt
expect_grep "^b=it''s$" qf.txt
expect_grep "^c='$" qf.txt
expect_grep "^d\.0=x'y$" qf.txt
expect_grep '^d\.1=z$' qf.txt
[ "$(mj_ylist flat.txt scope | wc -l | tr -d ' ')" = 2 ]
# failures
printf 'a:\n\tb: 1\n' > tab.yaml
expect_exit 3 mj_yaml_flatten tab.yaml
printf -- '- orphan\n' > orphan.yaml
expect_exit 3 mj_yaml_flatten orphan.yaml
printf 'weird line without colon\n' > bad.yaml
expect_exit 3 mj_yaml_flatten bad.yaml
# unknown-key detection
printf '^version$\n^context\\.budget$\n' > allow.txt
printf 'version: 1\ncontext:\n  budget: 1\n  extra: 2\n' > k.yaml
mj_yaml_flatten k.yaml > kf.txt
out="$(mj_yaml_unknown_keys kf.txt allow.txt)" && exit 1
[ "$out" = "context.extra" ]
# the canonical policy is parsed through this subset, and a key its allowlist does not name
# rejects it by name (claim policy-parse)
"$MJ" init >/dev/null
expect_exit 12 "$MJ" doctor
expect_grep 'OK +policy +\.ai/repo/policy\.yaml — parsed, version 1'
printf 'nonsense: 1\n' >> .ai/repo/policy.yaml
expect_exit 12 "$MJ" doctor
expect_grep 'FAIL policy .*unknown keys: nonsense'