Cardano Updates

Under eager, non-voters pre-fetch the EB body and missing
closure during the diffusion window in parallel with voter activity
(rather than starting from scratch when the certRB arrives, which is
the lazy alternative we previously documented).

Add a new "Where does p_cert come from?" sub-paragraph in §3.1
between the bug-fix pseudocode and the existing "Why P_cert, not
P(EB exists)" subsection.

Ports PR #155's compose-label exclusion mechanism to the adversary testnet, including the adversary host.

The Cardano nodes remain unlabeled so they stay faultable.

Signed-off-by: yHSJ <[email protected]>

Signed-off-by: yHSJ <[email protected]>

Signed-off-by: yHSJ <[email protected]>

for this to be completely accurate, we need more state in our context (Accounts, DReps, and Pools, specifically). So while this PR provides a non-conforming implementation, it gets us *closer* to a conforming implementation.

It is also worth noting there are ~4 conformance tests from Haskell which are now passing for the wrong reasons. These tests are failing due to a ValueNotPreserved error instead of the expected failures. This is because they also depend on the context, the fact they now fail is just a side effect of an 'almost correct' implementation. We should not trust those particular tests right now.

Signed-off-by: yHSJ <[email protected]>

Signed-off-by: yHSJ <[email protected]>

Signed-off-by: yHSJ <[email protected]>

Signed-off-by: yHSJ <[email protected]>

Signed-off-by: yHSJ <[email protected]>

* [js] mithril-explorer from `0.7.51` to `0.8.0`

- reduces manual state tracking by using `FormData` to retrieve submitted values
- replaces redundant props with destructured parameters
- removes unused logic

+ Remove the `<Form>` that was wrapping the `AggregatorSetter` and `IntervalSetter`.

Goal: avoid stacked forms in the UI.

Explorer will only show its main UI when the store is fully loaded, this avoids timing issues such as loading the aggregator from the URL which may be overriden by init logic.

Add fallback loaders for `Provider` and `Suspense` to improve user experience during the loading phase.

Under eager, non-voters pre-fetch the EB body and missing
closure during the diffusion window in parallel with voter activity
(rather than starting from scratch when the certRB arrives, which is
the lazy alternative we previously documented).

Add a new "Where does p_cert come from?" sub-paragraph in §3.1
between the bug-fix pseudocode and the existing "Why P_cert, not
P(EB exists)" subsection.

Add comprehensive support for Aiken v1.1+ language features:

- Decorators (@tag, @list) on types and enum variants
- Benchmarks (bench keyword) with via fuzzer support
- error keyword alongside fail, todo with optional expression
- Variadic trace (trace @"label": a, b, c)
- Soft-cast (if expr is Pattern) within if expressions
- When clause alternatives with pipe (|)
- Record updates with spread syntax (Type { ..base, field: value })
- fail/fail once test modifiers for property tests
- as bindings on let/expect assignments
- Backpass assignment (<-)
- Function argument destructuring (pattern and record)
- Function type aliases (type Callback = fn(Int) -> Bool)
- Typed validator handlers with else fallback
- Binary (0b) and octal (0o) integer literals
- Constants referencing other constants
- Discard patterns in function arguments

Also updates Rust bindings to tree-sitter-language 0.1, adds
tree-sitter.json for ABI 15, and improves highlight queries.

Signed-off-by: Jonathan Lim <[email protected]>

Signed-off-by: Jonathan Lim <[email protected]>

Co-Authored-By: Cursor <[email protected]>

Changed api srp to IntersectMBO

Signed-off-by: Jonathan Lim <[email protected]>