Thomas Piacentini
← Atelier

Projet à concevoir

Trajectory Counterexample Minimizer

Texte original · anglais

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 et livrables 1
Ce que vous en retenez

Enregistré dans votre carnet sur cet appareil.

Sources et limites

Les repères de lecture sont déclaratifs. Les résultats de tests sont enregistrés séparément ; ils valent pour les cas exécutés.

AI Engineering from Scratch · 3f9715c · MIT

Télécharger ce fichier ↓