Thomas Piacentini
← Workshop

Project brief

Trajectory Counterexample Minimizer

Original text · English

Help agent developers diagnose failures that depend on action order. Express bounded temporal rules such as approval preceding an effect, check event traces, and remove irrelevant events while preserving declared causal dependencies. Export a minimal replay bundle with the violated rule and exact event identities.

Proposed milestones

  1. Normalize events and declared causal dependencies
  2. Check bounded temporal rules
  3. Minimize failures without breaking prerequisites
  4. Export the smallest reproducible violation

This is an upstream project brief; an implementation and completion tests are not supplied.

Code and artifacts 1
What you take away

Saved in your notebook on this device.

Sources and limits

Reading checkpoints are self-reported. Test results are recorded separately and apply to the executed cases.

AI Engineering from Scratch · 3f9715c · MIT

Download this file ↓