Spaces:

karlexmarin
/

taf-agent

Running

App Files Files Community

taf-agent / tests

25.4 kB

Ctrl+K

Ctrl+K

2 contributors

History: 3 commits

karlexmarin's picture

fix: remove d_horizon tautology + audit-driven correctness/honesty fixes + test net

0937b87 15 days ago

i18n_check.mjs

4.45 kB
fix: remove d_horizon tautology + audit-driven correctness/honesty fixes + test net 15 days ago
smoke.mjs

8.59 kB
fix: remove d_horizon tautology + audit-driven correctness/honesty fixes + test net 15 days ago
test_taf_formulas.py

12.3 kB
fix: demote δ_SWA to disabled; flag δ_post_IH and δ_instruct exploratory about 1 month ago