Chain-facing capabilities have not been reviewed.
Next: Review production entry points and integration behavior.
aiken-lang · other
Dijkstra readiness: gap (see below). Dependency evidence does not establish compatibility.
Not verifiedOwn code and dependencies read, no confirmed gap; not run against Dijkstra
Exposure dependency · inherited readiness gap · scanned at 8e43f28e39
not-reached· aikenplutus-languageplutus-script-context
The project compiles its own validators to PlutusV3; existing Plutus versions stay valid after the fork, so only PlutusV4 authoring is blocked.
name = "aiken-lang/stdlib"not-reached· own codeplutus-languageplutus-script-contextprotocol-parameters
Library types for validators written in Aiken (V3 script context, parameter-update accessors); compiled scripts keep working, and PlutusV4 support is the compiler's (Aiken's own R2 gap).
pub type ScriptContext {pub fn cost_models(self: ProtocolParametersUpdate) -> Option<Data> {partial
unresolved
unresolved
unresolved
No native profile has been collected. Dependency coverage is unresolved, not empty.
Findings describe behavior in a specific release and configuration. Suggestions need verification; historical findings do not establish behavior in the current source. None establishes hardfork compatibility.
No capability findings have been returned. Behavior remains unresolved; an empty list does not mean this tool has no chain-facing capabilities.
Next: Review production entry points and integration behavior.
Next: Export a discovery review packet.
Next: Collect a native resolution for a declared release/profile.
Next: Confirm distribution artifacts and production configuration with release evidence.
evidence:72cbbe5ec51b99b3075c5373cda953c94b24c7fbfbd400c302b8349c5e3ed5baRetained at data/readiness/evidence/72cbbe5ec51b99b3075c5373cda953c94b24c7fbfbd400c302b8349c5e3ed5ba.json.gzevidence:a979e48e56a659a3958241ce74c3b1ef796bad98a87ee7a5fe41bf5372cd980fRetained at data/readiness/evidence/a979e48e56a659a3958241ce74c3b1ef796bad98a87ee7a5fe41bf5372cd980f.json.gz