ドキュメントを読んでサンプルを評価していると、スマート コントラクトの 2 種類の関数であるビュー メソッドと変更メソッドを発見しました。
// ビュー メソッドは読み取り専用です。それらは状態を変更しませんが、通常は何らかの値を返します。
// Change メソッドは状態を変更できます。ただし、呼び出されたときに戻り値を受け取りません。
https://docs.nearprotocol.com/hackathon/hackathon-startup-guide-10-minから
それらの要件はどのくらい厳しいですか? これらの仮定が守られていない場合 (たとえば、状態がビュー メソッド内で変更されるか、変更メソッド内で変更が行われない場合) はどうなりますか?