{
  "tool_id": "art-373-recompute-fund-nav",
  "tool_version": "1.0.0",
  "display_name": "Recompute Fund NAV",
  "mcp_name": "recompute_fund_nav",
  "mandate_type": "attestation_mandate",
  "wave": 51,
  "gpu": false,
  "url": "https://ainumbers.co/chaingraph/art-373-recompute-fund-nav.html",
  "description": "Recomputes a fund's net-asset-value-per-share from SUPPLIED holdings (quantity x supplied price, multi-currency with supplied FX), accruals (income and expense with a declared day-count convention), liabilities, and shares outstanding, using fixed-point BigInt money math throughout (no float accumulation). Applies a declared rounding mode (e.g. $0.0001 for a money-market fund vs $0.01 for a standard fund) and returns a full component breakdown. HARD FENCE: every price and FX rate is supplied and asserted, never fetched (zero-egress); this recomputes the arithmetic over declared inputs and attests THAT, never a fair-value opinion, never an independent valuation, never live market data. First entry of the Funds/NAV family (nav-verification-pack) alongside test_nav_error_materiality (FN-2) and compute_fund_expense_ratios (FN-3). Not fund_share_class_composer (asset allocation) or any pricing/valuation tool. 40-Act/UCITS citations informative only.",
  "input_schema_ref": "chaingraph/art-373-recompute-fund-nav.html#manifest",
  "deadline": null,
  "deadline_note": "No statutory deadline; NAV recomputation is a continuous fund-operations control, not a periodic filing.",
  "consumes": [],
  "feeds": [],
  "status": "live",
  "conformance_fixtures": true,
  "compute_capability": "server",
  "compute_images": [{"system":"sha256-source","image_id":"sha256:3814c169b6e2757ca9d93f31022a7c6234d75676d9a66c7d253f672a4a4ae8ac","valid_from":"2026-07-10"},{"system":"risc0","image_id":"sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6","valid_from":"2026-07-19"}],
  "export_capability": [
    "pdf",
    "xlsx"
  ],
  "compute_proof_ready": "ready",
  "compute_proof": {"type":"ZkVmReceipt","system":"risc0","receiptFormat":"groth16-bn254","imageId":"sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6","seal":"CexGiapTPiHiR1dklWtUFDyQsVVtDi3tTs0I/Nbqp4IG5/vtzLnwvZ9MWOP8yF4Y5641EYfFjfVT9KYiTgRcMikz3EEqMcymr+pT92oZmThmiQEOi35L9OSAK/m2PzluGHXctN0hin9RqldHfPSfMM17PUWPvxiJOjMF/E2ySdsoMVxL3MisS4nwcbWDjxdRlBWU8l+DcV09tRS8PJ5rUinqhaBes6PEgbuG/mT1D1BnEeOD5EVXtpgonpNCJ7XsFIH+UoO0YSdrOk+XnvFzPrA2C04oZXrvvMlCfJfXniAYOwSBhJgyNBG/tx0xgnkEiHdtVm449S8AX+PDZNWlFg==","journal":{"chaingraph_version":"0.4.0","kernel_digest":"sha256:3814c169b6e2757ca9d93f31022a7c6234d75676d9a66c7d253f672a4a4ae8ac","output":{"base_currency":"USD","components":{"accrued_expense":[],"accrued_expense_total":"0.00000000","accrued_income":[],"accrued_income_total":"0.00000000","holdings":[{"base_value":"10005.00000000","currency":"USD","local_value":"10005.00000000","price":"10.00500000","quantity":"1000.00000000","security_id":"SEC-A"},{"base_value":"10010.00000000","currency":"USD","local_value":"10010.00000000","price":"20.02000000","quantity":"500.00000000","security_id":"SEC-B"}],"holdings_value":"20015.00000000","liabilities":[],"liabilities_total":"0.00000000","net_assets":"20015.00000000","shares_outstanding":"15000.00000000","total_assets":"20015.00000000","total_liabilities":"0.00000000"},"fence":"Pricing/FX inputs are SUPPLIED, asserted, and digested into this receipt. This kernel recomputes the ARITHMETIC over those declared inputs and attests THAT — never a fair-value opinion, never a valuation, never live market data (zero-egress by contract).","fund_id":"FUND-STD-01","nav_per_share":"1.33","not_proven":[{"detail":"Every price and FX rate is caller-supplied and asserted. This kernel performs no market-data lookups (zero-egress) and does not verify these values against any external source.","item":"Price/FX accuracy"},{"detail":"This is arithmetic recomputation over declared inputs, never an independent fair-value opinion or third-party valuation.","item":"Fair value / independent valuation"},{"detail":"All inputs are point-in-time as supplied by the caller; this kernel makes no claim about market conditions at any other moment.","item":"Live/real-time pricing"},{"detail":"40-Act/UCITS references are informative context only; this kernel makes no claim of compliance with either framework's NAV-computation or filing rules.","item":"Regulatory NAV filing compliance"}],"regulatory_framework":"40-Act/UCITS NAV-computation conventions referenced as informative context only; this kernel makes no compliance claim under either framework.","rounding":{"decimal_places":2,"mode":"half_up"},"structural_error":null,"valuation_date":"2026-07-18"}}}
}