{"schemaVersion":"arxo.cnaf-public-case/1","observation":"pf-af-revaluation:0","sealed":"dd875a4c94314f6408d8cdaefecfd2fbf9bc926e0ce3c9a5a5dac881fcd75986","bound":true,"test":{"case":{"assertions":[{"contentHash":"sha256:4bbe73bbcc4d58aad2c3a0bd51cf02e939fd4bf75577192372ba756d0b84d5f6","evidence":[],"id":"urn:fr:corpus:clir:pf-af#pfaf-blind-25-montant_mensuel_af-0","kind":"assertion","literal":{"args":[{"id":"urn:fr:blind:pfaf-blind-25:parent","kind":"entity_ref"},{"id":"urn:fr:corpus:clir:pf-af#METROPOLE","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:fr:corpus:clir:pf-af#territoire"},"origin":"case_input","package":"urn:fr:corpus:clir:pf-af"},{"contentHash":"sha256:d53025b5ad8b9d04032b12f3f1abb7e4803cec60cd17064d844a907a4f37de81","evidence":[],"id":"urn:fr:corpus:clir:pf-af#pfaf-blind-25-montant_mensuel_af-1","kind":"assertion","literal":{"args":[{"id":"urn:fr:blind:pfaf-blind-25:parent","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Integer"},"value":2}],"kind":"literal","polarity":"positive","predicate":"urn:fr:corpus:clir:pf-af#nb_enfants_charge"},"origin":"adjudicated","package":"urn:fr:corpus:clir:pf-af"},{"contentHash":"sha256:1ec0f47f49c378ce708536d86e76aca64cb6efd80b9ae47180b4652ed939314b","evidence":[],"id":"urn:fr:corpus:clir:pf-af#pfaf-blind-25-montant_mensuel_af-2","kind":"assertion","literal":{"args":[{"id":"urn:fr:blind:pfaf-blind-25:parent","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Integer"},"value":0}],"kind":"literal","polarity":"positive","predicate":"urn:fr:corpus:clir:pf-af#nb_majorations_pleines"},"origin":"adjudicated","package":"urn:fr:corpus:clir:pf-af"},{"contentHash":"sha256:2b432fbec0a9cc17695ef9a96c5401bad2b4665547be1608c28079a714e4403a","evidence":[],"id":"urn:fr:corpus:clir:pf-af#pfaf-blind-25-montant_mensuel_af-3","kind":"assertion","literal":{"args":[{"id":"urn:fr:blind:pfaf-blind-25:parent","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Integer"},"value":0}],"kind":"literal","polarity":"positive","predicate":"urn:fr:corpus:clir:pf-af#nb_majorations_demi"},"origin":"adjudicated","package":"urn:fr:corpus:clir:pf-af"},{"contentHash":"sha256:d0e6aa6b72c41e76c238eb70e08a70fa9689588b1321963b9e66b7dc9355a4c2","evidence":[],"id":"urn:fr:corpus:clir:pf-af#pfaf-blind-25-montant_mensuel_af-4","kind":"assertion","literal":{"args":[{"id":"urn:fr:blind:pfaf-blind-25:parent","kind":"entity_ref"},{"id":"urn:fr:corpus:clir:pf-af#BANDE_1","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:fr:corpus:clir:pf-af#bande_ressources"},"origin":"adjudicated","package":"urn:fr:corpus:clir:pf-af"},{"contentHash":"sha256:14a344a982508775dd112ddd82980c752cf9484b12ee1888ad2f6f0dd98f17ca","evidence":[],"id":"urn:fr:corpus:clir:pf-af#pfaf-blind-25-montant_mensuel_af-5","kind":"assertion","literal":{"args":[{"id":"urn:fr:blind:pfaf-blind-25:parent","kind":"entity_ref"},{"currency":"EUR","kind":"value","type":{"name":"urn:law:std#Money"},"value":"474.37"}],"kind":"literal","polarity":"positive","predicate":"urn:fr:corpus:clir:pf-af#bmaf_retenu"},"origin":"case_input","package":"urn:fr:corpus:clir:pf-af"},{"contentHash":"sha256:b1c945e3ece93d56997d982eb5a72dd26ea3e574b189ce25f463f5dc493de59d","evidence":[],"id":"urn:fr:corpus:clir:pf-af#pfaf-blind-25-montant_mensuel_af-6","kind":"assertion","literal":{"args":[{"id":"urn:fr:blind:pfaf-blind-25:fund","kind":"entity_ref"},{"id":"urn:fr:blind:pfaf-blind-25:parent","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:fr:corpus:clir:pf-core#organisme_debiteur_pf"},"origin":"adjudicated","package":"urn:fr:corpus:clir:pf-af"},{"contentHash":"sha256:3429c599bcf7923d2be8a68f0ca5b6931c232078f85a7b9d15cb620606eb1321","evidence":[],"id":"urn:fr:corpus:clir:pf-af#pfaf-blind-25-montant_mensuel_af-7","kind":"assertion","literal":{"args":[{"kind":"value","type":{"name":"urn:law:std#Date"},"value":"2026-03-01"}],"kind":"literal","polarity":"positive","predicate":"urn:fr:corpus:clir:pf-af#mois_droit"},"origin":"case_input","package":"urn:fr:corpus:clir:pf-af"},{"contentHash":"sha256:c6a552b1b38ddaedae72c56d5db1eed8b41020b6a28ef327d5c113afd39f02e4","evidence":[],"id":"urn:fr:corpus:clir:pf-af#pfaf-blind-25-montant_mensuel_af-8","kind":"assertion","literal":{"args":[{"id":"urn:fr:blind:pfaf-blind-25:parent","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:fr:corpus:clir:pf-af#foyer_du_cas"},"origin":"case_input","package":"urn:fr:corpus:clir:pf-af"},{"contentHash":"sha256:965eb4083378c92bb389e1cc745f0fc65fd1cb8b1dbac602878232e18d5a84d6","evidence":[],"id":"urn:fr:corpus:clir:pf-af#pfaf-blind-25-montant_mensuel_af-9","kind":"assertion","literal":{"args":[{"id":"urn:fr:blind:pfaf-blind-25:parent","kind":"entity_ref"},{"currency":"EUR","kind":"value","type":{"name":"urn:law:std#Money"},"value":"0"}],"kind":"literal","polarity":"positive","predicate":"urn:fr:corpus:clir:pf-af#forfait_total_menage"},"origin":"case_input","package":"urn:fr:corpus:clir:pf-af"},{"contentHash":"sha256:7f569c04b0b00be22995b9305a969f0fd35b31e1f876c535399c06da4443d927","evidence":[],"id":"urn:fr:corpus:clir:pf-af#pfaf-blind-25-montant_mensuel_af-10","kind":"assertion","literal":{"args":[{"id":"urn:fr:blind:pfaf-blind-25:parent","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Integer"},"value":0}],"kind":"literal","polarity":"positive","predicate":"urn:fr:corpus:clir:pf-af#nb_enfants_ase_service"},"origin":"case_input","package":"urn:fr:corpus:clir:pf-af"},{"contentHash":"sha256:66d020f99a5ac135ec23813cb61d949572319ba422f119e662e7d9783bd4ca3c","evidence":[],"id":"urn:fr:corpus:clir:pf-af#pfaf-blind-25-montant_mensuel_af-11","kind":"assertion","literal":{"args":[{"id":"urn:fr:blind:pfaf-blind-25:child1","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:fr:corpus:clir:pf-core#enfant_ouvre_droit"},"origin":"adjudicated","package":"urn:fr:corpus:clir:pf-af"},{"contentHash":"sha256:41166027eb1afaa0caf9c3ccebc7e8eaa70285131da69f77a8cb05eeb22aed55","evidence":[],"id":"urn:fr:corpus:clir:pf-af#pfaf-blind-25-montant_mensuel_af-12","kind":"assertion","literal":{"args":[{"id":"urn:fr:blind:pfaf-blind-25:parent","kind":"entity_ref"},{"id":"urn:fr:blind:pfaf-blind-25:child1","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:fr:corpus:clir:pf-core#parent_charge"},"origin":"adjudicated","package":"urn:fr:corpus:clir:pf-af"},{"contentHash":"sha256:7a98325f039eac8ca0d39dbf29fa4c7fb706f2512d6bcff45d4ea502c7928b5d","evidence":[],"id":"urn:fr:corpus:clir:pf-af#pfaf-blind-25-montant_mensuel_af-13","kind":"assertion","literal":{"args":[{"id":"urn:fr:blind:pfaf-blind-25:child1","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Date"},"value":"2020-01-01"}],"kind":"literal","polarity":"positive","predicate":"urn:fr:corpus:clir:pf-af#date_naissance"},"origin":"case_input","package":"urn:fr:corpus:clir:pf-af"},{"contentHash":"sha256:939298682893522c90dc9e4daaaf76ca46174ad863e754b667f6b4c602162e7e","evidence":[],"id":"urn:fr:corpus:clir:pf-af#pfaf-blind-25-montant_mensuel_af-14","kind":"assertion","literal":{"args":[{"id":"urn:fr:blind:pfaf-blind-25:child2","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:fr:corpus:clir:pf-core#enfant_ouvre_droit"},"origin":"adjudicated","package":"urn:fr:corpus:clir:pf-af"},{"contentHash":"sha256:9083c84d55bd3eba88eb664d4377301cc016daa5190a34d4b4e455cff06dd3f8","evidence":[],"id":"urn:fr:corpus:clir:pf-af#pfaf-blind-25-montant_mensuel_af-15","kind":"assertion","literal":{"args":[{"id":"urn:fr:blind:pfaf-blind-25:parent","kind":"entity_ref"},{"id":"urn:fr:blind:pfaf-blind-25:child2","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:fr:corpus:clir:pf-core#parent_charge"},"origin":"adjudicated","package":"urn:fr:corpus:clir:pf-af"},{"contentHash":"sha256:cd6fc2a933f4fcce03efd78b505cecc4d38763ed2b9df51cab1ba8c80938e6ff","evidence":[],"id":"urn:fr:corpus:clir:pf-af#pfaf-blind-25-montant_mensuel_af-16","kind":"assertion","literal":{"args":[{"id":"urn:fr:blind:pfaf-blind-25:child2","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Date"},"value":"2022-01-01"}],"kind":"literal","polarity":"positive","predicate":"urn:fr:corpus:clir:pf-af#date_naissance"},"origin":"case_input","package":"urn:fr:corpus:clir:pf-af"}],"context":{"deadlinePolicy":"urn:fr:corpus:clir:pf-af#AGE_ATTEINT","decisionTime":"2026-03-01T12:00:00Z","knowledgeTime":"2026-03-01T12:00:00Z","legalTime":"2026-03-01","timezone":"Europe/Paris"},"options":{}},"query":{"comprehension":{"binders":[],"distinct":true,"element":{"kind":"var","var":"v0"},"generator":{"formula":{"args":[{"id":"urn:fr:blind:pfaf-blind-25:parent","kind":"entity_ref"},{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:fr:corpus:clir:pf-af#montant_mensuel_af"},"kind":"status","status":"established"},"kind":"comprehension","variable":{"id":"v0","type":{"name":"urn:law:std#Money"}}},"kind":"collect","queryId":"urn:fr:corpus:clir:pf-af#test/pfaf-blind-25-montant_mensuel_af/query/0"}},"evaluation":{"schemaVersion":"arxo.cnaf-public-document/1","results":[{"query":"urn:fr:corpus:clir:pf-af#test/pfaf-blind-25-montant_mensuel_af/query/0","status":"Computed","value":[{"currency":"EUR","kind":"value","type":{"name":"urn:law:std#Money"},"value":"151.8"}],"proof":"urn:proof:query:pf-af#test/pfaf-blind-25-montant_mensuel_af/query/0","missingInputs":[],"judgmentRequests":[],"conflicts":[]}],"proofGraph":{"nodes":[{"id":"urn:proof:assert:urn:fr:corpus:clir:pf-af#pfaf-blind-25-montant_mensuel_af-0","kind":"assertion","premises":[],"conclusion":{"args":[{"id":"urn:fr:blind:pfaf-blind-25:parent","kind":"entity_ref"},{"id":"urn:fr:corpus:clir:pf-af#METROPOLE","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:fr:corpus:clir:pf-af#territoire"},"attributes":{"assertion":"urn:fr:corpus:clir:pf-af#pfaf-blind-25-montant_mensuel_af-0"}},{"id":"urn:proof:assert:urn:fr:corpus:clir:pf-af#pfaf-blind-25-montant_mensuel_af-1","kind":"assertion","premises":[],"conclusion":{"args":[{"id":"urn:fr:blind:pfaf-blind-25:parent","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Integer"},"value":2}],"kind":"literal","polarity":"positive","predicate":"urn:fr:corpus:clir:pf-af#nb_enfants_charge"},"attributes":{"assertion":"urn:fr:corpus:clir:pf-af#pfaf-blind-25-montant_mensuel_af-1"}},{"id":"urn:proof:apply:DroitOuvertMetropole:4834f5b74825a821b5dac20c89d53193fa29b462024e6120a060a460512570a9","kind":"rule_application","rule":"urn:fr:corpus:clir:pf-af#DroitOuvertMetropole","premises":["urn:proof:assert:urn:fr:corpus:clir:pf-af#pfaf-blind-25-montant_mensuel_af-0","urn:proof:assert:urn:fr:corpus:clir:pf-af#pfaf-blind-25-montant_mensuel_af-1"],"conclusion":{"args":[{"id":"urn:fr:blind:pfaf-blind-25:parent","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:fr:corpus:clir:pf-af#af_droit_ouvert"}},{"id":"urn:proof:assert:urn:fr:corpus:clir:pf-af#pfaf-blind-25-montant_mensuel_af-2","kind":"assertion","premises":[],"conclusion":{"args":[{"id":"urn:fr:blind:pfaf-blind-25:parent","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Integer"},"value":0}],"kind":"literal","polarity":"positive","predicate":"urn:fr:corpus:clir:pf-af#nb_majorations_pleines"},"attributes":{"assertion":"urn:fr:corpus:clir:pf-af#pfaf-blind-25-montant_mensuel_af-2"}},{"id":"urn:proof:assert:urn:fr:corpus:clir:pf-af#pfaf-blind-25-montant_mensuel_af-3","kind":"assertion","premises":[],"conclusion":{"args":[{"id":"urn:fr:blind:pfaf-blind-25:parent","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Integer"},"value":0}],"kind":"literal","polarity":"positive","predicate":"urn:fr:corpus:clir:pf-af#nb_majorations_demi"},"attributes":{"assertion":"urn:fr:corpus:clir:pf-af#pfaf-blind-25-montant_mensuel_af-3"}},{"id":"urn:proof:assert:urn:fr:corpus:clir:pf-af#pfaf-blind-25-montant_mensuel_af-4","kind":"assertion","premises":[],"conclusion":{"args":[{"id":"urn:fr:blind:pfaf-blind-25:parent","kind":"entity_ref"},{"id":"urn:fr:corpus:clir:pf-af#BANDE_1","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:fr:corpus:clir:pf-af#bande_ressources"},"attributes":{"assertion":"urn:fr:corpus:clir:pf-af#pfaf-blind-25-montant_mensuel_af-4"}},{"id":"urn:proof:assert:urn:fr:corpus:clir:pf-af#pfaf-blind-25-montant_mensuel_af-5","kind":"assertion","premises":[],"conclusion":{"args":[{"id":"urn:fr:blind:pfaf-blind-25:parent","kind":"entity_ref"},{"currency":"EUR","kind":"value","type":{"name":"urn:law:std#Money"},"value":"474.37"}],"kind":"literal","polarity":"positive","predicate":"urn:fr:corpus:clir:pf-af#bmaf_retenu"},"attributes":{"assertion":"urn:fr:corpus:clir:pf-af#pfaf-blind-25-montant_mensuel_af-5"}},{"id":"urn:proof:apply:MontantMensuel:5b95ce4a9c9179c44b431817b09b2efb68efb719bd1acbb43e5ab1ddffe3a097","kind":"rule_application","rule":"urn:fr:corpus:clir:pf-af#MontantMensuel","premises":["urn:proof:apply:DroitOuvertMetropole:4834f5b74825a821b5dac20c89d53193fa29b462024e6120a060a460512570a9","urn:proof:assert:urn:fr:corpus:clir:pf-af#pfaf-blind-25-montant_mensuel_af-1","urn:proof:assert:urn:fr:corpus:clir:pf-af#pfaf-blind-25-montant_mensuel_af-2","urn:proof:assert:urn:fr:corpus:clir:pf-af#pfaf-blind-25-montant_mensuel_af-3","urn:proof:assert:urn:fr:corpus:clir:pf-af#pfaf-blind-25-montant_mensuel_af-4","urn:proof:assert:urn:fr:corpus:clir:pf-af#pfaf-blind-25-montant_mensuel_af-5"],"conclusion":{"args":[{"id":"urn:fr:blind:pfaf-blind-25:parent","kind":"entity_ref"},{"currency":"EUR","kind":"value","type":{"name":"urn:law:std#Money"},"value":"151.8"}],"kind":"literal","polarity":"positive","predicate":"urn:fr:corpus:clir:pf-af#montant_mensuel_af"}},{"id":"urn:proof:query:pf-af#test/pfaf-blind-25-montant_mensuel_af/query/0","kind":"query_evaluation","premises":["urn:proof:apply:MontantMensuel:5b95ce4a9c9179c44b431817b09b2efb68efb719bd1acbb43e5ab1ddffe3a097"],"conclusion":{"comprehension":{"binders":[],"distinct":true,"element":{"kind":"var","var":"v0"},"generator":{"formula":{"args":[{"id":"urn:fr:blind:pfaf-blind-25:parent","kind":"entity_ref"},{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:fr:corpus:clir:pf-af#montant_mensuel_af"},"kind":"status","status":"established"},"kind":"comprehension","variable":{"id":"v0","type":{"name":"urn:law:std#Money"}}},"count":1}}]},"positions":[{"id":"urn:position:urn:fr:corpus:clir:pf-af#DevoirVerserAF:48c6281c7542290834878bbd0c8f8caebb16299855677e4c8f531aad9033d879","modality":"duty","holder":"urn:fr:blind:pfaf-blind-25:fund","beneficiary":"urn:fr:blind:pfaf-blind-25:parent","template":"urn:fr:corpus:clir:pf-af#PayerAllocationsFamilialesDues","status":"Active"},{"id":"urn:position:urn:fr:corpus:clir:pf-core#DevoirInformer:2fded1ecbb42c28f532546bed34a9f9810584b25dcd47b62c6269d6c06720172","modality":"duty","holder":"urn:fr:blind:pfaf-blind-25:fund","beneficiary":"urn:fr:blind:pfaf-blind-25:parent","template":"urn:fr:corpus:clir:pf-core#InformerAllocataires","status":"Active"},{"id":"urn:position:urn:fr:corpus:clir:pf-core#DevoirPreterConcours:2fded1ecbb42c28f532546bed34a9f9810584b25dcd47b62c6269d6c06720172","modality":"duty","holder":"urn:fr:blind:pfaf-blind-25:fund","beneficiary":"urn:fr:blind:pfaf-blind-25:parent","template":"urn:fr:corpus:clir:pf-core#PreterConcoursDemandes","status":"Active"},{"id":"urn:position:urn:fr:corpus:clir:pf-core#DevoirTransmettreContribution:2fded1ecbb42c28f532546bed34a9f9810584b25dcd47b62c6269d6c06720172","modality":"duty","holder":"urn:fr:blind:pfaf-blind-25:fund","beneficiary":"urn:fr:blind:pfaf-blind-25:parent","template":"urn:fr:corpus:clir:pf-core#TransmettreContributionFisc","status":"Active"},{"id":"urn:position:urn:fr:corpus:clir:pf-core#DevoirTransmettreIJ:2fded1ecbb42c28f532546bed34a9f9810584b25dcd47b62c6269d6c06720172","modality":"duty","holder":"urn:fr:blind:pfaf-blind-25:fund","beneficiary":"urn:fr:blind:pfaf-blind-25:parent","template":"urn:fr:corpus:clir:pf-core#TransmettreIndemnitesJournalieres","status":"Active"},{"id":"urn:position:urn:fr:corpus:clir:pf-core#HabilitationAideRecouvrement:2fded1ecbb42c28f532546bed34a9f9810584b25dcd47b62c6269d6c06720172","modality":"liberty","holder":"urn:fr:blind:pfaf-blind-25:fund","template":"urn:fr:corpus:clir:pf-core#AiderRecouvrementCreances","status":"Active"}],"conflicts":[],"resultHash":"sha256:fd36bf833d752b5788507325e059016df58975b5d7a65a2b4d214f5b87bf8a5f"},"worldObject":"b4aaff0c1af9d3ca4fa27215aef19192420a42a1f3b3c2d935d9e3990dd03f7e","binarySha256":"3f074f7554725843e26100aed2660682bc074c1a7da81c2544ff6432d0e40c7a","inputFingerprint":"799ea55d45908a018c2afada276f9ea167a69dd63b66fd9176cc182859b5a0ba","transportFingerprint":"b00dc8d7c22dc08e9a3f05101bcee830a664283b68a27ab761b7d268282eeca6","recorded":{"executionReceipt":"215baef0994564219bbd9b821c7c5612c09ac81b184ca440d851ef121569d38a","modelBuildReceipt":"e93e3619323a37a068abeb7ee14e401eb020e325e6b73e222e1268d3ad042929","testTransport":"356fc36259bfdf4c74047892ac091e1680fc5507478e04bd0d5039ac76064088"},"checks":[{"check":"The query identity matches the saved run","passed":true},{"check":"The model fingerprint matches the saved run","passed":true},{"check":"The test transport fingerprint matches the saved run","passed":true},{"check":"The native run completed without error","passed":true}],"exactProduct":"151.7984"}