Resolves which version of an accounting standard binds a given filer from a (fiscal_year_end, filer_status, standard_id) triple. The registry is inert data delivered alongside the query, never baked into this kernel's bytes, so adding a rule entry can never move the kernel's own digest. The kernel recomputes a digest over the registry slice's own bytes and refuses to resolve on a mismatch. Ships with two demonstrator standards pinned to retrieved primary text: FASB ASU 2023-07 (reportable segment disclosures) and ASU 2023-09 (income tax disclosures).
compute_proof_ready: deferred. No formal correctness proof has been produced for this kernel; the result above is a deterministic recompute, verified by a property-test floor, not a proven one.Copy this paragraph into Claude, OpenClaw, or any MCP-aware agent to run this exact tool, with this sample, and verify the artifact.
Run the AINumbers MCP tool `resolve_rule_version`. Task: Resolve (fiscal_year_end, filer_status, standard_id) against a caller-supplied, hash-pinned rule registry slice into binding annual and interim dates, early-adoption flag, first binding period end, transition method and the time-versioned rule parameters in force.
Call it with arguments: {"policy_parameters":{"query":{"fiscal_year_end":"2024-12-31","filer_status":"large_accelerated","standard_id":"ASU-2023-07"},"registry_slice":{"entries":[{"standard_id":"ASU-2023-07","applies_to_filer_statuses":["large_accelerated","accelerated","non_accelerated","smaller_reporting","emerging_growth"],"scope_note":"The amendments apply to all public entities required to report segment information under Topic 280. The five filer statuses above are the public-entity members of the closed enum; private and non_public_business_entity are deliberately ABSENT, so a query for either resolves to an explicit NO_BINDING_ENTRY rather than a fabricated date.","effective_for_annual_periods_beginning":"2023-12-16","effective_for_interim_periods_beginning":"2024-12-16","early_adoption_permitted":true,"transition_method":"retrospective","date_derivation_note":"The source says \"fiscal years beginning after December 15, 2023\" and \"interim periods within fiscal years beginning after December 15, 2024\". \"After December 15\" is rendered as the first day on or after which a period beginning qualifies, i.e. 2023-12-16 and 2024-12-16, so the kernel's inclusive >= comparison reproduces the source's exclusive \"after\" exactly.","parameter_set":{"segment_disclosure_scope":[{"value":"annual_only","effective_from":"2023-12-16","effective_to":"2024-12-16","source":"ASU 2023-07, Summary, When Will the Amendments Be Effective and What Are the Transition Requirements? -- effective for fiscal years beginning after December 15, 2023, with interim periods only for fiscal years beginning after December 15, 2024.","source_digest":"sha256:a999642aced1ae446b09ed5a481dce13d74f6670995be8e9339e754939c74dd8","snapshot_location":"research/clause-snapshots/ASU-2023-07-effective-date.excerpt.txt"},{"value":"annual_and_interim","effective_from":"2024-12-16","effective_to":null,"source":"ASU 2023-07, Summary, When Will the Amendments Be Effective and What Are the Transition Requirements? -- interim periods within fiscal years beginning after December 15, 2024.","source_digest":"sha256:a999642aced1ae446b09ed5a481dce13d74f6670995be8e9339e754939c74dd8","snapshot_location":"research/clause-snapshots/ASU-2023-07-effective-date.excerpt.txt"}],"entity_scope":[{"value":"public_entities_reporting_under_topic_280","effective_from":"2023-12-16","effective_to":null,"source":"ASU 2023-07, Summary, Who Is Affected by the Amendments in This Update? -- the amendments apply to all public entities that are required to report segment information in accordance with Topic 280, Segment Reporting.","source_digest":"sha256:f401f66dffdd21e008a8e388ea6461475430311df60a70f88b7fa2de5826fcc6","snapshot_location":"research/clause-snapshots/ASU-2023-07-scope.excerpt.txt"}]},"citation":{"clause":"ASU 2023-07, Summary, When Will the Amendments Be Effective and What Are the Transition Requirements?","source":"FASB Accounting Standards Update No. 2023-07, Segment Reporting (Topic 280): Improvements to Reportable Segment Disclosures (November 2023)","source_digest":"sha256:a999642aced1ae446b09ed5a481dce13d74f6670995be8e9339e754939c74dd8","snapshot_location":"research/clause-snapshots/ASU-2023-07-effective-date.excerpt.txt"}}],"registry_digest":"528bd806c4fd75171915654577a20fff27d43d039ca6357e7d0380ad9b7459dd"}}}
Verify before trusting: call `verify_execution_hash` on mcp.ainumbers.co (https://mcp.ainumbers.co/mcp) with the parameter `claimed_hash` set to the returned `execution_hash`, passing the full artifact the run returned (the object containing `policy_parameters` + `output_payload` + `execution_hash`; equivalently `policy_parameters` + `output_payload` with `claimed_hash`), not the bare hash string.
Return the ledger link https://ledger.ainumbers.co/ so a human can re-verify without contacting us.
PII rule: All inputs are processed locally in your browser. No data is transmitted. Do not enter real personal data — use synthetic or anonymised inputs only.
Open the tool with the sample prefilled: https://ainumbers.co/chaingraph/art-627-effective-date-rule-version-registry.html#p=v1.H4sIAAAAAAAA_wHJDDbzeyJxdWVyeSI6eyJmaXNjYWxfeWVhcl9lbmQiOiIyMDI0LTEyLTMxIiwiZmlsZXJfc3RhdHVzIjoibGFyZ2VfYWNjZWxlcmF0ZWQiLCJzdGFuZGFyZF9pZCI6IkFTVS0yMDIzLTA3In0sInJlZ2lzdHJ5X3NsaWNlIjp7ImVudHJpZXMiOlt7InN0YW5kYXJkX2lkIjoiQVNVLTIwMjMtMDciLCJhcHBsaWVzX3RvX2ZpbGVyX3N0YXR1c2VzIjpbImxhcmdlX2FjY2VsZXJhdGVkIiwiYWNjZWxlcmF0ZWQiLCJub25fYWNjZWxlcmF0ZWQiLCJzbWFsbGVyX3JlcG9ydGluZyIsImVtZXJnaW5nX2dyb3d0aCJdLCJzY29wZV9ub3RlIjoiVGhlIGFtZW5kbWVudHMgYXBwbHkgdG8gYWxsIHB1YmxpYyBlbnRpdGllcyByZXF1aXJlZCB0byByZXBvcnQgc2VnbWVudCBpbmZvcm1hdGlvbiB1bmRlciBUb3BpYyAyODAuIFRoZSBmaXZlIGZpbGVyIHN0YXR1c2VzIGFib3ZlIGFyZSB0aGUgcHVibGljLWVudGl0eSBtZW1iZXJzIG9mIHRoZSBjbG9zZWQgZW51bTsgcHJpdmF0ZSBhbmQgbm9uX3B1YmxpY19idXNpbmVzc19lbnRpdHkgYXJlIGRlbGliZXJhdGVseSBBQlNFTlQsIHNvIGEgcXVlcnkgZm9yIGVpdGhlciByZXNvbHZlcyB0byBhbiBleHBsaWNpdCBOT19CSU5ESU5HX0VOVFJZIHJhdGhlciB0aGFuIGEgZmFicmljYXRlZCBkYXRlLiIsImVmZmVjdGl2ZV9mb3JfYW5udWFsX3BlcmlvZHNfYmVnaW5uaW5nIjoiMjAyMy0xMi0xNiIsImVmZmVjdGl2ZV9mb3JfaW50ZXJpbV9wZXJpb2RzX2JlZ2lubmluZyI6IjIwMjQtMTItMTYiLCJlYXJseV9hZG9wdGlvbl9wZXJtaXR0ZWQiOnRydWUsInRyYW5zaXRpb25fbWV0aG9kIjoicmV0cm9zcGVjdGl2ZSIsImRhdGVfZGVyaXZhdGlvbl9ub3RlIjoiVGhlIHNvdXJjZSBzYXlzIFwiZmlzY2FsIHllYXJzIGJlZ2lubmluZyBhZnRlciBEZWNlbWJlciAxNSwgMjAyM1wiIGFuZCBcImludGVyaW0gcGVyaW9kcyB3aXRoaW4gZmlzY2FsIHllYXJzIGJlZ2lubmluZyBhZnRlciBEZWNlbWJlciAxNSwgMjAyNFwiLiBcIkFmdGVyIERlY2VtYmVyIDE1XCIgaXMgcmVuZGVyZWQgYXMgdGhlIGZpcnN0IGRheSBvbiBvciBhZnRlciB3aGljaCBhIHBlcmlvZCBiZWdpbm5pbmcgcXVhbGlmaWVzLCBpLmUuIDIwMjMtMTItMTYgYW5kIDIwMjQtMTItMTYsIHNvIHRoZSBrZXJuZWwncyBpbmNsdXNpdmUgPj0gY29tcGFyaXNvbiByZXByb2R1Y2VzIHRoZSBzb3VyY2UncyBleGNsdXNpdmUgXCJhZnRlclwiIGV4YWN0bHkuIiwicGFyYW1ldGVyX3NldCI6eyJzZWdtZW50X2Rpc2Nsb3N1cmVfc2NvcGUiOlt7InZhbHVlIjoiYW5udWFsX29ubHkiLCJlZmZlY3RpdmVfZnJvbSI6IjIwMjMtMTItMTYiLCJlZmZlY3RpdmVfdG8iOiIyMDI0LTEyLTE2Iiwic291cmNlIjoiQVNVIDIwMjMtMDcsIFN1bW1hcnksIFdoZW4gV2lsbCB0aGUgQW1lbmRtZW50cyBCZSBFZmZlY3RpdmUgYW5kIFdoYXQgQXJlIHRoZSBUcmFuc2l0aW9uIFJlcXVpcmVtZW50cz8gLS0gZWZmZWN0aXZlIGZvciBmaXNjYWwgeWVhcnMgYmVnaW5uaW5nIGFmdGVyIERlY2VtYmVyIDE1LCAyMDIzLCB3aXRoIGludGVyaW0gcGVyaW9kcyBvbmx5IGZvciBmaXNjYWwgeWVhcnMgYmVnaW5uaW5nIGFmdGVyIERlY2VtYmVyIDE1LCAyMDI0LiIsInNvdXJjZV9kaWdlc3QiOiJzaGEyNTY6YTk5OTY0MmFjZWQxYWU0NDZiMDllZDVhNDgxZGNlMTNkNzRmNjY3MDk5NWJlOGU5MzM5ZTc1NDkzOWM3NGRkOCIsInNuYXBzaG90X2xvY2F0aW9uIjoicmVzZWFyY2gvY2xhdXNlLXNuYXBzaG90cy9BU1UtMjAyMy0wNy1lZmZlY3RpdmUtZGF0ZS5leGNlcnB0LnR4dCJ9LHsidmFsdWUiOiJhbm51YWxfYW5kX2ludGVyaW0iLCJlZmZlY3RpdmVfZnJvbSI6IjIwMjQtMTItMTYiLCJlZmZlY3RpdmVfdG8iOm51bGwsInNvdXJjZSI6IkFTVSAyMDIzLTA3LCBTdW1tYXJ5LCBXaGVuIFdpbGwgdGhlIEFtZW5kbWVudHMgQmUgRWZmZWN0aXZlIGFuZCBXaGF0IEFyZSB0aGUgVHJhbnNpdGlvbiBSZXF1aXJlbWVudHM_IC0tIGludGVyaW0gcGVyaW9kcyB3aXRoaW4gZmlzY2FsIHllYXJzIGJlZ2lubmluZyBhZnRlciBEZWNlbWJlciAxNSwgMjAyNC4iLCJzb3VyY2VfZGlnZXN0Ijoic2hhMjU2OmE5OTk2NDJhY2VkMWFlNDQ2YjA5ZWQ1YTQ4MWRjZTEzZDc0ZjY2NzA5OTViZThlOTMzOWU3NTQ5MzljNzRkZDgiLCJzbmFwc2hvdF9sb2NhdGlvbiI6InJlc2VhcmNoL2NsYXVzZS1zbmFwc2hvdHMvQVNVLTIwMjMtMDctZWZmZWN0aXZlLWRhdGUuZXhjZXJwdC50eHQifV0sImVudGl0eV9zY29wZSI6W3sidmFsdWUiOiJwdWJsaWNfZW50aXRpZXNfcmVwb3J0aW5nX3VuZGVyX3RvcGljXzI4MCIsImVmZmVjdGl2ZV9mcm9tIjoiMjAyMy0xMi0xNiIsImVmZmVjdGl2ZV90byI6bnVsbCwic291cmNlIjoiQVNVIDIwMjMtMDcsIFN1bW1hcnksIFdobyBJcyBBZmZlY3RlZCBieSB0aGUgQW1lbmRtZW50cyBpbiBUaGlzIFVwZGF0ZT8gLS0gdGhlIGFtZW5kbWVudHMgYXBwbHkgdG8gYWxsIHB1YmxpYyBlbnRpdGllcyB0aGF0IGFyZSByZXF1aXJlZCB0byByZXBvcnQgc2VnbWVudCBpbmZvcm1hdGlvbiBpbiBhY2NvcmRhbmNlIHdpdGggVG9waWMgMjgwLCBTZWdtZW50IFJlcG9ydGluZy4iLCJzb3VyY2VfZGlnZXN0Ijoic2hhMjU2OmY0MDFmNjZkZmZkZDIxZTAwOGE4ZTM4OGVhNjQ2MTQ3NTQzMDMxMWRmNjBhNzBmODhiN2ZhMmRlNTgyNmZjYzYiLCJzbmFwc2hvdF9sb2NhdGlvbiI6InJlc2VhcmNoL2NsYXVzZS1zbmFwc2hvdHMvQVNVLTIwMjMtMDctc2NvcGUuZXhjZXJwdC50eHQifV19LCJjaXRhdGlvbiI6eyJjbGF1c2UiOiJBU1UgMjAyMy0wNywgU3VtbWFyeSwgV2hlbiBXaWxsIHRoZSBBbWVuZG1lbnRzIEJlIEVmZmVjdGl2ZSBhbmQgV2hhdCBBcmUgdGhlIFRyYW5zaXRpb24gUmVxdWlyZW1lbnRzPyIsInNvdXJjZSI6IkZBU0IgQWNjb3VudGluZyBTdGFuZGFyZHMgVXBkYXRlIE5vLiAyMDIzLTA3LCBTZWdtZW50IFJlcG9ydGluZyAoVG9waWMgMjgwKTogSW1wcm92ZW1lbnRzIHRvIFJlcG9ydGFibGUgU2VnbWVudCBEaXNjbG9zdXJlcyAoTm92ZW1iZXIgMjAyMykiLCJzb3VyY2VfZGlnZXN0Ijoic2hhMjU2OmE5OTk2NDJhY2VkMWFlNDQ2YjA5ZWQ1YTQ4MWRjZTEzZDc0ZjY2NzA5OTViZThlOTMzOWU3NTQ5MzljNzRkZDgiLCJzbmFwc2hvdF9sb2NhdGlvbiI6InJlc2VhcmNoL2NsYXVzZS1zbmFwc2hvdHMvQVNVLTIwMjMtMDctZWZmZWN0aXZlLWRhdGUuZXhjZXJwdC50eHQifX1dLCJyZWdpc3RyeV9kaWdlc3QiOiI1MjhiZDgwNmM0ZmQ3NTE3MTkxNTY1NDU3N2EyMGZmZjI3ZDQzZDAzOWNhNjM1N2U3ZDAzODBhZDliNzQ1OWRkIn19D7HI5MkMAAA