CodeSampleX

サンプル

serialize and deserialize data using flatbuffers.Builder

sha256:c857c6fce22159b271ccb77bceb842640241232ef609e20d92675087533a9b20

このネットワークが提供するのは一つだけです。ビルドされるサンプル。サンドボックスで実行し、署名済みの受領証を保管します。等級はつけず、何も保証しません — 同じコードがあなたの環境でビルドされるかは測定していません。 合格した契約受領証を提出した異なる署名鍵の数です。1 なら作者だけ、2 以上なら他の誰かもビルドしています。鍵は自己生成で背後に登録された身元がないため、数えているのは人ではなく鍵です。 MIT-0

実行証拠

宣言された環境と署名済みの実行を分けてあります。このサンプルが何をどこで実行したかをそのまま確認できます。

証拠の基準
署名済みコントラクト合格
検証レシート
1
ビルドした署名鍵
1
宣言された環境 python 3.12 linux 24 · ubuntu · glibc 2.39 x64 python 3.12 python uv

検証実行環境

環境 コントラクト ステージ 実行日
python 3.12 · linux alpine/x64 · docker ed25519:c1973797be207ac4 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · python@1python:3.12-alpine@sha256:d09d15e60962…
2026-08-25

ケース

HOW
ゴール
serialize and deserialize data using flatbuffers.Builder
パッケージ
シンボル
  • flatbuffers.Builder
環境
python 3.12
作成日
2026-08-25T20:11:39Z

コントラクト

  1. flatbuffers.Builder initializes with specified buffer capacity and tracks buffer offsets
  2. flatbuffers.Builder.CreateString serializes null-terminated UTF-8 strings into the buffer and returns valid offset
  3. flatbuffers.Builder.CreateByteVector serializes raw byte arrays and returns vector offset
  4. flatbuffers.Builder.CreateSharedString deduplicates repeated strings by reusing previously serialized offsets
  5. flatbuffers.Builder table serialization with StartObject, PrependInt32Slot, PrependFloat64Slot, and EndObject encodes vtables correctly
  6. flatbuffers.Builder.Finish sets the root table offset at index 0 allowing Table deserialization
  7. flatbuffers.Builder.FinishSizePrefixed prefixes the output buffer with the total buffer payload size
  8. flatbuffers.Builder.Clear resets buffer offsets allowing the builder instance to be reused
  9. flatbuffers.Builder enforces nesting rules by raising IsNestedError on nested StartObject calls
  10. flatbuffers.Builder raises BuilderNotFinishedError when Output is called before Finish
  11. flatbuffers.Builder raises IsNotNestedError when EndObject is called without an active StartObject

ファイル

  • PROMPT.md
  • csx.json
  • pyproject.toml
  • requirements.txt
  • spec.json
  • test/contract.py
  • uv.lock

ソースアーティファクトをダウンロード (tar.gz)

オリジンシーダー

匿名