Skip to content

Develop - #4

Merged
meryemsakin merged 2 commits into
mainfrom
develop
Sep 28, 2026
Merged

meryemsakin merged 2 commits into
mainfrom
develop

Conversation

@meryemsakin

Copy link
Copy Markdown
Owner

No description provided.

A tinylib sandbox with seven AGENTS.md rules (CLAUDE.md is a symlink to the
same file), four tasks that each tempt a different rule, a runner that gives
every run a fresh copy with its own venv and git repo, and an analyzer that
scores each manifest run from its session log. Marked as a legacy pilot
harness: it measures adherence only, and the README lists its limits.
… init --from

- keeptrue ablate plan/run/report (experimental): frozen Git snapshots and
  standalone verifiers, paired leave-one-unit-out slots, a bounded Codex
  runner behind a zero-cost OS-sandbox preflight, and offline HTML/JSON/
  Markdown reports with task-weighted paired effects. An offline synthetic
  demo runs in CI.
- Missing token/time observations stay unknown in adapters and reports;
  per-success costs are withheld when coverage is partial.
- init --from abstains on conditional or unsupported instructions, keeps
  scoped parent text and skips fenced examples; config rejects duplicate or
  blank rule IDs.
- Codex execution records no longer hide unrelated denied or unmatched calls;
  Claude partial/full snapshots no longer inflate final-message length.
- A Ctrl-C during verification now stops the run loop instead of launching
  the next paid slot.
- docs/instruction-experiments.md and docs/validation-status.md.
@meryemsakin
meryemsakin merged commit e49e3aa into main Sep 28, 2026
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant