Cardano Updates

Signed-off-by: Chris Gianelloni <[email protected]>

The previous cips.cardano.org/CIP-XXXX# placeholder embedded an
unassigned CIP number; tooling that hardcoded the URL would have
to migrate once a number is assigned. Pinning the namespace to a
URL we control (314pool.com/cips/governance-feedback#) keeps the
IRI stable regardless of CIP number assignment or upstream URL
changes, and gives consumers a single place to dereference for
both the JSON-LD context and a redirect back to the spec itself.

Regenerate lock file with cargo to get correct checksums and
version references for rand 0.8.6 and 0.9.4.

Co-Authored-By: Claude Opus 4.6 (1M context) <[email protected]>

The cost-dashboard is now just 3 static files (index.html, controller.js,
view.css) with no build step. The controller.js uses an IIFE pattern to
expose the Controller global, eliminating the need for webpack bundling.

Removed:
- CostModel.agda, Main.agda (outdated Short Leios model)
- webpack.config.js, package.json, package-lock.json (build infra)
- build.sh, debug.sh (nix-shell scripts)
- shell.nix symlink, .envrc, .gitignore

Updated site/static/cost-estimator/ and site docs to match.

Co-Authored-By: Claude Opus 4.6 (1M context) <[email protected]>

Iteration 5.

- src/Asteria/Wallet.hs: reads /utxo-keys/genesis.3.skey at startup,
  decodes the CBOR-wrapped 32-byte ed25519 key, derives the Shelley
  payment address, and exposes pickWalletUtxo over a Provider.
  Picks genesis.3 deliberately to avoid the race with tx-generator
  (which takes genesis.1).

- app/BootstrapMain.hs: connects via withN2C, reads the wallet,
  picks a seed UTxO (200_000 ADA at fresh cluster boot), builds
  a self-pay 5 ADA tx via the TxBuild DSL, signs with the genesis
  key, submits, and polls queryUTxOs for confirmation. Emits SDK
  events at every milestone (starting / wallet_loaded /
  seed_picked / tx_built / self_pay / completed) so the
  hypervisor sees each step land.

Verified locally:
  asteria_bootstrap_starting        reachable
  asteria_bootstrap_wallet_loaded   reachable {"addr":"..."}
  asteria_bootstrap_seed_picked     reachable {"seed_coin":200000000000000}
  asteria_bootstrap_tx_built        reachable {"outputs":2}
  asteria_bootstrap_self_pay        sometimes true
  asteria_bootstrap_completed       reachable

Iteration 5b will replace the no-op self-pay with the real asteria
shape: mint admin NFT (always-true policy), lock at asteria spend
address with inline AsteriaDatum, deploy the four validators as
inline ref-scripts, mint+lock N pellets at known coordinates.

Iteration 5.

- src/Asteria/Wallet.hs: reads /utxo-keys/genesis.3.skey at startup,
  decodes the CBOR-wrapped 32-byte ed25519 key, derives the Shelley
  payment address, and exposes pickWalletUtxo over a Provider.
  Picks genesis.3 deliberately to avoid the race with tx-generator
  (which takes genesis.1).

- app/BootstrapMain.hs: connects via withN2C, reads the wallet,
  picks a seed UTxO (200_000 ADA at fresh cluster boot), builds
  a self-pay 5 ADA tx via the TxBuild DSL, signs with the genesis
  key, submits, and polls queryUTxOs for confirmation. Emits SDK
  events at every milestone (starting / wallet_loaded /
  seed_picked / tx_built / self_pay / completed) so the
  hypervisor sees each step land.

Verified locally:
  asteria_bootstrap_starting        reachable
  asteria_bootstrap_wallet_loaded   reachable {"addr":"..."}
  asteria_bootstrap_seed_picked     reachable {"seed_coin":200000000000000}
  asteria_bootstrap_tx_built        reachable {"outputs":2}
  asteria_bootstrap_self_pay        sometimes true
  asteria_bootstrap_completed       reachable

Iteration 5b will replace the no-op self-pay with the real asteria
shape: mint admin NFT (always-true policy), lock at asteria spend
address with inline AsteriaDatum, deploy the four validators as
inline ref-scripts, mint+lock N pellets at known coordinates.

Adds a draft CIP-100 extension defining three new JSON-LD document
types — DraftProposal, ProposalFeedback, and ProposalAddendum —
for signed pre-submission drafts, signed public commentary, and
binding author clarifications against governance proposals.

Replace the old Short Leios model (IBs, pipelines, phases) with the
Linear Leios (CIP-164) cost model as documented in docs/cost-estimate/.

Key changes:
- Remove Input Blocks (IBs); EBs now carry 32-byte tx hash references
- Main input is confirmed throughput (TxkB/s) instead of tx/s
- Add P(cert) = (1-f)^voting_window certification probability
- CPU model: Apply + Reapply + EB header + Vote + Cert validation
  (matches doc values exactly: 97.1 ms/s at 5 TxkB/s)
- Egress model: per-component with network topology parameters
  (inbound peers, fetch multiplicity M, vote spanning-tree)
- Storage: tx closure + EB body (P(cert) cancels) + EB headers + RB
- IOPS: UTxO-HD model with tx data + UTxO state updates
- All default values from CIP-164 simulation config and benchmarks
- Add CPU breakdown display (Apply, Reapply, EB, Vote, Cert)

Cross-checked against cost-estimate doc tables at all throughput levels.

Co-Authored-By: Claude Opus 4.6 (1M context) <[email protected]>

Signed-off-by: Chris Gianelloni <[email protected]>

Iteration 4.

- aiken/apply-params.sh: chains `aiken blueprint apply` calls to
  bake admin_token + game constants + cross-validator hashes into
  the four asteria validators. Documents each parameter's CBOR
  encoding (computed once with Python cbor2). Re-runnable when
  parameters change.

- aiken/plutus-applied.json: the produced blueprint with all four
  validators parameter-applied:
    pellet:    13d2d459de8ad483d2958859fcf192ac90dfcf00ad92a4e78e870e6e
    deploy:    019a7253f89d99d5ee03ffec5ac77a78f862bfb53e0174af3390110f
    asteria:   70ad11758e5c32c6abb385977c7999b041ca4e9c9bc7775b05941b8d
    spacetime: edf8ee06686bf59f412c7c49ba13ff0270d2735ba879f8baf48f4d68

- src/Asteria/Validators.hs: embed plutus-applied.json (was
  plutus.json, now redundant); rename `unappliedBlueprint` →
  `appliedBlueprint`. The four script accessors (asteriaScript,
  spacetimeScript, pelletScript, deployScript) now return
  parameter-applied bytes ready for use.

Parameter values baked in:
  admin_token       = AssetClass { policy: 00..00 (28 zeros)
                                 , name:   "asteriaAdmin" }
  ship_mint_lovelace_fee = 3_000_000
  max_asteria_mining     = 50
  min_asteria_distance   = 50
  initial_fuel           = 100
  max_speed              = Speed 1 30000
  max_ship_fuel          = 100
  fuel_per_step          = 5

Iteration 5 will replace admin_token's static value with a
bootstrap-time one-shot mint tied to a specific TxOutRef.

Verified: docker container's asteria_player_validators_loaded
event now reports the parameter-applied hashes above.

Iteration 4.

- aiken/apply-params.sh: chains `aiken blueprint apply` calls to
  bake admin_token + game constants + cross-validator hashes into
  the four asteria validators. Documents each parameter's CBOR
  encoding (computed once with Python cbor2). Re-runnable when
  parameters change.

- aiken/plutus-applied.json: the produced blueprint with all four
  validators parameter-applied:
    pellet:    13d2d459de8ad483d2958859fcf192ac90dfcf00ad92a4e78e870e6e
    deploy:    019a7253f89d99d5ee03ffec5ac77a78f862bfb53e0174af3390110f
    asteria:   70ad11758e5c32c6abb385977c7999b041ca4e9c9bc7775b05941b8d
    spacetime: edf8ee06686bf59f412c7c49ba13ff0270d2735ba879f8baf48f4d68

- src/Asteria/Validators.hs: embed plutus-applied.json (was
  plutus.json, now redundant); rename `unappliedBlueprint` →
  `appliedBlueprint`. The four script accessors (asteriaScript,
  spacetimeScript, pelletScript, deployScript) now return
  parameter-applied bytes ready for use.

Parameter values baked in:
  admin_token       = AssetClass { policy: 00..00 (28 zeros)
                                 , name:   "asteriaAdmin" }
  ship_mint_lovelace_fee = 3_000_000
  max_asteria_mining     = 50
  min_asteria_distance   = 50
  initial_fuel           = 100
  max_speed              = Speed 1 30000
  max_ship_fuel          = 100
  fuel_per_step          = 5

Iteration 5 will replace admin_token's static value with a
bootstrap-time one-shot mint tied to a specific TxOutRef.

Verified: docker container's asteria_player_validators_loaded
event now reports the parameter-applied hashes above.

Iteration 3.

- components/asteria-player/aiken/: vendored from txpipe/asteria's
  onchain/src — the four Aiken validators (asteria, spacetime,
  pellet, deploy) plus their lib/ helpers and aiken.toml /
  aiken.lock for deterministic builds.
- components/asteria-player/aiken/plutus.json: the unapplied
  blueprint produced by `aiken build` from the vendored sources,
  committed for review and so the Haskell layer can embed it
  without an aiken-toolchain build dep at docker-image time.
- src/Asteria/Validators.hs: embedFile-based loader that decodes
  plutus.json at compile time and exposes asteriaScript /
  spacetimeScript / pelletScript / deployScript as Plutus V3
  Script ConwayEra values.
- app/PlayerMain.hs: at startup, hashScript each validator and
  emit asteria_player_validators_loaded_<id> sdk_reachable with
  the four hashes in the details body — proves the load
  machinery works end-to-end inside the running container.

The validators are still parameterized — they're not yet usable
on-chain. Iteration 4 will add an aiken blueprint apply step
(admin token, game constants, cross-validator hashes) and
replace the unapplied bytes; the player code already references
each validator by name so iteration 4 only swaps the JSON file.

Verified:
  - nix build .#asteria-player succeeds.
  - nix build .#docker-image && docker load produces a 158 MB image.
  - docker compose up shows asteria_player_validators_loaded_<id>
    events with the expected four script hashes
    (69090085... / 443d84cd... / 74f43ee1... / 845cbd52...).

run e2e sync test until epoch 185 (was reduced from 182 to 176 due to regression)