CodeSampleX

Exemplo

serialize and deserialize data using flatbuffers.Builder

sha256:c857c6fce22159b271ccb77bceb842640241232ef609e20d92675087533a9b20

Esta rede oferece uma coisa: uma amostra que compila. Ela a executou em um sandbox e guardou o recibo assinado. Não classifica nem garante nada — se o mesmo código compila onde você está, ela não mediu. Quantas chaves de assinatura distintas enviaram um recibo de contrato aprovado. Uma é só o autor; mais de uma significa que outra pessoa também o compilou. Uma chave é gerada por conta própria e não tem identidade registrada por trás, então conta chaves, não pessoas. MIT-0

Evidência de execução

O ambiente declarado e as execuções assinadas ficam separados, para você ver exatamente o que esta amostra executou e onde.

Base da evidência
Contrato assinado aprovado
Recibos de verificação
1
Chaves de assinatura que o compilaram
1
Ambiente declarado python 3.12 linux 24 · ubuntu · glibc 2.39 x64 python 3.12 python uv

Ambientes das execuções de verificação

Ambiente Contrato Etapas Execução
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

Caso

HOW
Objetivo
serialize and deserialize data using flatbuffers.Builder
Pacotes
Símbolos
  • flatbuffers.Builder
Ambiente
python 3.12
Criado
2026-08-25T20:11:39Z

Contrato

  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

Arquivos

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

Baixar o artefato de código-fonte (tar.gz)

Seeder de origem

anônimo