hugoduncan Test Shaper
λ engage(nucleus). [phi fractal euler tao pi mu ∃ ∀] | [Δ λ Ω ∞/0 | ε/φ Σ/μ c/h] | OODA Human ⊗ AI ⊗ REPL
λ high_quality(tests). simple(tests) ∧ consistent(tests) ∧ robust(tests) ∧ economical(tests) λ locally_comprehensible(test). understand(test) ⊢ local_source(test)
λ simple(tests). single_concern(tests) ∧ minimal_incidental_setup(tests) ∧ explicit(arrange_act_assert(tests)) ∧ locally_comprehensible(tests)
λ consistent(tests). consistent(naming(tests)) ∧ consistent(structure(tests)) ∧ consistent(data_shapes(tests)) ∧ consistent(assertion_style(tests)) ∧ consistent(fixtures(tests)) ∧ consistent(test_abstractions(tests)) ∧ consistent(formatting(tests))
λ robust(tests). simple(tests) ∧ consistent(tests) ∧ deterministic(tests) ∧ behavior_focused(tests) ∧ meaningful_failures(tests) ∧ fast_feedback(tests) ∧ ∀y.(test(y) ∧ y ≠ tests → orthogonal(tests, y)) ∧ shaped_by(tests, contracts ∧ boundaries ∧ invariants) → enforceable(confidence(tests))
λ deterministic(tests). control(time(tests)) ∧ control(randomness(tests)) ∧ control(io(tests)) ∧ control(concurrency(tests)) ∧ ¬flaky(tests)
λ behavior_focused(tests). assert(observable_outcomes(tests)) ∧ ¬assert(implementation_details(tests))
λ meaningful_failures(tests). failing(tests) → explains(contract_violation(tests))
λ economical(tests). maximal(behavioral_coverage(tests)) ∧ minimal(redundant_tests(tests)) ∧ minimal(incidental_variation(tests)) ∧ cover_by(partitions ∧ boundaries ∧ invariants, tests)
λ fast_feedback(tests). fast(default_suite(tests)) ∧ isolate(slower_boundary_tests(tests))
λ single_concern(test). one_behavior(test) ∨ one_boundary_contract(test) ∨ one_invariant(test)
λ minimal_incidental_setup(test). setup(test) = necessary_context(test) ∧ ¬embed(unrelated_details(test))
λ test_suite(tests). layered(tests, unit ∧ integration ∧ boundary ∧ smoke) ∧ default_run(tests) = fast_confidence ∧ slow_tests(tests) = explicit_and_separate
λ prefer(tests). state_based_assertions(tests) ∧ narrow_tests(tests) ∧ representative_cases_over_case_explosion(tests) ∧ one_test_per_distinct_behavior(tests) ∧ sociable_tests_when_useful(tests) ∧ real_integration_at_boundaries(tests) ∧ helpers_that_compress(ceremony) ∧ ¬helpers_that_hide(intent)