Skip to content

[codex] Qualify ADC-759 AMR field capability claims - #670

Merged
wolf75222 merged 4 commits into
codex/adc695-example-proof-ledger-20260730from
codex/adc759-closure-audit-20260803
Aug 3, 2026
Merged

[codex] Qualify ADC-759 AMR field capability claims#670
wolf75222 merged 4 commits into
codex/adc695-example-proof-ledger-20260730from
codex/adc759-closure-audit-20260803

Conversation

@wolf75222

Copy link
Copy Markdown
Owner

Résultat

Aligne le rapport de capacités AMR sur l'enveloppe réellement prouvée, sans déclarer ADC-759 fermé.

Changements

  • publie amr:field_coupled_rhs_jacvec seulement lorsque l'artefact déclare réellement supports_amr;
  • borne l'enveloppe positive observée à 2D, ratio 2, niveaux L0/L1 ;
  • distingue l'oracle natif MPI existant de l'absence actuelle d'une preuve E2E MPI du Program généré ;
  • sépare le refus CompositeFAC partiellement raffiné du chemin pleinement raffiné ;
  • met à jour tests et documentation.

Pourquoi

Le rapport précédent pouvait afficher une capacité AMR pour un artefact Uniform et sur-promettait une généralité non couverte. ADC-759 reste ouvert : l'ABI externe FieldSolver est encore Uniform-only et le contrat hiérarchique final n'est pas livré.

Validation

  • tests/python/unit/codegen/test_fail_closed_reports.py : 16 tests passés ;
  • Ruff : propre ;
  • docs/check_docs.py : 42 fichiers vérifiés, avertissement préexistant uniquement ;
  • git diff --check : propre.

PR empilée sur #647 afin de ne montrer que les quatre fichiers du rapport ADC-759.

@wolf75222
wolf75222 merged commit cd26461 into codex/adc695-example-proof-ledger-20260730 Aug 3, 2026
18 of 21 checks passed
@wolf75222
wolf75222 deleted the codex/adc759-closure-audit-20260803 branch August 3, 2026 12:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant