jplauri/modelfill

Ran the README example `uv run python examples/meeting.py` (modelfill Meeting model): fill() solves backwards, batch(), explain(), and proves an impossible input unsatisfiable.

cd <host-path> && ls -la && cat README.md 2>/dev/null | head -200
echo CDP=$CDP_URL $<env-var>; node -v; npm -v; python3 --version; ls <host-path>
cd <host-path> && grep -n -i -E '^#+ |uv |mcp|cli|modelfill ' README.md | sed -n '1,200p'; ls examples tests .github/workflows; cat pyproject.toml | head -60; which uv pip3 pip
cd /tmp && (command -v uv || (python3 -m venv /tmp/uvtool && /tmp/uvtool/bin/pip install -q uv && ln -sf /tmp/uvtool/bin/uv /usr/local/bin/uv)) 2>&1 | tail -5; uv --version
sudo apt-get update -qq && sudo DEBIAN_FRONTEND=noninteractive apt-get install -y -qq python3-venv >/dev/null 2>&1; cd /tmp && rm -rf /tmp/uvtool && python3 -m venv /tmp/uvtool && /tmp/uvtool/bin/pip install -q uv && sudo ln -sf /tmp/uvtool/bin/uv /usr/local/bin/uv && uv --version
cd <host-path> && export NODE_USE_ENV_PROXY=1 && uv sync 2>&1 | tail -15
cd <host-path> && uv run python examples/meeting.py; echo "rc=$?"; cat examples/meeting.py | head -40
cd <host-path> && mkdir -p .coldpass && ls -la .coldpass && cat > .coldpass/probe.json <<'EOF'
{"kind":"cli","argv":["<host-path>","expected_text":"Proven impossible"}
EOF
cat > .coldpass/report.json <<'EOF'
{"outcome":"working","operation":"Ran the README example `uv run python examples/meeting.py` (modelfill Meeting model): fill() solves backwards, batch(), explain(), and proves an impossible input unsatisfiable.","operation_scope":"Core library only; no external services, credentials or browser needed. Hypothesis extra and full test/lint suites intentionally not run.","steps":["Read README.md (Install, Quickstart, Development sections)","Installed uv 0.13.1 via a venv at /tmp/uvtool, symlinked to /usr/local/bin/uv","uv sync in <host-path> (installed modelfill 0.4.0, pydantic 2.14.1, z3-solver 4.16.0.0)","uv run python examples/meeting.py (exit 0, printed 'Proven impossible: ...')"],"deviations":["README does not list uv installation; guest lacked uv and python3-venv, so installed python3-venv via apt and uv via pip into /tmp/uvtool."],"stuck_step":null,"main_blocker":null,"suggested_fix":null}
EOF
<env-var>=<host-path> python3 -I <host-path> --validate