pj 404573566d feat(verifier): expose extractor names and rebuilt property formulas ...

an offline replay of a trace needs the name-to-index mapping the spec fixed at load, because a trace records extractor values by name, and needs each property's formula built over this verifier's own predicates so a rewritten formula observes exactly what the engine's evaluator does.

2026-08-16 17:44:52 +05:30

..

testdata

test: full test-suite refactor sweep (#61)

2026-06-06 13:59:08 +05:30

ax_integration_test.go

feat(verifier): fail the spec on a selector key that cannot match

2026-08-13 00:36:05 +05:30

bindings.go

fix ltl semantics and unify action enumeration (#71)

2026-08-12 18:06:04 +05:30

combinator_test.go

test(ltl): pin that a slow policy does not fail on time alone

2026-08-14 17:50:37 +05:30

extractor_guard_test.go

UX refactor (#52)

2026-06-02 09:52:53 +05:30

hierarchies_test.go

feat: Maestro driver integration + DeviceDriver architecture (#32)

2026-04-22 19:02:39 +07:00

host_parity_test.go

fix ltl semantics and unify action enumeration (#71)

2026-08-12 18:06:04 +05:30

llm_test.go

fix(verifier): name a web handle by the same ladder as a tree element

2026-08-13 22:55:20 +05:30

llm.go

fix(verifier): name a web handle by the same ladder as a tree element

2026-08-13 22:55:20 +05:30

marshal_test.go

Merge origin/master into llm-recording-and-analysis

2026-08-15 13:28:11 +05:30

marshal.go

fix(selectors): resolve text to the innermost match and scan the root in both forms

2026-08-16 17:43:10 +05:30

parity_test.go

fix ltl semantics and unify action enumeration (#71)

2026-08-12 18:06:04 +05:30

policy_parity_test.go

test(verifier): setup still draws, and the seeded stream is unmoved

2026-08-13 00:58:17 +05:30

scope_test.go

fix ltl semantics and unify action enumeration (#71)

2026-08-12 18:06:04 +05:30

setup_action_test.go

test(verifier): setup still draws, and the seeded stream is unmoved

2026-08-13 00:58:17 +05:30

spec_integration_test.go

iOS simulator driver: Go-native companion-backed backend (#62)

2026-06-08 19:10:54 +05:30

types.go

replay ui fix (#56)

2026-06-03 16:17:26 +05:30

verifier_test.go

test(verifier): an unrecordable extractor value is reported, not dropped

2026-08-15 18:59:03 +05:30

worker_test.go

fix ltl semantics and unify action enumeration (#71)

2026-08-12 18:06:04 +05:30

worker.go

feat(verifier): expose extractor names and rebuilt property formulas

2026-08-16 17:44:52 +05:30