Property-Separated Assurance — Minimal Reproducibility Package

Résumé fourni par la source

This record contains the minimal frozen evidence and verification script supporting a study on property-separated assurance for semantic-to-optimization manufacturing scheduling. The package enables independent verification of the reported semantic, authority, and reconstruction evidence without rerunning external language-model calls or scheduling experiments. It includes frozen semantic cases and archived model outputs, authority challenge results, controlled semantic–feasibility witnesses, dynamic reconstruction evidence, execution manifests, source identity records, SHA-256 checksums, and a verification script. Manuscript files, figures, submission materials, credentials, and historical internal artifacts are intentionally excluded.

Ce résumé expose les affirmations des auteurs. BNTIC ne l’interprète pas comme une validation indépendante des résultats.