Port v0 Invariant Interface

DylanLukes / renkon

BSD 3-Clause "New" or "Revised" License

0 stars 0 forks source link

Port v0 Invariant Interface #5

Closed wggster closed 1 year ago

wggster commented 1 year ago

[x] Tear out the sketch code (6 hr)
[ ] Implement a simple batch interface (for testing) (6 hr)
[x] Identify the minimal model invariant interface in v0 code (3 hr)

DylanLukes commented 1 year ago

v0 interface's infer general method doesn't translate well to property (vs model) traits, blocked by/related to #6, moving there to avoid carrying over technical debt before implementing batch interface (promoting that item to a new issue).

DylanLukes commented 1 year ago

First-pass finished. May need to change in the future, but for now should be stable enough.

For StatTrait, fit, test_inyling.

For PropTrait, satisfy, test_satisfied.

What's missing or will evolve is some notion of "confidence"

DylanLukes commented 1 year ago

Implementing a simple batch interface (for testing) (6 hr) was moved to its own task.