0x549ec15e fails

0x549ec15ed24ab103abe18a252f491fa4

AMF0, the encoding of RTMP's commands (connect, play, _result...): a

Anonymous package: import it by hash.

Published

2026-10-06

Size

198,027 bytes, 25 files

License

MIT (LICENSE)

Declarations

0 laws (0 proved), 409 defs, 30 types

Import

import 0x549ec15ed24ab103abe18a252f491fa4/amf.bend as Amf
import 0x549ec15ed24ab103abe18a252f491fa4/audio.bend as MAudio
import 0x549ec15ed24ab103abe18a252f491fa4/b64.bend as B64
import 0x549ec15ed24ab103abe18a252f491fa4/bytes.bend as Bytes
import 0x549ec15ed24ab103abe18a252f491fa4/conn.bend as Conn
import 0x549ec15ed24ab103abe18a252f491fa4/depay.bend as Depay
import 0x549ec15ed24ab103abe18a252f491fa4/flv.bend as Flv
import 0x549ec15ed24ab103abe18a252f491fa4/flvw.bend as Flvw
import 0x549ec15ed24ab103abe18a252f491fa4/frame.bend as Frame
import 0x549ec15ed24ab103abe18a252f491fa4/md5.bend as Md5
import 0x549ec15ed24ab103abe18a252f491fa4/net.bend as Net
import 0x549ec15ed24ab103abe18a252f491fa4/opts.bend as Opts
import 0x549ec15ed24ab103abe18a252f491fa4/pull.bend as Pull
import 0x549ec15ed24ab103abe18a252f491fa4/rec.bend as Rec
import 0x549ec15ed24ab103abe18a252f491fa4/rtmp.bend as Rtmp
import 0x549ec15ed24ab103abe18a252f491fa4/rtmp_core.bend as Rtmp_core
import 0x549ec15ed24ab103abe18a252f491fa4/rtp.bend as Rtp
import 0x549ec15ed24ab103abe18a252f491fa4/rtsp.bend as Rtsp
import 0x549ec15ed24ab103abe18a252f491fa4/rtsp_core.bend as Rtsp_core
import 0x549ec15ed24ab103abe18a252f491fa4/sha256.bend as Sha256
import 0x549ec15ed24ab103abe18a252f491fa4/text.bend as Text
import 0x549ec15ed24ab103abe18a252f491fa4/ts.bend as Ts

Modules

