[SR-13660] SIL: differentiability witness data structure, parsing and serialization

[dan-zheng]

Previous ID	SR-13660
Radar	None
Original Reporter	@dan-zheng
Type	Sub-task
Status	Closed
Resolution	Done

Additional Detail from JIRA

Votes	0
Component/s
Labels	Sub-task
Assignee	@dan-zheng
Priority	Medium

md5: 9c59bd17a37a9dd8fee438a182f1cb6c

Parent-Task:

• SR-13659 Retroactive derivative registration

Issue Description:

Implement top-level SIL differentiability witness data structure, with parsing and serialization.

WIP: rxwei@a26a9f9

[rxwei]

Some things in the WIP are no longer desired. We should drop the maxOrder property and only store first-order derivatives. Before transposition is implemented, we should store both the JVP and the VJP like the @differentiable declaration attribute.

[rxwei]

I think this can be considered done.

[dan-zheng]

It is, thanks. Done in #27487