• amf.bend 31 declarations — AMF0, the encoding of RTMP's commands (connect, play, _result...): a
• audio.bend 24 declarations — Audio from RTP.
• b64.bend 25 declarations — UTF-8 and base64 (RFC 4648), both ways; from bend-smtp.
• bytes.bend 31 declarations — Bytes: a List<&2, U32> of values below 256. Big-endian numbers (the
• conn.bend 18 declarations — What the RTSP and RTMP clients share: a connection's opening, reads, writes and failures in continuation
• depay.bend 22 declarations — From RTP packets to frames: the video's NAL units gathered into one
• flv.bend not loaded — The frames inside RTMP's tags (the forms FLV keeps them in):
• flvw.bend not loaded — Frames into an FLV file: the one container here that holds pictures,
• frame.bend 13 declarations — What a session gives a program: frames, and what they are frames of.
• md5.bend 25 declarations — MD5 (RFC 1321) and HMAC-MD5 (RFC 2104), for AUTH CRAM-MD5 (RFC 2195)
• net.bend 5 declarations — Net: connections by host name that may be TLS, read with a deadline
• opts.bend 33 declarations — What a program says to a session and what a session says back when it
• pull.bend not loaded — Record a camera or a stream into a file.
• rec.bend not loaded — Frames into the bytes of a file, in one of four forms:
• rtmp.bend not loaded — RTMP client: a session that gives a stream's audio and video.
• rtmp_core.bend not loaded — RTMP (Adobe's specification of 2012): the pure half of the client.
• rtp.bend 28 declarations — RTP (RFC 3550) and the H.264 and H.265 payload formats (RFC 6184, RFC
• rtsp.bend 60 declarations — RTSP client (RFC 2326): a session that gives a camera's frames.
• rtsp_core.bend 127 declarations — The pure core of the RTSP client (RFC 2326): URLs, requests, what
• sha256.bend 20 declarations — SHA-256 (FIPS 180-4), for Digest authentication with SHA-256 (RFC
• text.bend 12 declarations — Text: lines out of a byte stream, and header-safe strings. SMTP is a
• ts.bend 21 declarations — MPEG-TS (ISO 13818-1), the writing side: a file of 188-byte packets

Other files

• LICENSE 1,070 bytes
• net.c 16,581 bytes
• net.js 603 bytes

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

SOME PROOFS FAIL
Error: 19 defs rely on unsafe or foreign code:
- 0x549ec15ed24ab103abe18a252f491fa4/net.Net.connect
- 0x549ec15ed24ab103abe18a252f491fa4/net.Net.tls
- 0x549ec15ed24ab103abe18a252f491fa4/net.Net.send
- 0x549ec15ed24ab103abe18a252f491fa4/net.Net.poll
- 0x549ec15ed24ab103abe18a252f491fa4/net.Net.close
- Conn.fail
- Conn.got
- Conn.recv.n
- Conn.recv
- Conn.sent
- Conn.send
- Conn.say
- Conn.shut.end
- Conn.shut.drain
- Conn.shut.sent
- Conn.shut
- Conn.secured
- Conn.opened
- Conn.open

Error:
- expected : a fresh constructor name (duplicate declaration: Wait)
- observed : 'Wait'
Location:
366 | type Ev is Data:
367>|   Wait{}
    |   ^^^^
368 |   Skip{st: Dec, rest: List<&2, U32>}

Error:
- expected : a fresh constructor name (duplicate declaration: Wait)
- observed : 'Wait'
Location:
366 | type Ev is Data:
367>|   Wait{}
    |   ^^^^
368 |   Skip{st: Dec, rest: List<&2, U32>}

SOME PROOFS FAIL
Error: 5 defs rely on unsafe or foreign code:
- Net.connect
- Net.tls
- Net.send
- Net.poll
- Net.close

Error:
- expected : a fresh constructor name (duplicate declaration: Wait)
- observed : 'Wait'
Location:
366 | type Ev is Data:
367>|   Wait{}
    |   ^^^^
368 |   Skip{st: Dec, rest: List<&2, U32>}

Error:
- expected : a fresh constructor name (duplicate declaration: Wait)
- observed : 'Wait'
Location:
366 | type Ev is Data:
367>|   Wait{}
    |   ^^^^
368 |   Skip{st: Dec, rest: List<&2, U32>}

Error:
- expected : a fresh constructor name (duplicate declaration: Wait)
- observed : 'Wait'
Location:
366 | type Ev is Data:
367>|   Wait{}
    |   ^^^^
368 |   Skip{st: Dec, rest: List<&2, U32>}

Error:
- expected : a fresh constructor name (duplicate declaration: Wait)
- observed : 'Wait'
Location:
366 | type Ev is Data:
367>|   Wait{}
    |   ^^^^
368 |   Skip{st: Dec, rest: List<&2, U32>}

SOME PROOFS FAIL
Error: 52 defs rely on unsafe or foreign code:
- 0x549ec15ed24ab103abe18a252f491fa4/net.Net.connect
- 0x549ec15ed24ab103abe18a252f491fa4/net.Net.tls
- 0x549ec15ed24ab103abe18a252f491fa4/net.Net.send
- 0x549ec15ed24ab103abe18a252f491fa4/net.Net.poll
- 0x549ec15ed24ab103abe18a252f491fa4/net.Net.close
- 0x549ec15ed24ab103abe18a252f491fa4/conn.Conn.fail
- 0x549ec15ed24ab103abe18a252f491fa4/conn.Conn.got
- 0x549ec15ed24ab103abe18a252f491fa4/conn.Conn.recv.n
- 0x549ec15ed24ab103abe18a252f491fa4/conn.Conn.recv
- 0x549ec15ed24ab103abe18a252f491fa4/conn.Conn.sent
- 0x549ec15ed24ab103abe18a252f491fa4/conn.Conn.send
- 0x549ec15ed24ab103abe18a252f491fa4/conn.Conn.say
- 0x549ec15ed24ab103abe18a252f491fa4/conn.Conn.shut.end
- 0x549ec15ed24ab103abe18a252f491fa4/conn.Conn.shut.drain
- 0x549ec15ed24ab103abe18a252f491fa4/conn.Conn.shut.sent
- 0x549ec15ed24ab103abe18a252f491fa4/conn.Conn.shut
- 0x549ec15ed24ab103abe18a252f491fa4/conn.Conn.secured
- 0x549ec15ed24ab103abe18a252f491fa4/conn.Conn.opened
- 0x549ec15ed24ab103abe18a252f491fa4/conn.Conn.open
- Rtsp.reply
- Rtsp.ask
- Rtsp.wait
- Rtsp.due
- Rtsp.loop
- Rtsp.pop
- Rtsp.play.got
- Rtsp.play
- Rtsp.audio.on
- Rtsp.audio.got
- Rtsp.audio
- Rtsp.setup.got
- Rtsp.setup
- Rtsp.described
- Rtsp.refused
- Rtsp.other
- Rtsp.other.of
- Rtsp.again.got
- Rtsp.again
- Rtsp.again.with
- Rtsp.first.got
- Rtsp.describe
- Rtsp.go
- Rtsp.start.url
- Rtsp.start.tls
- Rtsp.start
- Rtsp.open.at
- Rtsp.open
- Rtsp.reopen.go
- Rtsp.reopen.at
- Rtsp.reopen
- Rtsp.next
- Rtsp.close